已知如图,AD∥BC,∠ABC=90o,AB=BC,点E是AB上的点,∠ECD=45o,连接ED,过D作DF⊥BC于F.(1)若∠BEC=75o,FC=4,求梯形ABCD的周长。(2)求证:ED=BE+FC.