Maths Olympiad Prep

Library / Auswahlklausur /5 of 31

Auswahlklausur

Algebra Difficulty 7.8 National Olympiad, round 2 Prove it Germany

Let aa, bb and cc be three positive real numbers with a2+b2+c2≥3a^{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)2−4(a+b+c)−(a2+b2+c2)−9≤(a+b+c+3)2−4(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+c2≥3a^{2}+b^{2}+c^{2} \geq 3 was used), hence
(a+1)b+(b+1)c+(c+1)aa+b+c+3≤a+b+c−12 \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+c−12) \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)⋅s−12+2(s−12+1)(s−12+5)=2(s+3)2(s+1)(s+9)=2−810+s+9s≥2−810+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+9s≥2s⋅9s=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,604 problems in a working order, from Junior Challenge 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.