Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Show that the equation $y^2 = x^3 + 7$ has no integral solutions.

share|cite|improve this question
hint: compute modulo 4. –  Raymond Manzoni Oct 27 '12 at 15:00
Note: This is the elliptic curve used in secp256k1, which has applications in computer cryptography. –  Nayuki Minase Aug 24 at 18:31

3 Answers 3

up vote 5 down vote accepted

Here is the solution in Ireland and Rosen (page 270).

Suppose the equation has a solution. Then $x$ is odd. For otherwise reduction modulo 4 would imply 3 is a square modulo 4. Write the equation as $$y^2+1=(x+2)(x^2-2x+4)=(x+2) ((x-1)^2+3) \ . \ \ \ (*)$$ Now since $(x-1)^2 +3$ is of the form $4n+3$ there is a prime $p$ of the form $4n+3$ dividing it and reduction of $(*)$ modulo $p$ implies that $-1$ is a square modulo $p$ which is a contradiction.

share|cite|improve this answer
+1: This method was also proposed in Conrad's paper about the more general Mordell equation with a variant. –  Raymond Manzoni Oct 28 '12 at 8:28
@RaymondManzoni thanks for the link. It looks very interesting. –  PAD Oct 28 '12 at 10:12

None of the solutions posted look right (I don't think this problem admits a solution by just looking modulo some integer, but possibly I'm wrong). Here is a proof.

First, by looking modulo $8$ one deduces we need $x$ to be odd.

Note that $y^2 + 1^2 = (x+2)(x^2 - 2x + 4)$. As the LHS is a sum of two squares, no primes $3 \pmod{4}$ divide it. This forces $x \equiv 3 \pmod{4}$ as if $x \equiv 1 \pmod{4}$ then $x+2$ obviously has a prime factor $3 \pmod{4}$. But then $x^2 - 2x + 4 \equiv 3 \pmod{4}$, implying $x^2 - 2x + 4$ has a prime factor $3 \pmod{4}$. But this is a contradiction, thus no $x,y$ can exist to satisfy this equation.

share|cite|improve this answer

LHS being a perfect square must have "digital root" $1$,$4$,$7$ or $9$. Cubes have digital root $1$,$8$ or $9$. Hence RHS doesn't have same digital roots as LHS so can't be equal.

share|cite|improve this answer
If digital roots work like I think they do, can't both sides have a digital root of 7? –  Mike Oct 27 '12 at 20:10

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.