Let x,y,zx,y,zx,y,z be integers satisfying {x−y=zny−z=xnz−x=yn\left\{\begin{array}{l}x-y=z^n\\ y-z=x^n\\ z-x=y^n\end{array}\right.⎩⎨⎧x−y=zny−z=xnz−x=yn for some integer nnn.
Prove that there does not exist non-zero solutions for x,y,zx,y,zx,y,z.
Note by Daniel Liu 7 years ago
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
_italics_
**bold**
__bold__
- bulleted- list
1. numbered2. list
paragraph 1paragraph 2
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
This is a quote
# I indented these lines # 4 spaces, and now they show # up as a code block. print "hello world"
\(
\)
\[
\]
2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
By adding the equations together, we see that xn+yn+zn=0,x^n+y^n+z^n=0,xn+yn+zn=0, or xn+yn=−zn.x^n+y^n=-z^n.xn+yn=−zn. Obviously, (0,0,0)(0,0,0)(0,0,0) is a solution. Do cases on other values of n.n.n.
Case 1:\textbf{Case 1:}Case 1: n=0n=0n=0
We can rearrange the equations as follows. x−y=1y−z=1z−x=1 \begin{aligned} x-y&=1\\ y-z&=1\\ z-x&=1 \end{aligned} x−yy−zz−x=1=1=1 Adding these together shows that 0=3,0=3,0=3, which obviously leads to a contradiction.
Case 2:\textbf{Case 2:}Case 2: n=1n=1n=1
Rewrite the equations. x−y=zy−z=xz−x=y \begin{aligned} x-y&=z\\ y-z&=x\\ z-x&=y \end{aligned} x−yy−zz−x=z=x=y You can apply the following logic to any of the three variables. Take a look at xxx and the following two equations. y−z=x (1)z−x=y (2) \begin{aligned} y-z&=x&\text{ }(1)\\ z-x&=y&\text{ }(2) \end{aligned} y−zz−x=x=y (1) (2) Some rearranging shows that x=y−zx=y-zx=y−z from (1)(1)(1) and x=z−yx=z-yx=z−y from (2).(2).(2). x=±(y−z)x=\pm(y-z)x=±(y−z) which is only possible if x=y−z=0.x=y-z=0.x=y−z=0. As I said before, you can show this with any variable.
Therefore, if n=1,n=1,n=1, the only possible solution is (0,0,0).(0,0,0).(0,0,0).
Case 3:\textbf{Case 3:}Case 3: n=2n=2n=2 or some other positive even.
If n=2,n=2,n=2, then xn,x^n,xn, yn,y^n,yn, and znz^nzn are all non-negative. This means −zn-z^n−zn is non-positive. The only possible way to add two non-negatives together to get a non-positive is if all those numbers are equal to 0.0.0. So once again, (0,0,0)(0,0,0)(0,0,0) is the only solution. The same logic can be applied to any other even nnn.
Case 4:\textbf{Case 4:}Case 4: n=3n=3n=3 or some other positive odd.
If xn+yn=−zn,x^n+y^n=-z^n,xn+yn=−zn, then −(xn+yn)=zn-(x^n+y^n)=z^n−(xn+yn)=zn and therefore (−x)n+(−y)n=zn(-x)^n+(-y)^n=z^n(−x)n+(−y)n=zn Substitute a=−xa=-xa=−x and b=−yb=-yb=−y to find that an+bn=zn.a^n+b^n=z^n.an+bn=zn. nnn is greater than 2,2,2, so by Fermat's Last Theorem, there are no nonzero solutions.
Case 5:\textbf{Case 5:}Case 5: nnn is negative.
Two integers cannot have a difference that is not an integer itself. The case where x,x,x, y,y,y, and zzz have solutions in the set {−1,1}\{-1,1\}{−1,1} can be disproven with the proof that nnn cannot equal 1.1.1.
Q.E.D.\mathbb{Q.E.D.}Q.E.D.
Log in to reply
Yeah that's what I did. Without as much laborious casework.
By the law of trichotomy, we must be able to arrange x,y,zx,y,zx,y,z in order from least to greatest. Suppose, without loss of generality, that x≤y≤zx \le y \le zx≤y≤z.
Then by the first equation, zn≤0z^n \le 0zn≤0. The only way this could be true is if z≤0z \le 0z≤0.
Similarly, by the third equation we have yn≥0y^n \ge 0yn≥0, so y≥0y \ge 0y≥0.
However, now we have z≤0≤y z \le 0 \le yz≤0≤y, so z≤yz \le yz≤y. But we also assumed that y≤zy \le zy≤z. Therefore y=zy = zy=z.
Since 0≤y=z≤0 0 \le y = z \le 00≤y=z≤0, then we must have y=z=0y = z = 0y=z=0. Therefore, x=0x = 0x=0 as well.
Hence the only solution is (0,0,0)(0,0,0)(0,0,0). You get a similar result if you choose any other ordering of x,y,zx,y,zx,y,z.
Note that this solution works even if x,y,z∈Rx,y,z \in \mathbb{R}x,y,z∈R, rather than integers.
Problem Loading...
Note Loading...
Set Loading...
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
By adding the equations together, we see that xn+yn+zn=0, or xn+yn=−zn. Obviously, (0,0,0) is a solution. Do cases on other values of n.
Case 1: n=0
We can rearrange the equations as follows. x−yy−zz−x=1=1=1 Adding these together shows that 0=3, which obviously leads to a contradiction.
Case 2: n=1
Rewrite the equations. x−yy−zz−x=z=x=y You can apply the following logic to any of the three variables. Take a look at x and the following two equations. y−zz−x=x=y (1) (2) Some rearranging shows that x=y−z from (1) and x=z−y from (2). x=±(y−z) which is only possible if x=y−z=0. As I said before, you can show this with any variable.
Therefore, if n=1, the only possible solution is (0,0,0).
Case 3: n=2 or some other positive even.
If n=2, then xn, yn, and zn are all non-negative. This means −zn is non-positive. The only possible way to add two non-negatives together to get a non-positive is if all those numbers are equal to 0. So once again, (0,0,0) is the only solution. The same logic can be applied to any other even n.
Case 4: n=3 or some other positive odd.
If xn+yn=−zn, then −(xn+yn)=zn and therefore (−x)n+(−y)n=zn Substitute a=−x and b=−y to find that an+bn=zn. n is greater than 2, so by Fermat's Last Theorem, there are no nonzero solutions.
Case 5: n is negative.
Two integers cannot have a difference that is not an integer itself. The case where x, y, and z have solutions in the set {−1,1} can be disproven with the proof that n cannot equal 1.
Q.E.D.
Log in to reply
Yeah that's what I did. Without as much laborious casework.
By the law of trichotomy, we must be able to arrange x,y,z in order from least to greatest. Suppose, without loss of generality, that x≤y≤z.
Then by the first equation, zn≤0. The only way this could be true is if z≤0.
Similarly, by the third equation we have yn≥0, so y≥0.
However, now we have z≤0≤y, so z≤y. But we also assumed that y≤z. Therefore y=z.
Since 0≤y=z≤0, then we must have y=z=0. Therefore, x=0 as well.
Hence the only solution is (0,0,0). You get a similar result if you choose any other ordering of x,y,z.
Note that this solution works even if x,y,z∈R, rather than integers.