مستقيمان يعامدان نفس المستقيم فهما متوازيان — موتور الشكل المتطوّر (GEODATA).
النقطة \(I\) تقع على \([AB]\) على بعد \(2{,}5\) من \(A\)، أي على بعد \(AB - AI = 6 - 2{,}5 = 3{,}5\) من \(B\).
نرسم المستقيم \((IJ)\) العمودي على \((AB)\) في \(I\) بالبناء، فيقطع الوتر \((AC)\) في النقطة \(J\).
\((BC) \perp (AB)\) لأنّ الزاوية قائمة في \(B\)، و \((IJ) \perp (AB)\) بالبناء.
المستقيمان \((BC)\) و \((IJ)\) يعامدان نفس المستقيم \((AB)\)، إذن:
كل سؤال يضيف طبقة إلى نفس الشكل — بناء تدريجي للبرهان.