پاسخ : مسائلی در هندسه مسطحه
لم: در یک مثلث، نیمساز خارجی یک زاویه و عمود منصف ضلع روبرو به آن زاویه روی دایره ی محیطی آن مثلث همرسند.
حالا چون چهارضلعی های محاطی اند پس نیمساز خارجی زاویه ی است.
پس کافیه ثابت کنیم که . فرض کنید نقاط به ترتیب اوساط اضلاع باشند. در این صورت خیلی راحت...