dمحل مماس دایره ی محاطی خارجی برbcاست (در مثلث abc)دایره o1,o2به ad,bcودایره ی محیطی مثلث مماس اند(هرکدام در یک طرف ad)حال ثابت کنید o1,o2,b,cروی یک دایره اند.
