در مثلث ABC نقاط D و E در خارج مثلث قرار دارند به طوری : DCB=EBC=90 و AE=EB و AD=DC . اگر K محل بزخورد BC با DE باشد ثابت کنید AK بر دایره ی محیطی ABC مماس است.