Crible de détermination des nombres premiers basé sur (a + b) * (a - b) = (a * a - b * b)
Un article de Wikipedia.
(→Cas des nombres entiers impaires) |
(→Cas des nombres entiers impaires) |
||
Ligne 36 : | Ligne 36 : | ||
z = [ (z + 1) / 2 ]<sup>2</sup> - [ (z - 1) / 2 ]<sup>2</sup> | z = [ (z + 1) / 2 ]<sup>2</sup> - [ (z - 1) / 2 ]<sup>2</sup> | ||
- | ===== Cas des nombres entiers | + | ===== Cas des nombres entiers impairs ===== |
- | Si z est un nombre impair alors il peut s'écrire comme la différence de deux carrés successifs. | + | Si z est un nombre entier impair alors il peut s'écrire comme la différence de deux carrés successifs. |
- | Si | + | Si z est un nombre entier impair |
z = 2 n + 1 avec n ∈ N | z = 2 n + 1 avec n ∈ N | ||
Ligne 52 : | Ligne 52 : | ||
z = 2 n + 1 = (n + 1)<sup>2</sup> - n<sup>2</sup> | z = 2 n + 1 = (n + 1)<sup>2</sup> - n<sup>2</sup> | ||
+ | |||
+ | soit la différence de deux carrés de nombres entiers successifs. | ||
+ | |||
+ | ====== Cas des nombres premiers impairs ====== | ||
+ | |||
+ | Si p est un nombre premier impair alors il n'existe qu'une manière de l'écrire comme une différence de carrés successifs. | ||
+ | |||
+ | Si p est un nombre premier impair alors | ||
+ | |||
+ | p = 2 n + 1 = (n + 1)<sup>2</sup> - n<sup>2</sup> | ||
+ | |||
+ | Supposons maintenant qu'il existe deux nombres entiers positifs k et m non successifs tels que | ||
+ | |||
+ | p = k<sup>2</sup> - m<sup>2</sup> avec k > m + 1 et k > 0 et m > 0 | ||
+ | |||
+ | alors | ||
+ | |||
+ | p = k<sup>2</sup> - m<sup>2</sup> = (k + m) (k - m) | ||
+ | |||
+ | p a donc deux diviseurs, k + m et k - m | ||
+ | |||
+ | Pour k + m, comme | ||
+ | |||
+ | m > 0 et k > m + 1 | ||
+ | |||
+ | alors | ||
+ | |||
+ | k + m > k > m + 1 > 1 | ||
+ | |||
+ | Pour k - m, comme | ||
+ | |||
+ | k > m + 1 | ||
+ | |||
+ | alors | ||
+ | |||
+ | k - m > 1 | ||
+ | |||
+ | Ce qui impliquerait qu'il existerait deux diviseurs du nombre premier p plus grand que 1 ce qui contredit le fait que p est un nombre premier. | ||
+ | |||
+ | Donc, il n'existe qu'une manière d'écrire un nombre premier comme une différence de carrés successifs | ||
+ | |||
+ | ====== Cas des nombres premiers composés ====== | ||
== Résultats == | == Résultats == |
Version du 26 décembre 2016 à 10:43
Sommaire |
Crible de détermination des nombres premiers basé sur (a + b) * (a - b) = (a2 - b2)
But
Déterminer une méthode pour rechercher les nombres premiers en se basant sur la propriété (a + b) * (a - b) = (a2 - b2).
Introduction
Soit la relation
(1) (a + b) * (a - b) = (a2 - b2)
Elle peut être réécrite différemment en posant :
x = a + b y = a - b
Il advient alors que
a = (x + y) / 2 b = (x - y) / 2
et la relation (1) se réécrit
(2) x y = [ (x + y) / 2 ]2 - [ (x - y) / 2 ]2
Cas particuliers et conséquences
Tous les nombres peuvent s'écrire comme des différences de carrés
En prenant
x = z y = 1
alors
z = [ (z + 1) / 2 ]2 - [ (z - 1) / 2 ]2
Cas des nombres entiers impairs
Si z est un nombre entier impair alors il peut s'écrire comme la différence de deux carrés successifs.
Si z est un nombre entier impair
z = 2 n + 1 avec n ∈ N
alors
(z + 1) / 2 = (2 n + 1 + 1) / 2 = n + 1 (z - 1) / 2 = (2 n + 1 - 1) / 2 = n
donc
z = 2 n + 1 = (n + 1)2 - n2
soit la différence de deux carrés de nombres entiers successifs.
Cas des nombres premiers impairs
Si p est un nombre premier impair alors il n'existe qu'une manière de l'écrire comme une différence de carrés successifs.
Si p est un nombre premier impair alors
p = 2 n + 1 = (n + 1)2 - n2
Supposons maintenant qu'il existe deux nombres entiers positifs k et m non successifs tels que
p = k2 - m2 avec k > m + 1 et k > 0 et m > 0
alors
p = k2 - m2 = (k + m) (k - m)
p a donc deux diviseurs, k + m et k - m
Pour k + m, comme
m > 0 et k > m + 1
alors
k + m > k > m + 1 > 1
Pour k - m, comme
k > m + 1
alors
k - m > 1
Ce qui impliquerait qu'il existerait deux diviseurs du nombre premier p plus grand que 1 ce qui contredit le fait que p est un nombre premier.
Donc, il n'existe qu'une manière d'écrire un nombre premier comme une différence de carrés successifs