دز مثلث abcدایره ی محاطی مثلث براضلاعab,acمماس است(درe,f)اگرefدایره به قطرbcرا در x,yقطع کند .ثابت کنیدby,cx,ai,همرس اند.(yدر انطرف acقرار دارد که cهم است)