1) ابن $[Bx)$ منصف الزاوية $\widehat{ABC}$ حيث يقطع $[AC]$ في $I$ ثم ابن $[Cy)$ منصف الزاوية $\widehat{ACB}$ حيث يقطع $[AB]$ في $J$. $[Bx)$ و $[Cy)$ يتقاطعان في $K$
الإنشاء:
نرسم المثلث $ABC$ متقايس الساقين بحيث $AB = AC$
نرسم منصف الزاوية $\widehat{ABC}$ ونسميه $[Bx)$، يقطع $[AC]$ في $I$
نرسم منصف الزاوية $\widehat{ACB}$ ونسميه $[Cy)$، يقطع $[AB]$ في $J$
نقطة التقاطع بين $[Bx)$ و $[Cy)$ هي $K$
2) بين تقايس المثلثين $AIB$ و $AJC$
في المثلثين $AIB$ و $AJC$:
• $AB = AC$ (معطى)
• $\widehat{BAC}$ مشترك
• $\widehat{ABC} = \widehat{ACB}$ (زاويتا القاعدة في مثلث متقايس الساقين)
النتيجة: المثلثان $AIB$ و $AJC$ متقايسان (ض-ز-ز)
3) استنتج أن $BI = CJ$
من تقايس المثلثين $AIB$ و $AJC$، ينتج:
$BI = CJ$ ✓
4) بين أن المثلثين $IBC$ و $JBC$ متقايسان
في المثلثين $IBC$ و $JBC$:
• $BC$ مشترك
• $BI = CJ$ (مُثبت في السؤال 3)
• $\widehat{IBC} = \dfrac{1}{2}\widehat{ABC}$ (منصف)
• $\widehat{JCB} = \dfrac{1}{2}\widehat{ACB}$ (منصف)
• بما أن $\widehat{ABC} = \widehat{ACB}$، فإن $\widehat{IBC} = \widehat{JCB}$
النتيجة: المثلثان $IBC$ و $JBC$ متقايسان (ض-ز-ض)
5) استنتج أن $IC = JB$ و $\widehat{BIC} = \widehat{CJB}$
من تقايس المثلثين $IBC$ و $JBC$، ينتج:
$IC = JB$ ✓
$\widehat{BIC} = \widehat{CJB}$ ✓
6) بين تقايس المثلثين $IKC$ و $KJB$
في المثلثين $IKC$ و $KJB$:
• $IC = JB$ (مُثبت في السؤال 5)
• $\widehat{ICK} = \dfrac{1}{2}\widehat{ACB}$ (منصف)
• $\widehat{JBK} = \dfrac{1}{2}\widehat{ABC}$ (منصف)
• بما أن $\widehat{ABC} = \widehat{ACB}$، فإن $\widehat{ICK} = \widehat{JBK}$
• $\widehat{BIC} = \widehat{CJB}$ (مُثبت في السؤال 5)
النتيجة: المثلثان $IKC$ و $KJB$ متقايسان (ز-ض-ز)
7) قارن البعدين $BK$ و $KC$ ثم استنتج أن $(AK)$ هو الموسط العمودي لـ $[BC]$
مقارنة $BK$ و $KC$:
من تقايس المثلثين $IKC$ و $KJB$، ينتج:
$KC = KB$ ✓
الاستنتاج:
لدينا:
$AB = AC$ (معطى)
$KB = KC$ (مُثبت)
النقطة $A$ تبعد بنفس المسافة عن $B$ و $C$
النقطة $K$ تبعد بنفس المسافة عن $B$ و $C$
إذن النقطتان $A$ و $K$ تنتميان إلى الموسط العمودي للقطعة $[BC]$