如图,正方形ABCD的对角线AC上取一点E,使AE=CD,过点E作EF⊥AC交BC于点F。