Mines Mathématiques 2 MP 2002Sujet, corrigé et rapport du jury
Téléchargements
Ces sujets peuvent vous intéresser
Lecture du sujet en ligne
L'énoncé complet, avec les formules et les figures, sans ouvrir le PDF.Afficher ou masquer la section
Lecture du sujet en ligne
L'énoncé complet, avec les formules et les figures, sans ouvrir le PDF.
A 2002 Math MP 2
ÉCOLE NATIONALE DES PONTS ET CHAUSSÉES. ÉCOLES NATIONALES SUPÉRIEURES DE L'AÉRONAUTIQUE ET DE L'ESPACE, DE TECHNIQUES AVANCÉES, DES TÉLÉCOMMUNICATIONS, DES MINES DE PARIS, DES MINES DE SAINT-ÉTIENNE, DES MINES DE NANCY, DES TÉLÉCOMMUNICATIONS DE BRETAGNE. ÉCOLE POLYTECHNIQUE (Filière TSI).
CONCOURS D'ADMISSION 2002
ÉPREUVE DE MATHÉMATIQUES DEUXIÈME ÉPREUVE Filière MP (Durée de l'épreuve : 4 heures) (L'usage d'ordinateur ou de calculette est interdit).
ÉPREUVE DE MATHÉMATIQUES DEUXIÈME ÉPREUVE Filière MP (Durée de l'épreuve : 4 heures) (L'usage d'ordinateur ou de calculette est interdit).
Sujet mis à la disposition des concours : Cycle International, ENSTIM, ENSAE (Statistique), INT, TPE-EIVP.
Les candidats sont priés de mentionner de façon apparente sur la première page de la copie : MATHÉMATIQUES 2-Filière MP.
Cet énoncé comporte 7 pages de texte.
Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives qu’il est amené à prendre.
Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives qu’il est amené à prendre.
Il est conseillé aux Candidats de lire le problème en entier. Les deuxième et quatrième parties peuvent être abordées indépendamment des parties précédentes.
Le crible d'Ératosthène donne un algorithme qui permet de savoir si un entier est premier ou non. Il est par suite possible d'indexer la suite des nombres premiers
p_i, i = 1, 2, … :
Dans tout le problème la lettre
p est réservée aux nombres premiers. Étant donné un réel
x , sa partie entière
[x] est l'entier
n qui vérifie la double inégalité suivante :
Étant donné un réel
x , supérieur ou égal à 2 , (
x ≥ 2 ), il existe un entier
N égal au rang du plus grand nombre premier
p_N inférieur ou égal à
x
Première partie
Le but de cette partie est de démontrer que la suite des nombres premiers est illimitée et d'étudier la nature de la série de terme général
1/p_i, i = 1, 2, … .
I-1. La suite des nombres premiers est illimitée :
Démontrer que la suite des nombres premiers est illimitée en considérant, par exemple, pour
n nombres premiers
p_1, p_2, …, p_n donnés, l'entier
Q défini à partir de ces
n nombres premiers par la relation suivante :
Dans toute la suite
n est un entier supérieur ou égal à
2(n ≥ 2), s un réel donné strictement positif (
s > 0 )
I-2. Ensemble
M_n :
a. Justifier la relation suivante :
b. Soient
a et
b deux entiers, différents l'un de l'autre, tous les deux supérieurs ou égaux à 2
(a ≠ b, a ≥ 2, b ≥ 2) ; démontrer que la série double de terme général
u_(ij), i = 0, 1, 2, … ,
j = 0, 1, 2, … , défini par la relation suivante
est sommable. Déterminer sa somme
S .
Soientp_1, p_2, …, p_n les
n premiers nombres premiers,
M_n l'ensemble des réels obtenus en considérant tous les produits des réels
(p_1)^s, (p_2)^s, …, (p_n)^s élevés à des exposants
α_i ,
1 ≤ i ≤ n , entiers positifs ou nuls.
Soient
c. Démontrer que l'application
(α_1, α_2, …, α_n) ↦ (p_1)^(sα_1) ⋅ (p_2)^(sα_2)…..(p_n)^(sα_n) , de
N^n dans
M_n , est injective. En déduire qu'il est possible d'indexer les réels
m dans l'ordre croissant : l'application
i ↦ m_i est strictement croissante de
N^∗ sur
M_n .
Exemples : écrire la suite des 12 premiers termes de la suite
(m_i)_(i ∈ N^∗) lorsque le réel
s est égal à 1 et l'entier
n égal à 2 puis à 3 .
Il est admis que la série de terme général
v_i = 1/m_i, i ∈ N^∗ , est convergente ; sa somme est désignée par le symbole :
∑_(m ∈ M_n)m^(− 1) . Comme le laisse présager l'alinéa b, le résultat plus général ci-dessous est vrai et est admis :
Soit
f_n la fonction définie sur la demi-droite ouverte
]0, ∞[ par la relation suivante :
Soit
N le rang du plus grand nombre premier inférieur à
n(N = sup{i|p_i ≤ n}) .
d. Démontrer l'inégalité suivante :
d. Démontrer l'inégalité suivante :
Retrouver, en donnant une valeur particulière au réel
s , le résultat : la suite des entiers premiers est illimitée.
Déterminer, en supposant le réel
s inférieur ou égal à
1(0 < s ≤ 1) , la limite, lorsque l'entier
n tend vers l'infini, de l'expression
f_n(s) introduite ci-dessus.
Il est admis, puisque la suite des nombres premiers est illimitée, qu'à tout réel
x supérieur ou égal à
2(x ≥ 2) , peut être associé un entier
N tel que le réel
x soit encadré par les nombres premiers
p_N et
p_(N + 1) :
e. Établir, lorsque le réel
s est strictement supérieur à
1(s > 1) , l’encadrement ci-dessous :
En déduire, pour
s > 1 , la limite de l'expression
f_n(s) introduite ci-dessus lorsque l'entier
n tend vers l'infini.
I-3. Série de terme général
1/p_i, i = 1, 2, … :
Déduire des résultats ci-dessus la nature de la série de terme généralv_i, i = 1, 2, … , défini par la relation suivante.
Déduire des résultats ci-dessus la nature de la série de terme général
En déduire la nature de la série de terme général :
Quelle conclusion qualitative est-il possible d'en tirer sur la répartition des nombres premiers ?
I-4. Fonction
ζ :
Soit
ζ la fonction limite de la suite
f_n . Démontrer que cette fonction, définie d'après la question I-2.e sur la demi-droite ouverte
]1, ∞[ par la relation ci-dessous, est continûment dérivable.
Deuxième partie
Le but de cette partie est d'établir une majoration du produit des nombres entiers premiers inférieurs ou égaux à un entier donné
n et d'encadrer le plus petit commun multiple de tous les entiers inférieurs ou égaux à cet entier
n .
Soit toujours
n un entier supérieur ou égal à
2(n ≥ 2), N le rang du plus grand nombre premier inférieur ou égal à
n ; soit
P_n le produit des nombres premiers inférieurs ou égaux à
n :
II-1. Majoration du produit
P_n des nombres premiers majorés par un entier
n :
a. Construire un tableau donnant pour les valeurs2, 3, 4 et 5 de l'entier
n les valeurs de
N, p_N, P_n, 4^n .
b. Vérifier que, si l'entiern + 1 n'est pas premier, l'inégalité
P_n ≤ 4^n implique l'inégalité
P_(n + 1) ≤ 4^(n + 1) .
c. L'entiern + 1 est premier dans cet alinéa ; justifier l'existence d'un entier
m tel que :
a. Construire un tableau donnant pour les valeurs
b. Vérifier que, si l'entier
c. L'entier
Démontrer que tout nombre premier
p compris entre
m + 2 et
n + 1(m + 2 ≤ p ≤ n + 1) divise le coefficient du binôme
C_(2m + 1)^m . Établir la majoration suivante :
En déduire que l'inégalité
P_(m + 1) ≤ 4^(m + 1) implique l'inégalité
P_(n + 1) ≤ 4^(n + 1) .
d. En déduire, pour tout entiern ≥ 2 , la majoration :
d. En déduire, pour tout entier
Soit
d_n le plus petit commun multiple de tous les entiers
1, 2, 3, …, n .
II-2. Une expression du p. p. c. m.d_n :
Démontrer que le p. p. c. m.d_n est égal au produit des nombres premiers
p_i , inférieurs ou égaux à l'entier
n , élevés à des puissances
α_i égales aux parties entières du rapport
lnn sur
lnp_i ; c'est-à-dire :
II-2. Une expression du p. p. c. m.
Démontrer que le p. p. c. m.
II-3. Une minoration du p. p. c. m.
d_(2n + 1) :
Étant donné un entier
n supérieur ou égal à
2(n ≥ 2) , soit
I_n l'intégrale définie par la relation suivante :
a. Démontrer la majoration :
b. Démontrer que le p. p. c. m.
d_(2n + 1) est divisible par tout entier
n + k + 1 , lorsque l'entier
k varie de 0 à
n(0 ≤ k ≤ n) . En déduire que le produit
d_(2n + 1) ⋅ I_n est un entier en considérant, par exemple, une expression de
I_n obtenue par développement de
(1 − x)^n .
Démontrer, à l'aide de la majoration de l'intégrale
I_n , une minoration du p. p. c. m.
d_(2n + 1) .
Troisième partie
Le but de cette partie est d'étudier les deux fonctions
π et
θ définies ci-dessous pour en déduire un encadrement à l'infini du réel
π(x) .
Pour tout réel
x supérieur ou égal à
2(x ≥ 2), π(x) est égal au nombre des nombres premiers inférieurs ou égaux au réel
x .
Pour tout réel
x supérieur ou égal à
2(x ≥ 2), θ(x) est égal à la somme des logarithmes des nombres premiers inférieurs ou égaux au réel
x .
Plus généralement : étant donnée une suite réelle
A = (a_k)_(k ≥ 1) , soit
H_A la fonction définie sur la demi-droite fermée [
1, ∞ [, par la relation suivante :
H_A(x) est nul sur l'intervalle [1,2[, égal, pour
x ≥ 2 , à la somme des termes de la suite
A dont les rangs sont inférieurs ou égaux au rang
N du plus grand nombre entier premier inférieur ou égal à
x :
III-1. Un résultat auxiliaire :
Préciser, pour une suite
A = (a_i)_(i ≥ 1) donnée, sur quels intervalles la fonction
H_A est continue. Quels sont ses points de discontinuité ? Préciser en ces points
x la valeur de
H_A(x) − H_A(x − 0) .
Soit
f une fonction réelle, définie et continûment dérivable sur la demi-droite fermée
[2, ∞[ , et une suite réelle
A = (a_i)_(i ≥ 1) ; démontrer la relation suivante : pour tout réel
x compris entre
p_N et
p_(N + 1), (p_N ≤ x < p_(N + 1)) il vient:
III-2. Une majoration de la fonction
π :
a. Démontrer la majoration suivante de la fonction
θ :
b. Établir en choisissant, dans la relation établie à la question précédente, comme suite
A , la suite
lnp_k, k = 1, 2, … , et comme fonction
f , la fonction
x ↦ 1/lnx , l'inégalité suivante :
c. Démontrer la convergence vers 0 , lorsque le réel
x croît vers l'infini, de la fonction
R(x) suivante :
Indication : introduire, pour
x ≥ 4 , les intégrales de 2 à
√x et de
√x à
x .
d. En déduire l'existence d'un réelx_0 tel que, pour tout réel
x supérieur ou égal à
x_0 , la fonction
π vérifie la majoration suivante :
d. En déduire l'existence d'un réel
III-3. Une minoration de la fonction
π :
En utilisant par exemple la minoration du p. p. c. m.
d_(2n + 1) obtenue à la question II-3, démontrer qu'il existe un réel
x_1 tel que, pour tout réel
x supérieur ou égal à
x_1 , la fonction
π vérifie la minoration suivante :
Ces deux résultats sont cohérents avec le "théorème des nombres premiers" établi par Hadamard et de La Vallée Poussin en 1896, qui affirme que la fonction
π est équivalente à l'infini à la fonction
x ↦ x/lnx .
Quatrième partie
Soit, dans toute cette partie, un entier
n donné (
n ≥ 2 ). L'anneau
Z/nZ est l'ensemble quotient de l'anneau
Z par la relation d'équivalence : "deux entiers relatifs sont équivalents si leur différence est divisible par l'entier
n ". Classiquement un élément de
Z/nZ , une classe d'équivalence, est notée
a¯ ,
a étant un représentant de cette classe.
Soit
φ la fonction qui, à l'entier
n , associe le nombre d'éléments inversibles de
Z/nZ .
IV-1. Théorème d'Euler :
a. Démontrer que, pour que l'élément
a¯ de
Z/nZ soit inversible, il faut et il suffit que l'entier
a soit premier avec
n . Donner les valeurs de
φ(n) lorsque l'entier
n prend toute valeur de 2 à 7 .
b. Démontrer que l'ensemble (Z/nZ)^∗ des éléments de
Z/nZ inversibles est un groupe multiplicatif. Quel est son cardinal ?
b. Démontrer que l'ensemble (
Soit
a un entier compris entre 0 et
n − 1(0 ≤ a ≤ n − 1) , premier avec
n . Soit
φ(n) le nombre d'éléments de
Z/nZ inversibles. Démontrer la relation :
Indication : considérer l'application
γ : b¯ ↦ b¯.a¯ de (
Z/nZ)^∗ dans lui-même puis l'expression
c définie par la relation suivante :
c. Application : déterminer le reste de la division de
251^(311) par 6 .
IV-2. Principe de cryptographie :
Soit
n un entier (
n ≥ 2 ) égal au produit de deux nombres premiers
p et
q; n = p.q .
a. Démontrer la relation :
a. Démontrer la relation :
Soit
e un nombre entier premier avec
(p − 1)(q − 1) .
b. Établir l'existence d'un entierd tel que :
b. Établir l'existence d'un entier
Exemple simple :
n = 6, e = 5 ; calculer, pour tout élément
a¯ de
Z/6Z, a¯^(e.d) .
c. Démontrer pour tout élémenta¯ de
Z/nZ , la relation :
c. Démontrer pour tout élément
En fait l'entier
e est connu de l'expéditeur, l'entier
d du destinataire. L'entier
d est très difficile à calculer si la factorisation de l'entier
n n'est pas connue (les entiers
p et
q sont grands).
Chiffrement du message
a par l'expéditeur :
a → a^e ; déchiffrement par le destinataire :
a^e → (a^e)^d . Le message est retrouvé.
FIN DU PROBLÈME
Pas de description pour le moment
