01 Ensembles

Ensembles - 1 - ECS 1
ENSEMBLES

I Gnralits
1) Ensembles et proprits
Une proposition (proprit) mathmatique est un nonc qui peut tre vrai ou faux.
Exemple : 5 est plus grand que 1 est vraie, mais 3 est plus petit que 1 est faux.
Lorsque cette proposition P comporte une ou plusieurs lettres (variables), elle peut tre
vraie pour certaines valeurs de la variable et fausse pour dautres. On lui associe
lensemble des valeurs de la variable pour lesquelles la proposition est vraie :
{ / ( ) est vraie}
P
S x E P x = .
Exemple : x est plus grand que 1 est vraie si ]1, [ x + et faux sinon : ]1, [
P
S = + .
On note lensemble vide (qui na aucun lment).
Si
P
S E = , on crira : ( ) x E P x (quantificateur universel)
Si
P
S , on crira : ( ) x E P x (quantificateur existentiel)
Exemple :
2
0 x x R et
2
1 x x = C .
On tablit ainsi une correspondance entre les proprits et les ensembles. Les
ensembles sont dfinis :
- soit en extension : par la liste de leurs lments.
- soit en comprhension : par une proprit caractristique de leurs lments.
Si E est lensemble, on notera
E
P la proprit correspondante.
Exemple : Rsoudre lquation
3 2
2 3 3 2 0 x x x + = , cest dterminer lensemble S
des rels x qui vrifient lgalit. Lensemble S est donc dfini en comprhension :
{ }
3 2
/ 2 3 3 2 0 S x x x x = + = R . On a fini de rsoudre lquation lorsque lon a
dtermin les lments de S :
)
`
= 1 ,
2
1
, 2 S . On a exprim S en extension.
Symbolisme
des ensembles
Langage
des ensembles
Langage
des proprits
Symbolisme
des proprits
E a a appartient E.
a est lment de E.
a vrifie
E
P .
E
P est vraie pour a.

E a a nappartient pas E.
a nest pas lment de E.
a ne vrifie pas
E
P .
E
P est fausse pour a.

F E E est inclus dans F.
E est une partie de F.
Tout lment de E est
lment de F.
Si
E
P est vraie, alors
F
P
est vraie.
Pour que
F
P soit vraie, il
suffit que
E
P soit vraie.
E F
P P
F E = E est gal F.
E et F ont les mmes
lments.
Revient dmontrer :
F E et E F
E
P est vraie si et
seulement si
F
P est vraie.
Revient dmontrer :
F E
P P et
E F
P P
E F
P P
On note ) (E P lensemble de toutes les parties dun ensemble E. Cet ensemble ) (E P
contient toujours E et .
Cours de mathematiques - ECS1 - Catherine Laidebeure - Lycee Albert Schweitzer, Le Raincy - 2011
Exemple : Si { } 2 , 1 = E , alors les parties de E sont des ensembles dont les lments
sont 1 ou 2 (ou tous les deux, ou ni lun ni lautre) : { } 1 , { } 2 , { } 2 , 1 et Y.
Donc ) (E P est lensemble de ces quatre ensembles : { } { } { } { } 2 , 1 , 2 , 1 , ) ( Y = E P .
Pour raisonner sur les ensembles (ou sur les proprits),
on les schmatise souvent par des diagrammes.
Par exemple F E sera schmatis par :
2) Intersection et runion
Dfinition : Soient A et B sont deux parties dun mme ensemble E.
On appelle intersection de A et B la partie { } B x A x E x B A = et / . Cest
lensemble des lments x de E qui vrifient simultanment les proprits
A
P et
B
P .
Cest lensemble des lments communs A et B.
Le schma correspondant est :

Proprits : Pour toutes parties A, B et C de E :
A B A et A B B . Donc : Y Y= A .
Si A B , alors A B A = . Donc : A E A = .
A B B A = (commutativit).
C B A C B A = ) ( ) ( (associativit).
Leur dmonstration est triviale sauf la dernire. On raisonne par double inclusion.
Premire mthode : F G si et seulement si x F x G .
Soit ( ) x A B C . Donc x A et x B C . Donc x A et x B et x C .
Donc x A B et x C . Donc ( ) x A B C .
Donc ( ) ( ) A B C A B C .
Soit ( ) x A B C . Donc x A B et x C . Donc x A et x B et x C .
Donc x A et x B C . Donc ( ) x A B C .
Donc ( ) ( ) A B C A B C .
Donc : C B A C B A = ) ( ) ( .
Deuxime mthode : F G H si et seulement si F G et F H .
B C B donc ( ) A B C A B .
( ) A B C B C C .
`
)
Donc ( ) ( ) A B C A B C .
A B B donc ( ) A B C B C .
( ) A B C A B A .
`
)
Donc ( ) ( ) A B C A B C .
Donc : C B A C B A = ) ( ) ( .
Si Y = B A , on dit que les parties A et B sont disjointes.
Les proprits
A
P et
B
P ne sont pas tre vraies simultanment : elles sont incompatibles.
Dfinition : Soient A et B sont deux parties dun mme ensemble E.
On appelle runion de A et B la partie { } B x A x E x B A = ou / . Cest
lensemble des lments x de E qui vrifient au moins lune des proprits
A
P ou
B
P .
On peut remarquer que le ou nest pas exclusif.
E F
A
B
A
B
A A B et B A B . Donc : A B A B et E E A = .
Si A B , alors A B B = . Donc : A A = Y .
A B B A = (commutativit).
C B A C B A = ) ( ) ( (associativit)
Leur dmonstration est triviale sauf la dernire. Les deux mthodes prcdentes
peuvent tre utilises. Ici : G H F si et seulement si G F et H F .
( ) A A B A B C .
B A B donc ( ) B C A B C .
`
)
Donc ( ) ( ) A B C A B C .
( ) C B C A B C .
B B C donc ( ) A B A B C .
`
)
Donc ( ) ( ) A B C A B C .
Donc : C B A C B A = ) ( ) ( .
) ( ) ( ) ( C A B A C B A = .
) ( ) ( ) ( C A B A C B A = .
Dmonstration : On raisonne toujours par double inclusion. Mais ici la deuxime
mthode ne fonctionne pas dans les deux sens.
Soit ( ) x A B C . Donc x A et x B C . Or x B C si et seulement si
x B ou x C . Donc il y a deux cas : soit x B , donc x A et x B , donc
x A B soit x C , donc x A et x C , donc x A C . Donc x A B
ou x A C . Donc ( ) ( ) x A B A C .
Donc ( ) ( ) ( ) A B C A B A C .
A B A et A C A . Donc ( ) ( ) A B A C A .
A B B B C et A C C B C . Donc ( ) ( ) A B A C B C .
Donc ( ) ( ) ( ) A B A C A B C .
Donc : ) ( ) ( ) ( C A B A C B A = .
On peut gnraliser ces notations lintersection ou la runion dun nombre
quelconque n de parties que lon numrote laide de lensemble 1, I n = :
1
1
...
n
n k k
k k I
A A A A
=
= =
I I

1
1
...
n
n k k
k k I
A A A A
=
= =
U U

On verra plus tard que lon peut mme gnraliser une infinit de parties.
Dfinition : Des parties non vides
1
,...,
n
A A dun mme ensemble E forment une
partition de E si elles sont deux deux disjointes ( Y =
j i
A A pour tous j i ) et si
leur runion est gale E.

3) Complmentaire dune partie
Dfinition : Si A est une partie dun ensemble E, on appelle complmentaire de A
dans E la partie : { } ( ) /
E
A A x E x A = = . Cest lensemble des lments x de E
qui ne vrifient pas
A
P . La proprit caractristique
A
P est donc la ngation de
A
P .


1
A
2
A
n
A
A A
E
Proprits : Pour toutes parties A et B de E :
Y = E E = Y
A A = Y = A A E A A =
B A est quivalent A B .
Lois de Morgan : B A B A = B A B A =
Les premires sont videntes. Montrons les trois dernires :
Supposons que B A . Soit x B . Donc x B . Or B A . Donc x A . Donc
x A . Donc A B . La rciproque se dmontre en appliquant ceci A et B .
Consquence : Dmontrer
A B
P P est quivalent dmontrer
B A
P P
(raisonnement par contrapose).
A B A donc A A B
A B B donc B A B
`
)
Donc A B A B .
A A B donc A B A
B A B donc A B B
`
)
Donc A B A B .
On applique les deux proprits dmontres prcdemment A et B . On
obtient : A B A B et A B A B , puisque A A = et B B = . Donc en
prenant les complmentaires : A B A B et A B A B .
On dit de manire abrge que la ngation de et est ou et inversement.
On a vu que ( ) x E P x signifie
P
S E = , donc
P
S = . Donc la ngation de
cette phrase correspond
P
S , donc ( ) x E P x .
De mme la ngation de ( ) x E P x est ( ) x E P x .
Exemple : La ngation de Tous les chats sont gris est Il existe un chat qui nest
pas gris . La ngation de Vous tes admissible un concours est Vous tes
refus tous les concours .
Quelle que soit la partie A de E, A et A forment une partition de E.
Dmontrer que B A = quivaut dmontrer que A B = et A B E = .
4) Autres oprations
Dfinition : Si A et B sont deux parties de E, on dfinit :
la diffrence : A B A B = ensemble des lments de E qui appartiennent A
et pas B.
la diffrence symtrique ( ) ( ) A B A B A B = ensemble des lments de E
qui appartiennent A ou B, le ou tant exclusif.
Une autre expression est : ( ) ( ) A B A B A B = .
Des proprits de ces oprations seront vues en exercice.
5) Produit cartsien
Dfinition : Si E et F sont deux ensembles, on appelle produit cartsien de E par F
lensemble : {( , ) / et } E F x y x E y F = . Lorsque F E = , on note
2
E E E = .
On gnralise ces notations n ensembles :

1 1
1
... {( ,..., ) / 1, }
n
n k n k k
k
E E E x x k n x E
=
= =

Et on note
n
E si tous ces ensembles sont gaux E.
II Ensemble des entiers naturels
1) Proprits
Lensemble des entiers naturels N est muni :
dune addition commutative et associative qui possde un lment neutre 0. Mais
lquation a x b + = na pas toujours une solution dans N.
dune multiplication commutative et associative qui possde un lment neutre 1,
qui est distributive par rapport laddition. Mais lquation ax b = na pas
toujours une solution dans N.
dune relation dordre total : toute partie non vide de N possde un plus petit
lment et toute partie non vide majore possde un plus grand lment.
2) Rcurrence
Thorme : Toute partie de N qui contient 0 et qui contient le successeur de chacun
de ses lments est gale N.
En effet, soit A une partie de N telle que A 0 et A n A n + ) 1 ( .
On raisonne par labsurde en supposant que A N. Donc A est une partie non vide
de N, donc qui possde un plus petit lment a. Or 0 a puisque A 0 . Donc 1 a
est un lment de N qui nappartient pas A puisquil est plus petit que a. Donc
1 a A , et donc daprs la deuxime hypothse ( 1) 1 a A + , donc a A , ce qui
est impossible puisque a A . Donc la supposition tait fausse et N = A .
Lorsque lon a une proprit ) (n P , dfinie sur N, dmontrer pour tout entier
naturel, on peut lui associer lensemble A des entiers naturels n tels que ) (n P soit
vraie. On dfinit ainsi une partie A de N et on veut montrer que N = A . Il suffit donc
de dmontrer deux proprits prcdentes :
A 0 , cest--dire ) 0 ( P est vraie. Cest la phase dinitialisation.
A n A n + ) 1 ( , cest--dire chaque fois que ) (n P est vraie, alors ) 1 ( + n P
est vraie. Cest la phase dhrdit.
On aura ainsi dmontr que N = A , cest--dire que ) (n P est vraie pour tout n. Cest
le principe des dominos cascades : on pousse le premier (initialisation) et chaque
domino fait tomber le suivant (hrdit).
Plus gnralement, il se peut que lon ne puisse pas commencer 0, mais seulement
partir dun entier p. La partie A associe est alors lensemble des entiers naturels n tels
que ) ( n p + P soit vraie. En montrant que N = A , on montre que ) (n P est vraie
pour tout entier p n .
Thorme : Si une proprit ) (n P est dfinie pour tout entier p n et si elle vrifie
les deux hypothses suivantes :
Initialisation : ) ( p P est vraie.
Hrdit : chaque fois que ) (n P est vraie pour un entier p n , alors ) 1 ( + n P
est vraie.
Alors ( ) n P est vraie pour tout entier p n .
Exemple 1 : Dmontrer que 3 2 1
n
n n + N .
Ici, la rcurrence commence 0 = p et la proprit ) (n P est : 3 2 1
n
n + .
Initialisation. Pour 0 = n :
0
3 3 1
n
= = et 1 1 0 2 1 2 = + = + n . Donc 1 0 2 3
0
+ . Donc ) 0 ( P est vraie.
Hrdit.
Il sagit de montrer que chaque fois que ) (n P est vraie, alors ) 1 ( + n P est vraie.
On suppose donc que ) (n P est vraie pour un entier n, cest--dire que 1 2 3 + n
n
.
La supposition 1 2 3 + n
n
est appele hypothse de rcurrence .
On sait que
n n
3 3 3
1
=
+
. Donc en multipliant par 3 : 3 6 3
1
+
+
n
n
.
Or 2 6 et 0 n , donc n n 2 6 , donc
1
3 6 3 2 3
n
n n
+
+ + , donc
1
3 2( 1) 1
n
n
+
+ + .
Donc chaque fois que ) (n P est vraie, alors ) 1 ( + n P est vraie.
Conclusion : Donc pour tout entier 0 n , on a : 1 2 3 + n
n
.
Exemple 2 : Pour tout entier 1 n , on dfinit la somme : n S
n
+ + + = ... 2 1 que lon
note
1
n
n
k
S k
=
=
. Dmontrer que :
2
) 1 (
*
+
=
n n
S n
n
N .
Ici, la rcurrence commence 1 = p et la proprit ) (n P est :
( 1)
2
n
n n
S
+
= .
Initialisation.
Pour 1 = n :
1
1
n
S S = = et 1
2
) 1 1 ( 1
2
) 1 (
=
+
=
+ n n
. Donc
2
) 1 1 ( 1
1
+
= S .
Donc ) 1 ( P est vraie.
Hrdit.
Il sagit de montrer que chaque fois que ) (n P est vraie, alors ) 1 ( + n P est vraie.
On suppose donc que ) (n P est vraie pour un entier n, cest--dire que
( 1)
2
n
n n
S
+
= .
Et on montre alors que ) 1 ( + n P est vraie, cest--dire que
1
( 1)( 2)
2
n
n n
S
+
+ +
= .
Par hypothse de rcurrence :
2
) 1 ( +
=
n n
S
n
. Et on sait que ) 1 (
1
+ + =
+
n S S
n n
.
Donc
1
( 1) ( 1) 2( 1) ( 1)( 2)
( 1)
2 2 2
n
n n n n n n n
S n
+
+ + + + + +
= + + = = .
Donc chaque fois que ) (n P est vraie, alors ) 1 ( + n P est vraie.
Conclusion
On a vrifi les deux hypothses du thorme. Donc on peut conclure : la proprit
) (n P est vraie pour tout entier 1 n . Donc :
1
( 1)
*
2
n
n
k
n n
n S k
=
+
= =
N .
3) Autres Rcurrences
Le principe dune rcurrence est dutiliser chaque fois un rang pour dmontrer le
suivant. Mais parfois, un rang ne suffit pas, on en a besoin de plusieurs. On applique
alors le thorme une autre proprit ) (n Q .
Exemple : Soit la suite dfinie par 1
0
= u , 2
1
= u et N n
n n n
u u u =
+ + 1 2
2 .
Dmontrer que : N n ) 3 1 ( ) 1 ( n u
n
n
= .
Pour lhrdit, pour calculer
1 + n
u , on aura besoin de lexpression des deux termes
prcdents. Donc on fait une rcurrence double .
La proprit ) (n Q est forme de ) (n P et ) 1 ( + n P :
+ =
=
+
+
)] 1 ( 3 1 [ ) 1 (
) 3 1 ( ) 1 (
1
1
n u
n u
n
n
n
n
.
Initialisation : ) 0 ( Q est vraie car
= =
= =
1
1
0
0
2 ) 1 3 1 ( ) 1 (
1 ) 0 3 1 ( ) 1 (
u
u

Hrdit : On suppose que ) (n Q est vraie, donc que ) (n P et ) 1 ( + n P sont
vraies. On dmontre que ) 1 ( + n Q est vraie, donc que ) 1 ( + n P et ) 2 ( + n P sont
vraies. Pour ) 1 ( + n P , cest dans lhypothse de rcurrence. Il reste ) 2 ( + n P .
On suppose donc ) 3 1 ( ) 1 ( n u
n
n
= et ) 2 3 ( ) 1 ( )] 1 ( 3 1 [ ) 1 (
1
1
+ = + =
+
+
n n u
n n
n
.
) 3 5 ( ) 1 ( ) 3 1 ( ) 1 ( ) 2 3 ( ) 1 ( 2 2
1 2
n n n u u u
n n n
n n n
= + = =
+ +

Or
n n
) 1 ( ) 1 (
2
=
+
. Donc : )] 2 ( 3 1 [ ) 1 (
2
2
+ =
+
+
n u
n
n
. Donc ) 2 ( + n P est vraie.
Conclusion : ) (n Q est vraie pour tout n, donc ) (n P est vraie pour tout n.
Dans dautres cas, il faut supposer plus.
Thorme (Rcurrence forte) : Si une proprit ) (n P est dfinie pour tout entier
p n et si elle vrifie les deux hypothses suivantes :
Initialisation : ) ( p P est vraie.
Hrdit : chaque fois que, pour un entier p n , la proprit est vraie jusqu n,
donc ) ( p P , ) 1 ( + p P ,, ) (n P sont vraies, alors ) 1 ( + n P est vraie.
Alors ) (n P est vraie pour tout entier p n .
Ce thorme est issu directement du prcdent que lon applique la nouvelle
proprit ) (n Q : pour tout k n , ) (k P est vraie .
Exemple : On considre la suite dfinie par 1
0
= u et
=
+
=
n
k
k n
u u n
0
1
N .
Dmontrer que
1
2 *

=
n
n
u n N .
Initialisation :
0
0
0
0
1
2 1 = = = =
=
u u u
k
k
.
Hrdit : On suppose que
1
2 , 1

=
k
k
u n k T P pour un entier 1 n .
Donc
n
n
n
n
k
k
n
k
k n
u u 2
1 2
1 2
1 2 ... 2 1 1 2 1
1
1
1
0
1
=
+ = + + + + = + = =

=
=
+
.
Conclusion :
1
2 *

=
n
n
u n N .
Remarque : La rcurrence double ne rentre pas dans ce cas car lhrdit ncessite
effectivement deux termes, donc ne pourrait commencer qu 1. Il faudrait donc
initialiser en dmontrant ) 0 ( P et ) 1 ( P .
III Ensemble des entiers relatifs
Lensemble des entiers relatifs Z contient N. Ses proprits prolongent celles de N.
Il est muni :
dune addition commutative et associative, qui possde un lment neutre 0. Mais
de plus tout lment a possde un symtrique ( ) a , donc lquation a x b + = a
toujours une unique solution dans Z.
distributive par rapport laddition. Mais lquation ax b = na pas toujours une
solution dans Z.
dune relation dordre total : toute partie non vide minore de Z possde un plus
petit lment et toute partie non vide majore de Z possde un plus grand
lment.
On peut dcrire Z sous la forme : ( ) = Z N N . Donc, dmontrer une proprit sur
Z revient la dmontrer pour tout nN, puis pour tous les entiers ( ) n o nN.
IV Ensemble des nombres rationnels
Lensemble des rationnels Q contient Z. Ses proprits prolongent celles de Z. Il est
muni :
dune addition qui a les mmes proprits que celles de Z.
distributive par rapport laddition. Mais de plus tout lment non nul a un
inverse dans Q, donc lquation ax b = a une unique solution dans Q si 0 a .
dune relation dordre total. Mais on perd une partie des proprits.
Un premier problme est la non unicit de lcriture : tout rationnel scrit sous la
forme
p
x
q
= avec ( , ) * p q Z N , mais p et q ne sont pas uniques. Par contre, il existe
une unique forme irrductible (p et q nont pas de diviseur commun).
Un second problme est quil existe des parties non vides majores qui nont pas de
plus grand lment. Par exemple
2
{ / 2} A x x = Q est non vide (car 1 A ) et
majore par 2. On raisonne par labsurde. Supposons que A possde un plus grand
lment a, qui vrifie
2
2 a < . Montrons quil existe un lment
1
b a
n
= + (donc plus
grand que a) qui appartient A. Lentier n doit vrifier
2
2
2 1
2
a
a
n
n
+ < . Or 1 n ,
donc
2
n n , donc
2
1 1
n
n
. Il suffit donc que
2
2 1
2
a
a
n
+
< , donc
2
2 1
2
a
n
a
+
>
. Donc
si A a un plus grand lment a, il vrifie
2
2 a = , donc il existe deux entiers p et q tels
que
2 2
2 p q = et tels que la fraction
p
q
soit irrductible. Donc p est pair : 2 ' p p = .
Donc
2 2
2( ') q p = . Donc q est pair ce qui est impossible (fraction irrductible).
Cependant, une remarque importante est quentre deux rationnels x et y, il existe
toujours un autre rationnel
2
x y +
.
Parmi les rationnels, il y a les dcimaux : x est dcimal si 10
n
n x N Z.
V Ensemble des nombres rels
1) Structure
Lensemble des rels R contient Q. Ses proprits prolongent celles de Q.
Il est muni :
dune addition qui a les mmes proprits que celles de Q.
dune multiplication qui a les mmes proprits que celles de Q.
dune relation dordre total qui possde des proprits complmentaires.
2) Valeur absolue
Dfinition : max( , ) x x x x = R donc x x = si 0 x et x x = sinon.
On en rappelle quelques proprits.
Proprits : 0 x et 0 0 x x = = .
xy x y = et par consquent
n
n
x x = et
x
x
y y
=
x y x y x y + + (mais pas dgalit en gnral)
La valeur absolue est une distance sur R : x a est la distance entre a et x.
Consquences : Pour tous rels a et x, et tout rel positif r :
] , [ x a r x a r a r < + ] , [ ] , [ x a r x a r a r > + +
Lappartenance un intervalle est quivalente une ingalit en valeurs absolues.
Exemple : [3, 7] 5 2 x x , plus gnralement : [ , ]
2 2
a b b a
x a b x
+
.
3) Partie entire
Lensemble des intervalles [ , 1[ n n + avec n Z est une partition de R.
Donc : ! 1 x n n x n < + R Z .
Dfinition : On appelle partie entire dun rel x le plus grand entier infrieur ou gal
x. On le note Ent( ) x ou x (

. Donc par dfinition : Ent( ) Ent( ) 1 x x x x < + R .
Plus prcisment : Ent( ) et 1 n x n n x n = < + Z .
La partie entire dun entier est lui-mme : Ent( ) x x x = Z.
Daprs ce qui prcde, sur chaque
intervalle de la forme [ 1 , [ + n n o n
est un entier, on a lingalit :
1 [ 1 , [ + < + n x n n n x
Donc : n x n n x = + ) Ent( [ 1 , [ .
La fonction est donc constante sur
chacun des intervalles [ 1 , [ + n n .
La fonction partie entire est une
fonction en escalier croissante.
o

4) Borne suprieure et borne infrieure
Dfinition : On appelle borne suprieure dune partie A de R le plus petit des
majorants (sil existe) : sup
0
x A x M
M A
x A M x

=

>

La borne suprieure nappartient pas forcment A (par exemple b est borne
suprieure de ] , [ a b ). Lorsquelle appartient A, cest le plus grand lment de A.
Dfinition : On appelle borne infrieure dune partie A de R le plus grand des
minorants (sil existe) : inf
0
x A x m
m A
x A x m

=

> +

Le thorme suivant est le rsultat essentiel dans les proprits de R.
Thorme : Dans R, toute partie non vide majore possde une borne suprieure et
toute partie non vide minore possde une borne infrieure.
Ce thorme a videmment des consquences importantes pour les suites.
5) Consquences pour les suites
Thorme de convergence monotone : Dans R, toute suite croissante majore est
convergente et toute suite dcroissante minore est convergente.
Dmonstration : On suppose que la suite ( )
n
u est majore :
n
n u M N .
On note { / }
n
A u n = N . Cest une partie non vide (
0
u A ), majore par M.
Donc elle possde une borne suprieure a. Donc
0
0
0
n
n a u a > N .
Or la suite est croissante. Donc :
0
0 0
0
n n
n n n a u u a > N .
Donc :
0 0
0
n
n n n u a > N . Donc ( )
n
u converge vers a.
Consquence : Dans R, deux suites adjacentes sont convergentes et ont la mme
limite.
Rappel : Deux suites ( )
n
u et ( )
n
v sont adjacentes si lune est croissante et lautre
dcroissante, et si lim ( ) 0
n n
n
u v
+
= .
Dmonstration : Supposons ( )
n
u croissante et ( )
n
v dcroissante.
Sil existait un entier p tel que
p p
v u < , alors :
n p p n
n p v v u u < , et donc on
aurait 0
p p n n
n p u v u v < , ce qui est incompatible avec lim ( ) 0
n n
n
u v
+
= .
Donc :
n n
n u v N . Donc, tant donns les sens de variations des deux suites :
0 0 n n
n u u v v N . Donc la suite ( )
n
u est croissante majore par
0
v et la
suite ( )
n
v est dcroissante minore par
0
u . Donc les deux suites sont convergentes et
ont la mme limite car lim ( ) 0
n n
n
u v
+
= .
Consquence 1 : Tout rel est limite de deux suites adjacentes de rationnels : les
valeurs dcimales approches par dfaut et par excs.
Dmonstration : On pose : Ent(10 )
n
n
n a x = N , donc : 10 1
n
n n
a x a < + .
On dfinit les suites :
10
n
n
n
a
u = et
1
10
n
n
n
a
v
+
= . Donc :
n n
n u x v N .
Et :
1
lim ( ) lim 0
10
n n
n
n n
v u
+ +
= = .
De plus, puisque 10 1
n
n n
a x a + , on a
1
10 10 10 10
n
n n
a x a
+
< + .
Or
1
1
Ent(10 )
n
n
a x
+
+
= est le plus grand entier infrieur
1
10
n
x
+
. Donc :
1
10
n n
a a
+

et
1
1 10 10
n n
a a
+
+ + . Donc :
1 n n
u u
+
et
1 n n
v v
+
.
On obtient ainsi deux suites adjacentes donc convergentes vers la mme limite qui est
gale x car :
n n
n u x v N .
Rappel : Si a est un rel et n un entier, on appelle racine n
me
de a toute solution de
lquation
n
x a = .
Consquence 2 : Tout rel positif possde une unique racine n
me
positive note
n
a
Dmonstration : Soit 0 a .
Tout dabord, il y a unicit car sil y a deux solutions b et c, on aurait
n n
b c a = = . Or
si on avait b c < , alors on aurait
n n
b c < , et si on avait c b < , alors on aurait
n n
c b < .
Donc on a b c = , et donc il y a unicit. Montrons lexistence.
On considre
{ }
/
n
A x x a
+
= R . Cest une partie de R non vide car elle contient 0.
Elle est majore. En effet, si 1 a , on a
n
a a , donc
n n
x A x a , donc x a
car en raisonnant par labsurde, si on avait x a > , alors on aurait
n n
x a > . Et si 1 a < ,
alors 1
n
x A x , donc 1 x avec le mme raisonnement.
Donc A possde une borne suprieure b.
On suppose que
n
b a > . Pour tout x A , on sait que x b car b majore A.
Or :
1
1
0
( )
n
n n k n k
k
b x b x b x

=
=

, donc :
1
( )
n n n
b x nb b x
.
De plus x A , donc
n
x a , donc :
1
( )
n n n n
b a b x nb b x
.
Donc :
1
n
n
b a
x A x b
nb

. Donc
1
n
n
b a
b
nb

est un majorant de A.
Or il est plus petit que b. Donc cest impossible.
On suppose que
n
b a < . On va montrer quil existe un lment de A plus grand
que b, donc de la forme b + . Soit un rel tel que 0 1 < .
Daprs la formule du binme :
1
0 0
( )
n n
n k n k n k n k
k k
n n
b b b b
k k

= =
| | | |
+ = = +
| |
\ \

.
Or : 0 1 < , donc :
n k
. Donc :
1
0
( ) (1 )
n
n n k n n
k
n
b b b b b
k
=
| |
+ + + +
|
\
.
Donc pour que ( )
n
b a + , il suffit que
(1 )
n
n
a b
b

+
, et toujours 0 1 < .
Il suffit donc de prendre Min 1,
(1 )
n
n
a b
b
| |
=
|
|
+
\
et on obtient un lment de A plus
grand que b, ce qui est impossible.
Donc
n
b a = . Donc b est lunique racine n
me
de a.
VI Ensemble des nombres complexes
1) Structure et forme algbrique
Lensemble des complexes C contient R. Ses proprits prolongent celles de R. Il
est muni dune addition et dune multiplication qui ont les mmes proprits que celles
de R. Mais il contient un lment not i tel que
2
1 i = . A cause de cela, il nest pas
muni dune relation dordre compatible avec les oprations.
Tout nombre complexe z scrit de manire unique sous la forme z x iy = + o x et y
sont deux rels : Re( ) x z = et Im( ) y z = . Donc :
Re( ) Re( ')
'
Im( ) Im( ')
z z
z z
z z
=
=

=
.
Si Im( ) 0 z = , alors z est rel. Si Re( ) 0 z = , alors z est imaginaire pur.
Cela se traduit par :
'
' '
'
x x
x iy x iy
y y
=
+ = +

=
si
4
( , , ', ') x y x y R .
Les calculs dans C scrivent simplement en utilisant
2
1 i = , puis en rassemblant
partie relle et partie imaginaire.
Exemple : (3 2 )(2 5 ) 6 4 15 10 16 11 i i i i i + = + + = + .
2 2 2 2
( , ) ( ) 2 a b a b a ab b + = + + C .
2 2 2
( ) 2 a b a ab b = + .
2 2 2
( , ) ( )( ) a b a b a b a b = + C
2 2 2 2
( ) 2 2 2 a b c a b c ab ac bc + + = + + + + +
2 3 3 2 2 3
( , ) ( ) 3 3 a b a b a a b ab b + = + + + C .
3 3 2 2 3
( ) 3 3 a b a a b ab b = +
2 3 3 2 2
( , ) ( )( ) a b a b a b a ab b = + + C .
3 3 2 2
( )( ) a b a b a ab b + = + +

Plus gnralement :
1
0
( )
n
n n n k k
k
a b a b a b
=
=

.
Formule du binme de Newton :
0 0
( )
n n
n k n k n k k
k k
n n
a b a b a b
k k

= =
| | | |
+ = =
| |
\ \

o les coefficients
!
!( )!
n
n
k k n k
| |
=
|

\
sont les combinaisons que lon peut calculer par le
triangle de Pascal et qui vrifient les proprits :
n n
k n k
| | | |
=
| |
\ \

1
1
n n n
k k k
+ | | | | | |
= +
| | |
\ \ \
si 1 k n .
Exemple :
3
(3 2 ) 27 54 36 8 9 46 i i i i = + = .
On appelle nombre complexe conjugu de z x iy = + le complexe : z x iy = .
Proprits : ' ' z z z z + = + ' ' zz z z =
' '
z z
z z
| |
=
|
\

( )
( )
n
n
z z =
A laide de z et de son conjugu, on peut exprimer les parties relles et imaginaires.
Pour tout nombre complexe z : Re( )
2
z z
z
+
= et Im( )
2
z z
z
i
= . Donc :
- z est rel si et seulement si z z = .
- z est imaginaire pur si et seulement si z z =
2) Rappels de trigonomtrie
Si le plan a pour repre orthonorm ( , , ) O u v
r r
, tout rel , on peut faire correspondre
un unique point M du cercle trigonomtrique tel que soit une mesure de langle
( , ) u OM
uuuur
r
. On dfinit alors les lignes trigonomtriques :
cos est labscisse du point M. Donc : cos 0 ( )
2
= .
sin est lordonne du point M. Donc : sin 0 0 ( ) = .

sin
tan
cos
si ( )
2
et
cos
cotan
sin
si 0 ( ) .
Les fonctions sinus et cosinus ont une priode 2 et vrifient :
2 2
cos sin 1 + = .
Les fonctions tangente et cotangente ont une priode et, sous rserve dexistence,
vrifient :
1
cotan
tan
=
.
Les lignes trigonomtriques usuelles sont :

0 6 4 3 2
cos
1
3
2

2
2

1
2
0
sin
0
1
2

2
2

3
2

1
tan
0
1
3

1 3
cotan
3 1
1
3

0
Les symtries permettent de calculer dautres lignes trigonomtriques (toujours sous
rserve dexistence de la tangente) :
cos( ) cos = sin( ) sin = tan( ) tan = (symtrie / Ox)
cos( ) cos = sin( ) sin = tan( ) tan = (symtrie / Oy)
cos( ) cos + = sin( ) sin + = tan( ) tan + = (symtrie / O)
cos sin
2
| |
=
|
\
sin cos
2
| |
=
|
\
tan cotan
2
| |
=
|
\
(symtrie 1
re
biss)
cos sin
2
| |
+ =
|
\
sin cos
2
| |
+ =
|
\
tan cotan
2
| |
+ =
|
\
(symtrie 2
me
biss)
On peut dailleurs les retrouver avec les formules suivantes :
Formules daddition : cos( ) cos cos sin sin a b a b a b + =
cos( ) cos cos sin sin a b a b a b = +
sin( ) sin cos cos sin a b a b a b + = +
sin( ) sin cos cos sin a b a b a b =

tan tan
tan( )
1 tan tan
a b
a b
a b
+
+ =

tan tan
tan( )
1 tan tan
a b
a b
a b
=
+

En appliquant les formules pour b a = , on obtient :
Formules de duplication :
2 2 2 2
cos 2 cos sin 2cos 1 1 2sin a a a a a = = =
sin 2 2sin cos a a a =

2
2tan
tan 2
1 tan
a
a
a
=

On peut ainsi transformer des produits en sommes :
1
cos cos [cos( ) cos( )]
2
a b a b a b = + +
2
1
cos (1 cos 2 )
2
a a = +
1
sin sin [cos( ) cos( )]
2
a b a b a b = +
2
1
sin (1 cos 2 )
2
a a =
1
sin cos [sin( ) sin( )]
2
a b a b a b = + +
1
sin cos sin 2
2
a a a =
Inversement, on peut aussi transformer des sommes en produits :

cos cos 2cos cos
2 2
p q p q
p q
+
+ = cos cos 2sin sin
2 2
p q p q
p q
+
=
sin sin 2sin cos
2 2
p q p q
p q
+
+ = sin sin 2cos sin
2 2
p q p q
p q
+
=
3) Interprtation gomtrique des complexes et forme trigonomtrique
Si le plan a pour repre orthonorm ( , , ) O u v
r r
, tout point ( , ) M x y on associe un
unique complexe z x iy = + appel affixe du point M ou du vecteur OM
uuuur
.
La somme de deux complexes sinterprte alors comme somme de deux vecteurs.
La multiplication par un rel sinterprte comme la multiplication dun vecteur par un
rel. Mais cest plus compliqu pour la multiplication par un complexe non rel
(similitude). Lapplication z z a sinterprte comme symtrie orthogonale par
rapport laxe des abscisses.
On appelle module du nombre complexe z x iy = + le rel
2 2
z zz x y = = + .
Gomtriquement, cest la distance OM . Donc 0 0 z z = = .
Proprits : ' ' zz z z =
n
n
z z =
' '
z
z
z z
= ' ' z z z z + + z z =

Si z est rel, son module est sa valeur absolue.
On note U lensemble des nombres complexes de module 1. Lensemble des points M
du plan dont laffixe appartient U est le cercle trigonomtrique. Ils sont donc reprs
par langle ( , ) u OM
uuuur
r
: il existe un rel tel que M ait pour coordonnes (cos , sin ) ,
donc pour affixe cos sin i + . Le rel est unique 2k prs.
La fonction dfinie par : ( ) cos sin i = + vrifie ( ') ( ) ( ') + = +
daprs les formules daddition. Cest une proprit analogue la proprit
caractristique des exponentielles relles.
Notation exponentielle :

cos sin
i
i e

+ = .
Proprits :
0
1
i
e = 1
i
e

=
2
1
i
e

=
1
i i
i
e e
e

= =
Formules dEuler : cos
2
i i
e e

+
= sin
2
i i
e e
i

=
Formule de Moivre : (cos sin ) cos sin
n
n i n i n + = + Z
Les formules dEuler correspondent lexpression des parties relles et imaginaires.
La formule de Moivre se dmontre par rcurrence sur N, puis sur ( ) N .
On peut remarquer que si 0 z , alors 1
z
z
= . Donc il existe un rel tel que
i
z
e
z
= , donc tel que

i
z z e
= . On peut remarquer que est une mesure de langle

( , ) u Om
uuur
r
o m est le point daffixe
z
z
, mais aussi de langle ( , ) u OM
uuuur
r
car 0 z > .
Si 0 z , on appelle Argument de z, not langle ( , ) u OM
uuuur
r
o M est le point daffixe z.
On appelle argument de z toute mesure de langle ( , ) u OM
uuuur
r
. Il y en a donc une
infinit : tous ces rels sont congrus modulo 2. Par abus dcriture, on note arg( ) z .
Il en existe un et un seul dans ] , ] , appel argument principal.
Proprits : arg( ') arg( ) arg( ') (2 ) zz z z + arg( ) arg( ) (2 )
n
z n z
arg arg( ) arg( ') (2 )
'
z
z z
z
| |

|
\

1
arg arg( ) (2 ) z
z
| |

|
\

arg( ) arg( ) (2 ) z z + arg( ) arg( ) (2 ) z z
Les proprits prcdentes sont vraies pour tous les arguments, mais il ny a pas de
proprits spcifiques pour les arguments principaux.
Tout nombre complexe non nul scrit sous forme trigonomtrique ou exponentielle :
i
z re
= o r est un rel strictement positif et un rel. Le rel r est unique : r z = .

Mais le rel ne lest pas : est un argument de z, donc toutes les solutions sont
congrues modulo 2. Donc
'
'
' (2 )
r r
z z
=
=

.
La notation ' (2 ) signifie que : ' 2 k k = + Z .
4) Racines n-imes dun nombre complexe
Dfinition : Si n est un entier ( 2) n , on appelle racine n
me
dun nombre complexe Z
toute solution de lquation
n
z Z = .
Si 0 Z = , il y a une unique solution 0 z = .

Si 0 Z , alors Z admet une forme trigonomtrique :
i
Z Re

= . On cherche alors les
solutions de lquation
n
z Z = sous forme trigonomtrique :
i
z re
= .
Or
n n in
z r e

= . Donc :
2
n
n
r R
z Z
k n k
=
=

+
Z
.
Lquation
n
r R = admet une unique solution
n
r R = dans
+
R .
La seconde quation quivaut :
2k
k
n n

+ Z , donc a une infinit de
solutions, mais comme
2
1
i
e

= , il ny a que n valeurs distinctes pour
i
e
.
Thorme : Tout nombre complexe non nul
i
Z Re

= admet n racines n
mes
distinctes :
2
0, 1
k
i
n
n
k
k n z R e
+
= .
Dans le cas particulier o 1 Z = , on a : 1 R = et 0 = .
Thorme : Les racines n
mes
de lunit sont :
2
1
0, 1 ( )
ik
k
n
k
k n e
= = .
La somme de toutes les racines n
mes
de lunit est nulle :
1
0
0
n
k
k
=
=
.
En effet :
1 1
1
1
1 0 0
1 ( )
( ) 0
1
n n n
k
k
k k

= =

= = =

car
2
1
( ) 1
n i
e

= = .
Exemple : Les racines carres de lunit sont 1 et ( 1) .
Les racines cubiques de lunit sont 1,
2
3
1 3
2 2
i
j e i
= = + et
4
2
3
1 3
2 2
i
j e i
= = .
Les racines 4
mes
de lunit sont 1, i, ( 1) et ( ) i .
Thorme : On obtient toutes les racines n
mes
dun nombre complexe non nul
i
Z Re

= en multipliant lune dentre elles par les racines n
mes
de lunit. Par
exemple :
0 0 1
0, 1 ( )
k
k k
k n z z z = = . Leur somme est nulle.
Exemple : Dterminer les racines cubiques de ( ) i . On sait que
3
i i = . Donc lune
des racines cubiques de ( ) i est i. Donc les trois racines cubiques de ( ) i sont i,
3 1
2 2
ij i = et
2
3 1
2 2
ij i = .
5) Equations du second degr dans le corps des complexes
On considre dans C lquation :
2
0 az bz c + + = avec a, b et c complexes et 0 a .
Cette quation quivaut :
2
2
2
4
2
4
b b ac
z
a
a
| |
+ =
|
\
.
On dfinit comme dans R le discriminant
2
4 b ac = .
Si 0 = , alors lquation a une seule solution double :
2
b
z
a
= .
Si 0 , alors admet deux racines carres distinctes et ( ) . Donc lquation
admet deux solutions distinctes :
1
2
b
z
a

= et
2
2
b
z
a
+
= .
La dtermination de ne se fait pas toujours sous forme trigonomtrique, mais
souvent sous forme algbrique, ou du moins en combinant les deux.
Exemple : Rsoudre lquation (E) :
2
(1 ) 4 8 0 z i z i + + + = .
2
(1 ) 4(4 8 ) 16 30 i i i = + + = . On cherche deux rels a et b tels que a ib = + .
2
= quivaut
2 2
16
2 30
b
ab
, mais on a aussi
2
= .
Donc
2 2 2 2
16 30 34 a b + = + = . Donc :
2 2
2 2
16
34
15
b
b
ab
+ =
. On obtient
2
2
9
25
15
b
ab
.
Les solutions sont donc
3
5
b
=
ou
3
5
b
=
. Donc 3 5i = .
Les solutions de (E) sont :
1
1 3 5
1 2
2
i i
z i
+ +
= = + et
2
1 3 5
2 2
2
i i
z i
+ +
= = .


01 Ensembles

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

01 Ensembles

Transféré par

Droits d'auteur :

Formats disponibles

Ensembles - 1 - ECS 1

= , donc tel que

= . On peut remarquer que est une mesure de langle

= o r est un rel strictement positif et un rel. Le rel r est unique : r z = .

Vous aimerez peut-être aussi