Odcinki tworzą trójkąt prostokątny, przy czym jest przekątną podstawy będącej kwadratem o boku .

Zatem .

W trójkącie prostokątnym działa twierdzenie Pitagorasa:

Podstawiamy za i