a, b, c, d are positive real numbers satisfying a+b+c+d=4. Prove that: ba2+cb2+dc2+ad2≥4+(a−d)2.
Solution
Notice that if the RHS did not have the term (a−d)2, then cyc∑ba2⇔cyc∑(ba2+b)≥4≥8 The above can easily be seen to hold by four applications of the AM-GM inequality. Returning to the original problem, after adding the term (a−d)2 we need to prove ⇔cyc∑(ba2+b)⇔cyc∑(ba2+b−2a)⇔cyc∑(ba2+b2−2ab)≥8+(a−d)2≥(a−d)2≥(a−d)2 By the Cauchy-Schwarz inequality we know cyc∑(b(a−b)2)cyc∑(b)≥(cyc∑∣a−b∣)2≥((a−b)+(b−c)+(c−d)+(a−d))2=(2a−2d)2. Therefore cyc∑(ba2+b2−2ab)≥a+b+c+d(2a−2d)2=4(2a−2d)2=(a−d)2.
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 the original; metadata (topic, difficulty) added by this project.