ABC مثلث قائم الزاوية في A. منصف الزاوية ABC يقطع [AC] في D. المستقيم المار من D والعمودي على (BC) يقطع (AB) في F.
النتيجة المؤكدة الوحيدة تأتي من خاصية: كل نقطة من منصف زاوية تكون متساوية البعد عن ضلعيها.
المسافة من D إلى (BA) هي DA لأن DA ⟂ BA. وإذا كانت E المسقط على (BC)، فالمسافة الثانية هي DE.
نفسّر E تفسيراً معلناً ومحدوداً: قدم العمود النازل من D على (BC).
نطبق خاصية تساوي المسافتين إلى ضلعي الزاوية. ولا نزعم تطابق مثلثات ما لم تتوافر جميع شروط حالة التطابق.
نفترض فقط أن E هي قدم العمود من D على (BC). لدينا D ∈ [AC] وAC ⟂ AB، إذن DA ⟂ AB. كذلك DE ⟂ BC.
ولأن D تقع على منصف الزاوية ABC، فهي متساوية البعد عن ضلعيها: