Читать книгу The Wonders of Arithmetic from Pierre Simon de Fermat - Youri Veniaminovich Kraskov - Страница 10

We remind that in the Fermat's letter-testament only a special case of this theorem for squares is stated. But also, this simplified version of the task was beyond the power not only of representatives of the highest aristocracy Bachet and Descartes, but even the royal-imperial mathematician Euler.

However, another royal mathematician Lagrange, thanks to the identity found by Euler, still managed to cope with the squares and his proof of only one particular case of FGT is still replicated in almost all textbooks. However, there is no reasonable explanation that the general proof of the FGT for all polygonal numbers obtained by Cauchy in 1815 was simply ignored by the scientific community.

We begin our study with the formulation of the FGT from Fermat's letter to Mersenne in 1636. It is presented there as follows:

Every <natural> number is equal

one, two or three triangles,

one, 2, 3 or 4 squares,

one, 2, 3, 4 or 5 pentagons,

one, 2, 3, 4, 5 or 6 hexagons,

one, 2, 3, 4, 5, 6 or 7 heptagons,

and so on to infinity [36].

Since polygonal numbers are clearly not respected by today's science, we will give here all the necessary explanations. The formula for calculating any polygonal number is represented as

m_i = i+(k−2)(i−1)i/2

where m is a polygonal number, i is a serial number, k is the quantity of angles.

Thus, m₁=1; m₂=k; and for all other i the meaning of mi varies widely as shown in the following table:

Table 1. Polygonal numbers

To calculate m_i it is enough to obtain only triangular numbers by the formula, which is very easily since the difference between them grows by unit with each step. And all other m_i can be calculated by adding the previous triangular number in the columns. For example, in column i=2, numbers increase by one, in column i=3 – by three, in column i=4 – by six etc. i.e. just on the value of the triangular number from the previous column.

To make sure that any natural number is represented by the sum of no more than k k-angle numbers is quite easily. For example, the triangular number 10 consists of one summand. Further 11=10+1, 12=6+6, 13=10+3 of two, 14=10+3+1 of three, 15 again of one summand. And so, it will happen regularly with all natural numbers. Surprisingly that the number of necessary summands is limited precisely by the number k. So, what is this miraculous power that invariably gives such a result?

As an example, we take a natural number 41. If as the summand triangular number will be closest to it 36, then it will not in any way to fit into three polygonal numbers since it consists minimum of 4 ones i.e. 41=36+3+1+1. However, if instead of 36 we take other triangular numbers for example, 41=28+10+3, or 41=21+10+10 then again in some unknown miraculous way everything will so as it stated in the FGT.

At first glance it seems simply unbelievable that it can somehow be explained? But we still pay attention to the existence of specific natural numbers, which are consisting at least of k k-angle numbers and denoted by us as S-numbers. Such numbers are easily to find for example, for triangles – 5, 8, 14, for squares – 7, 15, 23, for pentagons – 9, 16, 31 etc. And this our simple observation allows us directly to move to aim i.e. without using ingenious tricks or powerful "sharpness of mind".

Now to prove the FGT, suppose the opposite i.e. that there exists a certain minimal positive integer N consisting minimum of k + 1 k-angle numbers. Then it’s clear that this our supposed number should be between some k-angle numbers m_i and m_i+1 and can be represented as

N=m_i+δ₁ where δ₁=N−m_i (1)

It is quite obvious that δ₁ must be an S-number since otherwise this would contradict our assumption about the number N. Then we proceed the same way as in our example with the number 41 i.e. represent the supposed number as

N = m_i-1+δ₂ where δ₂=N−m_i-1

Now δ₂ should also be an S-number. And here so we will go down to the very end i.e. before

δ_i-1=N−m₂ =N−k and δ_i=N−m₁=N–1 (2)

Thus, in a sequence of numbers from δ₁ to δ_i, all of them must be S-numbers i.e. each of them will consist of a sum minimum of k k-angle numbers, while our supposed number N will consist minimum of k+1 k-angle numbers. From (1) and (2) it follows:

N− m_i =S_i (3)

Thus, if we subtract any smaller polygonal number m_i from our supposed number N then according to our assumption, the result should be only an S-number. Of course, this condition looks simply unbelievable and it seems that we are already at target, but then how can one prove that this is impossible? …

If we gave an answer to this question here, then this famous Fermat's theorem would immediately turn into the most common school problem and interest to it would be lost. To prevent this from happening, we will stay on the fact that the proof is presented here only by 99% and the remaining 1% will be offered to those who will be interested in order to appreciate the true magnificence of this scientific achievement of Fermat, especially in comparison with the Cauchy’s GFT proof.42

Pic. 34. Title Page the Cauchy's Proof

of the Fermat's Golden Theorem

Pic. 35. One of 43 Pages the Cauchy's Proof

of the Fermat's Golden Theorem