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

Тогда — равнобедренный и . Таким образом, .