Możemy obliczyć bok kwadratu  wiedząc, że :

Zauważmy, że trójkąty  są trójkątami przystającymi (kbk).

Oznaczmy pomocniczo:

Wtedy z twierdzenia