times of Diophantus and the Hindoos until the beginning of
the seventeenth century. But the illustrious period we are now considering produced men who rescued this science from the realm of mysticism and superstition, in which it had been so long imprisoned; the properties of numbers began again to be studied scientifically. Not being in possession of the Hindoo indeterminate analysis, many beautiful results of the Brahmins had to be re-discovered by the Europeans. Thus a solution in integers of linear indeterminate equations was re-discovered by the Frenchman Bachet de Méziriac (1581–1638),
who was the earliest noteworthy European Diophantist. In 1612 he published Problèmes plaisants et délectables qui se font par les nombres, and in 1621 a Greek edition of Diophantus with notes. The father of the modern theory of numbers is Fermat. He was so uncommunicative in disposition, that he
generally concealed his methods and made known his results only. In some cases later analysts have been greatly puzzled in the attempt of supplying the proofs. Fermat owned a copy of Bachet's Diophantus, in which he entered numerous marginal notes. In 1670 these notes were incorporated in a new edition of Diophantus, brought out by his son. Other theorems on numbers, due to Fermat, were published in his Opera varia (edited by his son) and in Wallis's Commercium epistolicum
of 1658. Of the following theorems, the first seven are found in the marginal notes:–-
(1) is impossible for integral values of , , and , when . Remark: "I have found for this a truly wonderful proof, but the margin is too small to hold it." Repeatedly was this theorem made the prize question of learned societies. It has given rise to investigations of great interest and difficulty on the part of Euler, Lagrange,
Dirichlet, and Kummer.
(2) A prime of the form is only once the hypothenuse
of a right triangle; its square is twice; its cube is three times, etc. Example: ; ; .
(3) A prime of the form can be expressed once, and
only once, as the sum of two squares. Proved by Euler.
(4) A number composed of two cubes can be resolved into two other cubes in an infinite multiplicity of ways.
(5) Every number is either a triangular number or the sum of two or three triangular numbers; either a square or the
sum of two, three, or four squares; either a pentagonal number or the sum of two, three, four, or five pentagonal numbers; similarly for polygonal numbers in general. The proof of this and other theorems is promised by Fermat in a future work which never appeared. This theorem is also given, with others, in a letter of 1637(?) addressed to Pater Mersenne.