Если

и

- середины боковых сторон

и

трапеции

, диагонали которой пересекаются в точке

, то

.
Я пришёл к этому соотношению следующим образом. Как известно, если

- точка пересечения перпендикуляров, опущенных из

на

и из

на

, то

(ММО, 2011, 8 класс). Тогда нужная формула вытекает из теоремы Карно для треугольника

.
Интересует, есть ли простое непосредственное доказательство? Наверняка это известная вещь - не подскажете источник?