Wykonajmy rysunek pomocniczy.

Zauważmy, że trójkąt  jest równoramienny, zatem:

W związku z tym, odcinek  jest przekątną kwadratu o boku . Skorzystajmy z zależności na przekątną