Maths Olympiad Prep

Library / /85 of 87

Algebra Difficulty 7.5 National Olympiad, round 2 Prove it Serbia

Problem:

Find the largest constant KRK \in \mathbb{R} with the following property: if a1,a2,a3,a4>0a_{1}, a_{2}, a_{3}, a_{4}>0 are such that for all i,j,kN,1i<j<k4i, j, k \in \mathbb{N}, 1 \leqslant i<j<k \leqslant 4, it holds that ai2+aj2+ak22(aiaj+ajak+akai)a_{i}^{2}+a_{j}^{2}+a_{k}^{2} \geqslant 2\left(a_{i} a_{j}+a_{j} a_{k}+a_{k} a_{i}\right), then
a12+a22+a32+a42K(a1a2+a1a3+a1a4+a2a3+a2a4+a3a4) a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2} \geqslant K\left(a_{1} a_{2}+a_{1} a_{3}+a_{1} a_{4}+a_{2} a_{3}+a_{2} a_{4}+a_{3} a_{4}\right)

Solution

Solution:

Let max{a1,a2}a3a4\max \left\{a_{1}, a_{2}\right\} \leqslant a_{3} \leqslant a_{4}. Denote a2=β2a_{2}=\beta^{2} and a3=γ2,β,γ0a_{3}=\gamma^{2}, \beta, \gamma \geqslant 0. From the condition of the problem it follows that a1(γβ)2a_{1} \leqslant(\gamma-\beta)^{2} and a4(γ+β)2a_{4} \geqslant(\gamma+\beta)^{2}.
Suppose that both of these inequalities are in fact equalities. Then we have a12+a22+a32+a42=3(β4+4β2γ2+γ4)a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}=3\left(\beta^{4}+4 \beta^{2} \gamma^{2}+\gamma^{4}\right) and a1a2+a1a3+a1a4+a2a3+a2a4+a3a4=3(β4+β2γ2+γ4)a_{1} a_{2}+a_{1} a_{3}+a_{1} a_{4}+a_{2} a_{3}+a_{2} a_{4}+a_{3} a_{4}=3\left(\beta^{4}+\beta^{2} \gamma^{2}+\gamma^{4}\right). Moreover γ2β\gamma \leqslant 2 \beta, so
β4+4β2γ2+γ4β4+β2γ2+γ4=1+3β2γ2β4+β2γ2+γ4=1+31+β2γ2+γ2β2117 \frac{\beta^{4}+4 \beta^{2} \gamma^{2}+\gamma^{4}}{\beta^{4}+\beta^{2} \gamma^{2}+\gamma^{4}}=1+\frac{3 \beta^{2} \gamma^{2}}{\beta^{4}+\beta^{2} \gamma^{2}+\gamma^{4}}=1+\frac{3}{1+\frac{\beta^{2}}{\gamma^{2}}+\frac{\gamma^{2}}{\beta^{2}}} \geqslant \frac{11}{7}
with equality for γ=2β\gamma=2 \beta. Therefore, in this case we have K117K \geqslant \frac{11}{7}, and equality is attained for a1:a2:a3:a4=1:1:4:9a_{1}: a_{2}: a_{3}: a_{4}=1: 1: 4: 9.

Let us also show that we can take a1=(γβ)2a_{1}=(\gamma-\beta)^{2} and a4=(γ+β)2a_{4}=(\gamma+\beta)^{2}. Consider the expression
F=a12+a22+a32+a42117(a1a2+a1a3+a1a4+a2a3+a2a4+a3a4) F=a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}-\frac{11}{7}\left(a_{1} a_{2}+a_{1} a_{3}+a_{1} a_{4}+a_{2} a_{3}+a_{2} a_{4}+a_{3} a_{4}\right)
For fixed a2,a3,a4,Fa_{2}, a_{3}, a_{4}, F is a decreasing function of a1a_{1} for a1<1114(a2+a3+a4)a_{1}<\frac{11}{14}\left(a_{2}+a_{3}+a_{4}\right), where 1114(a2+a3+a4)1114(β2+γ2+(β+γ)2)(γβ)2a1\frac{11}{14}\left(a_{2}+a_{3}+a_{4}\right) \geqslant \frac{11}{14}\left(\beta^{2}+\gamma^{2}+(\beta+\gamma)^{2}\right) \geqslant(\gamma-\beta)^{2} \geqslant a_{1}, so FF does not increase if we replace a1a_{1} with (γβ)2(\gamma-\beta)^{2}. Now we may assume without loss of generality that a1a2a_{1} \leqslant a_{2}, i.e. βγ2β\beta \leqslant \gamma \leqslant 2 \beta. Similarly as above, for fixed a1,a2,a3,Fa_{1}, a_{2}, a_{3}, F is an increasing function of a4a_{4} for a4>1114(a1+a2+a3)a_{4}>\frac{11}{14}\left(a_{1}+a_{2}+a_{3}\right), and moreover 1114(a1+a2+a3)1114(β2+γ2+(γβ)2)(γ+β)2a4\frac{11}{14}\left(a_{1}+a_{2}+a_{3}\right) \leqslant \frac{11}{14}\left(\beta^{2}+\gamma^{2}+(\gamma-\beta)^{2}\right) \leqslant(\gamma+\beta)^{2} \leqslant a_{4}, hence FF does not increase if we replace a4a_{4} with (γ+β)2(\gamma+\beta)^{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 translated into English from sr; metadata (topic, difficulty) added by this project.