Problem:
a. and are on the segment with . Prove that for any point in the plane: .
b. Given four points , , , on the plane such that for any point on the plane we have . Prove that and are on the segment with .
Problem:
a. and are on the segment with . Prove that for any point in the plane: .
b. Given four points , , , on the plane such that for any point on the plane we have . Prove that and are on the segment with .
Solution:
a.
Suppose the points lie in the order , , , . If lies on , then the result is trivial, and we have equality if lies outside the segment . So suppose does not lie on .
Let be the midpoint of . Take so that , , are collinear and . Then we wish to prove that . Extend to meet at . Then , so . But , so . Hence result.
b.
Let the foot of the perpendicular from , onto be , respectively. Suppose that , the midpoint of , is on the same side of , the midpoint of , as . Then take to be a remote point on the line , the opposite side of to , so that , , and are all on the same side of the line from . Then .
Contradiction. So we must have coincide with . But we still have , unless both and are on the line . So we must have and on the line and . It remains to show that and are between and . Take . Then if is not between and , we have (or ), contradiction.