Пусть — точка, симметричная точке относительно . Тогда и — параллелограм, так как диагонали и точкой пересечения делят друг друга пополам.
Обозначим . Из параллельности и следует, что . Выразим через : Отсюда получаем и треугольники и равны по двум сторонам и углу между ними. Из равенства треугольников имеем искомое соотношение .