如图E.F分别是边长为a的正方形ABCD的边AB.AD上的点,∠ECF=45°.