CPGE lycée Omar Ibn Abdelaziz Année scolaire: 2022-2023

MPSI 2 Elgheryb Ahmed

Devoir surveillé 4
lundi 23 Janvier 2023

Exercice 1. (3.5pts)
1
Soit f :    telle que pour tout x   , f ( x )  .
1 x 2
1. Justifier que f est de classe C  sur  .
2. Vérifier que pour tout x   , ( x 2  1)f ( x )  xf ( x ) .
(n ) Pn ( x )
3. Montrer que pour tout n  , il existe un polynôme Pn tel que x   , f (x )  1
.
n
2
(1  x ) 2

4. Déduire des deux questions précédentes que pour tout n  et pour tout x   ,


Pn 1 ( x )  (2n  1)xPn (x )  n 2(1  x 2 )Pn 1( x )  0 .

(n )
5. Déterminer f (0) pour tout n  .
Distinguer les cas n pair et n impair .
Exercice 2. (3.5pts)
1 1
Soit la fonction f : x  1  sin( )
2 x
1 3
1. Montrer que pour tout x  1 :  f ( x )  et f (f ( x ))  1 .
2 2
1
2. monter que f est - Lipschitzienne sur l’intervalle [1, [ .
2
3. Montrer qu’il existe un unique l  1 tel que f ( l )  l .
4. Vérifier que la suite (un )n définie pour tout n  par : u n 1  f (u n ) avec u0  a où a  0 est bien
définie et montrer que pour tout n  1 , u n  1 .
5. Montrer que la suite (un )n est convergente de limite l .

Problème 1.
 x2 y2 
Dans cet exercice, on considère l’ensemble    ( x , y )   2 /    1 .
 16 4 
1. Rappeler la définition de la loi + qui munit  2 de sa structure usuelle de groupe.
2. L’ensemble  est-il un sous-groupe de (  2 ,  ) ?
  1
 x  2(t  )
 t
3. (a) Soit ( x , y )  2 . Montrer que : (x , y )    t  tel que 
 y  (t  1 )
 t
1
N.B. : on pourra remarquer que e u  .
eu
 1 1 
(b) Soit F l’application de  vers  définie par : F (t )   2(t  ) ,(t  )  .
 t t 
Montrer que F est bijective et préciser F 1 .
4. Pour tout (x , y )   et (x , y )   , on définit le couple (X ,Y )  ( x , y )  ( x , y ) par :
xx  xy   x y
X   yy  et Y  .
4 4
(a) Vérifier que ∗ est une loi de composition interne sur  .
(b) Soient deux réels t et t  non nuls. Exprimer F (t )  F (t ) en fonction de F (tt ) .
(c) Montrer que ( ,*) est un groupe abélien. On désignera par e l’élément neutre et, pour tout m  ,
on notera m 1 le symétrique de m (pour la loi ∗) .
(d) Montrer que les groupes ( ,*) et (   , ) sont isomorphes.
5. Soit (x , y ) , un élément de  , et un entier n  2 . En utilisant astucieusement l’application F , donner
une formule permettant de calculer directement (x , y )  ( x , y )  ...  ( x , y ) (n fois), élément que l’on
pourra noter, sans ambiguité , ( x , y )n .
6. On fixe un élément c dans  et on considère l’application f définie par :
m  H , f (m )  c  m 1 .
(a) Montrer que f est une involution de  .
(b) Trouver une condition nécessaire et suffisante sur c pour que f soit un automorphisme du groupe
.
Problème 2. Anneaux de Boole
Un anneau de Boole est un ensemble A muni de deux lois de composition internes  et  tel que
(i)  est associative, commutative, admet un élément neutre, noté 0 A et telle que tout élément de A
admet un symétrique pour  .
(ii)  est associative et admet un élément neutre distinct de 0 A , noté 1 A .
(iii)  est distributive par rapport à  .
(iv) x  A ; x  x  x .
Partie A : Anneau de Boole à deux éléments
Munissons l'ensemble B  {0;1} des lois  et  définies par les tables suivantes :

 01 01
001 et 000
110 101

Vérifier que (B ;  ;) est un anneau de Boole.

Peut-on construire un anneau de Boole à deux éléments distinct de celui-ci ?
Partie B : Différence symétrique et réunion
Soit E un ensemble non-vide. On rappelle que la différence symétrique de deux parties A et B de E est
définie par A B  ( A  B )  (B  A )
1. Vérifier rapidement que  est commutative. Est ce que _ admet un élément neutre ?
2. Montrer que, pour tout A ;B   (E ) , A B  ( A  B ) \( A  B )  ( A  B )  ( A  B )
3. Montrer que  est distributive sur  .
4. Conclure que ( (E );  ; ) est un anneau de Boole.
On admettra les propriétés d'associativité .
Partie C : Propriétés générales d'un anneau de Boole
Considérons un anneau de Boole ( A ;  ;) .
1. (a) Montrer que pour tout x  A , x  0A  0A et x  x  0A .
(b) Déterminer le symétrique des éléments de A pour  .
(c) En déduire que la loi  est commutative.
2. (a) Simplifier l'expression x 
  y  ( x  y ) pour tout x , y  A .

(b) En déduire que si A  0A ;1A  , alors il existe x et y différents de 0 A tels que x  y  0A .
3. Considérons la relation binaire  sur A définie par x  y si et seulement si x  x   y .
(a) Montrer que  est une relation d'ordre.
(b) Montrer que, pour tout x , y  A , sup{ x ; y }  ( x  y )  x  y puis déterminer inf{ x ; y } à l'aide des
lois  et  .