Maths Olympiad Prep

Library / /3 of 3

Algebra Difficulty 6.8 National olympiad Prove it Japan

Answer the maximum value of AA for which, for every positive x1,x2,x3,y1,y2,y3,z1,z2x_1, x_2, x_3, y_1, y_2, y_3, z_1, z_2 and z3z_3, the inequality
(x13+x23+x33+1)(y13+y23+y33+1)(z13+z23+z33+1)A(x1+y1+z1)(x2+y2+z2)(x3+y3+z3) (x_1^3 + x_2^3 + x_3^3 + 1)(y_1^3 + y_2^3 + y_3^3 + 1)(z_1^3 + z_2^3 + z_3^3 + 1) \geq A(x_1 + y_1 + z_1)(x_2 + y_2 + z_2)(x_3 + y_3 + z_3)
holds.
For the maximum value of AA, establish the cases of equality.

Solution

First we prove that, for any positive real numbers p1,,pn,q1,,qn,r1,,rnp_1, \dots, p_n, q_1, \dots, q_n, r_1, \dots, r_n, the following inequality holds:
(p13++pn3)(q13++qn3)(r13++rn3)(p1q1r1++pnqnrn)3. (p_1^3 + \cdots + p_n^3)(q_1^3 + \cdots + q_n^3)(r_1^3 + \cdots + r_n^3) \ge (p_1q_1r_1 + \cdots + p_nq_nr_n)^3.
Indeed, by using Cauchy-Schwarz inequality repeatedly, we obtain
(p13++pn3)(q13++qn3)(r13++rn3)(p1q1r1++pnqnrn)((p132q132++pn32qn32)(p112q112r12++pn12qn12rn2))2((p1q1r1++pnqnrn)2)2=(p1q1r1++pnqnrn)4 \begin{align*} & (p_1^3 + \cdots + p_n^3)(q_1^3 + \cdots + q_n^3)(r_1^3 + \cdots + r_n^3)(p_1 q_1 r_1 + \cdots + p_n q_n r_n) \\ \ge & ((p_1^{\frac{3}{2}} q_1^{\frac{3}{2}} + \cdots + p_n^{\frac{3}{2}} q_n^{\frac{3}{2}})(p_1^{\frac{1}{2}} q_1^{\frac{1}{2}} r_1^2 + \cdots + p_n^{\frac{1}{2}} q_n^{\frac{1}{2}} r_n^2))^2 \\ \ge & ((p_1 q_1 r_1 + \cdots + p_n q_n r_n)^2)^2 \\ = & (p_1 q_1 r_1 + \cdots + p_n q_n r_n)^4 \end{align*}
and hence the desired inequality.

Let t=613t = 6^{-\frac{1}{3}}. Using this inequality and AM-GM inequality,
(x13+x23+x33+1)(y13+y23+y33+1)(z13+z23+z33+1)=(x13+x23+x33+t3+t3+t3+t3+t3+t3)×(t3+t3+t3+y13+y23+y33+t3+t3+t3)×(t3+t3+t3+t3+t3+t3+z13+z23+z33)(t2x1+t2x2+t2x3+t2y1+t2y2+t2y3+t2z1+t2z2+t2z3)3=136((x1+y1+z1)+(x2+y2+z2)+(x3+y3+z3))33336(x1+y1+z1)(x2+y2+z2)(x3+y3+z3). \begin{align*} & (x_1^3 + x_2^3 + x_3^3 + 1)(y_1^3 + y_2^3 + y_3^3 + 1)(z_1^3 + z_2^3 + z_3^3 + 1) \\ &= (x_1^3 + x_2^3 + x_3^3 + t^3 + t^3 + t^3 + t^3 + t^3 + t^3) \\ & \quad \times (t^3 + t^3 + t^3 + y_1^3 + y_2^3 + y_3^3 + t^3 + t^3 + t^3) \\ & \quad \times (t^3 + t^3 + t^3 + t^3 + t^3 + t^3 + z_1^3 + z_2^3 + z_3^3) \\ &\ge (t^2 x_1 + t^2 x_2 + t^2 x_3 + t^2 y_1 + t^2 y_2 + t^2 y_3 + t^2 z_1 + t^2 z_2 + t^2 z_3)^3 \\ &= \frac{1}{36} \left( (x_1 + y_1 + z_1) + (x_2 + y_2 + z_2) + (x_3 + y_3 + z_3) \right)^3 \\ &\ge \frac{3^3}{36} (x_1 + y_1 + z_1)(x_2 + y_2 + z_2)(x_3 + y_3 + z_3). \end{align*}
Equality holds if and only if equality holds for each Cauchy-Schwarz and AM-GM, namely x1=x2=x3=y1=y2=y3=z1=z2=z3=tx_1 = x_2 = x_3 = y_1 = y_2 = y_3 = z_1 = z_2 = z_3 = t.

Therefore, the maximum value of AA is 34\frac{3}{4} and equality holds if x1=x2=x3=y1=y2=y3=z1=z2=z3=tx_1 = x_2 = x_3 = y_1 = y_2 = y_3 = z_1 = z_2 = z_3 = t.

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 and solution reproduced as published; topic and difficulty added by this site.