よって、DG=BEかつDG烹E。
また、中点連結定理より、 PS=QR=1/2 DG. PS//QR//DG.
PQ=RS=1/2 BE. PQ//RS//BE.
以上より、四角形PQRSにおいて PQ=QR=RS=SP でしかも向かい合った2組の辺が 平行なので、四角形PQRSは正方形である。