مثلث \(ABC\)، الزاوية \(\widehat{CBx}\) مجاورة ومقايسة للزاوية \(\widehat{ABC}\). \((AC)\) و\((Bx)\) يتقاطعان في \(D\). \([Ay)\) منصف الزاوية \(\widehat{BAC}\) يقطع \((BC)\) في \(I\).
• \(\widehat{CBx}\) مجاورة ومقايسة لـ\(\widehat{ABC}\) ← إذن قياسهما متساوٍ.
• \(D\) = تقاطع \((AC)\) مع \((Bx)\) ← \(D\) خارج المثلث على امتداد \((AC)\).
• \([Ay)\) منصف \(\widehat{BAC}\) ← يقسّم \(\widehat{BAC}\) إلى زاويتين متساويتين.
• \(I = [Ay) \cap (BC)\) ← \(I\) على الضلع \([BC]\) وعلى منصف الزاوية عند \(A\).
• الهدف: إثبات أن \(I\) تقع على منصفَي الزاويتين عند \(A\) و\(B\) في المثلث \(ABD\).
فكرة منصف الزاوية عند \(A\):
• \([Ay)\) منصف \(\widehat{BAC}\). بما أن \(D \in (AC)\)، فإن \(\widehat{BAD}\) جزء من \(\widehat{BAC}\).
• \([Ay)\) يقسّم \(\widehat{BAD}\) أيضاً إلى زاويتين متساويتين → هو منصف الزاوية عند \(A\) في المثلث \(ABD\).
فكرة منصف الزاوية عند \(B\):
• \(\widehat{CBx} = \widehat{ABC}\) ← \((Bx)\) يقسّم الزاوية \(\widehat{ABD}\) إلى زاويتين متساويتين:
\(\widehat{ABD} = \widehat{ABC} + \widehat{CBD}\)... لكن \(D \in (Bx)\) ← إذن \([BD)\) هو منصف \(\widehat{ABD}\) في المثلث \(ABD\).
• \(I \in [Ay)\) و\(I \in (BC)\) → \(I\) على منصف الزاوية عند \(A\).
• بالتحليل الهندسي: \(I\) أيضاً على منصف الزاوية عند \(B\) → \(I\) مركز الدائرة المحاطة بـ\(ABD\).
1) إثبات أن \(I\) مركز الدائرة المحاطة بالمثلث \(ABD\):
أ — \(I\) على منصف الزاوية عند \(A\) في \(ABD\):2) استنتاج أن \(\widehat{ADI} = \widehat{BDI}\):
بما أن \(I\) مركز الدائرة المحاطة بالمثلث \(ABD\)، فإنها تقع على منصفات الزوايا الثلاث. إذن \((DI)\) هو منصف الزاوية عند \(D\) في المثلث \(ABD\). من تعريف منصف الزاوية: \[\widehat{ADI} = \widehat{BDI}\] ✓