پاسخ : ماراتن هندسه
فرض می کنیم همرسند. بنابر قضیه سوا سینوسی توی مثلث و برای خطوط همرس داریم:
باز هم با استفاده از قضیه سوا سینوسی توی مثلث و برای خطوط همرس داریم:
با مقایسه ی دو رابطه ی بدست اومده داریم:
از طرف دیگه داریم:
از دو رابطه ی بدست اومده داریم:
که نتیجه میده (واضحه که )...