مثلث حاده الزاویه ی ABC مفروض است. فرض کنید M,N,K محل برخورد نیمسازهای A,B,C با ضلع های روبرویشان است.
ثابت کنید طول یکی از ارتفاع ها برابر مجموع دو ارتفاع دبگر است اگر و فقط اگر G روی یکی از ضلع های مثلث MNK باشد. (G مرکز ثقل ABC است)
با استفاده از سینوس زاویه ها به این میرسیم که مجموع معکوس sin دو تا از زاویه های مثلث برابر با معکوس سینوس زاویه ی دیگر است که این هم ارز با حکم مسئله است .
