Maths Olympiad Prep

Track / Stage 6 / 330 of 400 #1330 of 1964

Problem 1330

National olympiad, first round
Algebra Difficulty 6.6 Find the answer

Let x,y,z x,y,z be positive real numbers such that xy\plusyz\pluszx\equalx\plusy\plusz xy \plus{} yz \plus{} zx \equal{} x \plus{} y \plus{} z. Prove the inequality

1x2\plusy\plus1\plus1y2\plusz\plus1\plus1z2\plusx\plus11 \frac1{x^2 \plus{} y \plus{} 1} \plus{} \frac1{y^2 \plus{} z \plus{} 1} \plus{} \frac1{z^2 \plus{} x \plus{} 1}\le1

When does the equality hold?

The source for this one didn't record the answer, so there is nothing to check what you type against. Work it on paper and mark yourself against the solution below.

Official solution

1. Given the condition xy+yz+zx=x+y+z xy + yz + zx = x + y + z , we need to prove the inequality:
1x2+y+1+1y2+z+1+1z2+x+11 \frac{1}{x^2 + y + 1} + \frac{1}{y^2 + z + 1} + \frac{1}{z^2 + x + 1} \leq 1

2. By the Cauchy-Schwarz inequality, we have:
(x2+y+1)(1+y+z2)(x+y+z)2 (x^2 + y + 1)(1 + y + z^2) \geq (x + y + z)^2
This implies:
1x2+y+11+y+z2(x+y+z)2 \frac{1}{x^2 + y + 1} \leq \frac{1 + y + z^2}{(x + y + z)^2}

3. Summing up similar inequalities for yy and zz, we get:
1x2+y+1+1y2+z+1+1z2+x+11+y+z2(x+y+z)2+1+z+x2(x+y+z)2+1+x+y2(x+y+z)2 \frac{1}{x^2 + y + 1} + \frac{1}{y^2 + z + 1} + \frac{1}{z^2 + x + 1} \leq \frac{1 + y + z^2}{(x + y + z)^2} + \frac{1 + z + x^2}{(x + y + z)^2} + \frac{1 + x + y^2}{(x + y + z)^2}

4. Simplifying the right-hand side, we obtain:
1+y+z2+1+z+x2+1+x+y2(x+y+z)2=3+x+y+z+x2+y2+z2(x+y+z)2 \frac{1 + y + z^2 + 1 + z + x^2 + 1 + x + y^2}{(x + y + z)^2} = \frac{3 + x + y + z + x^2 + y^2 + z^2}{(x + y + z)^2}

5. Therefore, it suffices to prove that:
(x+y+z)23+x+y+z+x2+y2+z2 (x + y + z)^2 \geq 3 + x + y + z + x^2 + y^2 + z^2

6. Expanding and rearranging terms, we get:
x2+y2+z2+2(xy+yz+zx)3+x+y+z+x2+y2+z2 x^2 + y^2 + z^2 + 2(xy + yz + zx) \geq 3 + x + y + z + x^2 + y^2 + z^2
2(xy+yz+zx)3+x+y+z 2(xy + yz + zx) \geq 3 + x + y + z

7. Using the given condition xy+yz+zx=x+y+z xy + yz + zx = x + y + z , we substitute:
2(x+y+z)3+x+y+z 2(x + y + z) \geq 3 + x + y + z
x+y+z3 x + y + z \geq 3

8. We know that 3(x+y+z)=3(xy+yz+zx)(x+y+z)2 3(x + y + z) = 3(xy + yz + zx) \leq (x + y + z)^2 , which implies:
x+y+z3 x + y + z \geq 3

9. Equality holds if x=y=z=1 x = y = z = 1 , as this satisfies both the given condition and the inequality.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.