Wiemy, że przekątne przecinają się pod kątem , czyli .
Przekątne mają łącznie . Oznaczmy je jako  i . Mamy więc zależność:


Wiemy, że przekątne te muszą być większe od zera, zatem: