Maths Olympiad Prep

Library / /18 of 121

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)23(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(xy)234(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+y2xy,y+z2yz,z+x2zx 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=sa,y=sb,z=scx=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)2xy=c214(c+ab)(c+ba)=34c2+14(ab)234c2x^{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=(sa)(sb)+(sb)(sc)+(sc)(sa)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(sa)(sb)98abc s \sum(s-a)(s-b) \leq \frac{9}{8} a b c
But, (sa)(sb)=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 2rR2 r \leq R. This follows from IO2=R(R2r)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)23(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)2xy=(x+y)(1z)xy=x+yα=1zα \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α3xyz \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 α23(α2α3xyz)\alpha^{2} \leq 3\left(\alpha^{2}-\alpha^{3}-x y z\right). This reduces to
3xyzα2(23α) 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 23α12-3 \alpha \geq 1. Thus it suffices to prove that 3xyzα23 x y z \leq \alpha^{2}. But
α23xyz=(xy+yz+zx)23xyz(x+y+z)=cyclic x2y2xyz(x+y+z)=12cyclic (xyyz)20 \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,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.