AC为正方形ABCD的对角线,E为AC上一点,且AB=AE,EF⊥AC交BC于F,求证:EC=EF=FB