Bonjour ,
En étudiant le cours sur les nombres réels de MPSI , je tombe sur un exemple que je n'arrive pas à comprendre comme il faut , le voici :
(Je marque en bleu les passages qui posent problème .)
Début -----------------------
Exemple :
Soit l'ensemble admet une borne supérieure qu'on note , en effet :
Montrons que |
Posons
. Pour
on a :
En prenant , on obtient
Par suite , pour tout
de
:
Et donc
puisque
et
. Ainsi , le réel
est un majorant de
strictement plus petit que
, contradiction !
Posons
. Pour
on a :
En prenant , on obtient
Et donc ,
est un élément de
strictement plus grand que
, ce qui contredit le fait que
est un majorant de
.
Fin-------------------
Mes questions sont les suivantes :
1) De le cas où l'on suppose que
, l'auteur prend
.
Si
, j'obtiens bien
, mais si
, j'obtiens
, comment trouve-t-il la minoration
dans ce cas ?
2) De même en fait , dans le cas où l'on suppose que
, on prend
.
Si
, ok, car j'obtiens
, mais si
, j'obtiens
, comment trouve-t-il la minoration
dans ce cas ?
Je vous remercie d'avance !