11
$\begingroup$

I haven't found any useful method to solve the following problem: Prove that if $x,y,z\in\mathbb{Z}$ and $x^3+y^3=3z^3$ then $xyz=0$.

Source: http://www.artofproblemsolving.com/Forum/viewtopic.php?f=56&t=382377

  • 0
    Here is a recent question about the same equation on MathOverflow: [Find the positive integers $x^3+y^3=3z^3$](https://mathoverflow.net/q/316930).2018-12-05

2 Answers 2

13

The technique used to prove that $x^3 + y^3 + z^3 = 0$ has no non-trivial solutions in $\mathbb{Z}(\sqrt{-3})$ is also applicable to showing that $x^3 + y^3 = 3z^3$ has no non-trivial solutions (in $\mathbb{Z}(\sqrt{-3})$).

In fact, this appears (with proof) in section 13.5 as Theorem 232 in the excellent book, "An Introduction to the Theory of Numbers", by Hardy & Wright, 5th Edition (I have the Indian Edition, so might be a bit different from yours).

Here is a snapshot I managed to scrape (though the notation is quite old, and you would need parts of the rest of the book to make sense of it).

alt text

  • 1
    It looks the same in the (non-Indian) 6th edition I have (although you have only reproduced the 1st page of a 2-page argument).2011-04-27
  • 0
    @Gerry: Yeah, I wasn't able to get the rest, unfortunately.2011-04-27
0

Suppose $x$, $y$, and $z$ are relatively prime integers. Then, either $z$ is even or, say, $x$ is even.

If $z$ is even, $x^3+y^3\equiv 2 \mod{4}$, whereas $3z^3 \equiv 0 \bmod{4}$.

If $x$ is even, $x^3+y^3\equiv 1 \mod{4}$, whereas $3z^3 \equiv 3 \bmod{4}$.

In both cases, the LHS is not equal to the RHS. Therefore, the Diophantine equation admits no integer triplet.

  • 4
    If $y$ is 3 mod 4 then $y^3$ is 3 mod 4, so I don't think your calculations work.2011-07-08
  • 1
    If z is even and x and y odd,if x = 1 mod 4 --> x^3 = 1 mod 4 and y = 3 mod 4 ---> y^3 = 3 mod 4, then x^3 + y^3 = 4=0 mod 4 as well as 3z^2 = 0 mod 4. So there can be solutions. You cannot exclude solutions this way.2013-01-17