Fiche d’exercices MPSI 3 - 2004/2005
Thème : Nombres réels Chapitre : 2
Cette fiche contient des exercices concernant les nombres rationnels/irrationnels, la valeur absolue, les
intervalles, l’axiome de la borne supérieure.
√ √
1. Q-liberté de (1, 2, 3).
√ √
(a) Montrer que 2 ∈ / Q, que 3 ∈ / Q.
3
√ √
(b) Soit (a, b, c) ∈ Q tel que a + b 2 + c 3 = 0. Montrer que a = b = c = 0.
√ √
(c) ∗ Montrer qu’un cercle de R2 de centre ( 2, 3) et de rayon R > 0 possède au plus un point à
coordonnées rationnelles.
(d) ∗∗ L’ensemble de toutes les droites de R2 passant par deux points à coordonnées rationnelles
recouvre-t-il R2 ?
2. ∗ Puissances rationnelles.
Soit x un réel. Les assertions suivantes sont elles vraies ou fausses ?
(a) Si x7 et x12 sont rationnels alors x est rationnel.
(b) Si x9 et x12 sont rationnels alors x est rationnel.
(c) ∗∗ A quelle condition sur n, m ∈ N∗ a-t-on : (xn ∈ Q et xm ∈ Q) =⇒ x ∈ Q ?
3. Représenter C = {(x, y) ∈ R2 , |x| + |y| 6 1} et C 0 = {(x, y) ∈ R2 , max(|x|, |y|) 6 1}.
4. ∗ Dilatations de [0, 1].
Déterminer les applications f : [0, 1] → [0, 1] vérifiant ∀(x, y) ∈ [0, 1]2 , |f (x) − f (y)| > |x − y|.
5. ∗∗ Soita > 0. Montrer, en discutant selon les valeurs de b ∈ R, que la suite un définie par u0 = a,
u1 = b et la relation de récurrence un+2 = |un+1 | − un est 9-périodique. (Centrale 2003)
6. ∗∗ Montrer que |x| + |y| 6 |x + y| + |x − y| pour tout (x, y) ∈ R2 .
7. ∗ On cherche à déterminer les applications f : R → R vérifiant f (x + y) = f (x) + f (y) ainsi que
f (xy) = f (x)f (y) pour tout couple (x, y) ∈ R2 . On se donne dans la suite f une telle application.
(a) Montrer que f (0) = 0, que f est impaire et que f (1) ∈ {0, 1}. Que dire de f si f (1) = 0 ? Dans
la suite on suppose que f (1) = 1.
(b) Montrer que f (n) = n pour tout entier n ∈ N puis f (x) = x pour tout x ∈ Q.
(c) ∗∗ Montrer que f (R+ ) ⊂ R+ . En déduire que f est croissante.
(d) Déterminer f . Traiter la réciproque.
8. ∗∗ Déterminer tous les intervalles de R stables à la fois par les applications x 7→ 2x et x 7→ x/2.
9. ∗∗ Soit ouverts tels que I = I1 ∪ I2 ∪ ... ∪ In soit un intervalle ouvert. Montrer
I1 , ..., In des intervalles[
qu’il existe p ∈ [[1, n]] tel que Ik soit un intervalle ouvert. Est-ce encore vrai avec une famille infinie
k6=p
d’intervalles ?
10. ∗∗ Si
I est un intervalle borné on note µ(I) sa longueur. Soit [a, b] un segment et I1 , ..., In des intervalles
n
[ X n
bornés tels que [a, b] ⊂ Ik (les Ik recouvrent le segment [a, b]). Montrer que µ(Ik ) > b − a.
k=1 k=1
11. Soient E, F deux parties de R avec F ⊂ E, F non vide et E bornée.
Montre que : inf E 6 inf F 6 sup F 6 sup E.
12. ∗ Soient A, B deux parties non vides et majorées de R. On pose A + B = {a + b, a ∈ A, b ∈ B}.
Montrer que A + B est majorée, non vide et que sup(A + B) = sup A + sup B.
13. ∗ Soient A et B deux parties non vide de R telles que pour tout (a, b) ∈ A × B, a 6 b. Montrer que
sup A 6 inf B. Prouver que si A ∪ B est dense dans R alors sup A = inf B.
14. ∗ Soit A une partie non vide et bornée de R. Montrer que sup |x − y| = sup A − inf A.
(x,y)∈A2
∗ Trouver 1 n ∗
15. la borne supérieure et la borne inférieure de A = + (−1) , n ∈ N .
n
16. Distance à une partie.
Soit A une partie non vide de R. Pour x ∈ R on pose d(x, A) = inf |x − a| : c’est la distance de x à
a∈A
la partie A.
(a) Prenons A =]0, 1[. Tracer le graphe de la fonction x 7→ d(x, A).
(b) Donner un exemple de partie A et de réel x tel que la distance d(x, A) ne soit pas atteinte, soit
atteinte en un unique point de A, soit atteinte en exactement deux points de A. Est-il possible
que d(x, A) soit atteint en plus de deux points de A ?
(c) ∗∗∗ On suppose que A est telle que pour tout x ∈ R il existe un unique point y ∈ A tel que
|x − y| = d(x, A). Montrer que A est un intervalle fermé (pas forcément borné).
Un théorème de Motzkin montre qu’une partie fermée A de Rn telle que la distance de x à A soit
atteinte en un unique point pour tout x est forcément convexe. Il s’agit ici du cas n = 1 qui est très
simple comparé au cas général.
17. ∗∗∗ Soit f : [0, 1] → [0, 1] une application croissante. Montrer que f admet au moins un point fixe.