Rysunek pomocniczy:

Średnicą okręgu opisanego na trójkącie  jest odcinek  co oznacza, że trójkąt ten jest prostokątny, ponieważ jego przeciwprostokątna jest także średnią okręgu.
Z twierdzenia