Пусть — точка, симметричная точке относительно . Тогда и — параллелограм (так как диагонали делят друг друга пополам). , следовательно, треугольник — равнобедренный с углом между равными сторонами. Тогда по сумме углов треугольника Кроме того, , следовательно, , тогда .