Maths Olympiad Prep

Library / /6 of 30

Algebra Difficulty 7.8 National Olympiad, round 2 Prove it Germany

Let aa, bb and cc be three positive real numbers with a2+b2+c23a^{2}+b^{2}+c^{2} \geq 3. Prove that
(a+1)(b+2)(b+1)(b+5)+(b+1)(c+2)(c+1)(c+5)+(c+1)(a+2)(a+1)(a+5)32 \frac{(a+1)(b+2)}{(b+1)(b+5)}+\frac{(b+1)(c+2)}{(c+1)(c+5)}+\frac{(c+1)(a+2)}{(a+1)(a+5)} \geq \frac{3}{2}

Solution

Solution:

The function f:(0,)R,f(x)=x+2(x+1)(x+5)f:(0, \infty) \rightarrow \mathbb{R}, f(x)=\frac{x+2}{(x+1)(x+5)} is strictly monotonically decreasing and convex, since the first derivative
f(x)=x2+4x+7(x+1)2(x+5)2 f^{\prime}(x)=-\frac{x^{2}+4 x+7}{(x+1)^{2}(x+5)^{2}}
is negative, and the second derivative
f(x)=2(x3+6x2+21x+32)(x+1)3(x+5)3 f^{\prime \prime}(x)=\frac{2\left(x^{3}+6 x^{2}+21 x+32\right)}{(x+1)^{3}(x+5)^{3}}
is positive. Jensen's inequality gives, for the mean of the arguments b,c,ab, c, a weighted by the weights a+1,b+1,c+1a+1, b+1, c+1:
(a+1)f(b)+(b+1)f(c)+(c+1)f(a)(a+1)+(b+1)+(c+1)f((a+1)b+(b+1)c+(c+1)a(a+1)+(b+1)+(c+1)) \frac{(a+1) f(b)+(b+1) f(c)+(c+1) f(a)}{(a+1)+(b+1)+(c+1)} \geq f\left(\frac{(a+1) b+(b+1) c+(c+1) a}{(a+1)+(b+1)+(c+1)}\right)
Multiplying by the denominator of the left-hand side, we obtain
(a+1)(b+2)(b+1)(b+5)+(b+1)(c+2)(c+1)(c+5)+(c+1)(a+2)(a+1)(a+5)(a+b+c+3)f((a+1)b+(b+1)c+(c+1)aa+b+c+3) \frac{(a+1)(b+2)}{(b+1)(b+5)}+\frac{(b+1)(c+2)}{(c+1)(c+5)}+\frac{(c+1)(a+2)}{(a+1)(a+5)} \geq(a+b+c+3) f\left(\frac{(a+1) b+(b+1) c+(c+1) a}{a+b+c+3}\right)
Now
2((a+1)b+(b+1)c+(c+1)a)=(a+b+c+3)24(a+b+c)(a2+b2+c2)9(a+b+c+3)24(a+b+c+3) \begin{aligned} 2((a+1) b+(b+1) c+(c+1) a) & =(a+b+c+3)^{2}-4(a+b+c)-\left(a^{2}+b^{2}+c^{2}\right)-9 \\ & \leq(a+b+c+3)^{2}-4(a+b+c+3) \end{aligned}
(in the last step the assumption a2+b2+c23a^{2}+b^{2}+c^{2} \geq 3 was used), hence
(a+1)b+(b+1)c+(c+1)aa+b+c+3a+b+c12 \frac{(a+1) b+(b+1) c+(c+1) a}{a+b+c+3} \leq \frac{a+b+c-1}{2}
Using the monotonicity of ff, the right-hand side of (*) can thus be further estimated as
(a+b+c+3)f(a+b+c12) \geq(a+b+c+3) f\left(\frac{a+b+c-1}{2}\right)
This expression now depends only on s=a+b+cs=a+b+c:
=(s+3)s12+2(s12+1)(s12+5)=2(s+3)2(s+1)(s+9)=2810+s+9s2810+6=32 =(s+3) \cdot \frac{\frac{s-1}{2}+2}{\left(\frac{s-1}{2}+1\right)\left(\frac{s-1}{2}+5\right)}=\frac{2(s+3)^{2}}{(s+1)(s+9)}=2-\frac{8}{10+s+\frac{9}{s}} \geq 2-\frac{8}{10+6}=\frac{3}{2}
(in the second-to-last step the inequality between the arithmetic and geometric mean was applied in the form s+9s2s9s=6s+\frac{9}{s} \geq 2 \sqrt{s \cdot \frac{9}{s}}=6).

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 de; metadata (topic, difficulty) added by this project.