IMO олимпиада по математике 1993 года | Казахстанские олимпиады

Для трех точек PP, QQ, RR на плоскости через m(PQR)m\left( PQR \right) обозначим наименьшую из длин высот треугольника PQRPQR (если точки PP, QQ, RR лежат на одной прямой, то m(PQR)=0m\left( PQR \right)=0). Пусть на плоскости даны точки AA, BB, CC. Доказать, что для любой точки XX этой плоскости m(ABC)m(ABX)+m(AXC)+m(XBC).m\left( ABC \right)\le m\left( ABX \right)+m\left( AXC \right)+m\left( XBC \right).