Integer points of an elliptic curve - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T02:24:12Z http://mathoverflow.net/feeds/question/25674 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/25674/integer-points-of-an-elliptic-curve Integer points of an elliptic curve Student 2010-05-23T15:21:25Z 2010-05-23T19:40:35Z <p>I would like to find those integers $x,y$ that satisfies $y^2=x^3+1$. Is there some elementary way to find those?</p> http://mathoverflow.net/questions/25674/integer-points-of-an-elliptic-curve/25690#25690 Answer by Sam Lichtenstein for Integer points of an elliptic curve Sam Lichtenstein 2010-05-23T16:57:39Z 2010-05-23T16:57:39Z <p>I'm not sure the following counts as "elementary" but it's certainly not too difficult.</p> <p>First show your curve has rank 0. To do this, I asked SAGE, but it's not so hard to do by hand. If you rewrite your curve $C$ as $y^2 = x^3-3x^2+3x$ by renaming $x+1$ as $x$, then you can write down the 2-isogeneous curve $\overline{C}:y^2=x^3+6x^2-3x$. You are now in the setup to apply the algorithm discussed in Ch. III.6 of the book "Rational Points on Elliptic Curves" by Silverman-Tate. (Which book I highly recommend for learning how to solve this sort of problem.)</p> <p>The upshot is just that $C$ has rank 0, which implies by general theory (Nagell-Lutz) that all its rational points are integral. Moreover, the Nagell-Lutz theorem even says what possible y-coordinates can occur: either $y$ is zero (for points of order 2) or else $y$ divides the discriminant. In your case this says that for integral points, $y=0$ or $y$ divides $-27$. The rest is easy.</p> http://mathoverflow.net/questions/25674/integer-points-of-an-elliptic-curve/25692#25692 Answer by Robin Chapman for Integer points of an elliptic curve Robin Chapman 2010-05-23T17:03:51Z 2010-05-23T17:03:51Z <p>This curve has rank zero, which one can prove by descent, so all rational solutions are integer solutions. This was originally proved by Euler, and his argument (in Latin) is reproduced in Rene Schoof's book on <em>Catalan's Conjecture</em>.</p> http://mathoverflow.net/questions/25674/integer-points-of-an-elliptic-curve/25705#25705 Answer by Franz Lemmermeyer for Integer points of an elliptic curve Franz Lemmermeyer 2010-05-23T18:39:42Z 2010-05-23T18:39:42Z <p>Euler's arguments (see Robin's answer) are reproduced and discussed in "A note on Pépin's counter examples to the Hasse principle for curves of genus 1", which can be found <a href="http://www.fen.bilkent.edu.tr/~franz/publ.html" rel="nofollow">here</a>. </p>