知：菱形ABCD
AB BC CD DA 的中点 分别为E F G H
因为EH//BD 且等于1/2 BD 又FG//BD 且等于1/2 BD (根据三角形中线原理)
所以EH=BD
所以EFGH为平行四边形
又因为AC垂直BD
所以EF//AC 且垂直BD
所以EF垂直EH
所以EFGH为矩形