0
$\begingroup$

Can any of you guys provide a hint for thew following exercise?

Exercise. There is no $3$-tuple $(x,y,z) \in \mathbb{Z}^{3}$ such that $x^{10}+y^{10} = z^{10}+23$.

Thanks a lot for your insightful replies.

1 Answers 1

4

The first thing to do is to check for local obstructions, that is some prime modulus $p$ where the equation is impossible modulo $p$ (sometimes $p^2$, $p^3$, etc.).

In this particular case, a tempting modulus to try is $11$, since $x^{10}$ is always $0$ or $1$ mod $11$. Unfortunately, this equation is feasible mod $11$ as $1^{10} + 1^{10} \equiv 1^{10} + 23 \pmod{11}.$ Another modulus worth trying is $5^2$, since $x^{10}$ is always $0,\pm1$ mod $25$. Unforunately, there is still a solution mod $25$.

Can you think of another modulus that places strong constraints on $x^{10}$? Hint: you will want the order of the multiplicative group $(\mathbb Z/p\mathbb Z)^\times$ to have a large common factor with $10$.

  • 0
    @absalon The idea is that the non-zero values taken by $x^{d}$ are the $(d,p-1)$th powers. The larger $(d,p-1)$ is, the rarer those values will be, which is helpful to your cause. In the case that $d \mid p-1$ this is as good as it gets. $x^{10}$ is always $0,1,5,25$ mod $31$.2012-07-21