Let a, b, c, d be positive real numbers such that a+b+c+d=1. Prove that 6(a3+b3+c3+d3)≥(a2+b2+c2+d2)+81.
Solution
We claim that f(x)=6x3−x2≥85x−1 for any x>0. Indeed, ⇔⇔6x3−x2≥85x−148x3−8x2−5x+1≥0(4x−1)2(3x+1)≥0. This clearly holds. It follows that f(a)+f(b)+f(c)+f(d)≥85(a+b+c+d)−4=81. Equality holds when a=b=c=d=41.
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 reproduced verbatim; metadata (topic, difficulty) added by this project.