Lyce Lissan Eddine DS 02

MPSI 2007/2008 Dure : 3heures

Exercice 01 : I - Soient A IR non vide et x . On appelle distance de x A le rel d ( x, A) = inf { x y / y A} .

1. 2. 3. 4.

Justifier la dfinition prcdente. Dterminer, pour a, b avec a < b , d ( x,[a, b]) , puis d ( x, ) . Montrer que A dense dans x R, d ( x, A) = 0 . Montrer que x, y , d ( x, A) d ( y, A) d ( x, y ) . d ( A, B) = inf { x y / x A, y B} .
x A yB

II - Soient A, B IR non vides et x

.On appelle distance de A B le rel :

1. Justifier la dfinition prcdente. 2. Montrer que d ( A, B ) = inf d ( x, B ) = inf d ( y, A) . Dterminer d ( ,

\ ).

3. I et J deux intervalles non vides. Montrer que I J d ( I , J ) = 0 . A-t-on la rciproque. 4. I et J deux intervalles non vides. Montrer que si I J est un intervalle alors d ( I , J ) = 0 . A-t-on la rciproque. 5. A-t-on A, B, C non vides on a d ( A, C ) d ( A, B) + d ( B, C ) ?
Exercice 02: Dans tout lexercice, si E est un groupe fini, E dsigne le cardinal de E et

pour a E , o(a) est lordre de a. Soient G un groupe fini dordre n et de neutre e. H un sous-groupe de G. 1 Montrer que la relation dfinie sur G par xy x 1 y H est une relation dquivalence. 2 Soit x G . Montrer que la classe dquivalence de x est xH = { xh / h H } . 3 Montrer que x G, xHet H sont quipotents. 4 En dduire que lordre de H divise lordre de G (thorme de Lagrange) 5 Applications : a) Montrer que x G, o( x) | n et x n = e . b) Montrer que si n est premier alors G est cyclique. c) H et K deux sous-groupes de G tels que H K = 1 . Montrer que H K = {e} . d) Si a, b G tels que ab = ba et o(a ) o(b) = 1 alors o(ab) = o(a)o(b) e) Si G est dordre p m avec p premier et m 1 . Montrer que G admet un sous-groupe dordre p (on pourra faire une dmonstration par rcurrence).
Problme 01 : Partie I: Soient (an ) n une suite de nombres telle que: n

, an [ 0,1] .

1) a) Montrer que : n
b) Montrer que : n

, (1 ai ) 1 ai .

, (1 + ai ) 1 + ai .
i =1 i =1

i =1 n

i =1 n

1/2

c) En dduire que : n

1 1 + ai
i =1 n

(1 ai ) 1 ai .
i =1 i =1

2) En dduire que n

, x [ 0,1] ,

1 (1 x) n 1 nx . 1 + nx

3) Dduire de ce qui prcde que : n

Partie II: On dfinit sur
n

\ {1} , k 2, n ,

(1 n ) 1
i =1

k 1

k (k 1) . 2n
n +1

les suites (tn ) n , (un ) n , (vn ) n

et ( wn ) n par :

n 1 1 n 1 1 1 tn = 1 + , un = , vn = + et wn = 1 + . n n k =0 k ! k =0 k ! n n ! 1) Montrer que (un ) n et (vn ) n sont adjacentes. On notera l leur limite commune.

2) a) Montrer, en utilisant I-2, que : n b) Montrer que : (tn ) n 3) a) Montrer que : n

\ {1} , tn 1 tn et wn wn 1 .

et ( wn ) n

sont adjacentes.

, un +1 un l un vn un . 1 b) En dduire que : l un . n n! Partie III: 1) a) Montrer que : k , 2k 1 k ! . b) En dduire que : n , un 3 et 2 l 3 . 2) a) Montrer en utilisant la formule du binme que : n 1 2 k 1 1 . n \ {1} , tn = 2 + 1 1 ... 1 n n n k ! k = 2 b) En dduire que : n , tn un . u 3 c) Montrer, en utilisant I-3) que : n \ {1} , un n 2 tn et un tn . 2n 2n
n

1 d) En dduire que : lim 1 + = l et que : l = e ( e la base du logarithme Neperien). n + n 3) a) Montrer, en utilisant III-2-c, que : n , vn wn .
b) En dduire que : n
Partie IV: 1) Montrer que : n

, tn un e vn wn .

, un < e < vn .

2) Dduire que n , n !e . 3) Conclure que e est irrationnel.

Bonne chance

2/2