abcمركز الدائرة المحاطة بالمثلث iو مثلثا Abcليكن
(c, y )(B ; B)(a ;&) مرجح النقط المتزنة i حيث تكون النقطةB و y &نعتبر
AB=c AC=b BC=a نضع
(B ; B)(a ;&) مرجح النقطتين المتزنتين Dلتكن
B= ( b/a)* & استنتج ان A^Cb هي موقع المنصف الداخلى D بين ان
y=(c/b)* B بين ان
(c, y )(B ; B)(a ;&) مرجح l استنتج ان