nnth power Difference

Let x,y,zx,y,z be integers satisfying {xy=znyz=xnzx=yn\left\{\begin{array}{l}x-y=z^n\\ y-z=x^n\\ z-x=y^n\end{array}\right. for some integer nn.

Prove that there does not exist non-zero solutions for x,y,zx,y,z.

#Algebra #SystemOfEquations #Power #Fermat'sLastTheorem #TrivialInequality

Note by Daniel Liu
7 years ago

No vote yet
1 vote

  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:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> 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"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

By adding the equations together, we see that xn+yn+zn=0,x^n+y^n+z^n=0, or xn+yn=zn.x^n+y^n=-z^n. Obviously, (0,0,0)(0,0,0) is a solution. Do cases on other values of n.n.


Case 1:\textbf{Case 1:} n=0n=0

We can rearrange the equations as follows. xy=1yz=1zx=1 \begin{aligned} x-y&=1\\ y-z&=1\\ z-x&=1 \end{aligned} Adding these together shows that 0=3,0=3, which obviously leads to a contradiction.

Case 2:\textbf{Case 2:} n=1n=1

Rewrite the equations. xy=zyz=xzx=y \begin{aligned} x-y&=z\\ y-z&=x\\ z-x&=y \end{aligned} You can apply the following logic to any of the three variables. Take a look at xx and the following two equations. yz=x (1)zx=y (2) \begin{aligned} y-z&=x&\text{ }(1)\\ z-x&=y&\text{ }(2) \end{aligned} Some rearranging shows that x=yzx=y-z from (1)(1) and x=zyx=z-y from (2).(2). x=±(yz)x=\pm(y-z) which is only possible if x=yz=0.x=y-z=0. As I said before, you can show this with any variable.

Therefore, if n=1,n=1, the only possible solution is (0,0,0).(0,0,0).

Case 3:\textbf{Case 3:} n=2n=2 or some other positive even.

If n=2,n=2, then xn,x^n, yn,y^n, and znz^n are all non-negative. This means zn-z^n 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. So once again, (0,0,0)(0,0,0) is the only solution. The same logic can be applied to any other even nn.

Case 4:\textbf{Case 4:} n=3n=3 or some other positive odd.

If xn+yn=zn,x^n+y^n=-z^n, then (xn+yn)=zn-(x^n+y^n)=z^n and therefore (x)n+(y)n=zn(-x)^n+(-y)^n=z^n Substitute a=xa=-x and b=yb=-y to find that an+bn=zn.a^n+b^n=z^n. nn is greater than 2,2, so by Fermat's Last Theorem, there are no nonzero solutions.

Case 5:\textbf{Case 5:} nn is negative.

Two integers cannot have a difference that is not an integer itself. The case where x,x, y,y, and zz have solutions in the set {1,1}\{-1,1\} can be disproven with the proof that nn cannot equal 1.1.

Q.E.D.\mathbb{Q.E.D.}

Trevor B. - 7 years ago

Log in to reply

Yeah that's what I did. Without as much laborious casework.

Finn Hulse - 7 years ago

By the law of trichotomy, we must be able to arrange x,y,zx,y,z in order from least to greatest. Suppose, without loss of generality, that xyzx \le y \le z.

Then by the first equation, zn0z^n \le 0. The only way this could be true is if z0z \le 0.

Similarly, by the third equation we have yn0y^n \ge 0, so y0y \ge 0.

However, now we have z0y z \le 0 \le y, so zyz \le y. But we also assumed that yzy \le z. Therefore y=zy = z.

Since 0y=z0 0 \le y = z \le 0, then we must have y=z=0y = z = 0. Therefore, x=0x = 0 as well.

Hence the only solution is (0,0,0)(0,0,0). You get a similar result if you choose any other ordering of x,y,zx,y,z.

Note that this solution works even if x,y,zRx,y,z \in \mathbb{R}, rather than integers.

Ariel Gershon - 7 years ago
×

Problem Loading...

Note Loading...

Set Loading...