اول هندسه در مثلث abcنقاطp,qرویac,ab.اوساطpq,cq,bpرا k,m,nمینامیم.اگر دایره ی محیطیapq,دایره ی محیطیabcرا درfقطع کند.ودایره ی محیطیmknبرpqمماس باشدوpq,bcرا درdقطع کند ثابت کنیدfdبر دایره ی abcمماس است