Maths Olympiad Prep

Library / /1 of 45

Algebra Difficulty 7.3 National Olympiad, round 2 Prove it United States

Find the least real number kk with the following property: if the real numbers xx, yy, and zz are not all positive, then
k(x2x+1)(y2y+1)(z2z+1)(xyz)2xyz+1. k(x^2 - x + 1)(y^2 - y + 1)(z^2 - z + 1) \geq (xyz)^2 - xyz + 1.

Solutions — 3

Solution 1

The answer is k=169k = \frac{16}{9}.
We start with a lemma.

Lemma 1. If real numbers ss and tt are not all positive, then
43(s2s+1)(t2t+1)(st)2st+1.() \frac{4}{3}(s^2 - s + 1)(t^2 - t + 1) \geq (st)^2 - st + 1. \quad (*)
Proof: Without loss of generality, we assume that sts \geq t.
We first assume that s0ts \geq 0 \geq t. Setting u=tu = -t, ()(*) reads
43(s2s+1)(u2+u+1)(su)2+su+1, \frac{4}{3}(s^2 - s + 1)(u^2 + u + 1) \geq (su)^2 + su + 1,
or
4(s2s+1)(u2+u+1)3s2u2+3su+3. 4(s^2 - s + 1)(u^2 + u + 1) \geq 3s^2u^2 + 3su + 3.
Expanding the left-hand side gives
4s2u2+4s2u4su24su+4s2+4u24s+4u+43s2u2+3su+3, 4s^2u^2 + 4s^2u - 4su^2 - 4su + 4s^2 + 4u^2 - 4s + 4u + 4 \geq 3s^2u^2 + 3su + 3,
or
s2u2+4u2+4s2+1+4s2u+4u4su2+4s+7su s^2u^2 + 4u^2 + 4s^2 + 1 + 4s^2u + 4u \geq 4su^2 + 4s + 7su
which is evident as s2u2+4u24su2s^2u^2 + 4u^2 \geq 4su^2, 4s2+14s4s^2 + 1 \geq 4s, and 4s2u+4u8su7su4s^2u + 4u \geq 8su \geq 7su.

We second assume that 0st0 \geq s \geq t. Let v=sv = -s. By our previous argument, we have
43(v2v+1)(t2t+1)(vt)2vt+1. \frac{4}{3}(v^2 - v + 1)(t^2 - t + 1) \geq (vt)^2 - vt + 1.
It is clear that t2t+1>0t^2 - t + 1 > 0, s2s+1v2v+1s^2 - s + 1 \geq v^2 - v + 1, and (vt)2vt+1(st)2st+1(vt)^2 - vt + 1 \geq (st)^2 - st + 1. Combining the last four inequalities gives ()(*), and this completes the proof of the lemma.

Now we show that if x,y,zx, y, z are not all positive real numbers, then
169(x2x+1)(y2y+1)(z2z+1)(xyz)2xyz+1.() \frac{16}{9}(x^2 - x + 1)(y^2 - y + 1)(z^2 - z + 1) \geq (xyz)^2 - xyz + 1. \quad (**)
We consider three cases.

a. We assume that y0y \geq 0. Setting (s,t)=(y,z)(s, t) = (y, z) and then (s,t)=(x,yz)(s, t) = (x, yz) in the lemma gives the desired result.

b. We assume that 0y0 \geq y. Setting (s,t)=(x,y)(s, t) = (x, y) and then (s,t)=(xy,z)(s, t) = (xy, z) in the lemma gives the desired result.

Finally, we confirm that the minimum value of kk is 169\frac{16}{9} by noting that the equality holds in ()(**) when (x,y,z)=(12,12,0)(x, y, z) = (\frac{1}{2}, \frac{1}{2}, 0).

Solution 2

We establish ()(**) by showing
g(z)=169(x2x+1)(y2y+1)(z2z+1)(xyz)2+xyz10. g(z) = \frac{16}{9}(x^2 - x + 1)(y^2 - y + 1)(z^2 - z + 1) - (xyz)^2 + xyz - 1 \geq 0.
Note that g(z)g(z) is a quadratic in zz whose axis of symmetry (found by comparing the linear and quadratic terms) is at
z=12932xy(x2x+1)(y2y+1)=129321(x+1x1)(y+1y1). \begin{aligned} z &= \frac{1}{2} - \frac{9}{32} \cdot \frac{xy}{(x^2 - x + 1)(y^2 - y + 1)} \\ &= \frac{1}{2} - \frac{9}{32} \cdot \frac{1}{\left(x + \frac{1}{x} - 1\right)\left(y + \frac{1}{y} - 1\right)}. \end{aligned}
For any tt, we have x+1x11|x + \frac{1}{x} - 1| \ge 1, so the absolute value of the second quantity on the right-hand side of the above equation is at most 932\frac{9}{32}, which is less than 12\frac{1}{2}. That is, the axis of symmetry occurs to the right side of the yy-axis, so we only decrease the difference between the sides by replacing zz by 00. But when z=0z = 0, we only need to show
g(0)=169(x2x+1)(y2y+1)10, g(0) = \frac{16}{9}(x^2 - x + 1)(y^2 - y + 1) - 1 \geq 0,
which is evident as t2t+1=(t12)2+3434t^2 - t + 1 = (t - \frac{1}{2})^2 + \frac{3}{4} \ge \frac{3}{4}.

Solution 3

This is the Calculus version of the second solution. We maintain the same notation as in the second solution. We have
dgdz=169(2z1)(x2x+1)(y2y+1)2zx2y2+xy \frac{dg}{dz} = \frac{16}{9}(2z - 1)(x^2 - x + 1)(y^2 - y + 1) - 2zx^2y^2 + xy
or
dgdz=2z[43(x2x+1)43(y2y+1)x2y2]+[xy43(x2x+1)43(y2y+1)].() \frac{dg}{dz} = 2z \left[ \frac{4}{3}(x^2 - x + 1)\frac{4}{3}(y^2 - y + 1) - x^2y^2 \right] + \left[ xy - \frac{4}{3}(x^2 - x + 1)\frac{4}{3}(y^2 - y + 1) \right]. \quad (\dagger)
It is evident that
43(t2t+1)t20 \frac{4}{3}(t^2 - t + 1) \geq t^2 \geq 0
as it is equivalent to t24t+4=(t2)20t^2 - 4t + 4 = (t - 2)^2 \ge 0. It follows that
2z[43(x2x+1)43(y2y+1)x2y2]0; 2z \left[ \frac{4}{3}(x^2 - x + 1)\frac{4}{3}(y^2 - y + 1) - x^2y^2 \right] \le 0;
that is, the first summand on the right-hand side of ()(\dagger) is not positive. It is also evident that
43(t2t+1)t \frac{4}{3}(t^2 - t + 1) \geq t
as it is equivalent to 4t27t+4=4(t78)2+1516>04t^2 - 7t + 4 = 4\left(t - \frac{7}{8}\right)^2 + \frac{15}{16} > 0. If y0y \ge 0, then multiplying the inequalities
43(x2x+1)x0and43(y2y+1)y0 \frac{4}{3}(x^2 - x + 1) \ge x \ge 0 \quad \text{and} \quad \frac{4}{3}(y^2 - y + 1) \ge y \ge 0
gives
43(x2x+1)43(y2y+1)xy0. \frac{4}{3}(x^2 - x + 1)\frac{4}{3}(y^2 - y + 1) - xy \ge 0.
If y<0y < 0, then xy<0xy < 0, and so
43(x2x+1)43(y2y+1)0xy. \frac{4}{3}(x^2 - x + 1)\frac{4}{3}(y^2 - y + 1) \ge 0 \ge xy.
In either case, we have shown that the second summand in ()(\dagger) is also negative. We conclude that dgdz0\frac{dg}{dz} \le 0 for z0z \le 0. Hence g(z)g(z) reaches minimum when z=0z = 0, and we can finish as we did in the second solution.

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.