如图，AC为正方形ABCD的对角线，E为AC上一点，且AB＝AE，EF⊥AC，交BC于F，试说明EC＝EF＝BF.