Отметим на отрезке точки и так, что , чтобы получить и . Причём как внешние углы и . Следовательно, треугольник правильный, а тогда . Так как , то получаем, что точка совпадает с , поэтому . Кроме того, , как гипотенуза и меньший катет прямоугольного треугольника с углом . Итак, по неравенству треугольника, что и требовалось.