证明:
∵四边形ABCD是正方形,
∴$AB=BC=CD=DA,$$∠ A=∠ B=∠ C=∠ D=90°,$
∵$AE=BF=CG=DH,$
∴$AB-AE=BC-BF=CD-CG=DA-DH,$即$BE=CF=DG=AH,$
在$△ AEH$和$△ BFE$中,
$\{\begin{array}{l}AE=BF\\∠ A=∠ B\\AH=BE\end{array} $
∴$△ AEH≌△ BFE$(SAS),
同理可证$△ BFE≌△ CGF,$$△ CGF≌△ DHG,$
∴$EH=FE=GF=HG,$$∠ AEH=∠ BFE,$
∵$∠ BFE+∠ BEF=90°,$
∴$∠ AEH+∠ BEF=90°,$
∴$∠ HEF=90°,$
又
∵$EH=FE=GF=HG,$
∴四边形EFGH是正方形。