Z równania okręgu odczytujemy, że oraz .

Rysunek pomocniczy:

Punkt ma współrzędne . Zauważmy, że czworokąt jest kwadratem o boku równym promieniowi okręgu. Stąd , ponieważ jest