Wykonajmy rysunek pomocniczy.

Zauważmy, że promienie okręgu tworzą kwadrat o boku , zatem odcinek  jest przekątną tego kwadratu.

Wysokość trójkąta  można rozpisać jako:

Podstawmy dane.