Maths Olympiad Prep

Library / /17 of 155

Algebra Difficulty 4.9 AIME Prove it Saudi Arabia

Find the greatest positive real number MM such that for all positive real sequence (an)\left(a_{n}\right) and for all real number m<Mm < M, it is possible to find some index n1n \geq 1 that satisfies the inequality
a1+a2+a3++an+an+1>man. a_{1} + a_{2} + a_{3} + \cdots + a_{n} + a_{n+1} > m a_{n}.

Solution

Denote S,TS, T as the midpoints of AM,AQA M, A Q respectively. Hence, KSK S is the perpendicular bisector of AMA M and TLT L is the perpendicular bisector of AQA Q.
Figure 1
These imply that AI,SK,TLA I, S K, T L are concurrent at the circumcenter GG of triangle AMQA M Q.
Note that BIB I is the perpendicular bisector of MNM N then KBI,DIK \in B I, D I is the perpendicular bisector of PQP Q then LDIL \in D I.
Consider two triangles IBD and GST with BS, DT, IG are concurrent at A then by applying the Desargues theorem, we have S,T,RS, T, R are collinear.
In other word, RR belongs to STS T which is the perpendicular bisector of AJA J then RA=RJR A=R J.

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.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.