Find the greatest positive real number such that for all positive real sequence and for all real number , it is possible to find some index that satisfies the inequality
Solution
Denote as the midpoints of respectively. Hence, is the perpendicular bisector of and is the perpendicular bisector of .
These imply that are concurrent at the circumcenter of triangle .
Note that is the perpendicular bisector of then is the perpendicular bisector of then .
Consider two triangles IBD and GST with BS, DT, IG are concurrent at A then by applying the Desargues theorem, we have are collinear.
In other word, belongs to which is the perpendicular bisector of then .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.