![](//s1.studylibfr.com/store/data-gzf/3856a8673e6fd4ec88ed2af5bc681afd/1/004433236.htmlex.zip/bg1.jpg)
Collège Eugène Varlin
Mathématiques
3ème
DEVOIR MAISON 5
La conjecture de Goldbach
2016/2017
À rendre le :
mardi 28 février 2017
La conjecture de Goldbach a été énoncée par le mathématicien russe Christian Goldbach (1690 - 1764)
dans une lettre qu’il adressa en 1742 au mathématicien suisse Leonhard Euler (1707 - 1783) :
Tout nombre entier pair supérieur à 4 est la somme de deux nombres premiers.
Cet énoncé reste à l’état de conjecture à l’heure actuelle car il n’a toujours pas été démontré.
Exercice 1 Introduction au problème : calcul littéral.
1Justier que les nombres pairs s’écrivent, en toute généralité : 2×noù nest un nombre entier.
On pourra s’appuyer sur la division euclidienne.
La division euclidienne par 2d’un nombre s’écrit : 2×n+roù nest le quotient entier et rest le reste
de la division euclidienne (0≤r<b).
Mais les nombres pairs sont par dénition divisibles par 2, cela signie que le reste de la division
euclidienne vaut 0, d’où l’écriture 2×n+0=2×noù nest bien un entier.
2On rappelle que les nombres impairs s’écrivent, en toute généralité : 2×m+1où mest un nombre
entier.
Démontrer que la somme de deux nombres impairs, notés 2×q+1et 2×q′+1, est un nombre pair.
Calculons la somme de 2×q+1et 2×q′+1:
(2×q+1)+(2×q′+1)=(2q+1)+(2q′+1)
=2q+1+2q′+1; associativité de l’addition
=2q+2q′+1+1
=2(q+q′)+2; factorisation par 2 des termes en qet q′
=2(q+q′)+2×1
=2[(q+q′)+1]; factorisation encore par 2
D’où (2×q+1)+(2×q′+1)=2[(q+q′)+1]qui se s’écrire 2×Qoù Qest un entier.
Ainsi, (2×q+1)+(2×q′+1)est bien un nombre pair.
3Quel est la parité de la majorité des nombres premiers ? Argumenter.
Les nombres premiers sont les nombres qui admettent exactement 2 divisieurs : 1et eux-même ; aussi,
0(innité de divisieurs) et 1(un seul diviseur) ne sont pas premiers.
2est premier et donc tous ses multiples (les nombres pairs) ne le sont pas. Il ne reste donc que des
nombres impairs ; d’où la réponse à la question.
4Justier alors pourquoi Goldbach est cohérent avec la question 1.2..Goldbach est cohérent car les
nombres premiers sont (sauf un seul) impairs et on a vu (question 1.2.) que la somme de deux nombres
impairs était paire.
1/4