Maths Olympiad Prep

Library / /41 of 61

Algebra Difficulty 6.5 National Olympiad Prove it Greece

The positive real numbers α,β,γ,δ\alpha, \beta, \gamma, \delta satisfy the equality:
α+βγ+γδ+δβ+1αβ2γ2δ2=18. \alpha + \beta\gamma + \gamma\delta + \delta\beta + \frac{1}{\alpha\beta^2\gamma^2\delta^2} = 18.

Find the maximal possible value of α\alpha.

Solution

Using the AM-GM inequality we get

α+βγ+γδ+δβ+1αβ2γ2δ2=α+(βγ+γδ+δβ+1αβ2γ2δ2)α+4βγγδδβ1αβ2γ2δ24=α+4α4 \begin{align*} \alpha + \beta\gamma + \gamma\delta + \delta\beta + \frac{1}{\alpha\beta^2\gamma^2\delta^2} &= \alpha + \left( \beta\gamma + \gamma\delta + \delta\beta + \frac{1}{\alpha\beta^2\gamma^2\delta^2} \right) \\ &\ge \alpha + 4\sqrt[4]{\beta\gamma \cdot \gamma\delta \cdot \delta\beta \cdot \frac{1}{\alpha\beta^2\gamma^2\delta^2}} = \alpha + \frac{4}{\sqrt[4]{\alpha}} \end{align*}
By putting x=α4x = \sqrt[4]{\alpha} and taking in mind the given equality we have the inequality
x4+4x18, x>0x518x+40, x>0.(1) x^4 + \frac{4}{x} \le 18,\ x > 0 \Leftrightarrow x^5 - 18x + 4 \le 0,\ x > 0. \quad (1)
Since 2 is a root of polynomial P(x)=x518x+4P(x) = x^5 - 18x + 4, we have the factorization
P(x)=x518x+4=(x2)(x4+2x3+4x2+8x2), P(x) = x^{5}-18x+4 = (x-2)(x^{4}+2x^{3}+4x^{2}+8x-2),
and hence we have the inequality:
(x2)(x4+2x3+4x2+8x2)0.(2) (x-2)(x^4 + 2x^3 + 4x^2 + 8x - 2) \le 0. \quad (2)
If x>2x > 2, then (x2)(x4+2x3+4x2+8x2)>0(x-2)(x^4 + 2x^3 + 4x^2 + 8x - 2) > 0, and so inequality (2) is not true. Therefore, 0<x20 < x \le 2.
We observe that for x=2x=2, we have α=16\alpha=16 and (2) holds as equality. From AM - GM inequality it happens when
βγ=γδ=δβ=1αβ2γ2δ2β=γ=δandβ2=116β6β=γ=δandβ8=116β=γ=δ=12. \begin{align*} \beta\gamma = \gamma\delta = \delta\beta &= \frac{1}{\alpha\beta^2\gamma^2\delta^2} \Leftrightarrow \beta = \gamma = \delta \quad \text{and} \quad \beta^2 = \frac{1}{16\beta^6} \\ \Leftrightarrow \beta = \gamma = \delta \quad \text{and} \quad \beta^8 &= \frac{1}{16} \Leftrightarrow \beta = \gamma = \delta = \frac{1}{\sqrt{2}}. \end{align*}
Hence the maximal possible value of α\alpha is 16.

Second solution.

From the AM – GM inequality we get a+bc+cd+db+1ab2c2d2=a32++a32+bc+cd+db+1ab2c2d2a + bc + cd + db + \frac{1}{ab^2c^2d^2} = \frac{a}{32} + \dots + \frac{a}{32} + bc + cd + db + \frac{1}{ab^2c^2d^2} \ge
3636a323232bccddb1ab2c2d2=3636a313232 36^{36} \sqrt{\frac{a^{32}}{32^{32}} \cdot bc \cdot cd \cdot db \cdot \frac{1}{ab^2c^2d^2}} = 36^{36} \sqrt{\frac{a^{31}}{32^{32}}}
Hence, α313232236=2124\alpha^{31} \le \frac{32^{32}}{2^{36}} = 2^{124}, and a24a \le 2^4.

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.