Let x,y be positive real numbers such that x+y=1. Prove that x2+y3x+x3+y2y≤2(x+y2x+x2+yy).
Solution
Let t=xy, then x2+y2=1−2t, x3+y3=1−3t, x4+y4=1−4t+t2 x5+y5=1−5t+5t2. Since x2+y=x+y2, the original inequality is equivalent to ⇔⇔⇔⇔⇔x2+y3x+x3+y2y≤x+y22(x2+y3)(x3+y2)x4+y4+xy≤x+y+x2+y24(1+x2+y2)(x4+y4+xy)≤4(x2+y3)(x3+y2)(2−2t)(1−3t+2t2)≤4(1−5t+6t2+t3)(4t−1)(t2+2t−1)≥0(t−41)(t−(2−1))(t+2+1)≥0. From 0<t≤(2x+y)2=41 we know that the last inequality above 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: MathNet,
licensed CC-BY-4.0.
Statement translated into English from zh; metadata (topic, difficulty) added by this project.