条件:ABCD对角线AC⊥BD
∵E、F、G、H分别是AB、BC、CD、DA的中点
∴很容易证明EF‖AC‖GH,EH‖BD‖FG
∴EF‖GH
同理EH‖FG
EFGH为平行四边形
如果AC⊥BD
∵EF‖AC,EH‖BD
∴EFGH为矩形