Bornes suprieures et infrieures

Exercice 1 :
1. Montrer que pour tout ,
1
0< 2
( + ) 4
2. En dduire que

={ , , }
( + )2
Admet une borne infrieure et une borne suprieure que lon dterminera.
Allez : Correction exercice 1 :

Exercice 2 :
Pour chacun des exercices suivants, dterminer sil y a une borne infrieure, une borne suprieure, si
oui, les dterminer.
2 1
={ , } ; ={ , }
2 1 1 2
3
={ 3 , ]0,1[ ]1, +[} ; = { , ]0,1[ ]1, +[, }
| 1| | 1|
Allez : Correction exercice 2 :

Exercice 3 :
Soit
1 1
= { + ; , }

1. Montrer que est major et minor.
2. En dduire que possde une borne suprieure et une borne infrieure.
Allez : Correction exercice 3 :

Exercice 4 :
Soit
(1) 2
={ + ; }

1. Montrer que est minor et major.
2. Montrer que admet un plus grand lment et le dterminer.
3. Montrer que admet une borne suprieure et une borne infrieure et les dterminer.
Allez : Correction exercice 4 :

Exercice 5 :
Soit
+1
={ ; , 3}
+2
Montrer que admet une borne infrieure et une borne suprieure et les dterminer.
Allez : Correction exercice 5 :

Exercice 6 :
Soit
 2
={ 2 , , }
+ 2
1. Montrer que admet une borne infrieure et la dterminer, est-ce un minimum ?
2. Montrer que admet une borne suprieure et la dterminer, est-ce un maximum ?
Allez : Correction exercice 6 :

Exercice 7 :
Soit
2
={ ; , }
2 + 3
1. Montrer que est minor et major.
2. En dduire que admet une borne suprieure et une borne infrieure et les dterminer.
Allez : Correction exercice 7 :

Exercice 8 :
1
On considre la partie = {(1) + ; }
Dmontrer que possde une borne infrieure et une borne suprieure, dterminer chacune dentre elle.
Allez : Correction exercice 8 :

Exercice 9 :
Soient
(1) 2 (1) 2
={ + ; } et = { + ; ; }

1. Montrer que possde dans une borne suprieure, une borne infrieure et les dterminer.
2. Montrer que possde dans une borne suprieure, une borne infrieure et les dterminer.
Allez : Correction exercice 9 :

Exercice 10 :
Soient et = { = ; }
1. Montrer que est minor si et seulement si est major.
2. En supposant que est major, dmontrer que admet une borne infrieure et que
inf() = sup()
Allez : Correction exercice 10 :

Exercice 11 :
On rappelle que si est un intervalle ouvert, quel que soit , il existe > 0 tel que :
] , + [
Plus gnralement, un sous-ensemble de vrifiant la proprit :
, > 0, ] , + [
est dit ouvert .
Soit un intervalle ouvert. On veut dmontrer quil nexiste pas de sous-ensemble ouverts non vides
et de tels que = et = (autrement dit tels que {, } soit une partition de ). Pour
cela on va supposer que de tels ensemble et existent pour aboutir une contradiction. On considre
pour cela et et lensemble
= { [0,1]; + ( ) }
1. Montrer que admet une borne suprieure, que lon appellera . (On ne demande pas de trouver
).
2. Montrer (en utilisant le fait que est ouvert) que + ( ) .
 3. En dduire (en utilisant le fait que est un intervalle) que + ( ) .
4. Montrer (en utilisant le fait que est ouvert) que ceci contredit le fait que soit la borne
suprieure de .
Allez : Correction exercice 11 :

CORRECTIONS

Correction exercice 1 :

1. et tant strictement positifs on a 0 < (+)2
1 ( + )2 4 2 + 2 + 2 4 2 2 + 2 ( )2
= = = = 0
4 ( + )2 ( + )2 ( + )2 ( + )2 ( + )2
Donc
1

( + )2 4

2. (+)2 est born donc admet une borne infrieure telle que 0 (car est le plus grand des
1
minorants) et une borne suprieure telle que (car le le plus petit des majorants).
4

Comme pour tout > 0 et > 0, (+)2, en prenant = 1 on a :

0
(1 + )2
Ce qui implique que 0, on a donc = 0.

Comme pour tout > 0 et > 0, (+)2 , en prenant = on a :
2

( + )2
Puis
2 2 1
= =
( + )2 42 4
1 1
Montre que et finalement = .
4 4
Allez : Exercice 1 :

Correction exercice 2 :
2
On pose = 2 1, la suite ( ) est valeur strictement positive
2+1
+1 2+1 1 2 1 2+1 2
= = 2 = <1
2 2+1 1 2+1 1
2 1
Donc cette suite est strictement dcroissante, on en dduit que
2 2
sup() = 1 = =2 et inf() = lim =1
21 + 2 1
Remarque : admet un maximum 2 mais pas de minimum.
1 2
= 2 1, par consquent = ces deux ensembles ont les mmes bornes suprieures et
12
infrieures.
3
lim = +
1 | 3 1|
1
Donc nadmet pas de borne suprieure.
3
Il est vident que pour tout ]0,1[ ]1, +[, |3 1| 0 donc 0 est un minorant de par consquent
0 inf( )
Puis remarquons que
 3
lim =0
0 | 3 1|
0
Donc
inf( ) 0
En conclusion
inf( ) = 0
Remarque : 0 nest pas un minimum.
Remarque : on aurait pu tudier la fonction
]0,1[ ]1, +[
3
3
| 1|
En faisant attention distinguer les cas ]0,1[ (o 3 1 < 0) et ]1, +[ (o 3 1 > 0).
Pour lensemble on fait strictement le mme raisonnement que pour lensemble . na pas de borne
suprieure et sa borne infrieure est 0.
Allez : Exercice 2 :

Correction exercice 3 :
1 1
1. Comme 1 et 1, 0 < 1 et 0 < 1, on a donc
1 1
0< + 1+1 = 2

Ce qui montre bien que est major et minor.
2. Pour = = 1, on a
1 1
+ =2

Donc 2 est le maximum, par consquent sa borne suprieure.
0 est un minorant de donc 0 inf()
Et
1 1
lim ( + )=0
+
+
Donc inf() 0 et finalement inf() = 0
Allez : Exercice 3 :

Correction exercice 4 :
(1)+2
1. La premire ide serait de montrer que la suite ( ) de terme gnral = est

croissante ou dcroissante mais cela ne marche pas, vrifions le tout de mme
(1)+1 + 2 (1) + 2 ((1)+1 + 2) ((1) + 2)( + 1)
+1 = =
+1 ( + 1)
+1
((1) + 2 (1) 2) ((1) + 2) 2(1)+1 (1) 2

= =
( + 1) ( + 1)
+1
(1) (2 + 1) 2
=
( + 1)
Selon la parit de cette expression est positive ou ngative, la suite ( ) nest pas monotone,
il faut faire autrement.
Pour voir ce quil se passe on va calculer les premiers termes de cette suite
3 1 3 1 1
1 = 1; 2 = ; 3 = ; 4 = ; 5 = ; 6 =
2 3 4 5 2
Cela donne lide dtudier les deux sous-suites ( ) et ( ) de terme gnral :
 3 1
= 2 = et = 2+1 =
2 2 + 1
Ces deux suites sont manifestement positive, dcroissante et tende vers 0, on en conclut que
3
0 < < max(1 , 0 ) =
2
3
2. Daprs ltude prcdente 2 = 2 est le plus grand lment (le maximum)
3
3. 2
est un maximum et donc la borne suprieure.
lim = 0
+
Donc inf() 0,
Et comme pour tout , 0, 0 est un minorant donc on a inf() 0 et finalement
inf() = 0
Allez : Exercice 4 :

Correction exercice 5 :
Nous allons tudier la fonction
: ], 3]
+1

+2
] ]
est dfinie, continue et drivable sur , 3 (le seul problme de est = 2 qui est en dehors de
lintervalle dtude)
1 ( + 2) ( + 1) 1 1
( ) = = >0
( + 2) 2 ( + 2)2
est strictement croissante sur ], 3], sa borne infrieure est
+1
= lim =1
+ 2
Et sa borne suprieure (qui est aussi un maximum) est
= (3) = 2
Allez : Exercice 5 :

Correction exercice 6 :
1. Pour tout et pour tout ,
2
( + )2 0 2 + 2 + 2 0 ( 2 + 2 ) 2 1 (1)
2 + 2
On peut diviser car (et est non nul).
Ce qui signifie que est une partie de minore et videmment non vide, donc admet une borne
infrieure.
(1) montre que 1 est un minorant de , la borne infrieure tant le plus petit des majorants donc
inf() 1
Si on pose =
2 2 2
= = 1
2 + 2 2 2
Cela montre que
inf() 1
Par consquent
inf() = 1
Il sagit dun minimum car cette borne infrieure est dans .

2. Pour tout et pour tout

 2
( )2 0 2 + 2 2 0 2 + 2 2 1 (2)
2 + 2
Ce qui signifie que est une partie de majore et videmment non vide, donc admet une borne
suprieure.
(2) montre que 1 est un majorant de , la borne suprieure tant le plus petit des majorants donc
sup() 1
Si on pose =
2 2 2
= =1
2 + 2 2 2
Cela montre que
sup() 1
Par consquent
sup() = 1
Il sagit dun maximum car cette borne suprieure est dans .
Allez : Exercice 6 :

Correction exercice 7 :
1.
2 2 1
< = 1
2 + 3 2
Donc est major.
2
>0
2 + 3
Donc est minor.
2. Fixons = 1 et faisons tendre vers linfini.
2 2
lim = lim =1
+ 2 + 3 + 2 + 3
Donc
sup() 1
Dautre part
2
<1
2 + 3
Donc sup() 1 et finalement sup() = 1.
Allez : Exercice 7 :

Correction exercice 8 :
1
Manifestement la suite de terme gnral = (1) + est ni croissante ni dcroissante, elle est mme
de signe altern. Nous allons considrer les deux sous-suites ( )1 et ( )0 de nombres rels
dfinies par
1 1
= 2 = 1 + = 2+1 = 1 +
2 2 + 1
1 1 2 2( + 1) 1
1, +1 = 1 + (1 + ) = = <0
2( + 1) 2 2( + 1) ( + 1)
Donc la suite ( )1 est dcroissante
3
1 = et lim = 1
2 +
 1 1 2 + 1 (2 + 3)
1, +1 = 1 + (1 + )=
2( + 1) + 1 2 + 1 (2 + 3)(2 + 1)
2
= <0
(2 + 3)(2 + 1)
0 = 0 et lim = 1
+
1 1
= {1 + ; } {1 + ; }
2 2 + 1
1 1 3 3
sup() = max ( ({1 + ; }) , ({1 + ; })) = max ( , 0) =
2 2 + 1 2 2
Remarque : sup() = max()
1 1
inf() = min ( inf ({1 + ; }) , inf ({1 + ; })) = min(1, 1) = 1
2 2 + 1
Allez : Exercice 8 :

Correction exercice 9 :
1. On pose pour tout 1 :
(1) 2
= +

Cette suite est ni croissante ni dcroissante ( vrifier)
On pose
1 2 3 1 2 1
1, = 2 = + = et 0, = 2+1 = + =
2 2 2 2 + 1 2 + 1 2 + 1
Les suites ( )1 et ( )0 sont dcroissantes, cest vident.
3
1 = et lim = 0
2 +
0 = 1 et lim = 0
+
3 3
sup() = max( ; 1, ; 0) = max ( , 1) =
2 2
Remarque cette borne suprieure est un maximum.
inf() = min( ; 1, ; 0) = min(0; 0) = 0
Remarque : cette borne infrieure nest pas un minimum.
2.
(1) 2
sup() = sup ({ ; }) + sup ({ ; })

En distinguant pair et impair, on voit que :
(1) (1)2 1
sup ({ ; }) = =
2 2
2
Comme la suite de terme gnral de terme gnral est dcroissante donc
2
sup ({ ; }) = 2

On en dduit que
1 5
sup() = +2=
2 2
Remarque : cette borne suprieure est un maximum.
(1) 2
inf() = inf ({ ; }) + inf ({ ; })

En allant un peu vite et en distinguant pair et impair
 (1) })
(1)1
inf ({ ; = = 1
1
2
Comme la suite de terme gnral de terme gnral est dcroissant et tend vers 0 donc
2
inf ({ ; }) = 0

(1)
2
inf() = inf ({ ; }) + inf ({ ; }) = 1 + 0 = 1

Remarque : cette borne infrieure nest pas un minimum.
Allez : Exercice 9 :

Correction exercice 10 :
1. Si est minor alors il existe tel que pour tout , alors il existe tel que
pour tout , , comme tous les lments de sont de la forme , , cela montre
quil existe tel que pour tous , , autrement dit est major.
Rciproque :
Si est major, il existe tel que pour tous , alors il existe tel que pour
tous , , comme tous les lments de sont de la forme , , il existe
tel que pour tous , , autrement dit est minor.
2. Si est major, admet une borne suprieure sup() et daprs le 1. est minor et donc admet
une borne infrieure inf().
Pour tout un majorant de : sup()
Daprs 1. est un minorant de : inf()
On en dduit que pour tout , majorant de : inf() , cela entraine que
inf() sup()
De mme pour un minorant de : inf()
Daprs 1. est un majorant de : sup()
On en dduit que pour tout , minorant de : sup() , cela entraine que
sup() inf()
Donc
sup() = inf() inf() = sup()
Allez : Exercice 10 :

Correction exercice 11 :
1. [0,1], ce qui signifie que est une partie de borne par 1 et non vide car = 0 ( )
donc admet une borne suprieure.
2. Si + ( ) alors il existe > 0 tel que
] + ( ) , + ( ) + [
Car est un ouvert.
Ce qui entraine que

+ ( ) +
2
Or
1 1
+ ( ) + = + ( ) + ( ) = + ( + ) ( )
2 2 2
Donc
1
+ ( + ) ( )
2
Et par dfinition de :
 1
+
2
Ce qui nest pas possible car
1
<+
2
Et est supposer tre la borne suprieure de .
Par consquent + ( ) .
3. [0,1] donc
0 ( )
Ce qui entraine que
+ ( )
+ ( ) [, ] comme est un intervalle + ( ) , de plus Daprs 2.
+ ( ) donc + ( ) puisque = .
4. Comme est ouvert et que + ( ) il existe tel que
] + ( ) , + ( ) + [
Ce qui entraine que

+ ( )
2
Or
1 1
+ ( ) = + ( ) ( ) = + ( ) ( )
2 2 2
Donc
1
+ ( ) ( )
2
Ce qui entraine que
1
+ ( ) ( )
2
1 1 1
Comme 2 < 1, 2 [0,1] (quitte diminuer pour que 2 reste
positif) et par dfinition de :
1

2
Ce qui nest pas possible car
1
<
2
Comme pour tout > 0, , en prenant
1
=
2
Il y a une contradiction. Elle se situe dans limplication
1 1
+ ( ) ( ) + ( ) ( )
2 2
Cest--dire dans le fait que =
Allez : Exercice 11 :