Maths Olympiad Prep

Library / /286 of 520

Algebra Difficulty 6.6 National olympiad Prove it

Let nn be an odd natural number and xx and yy be two rational numbers such that

xn+2y=yn+2x x^{n}+2 y=y^{n}+2 x

Show that x=yx=y.

Solution

We first consider
( \boxtimes) Let n3n \geqslant 3 be an odd natural number. Furthermore, let a,ba, b, and cc be three integers such that

an1+an2b++bn1=2cn1 a^{n-1}+a^{n-2} b+\ldots+b^{n-1}=2 c^{n-1}

Then a=b=c=0a=b=c=0.
If this were false for some nn, we could choose a counterexample (a,b,c)(a, b, c) for which the expression a+b+c|a|+|b|+|c| takes its smallest positive value. If both aa and bb were odd, the left side would be the sum of an odd number of odd summands and thus odd, while the right side is even. Therefore, at least one of the numbers aa and bb must be even. If, for example, aa is even, the left side has the same parity as bn1b^{n-1}, and the right side is even, so bb must also be even. Similarly, one sees that aa must be even if bb is assumed to be even. Therefore, both aa and bb are even. Consequently, the left side is divisible by 2n12^{n-1} and thus, in particular, by 4, which implies that cn1c^{n-1} and hence cc is also even. If we now introduce three integers a,ba^{\prime}, b^{\prime}, and cc^{\prime} with a=2a,b=2ba=2 a^{\prime}, b=2 b^{\prime}, and c=2cc=2 c^{\prime}, then first

an1+an2b++bn1=2cn1 a^{\prime n-1}+a^{\prime n-2} b^{\prime}+\ldots+b^{\prime n-1}=2 c^{\prime n-1}

and secondly

0<a+b+c<a+b+c. 0<\left|a^{\prime}\right|+\left|b^{\prime}\right|+\left|c^{\prime}\right|<|a|+|b|+|c| .

The triple (a,b,c)\left(a^{\prime}, b^{\prime}, c^{\prime}\right) thus contradicts the choice of (a,b,c)(a, b, c), and ()(\boxtimes) is proved.
We now turn to the actual problem. In the case n=1n=1, the claim is trivial, and from now on we focus only on the case n3n \geqslant 3. Let xx and yy be two rational numbers such that xn+2x=yn+2yx^{n}+2 x=y^{n}+2 y. By bringing everything to one side and then factoring, we obtain

(xy)(xn1+xn2y++yn12)=0 (x-y)\left(x^{n-1}+x^{n-2} y+\ldots+y^{n-1}-2\right)=0

If xx and yy were different, which we will assume from now on, then

xn1+xn2y++yn1=2 x^{n-1}+x^{n-2} y+\ldots+y^{n-1}=2

must hold. Since any two rational numbers can be brought to a common denominator, there exist three integers a,ba, b, and cc with c0,x=a/cc \neq 0, x=a / c, and y=b/cy=b / c. Substituting these fractions into (1) and then multiplying by cn1c^{n-1}, we get

an1+an2b++bn1=2cn1 a^{n-1}+a^{n-2} b+\ldots+b^{n-1}=2 c^{n-1}

From ()(\boxtimes) it follows, in particular, that c=0c=0. This contradiction shows that xx and yy must indeed be equal, thus solving the problem.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.