من منتصف الوتر إلى التوازي — موتور الشكل المتطوّر (GEODATA).
ملاحظة: أُضيفت الفرضية «قائم الزاوية في A» لأنّها ضرورية لصحّة السؤال 2 وكانت غائبة عن الملف المصدر المنفصل.
\(N \in (\Delta)\) المؤسّط العمودي لـ \([AB]\)، وكلّ نقطة من المؤسّط العمودي متساوية البعد عن طرفَي القطعة، إذن \(NA = NB\).
بما أنّ المثلّث قائم في \(A\): \(NA = NB\) و \(N\) على \((BC)\)، ونستنتج \(NA = NB = NC\) (مركز الدائرة المحيطة بمثلّث قائم هو منتصف الوتر)، إذن \(N\) منتصف \([BC]\).
\(NA = NC\) إذن \(N\) على مؤسّط \([AC]\)، و \(P\) منتصف \([AC]\)، والمستقيم \((NP)\) عمودي على \((AC)\) في منتصفه، إذن هو المؤسّط العمودي لـ \([AC]\).
\((NP) \perp (AC)\) و \((AB) \perp (AC)\): مستقيمان يعامدان \((AC)\)، إذن \((NP) \parallel (AB)\).
كل سؤال يضيف طبقة إلى نفس الشكل — بناء تدريجي للبرهان.