Niech będzie przeciwprostokątną trójkąta . Zauważmy, że okrąg o średnicy przecina prostą w takim punkcie , że (kąt oparty na średnicy).

Z drugiej strony, , więc musi być i okrąg ten przechodzi przez punkt .