o是正方形abcd的两条对角线的交点,ef,gh都过点o,ef垂直hg,ae=cf