Maths Olympiad Prep

Library / /430 of 520

Algebra Difficulty 7.3 National olympiad, round 2 Prove it

Example 3 Let a,b,c,da, b, c, d be positive real numbers, and satisfy a+b+c+d=1a+b+c+d=1. Prove that: 6(a3+b3+6\left(a^{3}+b^{3}+\right. c3+d3)(a2+b2+c2+d2)+18\left.c^{3}+d^{3}\right) \geqslant\left(a^{2}+b^{2}+c^{2}+d^{2}\right)+\frac{1}{8}. (8th Hong Kong Mathematical Olympiad Problem)

Solution

Prove that by the AM-GM inequality,
a3+(a+b+c+d4)3+(a+b+c+d4)33a(a+b+c+d4)2b3+(a+b+c+d4)3+(a+b+c+d4)33b(a+b+c+d4)2c3+(a+b+c+d4)3+(a+b+c+d4)33c(a+b+c+d4)2d3+(a+b+c+d4)3+(a+b+c+d4)33d(a+b+c+d4)2\begin{array}{l} a^{3}+\left(\frac{a+b+c+d}{4}\right)^{3}+\left(\frac{a+b+c+d}{4}\right)^{3} \geqslant 3 a\left(\frac{a+b+c+d}{4}\right)^{2} \\ b^{3}+\left(\frac{a+b+c+d}{4}\right)^{3}+\left(\frac{a+b+c+d}{4}\right)^{3} \geqslant 3 b\left(\frac{a+b+c+d}{4}\right)^{2} \\ c^{3}+\left(\frac{a+b+c+d}{4}\right)^{3}+\left(\frac{a+b+c+d}{4}\right)^{3} \geqslant 3 c\left(\frac{a+b+c+d}{4}\right)^{2} \\ d^{3}+\left(\frac{a+b+c+d}{4}\right)^{3}+\left(\frac{a+b+c+d}{4}\right)^{3} \geqslant 3 d\left(\frac{a+b+c+d}{4}\right)^{2} \end{array}

Adding and simplifying the above four inequalities, we get
a3+b3+c3+d3116(a+b+c+d)3=116a^{3}+b^{3}+c^{3}+d^{3} \geqslant \frac{1}{16}(a+b+c+d)^{3}=\frac{1}{16}

Thus,
2(a3+b3+c3+d3)182\left(a^{3}+b^{3}+c^{3}+d^{3}\right) \geqslant \frac{1}{8}

By the Cauchy-Schwarz inequality,
a2+b2+c2+d2=14(a2+b2+c2+d2)(1+1+1+1)14(a+b+c+d)2=14\begin{aligned} a^{2}+b^{2}+c^{2}+d^{2}= & \frac{1}{4}\left(a^{2}+b^{2}+c^{2}+d^{2}\right)(1+1+1+1) \geqslant \\ & \frac{1}{4}(a+b+c+d)^{2}=\frac{1}{4} \end{aligned}

Using the Cauchy-Schwarz inequality again,
a3+b3+c3+d3=(a3+b3+c3+d3)(a+b+c+d)(a2+b2+c2+d2)2\begin{aligned} a^{3}+b^{3}+c^{3}+d^{3}= & \left(a^{3}+b^{3}+c^{3}+d^{3}\right)(a+b+c+d) \geqslant \\ & \left(a^{2}+b^{2}+c^{2}+d^{2}\right)^{2} \end{aligned}

Combining (2), we get
a3+b3+c3+d314(a2+b2+c2+d2)a^{3}+b^{3}+c^{3}+d^{3} \geqslant \frac{1}{4}\left(a^{2}+b^{2}+c^{2}+d^{2}\right)

By (1) + (3) ×4\times 4, we obtain the desired inequality.

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.