Prove that ${x^7-1 \over x-1}=y^5-1$ has no integer solutions

Solution 1:

A start to solving this equation is to first prove that if $x$ is an integer and $p$ is a prime divisor of the left hand side $\frac{x^{7}-1}{x-1}$ then either $p=7$ or $p \equiv 1(\mod{7})$.

Proof: First notice by Fermat's little theorem that $x^{p-1}-1$ is divisible by $p$. Also by our hypothesis $x^{7}-1$ is divisible by $p$. Now suppose that $7$ does not divide $p-1$. Then $\gcd(p-1,7) =1$, so there exists integers $a$ and $b$ such that $7a + (p-1)b = 1$. We subsequently see $$ x \equiv x^{7a+(p-1)b} \equiv (x^{7})^{a} \cdot (x^{p-1})^{b} \equiv 1 (\mod p)$$ and so then $$\frac{x^{7}-1}{x-1}= 1 + x + \text{ ... } + x^{6} \equiv 7 (\mod p)$$ So we have that $p$ divides $7$, therefore $p=7$ must hold if we have that $p \equiv 1(\mod 7)$ does not, as we stated. $\square$

We have now shown that every positive divisor of $\frac{x^{7}-1}{x-1}$ meets either $d \equiv 1(\mod 7)$ or $d \equiv 0$.

Now assuming $(x,y)$ is some integer solution to our problem, we notice that $y-1>0$ since $\frac{x^{7}-1}{x-1} > 1 \ \forall \ x \neq 1$. Then since $y-1$ divides $\frac{x^{7}-1}{x-1} = y^{5}-1$ we have $y \equiv 1(\mod 7)$ or $y \equiv 2(\mod 7)$. Evaluating $1+y+y^{2}+y^{3}+y^{4}$ in both possible cases will contradict the fact that our positive divisor $1+y+y^{2}+y^{3}+y^{4}$ of $\frac{x^{7}-1}{x-1}$ is congruent to either $0$ or $1 (\mod 7)$. Your result then follows.

Solution 2:

Since this is an IMO2006 shortlisted problem, here is an solution from The IMO Compendium A Collection of Problems Suggested for The International Mathematical Olympiads: 1959-2009:

Every prime divisor $p$ of $\frac{x^7-1}{x-1}=x^6+\dots x+1$ is congruent to $0$ or $1$ modulo $7$. Indeed, if $p \mid x-1$, then $\frac{x^7-1}{x-1} \equiv 1+\dots 1\equiv 7 \pmod{p}$, so $p=7$; otherwise the order of $x$ modulo $p$ is $7$ and hence $p\equiv 1 \pmod{7}$. Therefore every positive divisor $d$ of $\frac{x^7-1}{x-1}$ satisfies $d \equiv 0$ or $1\pmod{7}$.

Now suppose $(x,y)$ is a solution of the given equation. Since $y-1$ and $y^4+y^3+y^2+y+1$ divide $\frac{x^7-1}{x-1}=y^5-1$, we have $y\equiv 1$ or $2$ and $y^4+y^3+y^2+y+1\equiv 0$ or $1\pmod{7}$. However, $y\equiv 1$ or $2$ implies that $y^4+y^3+y^2+y+1\equiv 5$ or $3 \pmod{7}$, which is impossible.