Boki AO i OC są takie same,
więc trójkąt AOC jest równoramienny.
Dlatego kąty CAO i ACO są równe.
Boki BO i OC są równe,
więc trójkąt BOC jest równoramienny.
Dlatego kąty BCO i CBO są równe.
Kąt ACB =
Zatem trójkąt ABC jest prostokątny,
co należało udowodnić.