پاسخ : ماراتن هندسه
لم 1:در مثلث ABC، مماس وارد بر دایره محیطی در نقطه A، امتداد ضلع BC را در D قطع می کند.حال داریم:
که اثباتش آسونه.
لم2:در چهارضلعی ABCD نقاط M,N,P,Q به ترتیب بر اضلاع AB,BC,CD,DA قرار دارند به گونه ای که:
حال اگر محل برخورد MP و NQ را T بنامیم خواهیم داشت:
که اثباتش...