23
$\begingroup$

It is easy to find 3 squares (of integers) in arithmetic progression. For example, $1^2,5^2,7^2$.

I've been told Fermat proved that there are no progressions of length 4 in the squares. Do you know of a proof of this result?

(Additionally, are there similar results for cubes, 4th powers, etc? If so, what would be a good reference for this type of material?)


Edit, March 30, 2012: The following question in MO is related and may be useful to people interested in the question I posted here.

3 Answers 3

23

Here are a few proofs: 1, 2 (which is excellent), and the somewhat bizarre 3.

Unfortunately, there are no cases where you have nontrivial arithmetic progressions of higher powers. This is a string of proofs. Carmichael himself covered this for n = 3 and 4, about a hundred years ago. But it wasn't completed until Ribet wrote a paper on it in the 90s. His paper can be found here. The statement is equivalent to when we let $\alpha = 1$. Funny enough, he happens to have sent out a notice on scimath with a little humor, which can still be found here.

  • 2
    Oh, this is excellent! Many thanks!2011-06-06
  • 0
    The link at the end from sci.math is now broken. It looks like the whole "Mathematical Atlas" site that Rusin set up and hosted on his webpages is now gone.2015-06-07
  • 3
    @KCd, the link is still available through the Internet Archive: [link](http://web.archive.org/web/20130604030207/http://www.math.niu.edu/~rusin/known-math/96/fermatlike).2016-02-25
5

A quick Google search found this: http://www.math.ku.dk/~kiming/lecture_notes/2007-2008-elliptic_curves/4_squares_in_arithmetic_progression.pdf . It contains a sketch of an elementary proof at the end and cites Dickson's History of the theory of numbers.

  • 0
    Very nice write-up. Thank you!2011-06-06
  • 0
    The link seems to be dead. Does anyone have a backup or another link to the exposition?2014-10-19
  • 0
    @PrimeRibeyeDeal, that's too bad. Perhaps you can ask the author [Ian Kiming](http://www.math.ku.dk/english/staff/?pure=en/persons/108579) ?2014-10-19
  • 0
    What a terrific idea! I did, and the author says the link should be restored soon. He also says his treatment is the same as in Cassels' book on elliptic curves.2014-10-21
5

My favourite proof of this is Van der Poorten's — it uses descent, as Fermat almost certainly would have.

  • 1
    Unfortunately, that link doesn't work now.2017-08-29
  • 1
    @GerryMyerson: Thanks! Updated.2017-08-29