Możemy zauważyć, że kąty  oraz  są oparte na tym samym łuku - mają w takim razie takie same miary.

Trójkąt oparty na średnicy okręgu jest trójkątem prostokątnym - oznacza to,