Professional Documents
Culture Documents
L1 Feuille n◦ 9
Propriétés de R
1 Les rationnels Q
Exercice 1 1. Démontrer que si r ∈ Q et x 6∈ Q alors r + x 6∈ Q et si r 6= 0 r.x 6∈ Q.
√
2. Montrer que 2 6∈ Q,
3. En déduire : entre 2 nombres rationnels il y a toujours un nombre irrationnel. (On pourra
utiliser la propriété : pour tout réel a > 0, il existe un entier n tel que n > a.)
Pn
Exercice 2 Soit p(x) = i=0 ai xi . On suppose que tous les ai sont des entiers.
1. Montrer que si p a une racine rationnelle αβ alors α divise a0 et β divise an .
√ √
2. On considère le nombre 2 + 3. En calculant son carré, montrer que ce carré est racine
d’un polynôme de degré 2. En déduire, à l’aide du résultat précédent qu’il n’est pas
rationnel.
p
Exercice 3 1. Soit Nn = 0, 1997 1997 . . . 1997 (n fois). Mettre Nn sous la forme q
avec
p, q ∈ N∗ .
2. Soit M = 0, 1997 1997 1997 . . . . . . Donner le rationnel dont l’écriture décimale est M .
3. Même question avec : P = 0, 11111 . . .+0, 22222 . . .+0, 33333 . . .+0, 44444 . . .+0, 55555 . . .+
0, 66666 . . . + 0, 77777 . . . + 0, 88888 . . . + 0, 99999 . . .
ln 3
Exercice 4 Montrer que ln 2
est irrationnel.
x + y + |x − y| x + y − |x − y|
max(x, y) = et min(x, y) = .
2 2
Trouver une formule pour max(x, y, z).
Exercice 7 Déterminer (s’ils existent) : les majorants, les minorants, la borne supérieure, la
borne inférieure, le plus grand élément, le plus petit élément des ensembles suivants :
n 1 ∗
[0, 1] ∩ Q , ]0, 1[∩Q , N , (−1) + , n ∈ N .
n
1
Exercice 8 Soient A et B deux parties bornées de R. On note A+B = {a+b | (a, b) ∈ A×B}.
1. Montrer que sup A + sup B est un majorant de A + B.
2. Montrer que sup(A + B) = sup A + sup B.
3 Divers
Exercice 10 Si a et b sont des réels > 0, montrer que :
√ √ √
a + b 6 2 a + b.
2
Bibliothèque d’exercices Indications
L1 Feuille n◦ 9
Propriétés de R
1
Bibliothèque d’exercices Corrections
L1 Feuille n◦ 9
Propriétés de R
p
Correction 1 1. Soit r = q
∈ Q et x ∈
/ Q. Par l’absurde supposons que r + x ∈ Q alors
0 0 0 0
il existe deux entiers p , q tels que r + x = pq0 . Donc x = pq0 − pq = qp qq−pq
0 0
0 ∈ Q ce qui est
absurde car x ∈ / Q.
0 0
De la même façon si rx ∈ Q alors rx = pq0 Et donc x = pq0 pq . Ce qui est absurde.
√ √
2. Supposons que 2 ∈ Q alors il existe deux entiers p, q tels que 2 = pq . De plus nous
pouvons supposer que la fraction est irréductible (p et q sont premiers entre eux). En
élevant l’égalité au carré nous obtenons q 2 × 2 = p2 . Donc p2 est un nombre pair, cela
implique que p est un nombre pair (si vous n’êtes pas convaincu écrivez la contraposée
“p impair ⇒ p2 impair”). Donc p = 2 × p0 avec p0 ∈ N, d’où p2 = 4 × p0 2 . Nous obtenons
q 2 = 2 × p0 2 . Nous en déduisons maintenant que q 2 est pair et comme ci-dessus que q est
pair. Nous obtenons ainsi une contradiction car p et q étant√tous les deux pairs la fraction
p
q
n’est pas irréductible et aurait pu être simplifier. Donc 2 ∈ / Q.
0 0
√ 0
3. Soient√ r, r deux rationnels avec r < r . Notons a = 2(r − r). Choisissons n ∈ N tel que
n > 2. Et posons
a
x=r+ .
n
√ 0
D’une part x ∈]r, r [ et d’après les deux premières questions 2 r n−r ∈
0
/ Q. Et donc x est
0
un nombre irrationnel compris entre r et r .
i
1. Soit αβ ∈ Q avec α ∧ β = 1. Pour p( αβ ) = 0, alors ni=1 ai αβ = 0. Après
P
Correction 2
multiplication par β n nous obtenons l’égalité suivante :
En factorisant les derniers termes de cette somme par β, nous écrivons an αn +βq = 0. Ceci
entraı̂ne que β divise an αn , mais comme β et αn sont premier entre eux (car α ∧ β = 1)
alors par le théorème de Gauss β divise an . De même en factorisant les premiers termes de
la somme ci-dessus par α nous obtenons αq 0 + a0 β n = 0 et par un raisonnement similaire
α divise a0 .
√ √ √ √ 2
2. Notons γ = 2 + 3. Alors γ 2 = 5 + 2 2 3 Et donc (γ 2 − 5) = 4 × 2 × 3, Nous
choisissons p(x) = (x2 − 5)5 − 24, qui s’écrit aussi p(x) = x4 − 10x2 + 1. Vu notre choix de
p, nous avons p(γ) = 0. Si nous supposons que γ est rationnel, alors γ = αβ et d’après la
première question α divise le terme constant de p, c’est-à-dire 1. Donc α = ±1. De même
β divise le coefficient du terme de plus au degré de p, donc β divise 1, soit β = 1. Ainsi
γ = ±1, ce qui est évidemment absurde !
Correction 3 1. Soit p = 2001 2001 . . . 2001 et q = 10000 0000 . . . 0000 = 104n . Alors
Nn = pq .
2. Remarquons que 10 000 × M = 2001, 2001 2001 . . . Alors 10 000 × M − M = 2001 ; donc
2001
9999 × M = 2001 d’où M = 9999 .
1
3. 0, 111 . . . = 91 , 0, 222 . . . = 92 , etc. D’où P = 1
9
+ 29 + · · · + 9
9
= 1+2+···+9
9
= 45
9
= 5.
Correction 7 1. [0, 1] ∩ Q. Les majorants : [1, +∞[. Les minorants : ] − ∞, 0]. La borne
supérieure : 1. La borne inférieure : 0. Le plus grand élément : 1. Le plus petit élément 0.
2. ]0, 1[∩Q. Les majorants : [1, +∞[. Les minorants : ] − ∞, 0]. La borne supérieure : 1. La
borne inférieure : 0. Il nexiste pas de plus grand élément ni de plus petit élément.
3. N. Pas de majorants, pas de borne supérieure, ni de plus grand élément. Les minorants :
] − ∞, 0]. La borne inférieure : 0. Le plus petit élément : 0.
n o
4. (−1)n + n12 , n ∈ N∗ . Les majorants : [ 54 , +∞[. Les minorants : ] − ∞, −1]. La borne
supérieure : 54 . La borne inférieure : −1. Le plus grand élément : 45 . Pas de plus petit
élément.
2
3. Sup A + Sup B est un majorant de A + B d’après la partie 1. Mais, d’après la partie 2., dès
qu’on prend un ε > 0, SupA+SupB−ε n’est pas un majorant de A+B. Donc SupA+SupB
est bien le plus petit des majorants de A + B, i.e. Sup (A + B) = Sup A + Sup B.
Correction 9 1. Vrai.
2. Vrai.
3. Vrai.
4. Faux. L’égalité peut ne pas être stricte.
5. Vrai.
6. Vrai.
Correction 10
√ √ √
a+ b62 a+b
√ √
⇔ ( a + b)2 6 2(a + b)
La denière proposition est toujours vraie, et donc par équivalence, nous obtenons l’inégalité
recherchée.
α1 6 α2 6 α3 6 . . . 6 x 6 · · · 6 β2 6 β1 .
Alors comme αi 6 x 6 βi et que f est croissante nous avons f (αi ) 6 f (x) 6 f (βi ).
D’après la question précédent cette inéquation devient : αi f (1) 6 f (x) 6 βi f (1). Comme
(αi ) et (βi ) tendent vers x. Par le théorème des “gendarmes” nous obtenons en passant à
la limite : xf (1) 6 f (x) 6 xf (1). Soit f (x) = xf (1).