Let a, b, c, d be positive real numbers. Prove that cyclic∑a+3(b+c+d)a−3bcd≥0
Solution
On account of AM-GM inequality, we have 3bcd≤3b+c+d and a+3(b+c+d)a−3bcd≥31(a+3(b+c+d)3a−(b+c+d))=91(a+3(b+c+d)10a−(a+3(b+c+d)))≥91(a+3(b+c+d)10a−1) Therefore, cyc∑a+3(b+c+d)a−3bcd≥0⇔cyc∑(a+3(b+c+d)10a)≥4, or equivalently, cyclic∑a+3(b+c+d)a≥52 Let us denote by S=a+b+c+d. Then, we have cyc∑a+3(b+c+d)a=cyc∑3S−2aa=cyc∑3aS−2a2a2≥3S2−2∑cyca2(∑cyca)2 on account of Bergströn's inequality: cyc∑xa2≥(cyc∑a)2/cyc∑x To prove 3S2−2∑cyca2(∑cyca)2≥52 we apply Bergströn's inequality again and we get cyc∑a2≥41(cyc∑a)2 Then, we have 5(cyc∑a)2≥6S2−4cyc∑a2 from which follows 3(a+b+c+d)2≥0. This completes the proof.
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.