∵EH‖BD,FG‖BD,∴EH‖FG.
同理,HG‖EF
∴EFGH为平行四边形(两组对边平行)
同理可证AEFC、BFGD为平行四边形.
又矩形的对角线AC=BD,
则EF=FG,故EFGH为菱形(邻边相等).