【（2023•威海）如图1，在正方形ABCD中，E，F，G，H分别为边AB，BC，CD，DA上的点，HA=EB=FC=GD，连接EG，FH，交点为O．（1）如图2，连接EF，FG，GH，HE，试判断四边形EFGH的形状，并证明你的结论；】

问题：【（2023•威海）如图1，在正方形ABCD中，E，F，G，H分别为边AB，BC，CD，DA上的点，HA=EB=FC=GD，连接EG，FH，交点为O．（1）如图2，连接EF，FG，GH，HE，试判断四边形EFGH的形状，并证明你的结论；】

答案：↓↓↓

蔡劲松的回答：

网友采纳　　（1）四边形EFGH是正方形．（1分）证明：∵四边形ABCD是正方形，∴∠A=∠B=∠C=∠D=90°，AB=BC=CD=DA，∵HA=EB=FC=GD，∴AE=BF=CG=DH，（2分）∴△AEH≌△BFE≌△CGF≌△DHG，（3分）∴EF=FG=GH=HE，（4分）∴四边...