E,F,分别是正方形ABCD的边AB,BC上的点,EF∥AC,G在AD的延长线上,且AG=AD,GE的延长线交DF于H.

E,F,分别是正方形ABCD的边AB,BC上的点,EF∥AC,G在DA的延长线上,且AG=AD,GE的延长线交DF于H。求证:HA=DA。(改题了)证明：E,F,分别是正方形ABCD的边AB,BC上的点,EF∥AC,∴AE=CF,又AG=AD=CD,∴△AGE≌△CDF(SAS),∴∠G=∠CDF,∴∠G+∠GDH=∠CDF+∠GDH=90°,∴∠DHG=90°,AG=AD,∴HA=DA。