Problem:
Point lies on line segment such that and . Point lies on line such that there exists a triangle with centroid such that lies on line , lies on line , and lies on line . Compute the largest possible value of .
Problem:
Point lies on line segment such that and . Point lies on line such that there exists a triangle with centroid such that lies on line , lies on line , and lies on line . Compute the largest possible value of .
Solution:
The key claim is that we must have (in directed lengths).
We present three proofs of this fact.
Proof 1: By a suitable affine transformation, we can assume without loss of generality that is equilateral. Now perform an inversion about with radius . Then the images of (call them ) lie on , so they are the feet of the perpendiculars from to line , where are the respective antipodes of on . But now is an equilateral triangle with medial triangle , so its centroid is . Now the centroid of (degenerate) triangle is the foot of the perpendicular of the centroid of onto the line, so it is . Thus , which yields the desired claim.
Proof 2: Let be the point on line such that (in directed lengths). Now note that is a harmonic bundle, since projecting it through onto gives . By harmonic bundle properties, this yields that (in directed lengths), which gives the desired.
Proof 3: Let be an arbitrary point on the line . Now, in directed lengths and signed areas, , so . Writing analogous equations for and and summing yields , giving the desired.
With this lemma, we may now set and know that
Solving the quadratic gives the solutions and ; the latter hence gives the maximum (it is not difficult to construct an example for which is indeed ).