Szkicujemy rysunek pomocniczy.

Zauważmy, że trójkąt  jest oparty na średnicy okręgu, więc jest trójkątem prostokątnym.

Korzystamy z twierdzenia Pitagorasa w trójkącie .