AlgebraDifficulty 7.0National olympiad, round 2Prove it
12. Given 0⩽x,y⩽1, prove: 1+x21+1+y21⩽1+xy2−(2000 Russian Mathematical Olympiad problem)
Solution
12. Let f(x)=1+e−2x1,x⩾0, then e−2x⩽1,f′(x)=(1+e−2x)3e−2x,f′′(x)=(1+e−2x)3e−2x(−2+1+e−2x3e−2x)=(1+e−2x)3e−2x⋅1+e−2xe−2x−20y=secx has the second derivative y′′cos3x1+sin2x>0, so (x+y+y+z+z+x)2⩾6(tanA+B+C+sec3A+B+C)=63
Also, since y=cosx is a concave function on [0,2π], we have cosA+cosB+cosC⩽3cos3A+B+C=233, thus. (cosA+cosB+cosC)2⩽427. Therefore, the original inequality holds:
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: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.