Maths Olympiad Prep

Library / /345 of 520

Algebra Difficulty 7.0 National olympiad, round 2 Prove it

Example 2.7 Positive real numbers a,b,c,da, b, c, d satisfy abcd=1,a,b,c,d13a b c d=1, a, b, c, d \neq \frac{1}{3}, prove
1(3a1)2+1(3b1)2+1(3c1)2+1(3d1)21\frac{1}{(3 a-1)^{2}}+\frac{1}{(3 b-1)^{2}}+\frac{1}{(3 c-1)^{2}}+\frac{1}{(3 d-1)^{2}} \geqslant 1

Solution

Proof: Let
f(a,b,c,d)=1(3a1)2+1(3b1)2+1(3c1)2+1(3d1)2f(a, b, c, d)=\frac{1}{(3 a-1)^{2}}+\frac{1}{(3 b-1)^{2}}+\frac{1}{(3 c-1)^{2}}+\frac{1}{(3 d-1)^{2}}

If min{a,b,c,d}>13\min \{a, b, c, d\}>\frac{1}{3}, then by the AM - GM inequality we have
f(a,b,c,d)f(ad,b,c,ad)2(3a1)(3d1)2(3ad1)2=2(3a+3d6ad)(3a1)(3d1)(3ad1)20\begin{aligned} f(a, b, c, d)-f(\sqrt{a d}, b, c, \sqrt{a d}) \geqslant & \frac{2}{(3 a-1)(3 d-1)}-\frac{2}{(3 \sqrt{a d}-1)^{2}}= \\ & \frac{2(3 a+3 d-6 \sqrt{a d})}{(3 a-1)(3 d-1)(3 \sqrt{a d}-1)^{2}} \geqslant 0 \end{aligned}

Similarly,
f(ad,b,c,ad)f(ad,bc,bc,ad)f(\sqrt{a d}, b, c, \sqrt{a d}) \geqslant f(\sqrt{a d}, \sqrt{b c}, \sqrt{b c}, \sqrt{a d})

Let ad=x\sqrt{a d}=x, then bc=1x\sqrt{b c}=\frac{1}{x}, and using the AM - GM inequality again we have
f(ad,bc,bc,ad)=2(3x1)2+2(3x1)24(3x1)(3x1)=4103x3x1\begin{array}{l} f(\sqrt{a d}, \sqrt{b c}, \sqrt{b c}, \sqrt{a d})=\frac{2}{(3 x-1)^{2}}+\frac{2}{\left(\frac{3}{x}-1\right)^{2}} \geqslant \\ \frac{4}{(3 x-1)\left(\frac{3}{x}-1\right)}=\frac{4}{10-3 x-\frac{3}{x}} \geqslant 1 \end{array}

Thus the proposition is proved.
If min{a,b,c,d}<13\min \{a, b, c, d\}<\frac{1}{3}, without loss of generality, let a=min{a,b,c,d}a=\min \{a, b, c, d\}.
Notice that
1(3a1)21a(9a6)00a23\frac{1}{(3 a-1)^{2}} \geqslant 1 \Leftrightarrow a(9 a-6) \leqslant 0 \Leftrightarrow 0 \leqslant a \leqslant \frac{2}{3}

That is, the inequality also holds in this case, so the original inequality is proved.
Sometimes it is not necessary to adjust the variables to be equal or to zero; the adjustment target may be the average of all variables.

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.