خاصية أساسية:
المستقيم الواصل بين مركز الدائرة ومنتصف وتر عمودي على هذا الوتر
إذن
\(OI \perp AB\) أي المثلثان
\(OIA\) و
\(OIB\) قائمان في
\(I\)
في المثلثين القائمين \(OIA\) و \(OIB\) لدينا:
- قائمان في \(I\): لأن \(OI \perp AB\)
- الوتران: \(OA = OB\) (أنصاف أقطار في نفس الدائرة)
- أضلاع الزاوية القائمة: \(AI = IB\) (لأن \(I\) منتصف \([AB]\))
- الضلع المشترك: \([OI]\) مشترك
إذن: المثلثان متقايسان حسب حالة (الوتر وضلع من أضلاع الزاوية القائمة)
أو الحالة الثالثة (ثلاثة أضلاع)
الاستنتاج: بما أن المثلثين متقايسان، فإن:
\(\widehat{IOA} = \widehat{IOB}\)
إذن \([OI)\) منصف الزاوية \(\widehat{AOB}\)