Editing Number theory (section)

==== Euler ====
[[File:Leonhard Euler.jpg|thumb|upright=0.8|Leonhard Euler]]

The interest of [[Leonhard Euler]] (1707–1783) in number theory was first spurred in 1729, when a friend of his, the amateur<ref group="note">Up to the second half of the seventeenth century, academic positions were very rare, and most mathematicians and scientists earned their living in some other way {{harv|Weil|1984|pp=159, 161}}. (There were already some recognisable features of professional ''practice'', viz., seeking correspondents, visiting foreign colleagues, building private libraries {{harv|Weil|1984|pp=160–161}}. Matters started to shift in the late seventeenth century {{harv|Weil|1984|p=161}}; scientific academies were founded in England (the [[Royal Society]], 1662) and France (the [[Académie des sciences]], 1666) and [[Russian Academy of Sciences|Russia]] (1724). Euler was offered a position at this last one in 1726; he accepted, arriving in St. Petersburg in 1727 ({{harvnb|Weil|1984|p=163}} and
{{harvnb|Varadarajan|2006|p=7}}).
In this context, the term ''amateur'' usually applied to Goldbach is well-defined and makes some sense: he has been described as a man of letters who earned a living as a spy {{harv|Truesdell|1984|p=xv}}; cited in {{harvnb|Varadarajan|2006|p=9}}). Notice, however, that Goldbach published some works on mathematics and sometimes held academic positions.</ref> [[Christian Goldbach|Goldbach]], pointed him towards some of Fermat's work on the subject.{{sfn|Weil|1984|pp=2, 172}}{{sfn|Varadarajan|2006|p=9}} This has been called the "rebirth" of modern number theory,{{sfn|Weil|1984|pp=1–2}} after Fermat's relative lack of success in getting his contemporaries' attention for the subject.<ref>{{harvnb|Weil|1984|p=2}} and {{harvnb|Varadarajan|2006|p=37}}</ref> Euler's work on number theory includes the following:<ref>{{harvnb|Varadarajan|2006|p=39}} and {{harvnb|Weil|1984|pp=176–189}}</ref>
* ''Proofs for Fermat's statements.'' This includes [[Fermat's little theorem]] (generalised by Euler to non-prime moduli); the fact that <math>p = x^2 + y^2</math> if and only if <math>p\equiv 1 \bmod 4</math>; initial work towards a proof that every integer is the sum of four squares (the first complete proof is by [[Joseph-Louis Lagrange]] (1770), soon improved by Euler himself{{sfn|Weil|1984|pp=178–179}}); the lack of non-zero integer solutions to <math>x^4 + y^4 = z^2</math> (implying the case ''n=4'' of Fermat's last theorem, the case ''n=3'' of which Euler also proved by a related method).
* ''[[Pell's equation]]'', first misnamed by Euler.<ref name="Eulpell">{{harvnb|Weil|1984|p=174}}. Euler was generous in giving credit to others {{harv|Varadarajan|2006|p=14}}, not always correctly.</ref> He wrote on the link between [[simple continued fraction|continued fractions]] and Pell's equation.{{sfn|Weil|1984|p=183}}
* ''First steps towards analytic number theory.'' In his work of sums of four squares, [[Partition function (number theory)|partitions]], [[pentagonal numbers]], and the [[Distribution (number theory)|distribution]] of prime numbers, Euler pioneered the use of what can be seen as analysis (in particular, infinite series) in number theory. Since he lived before the development of [[complex analysis]], most of his work is restricted to the formal manipulation of [[power series]]. He did, however, do some very notable (though not fully rigorous) early work on what would later be called the [[Riemann zeta function]].<ref>{{harvnb|Varadarajan|2006|pp=45–55}}; see also chapter III.</ref>
* ''Quadratic forms''. Following Fermat's lead, Euler did further research on the question of which primes can be expressed in the form <math>x^2 + N y^2</math>, some of it prefiguring [[quadratic reciprocity]].{{sfn|Varadarajan|2006|pp=44–47}}{{sfn|Weil|1984|pp=177–179}}{{sfn|Edwards|1983|pp=285–291}}
* ''Diophantine equations''. Euler worked on some Diophantine equations of genus 0 and 1.{{sfn|Varadarajan|2006|pp=55–56}}{{sfn|Weil|1984|pp=179–181}} In particular, he studied Diophantus's work; he tried to systematise it, but the time was not yet ripe for such an endeavour—algebraic geometry was still in its infancy.{{sfn|Weil|1984|p=181}} He did notice there was a connection between Diophantine problems and [[elliptic integral]]s,{{sfn|Weil|1984|p=181}} whose study he had himself initiated.