Wykonajmy rysunek pomocniczy.

Przekątna  ma długość , ponieważ wszystkie nierówności trójkątów  i  są spełnione.

Obliczmy miarę kąta , korzystając z twierdzenia cosinusów.