ابتدا سعی می کنیم که قطب
رو پیدا کنیم .
چون قطبی آن نقطه از A گذشته پس باید روی قطبی A باشه ... یعنی باید روی EF باشه ... از طرفی چون از
گذشته پس باید روی قطبی این نقطه هم باشه ... اما قطبی
در اصل چه خطیه ؟ خوب بدیهیه که نقطه ی برخورد BC با خط d در اصل روی قطبی
قرارداره ( چون که D'D بر خطی که از I و
می گذره عموده) . بنابریان اگه قرار بدیم :
اون وقت خط عود در نقطه ی
بر d می شه قطبیه
و ما هم اسمشو می ذاریم :
. پس سرانجام می شه نتیجه گرفت که قطب
در اصل می شه :
. حالا باید ثابت کنیم که :
هم خطند . چون این سه نقطه روی اضلاع مثلث DEF هستند از منلائوس برای همین مثلث استفاده می کنیم . من در شکلی که گذاشتم مثلث DEF رو کاملا جدا گانه بررسی خواهم کرد و دیگه کاری هم به ABC نخواهم داشت ...
همون طور که در شکل ملاحظه می کنید داریم
چرا که همگی بر خط d عمودند. حالا ما باید سعی کنیم که نسبت
رومحاسبه کنیم . اما به جاش می تونیم نسبت مساوی اونو یعنی :
رو محاسبه کنیم . حالا فرض کنید که شعاع دایره ی محاطی داخلی r باشه. از طرفی قرار بدید :
.
حالا می تونیم
رو جداگانه محاسبه کنیم : داریم :
دقت کنید که چون
مثلث قائم الزاویه هست و چون
ارتفاع اونه پس
.
حالا اگه به همین ترتیب
رو محاسبه کنیم و به همین ترتیب
رو محاسبه کنید و در هم ضرب کنید به راحتی می بینید که حاصلش می شه یک . پس حله ...