في المثلت FBA لدينا .
'O منتصف [AF] و F'O = B'O = A'O
حسب الخاصية
" إذا كان منتصف أحد أضلاع مثلت متساوي المسافة عن رؤوسه فإنه مثلت قائم الزاوية " |
فإن FBA قائم الزاوية في B إذن (BA) ┴ (FB) ☻
في المثلت EBA لدينا
O منتصف [EA] و EO = BO = AO
حسب الخاصية السابقة
فإن BAE قائم الزاوية في B إذن (BA) ┴ (EB) ☺
ومن ☻ و ☺ وحسب الخاصية
"المستقيمان العموديان على نفس المستقيم متوازيان " |
فإن : (FB) // (EB) وحسب الخاصية
"من نقطة وحيدة يمر مستقيم وحيد يوازي مستقيم معلوم " |
فإن B وF وE نقط مستقيمية