که در آن
پای ارتفاع نظیر راس
و
مرکز ارتفاعی مثلث میباشد. حال اگر
آنگاه حکم مساله معادل محاطی بودن
است که معادل است با
اما
پس کافیست بگوییم
یا
اما این معادل محاطی بودن
است که معادل است با این که:
که رابطه آخر رابطه ای درست است. پس حکم مساله ثابت شد.
سوال بعد:
مرکز دایره محاطی مثلث
است.
دایره محیطی این مثلث و
نقطه ای دلخواه روی ضلع
است. دایره
بر
در
مماس است. ثابت کنید دایره محیطی مثلث
بر نیمساز این مثلث مماس است.