Question

如图，直线EF经过正方形ABCD的顶点D，AE⊥EF于E，CF⊥EF于F，求证：AE=DF．

Answer

通过证明△ADE≌△DCF，得AE=DF．
证明：∵正方形ABCD，
∴AD=DC，
∵∠CDF+∠ADE=90°，且∠DAE+∠ADE=90°，
∴∠DAE=∠CDF，
∵∠DFC=∠AED，
∴△ADE≌△DCF，
即AE=DF．