فرض کنید یک مثلث ABC داریم دایره محاطی داخلی مثلث اضلاع برAB,AC به ترتیب در p,q مماس شود.وسط کمان pq(کمان بالای خط pq یعنی کمان کوچکتر) از دایره محاطی مثلث را m مینامیم و از B,C به m وصل میکنیم تا پاره خط pq را به ترتیب در k,s قطع کند ثابت کنید (pq=2(qs+pk.