Zaczynamy od rysunku pomocniczego:

Możemy zapisać równość odcinków:

Połowa przekątnej kwadratu będzie wynosić:

Skoro trójkąt  to trójkąt prostokątny, to z twierdzenia Pitagorasa: