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
Saudi Arabian Mathematical Competitions
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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.