SESSION 2020 MP1M1

ÉPREUVE SPÉCIFIQUE - FILIÈRE MP

____________________

MATHÉMATIQUES 1

Lundi 4 mai : 8 h - 12 h
____________________

N.B. : le candidat attachera la plus grande importance à la clarté, à la précision et à la concision de la rédaction.
Si un candidat est amené à repérer ce qui peut lui sembler être une erreur d’énoncé, il le signalera sur sa copie
et devra poursuivre sa composition en expliquant les raisons des initiatives qu’il a été amené à prendre.

RAPPEL DES CONSIGNES

 Utiliser uniquement un stylo noir ou bleu foncé non effaçable pour la rédaction de votre composition ; d’autres
couleurs, excepté le vert, peuvent être utilisées, mais exclusivement pour les schémas et la mise en évidence
des résultats.
 Ne pas utiliser de correcteur.
 Écrire le mot FIN à la fin de votre composition.
___________________________________________________________________________________

Les calculatrices sont interdites

Le sujet est composé d’un problème qui comprend quatre parties indépendantes.

1/5
Objectifs

L’objectif de la partie I est de montrer l’existence d’un développement ternaire propre pour
certains nombres réels.
La partie II propose l’étude d’une série de fonctions où les coefficients du développement ternaire
sont remplacés par une fonction continue.
La partie III étudie des développements ternaires aléatoires.
La partie IV définit et présente quelques propriétés de la fonction de Cantor-Lebesgue.

Notations

On note 𝑇𝑇𝑇𝑇 l’ensemble des suites réelles 𝑡𝑡𝑡𝑡 = (𝑡𝑡𝑡𝑡𝑛𝑛𝑛𝑛 )𝑛𝑛𝑛𝑛∈ℕ∗ à valeurs dans {0; 1; 2} :

∀𝑛𝑛𝑛𝑛 ∈ ℕ∗ , 𝑡𝑡𝑡𝑡𝑛𝑛𝑛𝑛 ∈ {0; 1; 2}.

On désigne par ℓ∞ l’ensemble des suites réelles 𝑢𝑢𝑢𝑢 = (𝑢𝑢𝑢𝑢𝑛𝑛𝑛𝑛 )𝑛𝑛𝑛𝑛∈ℕ∗ bornées et on pose ∥ 𝑢𝑢𝑢𝑢 ∥= sup |𝑢𝑢𝑢𝑢𝑛𝑛𝑛𝑛 |.
𝑛𝑛𝑛𝑛∈ℕ∗

On note ⌊𝑦𝑦𝑦𝑦⌋ la partie entière d’un réel 𝑦𝑦𝑦𝑦.

PARTIE I - Développement ternaire

Étude de l’application 𝝈𝝈𝝈𝝈

Q1. Démontrer que ℓ∞ est un espace vectoriel réel et que l’application 𝑢𝑢𝑢𝑢 ⟼∥ 𝑢𝑢𝑢𝑢 ∥ est une norme
sur ℓ∞ .
𝑢𝑢𝑢𝑢
Q2. Pour 𝑢𝑢𝑢𝑢 = (𝑢𝑢𝑢𝑢𝑛𝑛𝑛𝑛 )𝑛𝑛𝑛𝑛∈ℕ∗ ∈ ℓ∞ , démontrer que la série de terme général 3𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛 est convergente.
On note alors :
+∞
𝑢𝑢𝑢𝑢𝑛𝑛𝑛𝑛
𝜎𝜎𝜎𝜎(𝑢𝑢𝑢𝑢) = � .
3𝑛𝑛𝑛𝑛
𝑛𝑛𝑛𝑛=1

Q3. Démontrer que l’application 𝜎𝜎𝜎𝜎 est une forme linéaire continue sur ℓ∞ .

Q4. Démontrer que si 𝑡𝑡𝑡𝑡 = (𝑡𝑡𝑡𝑡𝑛𝑛𝑛𝑛 )𝑛𝑛𝑛𝑛∈ℕ∗ ∈ 𝑇𝑇𝑇𝑇, alors le réel 𝜎𝜎𝜎𝜎(𝑡𝑡𝑡𝑡) est dans l’intervalle [0,1].

Q5. On note 𝜏𝜏𝜏𝜏 = (𝜏𝜏𝜏𝜏𝑛𝑛𝑛𝑛 )𝑛𝑛𝑛𝑛∈ℕ∗ et 𝜏𝜏𝜏𝜏′ = (𝜏𝜏𝜏𝜏′𝑛𝑛𝑛𝑛 )𝑛𝑛𝑛𝑛∈ℕ∗ les éléments de 𝑇𝑇𝑇𝑇 définis par :

𝜏𝜏𝜏𝜏1 = 1 et ∀𝑛𝑛𝑛𝑛 ∈ ℕ∗ ∖ {1}, 𝜏𝜏𝜏𝜏𝑛𝑛𝑛𝑛 = 0     𝜏𝜏𝜏𝜏′1 = 0 et ∀𝑛𝑛𝑛𝑛 ∈ ℕ∗ ∖ {1}, 𝜏𝜏𝜏𝜏𝑛𝑛𝑛𝑛 = 2.

Calculer 𝜎𝜎𝜎𝜎(𝜏𝜏𝜏𝜏) et 𝜎𝜎𝜎𝜎(𝜏𝜏𝜏𝜏′). L’application 𝜎𝜎𝜎𝜎 est-elle injective sur 𝑇𝑇𝑇𝑇 ?

Développement ternaire propre

On fixe 𝑥𝑥𝑥𝑥 ∈ [0,1[. On définit une suite 𝑡𝑡𝑡𝑡(𝑥𝑥𝑥𝑥) = (𝑡𝑡𝑡𝑡𝑛𝑛𝑛𝑛 (𝑥𝑥𝑥𝑥))𝑛𝑛𝑛𝑛∈ℕ∗ par :

∀𝑛𝑛𝑛𝑛 ∈ ℕ∗ , 𝑡𝑡𝑡𝑡𝑛𝑛𝑛𝑛 (𝑥𝑥𝑥𝑥) = ⌊3𝑛𝑛𝑛𝑛 𝑥𝑥𝑥𝑥⌋ − 3⌊3𝑛𝑛𝑛𝑛−1 𝑥𝑥𝑥𝑥⌋ .

Q6. Démontrer que 𝑡𝑡𝑡𝑡(𝑥𝑥𝑥𝑥) ∈ 𝑇𝑇𝑇𝑇.

2/5
Q7. On définit deux suites réelles (𝑥𝑥𝑥𝑥𝑛𝑛𝑛𝑛 )𝑛𝑛𝑛𝑛∈ℕ∗ et (𝑦𝑦𝑦𝑦𝑛𝑛𝑛𝑛 )𝑛𝑛𝑛𝑛∈ℕ∗ par :

∗
⌊3𝑛𝑛𝑛𝑛 𝑥𝑥𝑥𝑥⌋ 1
∀𝑛𝑛𝑛𝑛 ∈ ℕ ,  𝑥𝑥𝑥𝑥𝑛𝑛𝑛𝑛 = 𝑛𝑛𝑛𝑛  et 𝑦𝑦𝑦𝑦𝑛𝑛𝑛𝑛 = 𝑥𝑥𝑥𝑥𝑛𝑛𝑛𝑛 + 𝑛𝑛𝑛𝑛 .
3 3

Démontrer que les suites (𝑥𝑥𝑥𝑥𝑛𝑛𝑛𝑛 ) et (𝑦𝑦𝑦𝑦𝑛𝑛𝑛𝑛 ) sont adjacentes de limite 𝑥𝑥𝑥𝑥. En déduire que :
+∞
𝑡𝑡𝑡𝑡𝑛𝑛𝑛𝑛 (𝑥𝑥𝑥𝑥)
𝑥𝑥𝑥𝑥 = � .
3𝑛𝑛𝑛𝑛
𝑛𝑛𝑛𝑛=1

𝑇𝑇𝑇𝑇 ⟶ [0,1]
Que peut-on en conclure concernant l’application � ?
𝑢𝑢𝑢𝑢 ⟼ 𝜎𝜎𝜎𝜎(𝑢𝑢𝑢𝑢)

La suite 𝑡𝑡𝑡𝑡(𝑥𝑥𝑥𝑥) = (𝑡𝑡𝑡𝑡𝑛𝑛𝑛𝑛 (𝑥𝑥𝑥𝑥))𝑛𝑛𝑛𝑛∈ℕ∗ est appelée développement ternaire propre de 𝑥𝑥𝑥𝑥.

Q8. Informatique pour tous. Écrire en langage Python une fonction flotVersTern(n,x)
d’arguments un entier naturel n et un flottant x et qui renvoie sous forme d’une liste les 𝑛𝑛𝑛𝑛
premiers chiffres 𝑡𝑡𝑡𝑡1 (𝑥𝑥𝑥𝑥), … , 𝑡𝑡𝑡𝑡𝑛𝑛𝑛𝑛 (𝑥𝑥𝑥𝑥) définis dans la question précédente du développement
ternaire de 𝑥𝑥𝑥𝑥.
Par exemple flotVersTern(4,0.5) renvoie [1,1,1,1].

Q9. Informatique pour tous. Si ℓ = [ℓ1 , … , ℓ𝑛𝑛𝑛𝑛 ] est une suite finie d’entiers de {0; 1; 2}, on la
complète avec des 0 pour en faire un élément de 𝑇𝑇𝑇𝑇 encore noté ℓ.
Écrire en langage Python une fonction ternVersFlot(ℓ) d’arguments une liste d’entiers ℓ.
Cette fonction renvoie en sortie le flottant σ(ℓ).
Par exemple ternVersFlot([1,1,1,1]) renvoie 0.493827......

Q10. Informatique pour tous. Si ℓ = [ℓ1 , … , ℓ𝑛𝑛𝑛𝑛 ] est une suite finie d’entiers de {0; 1; 2}, on lui
ajoute un élément égal à −1 si la somme ℓ1 + ⋯ + ℓ𝑛𝑛𝑛𝑛 est paire et un élément égal à −2 sinon.
Ce dernier élément permet alors d’essayer de détecter d’éventuelles erreurs de transmission.
Écrire en langage Python une fonction ajout(ℓ) qui ajoute à la liste ℓ un élément comme
expliqué précédemment et qui renvoie la nouvelle liste.
Écrire en langage Python une fonction verif(ℓ) qui renvoie True si la valeur du dernier
élément de ℓ est correcte et False sinon.
Par exemple ajout([1,0,2,1,0]) renvoie [1,0,2,1,0,-1] et verif([1,0,2,1,0,-2])
renvoie False.

PARTIE II - Étude d’une fonction définie par une série

Dans cette partie, on définit une fonction 𝜑𝜑𝜑𝜑 à l’aide d’un développement en série analogue au
développement ternaire propre d’un réel, mais où la suite (𝑡𝑡𝑡𝑡𝑛𝑛𝑛𝑛 )𝑛𝑛𝑛𝑛∈ℕ∗ est remplacée par une fonction
numérique à valeurs dans l’intervalle [0,2].

Pour tout réel 𝑥𝑥𝑥𝑥 on pose :

+∞
1 + sin(𝑛𝑛𝑛𝑛𝑥𝑥𝑥𝑥)
𝜑𝜑𝜑𝜑(𝑥𝑥𝑥𝑥) = � .
3𝑛𝑛𝑛𝑛
𝑛𝑛𝑛𝑛=1

3/5
Étude de l’application 𝝋𝝋

Q11. Démontrer que 𝜑𝜑 est définie et de classe 𝐶𝐶 � sur ℝ.

Q12. Pour tout 𝑥𝑥 réel, justifier l’écriture :

��
1 e���
𝜑𝜑�𝑥𝑥� � � Im �� � �
2 3
���

et en déduire une expression simple de 𝜑𝜑�𝑥𝑥� en fonction de sin�𝑥𝑥� et cos�𝑥𝑥�.

��
𝑛𝑛cos�𝑛𝑛𝑛𝑛�
Q13. Pour 𝑥𝑥 𝑥 𝑥, en déduire une expression simple de � en fonction de cos�𝑥𝑥�.
3�
���
�
Q14. À l’aide de � 𝜑𝜑 �𝑥𝑥� d𝑥𝑥 démontrer que :
�
� ��
sin�𝑥𝑥� 1
�  d𝑥𝑥 � � ��� ���1���� � 1�
� 10 � 6cos�𝑥𝑥� 𝑛𝑛3
���

puis en calculant la somme de la série du second membre, en déduire la valeur de l’intégrale :

�
sin�𝑥𝑥�
�  d𝑥𝑥 .
� 10 � 6cos�𝑥𝑥�

Q15. Retrouver cette valeur par un calcul direct.

PARTIE III - Développements ternaires aléatoires

 
Dans cette partie, �𝑇𝑇�,� ����,��� est une suite de variables aléatoires discrètes réelles, mutuellement
indépendantes, définies sur un même espace probabilisé ��, 𝒜𝒜, �� et vérifiant :

�𝑛𝑛 � 1, �𝑁𝑁 � 2, 𝑇𝑇�,� ��� � �0; 1; 2�

1 2
avec ��𝑇𝑇�,� � 0� � ��𝑇𝑇�,� � 1� �  et ��𝑇𝑇�,� � 2� � 1 � .
𝑁𝑁 𝑁𝑁

Soit 𝑁𝑁 � 2 fixé. On pose :

�
𝑇𝑇�,�
𝑋𝑋� � � .
3�
���

On admet que 𝑋𝑋� est une variable aléatoire discrète réelle définie sur ��, 𝒜𝒜, ��.

Q16. Démontrer que 𝑋𝑋� admet une espérance et une variance. Donner leur valeur en fonction de 𝑁𝑁.

Q17. Justifier que, pour tout � � 0 :

lim ��|𝑋𝑋� � ��𝑋𝑋� �| � �� � 0
����

4/5
 
Q18. Soit 𝜀𝜀𝜀𝜀 > 0, démontrer que :
𝜀𝜀𝜀𝜀 𝜀𝜀𝜀𝜀
ℙ(|𝑋𝑋𝑋𝑋𝑁𝑁𝑁𝑁 − 1| ≥ 𝜀𝜀𝜀𝜀) ≤ ℙ �|𝑋𝑋𝑋𝑋𝑁𝑁𝑁𝑁 − 𝔼𝔼𝔼𝔼(𝑋𝑋𝑋𝑋𝑁𝑁𝑁𝑁 )| ≥ � + ℙ �|𝔼𝔼𝔼𝔼(𝑋𝑋𝑋𝑋𝑁𝑁𝑁𝑁 ) − 1| ≥ � .
2 2

En déduire que, pour tout 𝜀𝜀𝜀𝜀 > 0 :

lim ℙ(|𝑋𝑋𝑋𝑋𝑁𝑁𝑁𝑁 − 1| ≥ 𝜀𝜀𝜀𝜀) = 0 .
𝑁𝑁𝑁𝑁→+∞

PARTIE IV - Fonction de Cantor-Lebesgue

Dans cette partie, on va définir et étudier la fonction de Cantor-Lebesgue.

Étude d’une suite de fonctions

On note 𝑓𝑓𝑓𝑓0 la fonction définie sur [0,1] par 𝑓𝑓𝑓𝑓0 (𝑥𝑥𝑥𝑥) = 𝑥𝑥𝑥𝑥. Pour tout entier 𝑛𝑛𝑛𝑛 ∈ ℕ, on pose :

𝑓𝑓𝑓𝑓𝑛𝑛𝑛𝑛 (3𝑥𝑥𝑥𝑥) 1
⎧ si 𝑥𝑥𝑥𝑥 ∈ �0, �
⎪ 2 3
1 1 2
∀𝑥𝑥𝑥𝑥 ∈ [0,1], 𝑓𝑓𝑓𝑓𝑛𝑛𝑛𝑛+1 (𝑥𝑥𝑥𝑥) = si 𝑥𝑥𝑥𝑥 ∈ � , � .
⎨ 2 3 3
⎪1 𝑓𝑓𝑓𝑓
𝑛𝑛𝑛𝑛 (3𝑥𝑥𝑥𝑥 − 2) 2
⎩2 + si 𝑥𝑥𝑥𝑥 ∈ � , 1�
2 3

Q19. Représenter l’allure graphique des fonctions 𝑓𝑓𝑓𝑓0 , 𝑓𝑓𝑓𝑓1 et 𝑓𝑓𝑓𝑓2 sur trois schémas différents (pour 𝑓𝑓𝑓𝑓2
on envisagera sept sous-intervalles de [0,1]).
Pour tout 𝑛𝑛𝑛𝑛 ∈ ℕ, démontrer que 𝑓𝑓𝑓𝑓𝑛𝑛𝑛𝑛 est à valeurs dans [0,1].

Q20. Informatique. Écrire en langage Python une fonction récursive cantor(n,x) qui renvoie la
valeur de 𝑓𝑓𝑓𝑓𝑛𝑛𝑛𝑛 (𝑥𝑥𝑥𝑥).

Q21. Pour tout entier 𝑛𝑛𝑛𝑛 ∈ ℕ, démontrer que :

1
∀𝑥𝑥𝑥𝑥 ∈ [0,1], |𝑓𝑓𝑓𝑓𝑛𝑛𝑛𝑛+1 (𝑥𝑥𝑥𝑥) − 𝑓𝑓𝑓𝑓𝑛𝑛𝑛𝑛 (𝑥𝑥𝑥𝑥)| ≤ .
3 × 2𝑛𝑛𝑛𝑛+1

Q22. En déduire que la suite de fonctions (𝑓𝑓𝑓𝑓𝑛𝑛𝑛𝑛 )𝑛𝑛𝑛𝑛∈ℕ converge uniformément sur [0,1].
La limite de la suite de fonctions (𝑓𝑓𝑓𝑓𝑛𝑛𝑛𝑛 )𝑛𝑛𝑛𝑛∈ℕ est notée 𝑓𝑓𝑓𝑓.
On l’appelle fonction de Cantor-Lebesgue.

Q23. Démontrer que la fonction 𝑓𝑓𝑓𝑓 est à valeurs dans [0,1] et qu’elle est croissante et continue sur
[0,1]. Démontrer aussi qu’elle est surjective de [0,1] vers [0,1].

La fonction 𝑓𝑓𝑓𝑓 est aussi nommée « escalier du diable ». Les développements ternaires étudiés en
début de problème permettent d’obtenir une expression analytique de 𝑓𝑓𝑓𝑓(𝑥𝑥𝑥𝑥).

FIN
5/5
I M P R I M E R I E N A T I O N A L E – 20 1149 – D’après documents fournis