Nombres Réels Complétude
Nombres Réels Complétude
Nombres Réels Complétude
html
Propriété – Toute partie non vide minorée dans R admet une borne inférieure.
On note B l’ensemble de ses minorants. Par construction, tout élément de A est donc supérieur à tout élément de B .
Par définition, l’ensemble B est non vide et il existe au moins un élément de A qui majore B . D’après la propriété précédente,
l’ensemble B admet une borne supérieure que l’on peut noter s .
Soit b un minorant de A . Par définition, on a b ∈ B donc b ≤ s . Finalement, s est bien le plus grand des minorants de A .
En particulier, ces propriétés permettent de démontrer le résultat suivant.
Propriété – Soit A une partie de R satisfaisant la propriété suivante :
pour tout ( x , y, z) ∈ R3 , si x ∈ A et z ∈ A avec x ≤ y ≤ z alors y ∈ A .
Alors A est un intervalle s'écrivant sous l'une des formes standard.
Caractère archimédien
La complétude intervient de façon essentielle dans les propriétés suivantes.
Propriété – L'ensemble N n'est pas majoré dans R.
Démonstration – On raisonne par l'absurde.
Supposons que N soit majoré dans R. Comme il est non vide, il admet une borne supérieure que l’on peut noter s . Donc le réel
s −1 n’est pas un majorant de N donc il existe un entier n tel que n > s − 1 d'où n + 1 > s ce qui est contradictoire avec la
définition de s .
Caractère archimédien de R
Pour tout M ∈ R+ , pour tout δ ∈ R∗+ , il existe n ∈ N tel que n δ > M .
M
Il existe n ∈ N tel que n > donc n δ > M .
δ
1 of 4 1/8/2024, 1:41 PM
Nombres réels : complétude https://www.boilley.ovh/cours/reels-completude.html
Racine carrée
Définition
Propriété – Pour tout x ∈ R+ il existe un unique r ∈ R+ tel que r 2 = x .
On pose A = { t ∈ R : t 2 ≤ x} .
x − r 2 ≤ inf { 3nr , n ∈ N* } = 0 .
1 1 1
De même, pour tout n ∈ N* tel que n > , on a r − < r donc il existe t ∈ A tel que r − < t d'où
r n n
Définition – Pour tout x ∈ R+ , l'unique réel r ∈ R+ tel que r 2 = x est appelé racine carrée de x et noté √ x .
En particulier, on a √ 0 = 0 et √ 1 = 1 .
L'équation a x 2 + b x + c = 0 d’inconnue x est alors appelée équation du second degré et ses solutions sont les racines du
trinôme.
Propriété – On distingue trois cas.
√Δ √Δ
(
⁃ Si Δ > 0 , le trinôme se factorise sous la forme a x + 2 a + 2 a
b
) ( x + 2ba − 2a ) et il y a exactement deux
−b − √ Δ −b + √ Δ
racines réelles distinctes qui sont et .
2a 2a
−b
( b
)
⁃ Si Δ = 0 , le trinôme se factorise en a x + 2 a 2 et il a une seule racine réelle qui est
2a
.
2 of 4 1/8/2024, 1:41 PM
Nombres réels : complétude https://www.boilley.ovh/cours/reels-completude.html
Pour tout x ∈ R on a a x 2 + b x + c = a x 2 + a x + a ( b c
(
) = a ( x + 2ba ) 2 − 4ba
2
2 +
4a c
4a2 )
= a ((
suivants.
x +
b
2a ) 2 − 4Δa 2 ) dont la dernière forme est appelée forme canonique et on se ramène bien à l'un des trois cas
Approximation
Principe général
Soit ( x , α , ε ) ∈ R2 × R∗+ . On dit que x est une valeur approchée de α avec une précision inférieure à ε si on a
x − α ≤ ε . La valeur approchée est dite par défaut si x ≤ α et par excès si x ≥ α .
L'erreur absolue de x par rapport à α est le nombre x − α . Si α ≠ 0 , l'erreur relative de x par rapport à α est le quotient
x−α
.
α
Propriétés
⁃ Si x et y sont des approximations respectives de α et β avec des erreurs absolues respectives ε et η , alors x+ y et
x − y sont des approximations respectives de α +β et α −β avec des erreurs absolues inférieures à ε+ η .
⁃ Si x et y sont des approximations respectives des réels non nuls α et β avec des erreurs relatives respectives ε et η ,
alors x ×y est une approximation de α ×β avec une erreur relative inférieure à ε+ η+ ε η .
1
⁃ Si x est une approximation (non nulle) de α ≠ 0 avec une erreur relative ε < 1 , alors est une approximation
x
1 ε
de avec une erreur relative inférieure à .
α 1 −ε
Approximation entière
Propriété – Tout réel est compris entre deux entiers relatifs.
Démonstration – Soit x ∈ R . On distingue deux cas.
⁃ Si x ≥ 0 alors d’après le caractère archimédien il existe n ∈ N tel que n ≥ x donc on a 0 ≤ x ≤ n .
⁃ Si x ≤ 0 alors − x ≥ 0 donc comme dans le cas précédent il existe n ∈ N tel que n ≥ − x et on obtient − n ≤ x ≤ 0 .
Ceci permet de montrer que pour tout x ∈ R l’ensemble A = {k ∈ Z : k ≤ x } est non vide et majoré dans Z donc admet un
plus grand élément.
Définition – Pour tout x ∈ R on appelle partie entière de x et on note E(x ) ou [ x] le plus grand entier inférieur ou égal à x .
On pose q = E b ( a ) . Alors on a q≤
a
b
< q + 1 donc b q ≤ a < b(q + 1) donc 0≤ a − bq < b .
3 of 4 1/8/2024, 1:41 PM
Nombres réels : complétude https://www.boilley.ovh/cours/reels-completude.html
Supposons qu’il existe un autre couple ( q′, r′ ) ∈ Z×R tel que a = b×q′ + r′ et 0 ≤ r′ < b .
r′ − r
Alors on trouve b ×q + r = b ×q′ + r′ donc b×( q − q′) = r′ − r donc l’entier q − q′ est égal à .
b
Mais les inégalités 0 ≤ r′ < b et − b < − r ≤ 0 impliquent les inégalités − b < r′ − r < b donc
r′ − r
−1 < < 1.
b
Le seul entier strictement compris entre −1 et 1 étant 0, on en déduit q = q′ donc par soustraction, r′ = r .
Finalement, le quotient euclidien et le reste sont uniques.
Approximation décimale
Pour distinguer les réels, l'approximation entière peut ne pas être suffisante mais les rationnels sont suffisamment dispersés pour ce
faire.
Densité des rationnels dans R
Pour tout ( x, y) ∈ R2 tel que x < y , il existe r ∈ Q tel que x < r < y .
1 1 1
On a y − x > 0 donc > 0 donc il existe n ∈ N* tel que n > d’où < y − x.
y−x y−x n
1 q +1 1 q +1
On note ensuite q le quotient euclidien de la division de x par et on trouve x < mais y>x+ > .
n n n n
En pratique, on peut même se restreindre aux décimaux, qui sont des quotients d'un entier par une puissance de 10.
Propriété – Pour tout ( x, k) ∈ R × Z il existe un unique p ∈ Z tel que p × 10 k ≤ x < ( p + 1) × 10 k .
Les nombres p × 10 k et ( p + 1) × 10 k sont alors respectivement appelés approximation décimale par défaut et par
excès de x à 10 k près.
Compétences
⁃ Factoriser une expression du second degré, voire résoudre des équations bicarrées
⁃ Comparer des expressions avec des radicaux
Ce document est mis à disposition selon les termes de la Licence Creative Commons Paternité - Partage à l’identique 3.0 non
transposé.
4 of 4 1/8/2024, 1:41 PM