Maths Olympiad Prep

Library / Indian National Mathematical Olympiad /15 of 103

Indian National Mathematical Olympiad

Algebra Difficulty 5.4 AIME, harder Prove it India

Problem:
If x,y,zx, y, z are positive real numbers, prove that
(x+y+z)2(yz+zx+xy)2≤3(y2+yz+z2)(z2+zx+x2)(x2+xy+y2) (x+y+z)^{2}(y z+z x+x y)^{2} \leq 3\left(y^{2}+y z+z^{2}\right)\left(z^{2}+z x+x^{2}\right)\left(x^{2}+x y+y^{2}\right)

Solutions — 3

Solution 1

Solution:
We begin with the observation that
x2+xy+y2=34(x+y)2+14(x−y)2≥34(x+y)2 x^{2}+x y+y^{2}=\frac{3}{4}(x+y)^{2}+\frac{1}{4}(x-y)^{2} \geq \frac{3}{4}(x+y)^{2}
and similar bounds for y2+yz+z2,z2+zx+x2y^{2}+y z+z^{2}, z^{2}+z x+x^{2}. Thus
3(x2+xy+y2)(y2+yz+z2)(z2+zx+x2)≥8164(x+y)2(y+z)2(z+x)2 3\left(x^{2}+x y+y^{2}\right)\left(y^{2}+y z+z^{2}\right)\left(z^{2}+z x+x^{2}\right) \geq \frac{81}{64}(x+y)^{2}(y+z)^{2}(z+x)^{2}
Thus it is sufficient to prove that
(x+y+z)(xy+yz+zx)≤98(x+y)(y+z)(z+x) (x+y+z)(x y+y z+z x) \leq \frac{9}{8}(x+y)(y+z)(z+x)
Equivalently, we need to prove that
8(x+y+z)(xy+yz+zx)≤9(x+y)(y+z)(z+x) 8(x+y+z)(x y+y z+z x) \leq 9(x+y)(y+z)(z+x)
However, we note that
(x+y)(y+z)(z+x)=(x+y+z)(yz+zx+xy)−xyz (x+y)(y+z)(z+x)=(x+y+z)(y z+z x+x y)-x y z
Thus the required inequality takes the form
(x+y)(y+z)(z+x)≥8xyz (x+y)(y+z)(z+x) \geq 8 x y z
This follows from AM-GM inequalities;
x+y≥2xy,y+z≥2yz,z+x≥2zx x+y \geq 2 \sqrt{x y}, \quad y+z \geq 2 \sqrt{y z}, \quad z+x \geq 2 \sqrt{z x}

Solution 2

Solution:
Let us introduce x+y=c,y+z=ax+y=c, y+z=a and z+x=bz+x=b. Then a,b,ca, b, c are the sides of a triangle. If s=(a+b+c)/2s=(a+b+c) / 2, then it is easy to calculate x=s−a,y=s−b,z=s−cx=s-a, y=s-b, z=s-c and x+y+z=sx+y+z=s. We also observe that
x2+xy+y2=(x+y)2−xy=c2−14(c+a−b)(c+b−a)=34c2+14(a−b)2≥34c2x^{2}+x y+y^{2}=(x+y)^{2}-x y=c^{2}-\frac{1}{4}(c+a-b)(c+b-a)=\frac{3}{4} c^{2}+\frac{1}{4}(a-b)^{2} \geq \frac{3}{4} c^{2}.
Moreover, xy+yz+zx=(s−a)(s−b)+(s−b)(s−c)+(s−c)(s−a)x y+y z+z x=(s-a)(s-b)+(s-b)(s-c)+(s-c)(s-a). Thus it is sufficient to prove that
s∑(s−a)(s−b)≤98abc s \sum(s-a)(s-b) \leq \frac{9}{8} a b c
But, ∑(s−a)(s−b)=r(4R+r)\sum(s-a)(s-b)=r(4 R+r), where r,Rr, R are respectively the in-radius, the circum-radius of the triangle whose sides are a,b,ca, b, c, and abc=4Rrsa b c=4 R r s. Thus the inequality reduces to
r(4R+r)≤92Rr r(4 R+r) \leq \frac{9}{2} R r
This is simply 2r≤R2 r \leq R. This follows from IO2=R(R−2r)I O^{2}=R(R-2 r), where II is the incentre and OO the circumcentre.

Solution 3

Solution:
If we set x=λa,y=λb,z=λcx=\lambda a, y=\lambda b, z=\lambda c, then the inequality changes to
(a+b+c)2(ab+bc+ca)2≤3(a2+ab+b2)(b2+bc+c2)(c2+ca+a2) (a+b+c)^{2}(a b+b c+c a)^{2} \leq 3\left(a^{2}+a b+b^{2}\right)\left(b^{2}+b c+c^{2}\right)\left(c^{2}+c a+a^{2}\right)
This shows that we may assume x+y+z=1x+y+z=1. Let α=xy+yz+zx\alpha=x y+y z+z x. We see that
x2+xy+y2=(x+y)2−xy=(x+y)(1−z)−xy=x+y−α=1−z−α \begin{aligned} x^{2}+x y+y^{2} & =(x+y)^{2}-x y \\ & =(x+y)(1-z)-x y \\ & =x+y-\alpha=1-z-\alpha \end{aligned}
Thus
∏(x2+xy+y2)=(1−α−z)(1−α−x)(1−α−y)=(1−α)3−(1−α)2+(1−α)α−xyz=α2−α3−xyz \begin{aligned} \prod\left(x^{2}+x y+y^{2}\right) & =(1-\alpha-z)(1-\alpha-x)(1-\alpha-y) \\ & =(1-\alpha)^{3}-(1-\alpha)^{2}+(1-\alpha) \alpha-x y z \\ & =\alpha^{2}-\alpha^{3}-x y z \end{aligned}
Thus we need to prove that α2≤3(α2−α3−xyz)\alpha^{2} \leq 3\left(\alpha^{2}-\alpha^{3}-x y z\right). This reduces to
3xyz≤α2(2−3α) 3 x y z \leq \alpha^{2}(2-3 \alpha)
However
3α=3(xy+yz+zx)≤(x+y+z)2=1 3 \alpha=3(x y+y z+z x) \leq(x+y+z)^{2}=1
so that 2−3α≥12-3 \alpha \geq 1. Thus it suffices to prove that 3xyz≤α23 x y z \leq \alpha^{2}. But
α2−3xyz=(xy+yz+zx)2−3xyz(x+y+z)=∑cyclic x2y2−xyz(x+y+z)=12∑cyclic (xy−yz)2≥0 \begin{aligned} \alpha^{2}-3 x y z & =(x y+y z+z x)^{2}-3 x y z(x+y+z) \\ & =\sum_{\text {cyclic }} x^{2} y^{2}-x y z(x+y+z) \\ & =\frac{1}{2} \sum_{\text {cyclic }}(x y-y z)^{2} \geq 0 \end{aligned}

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 reproduced verbatim; metadata (topic, difficulty) added by this project.