MathDB
IMO LongList 1987 - Geometric inequality

Source:

September 6, 2010
inequalitiesgeometry proposedgeometry

Problem Statement

Let l,ll, l' be two lines in 33-space and let A,B,CA,B,C be three points taken on ll with BB as midpoint of the segment ACAC. If a,b,ca, b, c are the distances of A,B,CA,B,C from ll', respectively, show that ba2+c22b \leq \sqrt{ \frac{a^2+c^2}{2}}, equality holding if l,ll, l' are parallel.