由于 MN′M′NMN'M'NMN′M′N 是矩形，其对角线相等，且相邻两边平方和为 MM′2MM'^2MM′2。因为 OOO 是中心，MM′=2OMMM'=2OMMM′=2OM，故 MN′2+M′N2=4OM2MN'^2+M'N^2=4OM^2MN′2+M′N2=4OM2。与上一步比较可知 OMOMOM 为常数。