Szukamy stosunku pola koła wpisanego w trójkąt prostokątny do pola koła opisanego na tym trójkącie.

Oznaczmy długość jednej przyprostokątnej jako  i długość przeciwprostokątnej jako . 

Z twierdzenia