Maths Olympiad Prep

Library / /107 of 121

Algebra Difficulty 7.0 National Olympiad Prove it India

Problem:
Let a,b,ca, b, c be positive real numbers such that a3+b3=c3a^{3}+b^{3}=c^{3}. Prove that

a2+b2c2>6(ca)(cb) a^{2}+b^{2}-c^{2}>6(c-a)(c-b)

Solution

Solution:
The given inequality may be written in the form

7c26(a+b)c(a2+b26ab)<0 7 c^{2}-6(a+b) c-\left(a^{2}+b^{2}-6 a b\right)<0

Putting x=7c2x=7 c^{2}, y=6(a+b)cy=-6(a+b) c, z=(a2+b26ab)z=-\left(a^{2}+b^{2}-6 a b\right), we have to prove that x+y+z<0x+y+z<0. Observe that x,y,zx, y, z are not all equal (x>0,y<0x>0, y<0). Using the identity

x3+y3+z33xyz=12(x+y+z)[(xy)2+(yz)2+(zx)2] x^{3}+y^{3}+z^{3}-3 x y z=\frac{1}{2}(x+y+z)\left[(x-y)^{2}+(y-z)^{2}+(z-x)^{2}\right]

we infer that it is sufficient to prove x3+y3+z33xyz<0x^{3}+y^{3}+z^{3}-3 x y z<0. Substituting the values of x,y,zx, y, z, we see that this is equivalent to

343c6216(a+b)3c3(a2+b26ab)3126c3(a+b)(a2+b26ab)<0 343 c^{6}-216(a+b)^{3} c^{3}-\left(a^{2}+b^{2}-6 a b\right)^{3}-126 c^{3}(a+b)\left(a^{2}+b^{2}-6 a b\right)<0

Using c3=a3+b3c^{3}=a^{3}+b^{3}, this reduces to

343(a3+b3)2216(a+b)3(a3+b3)(a2+b26ab)3126(a3+b3)(a+b)(a2+b26ab)<0 343\left(a^{3}+b^{3}\right)^{2}-216(a+b)^{3}\left(a^{3}+b^{3}\right)-\left(a^{2}+b^{2}-6 a b\right)^{3}-126\left(a^{3}+b^{3}\right)(a+b)\left(a^{2}+b^{2}-6 a b\right)<0

This may be simplified (after some tedious calculations) to,

a2b2(129a2254ab+129b2)<0 -a^{2} b^{2}\left(129 a^{2}-254 a b+129 b^{2}\right)<0

But 129a2254ab+129b2=129(ab)2+4ab>0129 a^{2}-254 a b+129 b^{2}=129(a-b)^{2}+4 a b>0. Hence the result follows.

1. We have

a3=c3b3=(cb)(c2+cb+b2) a^{3}=c^{3}-b^{3}=(c-b)\left(c^{2}+c b+b^{2}\right)

which is same as

a2cb=c2+cb+b2a \frac{a^{2}}{c-b}=\frac{c^{2}+c b+b^{2}}{a}

Similarly, we get

b2ca=c2+ca+a2b \frac{b^{2}}{c-a}=\frac{c^{2}+c a+a^{2}}{b}

We observe that

a2cb+b2ca=c(a2+b2)a3b3(ca)(cb)=c(a2+b2c2)(ca)(cb) \frac{a^{2}}{c-b}+\frac{b^{2}}{c-a}=\frac{c\left(a^{2}+b^{2}\right)-a^{3}-b^{3}}{(c-a)(c-b)}=\frac{c\left(a^{2}+b^{2}-c^{2}\right)}{(c-a)(c-b)}

This shows that

a2+b2c2(ca)(cb)=c2+cb+b2ca+c2+ca+a2cb \frac{a^{2}+b^{2}-c^{2}}{(c-a)(c-b)}=\frac{c^{2}+c b+b^{2}}{c a}+\frac{c^{2}+c a+a^{2}}{c b}

Thus it is sufficient to prove that

c2+cb+b2ca+c2+ca+a2cb6 \frac{c^{2}+c b+b^{2}}{c a}+\frac{c^{2}+c a+a^{2}}{c b} \geq 6

However, we have c2+b22cbc^{2}+b^{2} \geq 2 c b and c2+a22cac^{2}+a^{2} \geq 2 c a. Hence

c2+cb+b2ca+c2+ca+a2cb3(ba+ab)3×2=6 \frac{c^{2}+c b+b^{2}}{c a}+\frac{c^{2}+c a+a^{2}}{c b} \geq 3\left(\frac{b}{a}+\frac{a}{b}\right) \geq 3 \times 2=6

We have used AM-GM inequality.

2. Let us set x=a/cx=a / c and y=b/cy=b / c. Then x3+y3=1x^{3}+y^{3}=1 and the inequality to be proved is x2+y21>6(1x)(1y)x^{2}+y^{2}-1>6(1-x)(1-y). This reduces to

(x+y)2+6(x+y)8xy7>0 (x+y)^{2}+6(x+y)-8 x y-7>0

But

1=x3+y3=(x+y)(x2xy+y2) 1=x^{3}+y^{3}=(x+y)\left(x^{2}-x y+y^{2}\right)

which gives xy=((x+y)31)/3(x+y)x y=\left((x+y)^{3}-1\right) / 3(x+y). Substituting this in (1) and introducing x+y=tx+y=t, the inequality takes the form

t2+6t83(t31)t7>0 t^{2}+6 t-\frac{8}{3} \frac{\left(t^{3}-1\right)}{t}-7>0

This may be simplified to 5t3+18t22t+8>0-5 t^{3}+18 t^{2}-2 t+8>0. Equivalently

(5t8)(t1)2>0 -(5 t-8)(t-1)^{2}>0

Thus we need to prove that 5t<85 t<8. Observe that (x+y)3>x3+y3=1(x+y)^{3}>x^{3}+y^{3}=1, so that t>1t>1. We also have

(x+y2)x3+y32=12 \left(\frac{x+y}{2}\right) \leq \frac{x^{3}+y^{3}}{2}=\frac{1}{2}

This shows that t34t^{3} \leq 4. Thus

(5t8)3125×4512=500512<1 \left(\frac{5 t}{8}\right)^{3} \leq \frac{125 \times 4}{512}=\frac{500}{512}<1

Hence 5t<85 t<8, which proves the given inequality.

3. We write b3=c3a3b^{3}=c^{3}-a^{3} and a3=c3b3a^{3}=c^{3}-b^{3} so that

ca=b3c2ca+a2,cb=a3c2cb+b2 c-a=\frac{b^{3}}{c^{2}-c a+a^{2}}, \quad c-b=\frac{a^{3}}{c^{2}-c b+b^{2}}

Thus the inequality reduces to

a2+b2c2>6a3b3(c2ca+a2)(c2cb+b2) a^{2}+b^{2}-c^{2}>6 \frac{a^{3} b^{3}}{\left(c^{2}-c a+a^{2}\right)\left(c^{2}-c b+b^{2}\right)}

This simplifies (after some lengthy calculations) to

c6(a+b)c5abc4+(a3+b3)c3+(a4+a3b+a2b2+ab3+b4)c2+(a2b+ab2+a3+b3)abc+(a4b26a3b3+a2b4)>0 \begin{aligned} & -c^{6}-(a+b) c^{5}-a b c^{4}+\left(a^{3}+b^{3}\right) c^{3}+\left(a^{4}+a^{3} b+a^{2} b^{2}+a b^{3}+b^{4}\right) c^{2} \\ & \quad+\left(a^{2} b+a b^{2}+a^{3}+b^{3}\right) a b c+\left(a^{4} b^{2}-6 a^{3} b^{3}+a^{2} b^{4}\right)>0 \end{aligned}

Substituting
c3=a3+b3,c4=c(a3+b3),c5=c2(a3+b3),c6=(a3+b3)2 c^{3}=a^{3}+b^{3}, \quad c^{4}=c\left(a^{3}+b^{3}\right), \quad c^{5}=c^{2}\left(a^{3}+b^{3}\right), \quad c^{6}=\left(a^{3}+b^{3}\right)^{2}
the inequality further reduces to
a2b2(a2+b2+c2+ac+bc6ab)>0 a^{2} b^{2}\left(a^{2}+b^{2}+c^{2}+a c+b c-6 a b\right)>0

Thus we need to prove that a2+b2+c2+ac+bc6ab>0a^{2}+b^{2}+c^{2}+a c+b c-6 a b>0. Since a2+b22aba^{2}+b^{2} \geq 2 a b, it is enough to prove that c2+c(a+b)4ab>0c^{2}+c(a+b)-4 a b>0. Multiplying this by cc and using a3+b3=c3a^{3}+b^{3}=c^{3}, we need to prove that
a3+b3+c2a+c2b>4abc a^{3}+b^{3}+c^{2} a+c^{2} b>4 a b c

Using AM-GM inequality to these 4 terms and using c>a,c>bc>a, c>b we get
a3+b3+c2a+c2b>4(a3b3c2ac2b)1/4=4abc a^{3}+b^{3}+c^{2} a+c^{2} b>4\left(a^{3} b^{3} c^{2} a c^{2} b\right)^{1 / 4}=4 a b c
which proves the inequality.

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.