ある円に関して互いに鏡像の位置にある2点とは,図のように同一の半径の延長上にあり,\[\overline {{\rm{OP}}} \cdot \overline {{\rm{OQ}}} = {\overline {{\rm{OP}}} ^2}\]