A, B, C – wierzchołki trójkąta
O – środek okręgu opisanego na trójkącie
R – promień okręgu
Więc trójkąt AOB oraz AOC jest równoramienny.
Suma miar kątów AOB i AOC jest kątem półpełnym (kąty przyległe)
To oznacza, że trójkąt ABC jest prostokątny.
To kończy dowód.
