Maths Olympiad Prep

Library / /40 of 86

Algebra Difficulty 6.5 National Olympiad Prove it United States

Problem:
Let aa, bb, cc, and dd be positive real numbers satisfying abcd=1a b c d = 1. Prove that
112+a+ab+abc+112+b+bc+bcd+112+c+cd+cda+112+d+da+dab2. \frac{1}{\sqrt{\frac{1}{2} + a + a b + a b c}} + \frac{1}{\sqrt{\frac{1}{2} + b + b c + b c d}} + \frac{1}{\sqrt{\frac{1}{2} + c + c d + c d a}} + \frac{1}{\sqrt{\frac{1}{2} + d + d a + d a b}} \geq \sqrt{2}.

Solution

Solution:
Let
Sa=a+ab+abcSb=b+bc+bcdSc=c+cd+cdaSd=d+da+dab. \begin{aligned} & S_{a} = a + a b + a b c \\ & S_{b} = b + b c + b c d \\ & S_{c} = c + c d + c d a \\ & S_{d} = d + d a + d a b. \end{aligned}
Notice that 1+Sa=12+(12+Sa)212(12+Sa)=212+Sa1 + S_{a} = \frac{1}{2} + \left(\frac{1}{2} + S_{a}\right) \geq 2 \sqrt{\frac{1}{2} \cdot \left(\frac{1}{2} + S_{a}\right)} = \sqrt{2} \cdot \sqrt{\frac{1}{2} + S_{a}}. Using similar relations for SbS_{b}, ScS_{c}, and SdS_{d} we see that the left-hand side of the required inequality is greater than or equal to D=2(11+Sa+11+Sb+11+Sc+11+Sd)D = \sqrt{2}\left(\frac{1}{1 + S_{a}} + \frac{1}{1 + S_{b}} + \frac{1}{1 + S_{c}} + \frac{1}{1 + S_{d}}\right). We now have 1+Sa=a+ab+abc+abcd=a(1+Sb)=ab(1+Sc)=abc(1+Sd)1 + S_{a} = a + a b + a b c + a b c d = a \cdot (1 + S_{b}) = a b \cdot (1 + S_{c}) = a b c (1 + S_{d}). Likewise, 1+Sb=bc(1+Sd)1 + S_{b} = b c (1 + S_{d}) and 1+Sc=c(1+Sd)1 + S_{c} = c (1 + S_{d}), which yields D=211+Sd(1abc+1bc+1c+1)=2D = \sqrt{2} \cdot \frac{1}{1 + S_{d}}\left(\frac{1}{a b c} + \frac{1}{b c} + \frac{1}{c} + 1\right) = \sqrt{2}. Thus the statement is proved.

Choose positive w,x,y,zw, x, y, z such that
a=xw,b=yx,c=zy,d=wz a = \frac{x}{w}, \quad b = \frac{y}{x}, \quad c = \frac{z}{y}, \quad d = \frac{w}{z}
Then we have
12+a+ab+abc=12+xw+yw+zw=12+x+y+zw=12+12ww=121ww \frac{1}{2} + a + a b + a b c = \frac{1}{2} + \frac{x}{w} + \frac{y}{w} + \frac{z}{w} = \frac{1}{2} + \frac{x + y + z}{w} = \frac{1}{2} + \frac{\frac{1}{2} - w}{w} = \frac{1}{2} \cdot \frac{1 - w}{w}
and similarly for the other three terms. Thus each term of the sum has the form 2w1w\sqrt{\frac{2 w}{1 - w}}.

If 0<x<120 < x < \frac{1}{2}, then w1w>2w\sqrt{\frac{w}{1 - w}} > 2 w

x1x>2x \sqrt{\frac{x}{1 - x}} > 2 x
Square both sides and multiply by 1x1 - x to get
x>4x2(1x) x > 4 x^{2} (1 - x)
Dividing by xx and simplifying,
0>4x(1x)1=4x2+4x1 0 > 4 x (1 - x) - 1 = -4 x^{2} + 4 x - 1
This last expression is (2x1)2-(2 x - 1)^{2} which is negative since x<12x < \frac{1}{2}. (Note that all the steps of this are reversible, so this final true inequality can be used to work backwards and establish our desired inequality.)

Using this result, the original expression is greater than (never equal to)
2(2w+2x+2y+2z)=2 \sqrt{2} \cdot (2 w + 2 x + 2 y + 2 z) = \sqrt{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 reproduced verbatim; metadata (topic, difficulty) added by this project.