W8 DÉMONSTRATION D'UN THEOREME NOUVEAU

Corollaire.

3. Il est clair, par la théorie des équations, que les coefficients A', A", A",... ne sont autre chose que les sommes des nombres naturels i, 2, 3, . . . jusqu'à n — 1 inclusivement, des produits de ces nombres multipliés deux à deux, trois à trois, etc.; en sorte que le dernier coefficient A(/i~'] sera égal au produit 1. 2.3.4- ..(n—i); ainsi tous les nombres A , A", A'",... seront nécessairement entiers.

Théorème.

4. Les mêmes choses étant posées que dans le Lemme précédent, je dis que, si n est un nombre premier, les nombres A', A", A' ",... jusqu'à A'"2) inclusivement, sont tous divisibles par n, et que le dernier nombre A(n~,} sera divisible par n, étant augmenté de l'unité.

On sait que les expressions

dénotent toujours des nombres entiers, tant que n est un nombre entier; puisque ce sont les coefficients du binôme élevé à la puissance n, ou n — 1, ou, etc. De plus il est clair que, si n est un nombre premier, les

nombres

seront tous divisibles par n, à l'exception seulement du dernier nombre

qui est égal à l'unité; car il est visible que le numérateur de chacun de ces nombres est divisible par n, et que le dénominateur ne l'est pas, tant que n est premier; d'où il s'ensuit qu'après avoir divisé le numérateur

CONCERNANT LES NOMBRES PREMIERS. i-29

par le dénominateur, il restera nécessairement clans le quotient le facteur n.

De la et des formules du Lemme précédent il est facile de conclure : i° Que A' sera divisible par n, que 2A" le sera aussi, et de même 3A'", 4A1V,... jusqu'à (n— 2)A'"~2); et que par conséquent les nombres A', A", A'",... , A("~2) que nous avons vu devoir être toujours entiers (3j, seront eux-mêmes toujours divisibles par n, au moins tant que n sera premier;

20 Que le nombre A"~" étant augmenté de l'unité sera divisible par //: car la formule qui servira à déterminer sa valeur sera

c'est-à-dire

donc

A("-')+ i=r»AC— ) — A'— A"— A'" — . . .- V"-;>;

donc, puisque A', A",..., A("~2) sont tous divisibles par n, il s'ensuil que \("-o | , 9era toujours divisible par n.

COROLLAIRK I.