设OA＝a（向量）,OB＝b,OC＝c,|OA|=|OB|.a²＝b².CA＝a-c.CB＝b-c,
|CA|=|CB|（a-c）²＝（b-c）² 得到a·c＝b·c [数积]
EF＝AB/2＝（b-a）/2＝HG.EFGH是平行四边形.
FG＝OC/2＝c/2. EF·FG＝（b-a）/2·c/2＝（b·c-a·c）/4＝0.EF⊥FG.
四边形EFGH是矩形.