Глава II. Треугольники. §2 Медианы, биссектрисы и высоты треугольника → номер 119
Так как ΔDEK — равнобедренный, то EF — медиана и высота, т. е.
Тогда