Olympiad Maths Prep

Track / Stage 7 / 259 of 300 #1659 of 2000

Problem 1659

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.7 Prove it

If x,y,zx,y,z are real numbers satisfying relations
x+y+z=1andarctanx+arctany+arctanz=π4,x+y+z = 1 \quad \textrm{and} \quad \arctan x + \arctan y + \arctan z = \frac{\pi}{4},
prove that x2n+1+y2n+1+z2n+1=1x^{2n+1} + y^{2n+1} + z^{2n+1} = 1 holds for all positive integers nn.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Given the equations:
x+y+z=1 x + y + z = 1
and
arctanx+arctany+arctanz=π4, \arctan x + \arctan y + \arctan z = \frac{\pi}{4},
we start by using the identity for the sum of arctangents:
arctana+arctanb+arctanc=arctan(a+b+cabc1(ab+bc+ca)). \arctan a + \arctan b + \arctan c = \arctan \left( \frac{a + b + c - abc}{1 - (ab + bc + ca)} \right).
Setting a=xa = x, b=yb = y, and c=zc = z, we have:
arctanx+arctany+arctanz=arctan(x+y+zxyz1(xy+yz+zx)). \arctan x + \arctan y + \arctan z = \arctan \left( \frac{x + y + z - xyz}{1 - (xy + yz + zx)} \right).

2. Given that arctanx+arctany+arctanz=π4\arctan x + \arctan y + \arctan z = \frac{\pi}{4}, we equate:
arctan(x+y+zxyz1(xy+yz+zx))=π4. \arctan \left( \frac{x + y + z - xyz}{1 - (xy + yz + zx)} \right) = \frac{\pi}{4}.
Since arctan11=π4\arctan \frac{1}{1} = \frac{\pi}{4}, it follows that:
x+y+zxyz1(xy+yz+zx)=1. \frac{x + y + z - xyz}{1 - (xy + yz + zx)} = 1.

3. Substituting x+y+z=1x + y + z = 1 into the equation, we get:
1xyz1(xy+yz+zx)=1. \frac{1 - xyz}{1 - (xy + yz + zx)} = 1.
Simplifying, we obtain:
1xyz=1(xy+yz+zx). 1 - xyz = 1 - (xy + yz + zx).
Therefore:
xyz=xy+yz+zx. xyz = xy + yz + zx.

4. We can rewrite the equation as:
xyzxyyzzx=0. xyz - xy - yz - zx = 0.
Factoring, we get:
(x1)(y1)(z1)=0. (x - 1)(y - 1)(z - 1) = 0.
This implies that at least one of xx, yy, or zz is equal to 1. Without loss of generality, assume x=1x = 1.

5. Substituting x=1x = 1 into x+y+z=1x + y + z = 1, we get:
1+y+z=1    y+z=0    y=z. 1 + y + z = 1 \implies y + z = 0 \implies y = -z.

6. Now, we need to prove that x2n+1+y2n+1+z2n+1=1x^{2n+1} + y^{2n+1} + z^{2n+1} = 1 for all positive integers nn. Substituting x=1x = 1 and y=zy = -z, we have:
12n+1+y2n+1+(y)2n+1. 1^{2n+1} + y^{2n+1} + (-y)^{2n+1}.
Since y=zy = -z, we get:
1+y2n+1+(y)2n+1. 1 + y^{2n+1} + (-y)^{2n+1}.

7. Note that (y)2n+1=(y2n+1)(-y)^{2n+1} = -(y^{2n+1}), so:
1+y2n+1y2n+1=1. 1 + y^{2n+1} - y^{2n+1} = 1.

8. Therefore, we have shown that:
x2n+1+y2n+1+z2n+1=1. x^{2n+1} + y^{2n+1} + z^{2n+1} = 1.

\blacksquare

The final answer is x2n+1+y2n+1+z2n+1=1 \boxed{ x^{2n+1} + y^{2n+1} + z^{2n+1} = 1 } .

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