Ra R.

asked • 05/05/19# Show that if x,y,z are integers such that x^3 + 5y^3 = 25z^3, then x = y = z = 0.

I tried using mod 5 to get that x is divisible by 5. I don't know much about infinite descent, so I do not think that is the way to go.

The hint says "If I give you a non-trivial solution, can you find a solution which is somehow "smaller"?"

## 1 Expert Answer

Suppose there is a non-trivial solution.

We must find a contradiction, which shows that

a non-trivial solution does not exist.

x^3 = 25z^3 - 5y^3

x^3 = 5 ( 5z^3 - y^3)

x = (5 ( 5z^3 - y^3) )^(1/3) must be an integer

= 5^(1/3) * (5z^3 - y^3)^(1/3)

Then (5z^3 - y^3)^(1/3) = 25*k^3 for some integer k

5z^3 - y^3 = 15625*k^9

5z^3 = 15625*k^9 + y^3

z^3 = 3125*k^9 + (1/5)*y^3

z = ( 3125*k^9 + (1/5)*y^3 )^ ( 1/3)

3125*k^9 + y^3 is an integer my closure property.

but 5^(1/3) is not an integer, which forces z to be irrational.

Note that there is no way an integer value can rationalize 5^(1/3)

The contradiction has been found.

## Still looking for help? Get the right answer, fast.

Get a free answer to a quick problem.

Most questions answered within 4 hours.

#### OR

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.

Akhil V.

Let there exist a solution to the given equation, where at least one of $x,y,z$ is not zero. We show that this is impossible, and that the only possible solution to the equation is $x=y=z=0$. CASE A: Two of $x,y,z$ are zero, but the third is not. This is clearly impossible, since the third variable has to be zero when the two zero values are plugged into the equation. CASE B: Only one of $x,y,z$ is zero. In this case, the ratio of the other two will be either $5$ or $25$. For e.g if $x=0$ but $y,z \neq 0$, then: \begin{align*} 5y^3 &= 25z^3 \\ \frac{y^3}{z^3} &= 5. \end{align*} If $y=0$, \begin{align*} x^3 &= 25z^3 \\ \frac{x^3}{z^3} &= 25. \end{align*} Since $xy,z$ are integers, the ratio of the cubes of any two of them cannot be either $5$ or $25$. Hence, this case is also impossible. CASE C: $x,y,z$ are all non-zero. Let $p,q,r$ be the exponents of $5$ in the prime factorizations of $x,y,z$ respectively. Then, the powers of $5$ in $x^3, 5y^3, 25z^3$ are $3p, 3q+1, 3r+2$. Divide the given equation by the minimum of $5^{3p}, 5^{3q+1},5^{3r+2}$. This will give a new equation, where exactly two of the three terms in the equation have $5$ as a factor. This is because since $p,q,r$ are integers, $3p \neq 3q+1 \neq 3r+2$, as they have different modulo $3$ values. Now, take modulo $5$ of the new equation. The two terms that still have at least one $5$ as a factor become zero. But then the third term must be zero modulo 5 too. However it does not have $5$ as a factor. Therefore, the term itself is zero, which is a contradiction of the assumption for this case that $x,y,z$ are all non-zero. Hence, the only possible solution to the given equation is $x=y=z=0$08/10/20