已知如图，AD∥BC，∠ABC=90^o，AB=BC，点E是AB上的点，∠ECD=45^o，连接ED，过D作DF⊥BC于F.

（1）若∠BEC=75^o，FC=4，求梯形ABCD的周长。
（2）求证：ED=BE+FC.