العمودي على المماسّ في نقطة التماس يمرّ بالمركز — موتور الشكل المتطوّر (GEODATA).
\((\Delta)\) مماسّ في \(M\)، إذن \((OM) \perp (\Delta)\).
\((OM) \perp (\Delta)\) و \(M\) منتصف \([AB]\)، إذن \((OM)\) مؤسّط عمودي لـ \([AB]\)، ومنه \(O\) متساوي البعد عن الطرفين: \(OA = OB\).
كل سؤال يضيف طبقة إلى نفس الشكل — بناء تدريجي للبرهان.