3
— Si α2<2, alors α < √2.
(je rappelle que entre deux réels distincts, il existe un rationnel. Cette
propriété est appelée densité de Qdans R.)
Il existe βdans Qtel que α < β < √2et par conséquent β∈Aet
qui est supérieure à α, ce qui est absurde.
— Un raisonnement analogue pour α2>2.
Correction de l’exercice 9 :
Soit (un)une suite d’entiers qui converge vers l∈R.
Par définition de la convergence de (un), on a :
∀ε > 0,∃N∈Ntel que n≥N⇒ |un−l|< ε. (3)
ceci implique que :
∀ε > 0,∃N∈Ntel que n≥N⇒l−ε < un< l +ε.
Pour ε=1
2, on obtient un Ntel que pour n≥N, on a un∈]l−1
2, l +1
2[.
On pose I=]l−1
2, l +1
2[.
Or l’intervalle Iest de longueur 1, il existe donc au plus un élément de
N. Donc I∩Nest soit vide soit un singleton {a}(un élément).
Comme, (un)est un entier, qui vérifie n≥N⇒un∈I∩N,
alors, I∩N={a}, et par suite : n≥N⇒un=a.
Donc la suite (un)est constante à partir de N.