已知,正方形abcd中,e,f分别是bc,dc边上的点,ae垂直bf,求证:ae=bf