Założenie:
D średnica okręgu opisanego na trójkącie d średnica okręgu wpisanego w trójkąt G. E. F punkty styczności
Teza:
\AB\ + \AC\ = D+d
Dowód:
|,4S| + |^C|= \AF\ + \FB\+\AE\ + fiC\ |F£| = |£G| |£C| = |CG| \AE\ = \AF\
\AB\ + \AC\ = rf+|SG| +|CG|
|,4S| + |^C|= d +D