Vous êtes sur la page 1sur 12

Chapitre 6

Nombres rels
Objectifs
Connatre la structure de corps sur Q et R.
Connatre les proprits de la relation dordre et celles de la valeur absolue.
Connatre la notion de borne suprieure, de borne infrieure, ainsi que la proprit fondamentale de R et
quelques consquences.
Connatre la droite numrique acheve.

Sommaire
I)

Lensemble des rels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .


1)
Rappels sur les rationnels . . . . . . . . . . . . . . . . . . . . . . . . . . .
2)
Oprations et ordre sur les rels . . . . . . . . . . . . . . . . . . . . . . .
II) Borne infrieure, borne suprieure . . . . . . . . . . . . . . . . . . . . . . . .
1)
Proprit fondamentale de lensemble des rels . . . . . . . . . . . . . .
2)
Intervalles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3)
La droite numrique acheve . . . . . . . . . . . . . . . . . . . . . . . . .
4)
Voisinages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
III) Approximation dun rel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1)
Valeur absolue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2)
Partie entire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3)
Approximations dcimales . . . . . . . . . . . . . . . . . . . . . . . . . . .
IV) Annexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1)
Relation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2)
Relation dordre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3)
Parties denses dans lensemble des rels . . . . . . . . . . . . . . . . . . .
V) Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

. . 1
. . 1
.
2
.
3
.
3
.
4
.
5
.
5
.
6
.
6
.
7
.
8
.
9
.
9
. 10
. 10
. 10

Lexistence des ensembles Q et R est admise.

I)

Lensemble des rels

1)

Rappels sur les rationnels


p

Un rationnel est un rel de la forme pq1 (ou q ) o p et q sont deux entiers avec q 6= 0. Lensemble
des rationnels est not Q. Tout rationnel peut scrire de diffrentes manires sous forme de fractions, par
p
2p
p
exemple : q = 2q = q . Mais tout nombre rationnel scrit de manire unique sous forme de fraction
p

irrductible, cest dire sous la forme q avec p Z, q N et avec p et q premiers entre eux (i.e. sans
autres diviseurs communs que 1 et -1).
p
aq+bp
p
ap
Oprations sur les rationnels : On rappelle que : q + ab = bq et q ab = bq . Laddition et la multiplication
sont donc des lois de composition internes dans Q, on vrifie que (Q, +, ) est un corps commutatif. On
vrifie galement que (Q, +), (Q , ) et (Q+ , ) sont des groupes commutatifs.
MPSI - COURS

Fradin
c
Patrick http://mpsi.tuxfamily.org

Lensemble des rels

Chapitre 6 : Nombres rels

Lensemble des rationnels est insuffisant :


En termes dapproximations numriques, Q peut paratre suffisant en sciences appliques. Le problme
se pose lorsquon a besoin de connatre la valeur exacte de certaines grandeurs. Par exemple, peut - on
mesurer dans Q la longueur de la diagonale dun carr de ct 1 ? Daprs le thorme de Pythagore 1 , cela
revient se demanderpsil existe un rationnel dont le carr est gal 2, or nous avons dj tabli que la
rponse est ngative ( 2
/ Q).
Cette lacune de Q avait t remarque par les Pythagoriciens, ce qui a conduit les mathmaticiens
introduire de nouveaux nombres, les irrationnels, en concevant un ensemble plus vaste que Q, lensemble
des nombres rels not R.

2)

Oprations et ordre sur les rels

Lensemble R contient Q et possde une addition et une multiplication (qui prolongent celles de Q) qui
font que (R, +, ) est un corps commutatif. On admettra galement quil existe deux parties de R que lon
note A et B et qui vrifient :
A et B sont stables pour laddition.
Q+ A et Q B.
R = A B.
A B = {0}.
Si x, y A alors x y A, si x, y B alors x y A et si x A et y B, alors x y B (rgle des signes).
On dfinit alors une relation R dans R en posant : x, y R, xR y x y B. Cette relation est :
Rflexive : x R, xR x.
Antisymtrique : si xR y et yR x alors x = y.
Transitive : si xR y et yRz, alors xRz.
Le relation R est donc une relation dordre sur R. On la notera dsormais , cest dire que xR y sera
not x y (i.e. x y B).
On remarquera que x 0 signifie que x B, et que 0 x signifie que x B et donc x A
car x = (1)(x) : produit de deux lments de B. Dautre part, si x A et y B, alors x y car
y x = y + (x) : somme de deux lments de B.
Si x et y sont deux rels quelconques, on a x y A ou x y B, cest dire x y B ou y x B,
cest dire encore x y ou y x. Deux rels sont donc toujours comparables, lordre est total.
Notation : On pose A = R+ et B = R .
THORME 6.1

La relation dordre est :

Compatible avec laddition, cest dire :

x, y, z R, si x y alors x + z y + z.

Compatible avec la multiplication par un rel positif :

x, y, z R, si 0 z et x y alors xz yz.
Preuve: Si x y, alors x y R , mais (x + z) ( y + z) = x y, donc (x + z) ( y + z) R i.e. x + z y + z. Si
0 z et x y, alors x y R donc z(x y) R , i.e. z x z y. On remarquera que si z 0 alors z(x y) R+
donc z y z x, lingalit change de sens.

Consquences :
Si x y et a b, alors x + a y + b.
Si 0 x y et 0 a b alors 0 a x b y.
1. PYTHAGORE De Samos (569 av J.-C. 500 av J.-C. (environ)) : mathmaticien et philosophe grec dont la vie et luvre
restent entoures de mystres.

MPSI - COURS

Fradin
c
Patrick http://mpsi.tuxfamily.org

Borne infrieure, borne suprieure

II)
1)

Chapitre 6 : Nombres rels

Borne infrieure, borne suprieure


Proprit fondamentale de lensemble des rels
Soit I une partie non vide de R et soit a un rel, on dit que :
I est majore par a (ou a est un majorant de I), lorsque tout lment de I est infrieur ou gal a :
x I, x a.
I est minore par a (ou a est un minorant de I), lorsque tout lment de I est suprieur ou gal a :
x I, x a.
I est borne, lorsque I est la fois minore et majore : m, M R, x I, m x M .

Exemples:
x2
Lensemble I = { 1+x
2 / x R} est born (minor par 0 et major par 1).
2

x
Lensemble I = { 1+|x|
/ x R} est minor par 0, mais non major.

I est non major quivaut : M R, x I, x > M .


I est non minor quivaut : m R, x I, x < m.
I est born quivaut : M R, x I, |x| M .

DFINITION 6.1
Soit I une partie non vide de R. Si lensemble des majorants de I nest pas vide et sil admet un plus
petit lment, alors celui-ci est appel borne suprieure de I et not sup(I). La borne suprieure
(lorsquelle existe) est donc le plus petit des majorants.
Si lensemble des minorants de I nest pas vide et sil admet un plus grand lment, alors celui-ci
est appel borne infrieure de I et not inf(I). La borne infrieure (lorsquelle existe) est donc le
plus grand des minorants.
Exemples:
I =]0; 1], lensemble des majorants est [1; +[, celui-ci admet un plus petit lment qui est 1, donc sup(I) = 1.
Lensemble des minorants de I est ] ; 0] qui admet un plus grand lment : 0, donc inf(I) = 0.
I =]1; +[, lensemble des majorants est vide donc I na pas de borne suprieure. Lensemble des minorants
est ] ; 1], celui-ci admet un plus grand lment : 1, donc inf(I) = 1.

On remarquera quune borne infrieure (ou suprieure) dun ensemble I na aucune raison dappartenir
I.
Voici le lien entre minimum et borne infrieure (ou maximum et borne suprieure) :
THORME 6.2

Soit I une partie non vide de R et soit a un rel :

a = min(I) ssi a I et a = inf(I).

a = max(I) ssi a I et a = sup(I).


Preuve: Celle-ci est simple et laisse en exercice.

Il dcoule de la dfinition :
THORME 6.3

Soit I une partie non vide de R et soit m un rel, alors :

m majore I

m = sup(I)

m0 < m, m0 ne majore pas I [i.e. x I, m0 < x]

m minore I

m = inf(I)

m0 > m, m0 ne minore pas I [i.e. x I, x < m0 ]

MPSI - COURS

Fradin
c
Patrick http://mpsi.tuxfamily.org

Borne infrieure, borne suprieure

Chapitre 6 : Nombres rels

THORME 6.4 (Proprit fondamentale de R (admise))

Toute partie de R non vide et majore admet une borne suprieure.

Consquence : il en dcoule que toute partie de R non vide et minore admet une borne infrieure.

Preuve: Soit A une partie de R non vide et minore par un rel m, alors lensemble A = {a / a A} est une partie
de R non vide et majore par le rel m. Daprs le thorme prcdent, A admet une borne suprieure M et donc
lensemble des majorants de A est [M , +[, on en dduit que lensemble des minorants de A est ] ; M ] et
donc A admet une borne infrieure qui est M , cest dire inf(A) = sup(A).

Exemples:
Soit a un rel positif, on pose A = {x R / x 2 a}. A est une partie non vide de R car 0 A, dautre part A
est major par a + 1 car x > a + 1 = x 2 > a2 + 2a + 1 > a. Lensemble A admet donc une borne suprieure
p
M . En raisonnant par labsurde on peut montrer que M 2 = a, par consquent M = a, cest une dfinition
possible de la fonction racine carre.
Soient A et B deux parties de R non vides et bornes telles que A B. Montrer que inf(B) inf(A) et
sup(A) sup(B).
Rponse : inf(B) est un minorant de B donc un minorant de A, par consquent inf(B) inf(A) car inf(A) est le
plus grand des minorants de A. De mme, sup(B) majore B , donc majore A galement, do sup(A) sup(B)
car sup(A) est le plus petit des majorants de A.
Soient A et B deux parties de R non vides et majores, on pose A + B = {a + b / a A, b B}. Montrer que
sup(A + B) = sup(A) + sup(B).
Rponse : sup(A) + sup(B) majore A + B, donc A + B admet une borne sup. et sup(A + B) sup(A) + sup(B).
Soient a A et b B, a + b sup(A + B), donc a sup(A + B) b, ce qui signifie que A est major par
sup(A + B) b, do sup(A) sup(A + B) b, mais alors b sup(A + B) sup(A), donc B est major par
sup(A + B) sup(A), do sup(B) sup(A + B) sup(A) et finalement sup(A) + sup(B) sup(A + B) ce qui
prouve bien lgalit.

2)

Intervalles
DFINITION 6.2
Soit I une partie non vide de R, on dit que I est un intervalle lorsque : tout rel compris entre
deux lments de I est lui-mme lment de I, cest dire :
x, y I, z R, x z y = z I.
Par convention, ; est un intervalle de R.
THORME 6.5

Si I est un intervalle non vide de R alors on a :

soit I = R,

soit I = [a; +[ ou I =]a, +[,

soit I =] ; b] ou I =] ; b[,

soit I =]a; b[ ou I =]a; b] ou I = [a; b[ ou I = [a; b].


Preuve: Le premier correspond I non born, le deuxime I minor et non major, le troisime I non minor et
major, le quatrime I born.

Exemple: Z nest pas un intervalle de R car 1, 2 Z mais pas 32 . Q nest pas un intervalle de R.
THORME 6.6

On a les proprits suivantes :

Lintersection de deux intervalles de R est un intervalle de R.

La runion de deux intervalles de R non disjoints est un intervalle de R.

MPSI - COURS

Fradin
c
Patrick http://mpsi.tuxfamily.org

Borne infrieure, borne suprieure

Chapitre 6 : Nombres rels

Preuve: Soient I et J deux intervalles de R, posons K = I J. Si K est vide, alors cest un intervalle. Si K nest pas
vide, alors soit x, y K et soit z un rel tel que x z y. Comme I est un intervalle contenant x et y, I contient z,
de mme J contient z, finalement z K et donc K est un intervalle de R.
Supposons I et J non disjoints et soit K = I J. K est non vide, soit x, y K et soit z un rel tel que x z y.
Si x et y sont dans I, alors z est dans I et donc dans K, de mme si x et y sont dans J. Si x est dans I et y dans J,
soit t I J, si z t, alors z est compris entre x et t qui sont lments de I, donc z I. Si t z, alors z est compris
entre t et y qui sont lments de J, donc z est lment de J. Dans les deux cas on a bien z K et donc K est un
intervalle de R.

3)

La droite numrique acheve

On ajoute lensemble R deux lments non rels (par exemple i et i), lun de ces deux lments est
not et lautre +.

DFINITION 6.3
Lensemble R {, +} est not R et appel droite numrique acheve.
On prolonge la relation dordre de R R en posant pour tout rel x : < x < +. Lensemble R
devient ainsi un ensemble totalement ordonn, de plus il possde un maximum (+) et un minimum
().
Pour tout rel x on pose :
(+) + x = x + (+) = +.
() + x = x + () = .
(+) + (+) = +.
() + () = .
Si x > 0 : x(+) = (+)x = + et ()x = x() = .
si x < 0 : x(+) = (+) = et ()x = x() = +.
(+)(+) = +, ()() = + et ()(+) = (+)() = .
On prendra garde au fait que nous navons pas dfini de loi de composition interne dans R puisque nous
navons pas dfini 0 () ni () + (+). Les rgles de calculs dfinies ci-dessus auront leur utilit
dans le chapitre sur les limites.
THORME 6.7

Soit A une partie non vide de R, alors A admet une borne suprieure et une borne infrieure dans R.

Preuve: Soit A une partie non vide de R. Si A est majore dans R alors admet une borne suprieure relle (proprit
fondamentale de R). Si A nest pas majore dans R, alors dans R lensemble des majorants est {+}, donc il y a une
borne suprieure dans R qui est + (le plus petit majorant). Le raisonnement est le mme pour la borne infrieure.

4)

Voisinages
DFINITION 6.4
Soit x R, toute partie de R contenant un intervalle de la forme ]x "; x + "[ o " > 0 est appel
voisinage de x .
Toute partie de R contenant un intervalle ouvert de la forme ]a; +[ (a R) est appel voisinage
de + .
Toute partie de R contenant un intervalle ouvert de la forme ] ; a[ (a R) est appel voisinage
de .
THORME 6.8

Soit V1 , V2 deux voisinages de x R, alors V1 V2 est un voisinage de x. Soit a, b R, si a < b alors

il existe un voisinage V de a et un voisinage V 0 de b tels que x V et y V 0 , x < y.

MPSI - COURS

Fradin
c
Patrick http://mpsi.tuxfamily.org

Approximation dun rel

Chapitre 6 : Nombres rels

Preuve: Celle - ci est simple et laisse en exercice.

DFINITION 6.5
Soit P(x) une proposition dpendante de x R, et soit a R, on dit que la proprit P est vraie au
voisinage de a lorsquil existe au moins un voisinage V de a tel que :
x V, P(x) est vraie.
Exemple: Soit f (x) = x 2 + x 1, alors au voisinage de 0 on a f (x) < 0, et au voisinage de +, f (x) > 0. En effet, le
trinme x 2 + x 1 admet deux racines relles : x 1 < 0 et x 2 > 0, posons " = min(|x 1 |, |x 2 |), si x ]0 "; 0 + "[ alors
x ]x 1 ; x 2 [ et donc x 2 + x 1 < 0, V =]x 1 ; x 2 [ est donc un voisinage de 0 et sur ce voisinage on a bien f (x) < 0.
Posons W =]x 2 ; +[, alors W est un voisinage de + et sur ce voisinage on a bien f (x) > 0.

III)
1)

Approximation dun rel


Valeur absolue

Soit x un rel, les deux nombres x et x sont comparables puisque lordre est total, ce qui donne un
sens la dfinition suivante :

DFINITION 6.6
Soit x R, on appelle valeur absolue de x le rel not |x| et dfini par : |x| = max(x, x). On a
donc |x| = x lorsque 0 x, et |x| = x lorsque x 0.

Lensemble R peut tre assimil une droite gradue (i.e. munie dun repre (O,
u )), les rels sont
alors les abscisses des points de cette droite. Si A(a) et B(b) sont deux points de cette droite, alors le rel
positif |b a| reprsente la distance de A B, en particulier |x| reprsente la distance de lorigine au point
dabscisse x.
|b a|

A(a)

B(b)

THORME 6.9

Soient x, y des rels :

|x| R+ , |x| = | x|, x |x| et x |x|.

|x| = 0 x = 0.

1
|x y| = |x|| y| et si x 6= 0 alors | 1x | = |x|
.

||x| | y|| |x y| |x| + | y| (ingalit triangulaire).


Preuve: Celle-ci est simple et laisse en exercice.

Valeur absolue et ingalits : soient a, b, x trois rels avec b positif :


|a| b a b et a b b a b.
|a| b a b ou a b.
|a x| b b a x b a b x a + b.
|a x| b x a + b ou x a b.
Ces ingalits sont importantes, et peuvent se retrouver en raisonnant en termes de distance.

DFINITION 6.7
Soit a un rel et " > 0, on appelle intervalle ouvert de centre a et de rayon ", lintervalle ]a"; a+"[.
Cest lensemble des rels x tels que |x a| < ". On dfinit de la mme faon lintervalle ferm de
centre a et de rayon ".

MPSI - COURS

Fradin
c
Patrick http://mpsi.tuxfamily.org

Approximation dun rel

Chapitre 6 : Nombres rels

On rappelle quun intervalle ouvert est un intervalle de la forme : ]a; b[ ou ]a; +[ ou ] ; b[.
Lensemble vide et R sont des intervalles ouverts.
THORME 6.10

Soit I un intervalle ouvert non vide, pour tout lment a de I il existe au moins un voisinage de a

inclus dans I : a I, " > 0, ]a "; a + "[ I.


Preuve: Il suffit de passer en revue les diffrents cas pour I. Par exemple, si I =]; [ avec < (sinon I est vide),
on peut prendre " = min(a , a). On remarquera que lon peut remplacer intervalle ouvert de centre a par
intervalle ferm de centre a.

2)

Partie entire
THORME 6.11

Lensemble R est archimdien, cest dire : x, y R+ , n N, x n y.

Preuve: Par labsurde, supposons que n N, x > n y. Soit A = {n y / n N}, A est non vide (contient y) et major
par x, donc A admet une borne suprieure. Soit b = sup(A), on a b y < b donc il existe un entier n0 N tel que
b y < n0 y, do b < (n0 + 1) y ce qui est absurde car (n0 + 1) y A.

THORME 6.12 (et dfinition)

Soit x R, il existe un unique entier n Z tel que n x < n + 1, celui-ci est appel partie entire
de x, not E(x) (ou [x]).

Preuve: Montrons lexistence : si x = 0 il suffit de prendre n = 0. Si x > 0, soit A = {n N / x < n + 1}, A est
une partie de N non vide (R est archimdien), donc A admet un plus petit lment n0 (proprit fondamentale
de N) ; on a x < n0 + 1, si n0 > x, alors n0 > 0 et n0 1 A ce qui est absurde, donc n0 x. Si x < 0, on pose
B = {n N / x n}, alors B est une partie non vide de N, donc B admet un plus petit lment n1 ; on a n1 x
et n1 > 0, le prdcesseur de n1 ntant pas dans B, on a x > n1 1 et donc n1 x < n1 + 1.
Montrons lunicit : soient n, n0 N tels que n x < n+1 et n0 x < n0 +1, alors |n n0 | = |(x n)(x n0 )| < 1
car x n et x n0 sont dans lintervalle [0; 1[, comme n et n0 sont entiers, on en dduit que |n n0 | = 0 i.e. n = n0 .

Proprits :
a) La fonction partie entire est une fonction croissante sur R et elle constante sur tout intervalle de la
forme [n; n + 1[ lorsque n Z.
4
3
2
1
0
4 3 2 1 0 1
1

2
3
4

b) La fonction partie entire est continue sur R \ Z. Pour n Z, elle est continue droite mais pas
gauche en n.
c) Pour tout rel x et tout entier n, on a E(x + n) = E(x) + n.
d) La fonction x 7 x E(x) est une fonction 1-priodique.

e) La partie entire de x est entirement caractrise par :

MPSI - COURS

E(x) Z
.
E(x) x < E(x) + 1

Fradin
c
Patrick http://mpsi.tuxfamily.org

Approximation dun rel

Chapitre 6 : Nombres rels

THORME 6.13

Tout intervalle de la forme ]a; b[ o a < b contient au moins un rationnel, et donc Q est dense dans

R.
Preuve: Soit x le milieu de lintervalle ]a; b[ et " sa demi - longueur. R tant archimdien, il existe un entier q tel que
p
1 q". Posons p = E(q x), on a alors p q x < p + 1, do en posant r = q , r est un rationnel et r x < r + 1q r + ",
par consquent, |x r| < " et donc r ]a; b[.

Ce thorme traduit que aussi prs que lon veut de nimporte quel rel, on peut trouver des rationnels. De
p
plus la dmonstration fournit une mthode de construction de q .
p
p
Par exemple, avec x = 2 et " = 103 , p
on peut prendre q = 1000 et p = E(1000 2) = 1414 (car
p
14142 2.106 < 14152 ), do q = 1, 414 et | 2 1, 414| < 103 .
THORME 6.14

Tout intervalle ]a; b[ o a < b contient au moins un irrationnel, donc lensemble des irrationnels,

R \ Q, est dense dans R.


Preuve: Comme prcdemment on appelle x le milieu de lintervalle ]a; b[ et " la demi - longueur.
Si x R \ Q alors
p
p
2
il ny a rien faire. Si x Q, alors il existe un entier n tel que 2 < n", on pose y = x + n , le rel y est irrationnel
et |x y| =

3)

p
2
n

< " donc y ]a; b[.

Approximations dcimales
DFINITION 6.8
Soient a, x, " trois rels avec " > 0, on dit que a est une valeur approche de x " prs lorsque
la distance entre a et x et infrieure ou gale " : |a x| ". On dit que a est une valeur
approche de x par dfaut (respectivement par excs) " prs lorsque a x a +" (respectivement
a " x a).

Proprits :
a) Si a est une valeur approche de x par dfaut et b une valeur approche de x par excs, alors
une valeur approche de x

ba
2

a+b
2

est

prs.

b) Si a est une valeur approche de x par dfaut " prs et b une valeur approche de x par excs "
prs, alors a+b
est une valeur approche de x 2" prs.
2
Soit x R et soit n N, on a E(x10n ) x10n < 1 + E(x10n ), en multipliant par 10n on obtient :
E(x10n )
10n

x<

E(x10n )
10n

+ 10n .

E(x10n )

E(x10n )

Ce qui signifie que 10n est une valeur approche de x par dfaut 10n prs, et que 10n + 10n est
une valeur approche de x par excs 10n prs. Il faut remarquer que ces deux approximations de x sont
des nombres dcimaux (i.e. un entier sur une puissance de dix).

DFINITION 6.9
On appelle approximation dcimale de x par dfaut 10n prs, le nombre :

E(x10n )
.
10n

Exemples:
p
E(x10n )
Prenons x = 2 et posons an = 10n
1 x 2 < 22 , donc 1 x < 2 et a0 = E(x) = 1 (partie entire de x).
(10x)2 = 200 et 142 = 196 (10x)2 < 152 = 225, donc 14 10x < 15 et a1 = E(10x)/10 = 14/10 = 1, 4.
(100x)2 = 20000 et 1412 (100x)2 < 1422 , donc 141 100x < 142 et a2 = E(100x)/100 = 141/100 =
1, 41...etc

MPSI - COURS

Fradin
c
Patrick http://mpsi.tuxfamily.org

Annexe

Chapitre 6 : Nombres rels

Si on continue le processus, on construit la suite (an ) des approximations dcimales de


dfaut.

p
2 10n prs par

E(x10n )

Si on pose pour n N, an = 10n , alors on a lingalit |x an | 10n , ce qui prouve que la suite
(an ) converge vers x. On a donc une suite de rationnels qui converge vers x, ce qui est une autre faon de
prouver la densit de Q dans R. On remarquera que la suite (an + 10n ) (valeurs approches dcimales par
excs) converge galement vers x.
THORME 6.15

Soit x R et an =

entre 0 et 9.

E(x10n )
,
10n

pour n N on pose dn = 10n (an an1 ), alors dn est un entier compris

Preuve: 10n an = E(10n x) 10n x < 1 + E(10n x), dautre part 10n an1 = 10E(10n1 x) 10n x < 10 + 10E(10n1 x),
do 10 E(10n1 x) < 10n x 10n an1 , on en dduit que dn 10 < 0 < dn + 1, par consquent 0 dn < 10, or
dn est un entier, donc dn 9.

DFINITION 6.10
Pour n 1, lentier dn = 10n (an an1 ) = E(10n x) 10E(10n1 x) est appel n-ime dcimale de
x.
n
P
Remarquons que dn 10n = an an1 , ce qui entrane que a0 +
dk 10k = an , or la suite (an ) converge
k=1

vers x, on crit alors :


x = a0 +

+
X

dk 10k (dveloppement dcimal de x)

k=1

IV)
1)

Annexe
Relation

Une relation R est la donne de :


Un ensemble de dpart : E.
Un ensemble darrive : F .
Dun graphe G, cest dire une partie de E F (G E F ).
Soient x E et y F , on dira que x est relation avec y (not xR y) lorsque (x, y) G. Si cest le cas,
on dira que y est une image de x par R et que x est un antcdent de y par R.
Lorsque tout lment de E a au plus une image par R, on dit que R est une fonction. Lorsque tout
lment de E a une et une seule image par R, on dit que R est une application.
Vocabulaire : Soit R une relation dun ensemble E vers lui - mme, on dit que R est :
a) rflexive lorsque tout lment est en relation avec lui - mme : x E, xR x.
b) symtrique lorsque : x, y E, si xR y alors yR x (le graphe de R est symtrique).
c) antisymtrique lorsque : x, y E, si xR y et yR x alors x = y. On remarquera quil ne sagit pas
de la ngation de symtrique.
d) transitive lorsque : x, y, z E, si xR y et yRz alors xRz.
Exemples:
Dans R, la relation R dfinie par : x, y R, xR y x y, est une relation rflexive, antisymtrique et
transitive.
Dans Z, la relation S dfinie par : x, y Z, xS y x y 2Z, est une relation rflexive, symtrique et
transitive.
Soit E un ensemble, on note P (E) lensemble des parties de E. On dfinit dans P (E) la relation T en posant :
A, B P (E), AT B A B. Cette relation T est rflexive antisymtrique et transitive.

MPSI - COURS

Fradin
c
Patrick http://mpsi.tuxfamily.org

Exercices

2)

Chapitre 6 : Nombres rels

Relation dordre

Soit R une relation dans un ensemble E, on dit que R est une relation dordre lorsque cette relation
est :
rflexive, antisymtrique et transitive.
Lorsque cest le cas, on dit que (E, R) est un ensemble ordonn. Deux lments x et y de E sont
dits comparables pour lordre R lorsque lon a xR y ou bien yR x. Lorsque tous les lments de E sont
comparables deux deux, on dit que lordre R est total et que (E, R) est un ensemble totalement ordonn,
sinon on dit que lordre est partiel et que (E, R) est partiellement ordonn. Une relation dordre est en
gnral note , cest dire que xR y est plutt not x y.
Exemples:
Lordre naturel sur les rels est une relation dordre total.
Soit E un ensemble, (P (E), ) est un ensemble partiellement ordonn (ds que card(E) 2).
Soit I un ensemble non vide, on pose E = F (I, R) lensemble des fonctions dfinies sur I et valeurs relles.
On dfinit dans E la relation R : pour f , g E, f R g x I, f (x) g(x). On vrifie que R est une
relation dordre partiel (ds que card(I) > 1), cette relation est appele ordre fonctionnel et note .
Pour (x, y) et (x 0 , y 0 ) R2 , on pose :

0
x < x
(x, y)R(x 0 , y 0 ) ou

x = x 0 et y y 0
On vrifie que R est une relation dordre total sur R2 (appele ordre lexicographique et note ).

On prendra garde au fait que lorsque lordre est partiel, la ngation de x y est :

x et y ne sont pas comparables


ou

x et y sont comparables et x > y

3)

Parties denses dans lensemble des rels

Soit A une partie non vide de R, on dit que A est dense dans R lorsque tout intervalle ouvert non vide
de R contient au moins un lment de A, ce qui quivaut :
x R, " > 0, a A, |x a| < ".
Ce qui signifie quaussi prs que lon veut de tout rel x, on peut trouver des lments de A. Voici une
autre dfinition quivalente (et trs utile) :
A est dense dans R ssi pour tout rel x il existe une suite (an ) dlments de A qui converge vers x.
Exemples:
Q et R \ Q sont denses dans R.
Z nest pas dense dans R puisque lintervalle ]0; 1[ ne contient aucun entier.

V)

Exercices

Exercice 6.1
Soient u et k deux rels tels que |u| k < 1, montrer que 0 < 1 k |1 + u| 1 + k.
Exercice 6.2
a) Soit x R tel que " > 0, |x| ", montrer que x est nul.
p
p
p
b) Soient a, b R+ , montrer que | a b| |a b|.
p
p
p
c) Soient a, b R, montrer que | |a| |b|| |a b|.
d) Soient x, y R, montrer que |x| + | y| |x y| + |x + y|.

e) Soient x, y R, montrer que 1 + |x y 1| (1 + |x 1|) 1 + | y 1| .
MPSI - COURS

Fradin
c
Patrick http://mpsi.tuxfamily.org

10

Exercices

Chapitre 6 : Nombres rels

Exercice 6.3
Rsoudre dans R : a)

1+x
1x

1 x ;

b) |1 x| 2|x| 1 ;

c) |x + 2|

1x
.
1+x

Exercice 6.4
Dmontrer les assertions suivantes :
a) x, y R, E(x + y) = E(x) + E( y) + " avec " = 0 ou 1.
b) x, y R, E(x y) = E(x) E( y) " avec " = 0 ou 1.
c) x R , n N , E(

E(nx)
)
n

= E(x).

d) x R, n N , 0 E(nx) nE(x) n 1.
e) n, m Z , E( n+m
) + E( nm+1
) = n.
2
2
Exercice 6.5
a) Soit f : R R telle que f est nulle sur [0; 1[ et n Z, x R, f (x + n) = f (x) + n. Montrer
que f est la partie entire.
n
P
b) Montrer que pour tout rel x,
E( x+k
) = E(x).
n
k=0

Exercice 6.6
Soient A et B deux parties non vides et bornes de R+ , on pose AB = {a b / a A, b B}. Montrer
que lensemble AB admet une borne suprieure et que sup(AB) = sup(A) sup(B).
Exercice 6.7
a) Soit A une partie non vide et borne de R, montrer que :
sup({|x y| / x, y A}) = sup(A) inf(A)
b) Soit A une partie non vide de R avec A [a; b] o 0 < a < b. Calculer les bornes infrieure et
suprieure de lensemble B = { xy / x, y A}.
Exercice 6.8
Dterminer les bornes infrieure et suprieure (si elles existent) des ensembles suivants :
1

x2

xy
{ + (1) / n N } ; {
/
x

R}
;
{
/ x, y R+ }.
2
2
2
n
1+ x
x +y
n

Exercice 6.9
Soient x 0 un rel strictement positif, et p un entier strictement suprieur 1, fixs. On tablit dans
cet exercice, lexistence de la fonction racine p-ime. On pourra utiliser que si (un ) est une suite
convergente de limite ` et si pour tout n on a un > , o dsigne un rel, alors on a ` . On


note A0 = y R / y p x 0 .
a) Montrer que A0 est non vide.
b) Montrer que (1 + x 0 ) p 1 + p x 0 . En dduire que A0 est major par 1 + x 0 . Que peut-on en
conclure ?
On note c = sup(A0 ), un = c(1 1n ) et vn = c(1 + 1n ) (pour n > 0).
c)

i) Montrer quon a toujours x 0 A0 ou bien


En dduire que 0 < c.

1
x0

A0 (on distinguera x 0 1 et x 0 > 1).

ii) Justifier lexistence dun rel a A0 tel que un < a c. En dduire que un A0 puis
que c p x 0 .
p

d) Justifier que vn > x 0 . En dduire que c p = x 0 . Par dfinition, le rel c est appel racine p-ime
de x 0 .
e) Montrer que la fonction racine p-ime est strictement croissante sur ]0; +[.

MPSI - COURS

Fradin
c
Patrick http://mpsi.tuxfamily.org

11

Exercices

Chapitre 6 : Nombres rels

Exercice 6.10
Soient a < b R, f : [a; b] [a; b] une fonction croissante, et A = {x [a; b] / x f (x)}.
a) Montrer que A admet une borne suprieure, celle - ci sera note c.
b) Montrer que c A.
c) En dduire que f (c) = c (on dit que c est un point fixe de f ).
d) Si on suppose que f est dcroissante, f admet - elle ncessairement un point fixe ?
Exercice 6.11
Soient a1 , . . . , an et b1 , . . . , bn des rels strictement positifs, montrer que :
inf(

a1
b1

, ,

an
bn

a1 + + an
b1 + + b n

sup(

a1
b1

, ,

an
bn

).

On raisonnera par rcurrence en commenant par le cas n = 2.


Exercice 6.12
a) Lensemble des irrationnels est - il : stable pour laddition ? stable pour la multiplication ?
p
p
p p
p
b) Montrer que 3, 6 et 6 2 3 sont irrationnels.
Exercice 6.13
p
a) Soit E = { 2n / p Z, n N}, montrer que E est dense dans R.
b) Soit A = {r 3 / r Q}, montrer que A 6= Q et que A est dense dans R.
9

r
c) Mme question avec A = { 1+r
6 / r Q}.

Exercice 6.14
Dmontrer les ingalits suivantes :
n+1

|
a) x R \ {1} : | 1x
1x
b) x, y R : x + y

1
2

1|x|n+1
1|x|

n+1

; | 1x
|
1x

+ x2 + y2 ;

c) Soient x 1 , . . . , x n [0; 1] : 1

n
P

d) n N :

n p
P

xi

k=1

4n+3 p
6

x 2+ y2
.
2

x + y (1 + x 2 )(1 + y 2 ) ; |x y|

i=1
2n p

1+|x|n+1
.
|1|x||

n
Q

(1 x i ) ;

i=1

n
Q

x i 2n ou

i=1

n
Q

(1 x i ) 2n .

i=1

n.

Exercice 6.15
a) Soient E et F deux ensembles, soit f : E F R une application minore, montrer que :
inf

(x, y)EF

f (x, y) = inf ( inf f (x, y)) = inf ( inf f (x, y))


xE yF

yF xE

b) Application : quelle condition un paralllogramme de surface S donne a - til un primtre


minimal ?

MPSI - COURS

Fradin
c
Patrick http://mpsi.tuxfamily.org

12

Vous aimerez peut-être aussi