[chapter] [chapter]
2011-2012
Prparation lcrit
http://cboumaths.wordpress.com
\
BY: $
prparation lcrit
recueil compil par clment
BOULONNE
SOMMAIRE
1 Algbre 1.1 Algbre linaire lmentaire . . . . . . . . . . . . . . . 1.2 Exercices dalgbre linaire lmentaire . . . . . . . . . 1.3 Espaces euclidiens . . . . . . . . . . . . . . . . . . . . 1.4 Exercices sur les espaces euclidiens . . . . . . . . . . . 1.5 Coniques . . . . . . . . . . . . . . . . . . . . . . . . . 1.6 Exercices sur linversion et les coniques . . . . . . . . . 1.7 CAPES de Mathmatiques 1999 (2nde composition) . . 1.8 Polynmes . . . . . . . . . . . . . . . . . . . . . . . . . 1.9 Rappel sur les points singuliers dune courbe paramtre 1.10 Courbes dans le plan - Enveloppes . . . . . . . . . . . . 1.11 Nb. complexes, inversion, homographies . . . . . . . . . 2 Analyse 2.1 Fiche 1 2.2 Fiche 2 2.3 Fiche 3 2.4 Fiche 4 2.5 Fiche 5 2.6 Fiche 6 2.7 Fiche 7 2.8 Fiche 8 2.9 Fiche 9 2.10 Fiche 10
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
7 8 11 13 18 20 25 27 31 32 34 35 37 38 40 42 44 46 49 51 53 55 59 63
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
3 preuves dentrainement 3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9 preuve 1 preuve no 2 preuve no 3 preuve no 4 preuve no 5 preuve no 6 preuve no 7 preuve no 8 preuve no 9 no . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. 64 . 70 . 74 . 80 . 85 . 89 . 95 . 97 . 103
4 CAPES de Mathmatiques - Session 2012 111 4.1 Premire composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 4.2 Seconde composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116 5 CAPES de Mathmatiques - Session 2013 121 5.1 Premire composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122 5.2 Seconde composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
PA R T I E
Algbre
# Soit # E. La matrice colonne, X, des coordonnes de # dans la base E est la matrice colonne, v v I , des coordonnes de # dans la base E I sont relies par : X P X I , o P est la matrice de X v passage de E E I . # # # # Soit f : E E un endomorphisme de E, P la matrice de passage de E E I , A la matrice # # de f dans la base E et AI la matrice de f dans la base E I . Ces matrices satisfont lgalit AI P 1 AP . 1 2 Dterminants # # Une forme n-linaire sur un K-espace vectoriel E est une application f : E n K linaire # # # # par rapport chaque variable. Elle est symtrique si f pv p1q , . . . , v pnq q f pv1 , . . . , vq pour tout n # # # pv1, . . . , vq E n et toute transposition Sn, o Sn est le groupe des permutations dun ensemble n # # # # n lments. Dans ce cas, on a f pvp1q , . . . , vpnq q f pv1 , . . . , vq pour tout Sn . n # # # # # # La forme n-linaire f est antisymtrique si f p p1q, . . . , pnqq f pv1 , . . . , vq pour tout pv1 , . . . , vq n n #n E et toute transposition Sn . Cette dernire proprit quivaut tre alterne, cest--dire tre telle # # # # que f pv1 , . . . , vq 0 ds que deux composantes vi et vj , avec i $ j, sont gales. Une forme antisyn # , . . . , v q p qf pv , . . . , vq pour tout S de signature p q. # # # mtrique, f , vrie f pvp1q 1 n n pnq # Lespace vectoriel des formes n-linaires alternes sur un K-espace vectoriel E de dimension n # # # # # # # # est de dimension 1. Soit pv , . . . , vq E n . Si E pe , . . . , e q est une base de E et v n a e ,
1 n 1 n j i 1
pour tout j
1, . . . , n.
ij i
PARTIE 1. ALGBRE
lexpression
# # detpv1 , . . . , vq n
E
Sn
# dnit une forme n-linaire alterne sur E, appele dterminant dans la base E. Les dterminants dont deux bases E et E I vrient # # # # detpv1 , . . . , vq pdet E I q detpv1 , . . . , vq. n n I
E E E
p qap1q,1q apnq,n
# # # Une famille de vecteurs pv1 , . . . , vq dun espace vectoriel E, de dimension n, forme une base si, et n # # seulement si, detE pv1 , . . . , vq $ 0. Le dterminant dune matrice carre est dni comme le dtern minant des vecteurs colonnes dans la base canonique de K n ; il vrie det A det AT . Soit A une matrice carre n n de vecteurs colonne Ai et X un vecteur colonne dni par X T px1 , . . . , xn q. Pour tout k 1, . . . , n, les matrices A, X et B AX vrient les formules de Cramer :
La matrice des cofacteurs est la matrice A ayant pour lment en position pi, j q le terme p1qij ij . Elle vrie AAT AT A pdet AqIn , o In est la matrice identit dordre n. # # # # : E E est un endomorphisme de E, il existe une constante C # K unique vriant Si u u # # detp #pv1 q, . . . , #pvqq C # detpv1 , . . . , vq, u # u #n n u
E E
# # # # pour toute base E de E et toute famille pv1 , . . . , vq de E. Cette constante sappelle le dterminant de n lendomorphisme # et se note det #. Si A est une matrice de # relativement une base quelconque u u u E, alors det # det A. Ce dterminant vrie : u detp # #q pdet #qpdet #q, u v u v # pour tout couple p #, #q dendomorphismes de E. Il en dcoule det AB u v couple pA, B q de matrices n n.
1 3 Valeur propre, vecteur propre # # # # Soit f : E E un endomorphisme dun K-espace vectoriel E de dimension nie n. Le scalaire # # est une valeur propre de f sil existe un vecteur # E, non nul, tel que f p #q #. Dans ce cas, v v v # le vecteur # est appel vecteur propre de f , associ la valeur propre . v # # # # Le polynme caractristique de f est le polynme P f pX q detp f X id E q. Il est de degr n et scrit # # # P f pX q p1qn X n p1qn1 ptrp f qqX n1 detp f q. # # Les valeurs propres de f sont les racines du polynme caractristique de f . Il y en a donc au plus n. # # # # # # Si est une valeur propre de f , le sous-espace V p f q Kerp f id E q, aussi not V sil ny a pas dambigut, est appel sous-espace propre associ la valeur propre . Si les valeurs propres # # 1 , . . . , m sont distinctes deux deux, le sous-espace V 1 V m est somme directe des sous# # espaces V 1 , . . . , V m . La multiplicit dune valeur propre est lentier mpq dni par
# P f pX q pX
qmpqQpX q
avec Qpq $ 0. Il vrie 1 dim V pf q mpq. En rapportant K n sa base canonique, ces notions stendent aux matrices n n en considrant lendomorphisme de K n dni par les vecteurs colonne.
1.1. ALGBRE LINAIRE LMENTAIRE 9
1 4 Diagonalisation, rduction la forme triangulaire # # # Un endomorphisme f est diagonalisable sil existe une base de E dans laquelle la matrice de f est diagonale. Les proprits suivantes sont quivalentes : # f est diagonalisable ; # # il existe une base de E constitue de vecteurs propres de f ; # # # le polynme caractristique P f a toutes les racines dans K et dim V p f q mpq pour toute # racine de P f . # En particulier, un endomorphisme f , ayant n valeurs propres distinctes, est diagonalisable. # # Si le polynme caractristique de f a toutes ses racines dans K, il existe une base de E pour # laquelle la matrice associe f est triangulaire. Les lments diagonaux sont les valeurs propres. 1 5 Polynme annulateur # # # # Soit f : E E un endomorphisme dun K-espace vectoriel E de dimension nie n. tout # # # polynme QpX q l 0 ck X k K rX s, est associ lendomorphisme Qp f q l 0 ck f k de E, k k # # # # # # # # o f k : E E est dni par rcurrence avec f k f f k1 et f 0 id E . Cette opration vrie : # # # pa1 Q1 a2 Q2 qp f q a1 Q1 p f q a2 Q2 p f q, # # # pQ1 Q2 qp f q Q1 p f q Q2 p f q, pour tout Q1 , Q2 de K rX s et tout a1 , a2 de K.
Cayley-Hamilton Thorme 1.1
Si Q1 , . . . , Qp sont des polynmes premiers deux deux dans K rX s, de produit P # # la somme Ker Q1 p f q Ker Qp p f q est directe et vrie :
p # # Ker Qi p f q. Ker P p f q i 1
Q1 Qp,
(La preuve de cette dernire proprit est lobjet de lexercice 11). 1 6 Dcomposition de Dunford # # Dans ce paragraphe, f est un endomorphisme de E, de valeurs propres 1 , . . . , p ayant pour multiplicits respectives m1 , . . . , mp . Nous supposons galement que le polynme caractristique de # f a toutes ses racines dans K, cest--dire
# P f pX q p i 1
# Par dnition, le sous-espace caractristique de lendomorphisme f , relatif la valeur propre # # # # # i , est le noyau de p f i id E qmi , not Ni p f q. Les sous-espaces Ni p f q sont stables par f , de dimension mi , et vrient : p # # E Ni p f q . # Un endomorphisme # de E est nilpotent sil existe un entier k g nilpotence est le plus petit entier p tel que #p 0. g
Dcomposition de Dunford
i 1
pX iqm ,
i
avec i
K.
Thorme 1.2
# # # Lendomorphisme f scrit f h #, o : g # h est un endomorphisme diagonalisable de valeurs propres 1 , . . . , p ayant pour multiplicits respectives m1 , . . . , mp . # est nilpotent de degr de nilpotence infrieur ou gal au maximum des nombres mi , pour g i 1, . . . , p. # # # h h #. g g # # # Lendomorphisme diagonalisable h est dni par h p #q i #, pour tout # Ni p f q, et lenv v v # # domorphisme nilpotent # par # f h . g g
10
PARTIE 1. ALGBRE
1 Dterminer, suivant les valeurs de a, b et c, le rang du systme suivant de vecteurs de R3 : # # # v1 p0, c, bq, v2 pc, 0, aq, v3 pb, a, 0q. # 2 Soit E un K-espace vectoriel de dimension nie n. # # Montrer lgalit suivante, pour tout couple pE1 , E2 q de # sous-espaces vectoriel de E, # # # # # # dimpE1 E2 q dimpE1 E2 q dimpE1 q dimpE2 q. 3 Soit C le R-espace vectoriel ramen la base p1, iq, de dual C HomR pC, Rq. 1. Dterminer la base duale de p1, iq. 2. Soit u u1 iu2 un nombre complexe non nul x. a. Soit f : C C lapplication dnie par f pz q uz. Montrer que f est un endomorphisme de C. Dterminer sa matrice et son dterminant. b. Soit A tz C, Repuz q 0u. Dterminer la dimension de A. En donner une base.
1 1 1 1
1 1 1 1
1 1 . 1 1
7 Diagonaliser 4 3 A 3
6 5 6
0 0 . 5
8 Dterminer les valeurs propres et les vecteurs propres des matrices suivantes et dire si elles sont diagonalisables.
A 0 1
d. Lespace vectoriel rel C est rapport la base duale de p1, iq. Dterminer la matrice de la transpose f T : C C de lapplication linaire f : C C.
Dterminants
c. Soit Ao lorthogonal A, cest--dire le sous-espace de C constitu des formes linaires qui sannulent sur A. Dterminer une base de Ao .
1
1 4
5 1
1 1 0 1 1 1 0 1 1
0 1 1 1 1 1
0
2
0 . 3
A C 4 Soit M une matrice n n, constitue 0 B dune matrice p p note A, dune matrice pn pqpn pq note B et dune matrice p pn pq note C. Montrer que det M pdet Aqpdet B q. 5 Soit pt1 , . . . , tn q K n . Notons V pt1 , . . . , tn q le dterminant de la matrice : 1 t1 t2 1 1 t2 t2 2 Apt1 , . . . , tn q . . . . . . . . . 1 tn t2 n Montrer que V pt1 , . . . , tn q
# 9 Considrons lapplication linaire f : K n K n d# nie par f px1 , . . . , xn q px2 , . . . , xn , x1 q. # 1. Dterminer la matrice A de f relativement la base canonique de K n . Calculer le dterminant de A.
2. Dans cette question, nous posons K C. Dtermi# ner les valeurs propres de f et leur multiplicit. Quelle # conclusion peut-on en tirer sur f ?
R. Lapplication
.. .
# 10 Soit E un K-espace vectoriel de dimension nie n et # # soit f et # deux endomorphismes de E, admettant chacun g # n valeurs propres distinctes deux deux. Montrer que f # # et # commutent si, et seulment si, f et g ont les mmes g valeurs propres. # 11 Soit E un K-espace vectoriel de dimension nie n # # et soit f un endomorphisme de E. Soit Q1 , . . . , Qp des
11
1 i j n
ptj tiq.
# 12 Soit E un K-espace vectoriel de dimension nie n. # # # # 1. Soit f un endomorphisme de E tel que f 2 3 f # # 2 id E 0. Montrer que f est diagonalisable. # # # 2. Soit f tel que f 2 id E . Quelles sont les valeurs # # propres possibles de f ? Montrer que f est diagonalisable. # 13 Soit E un K-espace vectoriel de dimension nie n. # Rappelons quun projecteur de E est une application li# # naire # : E E telle que #2 #. p p p # # un projecteur de E. Posons # id # #. 1. Soit p q p a. Montrer que Ker # Im #. q p
E
# # # # 3. Soit # : E E E E dni par #pu, uq g g #1 #2 # # pu, uq. Dterminer le polynme minimal de #. Quel g 2 1 est son polynme caractristique ? # 4. Dmontrer que le polynme minimal de f divise son polynme caractristique. # 5. Montrer que toute valeur propre de f est racine de son polynme minimal. # 6. Montrer que f est diagonalisable si, et seulement si, son polynme minimal est scind et na que des racines simples. 7. Soit A une matrice inversible coefcients complexes et soit p un entier strictement positif. Montrer que A est diagonalisable si, et seulement si, Ap est diagonalisable. Donner deux exemples justiant que le rsultat est faux, pour les matrices relles dune part, et pour les matrices complexes non inversibles dautre part. 16 Considrons la matrice relle
b. En dduire la dcomposition en somme directe : # E Im # Ker #. p p # # # # 2. Supposons E de dimension nie et soit f : E E un # endomorphisme de E. Montrer que les conditions suivantes sont quivalentes : # # # a. E Im f Ker f , # # b. Im f Im f 2 . # # # 3. Construire une application linaire f : E E telle que # # # E Im f Ker f et qui ne soit pas un projecteur. # 14 Soit E un K-espace vectoriel de dimension nie n et # soit # un endomorphisme nilpotent de E, cest--dire quil g existe k tel que #k 0. g 1. Quelles sont les valeurs propres possibles de # ? g
3 4 0 4 5 2 A
0
0 0
3 2
2 4 2. 1
1. Dterminer le polynme caractristique de A ainsi que ses racines et leur multiplicit. 2. Dterminer les sous-espaces prores associs chaque valeur propre. 3. Calculer A2 . 4. a. Dterminer les sous-espaces caractristiques associs chaque valeur propre. b. En dduire la dcomposition de Dunford de A. # 17 Soit E un espace vectoriel de dimension nie. Mon# # trer quun endomorphisme f de E est diagonalisable si, et # seulement si, tout sous-espace vectoriel de E possde un # supplmentaire stable par f .
2. Soit p le degr de nilpotence de #, cest--dire #p 0 g g et #p1 $ 0. g # a. Montrer quil existe # E tel que E # v v p #p1p #q, #p2p #q, . . . , #p #q, #q soit une fag v g v g v v
mille libre. # b. On note W # le sous-espace vectoriel engendr par v # # E # . crire la matrice de la restriction de # W # g v v dans la base E # . v # (Rappelons lexistence dune base de E dans laquelle la matrice de # a ses coefcients nuls sauf, ventuellement, les g termes ai,i1 situs au-dessus de la diagonale et qui sont gaux 0 ou 1, [1, Pages 212-216] pour une preuve). # # 15 Soit E un K-espace vectoriel de dimension n et soit f # un endomorphisme de E.
1. Soit I lensemble des polynmes P K rX s tels que # P p f q 0. Montrer que I est un idal de K rX s. 2. En dduire lexistence dun unique polynme unitaire, # # # M f pX q, de degr minimum tel que M f p f q 0. Ce # polynme est appel polynme minimal de f .
12 PARTIE 1. ALGBRE
Espaces euclidiens
Fiche cre par D. TANR pour la Formation CAPES Lille 1, anne 2009-2010. http://algmod. free.fr/capes/fiches.html Le corps de rfrence est le corps des nombres rels, R. 3 1 Formes bilinaires # Dans cette section, E est un sous-espace vectoriel de dimension nie n, de dual # E HomR pC, Rq. 1. Formes bilinaires # # Lensemble L2 pE q des formes bilinaires sur E est un espace vectoriel de dimension n2 . La matrice A dune forme bilinaire B relativement une base E # # pe1, . . . , enq est la matrice
Dnition 1.3
# # A pB pei , ej qq. # # Si X et Y sont les matrices colonne des composantes de # E et # E respectivement, alors x y B p #, #q X T AX. Si P est la matrice de passage de la base E la base E I , alors la matrice AI de la x y forme bilinaire B dans la base E I est donne par AI P T AP . # Lorsque lespace vectoriel E est rapport une base, les matrices servent reprsenter des tres # # diffrents comme les fromes bilinaires sur E et les endomorphismes de E. Il ne faut jamais perdre de vue ce que reprsente la matrice et bien remarquer que le comportement un changement de base de la matrice associe une forme bilinaire est diffrent de celui de la matrice associe un endomorphisme.
Dnitions quivalentes du rang dune forme bilinaire
Dnition 1.4
# # # a. rang de lapplication linaire I : E E , # B p #, q, x x # # # # b. rang de lapplication linaire J : E E , x B p, #q, x # c. rang de la matrice associe B dans nimporte quelle base E de E.
2. Formes bilinaires symtriques # # Lensemble S2 pE q des formes bilinaires symtriques sur E est un espace vectoriel de dimen# # sion npn2 1q . Soit B S2 pE q. Deux lments # et # de E sont orthogonaux relativement B si x y # # B p #, #q 0. Lorthogonal de X E au sens de la forme bilinaire symtrique B, est x y Xu
A # # E, B p #, w q 0 pour tout w X . # # v v #
# # # # Par dnition, le noyau de B est lorthogonal de E. Il est not N pB q E u et vrie dim N pB q # # # # dim E rg B. Le forme B est dite non dgnre si lapplication linaire associe I : E E est un isomorphisme. Les conditions suivantes sont quivalentes : (i) la forme B est non dgnre ; 2 #@ (ii) le noyau de B est rduit 0 ; # (iii) le rang de B est gal la dimension de E ; # (iv) la matrice de B dans une base quelconque de E est inversible. # # # Soit B une forme bilinaire symtrique non dgnre sur E. Pour tout X E, on a : # # # (i) I pX u q X 0 , # # # # # (ii) dim X dim X u dim E, si X est un sous-espace vectoriel de E.
13
Thorme 1.5
Thorme 1.6
# # # # # En gnral, si X est un sous-espace vectoriel de E, on na pas X X u E mme pour une forme bilinaire symtrique non dgnre. Par exemple, la forme bilinaire B dnie sur R2 par B ppx1 , x2 q, py1 , y2 qq x1 y1 x2 y2
a les proprits suivantes : elle est non dgnre ; # # # # # le sous-espace X tpx1 , x2 q, x1 x2 u vrie X X u donc lintersection X X u nest 2 #@ pas rduit 0 . 2 #@ # # # Un sous-espace vectoirel X est dit non isotrope si X X u 0 . Si B est non dgnre et si # # # # # X est un sous-espace vectoriel non isotrope de E alors X X u E. # Un vecteur # E est dit isotrope si B p #, #q 0. Lensemble des vecteurs isotropes pour B est x x x 2 #@ # # un cne, not pB q. La forme bilinaire symtrique B est dite dnie si pB q 0 . # # On a toujours N pB q pB q. Ainsi, une forme bilinaire dnie est non dgnre. La rciproque est fause en gnral comme le montre lexemple ci-dessus. # La forme bilinaire symtrique B est dite positive si B p #, #q 0, pour tout # E. x x x
Ingalit de Schwarz
B p #, #qB p #, #q, x x y y
Thorme 1.8
# # Si la forme bilinaire symtrique B est positive, on a pB q N pB q. Pour une forme bilinaire symtrique, il y a donc quivalence entre non dgnre positive et dnie positive. 3 2 Formes quadratiques 1. Gnralits # Dans cette section, E est un espace vectoriel de dimension nie n, de dual # # E HomR pE, Rq. # Une application Q : E R est une forme quadratique sil existe une forme bilinaire symtrique # # B sur E telle que Qp #q B p #, #q, pour tout # E. La forme bilinaire B est appele forme x x x x polaire associe Q. Elle est dtermine par : 1 B p #, #q pQp # #q Qp #q Qp #qq. x y x y x y 2 Le carr dune forme linaire est une forme quadratique. # # # # Une fonction f : E R est dite polynomiale sil existe une base E pe1 , . . . , en q de E et un polynme de n variables, coefcients rels, pour lesquels on ait f p #q P px1 , . . . , xn q, pour P x # # # n x e E. Le degr du polynme P , ainsi que le fait quil soit homogne, sont des tout x i1 i i proprits indpendantes du choix de la base E. # Les formes quadratiques sur lespace vectoriel E sont les fonctions polynomiales homognes # de degr 2 sur E. Considrons une base, E # n y e . Alors, si # y i1 i i # # # # # pe1, . . . , enq, de E ainsi que deux lments de E, # n1 xi ei et x i
n i 1
Thorme 1.9
B p #, #q x y on a :
aii xi yi
n i 1
1 i j n
aij pxi yj
xj yiq,
Qp #q x
aii x2 2 i
1 i j n
aij xi xj .
Les dnitions de rang, noyau, orthogonal, matrice. . . dune forme quadratique sont celles de la forme polaire associe.
14 PARTIE 1. ALGBRE
2. Rduction de Gauss
# Dans ce paragraphe, Q est une forme quadratique sur E, de forme polaire associe B. # # # # # Une base E pe1 , . . . , en q de E est dite orthogonale si on a B pei , ej q 0, pour tout couple pi, j q # # avec i $ j. Une base orthonormale est une base orthogonale telle que B pei , ei q 1, pour tout i. # # #, . . . , e q est une base orthonormale de E, on a # n xx , e y e , pour tout # E. # # # # Si E pe1 x x n i i i i1 # Pour toute forme quadratique Q sur E, il existe n formes linaires indpendants l1 , . . . , ln et n constantes relles 1 , . . . , n telles que
Thorme 1.10
Qp #q 1 pli p #qq2 n pln p #qq2 , x x x # pour tout # E. x # Pour toute forme quadratique Q sur E, il existe une base E la forme quadratique Q scrit : # # # pe1, . . . , enq de E dans laquelle
Thorme 1.11
# Pour toute forme quadratique Q, de rang r sur E, il existe un entier p ne dpendant que de Q # # # et une base E pe1 , . . . , en q de E dans laquelle la forme quadratique Q scrit : Qp #q x2 x2 x21 x2 , x 1 p p r # # # pour tout # x1 e1 xn en E. x
Thorme 1.12
Dnition 1.13
Le couple pp, r pq est appele signature de la forme quadratique Q. La forme quadratique Q est dnie positive si, et seulement si, elle a pour signature pn, 0q. 3 3 Espaces euclidiens # Un produit scalaire sur E est une forme bilinaire symtrique dnie positve. Un espace (vectoriel) euclidien est un R-espace vectoriel de dimension nie muni dun produit scalaire not x, y . # Dans cette section, pE, x, y q est un espace euclidien de dimension nie n et de norme euclidienne # associe dnie par # x #, #y, si # E. x x x x 1. Gnralits # # # Si X est un sous-espace vectoriel de pE, x, y q, il vrie pX u qu
Ingalit de Cauchy-Schwarz
Crollaire 1.14
# # # # X et X X u E.
Thorme 1.15
# x
# y
.
15
Tout espace vectoriel euclidien de dimension n est isomtrique Rn . # # # Si pe1 , . . . , en q est une base quelconque de pE, x, y q, il existe une unique base orthonormale # # # pv1, . . . , vq de E vriant : n # # # # (i) pour tout i 1, . . . , n, les sous-espaces engendrs par pe1 , . . . , ei q et pv1 , . . . , vi q concident ; # # (ii) pour tout i 1, . . . , n, on a xei , vi y 0. 2. Endomorphismes symtriques # Si B est une forme bilinaire symtrique sur lespace euclidien pE, x, y q, il existe un unique # # endomorphisme uB de E tel que
Thorme 1.19 Orthonormalisation de Gram-Schmidt
Thorme 1.18
# x y B p #, #q xuB p #q, #y , x y # # pour tout # E et tout # E. x y # Un endomorphisme # de pE, x, y q est symtrique si on a x #p #q, #y u u x y # # #, #q E E. px y
Thorme 1.20
Lendomorphisme # est symtrique si, et seulement si, il existe une forme bilinaire symu # trique B telle que # uB . u # Un endomorphisme de pE, x, y q est symtrique si, et seulement si, sa matrice dans une base orthonormale est symtrique. Les sous-espaces propres dun endomorphisme symtrique sont orthogonaux deux deux.
Thorme spectrale
Thorme 1.21
Tout endomorphisme symtrique dun espace euclidien est diagonalisable dans une base orthonormale de vecteurs propres. En consquence, toute matrice relle symtrique est diagonalisable avec une matrice de passage P vriant P T P I.
Thorme 1.22
# Si B est une forme bilinaire symtrique sur pE, x, y q, il existe une base orthogonale pour B. # # # Si X et Y sont deux sous-espaces vectoriels supplmentaires dun espace vectoriel F , on dnit # # # lafnit de base X, de direction Y et de rapport par #p # #q # #. Lorsque F est euclidien v x y x y # #u # et Y X , on parle dafnit orthogonale de base X et de rapport .
Thorme 1.23
# Tout endomorphisme symtrique de pE, x, y q est le produit dau plus n afts orthogonales.
PARTIE 1. ALGBRE
16
3 4 Produit vectoriel # # # Lespace vectoriel R3 , rapport sa base canonique B pe1 , e2 , e3 q, est muni du produit scalaire xpx1, y1, z1q, px2, y2, z2qy x1x2 y1y2 z1z2. Rappelons que le dterminant, det : R3 R3 R3 # # # R est lunique 3-forme linaire alterne de lespace vectoriel R3 telle que detpe1 , e2 , e3 q 1.
Dnition 1.24
# # # Le produit vectoriel de deux vecteurs v1 et v2 de R3 est lunique vecteur v1 #, v , w q xv v , w y, pour tout vecteur w de R3 . # # # # # # vriant detpv1 2 1 2
# v2 de R3
# # # # Si v1 px1 , y1 , z1 q et v2 px2 , y2 , z2 q sont les composantes de v1 et v2 dans la base B, le produit # v a pour composantes dans cette mme base : # vectoriel v1 2 # # v1 v2 py1 z2 y2 z1 , x2 z1 x1 z2 , x1 y2 x2 y1 q. # # # Pour tout triplet, pv1 , v2 , v3 q, de vecteurs de R3 et tout nombre , on a les proprits suivantes : # # # # # # # a. v1 pv2 v3 q v1 v2 v1 v3 . # v q v v v v . # # # # # b. pv1 2 1 2 1 2 # # # # c. v1 v2 v2 v1 . # # # # d. Si les vecteurs v1 et v2 sont linairement indpendants, le vecteur v1 v2 est orthogonal # # au plan contenant v1 et v2 . # # # # # e. Les vecteurs v1 et v2 sont lis si, et seulement si, v1 v2 0 . # # # # # # f. Si les vecteurs v1 et v2 sont linairement indpendants, alors pv1 , v2 , v1 v2 q est une base directe de R3 . # # # Pour tout triplet, pv1 , v2 , v3 q, de vecteurs de R3 , le produit vectoriel les galits suivantes. # pv v q xv , v y v xv , v y v , appele identit de Lagrange ou formule du # # # # # # # # a. v1 2 3 1 3 2 1 2 3 double produit vectoriel. # # # # # # # # # # b. v1 pv2 v3 q v2 pv3 v1 q v3 pv1 v2 q 0 , appele identit de Jacobi. # # # # # # c. v1 v2 2 v1 2 v2 2 xv1 , v2 y2 . # # # # Pour tout couple, pv1 , v2 q, de vecteurs linairement indpendants, on a v1 v2 # v sin , o r0 , s est dni par xv , v y v # # # # v cos . La norme v v # # # v1 1 2 1 2 1 2 2 # # est gale laire du paralllogramme construit sur les vecteurs v1 et v2 . 3 5 Complments Pour terminer, signalons que lespace vectoriel R4 peut tre muni dune loi de composition interne de la faon suivante : chaque lment de R4 pouvant scrire comme un couple px, #q dun nombre u rel x et dun vecteur # de R3 , on pose u
Proposition 1.25
Thorme 1.26
Proposition 1.27
17
f1 px, y, z q x y, f3 px, y, z q y z.
f2 px, y, z q x 2z, Montrer que pf1 , f2 , f3 q est une base dual pR3 q de R3 . # # # trouver la base pv1 , v2 , 3 q de R3 dont pf1 , f2 , f3 q est la duale. 2 Illustrer le thorme 1.10, 1.11 et 1.12 avec les formes # quadratiques suivantes dnies sur E R3 , rapport sa base canonique. v 1. Qp #q x1 x2 x1 x3 x2 , 2 #q x x x x x x . 2. Qp v 1 2 1 3 2 3 3. Qp #q x2 x2 2x1 x2 2x2 x3 . Dterminer son noyau v # # 1 3 N . Soit F le sous-espace vectoriel de R engendr par le vecteur # p1, 1, 1q. Dterminer les sous-espaces e # # # # orthogonaux F u et pF u qu . Comparer F et pF u qu . # Dans le cas gnral dune forme dgnre Q de noyau N , on peut montrer (cf. [2, Page 132]) le rsultat suivant : soit # # # F un sous-espace vectoriel de E et F I un supplmentaire # # # #u u # #I de F N dans N , alors pF q F F . 3 Appliquer le procd dorthonormalisation de GramSchmidt aux bases suivantes de R3 : # # # 1. e1 p2, 0, 0q, e2 p2, 2, 0q et e3 p2, 2, 2q, # # # 2. f1 p2, 2, 0q, f2 p2, 0, 0q et f3 p2, 2, 2q. 4 C.A.P.E.S. 1995 Cet exercice est extrait de la deuxime composition de Mathmatiques de C.A.P.E.S. de 1995. Lespace Rrn sera muni de sa structure canonique despace euclidien, sa base # # # canonique sera note B pe1 , e2 , . . . , en q et la norme eucli# sera note # . Relativement une dienne dun lment x x # (resp. #, etc.) de R sera reprsent base xe, un lment x y par la matrice colonne X (resp. Y , etc.) de ses coordonnes xi (resp. yi , etc.). toute matrice symtrique relle A, de terme gnral aij , on associera la forme bilinaire symtrique A dnie sur lespace euclidien Rn , rapport sa base canonique B, par : dp #, #q RnRn, p #, #q X T AX x y x y a xy.
A 1 i n 1 j n
a. Dmontrer quune matrice A appartient Sn pRq si, et seulement si, il existe une matrice inversible M telle que A M T M (On pourra diagonaliser A pour tablir la condition ncessaire).
# # # b. Soit V pv1 , v2 , . . . , vq la famille des vecteursn colonnes dune matrice inversible M . Justier que # # # V est une base de Rn . Soit W pw, w, . . . , wq 2 n 1 la base orthonormale obtenue par application la base V du procd dorthonormalisation de Schmidt. Dmontrer que la matrice de passage T de la base W la base V est triangulaire suprieure. c. Dduire de ce qui prcde que toute matrice A ap partenant Sn pRq peut scrire sous la forme T T T avec T une matrice triangulaire suprieure inversible. 2. Algorithme de dcomposition Lespace Rn est rapport sa sa base canonique. Soit A un lment de Sn pRq de terme gnral aij . a. Dmontrer quil est quivalent de trouver une matrice triangulaire suprieure inversible T telle que A T T T et de trouver une criture de la forme quadratique QA de la forme :
d # Rn, x
avec tii b.
QA p #q x
1 i n
2
1 j n
tij xj
et on note x la projection sur Rn1 dun lment # x n . Dmontrer que, si a de R 11 0 et si on pose tij a1j ca , pour j
0 pour tout i t1, 2, . . . , nu. Pour n 2 on identie Rn avec le produit R Rn1 # t1, 2, . . . , nu,
11
ij i i
On notera QA la forme quadratique associe A . Dans lalgbre des matrices carrs relles n lignes et n colonnes, on notera Sn pRq le sous-espace vectoriel des matrices sy mtriques et Sn pRq le sous-ensemble des matrices symtriques A telles que la forme quadratique QA soit dnie positive.
18
d # Rn, x
QA p #q x
2
1 j n
tij xj
QAp #q. x
c. On considre lalogirthme suivant : Entres : Matrice A ; initialisation A1 : A ; dbut for k 1, . . . , n 1 do si le terme de la premire ligne, premire colonne, de Ak est strictement positif, alors Ak1 : Ak n Algorithme 1 : Algorithme de dcomposition
# 1. Dans cette questions, nous choissisons E R3 . Soit # x v x v x v , nous notons X la matrice # # # v 1 1 2 2 3 3 colonne constitue des xi . a. Dmontrer les galits matricelles : # # x v1 , v y # v # # # i. Gram pv1 , v2 , v3 qX xv2 , #y # v xv , #y ii. X T Gram # # # pv1, v2, v3qX
# 2 . v
0 si, et
Dmontrer que A appartient Sn pRq si, et seulement si, lalgorithme sarrte pour k n (dans le sens o il neffectue plus la condition) avec lunique terme de An strictement positif. Dmontrer quon a alors dtermin une dcomposition A T T T avec T triangulaire suprieure.
5 Distances une droite et un plan dans lespace (afne) R3 1. Soit pq la droite passant par le point A et de vecteur directeur #. Montrer que la distance dun point M la u droite pq est donne par : dpM, q # AM # u . # u
0 # #. seulement si v 0 # # # c. Montrer que Gram pv1 , v2 , v3 q est inversible si, et # # # seulement si, la famille pv , v , v q est libre.
1
d. Soit B la base canonique de les galits : # # # # # # i. |detB pv1 , v2 , v3 q| Grampv1 , v2 , v3 q. # # # # ii. v v Grampv , v q.
1 2 1 2
2 3 R3 . tablir
Si la droite a pour quation ax by c 0 et le point M a pour coordonnes pxM , yM q dans un plan muni dun repre orthonorm, retrouver la formule : dpM, q |axM
c2 byM2 c| . a b
2. Soit P le plan passant par le point A de vecteurs direc# # teurs v1 , v2 . Montrer que la distance dun point M au plan P est donne par : dpM, P q # # # detpAM , v1 , v2 q . # # v v
1 2
2. Le but de cette question est de gnraliser un espace # euclidien E, de dimension nie n,n les principaux rsultats tablis dans la premire question. # # a. Montrer que Grampv1 , . . . , vq 0 si, et seulement n # # si, les vecteurs vi E sont lis. # # b. Soit # E et F le sous-espace vectov # # riel engendr par les vecteurs pv1 , . . . , vm q de # # suivant la somme diE. On dcompose v # # #I #P recte F F u en # v v v # #u #, v , . . . , v q # # F F . Montrer que Grampv1 2 m #P 2 Grampv , . . . , v q. # # v 1 m # #, . . . , vq des vecteurs de E. On rapporte # c. Soit pv1 n # # # E une base orthonormale pe1 , . . . , en q et on # # # note f : E E lapplication linaire dnie par # # # f pe q v . Montrer que
i i
# # # Grampv1 , . . . , vq detp f q . n
Si le plan P a pour quation ax by cz d 0 et le point M pour coordonnes pxM , yM , zM q, retrouver la formule : dpM, P q |axM
c byM czM d| . a2 b2 c2
6 Dterminants de Gram La premire question est extraite de la deuxime composition de Mathmatiques de C.A.P.E.S. de 1993. La matrice # # de Gram dune famille pv1 , . . . , vq de vecteurs dun espace n # euclidien E de dimension nie est la matrice de terme gn# # # # ral pvi , vj q. Elle est not Gram pv1 , . . . , vq. Le dterminant n de Gramm est le dterminant de cette matrice ; il est not # # Grampv1 , . . . , vq. n
1.4. EXERCICES SUR LES ESPACES EUCLIDIENS 19
Coniques
Fiche cre par D. TANR pour la Formation CAPES Lille 1, anne 2009-2010. http://algmod. free.fr/capes/fiches.html 5 1 Dnition gomtrique Considrons une droite pDq et un point F pDq. Lensemble pP q des centres M des cercles tangents la droite pDq et passant par pF q est une parabole. En notant H la projection orthogonale du point M sur la droite pDq, nous avons donc M H M F si et seulement M pP q. Une parabole est ainsi lensemble des points M gale distance du point F et de la droite pDq. La droite pDq est appele la directrice et le point F le foyer de la parabole. Considons maintenant un cercle pC I q, de centre F I et de rayon 2a, ainsi quun point F pC I q. Lensemble pq des centres M des cercles pCM q passant par le point F et tangents au cercle pC I q est appel conique centre. Si le point F est extrieur (resp. intrieur) au cercle pC I q, la conique est appele hyperbole (resp. ellipse). Notons 2c la longueur du segment rF F I s ; la quantit e c{a est lexcentricit de la conique. Elle est strictement suprieure 1 dans le cas dune hyperbole et strictement infrieure 1 dans le cas dune ellipse. Le cercle pC I q est appel cercle directeur de la conique pq ; les points F et F I sont les foyers et la droite pF F I q laxe focal. Laxe non focal est la droite perpendiculaire pF F I q passant par le milieu O du segment rF F I s. Soit pq une conique centre, de centre directeur pC I q, de foyer F et dexcentricit e, nous notons pDq laxe radical du cercle pC I q et du cercle-point F . Alors la conique pq est lensemble des points M tels que MF e, MH o H est la projection orthogonale de M sur la droite pDq. La conique pq est donc caractrise par la droite pDq, le point F et le nombre rel positif e. La droite pDq est appele directrice de pq et, par dnition, le cas e 1 correspond la parabole. Notons la distance du foyer F la directrice pDq et p e. Soit || la distance de F un point M de la conique pq, lgalit M F eM H quivaut p 1 e cos
Thorme 1.28
qui est lquation polaire pq, avec les conventions usuelles de notation. Si pq est une conique de foyer F et de directrice pDq, la tangente pq en un point M pq, non situ sur laxe focal, coupe la directrice pDq en un point M I tel que les droites pM F q et pM I F q soient orthogonales. 5 2 Ellipse Dans cette section, nous considrons une ellipse pq dnie par le cercle pC I q, de centre F I et de rayon 2a, et par le point F pC I q, intrieur au cercle directeur pC I q. Notons 2c la longueur F F I , e c{a 1 lexcentricit, pDq la directrice de pq et O le milieu du segment rF F I s.
Thorme 1.29
Lellipse associe au cercle directeur pC I q et au foyer F est lensemble des points M tels que M F M F I 2a. Notons H1 et H2 les deux points du cercle pC I q situs sur laxe focal ainsi que A (resp. AI ) le milieu du segment rF H1 s (esp. rF H2 s). Lellipse pq coupe laxe focal aux deux points A et AI , symtriques par rapport au milieu O du segment rF F I s et extrieurs ce segment. Le cercle de diamtre rAAI s est appel cercle principal de pq. Il est limage du cercle directeur pC I q par lhomothtie de centre F et de rapport 1{2. nnnnni
Thorme 1.30
Lellipse associe au cercle directeur pC I q et au foyer F est limage du cercle prinicipal par lafnit orthogonale daxe la droite pF F I q et de rapport b{a.
PARTIE 1. ALGBRE
20
Lellipse pq coupe laxe non focal en deux points B et B I , symtriques par rapport au milieu O de rF F I s. Notons b la longueur du segment OB ; nous avons a2 b2 c2 . Soit pq une droite quelconque du plan. Notons F1 le symtrique de F par rapport la droite pq. Alors : si F1 est lintrieur du cercle pC I q, la droite pq coupe lellipse pq en deux points, si F1 pC I q, la droite pq coupe lellipse pq en un seul point, si F1 est lextrieur du cercle pC I q, lintersection de la droite pq et de lellipse pq est vide. # # Choisissons un repre orthonorm du plan, o O est le milieu du segment rF F I s, e1 (resp. e2 ) un vecteur directeur unitaire de laxe focal (resp. de laxe non focal). # # Dnas le repre pO, e1 , e2 q, lellipse pq est lensemble des points M du plan, de coordonnes px, yq vriant : x2 y 2 b2 1. a2 Soit M un point de lellipse pq, notons H le point de contact du cercle de centre M et de rayon M F avec le cercle directeur pC I q. La tagente en M pq est la mdiatrice du segment rF H s. Cest # # aussi la perpendiculaire en M la bissectrice de langle pM F , M F I q. 5 3 Hyperbole Dans cette section, nous considrons une hyperbole pq dnie par le cercle pC I q, de centre F I et de rayon 2a, et par le point F pC I q, extrieur au cercle directeur pC I q. Notons 2c la longueur F F I , e c{a 1 lexcentricit, pDq la directrice de pq et O le milieu du segment rF F I s.
Thorme 1.33
Proposition 1.31
Thorme 1.32
Lhyperbole associe au cercle directeur pC I q et au foyer F est lensemble des points M tels que |M F M F I | 2a. Notons H1 et H2 les deux points du cercle pC I q situs sur laxe focal ainsi que A (resp. AI ) le milieu du segment rF H1 s (resp. rF H2 s). Lhyperbole pq coupe laxe focal aux deux points A et AI , symtriques par rapport au milieu O du segment rF F I s et appartenant ce segment. Le cercle de diamtre rAAI s est appel cercle principal de pq. Il est limage du cercle directeur pC I q par lhomothtie de centre F et de rapport 1{2. Lintersection de lhyperbole et de laxe focal est vide. Par analogie avec le cas de lellipse, nous introduisons le nombre rel positif b dni par a2 b2 c2 . Le point F tant situ lextrieur du cercle directeur pC I q, on peut tracer les deux tangentes pC I q issues de F ; notons K1 et K2 leur point de contact avec pC I q. Il est facile de constater quil nexiste pas de cercle passant par F et tangent pC I q en K1 ou en K2 . Les droites pF K1 q et pF K2 q sont tangentes I I I I au cercle principal ; notons K1 et K2 les points de contact respectifs. Les droites pOK1 q et pOK2 q sont les asymptotes de lhyperbole pq. # # # Choisissons un repre orthonorm pO, e1 , e2 q du plan, o O est le milieu du segment rF F I s, e1 #) un vecteur directeur unitaire de laxe focal (resp. de laxe non focal). (resp. e2 # # Dans le repre pO, e1 , e2 q, lhyperbole pq est lensemble des points M du plan, de coordonnes px, y q vriant : x2 y 2 b2 1. a2 Choisissons comme repre pO, #, #q, o # et # sont des vecteurs directeurs unitaires des asympu v u v totes.
Thorme 1.34
Thorme 1.35
Dans le repre pO, #, #q, lhyperbole pq est lensemble des points M du plan, de coordonu v nes pX, Y q vriant 4XY c2 .
21
1.5. CONIQUES
Soit M un point de lhyperbole pq, notons H le point de contact du cercle de centre M et de rayon M F avec le cercle directeur pC I q. La tangente en M pq est la mdiatrice du segment rF H s # # et la bissectrice de langle pM F , M F I q. 5 4 Parabole Dans cette section, nous considrons une parabole pP q dnie par la droite pDq et par le point pDq. Notons HF la projection orthogonale de F sur pDq et p la longueur du segment rHF F s. # # # Choisissons comme repre orthonorm pO, e1 , e2 q, o O est le milieu du segment rHF F s, e1 (resp. #) est un vecteur directeur unitaire de la droite pH F q (resp. la droite perpendiculaire pH F q). e2 F F F
Thorme 1.36
# # Dans le repre pO, e1 , e2 q, la parabole pP q est lensemble des points M du plan, de coordonnes px, y q vriant y 2 2px. Soit M un point dune parabole pP q, notons H la projection orthogonale de M sur la directrice. # # La tangente en M pP q est la bissectrice de langle pM F , M H q et la mdiatrice du segment rF H s. 5 5 Sections dun cne Considrons un cne de rvolution pC q, de sommet S, daxe pSz q et dangle au sommet 2 r0 , r. Coupons le cne pC q par un plan pq faisant avec laxe pOzq un angle (aigu) . Supposons S pq et notons pq lintersection de pC q et de pq. La courbe pq est une conique. Plus prcisment, lintersection du cne pC q et du plan pq est une ellipse si , une parabole si , une hyperbole si . Si S pq, il est facile de voir que lintersection du cne pC q et du plan pq est constitue de deux gnratrices du cne si , une gnratrice du cne si , rduite au point S si . 5 6 Courbes algbriques de degr 2 1. Classication afne relle Soit le plan afne rel muni dun repre afne. On appelle conique lensemble pq des points M , de coordonnes px, y q telles que px, y q 0 o est un polynme rel, non nul, du second degr, cest--dire : px, y q ax2 2bxy cy 2 2dx 2ey f. Considrons la matrice associe la conique : a b d b c e . M pq d e f Cette matrice M pq, tant symtrique relle, admet 3 valeurs propres relles. Si k (resp. l) dsigne le nombre de valeurs propres strictement positives (resp. ngatives), la somme r k l est le rang de la matrice M pq. La loi dinertie de Sylvester nous dit que le couple pk, lq ne dpend pas du repre choisi. Lensemble pq tant galement obtenu partir du polynme , seule la paire tk, lu est une constante de pq indpendante du repre choisi ; on lappelle signature de la conique pq. Lintroduction prcdente peut aussi tre mene sans rfrence un repre afne. Soit O un point du plan pq. Un polynme de degr 2 est donn par # # pM q q pOM q lpOM q c,
Thorme 1.37
Dnition 1.38
22
PARTIE 1. ALGBRE
o q est une forme quadratique non nulle, l une forme linaire et c une constante. Un calcul montre que la forme quadratique q nest pas modie si on change de point de rfrence O. La conique pq est alors dnie comme lensemble des points M tels que pM q 0. La seule tude de la forme quadratique q px, y q ax2 2bxy cy 2 est insufsante pour rendre compte de la nature de la conique. En effet, nous constatons que : lquation xy 0 correspond deux droites avec une forme quadratique q non dgnre, lquation x2 0 correspond une droie avec une forme quadratique q dgnre, lquation x2 y 2 1 0 correspond un cercle avec une forme quadratique q non dgnre, lquation x2 y 0 correspond une parabole avec une forme quadratique q dgnre. # # Pour tudier la conique pq, nous homognisons donc le polynme pM q q pOM q lpOM q c en # # QpM, tq q pOM q lpOM qt ct2 . Par dnition, la conique associe est propre si la quadrique QpM, tq est non dgnre dans R. Cette dnition ne dpend pas du choix du point O ; elle prend tout son sens dans lespace projectif associ au plan afne, cf. [3, Page 200]. Dans la pratique, nous procdons ainsi. Soit pq le dterminant de la matrice M pq et 0 pq la quantit, 0 pq ac b2 . 1. Si r
2.
3, le dterminant pq est non nul et la conique pq est propre ou non dgnre. (a) Si 0 pq 0, la conique pq est une ellipse. Elle a des points rels si sa signature est t2, 1u et nadmet pas de points rels si sa signature est t3, 0u. (b) Si 0 pq 0, la conique pq est une parabole. (c) Si 0 pq 0, la conique pq est une hyperbole. Si r 2, nous avons pq 0 et la conique est dgnre. (a) Si 0 pq 0, la conique pq est dcompose en deux droites imaginaires concourantes et
conjugues. Elle na quun seul point rel, le point dintersection des deux droites. (b) Si 0 pq 0, la conique pq est constitue de deux droites distinctes et parallles. Les droites sont relles si la signature est t1, 1u et imaginaires si la signature est t2, 0u. (c) Si 0 pq 0, la conique pq est constitue de deux droites relles concourantes.
3. Si r
# # Soit le plan afne euclidien muni dun repre orthonorm pO, e1 , e2 q. Nous supposons maintenant que la conique pq associe au polynme est non dgnre.
Dtermination dun centre ventuel Supposons que la conique pq admette un centre de symtrie # # de coordonnes px0 , y0 q dans le repre pO, e1 , e2 q. Remarquons que lquation de pq dans le #, e q na pas de termes de degr impair, donc pas de terme du premier degr. Ainsi, # repre p, e1 2 sil existe, le centre a pour coordonnes les solutions du systme
5
En rsum, si 0 pq ac b2 $ 0, la conique pq admet un centre. Si 0 pq 0, la conique est une parabole comme nous lavons dj crit. Dtermination des directions asymptotiques ventuelles Les pentes des directions asymptotiques sont les racines de lquation cm2 2bm a 0. 1. Si 0 pq ac b2 0, la courbe pq admet deux directions asymptotiques. Rappelons que, dans ce cas, pq est une hyperbole. 2. Si 0 pq ac b2 0, la courbe pq a une seule direction asymptotique. Rappelons que, dans ce cas, pq est une parabole.
3. Si 0 pq ac b2 0, la courbe pq na pas de direction asymptotique. Rappelons que, dans ce cas, pq est une ellipse.
1.5. CONIQUES 23
Dtermination de lquation rduite de la conique partir de la forme quadratique q px, y q b ax2 2bxy cy 2 associe Notons M pq q a c la matrice associe. Sagissant dune b matrice symtrique relle, elle est diagonalisable dans une base orthonormale p #, #q de vecteurs u v propres. Dans cette nouvelle base, la forme quadratique q scrit q pX, Y q 1 X 2 2 Y 2 . 1. Si 0 pq 0, la conique est une parabole. Les valeurs propres de la matrice sont pa cq et 0. Dans le repre pO, #, #q, lquation de la conique pq devient u v
2.
pa cqX 2 2dIX 2eIY f I 0. Il existe un repre pOI , #, #q, obtenu par translation du prcdent, dans lequel lquation u v I2 2pX I . de la conique pq est Y Si 0 pq $ 0, la conique est une ellipse (cas o 0 pq 0) ou une hyperbole (cas o 0 pq 0). Dans le repre pO, #, #q, lquation de la conique pq deivnet : u v 1 X 2 2 Y 2 2dI X 2eI Y f I 0. En faisant une translation du repre au centre de la conique, lquation de pq devient 1 X I2 2 Y I2 f P .
ax2 2bxy cy 2 2dx 2ey f
0
# # est lquation de la conique pq dans un repre pO, e1 , e2 q quelconque, lquation de la tangente en un point A px0 , y0 q pq est
24
PARTIE 1. ALGBRE
Soit P un plan afne euclidien rapport un plan or# # thonorm pO, e1 , e2 q et soit k un nombre rel non nul. On appelle inversion de ple O et de puissance k, lapplication : IO,k : P z tOu M
3. Si k 0, montrer que pour tout cercle passant par deux points inverses lun et lautre est orthogonal au cercle dinversion. 4. On se donne deux ensembles de points :
2 @ F I AI , AI , . . . , AI
1 2 l
e#
P z tOu MI
i
tA1, A2, . . . , Al u
# tel que O, M et M I sont aligns et OM I , OM k. On ajoute au plan P un point linni, V, et on note p p P P tVu. Par dnition, une droite de P est une droite du plan P laquelle on a ajout le point linni. Linp p version IO,k stend en une application IO,k : P P par IO,k pOq V, IO,k pVq O. Une similitude h de P est p p galement prolonge en une application de P dans P par hpVq V. 1 Montrer que la compose de deux inversions de mme pole O est une homothtie de centre O. En dduire que lon peut toujours dcomposer une inversion IO,k en un produit hO, IO,kI o hO, est une homothtie de centre O et de rapport et IO,kI est une inversion de ple O dont on peut xer arbitrairement la puissance k I . 1. Supposons k 0 et soit pq une droite situe la disc tance k de O. Dterminer limage de pq par cette inversion. 2. En dduire limage dune droite quelconque par une inversion. (On distinguera le cas o la droite passe par le ple de linversion.) 3 Soit IO,k une inversion. 2 Soit IO,k une inversion.
tels que, pour tout couple pi, j q, les points Ai , Aj , AI i et AI sont cocyliques. Montrer quil existe une inverj sion ou rexion, I, telle que I pAi q AI , pour tout i i 1, . . . , l. 5 On considre le plan afne euclidien P identi C. 1. Donner des conditions ncessaires et sufsantes sur les nombres complexes a, bet le nombre rel c pour que b. zz az bz c 0 soit lquation dun cercle. a. az bz c 0 soit lquation dune droite,
2. Montrer que la transformation N : z 1{z, dnie sur P z t0u, conserve lensemble des cercles et des droites. 3. a. Soit IO,1 linversion de centre O et de puissance 1. Si z est lafxe de M , dterminer lafxe de z I de M I IO,1 pM q. b. Soit IA,k linversion de centre A et de puissance de k. Si z est lafxe de M , dterminer lafxe z I de M I IA,k pM q. c. Retrouver le fait quune inverse conserve lensemble des cercles et des droites.
Reconnatre une conique partir dune quation
2. Soit pC q un cercle tel que la puissance du point O par rapport pC q soit gale k. Dterminer limage de pC q par IO,k .
1. Supposons k 0, dterminer un cercle invariant point par point par IO,k . On lappelle cercle dinversion.
6 Montrer que la courbe dnie par x2 y 2 2xy 2x y 1 0 est une parabole. On en donnera une quation rduite dans un repre appropri et on exprimera son foyer, sa directrice, # # son axe et son sommet dans le repre pO, e1 , e2 q de rfrence. 7 Dterminer la nature des courbes suivantes et en donner une quation rduite dans un repre appropri : 2. x2 4xy 3y 2 2x 2y 5 0, 1. 2x2 4xy 5y 2 4x 8y p4{3q 0,
3. En dduire limage dun cercle quelconque par une inversion (On distinguera le cas o le cercle passe par le ple dinversion.) 4 On se donne deux points M et N et leurs images respectives M I et N I par linversion IO,k .
2. Si M , N , M I , N I ne sont pas aligns, montrer quils sont situs sur un mme cercle.
3. 4x2 5xy y 2 3x 3y
0.
25
8 Soit p, q un couple de nombres rels non simultanment nuls, on considre le faisceau p, q de coniques dni par px2 y 2 4xq px 1q2
# # 1. Soit M I le point tel que OM I QM . Dcrire le lieu du point M I . 2. En dduire le lieu du point M . 13 Dterminer le lieu des foyers des coniques centre dont on donne le cercle principal et un point.
0.
1. Montrer que les coniques p, q passent par deux points xes A et B dont on dterminera les coordonnes. 2. Dterminer les couples p, q pour lesquels b. la conique p, q est une parabole, d. la conique p, q est une ellipse, e. la conique p, q est un cercle. a. la conique p, q est dgnre,
9 Dterminer le foyer et la directrice dune parabole connaissant 1. le foyer et deux points, 2. la directrice et deux points, 3. le foyer et deux tangentes, 4. la directrice et deux tangentes, 5. le foyer, une tangente et son point de contact, 6. la directrice, une tangente et son point de contact. 10 Dterminer le cercle directeur relatif lautre foyer dune conique centre connaissant un foyer F , deux tangentes pq et pI q, concourantes en un point I, et le point de contact M de la tangente pq. (On montrera que le second foyer F I est situ sur une droite passant par le point I et on tudiera la nature de la conique lorsque le point M varie sur la droite pq, le point F et les droites pq et pI q restant xes.)
Recherche de lieu de points
11 Soit pDm q la droite dquation y x m avec m un paramtre rel. Lorsquils existent, on note M1 et M2 les intersections de la droite pDm q et de lellipse dquation 4x2 9y 2 1 0. Dterminer le milieu I du segment rM1M2s. 12 Considrons deux droites perpendiculaires pq et pI q et deux nombres rels strictement positifs a et b. Deux points P et Q dcrivent respectivement les droites pq et pIq de sorte que la longueur du segment rP Qs reste xe et gale a b. Sur le segment rP Qs, on repre le point M dni par P M a et M Q b.
26 PARTIE 1. ALGBRE
NOTATIONS ET OBJECTIFS DU PROBLME Dans tout le problmes, la lettre n dsigne un entier suprieur ou gal 2. On note : N lensemble des nombres entiers naturels ; Z lensemble des nombres entiers relatifs ; R lensemble des nombres rels. Les lettres p et q dsignent des nombres entiers relatifs, on note vp , q w lensemble des nombres entiers relatifs compris (au sens large) entre les nombres p et q, autrement dit :
vp , qw tm, m Z ; p m et m qu .
Par ailleurs, on note Sn lensemble des permutations de lensemble v1 , nw ; Mn pRq lalgbre des matrices carres dordre n coefcients rels ; In la matrice unit de Mn pRq ; et si pk, lq appartient v1 , nw2 : Ekl la matrice appartenant Mn pRq dont le coefcient situ sur la k e ligne et la le colonne vaut 1 et dont tous les autres coefcients sont nuls. On rappelle que la famille pEkl qpk,lqv1,nw2 est une base de Mn pRq. On note enn M pmij q ou M pmi,j q en cas dambigut, la matrice : M
pi,j qv1,nw2
mij Eij .
La lettre K dsignant un rel, on dnit les ensembles : A 3 LK M, M pmij q Mn pRq, di v1 , nw, n1 mij K ; j L K R LK ; CK tM, M pmij q Mn pRq, dj v1 , nw, n 1 mij K u i C K R CK . Une matrice M pmij q appartenant Mn pRq est dite matrice magique dordre n lorsquelle vrie les deux proprits suivantes :
3
v1 , n2w
et
n k 1
(P1 )
hK R, M LK CK
Lobjet du problme est ltude de quelques proprits des matrices appartenant L C et des matrices magiques dordre n, avec, notamment, une construction de certaines dentre elles dans le cas o n est impair. Les cinq parties du problme peuvent tre traites indpendamment les unes des autres. QUESTION PRLIMINAIRE Montrer que, si M est une matrice magique dordre n, le rel K dont la proprit (P2 ) afrme lexistence vaut nces2 sairement npn21q . Dans toute la suite du problme, on note Kn
mkk
n k 1
mk,n1k
K
(P2 )
npn21q .
2
PARTIE I : TUDE DES MATRICES MAGIQUES DORDRES 2 ET 3 1. Montrer quil nexiste pas de matrice magique dordre 2. a11 a12 a13 2. Soit M a21 a22 a23 une matrice magique dordre 3. a31 a32 a33
a. tablir linclusion de lensemble t1, 9u dans lensemble ta12 , a21 , a23 , a32 u.
27
b. En dduire lensemble des matrices magiques dordre 3. PARTIE II : TUDE DE LESPACE VECTORIEL L C
1. a. Montrer que L0 est un sous-espace vectoriel de Mn pRq et quil est engendr par la famille
pEij Einqpi,jqv1,nwv1,n1w .
b. Soit K un rel. Montrer que, quelle que soit la matrice M appartenant Mn pRq, M appartient LK si et seulement si M KIn appartient L0 . c. En dduire que L est un sous-espace vectoriel de Mn pRq et prciser sa dimension. 2. a. Montrer que, quelle que soit la matrice M Prciser la dimension de L0 .
n n i 1j 1
mij pEij
Einq
n
i 1 mij
appartenant L0 , M appartient C0 si et seulement si, pour tout j appartenant v1 , n 1w, b. En dduire une base et la dimension de L0 vectoriel).
0.
3. a. Montrer que, quelle que soit la matrice M appartenant Mn pRq, M appartenant L C si et seulement sil existe un rel K tel que M appartienne LK CK . b. En dduire la dimension de lespace L C.
1. a. Soit f un lment de I. Montrer quil existe un couple p1 , 2 q appartenant t1, 1u2 tel que, pour tout point N de E de coordonnes px, y q dans le repre R, les coordonnes pxI , y I q du point f pN q dans le repre R vriant :
5
PARTIE III : EXEMPLE DE GROUPE OPRANT SUR LENSEMBLE DES MATRICES MAGIQUES DORDRE N Soit E un plan afne euclidien rapport au repre orthonorm R p0, #, #q. On considre le carr ABCD de centre u v # # # # O tel que les vecteurs AB et u dune part, BC et v dautre part, soient colinaires. On note I lensemble des isomtries de E qui laissent le carr ABCD globalement invariant. On note le point de E vriant n 1 # # # O pu v q 2 et RI le repre p, #, #q. u v
xI 1 x y I 2 y
ou
xI 1 y y I 2 x
2. Soit f un lment de I. On considre lapplication de R2 vers R2 qui, un couple ps, tq de rels, associe le couple de coordonnes dans le repre RI de limage par f 1 du point de coordonnes ps, tq dans ce mme repre. b. Soit f lapplication de Mn pRq dans lui-mme qui, une matrice M pmij q, associe la matrice f pM q pmI q ij vriant, pour tout pi, j q appartenant v1 , nw2 , mI mkl , le couple pk, lq tant gal pi, j q. ij Montrer que lapplication f est un endomorphisme de Mn pRq. a. Montrer que, quel que soit le couple pi, j q appartenant v1 , nw2 , le couple pi, j q appartient v1 , nw2 .
b. Soit N le point de E de coordonnes pX, Y q dans le repre RI . Pour chaque lment f de I, exprimer les coordonnes pX I, Y Iq du point f pN q dans le repre RI en fonction de X et de Y .
3. Soit F lensemble tf , f I u. Montrer que pF, q est un groupe isomorphe au groupe pI, q. (Le symbole dsigne la composition des applications.) 4. a. Vrier que limage dune matrice magique dordre n quelconque par un lment de F quelconque est une matrice magique dordre n. b. Soient f et g des lments de I. Montrer que, sil existe une matrice magique M dordre n telle que f pM q g pM q alors f g.
28
PARTIE 1. ALGBRE
c. Montrer que lensemble des matrices magiques dordre n est ni et que son cardinal est un multiple de 8. PARTIE IV : TUDE DUN GROUPE ASSOCI CERTAINES PERMUTATIONS DE v1 , N w tant donne une permutation quelconque de v1 , nw, on note A la matrice paij q appartenant Mn pRq et vriant, pour tout pi, j q appartenant v1 , nw2 , aij piq,j , ce dernier symbole (dit de Kronecker ) tant dni par la relation : ij On note S lensemble tA , 1.
1 0
si i j sinon.
Snu. Soient un lment de Sn et M pmij q un lment de Mn pRq. Expliciter le terme gnral de la matrice A M , puis le
terme gnral de la matrice M A .
2. Montrer que pS, q est un groupe isomorphe au groupe pSn , q (Le symbole dsigne la multiplication matricielle.) b. On note Jn lensemble des permutations de v1 , nw telles que :
3. a. Soit K un rel. Montrer que, pour toute matrice M appartenant LK CK et toutes permutations et I de v1 , nw, A M AI appartient LK CK .
dk v1 , nw,
4. On note J lensemble tA ,
pn 1 k q n 1 pk q.
Soit un lment de Jn . Montrer que, si M est une matrice magique de taille n, alors A M A1 en est aussi une.
J n u.
b. Dterminer le nombre dlments de J . PARTIE V : CONSTRUCTION DE MATRICES MAGIQUES DORDRE N IMPAIR 1. Cas o n nest pas multiple de 3 On suppose que dans cette section V.1. que n est un entier impair non multiple de 3. On dit que deux entiers p et q sont congus module n, et lon note p q pmod nq, lorsque n divise p q. a. Montrer quil existe un entier m premier avec n tel que, pour tout quadruplet pi, j, k, lq appartenant Z4 ,
5
k 2i j l i 2j
pmod nq pmod nq
5
si et seulement si
i mp2k lq j mp2l k q
pmod nq pmod nq
Ainsi, pour tout couple pk, lq appartenant v1 , nw2 , il existe un et un seul couple pi, j q appartenant v1 , nw2 tel que : k 2i j l i 2j
pmod nq pmod nq
b. On note Z{nZ lanneau quotient Z par lidal nZ et, si x est lment de Z, x la classe dquivalence de x dans Z{nZ. ii. En dduire que, pour tout l appartenant v1 , nw, la somme fonction de n). i. Soient u et v deux entiers relatifs, u non nul. Montrer que, si u et v sont premiers entre eux, lapplication x ux v est une bijection de Z{nZ sur lui-mme.
n
k 1
pk, lq.
c. Soit W
pwi,j q la matrice appartenant MnpRq et vriant, pour tout pi, j q appartenant v1 , nw2 : wij npi 1q j. Soit G pgk,l q la matrice appartenant Mn pRq et vriant, pour tout pk, lq appartenant v1 , nw2 : gk,l wpk,lq, pk,lq . Construire G dans le cas o n 5.
29
i. Montrer que lensemble des coefcients de G est v1 , n2 w. e. Dans cette question, on tablit une proprit supplmentaire de la matrice G. Si i appartient v1 , nw, on note ii. Montrer que G est une matrice magique dordre n.
i.
tpk, lq, pk, lq v1 , nw, k l i pmod nqu . Montrer que, pour tout i appartenant v1 , nw, pk,lqE gkl Kn .
Ei
i
ii. Dterminer n autres ensembles F1 , F2 , . . ., Fn analogues aux ensembles E1 , E2 , . . ., En tels que, pour out i appartenant v1 , nw, pk,lqFi gkl Kn . 2. Composition de deux matrices magiques. Cas o n est multiple de 3. Soient p et q deux entiers suprieurs ou gaux 3. partir dune matrice magique A pakl q dordre p et dune matrice magique B pbij q dordre q, on considre la matrice carre D pduv q dordre pq vriant, pour tout pk, lq appartenant v1 , pw2 et tout pi, j q appartenant v1 , q w2 , dpi1qpk,pj 1qpl
4 3 8 9 5 1 . a. Construire D dans le cas particulier o les matrices A et B sont gales 2 7 6 b. Montrer que, pour toutes matrices magiques A et B dordre respectifs p et q. D est une matrice magique dordre pq. c. En dduire que, si n est un multiple de 3, lensemble des matrices magiques dordre n nest pas vide.
30
PARTIE 1. ALGBRE
Polynmes
Fiche cre par D. TANR pour la Formation CAPES Lille 1, anne 2006-2007. 1 Trouver le pgcd de P pX q 3X 3 X 1 et QpX q 3X 2 2X 1. 2 Dmontrer que, quels que soient les entiers p, q, r, le polynme X 3p X 3q1 X 3r2 est divisible par X 2 X 1. 3 Soit Pn pX q pcos X sin qn , avec R et n N, n 0. Quel est le reste de la division euclidienne de Pn pX q par X 2 1 ? 4 Soit Un le groupe des racines ne de lunit dans C. On dit que Un est une racine primitive si k $ 1 pour 1 k n 1. On note 1 , . . . , m les racines primitives de Un et on appelle polynme cyclotomique dindice n le polynme dni par n pX q pX 1. Dmontrer que m dEuler. 6 Un polynme P pX q a0 a1 X est dit unitaire si am tif.
am X m
1. a. Soit 1 , . . . , n des nombres complexes. On considre les polynmes P et Q de CrX s dnis par : P pX q QpX q
n i 1 n i 1
pX 1q pX i2q
pX i2 q.
k
Montrer que si P0 est coefcients entiers, il en est de mme pour Pk , pour tout entier k 0. 2. a. Soit Pn lensemble des polynmes unitaires de degr n, coefcients entiers et dont les racines sont de module infrieur ou gal 1. Soit P Pn , on pose : i. X q Pp
5 Le but de cet exercice est de dmontrer le critre dEisenstein : Soit p un nombre premier et soit A an X n a0 un polynme coefcients entiers tels que a) ai est divisible par p pour 0 i n 1, b) an nest pas divisible par p, alors A est irrductible dans QrX s. On raisonne par labsurde en supposant que A nest pas irrductible dans QrX s. 1. Montrer, laide du lemme de Gauss, quil existe deux polynmes non constants B et C dans ZrX s tels que A BC. 2. On note B bd X d b0 . En rduisant modulo p, montrer que p divise b0 , . . . , bd1 . c) a0 nest pas divisible par p2
X n an1X n1 a0 n i1 pX i q, ii. sk 1i i i n i i i , pour 1 k n. Calculer les coefcients de P pX q en fonction des nombres sk . En dduire que lon a |ank | Ck n pour 1 k n et que Pn ne contient quun nombre
1 2 k 1 2 k
ni dlments. b. Soit 1 , . . . , n des nombres complexes, de module infrieur ou gal 1, tels que le polynme P pX q n 1 pX i q soit coefcients entiers. i i. Montrer en utilisant les questions prcdentes : quil existe deux entiers strictement positifs j et k et une permutation de t1, 2, . . . , nu 2k 2j , pour tout i tels que i piq t1, 2, . . . , nu, 2kr quil existe un entier r 0 tel que i jr 2 i pour tout i t1, 2, . . . , nu. ii. Montrer que toute racine non nulle de P est racine de lunit.
X
p 1
M pt0 hq M pt0 q
Proposition 1.39
q 1
hk k!
k # e
k p
hq # f hq Op1q q!
avec p
q 1
hk
q! p1 Op1qq
h p hq
h O p1 q k! q!
on a alors :
# M pt0 hq M pt0 q # f . e
Le tableau 1.1 donne tous les types de points singuliers quon peut retrouver dans des courbes paramtres.
/p
pair impair
32
PARTIE 1. ALGBRE
33
x pt q
t2 t 1 t2 1 , y ptq t1 2t
On prcisera les positions relatives de la courbe et de ses asymptotes. 2 Soit a 0 et b 0. 1. Tracer la courbe dquation
au
1. pq 1 tan ,
2. pq 1 tanp{2q. (On prcisera les asymptotes et leur position par rapport la courbe. Ltude des points dinexion nest pas demande.) 5 Donner lquation en polaires, dune droite, dun cercle, dune conique dont le foyer est au ple. 6 Soit pq la courbe en coordonnes polaires dnie par pq 1 sin3
.
3
Si M est un point de cette courbe, on note H la projection orthogonale du ple sur la tangente en M pq, et P lensemble des points H ainsi obtenus lorsque M parcourt la courbe pq. Donner une quation polaire de P. Interprter gomtriquement cet ensemble.
34
PARTIE 1. ALGBRE
2. Montrer que la transformation N : z 1{z, dnie sur P t0u, conserve lensemble des cercles et des droites.
3. a. Soit I pO, 1q linversion de cercle O et de puissance 1. Si z est lafxe de M , dterminer lafxe z I de M I I pO, 1qpM q. b. Soit I pA, k q linversion de centre A et de puissance k. Si z est lafxe de M , dterminer lafxe z I de M I I pA, k qpM q.
c. Retrouver le fait quune inversion conserve lensemble des cercles et des droites. 2 On complte le plan P identi C par un point not V et on pose : c si c C, c V V, V 0, c si c C et c $ 0, c V V, 0 V. V , 0 V et 0 ne sont pas Les expressions V V, V 0 dnies. Le but de lexercice est ltude des transformations de C tVu dans C tVu dnies par : z
b f pzq az d cz
avec pa, b, c, dq C4
et ad bc $ 0,
appeles homographies.
b. Montrer que lapplication z f pz q est bien dnie et est bijective. Dterminer son inverse. c. Montrer que le produit de deux homographies est une homographie.
2. a. Exprimer gomtriquement f si c 0.
b. Soit c $ 0. Montrer que f se dcompose en f t1 sN t2 o t1 et t2 sont des translations, s est une similitude et N est dni dans lexercice 1. c. En dduire que f conserve les angles orients, lensemble des cercles et des droites.
b. En dduire que toute application bijective de C tVu dans C tVu conservant lensemble des cercles et des droites est un lment de G.
3. a. Montrer que si f a trois points xes, cest lidentit. b. On se donne trois points distincts dafxes respec tives z1 , z2 , z3 . Construire une homographie f telle que : f pz1 q V, f pz2 q 0, f pz3 q 1.
1.11. NB. COMPLEXES, INVERSION, HOMOGRAPHIES 35
36
PARTIE 1. ALGBRE
PA R T I E
Analyse
Fiche 1
1 Pour tout entier naturel n, on pose In
{2
0
tann x dx.
1. a. Soit n un entier naturel, montrer que lintgrale In existe. 2. a. Calculer In2 In en fonction de n. b. Montrer que :
b. Montrer que la suite pIn qnN est une suite dcroissante de nombres rels positifs.
dn N,
d. On pose f pnq In4 In , montrer que : c. Que peut-on en dduire pour la suite pIn qnN ?
1 In n 1 . 2 pn 1 q 1
1 n 1. n3 1
p 1f
p4p 2q. 4k 1 4k 1
1 5 1 7 1 9 1 1
lim
1 3
p 1f
p4p 3q.
5. a. Montrer le thorme de convergence radiale suivant : Soit pan qnN une suite de nombres complexes, on dnit sur R la suite de fonctions pun qnN par : dx R, unpxq anxn.
Thorme 2.1
On suppose que la srie entire n0 an xn a un rayon de convergence gal 1. Lorsque la srie n0 un pxq converge, on pose f pxq n0 un pxq. (ii.) Si la suite pan qnN est une suite de rels positifs, dcroissante qui converge vers 0, alors la srie n0 un converge uniformment sur r1 , 0s et la fonction f est continue sur r1 , 1r. (i.) Si la srie numrique n0 an est absolument convergente alors la srie normalement r1 , 1s et la fonction f est continue sur r1 , 1s.
n 0 un
converge
b. Dterminer la somme de la srie numrique 2 On dnit sur R la fonction f par : et la suite pun qnN par :
n 1
f pxq x2 2x 1,
5
u0 R dn N,
un1
l2.
f punq.
PARTIE 2. ANALYSE
x l1
1 x 2 1 f pxq 2.
2. Tracer la courbe reprsentative de f dans un repre orthonormal dunit graphique 2 cm, puis la droite D dont une quation est y x. Reprsenter les quatre premiers termes de la suite pun qnN lorsque u0 0,7 puis u0 1,25. 3. On suppose que u0 4.
l1, montrer que la suite punqnN est dcroissante, est-elle convergente ? On suppose que u0 est lment de s1 , l1 r. a. Montrer que u1 est lment de sl2 , 2r. b. Dans la suite, on dnit les suites pvn qnN et pwn qnN par : dn N, vn u2n et wn u2n1.
Montrer que :
c.
dn N, 1 vn l2 et l2 wn 2. tudier la monotonie des suites pvn qnN et pwn qnN . Montrer que les suites pvn qnN et pwn qnN convergent et prciser
la limite de chacune delles.
5. Dterminer les valeurs du premier terme u0 de la suite pun qnN pour lesquelles la suite pun qnN converge. 3 quation de la chaleur Soit f une application de R dans R, 2-priodique et de classe C 3 . On appelle solution du problme de la chaleur not pC q toute application F lment de C 1pR R, Rq telle que : (i.) (ii.) (iii.)
1. Les questions suivantes permettent de montrer lunicit dune solution du problme de la chaleur pC q :
fF f2F . f t f x2
a. On suppose que le problme pC q admet une solution F . Pour tout rel t rel positif x, on dnit lapplication Ft sur R par Ft pxq F px, tq. Montrer quil existe une suite de fonctions pn qnZ tel que :
dx R,
c. Montrer que si F existe alors :
Ft pxq
V
n
V
n ptqeinx .
b. Montrer que, pour tout entier relatif n, lapplication n est solution de lquation diffrentielle y I
n2y sur R.
dpx, tq R R,
F px, tq
V
n
V
cn pf qen t einx .
2
2. On rappelle lgalit de Parseval. Si est lment de C 0 pR, Rq et 2-priodique (valable si est seulement continue V par morceaux), alors la srie nV |cn pq| converge. La srie de Fourier de , V cn pqen (o en pxq einx ), nV converge normalement vers sur R. Soit n un entier relatif, on dnit sur R R la fonction n par : n px, tq cn pf qen t einx .
2
b. On pose F la somme de cette srie. Montrer que F est solution du problme de la chaleur pC q.
V
n
2.1. FICHE 1
39
Fiche 2
1 Suite de Fibonacci et nombre dor On appelle nombre dor et on note , lunique solution positive de lquation : x2 x 1 0. La suite de Fibonacci est la suite dnie par :
6 9u0 8
1 u 0 9 1 7 dn N,
2. On dnit les suites pvn qnN et ptn qnN par :
un2
un1 un
1. Montrer que, pour tout entier naturel suprieur ou gal 2, le nombre un est un entier strictement positif.
dn N,
vn
Montrer que ces suites sont gomtriques, en dduire une expression de vn et de tn en fonction de n et de . 3. Montrer la formule de Binet suivante : un En dduire que : un 1 5 2
n 1
1 c 5
n1
1 5 2
n1
p1qn1n1 . c
5
4. Dterminer la formule de Binet par une autre mthode. 2 Ingalit de Wirtinger Si f est une application continuement drivable, 2-priodique de R dans C telle que son intgrale sur un segment de longueur 2 soit nulle, alors :
|f ptq|2 dt
f I ptq dt.
2
Soient pan qn1 et pbn qn1 deux suites de nombres rels. Pour tout rel x et tout entier naturel, on pose fn pxq an cos nx bn sin nx et on suppose que, pour tout rel x, la suite pfn pxqqn1 converge vers 0, alors les suites pan qn1 et pbn qn1 convergent vers 0.
Question prliminaire : Montrer que la suite pan qnN converge vers 0. Premire mthode : Raisonnement par labsurde On suppose que la suite pbn qn1 ne converge pas vers 0. n1
40
1. Montrer quil existe un rel strictement positif et une sous-titre pbnk qk1 de la suite pbn qn1 tels que :
0, dk N,
|bnk | , nk1
3nk .
PARTIE 2. ANALYSE
2. On pose :
dk N, k 1
Construire une suite ppk qk1 de nombres entiers telle que la suite des segments Jk
nk
pk
et
1 nk
5 6
pk
, pk
Z.
dx Jk , |sin nk x| 1 . 2
k 1 Jk .
3. Dterminer
Conclure.
2. On admet le lemme suivant : Soit a et b deux rels tels que a b, pfn qnN une suite de C 0 pra , bs, Rq telle que : la suite pfn qnN converge simplement vers 0. hM R , dn N, 0 fn M . Alors
b n
Lemme 2.3
lim
fn ptq dt 0.
Conclure. 4 Rsolution dun problme de Dirichlet Soit f une fonction continue de r0 , s dans C. On se propose de dterminer les solutions si elles existent du problme de Dirichlet suivant : 5 yP y f y p0q y p q 0
1. Montrer que les fonctions x r0 , s sinhpxq et x r0 , s sinhp xq sont indpendantes. En dduire lensemble des solutions de lquation diffrentielle y P y 0. 2. Dterminer une solution particulire de lquation diffrentielle constantes. 4. Rsoudre le problme de Dirichlet.
y P y f.
2.2. FICHE 2
41
Fiche 3
On se propose dans ce devoir de construire la fonction exponentielle : on sinterdit donc tout emploi de proprits de la fonction exponentielle, de la fonction logarithme et des fonctiosn puissances dans le cas dun exposant non rationnel. Par contre les proprits des fonctions puissances exposant rationnel sont supposs connues. 1 Lingalit de Bernouilli Montrer, de trois manires diffrentes, par des mthodes lmentaires, lingalit suivante :
d n N ,
avec galit si et seulement si x1 et de la moyenne gomtrique.
dpx1, . . . , xnq s0 , Vr
1 xp n p 1
n
1{n
p 1
xp
1. Montrer cette ingalit pour n 2, tudier le cas dgalit. On propose deux mthodes pour dmontrer cette ingalit. Premire mthode : mthode de Cauchy 1. Soit A une partie de N possdant les trois proprits suivantes : i.) 1 A ;
dt r0 , 1s,
ptq
n k 1
xk
t pxp xk q . n p1
n
1. Montrer que, pour tout rel t lment de r0 , 1s, le rel ptq est strictement positif. 2. Dmontrer que lapplication est strictement croissante. 3. Dmontrer lingalit de Cauchy et son cas dgalit. 3 Construction de la fonction exponentielle 1. Soit x un rel x, on note :
d n N ,
un pxq 1
x n , n
n
et :
x dn N, n |x| , vnpxq 1 n Montrer que les suites pun pxqqn|x| et pvn pxqqn|x| sont adjacentes.
42
PARTIE 2. ANALYSE
2. On note e lapplication de R dans R qui, un rel x, associe la limite commune des suites pun pxqqn|x| et pvn pxqqn|x| . Montrer que la suite dapplications pun qn1 converge uniformment vers lapplication e sur tout segment de R. Que peut-on dduire pour lapplication e ? 3. Dmontrer les ingalits suivantes : a. b.
4. a. Dmontrer que, pour tout rel x, e pxq est non nul et exprimer son inverse.
dx R, ex 1 x 1 dx sV , 1r, ex 1x
b. Soit pn qnN une suite de nombres rels qui converge vers 0, dterminer :
n
lim
n n . n
c. En dduire que :
dpx, yq R2,
e p x y q e px q e p y q.
5. numrer les proprits lmentaires, cest--dire enseignes dans les classes de lyce, de la fonction exponentielle et dmontrer quelles sont vries par lapplication e. 4 Un calcul dintgrale Soient a et b deux rels tels que a b et f une application de ra , bs vers R, continue par morceaux sur ra , bs. Soit F une application de ra , bs vers R, on suppose que f et F vrient la condition suivante :
1. 2. 3.
dpx, yq ra , bs2, F pyq F pxq py xqf pxq. Montrer que lapplication f est croissante sur ra , bs. Dmontrer que lapplication F est convexe sur ra , bs. Soit n un entier positif. Dmontrer que si pap q0pn est une subdivision de ra , bs alors :
n 1 p 0
n 1 p 0
4. En dduire que
2.3. FICHE 3
43
Fiche 4
Partie 1 On dnit la suite double de nombres rels pap,q qpp,qqN2 par : (i) a0,0 (ii) (iii) (iv)
1. Calculer, pour tout q entier naturel, a1,q . 2. Calculer a2,1 et a2,2 . 3. Calculer, pour tout q entier naturel, a2,q 4. Soit la proprit : P pp q : d q
Montrer que, pour tout entier p, la proprit P ppq est vraie. 5. Pour p strictement suprieur q, calculer ap,q . 6. Pour p entier nautrel, calculer ap,p . 7. Dterminer les matrices An
N, ap,q N.
Partie 2 On note F lensemble des fonctions indniment drivables de s0 , Vr dans R. On dnit lapplication par :
df F,
avec Pour q lment de N , on note q
pf q g g pxq xf I pxq.
q1 et par convention 0 1F .
dx s0 , Vr,
1. Montrer que est un endomorphisme de F . Est-il surjectif ? injectif ? Prciser son noyau. 2. Dterminer les valeurs propres et les vecteurs propres de lendomorphisme . 3. Pour f lment de F , expliciter 2 pf q. Dterminer le noyau de 2 et en donner une base. 4. Soit n un entier strictement positif, montrer par rcurrence quil existe des rels dp,q tels que, pour tout q lment de v1 , nw, pour tout f lment de F , on ait la relation :
dx s0 , Vr,
On admet que cette dcomposition est unique. 5. On convient que :
6 9d0,0 8
pf qpxq
q
q p 1
Montrer que :
ap,q .
b. Pour n variant de 1 4, en dduire la valeur de la derive ne de en 0. 2. Soient n un entier naturel et E un ensemble de cardinal n. On appelle partition de E, tout ensemble de parties non vides de E, deux deux disjointes, dont la runion est E. Chaque partie de la partition sappelle une classe. j Pour tout entier j strictement positif, on note Pn le nombre de partitions de E en j classes. Par convention, on note 0 1 et, pour tous les entiers n et j strictement positifs, P 0 P j 0. P0 n 0
j a. Pour j strictement suprieur n, calculer Pn . 1 n b. Calculer Pn et Pn .
c. On suppose que j est suprieur ou gal 2 et n entier strictement positif. Montrer que :
j Pn j d. En dduire que, pour tout j et n entier naturel, Pn j 1 j Pn1 jPn1.
3.
aj,n. On note Pn le nombre de partitions de E, par convention P0 1. a. Pour n variant de 1 4, calculer Pn et comparer Pn pnq p0q.
j b. Exprimer Pn laide des Pn .
n p 0
n!.
Pn
n 0
Cp Pp n
n p 0
n Pp . p
s px q
n!
xn
la somme de la srie entire lorsquelle converge. a. Montrer que le rayon de convergence de la srie est suprieur ou gal 1. b. Montrer que : c. En dduire spxq.
dx s1 , 1r,
pnqp0q.
2.4. FICHE 4
45
Fiche 5
Premire partie Soient pun qnN et pPn qnN les suites de polynmes dnies par les relations suivantes : un pxq xn px 1qn et Pn pxq 1 dn un pxq . n! dxn
1. Soient a un rel strictement positifs et k un entier naturel, montrer que lapplication a,k dnie de s0 , 1s dans R par : a,k : x s0 , 1s xa1 px 1qk , est intgrable sur s0 , 1s et calculer son intgrale note Ia,k 2. Soit n un entier naturel, calculer
1
0
1
0
un pxq dx en fonction de Cn . 2n
3. Dterminer de deux manires diffrentes le polynme Pn , le rsultat sera exprim en fonction dexpressions du type xk px 1qnk . 4. En dduire la relation : Cn 2n
n p 0
pCp q2 . n
Deuxime partie Soient a et b deux rels strictement positifs, on note J pa, bq lintgrale suivante : J pa, bq 1. Justier lexistence de lintgrale. 2. Dmonter que : J pa, bq 3. Calculer : S
1
0
ta1 dt. 1 tb
p1qn . a nb n0
1 1 1 1 1 7 10 13 4
p1qn . 1 3n n0
p1 axq
1 x2
5. Montrer que lapplication a est intgrable sur s1 , 1r. 6. Calculer lintgrale K paq
1
k 0
1 a pxq dx.
2k
c x 2 dx. 1 1 x
n
2k
(Indication : on pourra utiliser le thorme 1 admis la n de la che). 8. Soit n un entier naturel, calculer Ln
9. Retrouver le rsultat de la question 6 (de la deuxime partie) en utilisant un dveloppement en srie entire.
46 PARTIE 2. ANALYSE
Troisime partie Soit f la fonction dnie de sV , 1r dans R par f ptq Soit g la fonction dnie de s1 , 1r dans R par g p xq
c1 . 1t
arcsin c x2 . 1x
1. Dterminer le dveloppement en srie entire de f au voisinage de 0 en prcisant la suite pn qnN telle que :
dt s1 , 1r,
f ptq 1
n 1
n Cn tn . 2n
2. tablir que la fonction g est solution dune quation diffrentielle linaire du premier ordre. 3. En dduire le dveloppement en srie entire de la fonction g au voisinage de 0. Prciser le rayon de convergence R de la srie obtenue. 4. Dterminer une suite pn qnN telle que, pour x lment de lintervalle de convergence, on ait : g px q 5. Dduire la somme de la srie suivante : 1 6. Soit h la fonction dnie sur s1 , 1r par : hpxq Dterminer une suite pn qnN telle que : 2 1 3 2
n
Cn n1 2n
x2n1 .
2 4 212 2 4 6 213 3 5 3 5 7
x2 1 x2
px arcsin3x2 . 1 x2 q {
n
dx s1 , 1r,
hpxq
Cn n1 2n
x2n .
1 nCn 2n
7. Dduire des questions prcdentes la somme de chacune des sries de termes gnraux respectifs
et
1 Cn . 2n
Quatrime partie Soient F une fonction continue de r0 , 1s dans R et un rel strictement positif. Le but de cette partie est de montrer quil existe des coefcients cn pq permettant dcrire : I
1
0
F ptq dt cn pq p1 t q n0
1
0
F ptqtn dt.
f ptq
p1 tq .
F ptq p1 tq dt.
1
0
1. Dterminer le dveloppement en srie entire de lapplication f et prciser son rayon de convergence. 2. tudier, lorsque le rel est lment de s0 , 1r, lexistence de lintgrale : I
1
0
n 0
cn pq
F ptqtn dt.
Dmontrer que Cn est gal la somme dune srie dont le terme gnral dpend des coefcients Ck . 2n 2k INFORMATION Pour vous permettre de proposer une solution plus simple, vous pouvez utiliser sans les dmontrer, les thormes suivants. Soient I un intervalle de R et pun qnN une suite de fonctions continues par morceaux de I dans R, intgrables sur I, telle que la srie n0 un converge simplement sur I vers une application U . On suppose que a. lapplication U est continue par morceaux sur I. b. La srie n0 N1 pun q converge avec N1 pun q I |un ptq| dt. Alors U est intgrable sur I et :
Thorme 2.4
U ptq dt
n 0 I
un ptq dt.
Soient A et I deux intervalles non triviaux de R, f une application de A I dans C continue sur A I telle que : a. Pour tout x de A, lapplication t I f px, tq est intgrable sur I. b. Lapplication f admet en tout point de A I une drive partielle par rapport la premire variable note ff qui est continue sur A I. fx c. Il existe une application intgrable de I dans R vriant :
dpx, tq A I,
Thorme 2.5
ff px, tq ptq. fx
Alors : (i) Pour tout rel x de A, lapplication t I (ii) Lapplication F dnie par : F est lment de C 1 pA, Cq. (iii) Pour tout rel x de A, on a : : A x
C
I
f px, tq dt
F I pxq
ff px, tq dt. I fx
48
PARTIE 2. ANALYSE
Fiche 6
1 Soient n rels strictement positifs a1 , a2 , . . . , an , on dnit les moyennes suivantes : Moyenne arithmtique : n 1 ma ap . n p 1 Moyenne gomtrique : mg Moyenne harmonique : mh 1. Comparer ma , mg et mh , tudier les cas dgalit. Applications 2. Pour tous rels a1 , a2 , . . . , an strictement positifs, montrer que :
d
n
p 1
ap
n n
1 p 1 ap
p 1
ap
n 1
a p 1 p
n2 . pvnqnN et W pwnqnN
3. Soient a, b et c trois rels tels que 0 a b c. On dnit les trois suites U pun qnN , V par : 6 6 1 1 3 9u0 a 9 un1 un v1 wn 8 8 n c . et dn N, vn1 3 un vn wn v0 b
9 7
w0
c
9 7
wn1
u
vn wn
3
tudier la convergence de ces trois suites. 4. a. Montrer que, pour tout entier naturel n non nul, on a : 1 1 ln n
c
n
c n
n! n
n2n 1 .
n! ? n n 1
c
n
n!.
1. Montrer que toute fonction croissante de ra , bs dans ra , bs admet un point xe. 2. Peut-on remplacer lhypothse fonction croissante par fonction dcroissante ? 3. Soient f et g deux fonctions croissantes de ra , bs dans ra , bs telles que f xe commun ? 3 Soit n un entier naturel, on pose : Sn 1. Montrer que la suite pSn qnN est borne. 2. En dduire la nature de la srie 4 On dsigne par Pour tout f lment de E, on note f
2.6. FICHE 6
n p 0
sin p.
n 1
sin n n .
49
2f I f P
d F,
3. a. Montrer que la norme
e
f
est plus ne que la norme uniforme, cest--dire quil existe un rel a tel que :
df E,
b. Rsoudre le problme de Cauchy :
6 9y P 8
Va f .
o g est une fonction continue sur r0 , 1s. c. Trouver la meilleure constante a possible. 4. Les normes 5 Soit E
(PC)
V et
sont-elles quivalentes ?
1. a. Montrer que lensemble E est un R-espace vectoriel. b. Montrer que la fonction de E 2 dans R dnie par : pf, g q xf, g y est un produit scalaire. On dsigne par 2. On pose Ln pxq ex Montrer que Ln est un polynme de degr n. 3. Pour toute fonction f indniement drivable sur R telle que f et toute ses drives sont lments de E, montrer que : dn dxn ex f pxqg pxq dx
ex xn n!
dn N,
(1)
Indications : Montrer que si f est de classe C 1 sur R et si f et f I sont des lments de E alors :
x
V0 xfa, Lny2. n tablir que tfn , n Nu engendre un sous-espace dense dans pE, q. Montrer que RrX s est dense dans E. df E,
f
2
8. Montrer que :
V
n 0
xf, Lny2 .
6 Pour n entier naturel non nul, on note pnq le nombre de points coordonnes entire dans le disque ferm D pO, nq, soit : 2 @ pnq cardp px, y q Z2 , x2 y 2 n2 q. valuer pnq et dterminer un quivalent de pnq au voisinage de V.
50
PARTIE 2. ANALYSE
Fiche 7
1 Rsoudre lquation diffrentielle :
p1 t2qyI ty 1.
b
nf
(E)
2 1. Montrer que si f est une fonction continue de ra , bs dans C telle que, pour tout entier naturel n, on a f 0.
at
ptq dt alors
b. Soient z un nombre complexe dont la partie relle est strictement positif et n un entier naturel, montrer que la fonction t tn ezt est intgrable sur r0 , Vr. On pose In p z q
V
0
tn ezt dt.
Dterminer une relation de rcurrence entre In1 pz q et In pz q, en dduire In pz q. c. Soit f la fonction dnie sur R par f ptq sinpt1{4 q exppt1{4 q.
V
0
d. Conclure. 3. Soit f une fonction continue de R dans C. On suppose quil existe une suite de fonctions pn qnN telle que pour tout V entier naturel n, lintgrale 0 n ptqf ptq dt converge et la valeur de cette intgrale est nulle. Donner un exemple de suite de fonctions pn qnN pour laquelle on ait :
dn N,
3 Soient E
V
0
n ptqf ptq dt 0 f
0.
1. Dterminer ladhrence, lintrieur et la frontire de F lorsque E est muni de la norme de la convergence uniforme. Pour f lment de E, on pose f V sup |f pxq| .
x 0,1
2. Dterminer ladhrence, lintrieur et la frontire de F lorsque E est muni de la norme de la convergence en moyenne. 1 Pour f lment de E, on pose f 1 0 |f ptq| dt. 4 Soient c un rel positif et f une fonction continue de R dans R. Montrer lquivalence entre les proprits suivantes : i) La fonction f est c-lipschitzienne. ii) La fonction f est limite uniforme sur R dune suite de fonctions pfn qnN de classe C 1 de R dans R telle que :
dn N, dx R, dn N, dx R,
2.7. FICHE 7
I fn pxq I fn pxq
c. c.
51
iii) La fonction f est limite simple sur R dune suite de fonctions pfn qnN de classe C 1 de R dans R telle que :
5 Soient U
punqn1 une suite valeurs dans C et V pvnqn1 la suite des moyennes de Csaro dnie par : dn N, v u1 u2 un .
n
Dnition 2.6
On dit quune suite U converge au sens de Csaro vers si et seulement si la suite V converge vers .
1. Montrer que la suite U converge vers alors la suite V converge vers . 2. Si la suite V converge vers , que peut-on dire pour la suite U ? 3. Soit W
pwnqnN une suite valeurs dans C telle que lim pwn wn1 q a. nV
lim V un V.
Dterminer limnV vn . 5. Soit U une suite valeurs relles, monotone et V la suite des moyennes de Cesaro qui converge vers . Que peut-on dire pour la suite U ? 6. Soit U
u R , dn N, un1 1 nu2 .
n
b. On dnit la suite V pvn qnN pour tout entier naturel n, par vn dduire un quivalent de vn .
1 . u2 n
vnq, en
6 Soient x un rel positif et f une fonction 2-priodique dnie sur s , s par : f ptq Dvelopper en srie de Fourier la fonction f . 7 Dterminer la limite de la suite pun qnN dnie par un
5
sinhpxtq 0
si t s , r . si t
n p 1
p pn p q n2
52
PARTIE 2. ANALYSE
Fiche 8
Exercice 1. Dterminer le dveloppement en srie de Fourier de la fonction f dnie sur R par f ptq maxpsin t, 0q. 2. Rsoudre lquation diffrentielle : yP y
maxpsin t, 0q.
x
(E)
Problme Soit E un espace prhilbertien complexe. On note produit scalaire et d la distance associe la norme.
Convexe Dnition 2.7
x, y le produit scalaire,
dpx, yq X 2, d r0 , 1s,
Segment de E
x p1 qy
X.
Dnition 2.8
Soient a et b deux lments de E. Le segment dextrmit a et b est lensemble des barycentres des points pondrs pa, tq et pb, 1 tq avec t lment de r0 , 1s, on le note ra , bs. Une partie X de E est convexe si et seulement si, pour tout x et y lment de X, le segment rx , ys est contenu dans X.
Proprit 2.9
Partie 1 : Exemples de parties convexes Pour n entier naturel non nul, on particularise E 1. Soit r un rel positif et D 2. de E.
tx E, x ru. Montrer que D est une partie convexe de E. Soit I un ensemble non vide et pXi qiI une famille de parties convexes de E. Montrer que iI Xi est une partie convexe
Rn .
3. Montrer que ladhrence dune partie convexe X est convexe. 4. Montrer que tout sous-espace afne de E est une partie convexe de E. 5. Une partie S de E est dite stable par demi-somme si et seulement si :
dpx, yq S 2,
xy 2
S.
a. Montrer quune partie S stable par demi-somme nest pas ncessairement convexe. b. Montrer quune partie S stable par demi-somme qui de plus est ferme est une partie convexe de S. Partie 2 : enveloppes convexes Pour n entier naturel non nul, on particlarise E
Enveloppe convexe Dnition 2.10
Rn.
Soit X une partie de E. On appelle enveloppe convexe de X et on note convpX q, lintersection de toutes les parties convexes de E contenant X.
On note xX y le sous-esce afne engendr par X, cest--dire lintersection de tous les sous-espaces afnes de E contenant X. 1. Montrer que lenveloppe convexe de X eset la plus petite partie convexe au sens de linclusion qui contient X et que convpX q xX y.
2.8. FICHE 8 53
Y convpX q convpY q.
b. Montrer que la partie X est convexe si et seulement si X est gale son enveloppe convexe. c. Pour toute partie X de E, montrer que convpconvpX qq convpX q. 3. Soit X une partie non vide de E. a. Montrer que si X est une partie convexe de E, tout barycentre poids positif dune famille nie de points de X est dans X. b. Montrer dans le cas gnral que lenveloppe convexe de X est gal lensemble des barycentres des familles nies de points de X affects de poids positifs (quon note X ). 4. On suppose n 2. Soit X ta, b, cu un ensemble de trois points. Dterminer lenveloppe convexe de la partie X de E. 5. Soit C une partie convexe de E et m un lment de C. On dit que le point m est extrmal si et seulement si :
dpa, bq C 2, rm ra , bs m a ou m bs.
On suppose que lentier n est gal 2. Dterminer les points extrmaux des parties convexes suivantes : a. Un segment dextrmits distinctes. b. Un disque ferm. c. Un disque ouvert. d. Un carr (intrieur et bord). 2 @ e. La partie X px, y q R2 , x 0 et y 0 . 6. Soit X une partie convexe compact de E et a un point de E zX. a. Montrer quil existe un point b de X tel que :
dx X,
ax
ab
b. Montrer quun tel point b est extrmal. 7. Soit C une partie convexe de E. Montrer quun lment x de C est extrmal si et seulement si C z txu est convexe. Partie 3 : projection orthogonale sur un convexe complet Soit C une partie convexe, complte et non vide de E. 1. Montrer que, pour tout x lment de E il existe un unique lment y0 de C tel que : x y0
yinf x y C
Indication : justier lexistence de y0 en utilisant la caractrisation de Cantor pour les espaces complets. 2.
Dnition 2.11 Projection orthogonale
La fonction pC dnit sur E par pC pxq y0 est appele projection orthogonale sur C.
Montrer que :
dpx, yq E C,
Repxx pC pX q, y pC pxqy 0.
3. Montrer que la fonction pC est 1-lipschitzienne. 4. Montrer que lon a pC pC pC . 5. Montrer que pC pE q C. Partie 4 : projection orthogonale sur un sous-espace vectoriel complet de E Soit F un sous-espace vectoriel complet de E. 1. Montrer que : dpx, zq E F, xx pF pxq, zy 0. 2. 3. 4. 5. Montrer que pF est une application linaire continue sur E. Dterminer la norme de pF lorsque F nest pas rduit t0u. Dterminer KerppF q et ImppF q, montrer que E F F u . Montrer que si F et G sont deux sous-espaces vectoriels complets de E tels que G F alors : pF
54
pG pG pF pG.
PARTIE 2. ANALYSE
Fiche 9
Lobjectif de ce problme est de proposer plusieurs mthodes pour prouver le thorme dapproximation de Weierstrass :
Thorme dapproximation de Weierstrass Thorme 2.12
Soient a et b deux rels tels que a b. Toute fonction continue de ra , bs dans C est limite uniforme sur le segment ra , bs dune suite de fonctions polynmes.
On dsigne par E lensemble des fonctions continues de r0 , 1s dans K convergence uniforme, si f est un lment de E, on note : f
R ou K
t 0,1
Soit n un entier naturel, on note en la fonction dnie sur R par en ptq tn . Partie 1 : mthode des polynmes de Bernstein On suppose que K C. Soit n un entier naturel non nul, on dnit sur E loprateur Bn par :
r s
sup |f ptq| .
df E, dx R,
1. Calculer Bn pe0 q, Bn pe1 q et Bn pe2 q. 2. Pour tout rel x, dterminer
Bn pf qpxq
n p 0
Cp f pp{nqxp p1 xqnp . n
3. Proposer une dmonstration du thorme dapproximation de Weierstrass. Partie 2 : mthode de Korovkin On suppose que K R.
Dnition 2.13
Un endomorphisme T de E est appel endomorphisme positif si et seulement si, pour tout lment f de E valeurs dans R , T pf q est valeurs dans R .
1. Soient u un endomorphisme positif de E, f et g deux lments de E. a. Montrer que si f g alors upf q upg q ; b. Montrer que, pour tout f lment de E, on a |upf q| up|f |q. c. Montrer que u est continu et calculer sa norme. 2. Soient un rel strictement positif et f un lment de E, montrer quil existe un rel strictement positif tel que :
dpx, yq r0 , 1s2,
|f pxq f py q|
2 f 2
px y q2 .
4. Soit i un entier compris entre 0 et 2, montrer que la suite de fonctions pBn pei qqnN converge uniformment sur r0 , 1s vers la fonction ei .
5. Proposer une dmonstration du thorme dapproximation de Weierstrass. 6. Donner une dmonstration du thorme de Korovkin :
Thorme de Korovkin Thorme 2.14
Soient a et b deux rels tels que a b, si pun qnN est une suite dendomorphismes positifs de C ra,bs pRq telle que, pour tout i lment de t0, 1, 2u, la suite pun pei qqnN converge uniformment sur ra , bs vers ei alors, pour toute fonction f de C ra,bs pRq, la suite pun pf qqnN converge uniformment sur ra , bs vers f .
55
2.9. FICHE 9
Partie 3 : mthode par convolution On suppose K C. Une suite de fonctions pn qnN est une U-suite de fonctions si et seulement si, pour tout entier naturel n : les fonctions n sont continues de R dans R , fonctions n sont nulles sur sV , 1s intf o1V, les V V n ptq dt 1, pour tout strictement positif, on a lim sup n pxq 0.
n
V xsV,sr,Vr
6 9 9 9 1 8 9 9 9 7
dn N, dx R,
n pxq
p1 x 2 qn 2 n 1 p1 x q dx
si x r1, 1s . si x r1 , 1s
2. On suppose que cette question que la fonction f est continue de r0 , 1s dans C et f p0q f p1q 0. a. Montrer que la fonction f admet un prolongement f uniformment continu sur R. b. On dnit sur R la fonction Qn par Q n px q
V
c. Montrer que la suite de polynmes pQn qnN converge uniformment sur r0 , 1s vers la fonction f . 3. Proposer une autre dmonstration du thorme dapproximation de Weierstrass. 4. Que peut-on dire si la convergence vers la fonction f de la suite pPn q de polynmes est uniforme sur R ?
n N
Pour tout entier naturel n, montrer que la fonction Qn est une fonction polynmiale sur r0 , 1s ;
Partie 4 : mthode utilisant le noyau de Fejer On suppose que K C. On note C2 lensemble des fonctions continues, 2-priodiques de R dans C. Soit F un lment de C2 et n un entier, on note n la fonction dnie sur R par : n ptq eint . pnq 1 F ptqeint dt : le ne coefcient de Fourier exponentiel de la fonction f . F 2 Pour tout n N, Sn pF q pn n F ppqp . p n Pour tout n N, n pF q n1 p0 Sp pF q : la moyenne de Csaro de la somme partielle de la srie de Fourier. 1 Pour tout n N, Dn nn p : le noyau de Dirichlet. p 1 Pour tout n N, Kn n1 n0 Dp : le noyau de Fjer est la moyenne de Csaro des noyaux de Dirichlet. p On rappelle le thorme de Fjer :
Thorme de Fjer Thorme 2.15
Si F est une fonction continue, 2-priodique de R dans C alors la srie de Fourier de la fonction F converge uniformment au sens de Csaro sur R vers la fonction F , cest--dire :
n
nV lim
n p F q F
0.
1. Si f et g sont lments de C2 , on dnit le produit de convolution de f et g sur r , s par 1 pf gqpxq 2 Montrer que le produit de convolution est commutatif. 2. Soit F un lment de C2 . b.
56
p
n
n1 |p|
|p|
p .
n
n1
F pp q p .
dx R, dx R,
Tn pcos xq cospnxq.
Pour tout entier naturel n et pour toute fonction f de C r1,1s pCq, on pose F ptq f pcos tq, montrer que : n pF qpxq F p0q 2
n p 1
n1
5. Proposer une autre dmonstration du thorme dapproximation de Weierstrass. Partie 5 : mthode probabiliste
Moment dune variable alatoire discrte
Dnition 2.16
Soient un ensemble dnombrable, p, P pq, P q un espace probabilis discret et un entier naturel non nul. On dit quune variable alatoire discrte X telle que X pq pxp qpN a un moment dordre si et seulement si la srie p0 x P pX xp q est absolument convergente. p Dans ce cas, la somme de la srie est appel moment dordre et on note : m pX q
V
p 0
x P pX p
x p q.
On note : lesprance mathmatique EpX q m1 pX q, la variance VarpX q E pX EpX qq2 EpX 2 q EpX q2
Thorme du transfert
Thorme 2.17
Soient un ensemble dnombrable, p, P pq, P q un espace probabilis discret, X une variable alatoire discrte, I X pq et h une fonction de I dans R. On note Y h X, la variable alatoire Y a un moment dordre 1 si et seulement si la srie xI hpxqP pX xq est absolument convergente. Dans ce cas, on a EphpX qq
xI
hpxqP pX
x q.
1. Ingalit de Markov Soit X une variable alatoire rele positive, discrte admettant un moment dordre 1, montrer que :
da R ,
P pX
X aq Epa q .
2. Ingalit de Bienaym-Tchebychev Soit X une variable alatoire relle discrte admettant un moment dordre 2, montrer que :
da R ,
2.9. FICHE 9
P p|X
EpX q| aq Varp2X q . a
57
3. Soient f une fonction continue de r0 , 1s dans R, p, P pq, P q un espace probabilis discret, pour tout rel x lment de r0 , 1s, on dnit la suite pXnqnN de variables alatoires indpendantes de mm loi de Bernouilli de paramtre x. Pour tout entier naturel n non nul, pour tout rel x lment de r0 , 1s, on note Sn,x
Sn,x n
n p 1
Xp .
Dterminer la moyenne E f
4. Pour tout rel strictement positif, montrer quil existe un rel strictement positif tel que
dn N, df C r0,1spRq,
5. Conclure.
Bn p f q f
2nf2
58
PARTIE 2. ANALYSE
Fiche 10
Dveloppement en srie entire dune fonction de C dans C On dnit une fonction F de C dans C par F pz q
5
0 exp
1z
z
1 . si z $ 1
si z
On note Dp0, 1q tz C, |z| 1u. Lobjectif de ce problme est de montrer que la fonction F est dveloppable en srie entire au voisinage de 0 et dtudier quelques proprits de la suite des coefcients de cette srie entire. Partie 1 : prliminaires 1. Soient n0 an z n une srie entire de rayon de convergence R strictement positif et r un rel lment de s0 , Rr. On dnit la fonction f sur le disque ouvert de centre O et de rayon R par f px q a. Montrer que :
V
n 0
an z n .
2
0
dn N,
an
1 2rn
f prei qein d. M pr q . rn
dn N,
|an |
2. Soient A et B deux parties de C qui contiennent le point 0, f une fonction de A dans B telle que f p0q 0, dveloppable en srie entire au voisinage de 0 et g une fonction de B dans C dveloppable en srie entire au voisinage de 0 alors la fonction g f est dveloppable en srie entire au voisinage de 0. 3. Soit un entier naturel non nul, montrer par rcurrence la proprit : P p q : dz 1 C, |z| 1, p1 zq Cn1nzn. n0
Partie 2 : dveloppement en srie entire au voisinage de 0 de la fonction F 1. Soit un entier naturel, on dnit la fonction sur Cz t1u par pz q
1z
Montrer quil existe une suiet pa,n qnN de nombres entiers naturels telle que :
dz ,
2. a. Montrer que la srie b. Calculer b0 , b1 et b2 .
pz q
V
a,n z n .
n 0
3. Soit z un lment de , montrer que la famille pun,p qpn,pqN2 dnie par : un,p est sommable.
2.10. FICHE 10 59
n,p p1qn an! zp,
Thorme 2.18
pH1q : pH2q :
Si pun,p qpn,pqN2 est une suite double valeurs dans C qui vrient les hypothses : pour tout entier naturel n, la srie
p 0 |un,p |
converge, on note sn
V0 |un,p|, p
V V
n 0
p 0
un,p
V V
p 0
n 0
un,p
dz ,
F pz q
V
p 0
bp z p .
n,
n 0 bn z
Partie 3 : rayon de convergence de la srie entire et majoration des coefcients On dsigne par I lensemble des nombres complexes z tels que |z| 1 et z $ 1. 1. Pour tout nombre complexe z 2.
x iy avec x et y rels, dterminer ln |F pzq| en fonction de x et y. Soit z un nombre complexe, on note M pz q le point M du plan complexe dafxe z. Soit un rel positif, on dsigne par C lensemble des points M pz q tels que |F pz q| . Dterminer une quation cartsienne de C et indiquer la nature des
courbes C .
3. Dterminer la borne suprieure de lensemble t|F pz q| , z points ? 4. a. La fonction F est-elle continue sur Cz t1u ? b. La fonction F est-elle continue en 1 ?
n.
est-elle convergente ?
2
0
dn N,
bn rn
1 2
F prei qein d
1 Re
F prei qein d .
b. Pour tout entier naturel n, montrer que lintgrale c. Pour tout entier naturel n, dterminer
r
lim 1
8. Soit n un entier naturel non nul, on dnit la fonction un sur s0 , {2s par : un ptq 2nt cotan t . 2
tudier les variations et le signe des fonctions un , uI et uP . Prciser, en fonction de n, la valeur de lunique zro Tn de n n la fonnction uI et calculer lextremum de la fonction un . n 0 n Tn n 2 uInpnq uInpnq n3{4
PARTIE 2. ANALYSE
60
10. Soit n un entier naturel non nul, on dnit les intgrales suivantes : In
Jn
n
0
n
n
exppiun ptqq dt
et
Ln
{2
n
2 . n3{4
dn N,
|bn |
C . n3{4
2.10. FICHE 10
61
62
PARTIE 2. ANALYSE
PA R T I E
preuves dentrainement
si :
dpi, j q I 2, i $ j Ai Aj r.
i I
Ai A.
4. Groupes, sous-groupes engendr par une partie tant donn un groupe pG, q dont la loi est note multiplicativement, g tant un lment de G, lapplication de G dans G : h gh est bijective. Si H est un sous-ensemble de G, on note gH tgh, h Hu . tant donn un groupe pG, q dont la loi est note multiplicativement et S un sous-ensemble de G, on appelle sousgroupe engendr par S le plus petit sous-groupe de G contenant S ; cest lintersection de tous les sous-groupes de G qui contiennent S. 5. Dplacements
64 PARTIE 3. PREUVES DENTRAINEMENT
On note DeppEq lensemble des dplacements de E lorsque ce dernier est muni de sa structure canonique despace afne euclidien sur lui-mme. On rappelle que pDeppEq, q est un groupe. PRLIMINAIRES Soit un ensemble quelconque non vide, A et B tant sous-ensembles de , on note AzB lintersection de A et du complmentaire de B ; en dautres termes : AzB
tx X, x A et x B u .
Spq dsigne le groupe des bijections de sur lui-mme. Soit f appartenant Spq ; si A est un sous-ensemble de , on note f pAq le sous-ensemble de dont les lments sont les images des lments de A : f pAq ty , hx A, f pxq y u . (i) f pAq r si et seulement si A r. (ii) Si A et B sont deux sous-ensembles de X, on a : AB fp
On rappelle que :
f pAq f pB q.
i I
(iii) Si pAi qiI est une famille quelconque de sous-ensembles de X indexe par lensemble I, on a :
i I
Ai q
f pAi q .
(iv) Si pAi qiI est une famille quelconque de sous-ensembles de X indexe par lensemble I, on a : fp
i I
Ai q
i I
f pAi q .
(v) Si A et B sont deux sous-ensembles de X, on a : f pAzB q f pAqzf pB q. 1. Dmontrer les proprits piv q et pv q. 2. Prouver ensuite que pAi qiI est une partition de si et seulement si pf pAi qqiI est une partition de . PARTIE I : QUELQUES PROPRITS DES ROTATIONS DE LESPACE E 1. Soient 1 et 2 deux rotations vectorielles de E. a. On suppose que 1 et 2 ont le mme axe. Prouver que 2 1
12. R o
b. On suppose que 1 et 2 sont deux demi-tours daxes respectifs D1 et D2 orthogonaux. Prouver que 2 1 dterminer cette rotation. 2. Rciproque : Soit une rotation vectorielle distincte de idE , daxe D a. Soit une droite vectorielle distincte de D et telle que pq est un demi-tour.
12 et
1.
b. Soit 1 et 2 deux rotations vectorielles distinctes de idE dont les axes respectifs D1 et D2 sont distincts. Montrer que si 2 1 1 2 , alors D1 est une droite invariante par 2 . En dduire que 1 et 2 sont deux demi-tours dont les axes sont orthogonaux. c. Conclure en donnant une condition ncessaire et sufsante pour que deux lments 1 , 2 de SOpEq commutent (cest--dire 2 1 1 2 ).
2 @
3. Soient 1 et 2 deux rotations vectorielles de E et G le sous-groupe de SOpEq engendr par 1 et 2 . On suppose que 1 et 2 sont les rotations dangles respectifs 1 , 2 autour de la droite D dirigie et oriente par le vecteur unitaire . a. On note H n1 n2 , pn1 , n2 q Z2 . Montrer que H est un sous-groupe de SOpEq et que H G. 1 2 x1 y2 z b. On suppose de plus que lgalit
0 o x, y, z sont des entiers relatifs nest possible que si x y z 0. Dmontrer que pour tout r G, il existe un unique couple pn1 , n2 q Z2 tel que r n n . 1 2
1 2
3.1. PREUVE N O 1
65
4. On suppose que 1 et 2 sont deux demi-tours dont les axes sont orthogonaux. Dmontrer que G contient exactement quatre lments que lon explicitera. On donnera la table du groupe de G.
5. On suppose que 1 et 2 ne commutent pas. On note H le sous-ensemble de SOpEq form des lments de la forme sa1 sa2 san , o n N , ps1 , s2 , . . . , sn q t1 , 2 un , pa1 , a2 , . . . , an q Zn . n 1 2 b. Soit g G tidE u. Dmontrer quil existe un entier n N , une famille ps1 , s2 , . . . , sn q appartenant t1 , 2 un , une fammille pa1 , a2 , . . . , an q appartenant pZ qn tels que : a. Dmontrer que H est un sous-groupe de SOpEq et que H G.
di v1 , n 1w, si $ si1. (1) Cette dcomposition nest en gnral pas unique (si 1 est un demi-tour, alors 1 3 ). Dans la partie suivante, on 1
g
1 2 n
sa sa sa n 1 2
et
construit un exemple o cette fois la dcomposition sera unique. PARTIE II : TUDE DUN SOUS-GROUPE DE SOp3q. On pose dans ce qui suit arccosp3{5q. I3 , R et T sont les matrices de SOp3q dnies par : 1 0 0 cos 0 1 0, R sin I3 0 0 1 0
sin
cos 0
0 0, T 1
1 0 0 cos 0 sin
0 sin cos
et sont les rotations de E de matrices respectives R, T dans la base B. G est le sous-groupe de SOp3q engendr par tR, T u. G est le sous-groupe de SOp3q engendr par t, u. Il est manifestement isomorphe G. On rappelle que la relation p q pmod 5q o p et q sont des entiers relatifs, signie que 5 divise q p. 1. Pour tout entier relatif n, on pose
a.
5|n| cospnq et bn 5|n| sinpnq. Factoriser cospn 1q cospn 1q. En dduire que pour tout entier n suprieur ou gal 1 : an1 6an 25an1 .
an bn1
3bn 4an.
2.
3 pmod 5q. e. Montrer que si n est un entier strictement positif, alors bn 4 pmod 5q. Montrer que si n est un entier strictement ngatif, alors bn 1 pmod 5q. On note la relation dnie sur M3 pZq par M M I si et seulement si pour tout couple pi, j q de v1 , 3w2 on a : M ri, j s M I ri, j s pmod 5q. On vrie aisment quil sagit l dune relation dquivalence sur M3 pZq. On ne demande pas de dmontrer ce rsultat.
d. Montrer que si n est diffrent de zro, alors an b. Dmontrer que pour tout entier k, 5|k| Rk et 5|k| T k appartiennent M3 pZq et que : a. Dmontrer que cette relation est compatible avec le produit matriciel, cest--dire si A, B, C, D sont des lments de M3 pZq tels que A B et C D alors AC BD. 3 k 0 |k| k k 3 0 5 R 0 0 0
c. Prouver que pour tout entier relatif n, an et bn sont des nombres relatifs.
dk Z,
o k si k c. Dmontrer que
et
0 |k| k 0 5 T 0
0 0 3 k k 3
66
d. Soient pa1 , a2 , . . . , an q, pb1 , b2 , . . . , bn q appartenant pZn q et appartenant Z . On pose q Dmontrer que : 0 0 0 5q T a1 Rb1 T an Rbn a b 0 c d 0 o a, b, c, d sont des entiers relatifs qui ne sont pas congrus 0 modulo 5. e. En dduire que T a1 Rb1 T an Rbn T a1 Rb1 T an Rbn
n1p|ai| |bi|q. i
$ I3 T $ I3 .
(2) (3)
3. Soit pa1 , a2 , . . . , an q, pb1 , b2 , . . . , bn q appartenant pZ qn et appartenant Z . Dduire des galits prcdentes que Ra1 T b1 Ran T bn Ra1 T b1 Ran T bn
$ I3 R $ I3
(4) (5)
4. Conclure que pour tout g appartenant G tidE u, il existe de faon unique un entier n strictement positif, une famille ps1, s2, . . . , snq de t, un et une famille pa1, a2, . . . , anq de pZqn tels que :
di v1 , n 1w, si $ si1. On appelle terme de tte de g llment s1 lorsque a1 0 et s1 lorsque a1 0. Ce terme de tte sera not tpg q. 1
g
1 2 n
sa sa sa n 1 2
@
et
6. Pour tout lment de , 1 , , 1 , on note Lp q lensemble des lments g de G tidE u pour lesquels tpg q . a. Vrier que : G tidE u Lpq Lp1 q Lp q Lp 1 q
et que lon obtient ainsi une partition de G. b. Vrier que : Lpq tu Lpq Lp q Lp 1 q
2 @
et que lon obtient ainsi une partition de Lpq. De la mme manire on a : Lp1 q 1
et que, dans les deux cas, on obtient ainsi une partition de G. PARTIE III : TUDE DE SOUS-ENSEMBLES DE S2 Les donnes et les notations de cette partie sont celles de la Partie II. G est le sous-groupe de SOpEq engendr par t, u. On considre lensemble : 2 @ F v S2 , hg G tidE u , g puq v et son complmentaire dans S2 , soit X 2. Vrier que, pour tout g
S2zF .
1. Dmontrer que lensemble F est un sous-ensemble dnombrable de S2 . En dduire que X nest pas vide. 3. Dmontrer que si g et h sont deux lments de G tels quil existe v appartenant X vriant g pv q hpv q, alors g
h.
4. a. Dmontrer que pour tout g appartenant G, la restriction de g X induit une bijection de X sur lui-mme que lon notera gX .
3.1. PREUVE N O 1 67
SpX q gX
G, a gpbq.
Prouver quil sagit dune relation dquivalence. On sait que les classes dquivalences de G forment une partition de X. On admet alors en utilisant laxiome du choix lexistence dun sous-ensemble M de X dont lintersection avec chaque classe dquivalence contient un et un seul point.
M, X1
g L
pq
g pM q, X2
g L
pq
g pM q, X3
g Lp1 q
g pM q, X4
g Lp 1 q
g pM q.
a. Prouver que pX0 , X1 , X2 , X3 , X4 q constitue une partition de X. b. Prouver que X 8. On note tpu, v q F b. Si pu, v q semble ?
X1 pX3q X X2 pX4 q
2
et et
X1 pX3 q r,
X2 pX4 q r.
(6) (7)
F, u $ vu.
w
, on considre u,v
S2 ,
wu
wv
d. Dmontrer quil existe un lment r de SOpEq dont laxe ne rencontre pas F et tel que :
c. Soit pu,vq u,v . Dmontrer que F est symtrique par rapport lorigine et que F est strictement inclus dans S2 . Indication : on pourra considrer lintersection de F avec un cercle trac sur S2 qui ne soit pas centr lorigine.
dp Z, rp $ idE .
e. Soit pu, v q appartenant F F . Montrer que, pour tout entier k strictement positif, rk puq est diffrent de v. On distinguera les cas : u v et u $ v. En dduire que si m et n sont deux entiers naturels distincts, alors rn pF q rm pF q r. f. On pose Y Dmontrer que
n N
r n pF q
et
S2zY. rpY q Z.
r pY q Z
r
et
S2 zF
PARTIE IV : QUIDCOMPOSABILIT Soient A et B deux parties non vides de E. On dit que A est quidcomposable B sil existe une partition nie pAi qiI de A, une partition nie pBi qiI de B et une famille nie pgi qiI , de dplacements de E telles que
di I, Bi gipAiq
(les trois familles sont indexes par un mme ensemble ni I). On crira alors A B. 1. Les notations tant celles de la question III.8, vrier que S2 est quidcomposable S2 zF .
68 PARTIE 3. PREUVES DENTRAINEMENT
2. Soient A1 , A2 , B1 , B2 des sous-ensembles non vides de E tels que : A1 A2 a. Vrier que A1 A2 b. Gnraliser.
B1 B2 r, A1 B1, A2 B2.
B1 B2.
3. Dmontrer que la relation est une relation dquivalence sur lensemble des parties non vides de E. Pour dmontrer la transitivit, on observera que si pAi qiI et AI j J sont deux partitions de A, et que si lon pose j K alors la famille Ai AI j 4. On suppose que A C de A, on ait :
pi, j q I J, Ai AIj $ r
B. Dmontrer quil existe une bijection de A sur B telle que pour tout sous-ensemble non vide
C
Soient A et B deux sous-ensembles non vides de E. On posera A B lorsquil existe un sous-ensemble non vide B I de B tel que A B I . En particulier, si A B alors A B. La relation est une relation rexive et transitive sur lensemble des parties non vides de E. Les preuves sont analogues celles des questions prcdentes. On observera par ailleurs que si A et B sont des sous-ensembles non vides de X tels que A B, il est vident que A B. On admettra dans la suite du problme le thorme de Banach-Schrder-Bernstein qui snonce de la manire suivante :
p C q.
Thorme 3.1
Banach-Schrder-Bernstein
B et B A, alors A B.
PARTIE V : ENSEMBLES PARADOXAUX Les dnitions et les notations sont les mmes que dans la partie prcdente.
Ensemble paradoxal Dnition 3.2
Un sous-ensemble A de E est paradoxal sil existe deux sous-ensembles non vides B, C de A tels que B A, C A et B C r. (8)
1. Les notations tant celles de la partie III, vrier que X est paradoxal. 2. Soient A et B deux sous-ensembles non vides de E telles que A de mme de B. On pourra utiliser le rsultat de la question 4 de la partie IV.
3. Soit A un sous-ensemble paradoxal de E, B, C deux sous-ensembles de A non vides vriant les relations (8). b. En dduire quil existe une partition pA1 , A2 q de A telle que : A1 4. Dmontrer que S2 est paradoxal. 5. En dduire que si 1 et 2 sont deux sphres disjointes de rayon 1 alors S2 a. En utilisant le thorme de Banach-Schrder-Bernstein, dmontrer que pAzC q A.
A
et
A2
A.
1 2 .
3.1. PREUVE N O 1
69
V kn
ak
V
k n
ak
et
lim
f pxq dx
V
a
f pxq dx.
k n
prk rk1q rn rN 1.
La partie III est indpendante de la partie II. Elle utilise un rsultat de la question 3.e. de la partie I. PARTIE I On considre les suites suivantes, dnies pour n entier, n 1 par : Sn 1. Limite de la suite pun q a. Montrer que pour tout k entier, k 1 1 1 2 n et un
Sn ln n.
2, on a :
1 k
k
k 1
ln n et que limnV Sn V. On considre la fonction h qui tout x 0 associe hpxq x lnpx 1q. tudier le sens de variation de h et en dduire le signe de hpxq quand x est positif. Dmontrer que la suite pun q est dcroissante et borne. En dduire quelle admet une limite note et r0 , 1s. est appel constante dEuler.
dt t
1 k 1.
2. Une premire approximation de la vitesse de convergence On pose k dt 1 wk k k 1 t o k est un entier, k 2. a. Vrier que 0 wk b. Montrer que un c.
partir de quelle valeur de n peut-on prtendre que un donne une approximation 106 prs de ? 3. On dsire maintenant prciser le comportement de la suite prn q a. Par des intgrations par parties successives, montrer que : 1 2
1
0
k n1
1 k.
1 1 pk 1q2 k2 2 1
1 k
0
&
1 k1 k
1
1
0
pu k 1q2 .
u du
u du pu k 1q2
k 1
70
c. Montrer que : wk wk
k
k 1
1 2
tk1 dt t2 1 1 k
k1
1 12
k1
2
'
1 k2
1
0
rup1 uqs2 du 1 k dt . pu k 1 q5 16 k1 t5
0 rn 1 2n 1 1 12n2 64n4 ,
1 2 pn 1 q
1 un 2n , 1 64n4 ,
0 vn
f. partir de quelle valeur de n la suite pvn q donne-t-elle une approximation 106 prs de ? PARTIE II 1 On va modier la suite pun q en remplaant ln n par ln n 2 . Ce changement va augmenter la vitesse de convergence de la suite vers . On pose : 1 1 1 xn 1 ln n . 2 n 2 1. tude pralable dune fonction On considre la fonction f dnie pour x 0 par : f px q x1 1
o vn
1 1 Sn ln n 2n 12n
ln
1 2
ln
3 2
a. tudier le sens de variation de f et ses limites aux bornes de lintervalle de dnition. b. Montrer que pression
1 f Ipxq 4px q
1 4 2
f Ipxq dx Xlim f Ipxq dx V k k V 1 a un sens et que lon peut crire f pk q k f I pxq dx 3. 12pk 1 q 2
. Montrer que xk xk1 f pk q. En dduire que la suite pxn q est dcroissante et que xn V n f pk q. k On veut majorer f pk q par une expression facilement manipulable. Montrer dabord que :
1 2
2
k pk 1 q.
k1
k
En dduire que
1 2 2
2k 1 2 pk 1 q2 2k
dx . x3
71
3.2. PREUVE N O 2
1 2
3 2
px 1q2.
1
b. Par une tude identique celle de la question 1.b., dmontrer que : f pk q c. Dduire de ce qui prcde que : xn 1 4
V
k
1 1 12 kn pk 1q3
1 12
V
n 1
dx x3
24pn1 1q2 .
4. partir de quelle valeur de n, xn donne-t-il une approximation 106 prs de ? 5. Cette question est plus difcile que les prcdentes. Il est fortement conseill de ne la traiter quaprs la partie III. Cependant sa place logique est dans cette partie. On dsire amliorer la rapidit de convergence vers . partir du 1 conviendra. Pour trouver sa vitesse de convergence rsultat prcdent on conjecture que la suite tn xn 1 2
24 n
vers , on sinspire des mthodes utilises prcdemment. a. On considre la fonction g dnie pour x 0 par : g px q f px q Vrier que : tn tn1 tn 1 7 48 px 1q6 1 7 240 pk 1q5
2q
24 x
1 2
2
24 x
. 3 2 2
g pn q
V gIpxq 7
k n
g p k q
48 x 1 6 2 7 gpkq 240 1 1 5 . k
2
b. Soit une fonction convexe admettant une drive seconde continue sur un intervalle I contenant lintervalle rk , k 1s. On sait que P pxq 0 quel que soit x I et que la courbe reprsentative de est situe au-dessus de lune quelconque de ses tangentes. Dmontrer que :
k 1
k
pxq dt k
1 2
.
1 . x5
On pourra illustrer gomtriquement ce rsultat. Appliquer cette proprit pour pxq c. Dduire des questions prcdentes que : 7 960pn 1q4 7 tn 960n4 .
paritr de quelle valeur de n, tn donne-t-il une approximation 106 prs de ? PARTIE III On considre un entier n 1. On dit que lentier x est un diviseur de n sil existe un entier y tel que x y n. On appelle dpnq le nombre de diviseurs de n. On a ainsi dp1q 1, dp2q 2, dp3q 2, dp4q 3 ; etc. 1 On pose dpnq n rdp1q dp2q dpnqs le nombre moyen de diviseur de n. En suivant une mthode propose en 1849 par Lejeune-Dirichlet, on cherche une approximation de dpnq.
72 PARTIE 3. PREUVES DENTRAINEMENT
a. Dans un repre orthonorm, tracer la courbe pH8q dquation xy 8 sur lintervalle r1 , 8s. Soit Dn le domaine dni par 1 x n, 0 y n, xy n. Quelle relation peut-on tablir entre le nombre de points coordonnes entires de Dn et la quantit dp1q dp2q dpnq ? Illustrer la situation prcdente quand n 8. dp1q dp2q dpnq n En dduire que 1 dpnq ln n 1.
n
1
2. Une deuxime approximation de dpnq Pour compter le nombre de points coordonnes entires de Dn , on sintresse aux segments suivants : x k, 0 y n x , k 1, 2, . . . , n. Soit E pxq la partie entire de x. On a donc x 1 E pxq x. a. Montrer que n
n 1 k 1
b. En ddurie que quel que soit 0 il existe un entier N tel que pour tout n N on ait 1 dpnq ln n .
n dp1q dpnq n k
n 1 k 1
k
a. Montrer que Q appartient Dn et quil nexiste pas dans Dn de points coordonnes entires tels que les deux coordonnes de ces points soient strictement plus grandes que q. b. Montrer que dp1q dp2q dpnq 2 E
n
1
n
2
E
n q
%
n q
q2.
q E k
2
n
1
n
2
n
2
q 1 k 1
k
2uq
q2
qn n
2 n ln n 0 ds que n 4.
1 2 cn n ,
3 3 3 1 cn n dpnq ln n p2 1q cn n .
3.2. PREUVE N O 2
73
# OM 9# 7 OM
ou en dautres termes tout triplet p0, , q est un triplet de coordonnes sphriques de O ; tout triplet p, {2, q est un # # triplet de coordonnes sphriques de M si OM k avec 0 ; tout triplet p, {2, q est un triplet de coordonnes # # sphriques de M si OM k avec 0 ; enn si M nappartient pas la droite passant par O et de vecteur directeur # k , alors si on dsigne par m la projection orthogonale de M sur le plan passant par O et de vecteurs directeurs # et #, # # est une mesure en radians comprise strictement entre {2 et {2 de langle pOm, OM q et est une mesure en radians # appartenant r0 , 2 r de langle p #, Omq. tant donns deux points X et Y de E, on note rXY s le segment dextrmits X et Y et si X et Y sont distincts, on note DpX,Y q la droite passant par X et Y . On rappelle qutant donns quatre points non coplanaires A, B, C et D, on appelle ttradre de sommets A, B, C et D lenveloppe convexe de ces quatre points, cest--dire lensemble des barycentres de ces quatre points affects de masses positives ou nulles. On note T ABCD ce ttradre. Un point X de T ABCD est dit extrmal si pour tout couple de points Y et Z de T , on a : si X est le milieu du segment rY Z s alors Y
Z.
On rappelle que les points extrmaux dun ttradre sont ses sommets. Les arrtes du ttradre T ABCD sont les segments dextrmits deux sommets. Un ttradre est rgulier si toutes ses arrtes sont de mme longueur. On dsigne par vol, lapplication de E 4 dans R qui au quadruplet de points pA, B, C, Dq associe le nombre : volpA, B, C, Dq 1 # # # detpAB, AC, ADq 6 (1)
ou en utilisant la notation usuelle en produit de cycles. On dsigne par la transposition de A et de B, on notera rpA, B, C, Dq pB, A, C, Dqs ou encore pAB q ; on dsigne par le cycle qui B associe C, C associe D, D associe B et qui laisse A xe, on notera rpA, B, C, Dq pA, C, D, B qs ou encore pBCDq ; on notera id lapplication identique de , soit id rpA, B, C, Dq pA, B, C, Dqs.
On rappelle que le nombre V volpA, B, C, Dq est le volume du ttradre T ABCD. Soit tA, B, C, Du un ensemble de cardinal 4. On note le groupe de permutations de cet ensemble. Une permutation appartenant pourra tre note rpA, B, C, Dq ppAq, pB q, pC q, pDqqs
La premire partie du problme a pour but de caractriser des plans partagant un ttradre quelconque en deux parties dont les volumes sont 1{8 et 7{8 du volume de ce ttradre. Les trois autres parties sont consacres au ttradre rgulier. La deuxime partie tudie la caractrisation dun ttradre rgulier par les projections orthogonales de ses sommets sur une droite. La troisime partie tudie quelques aspects du groupe des isomtries dun ttradre rgulier et de fonctions dnies sur une sphre invariantes par ce groupe. Enn la dernire partie est une application de la gomtrie du ttradre la description dune exprience alatoire. Les diverses parties du problme sont dans une large mesure indpendantes et peuvent tre traites indpendamment les unes des autres, dans lordre que le candidat souhaitera. I. PROPOS DU TTRADRE QUELCONQUE On suppose donns A, B, C et D quatre points non coplanaires de E.
74 PARTIE 3. PREUVES DENTRAINEMENT
1. a. Montrer que les points A, B, C et D sont deux deux distincts. Quel est lordre du groupe ? b. Expliciter les permutations suivantes laide de cycles : 2 , 3 , , p q4 , 2 , 2 , 2 , 2 , 2 . c. Montrer que et engendrent . d. Dduire de c. que pour toute permutation appartenant volppAq, pB q, pC q, pDqq volpA, B, C, Dq. e. Peut-on dduire le rsultat prcdent de ce que volpA, B, C, Dq est le volume de ttradre ABCD ? 2. Soit HA le projet orthogonal de A sur le plan passant par B, C et D. Montrer partir de (1) que le volume du ttradre T peut aussi scrire : 1 V volpA, B, C, Dq AHA ApBCDq 3 3. Soit un rel strictement compris entre O et 1 et soit L le barycentre de A et HA affects des masses et 1 . Montrer que le plan P passant par L et perpendiculaire DpA,HA q coupe les arrtes rAB s, rAC s et rADs. On dsigne les points dintersections correspondants par SB , SC et SD . Lintersection du ttradre T et du demi-espace limit par P et contenant A est le ttradre ASB SC SD . Soit v1 le volume de cette intersection et soit v2 le volume de lintersection du ttradre T avec le demi-espace limit par P et contenant B. a. Dterminer la valeur 1 de telle que v1 b. o ApBCDq dsigne laire du triangle BCD.
4. a. Montrer quil existe un couple unique de points pI, J q tel que I appartienne DpA,B q , que J appartienne DpC,Dq , que DpI,J q soit perpendiculaire DpA,B q et que DpI,J q soit perpendiculaire DpC,Dq . b. Soit un nombre rel strictement compris entre 0 et 1 et soit M le barycentre de I et de J affects des masses et 1 . Montrer que le plan Q passant par M et perpendiculaire DpI,J q coupe les arrtes rAC s, rADs, rBC s et rBDs ; on note ces intersections respectivement UAC , UAD , UBC et UBD . Montrer que UAC UAD UBD UBC est un paralllogramme. c. Dans cette question 1 . Dessiner sans commentaire les deux gures planes obtenues par projections orthogonales 3 des arrtes du ttradre T et des cts du paralllogramme UAC UAD UBD UBC dune part sur le plan Q, dautre part sur le plan passant par A, B et J (on supposera que DpC,Dq et DpA,B q ne sont pas orthogonales).
d. On suppose de nouveau quelconque dans s0 , 1r. Exprimer laire du paralllogramme UAC UAD UBD UBC en foncton de , et de laire W dun paralllogramme U1 U2 U3 U4 tel que # # U1 U2 AB e. Exprimer le volume V du ttradre T et # # U2 U3 CD.
f. On dsigne par v3 le volume de lintersection de T avec le demi-espace limit par Q et contenant les points C et D. Dterminer la fonction polynomiale f de degr 3, qui sannule en 0 et qui est telle que les quations en dans s0 , 1r : 1 f p q 0 (2) 8 g. Vrier que f p1 0 q et v3
V 8
soient quivalentes. Montrer que (2) admet une solution unique 0 dans lintervalle s0 , 1r.
7 8
h. On dnit les fonctions relles de variable relle g et h par : 32x3 24x2 1 , 48xpx 1q
et on dnit la suite pun qnN par u0 1 et un1 hpun pour tout entier naturel n. Montrer que g et g I sont 2 dcroissantes sur r0 , 1{2s. Montrer que la suite pun qnN converge vers 0 . Calculer u1 et u2 . Montrer que 0,22 0 . Donner une valeur approche de 2.103 prs.
3.3. PREUVE N O 3 75
i. Montrer que hP est dcroissante sur s0 , 1 s, calculer la calculatrice une valeur approche de hP p0,2q et vrier que 2 hP p0,2q 5. Montrer que pour n entier naturel, on a :
b. Soit M un point de la sphre de centre O et de rayon 1, de coordonnes sphriques p1, , q. On projette orthogonalement sur la droite DpO,M q les sommets A, B, C et D du ttradre T respectivement en AI , B I , C I et DI . On choisit # sur la droite DpO,M q le repre dorigine O et de vecteur directeur OM . On note tA , tB , tC et tD les abscisses des # points AI , B I , C I et DI dans ce repre pO, OM q. Vrier que :
6 9tA 9 9 9 8
6, 1q, p 2, 6, 1q.
c c
3 sin c tB sin 2 2 cos cos c c 9tC sin 2 cos cos 6 cos sin 9 9 9 7t sin c2 cos cos c6 cos sin . D
Un calcul lmentaire mais un peu long quon ne demande pas deffectuer montre que : 3pAI B I2 AI C I2 AI DI2 q 2pAI B I AI C I AI B I AI DI AI C I AI DI q est un nombre indpendant de et de . c. La forme quadratique q0 dnie par : q0 p, , q 3p 2 2 2 q 2p q 2. Soit T ABCD un ttradre rgulier quelconque darte de longueur l. Soit I une droite quelconque et AI , B I , C I , DI les projets orthogonaux de A, B, C, D sur I . On va montrer quil existe une forme quadratique unique q telle que : l2 est-elle dnie positive ?
q p AI B I , AI B I , AI C I , AI D I q .
a. Dduire de la question c prcdente quil existe une telle forme quadraique q (On pourra choisir une unit de longueur telle que l soit gal 2 6 fois cette unit et un repre judicieux et utiliser le rsultat de la question prcdente pour montrer tout dabord le rsultat dans le cas o I passe par le centre du ttradre). b. On suppose que q est une forme quadratique telle que
i.
tation de I ?
q pAI B I , AI B I , AI C I , AI D I q . Pourquoi la formule l2 q pAI B I , AI B I , AI C I , AI DI q a-t-elle un sens indpendamment du choix dune orienl2 q p, , q k r3p2 2 2 q 2p qs.
ii. Dduire du fait que T est rgulier quil existe un nombre rel k tel que pour tous , et rels, on ait :
iii. Dterminer k. On pourra considrer le cas o I est la droite passant par A et B. c. Montrer que : 2l2
76
II-B. Projection orthogonale dun ttradre rgulier sur un plan. Soit T ABCD un ttradre quelconque darte de longueur l. Soit 1 un plan quelconque et A1 , B1 , C1 et D1 les projets orthogonaux de A, B, C et D sur 1 . Soit I une droite orthogonale 1 , et AI , B I , C I et DI les projets orthogonaux de A, B, C et D sur I . 1. Montrer que : 4l2
2 2 2 2 2 2 A1B1 A1C1 A1D1 B1C1 B1D1 C1D1
(on pourra considrer la droite I orthogonale 1 ou introduire deux droites I et I orthogonales incluses dans 1 ). 1 2 2. Dans cette question on ne demande que des dessins sans aucune justication. On choisit le centimtre comme unit de longueur. On suppose que les points AI , B I , C I et DI de la droite I sont tous distincts et vrient : AI B I
B IC I C IDI 4.
3. Soit AI , B I , C I et DI quatre points dune droite I . On suppose quau moins deux dentre eux sont distincts. On cherche les ttradres rguliers T ABCD tels que A se projette orthogonalement sur I en AI , B en B I , C en C I et D en DI . On dnit le nombre positif l par : 2l2
b. Soit M I un point de I . Dessiner sur la gure dans le plan 1 de la question prcdente la projection orthogonale I de la section du ttradre avec le plan orthogonal I passant par M I , pour les cinq positions suivantes de M I : M1 I B I s, M I B I , M I milieu de rB I C I s, M I C I et M I milieu de rC I DI s. milieu de rA 2 3 4 5
a. Dessiner la disposition des points AI , B I , C I et DI sur la droite I . Dessiner en vraie grandeur la gure obtenue par projection orthogonale des artes de T dans le plan 1 .
l2 2 4 l2 b. Montrer que sil existe un ttradre rgulier T ABCD tel que A se projette orthogonalement sur I en AI , B en B I , C en C I et D en DI , il est unique une isomtrie prs appartenant un groupe que lon prcisera. c. Montrer que lon peut faire les choix successifs suivants : i. choisir un point A du plan orthogonal I , passant par AI ;
AIB I2 et que 2 3 AI B I 2 1 AI B I B I C I 1 .
ii. choisir un point B du plan orthogonal I , passant par B I , tel que AB iii. iv.
l; choisir un point C du plan orthogonal I , passant par C I , tel que CA CB l ; choisir un point D du plan orthogonal I , passant par DI , tel que DA DB DC l.
Conclure. III. SYMTRIES DU TTRADRE RGULIER On utilise les notations de la partie II.A.1. et celles de lintroduction : on rappelle que le repre est suppos orthonorm et que dans la question II.A.1.a. on a montr que le ttradre T ABCD est rgulier.
1. Soit appartenant . Montrer quil existe une isomtrie de E unique, note t, telle que f pAq pAq, tpB q pB q, tpC q pC q et tpDq pDq. On dsigne par lapplication qui associe t. Lapplication est-elle un homomorphisme de groupes ? Lapplication est-elle injective, surjective, bijective ? 2. Montrer que I 3.
pq est lensemble des isomtries de E qui conservent globalement le ttradre T . # # Pour toute permutation de , on note L la matrice, relativement la base p #, #, k q de E , de lisomtrie vectorielle # pq associe pq.
a. Vrier que : L
1 3 2 2 3
0 c
0 1 0
2 2 3
Montrer qaue p q est une rexion ; prciser par rapport quel plan. Quels sont les valeurs propres de la matrice L ?
3.3. PREUVE N O 3 77
1 3
0 .
b. Dterminer L . Montrer que p q est une rotation ; prciser pour cette rotation : son axe, ses axes orients, ses angles orients et leurs mesures. Quels sont les valeurs propres relles ou complexes et les vecteurs propres rels ou complexes de la matrice L ?
d. On note 4 la permutation tA, B, C, Du telle que 4 pAq C, 4 pB q D, 4 pC q A et 4 pDq B, soit 4 pAC qpBDq. Dcrire la transformation gomtrique p4 q. Quel est le polynme caractristique de la matrice L4 ? Il nest pas demand dcrire explicitement la matrice L4 .
c. On dsigne par 3 la permutation tA, B, C, Du telle que 3 pAq B, 3 pB q C, 3 pC q D et 3 pDq A, soit 3 pABCDq. Montrer que limage du milieu MAC du segment rAC s par p3 q est le milieu MBD du segment rBDs, point symtrique de MAC par rapport 0. Montrer que la restriction de p3 q au plan mdiateur du segment rMAC MBD s est une rotation dangle de mesure {2. En dduire les valeurs propres de L3 et le polynme caractristique de L3 . Montrer que L3 L L ; crire explicitement la matrice L3 puis retrouver son polynme caractristique.
4. On trace sur la sphre circonscrite au ttradre ABCD tous les grands cercles passant par deux sommets du ttradre (un grand cercle est un cercle inclus dans la sphre et centr au centre de la sphre ou encore lintersection de la sphre avec un plan passant par le centre de la sphre). On appellera point simples les points communs deux tels grands cercles et points triples les points communs trois tels grands cercles. Dnombrer le nombre de points simples et le nombre de points triples. Quels sont les coordonnes sphriques des points simples ? 5. On repre tout point M de par ses coordonnes sphriques p3, , q. a. Montrer que le point M appartenant au grand cercle passant par C et D si et seulement si :
2 tan cos
0.
b. crire pour chacun des grands cercles de passant par deux sommets de T une relation pR q entre et telle que pour tout point M de coordonnes sphriques p3, , q, M appartient si et seulement si pR q est vrie. c. Dessiner dans le rectangle r , s r0 , 2 r du plan p, q la courbe dquation : 2 2 arctan
2 cospq . 2
Cette courbe est appele limage dans le plan p, q du grand cercle de passant par C et D. Dessiner sur le mme schma pour chaque grand cercle de passant par deux sommets de T , son image dans le plan p, q, cest--dire le courbe du plan p, q dquation pR q. indiquer sur votre schma les points p, q tels que p3, , q soient les coordonnes sphriques des points simples de la question prcdente. d. On dsigne par F lapplication de dans R qui chaque point M de associe la distance ON o N est lintersection du segment rOM s avec la frontire de T . Les lignes de niveau de F sont des cercles ou des runions darcs de cercles. c Donner lalluler dans le plan p, q des images des courbes de niveaux F pM q 1,5, F pM q 2,5 et F pM q 3. IV. QUESTION COMPLMENTAIRE Soit a une longueur. Nous appelerons ttradres rectangles dhypothnuse a les ttradres dont une face est un triangle quilatral de cts de longueur a et dont les autres faces sont des triangles isocles rectangles. Le sommet oppos la face quilatrale dun ttradre rectangle sera appel son sommet principal. 1. Soit T ABCD un ttradre rgulier dont les artes ont pour longueur 2a, montrer que les milieux MAB , MAC , MAD , MBC , MBD et MCD des artes AB, AC, AD, BC, BD, CD sont les sommets dun octadre rgulier dartes de longueur a (on admettra quun octadre est rgulier si et seulement si toutes ses artes sont de mme longueur). Soit O le centre de T , montrer que les ttradres OMAB MAC MAD , OMAB MBC MBD , OMAC MBC MCD , OMAD MBD MCD , OMAB MAC MBC , OMAB MAD MBD , OMAC MAD MCD et OMBC MBD MCD sont des ttradres rectangles dhypothnuse a.
78 PARTIE 3. PREUVES DENTRAINEMENT
2. On dispose de 8 ttradres rectangles de mme hypotnuse a et de 4 ttradres rguliers darrtes de cette mme longueur a. Ces 12 ttradres ont initialement toutes leurs faces bleues. On les assemble face contre face de faon former un ttradre rgulier darte de longueur 2a (on admet que pour cela, il est ncessaire et sufsant de placer cte cte les ttradres rectangles, leurs sommets principaux tant confondus, obtenant ainsi un octadre rgulier, et de placer ensuite les ttradres rguliers dartes de longueur a en vis--vis de faces non adjacentes de cet octadre. Remarquez que quand on sait pour une face de loctadre si la n des manipulations elle est visible ou non, on le sait pour chacune des autres). On peint alors les faces externes visibles en rouge, puis on dmontre ce ttradre en ses 12 constituants que lon mlange. On les assemble ensuite de nouveau au hasard sans tenir compte des couleurs pour former un nouveau ttradre darrte de longueur 2a. On cherche la probabilit p pour que ce nouveau ttradre ait lui aussi toutes ses faces entirement rouges. a. Donner un modle probabiliste de lexprience alatoire dcite ci-dessus. Justier en dtail votre choix de lunivers et de la probabilit P . b. Soit A lvnement dont on cherche la probabilit. Dcrire explicitement A comme sous-ensemble de . c. Calculer p.
3.3. PREUVE N O 3
79
1 Cn 2
(1)
a. Construire, dans un repre orthonormal, la courbe reprsentative de la fonction f dnie sur lintervalle r1 , Vr par f pxq 1x . 2 b. tudier, suivant la valeur de C0 le comportement de la suite pCn qnN : monotonie, convergence, limite. Chaque cas sera illustr par un graphique. 2. On dnit deux suites pan qnN et pbn qnN de rels strictement positifs par les relations de rcurrence :
5
1.
(2)
b. Proposer une construction gomtrique de a1 et b1 connaissant a0 et b0 dans chacun des cas a0 c. Montrer que le suites pan qnN et pbn qnN sont adjacentes.
b0 et a0 b0.
3. Suite auxiliaire. n On pose, pour tout entier naturel n, n an . b Montrer que la suite pn qnN vrie la relation de rcurrence (1) et que, pour tout entier naturel n, bn1
bnn1.
cos 2
et
b1
sin b0 2 sinp{2q .
b. On suppose a0 b0 . Soit le rel positif dni par 0 cosh . Par une dmarche analogue la prcdente, dterminer la limite commune aux suites pan qnN et pbn qnN . On rappelle que, pour tout rel , cosh
80
Donner les expressions, en fonction de n, et b0 , de n , bn et an . Montrer que la limite commune aux suites pan qnN et pbn qnN est b0 sin .
1.
5. Montrer que, pour tout entier naturel n, b2 1 a2 1 n n En dduire, dans les cas o a0
b0, que, pour tout entier naturel n, 1 pbn anq puis que bn an 41n pb0 a0q. 4
pn
b1
et
Pn
a1 .
n
a. En utilisant lalgorithme dcrit au 3. et en saidant de la calculatrice, calculer pn et Pn pour les valeurs 3, 4, 5 de n. On en donnera des valeurs approches 104 prs que lon prsentera dans un tableau. Montrer que les suites ppn qnN et pPn qnN convergente vers . b. Montrer que, pour tout entier naturel n, 0 Pn pn
41n 3
3 puis que 0 pn
c 41n 3 3.
partir de quel rang n0 est-on assur que pn approche moins de 108 prs ? II. CALCUL APPROCH DE PAR LA MTHODE DARCHIMDE A. Interprtation gomtrique des suites ppn qnN et pPn qnN 1. On dsigne par rk et Rk le rayon respectivement du cercle inscrit et du cercle circonscrit un polygone convexe rgulier k cts de primtre 2. Utilisant la conguration ci-dessous o la corde AB du cercle de centre O reprsente le ct de ce polygne convexe rgulier k cts, o C est le milieu de larc AB, AI et B I les milieux des segments rAC s et rBC s, H et H I les intersections de la droite pOC q avec les droites pAB q et pAIB Iq, tablir quon a, pour k 3, 2r2k
rk Rk
AI
et
C HI H
2 R2k BI
r2k Rk .
B
(3)
E
O
B1
O1 A1 2. On dsigne par lk et Lk les demi-primtres des polygones convexes rguliers k cts respectivement inscrit et circonscrit au cercle unit. En utilisant une homothtie convenable, montrer que : lk Dduire de (3) quon a, pour k 1 R et Lk
r1 .
k
3,
1 L2k
1 2
1 Lk
1 lk
et
l2k
L2k lk .
(4)
3, k tan . k
(5)
81
k sin k
et
Lk
4. Comment rattacher cette tude celle des suites ppn qnN et pPn qnN dnies au paragraphe I.6. ? B. Acclration de la convergence Les notations sont celles du paragraphe I.6. 1. Montrer que, pour tout entier naturel n, pn 3 2n sin 3 2n et Pn 3 2n tan 3 2n .
2. Dterminer les constantes 1 , 2 , 3 , 1 , 2 telles que : pn Pn On rappelle, quau voisinage de 0, sin u u tan u u 3. On pose : un vn Montrer que, lorsque n tend vers V, un 1 3 p2pn Pnq u3 3! u3 3
1 4n 1 4n
2 42n 2 42n
o 41 3n o 41 . 2n
3 43n
5 7
u u o u7 5! 7!
2 15 u5 o u5
1 p4pn1 pnq. 3
et vn 5!
5
5 34 42n1
34
1 42n1 .
4. partir du tableau dress au paragraphe I.6., donner des valeurs approches de un et vn pour les valeurs 1, 2, 3, 4 de n en prcisant lapproximation. On prsentera les rsultats dans un nouveau tableau. 5. partir de la suite pvn qnN , construire une suite pwn qnN permettant une nouvelle amlioration de la convergence, en denissant wn , comme barycentre de vn et vn1 avec des coefcients indpendants de n.
III. TUDE DE SUITES DE NOMBRES COMPLEXES Dnition prliminaire. On prolonge C la dnition de la racine carre dun nombre rel positif de la manire suivante : c c c si z est ngatif, on pose z i z (ainsi 1 i), c sinon z est le nombre complexe de carr z dont la partie relle est positive. Vrier que, dans ce dernier cas, cz z |z| . z z 2 |z| Le plan P orient est muni dun repre orthonormal direct pO, #, #q. On considre le plan les points A, M , N dafxes u v respectives 1, z, z. Pour z non nul, vrier lgalit : # # # # pOA, ON q pON , OM q pmod 2q.
{ Montrer que le point N appartient langle saillant AOM . On dsigne par pn qnN la suite de complexes dnie par la relation de rccurence
n1
82
1 n 2
PARTIE 3. PREUVES DENTRAINEMENT
et la donne de son premier terme 0 , 0 $ 1, et par pan qnN et pbn qnN les suites de complexes dnies par leurs premiers termes a0 0 , b0 1 et les relations de rcurrence : bn1
bnn1,
an1
bn1n1.
A. tude des suites pan qnN et pbn qnN 1. Vrier, pour tout entier naturel n : an1 1 2 pan bnq, b2 1 n
bnan1.
2. Exemple : On choisit ici 0 1 4i. Calculer, avec ventuellement une prcision de 103 sur les parties relles et imaginaires, les termes 1 , 2 , a1 , a2 , b1 , b2 de ces suites et placer dans le plan P les points A0 , B0 , A1 , B1 , A2 , B2 dafxes respectives a0 , b0 , a1 , b1 , a2 , b2 .
3. Pour tudier la convergence des suites pn qnN , pan qnN et pbn qnN , il est commode, par extension de ltude faite dans le cas rel au paragraphe I.4., dintroduire les fonctions hyperboliques sur C. Pour tout complexe z, de partie relle x et de partie imaginaire y, on pose : ez On en dduit :
cosh z
z z e e , 2
sinh z
z z e e . 2
cosh x cos y i sinh x sin y; sinh z sinh x cos y i cosh x sin y; cosh 2z 2 cosh2 z 1, sinh 2z 2 sinh z cosh z, |cosh z|2 cosh2 x cos2 y 1.
cosh z (Il est inutile de vrier ces rsultats qui seront admis). a. Soit un nombre complexe. Montrer que, si z est solution sur C de lquation cosh z, ez prend lune ou lautre de deux valeurs Z1 et Z2 inverses lune de lautre. Montrer que lquation cosh z a une solution et une seule z x iy pour laquelle :
Cette solution est note Arg cosh . tudier le cas o est rel.
Conclure : les deux suites pan qnN et pbn qnN ont mme limite L. Retrouver, pour 0 rel convenable, les rsultats du paragraphe I.4.
lim cosh
z0 2n
1,
lim
2n sinh
z0 z0 . 2n
B. tude des suites des arguments On pose z0 u iv o u et v sont des nombres rels. On dsigne par An et Bn les images respectives de an et bn dans le plan P.
{ 1. Montrer que, pour tout entier naturel n, An1 se trouve dans langle saillant An OBn .
3.4. PREUVE N O 4 83
2. Pour tout nombre complexe Z non nul, on note Arg Z largument de Z appartenant lintervalle s , s. Ainsi, en se reportant la dnition de z0 , on constate que Arg et0 v. Montrer que, pour tout entier naturel n, |Arg n | n 2 et que Arg n a mme signe que v.
{ 3. Montrer que, pour tout entier naturel n, Bn1 se trouve dans langle An1 OBn .
4. Prciser le comportement de deux suites pArg an qnN et pArg bn qnN . 5. Dans le cas o |Arg 0 | , comparer bn1 et 2
cb
n an 1 .
C. tude des suites des modules u et v sont dnis comme au titre B. 1. tude dune conguration On dsigne, dans le plan P, par D le disque ferm de centre O et de rayon 1 et par le disque ferm de diamtre rOAs. On rappelle que A est le point dafxe 1. Au point P intrieur D, on associe : le point P I milieu du segment rAP s ; c # # # # { le point Q situ dans langle saillant AOP I tel que pOA, OQq pOQ, OP I q pmod 2 q et OQ OP I . le point QI milieu du segment rAQs. Montrer que : a. les points P I et Q sont intrieurs ; c. OQ OQI
z b. langle OQA est obtus ;
2. On suppose u |v|. Montrer que, pour tout entier n, |n | 1, que la sutie p|bn |qnN est croissante, la suite p|an |qnN dcroissante et que ces deux suites sont adjacentes. 3. On suppose les conditions suivantes ralises : 0 u |v| , |0 | 1.
OA.
4. On suppose seulement 0 u |v|. On dnit, pour t rel, ptq sinh2 pty q sin2 ptv q. Dterminer le signe de au voisinage de 0. Montrer qu partir dun certain rang n0 , les rsultats de la question 3 sont encore valables.
Montrer que, pour tout n, |n | 1, que la suite p|bn |qnN est dcroissante et que la suite p|an |qn1 est croissante. On pourra utiliser les rsultats de la question 1 en remarquant par exemple que An est limage de Bn dans la similitude de centre O associe au nombre complexe n .
84
dpx, yq Rn Rn,
A px, y q X T AY
1 i n 1 j n
aij xi yj .
On notera QA la forme quadratique associe A et A la A-sphre unit dnie dans lespace euclidien Rn rapport sa base canonique E, par : 2 @ A x Rn , QA pxq X T AX 1 .
Une forme quadratique Q sur un espace euclidien E est dite dnie positive si et seulement si on a Qpxq 0 pour tout x non nul de E. Dans lalgbre des matrices carres relles n lignes et n colonnes, on notera Sn pRq le sous-espace vectoriel des matrices symtriques et Sn pRq le sous-ensemble des matrices symtriques A telles que la forme quadratique QA soit dnie positive.
2 c
3 3 4
a. Dterminer les valeurs propres et les sous-espaces propres de A1 . b. Donner lexpression dune matrice orthogonale directe P et dune matrice diagonale D et que P T A1 P D. En dduire que A1 appartient S2 pRq. c. Dterminer la nature de la conique A1 et son excentricit. 2. Deuxime exemple. On considre la matrice symtrique relle A2 Dmontrer directement que QA2 pxq 0 pour de la conique A2 .
0
0
telles que
2 2 2 2 4 tout x de R2
2 c
3. Caractrisation de Sn pRq par la compacit de A . Soit A un lment de Sn pRq. Dmontrer que les propositions suivantes sont quivalentes : i. A appartient Sn pRq.
ii. Les valeurs propres de A sont toutes strictement positives. iii. A est un compact non vide de Rn . Caractriser en fonction des valeurs propres de A les cas o A est vide.
b. Soit A un lment de Sn pRq. Dmontrer que A appartient Sn pRq si et seulement si tout plan vectoriel de Rn coupe A suivant une ellipse.
II. Sections circulaires de la A-sphre unit A quand n 3 Soit A un lment de S3 pRq et 1 2 3 ses valeurs propres.
3.5. PREUVE N O 5
a. Soit A un lment de Sn pRq. Dmontrer que la restriction de QA un plan vectoriel de Rn est une forme quadratique dnie positive.
85
1. Cas o A a une valeur propre triple. On suppose que A a une seule valeur propre triple : 1 2 3 . Quelle est, suivant le signe de la valeur propre, la nature de A ? En dduire que ou bien A est vide, ou bien tout plan vectoriel coupe A suivant un cercle. 2. Cas o A a une valeur propre double. On suppose que A a deux valeurs propres distinctes, une simple et une doubel : 1
2 3 ou 1 2 3.
a. Dmontrer que A est invariante par toute rotation daxe le sous-espace propre relatif la valeur propre simple. b. Dmontrer que, si un plan vectoriel non perpendiculaire coupait A suivant un cercle , alors A contiendrait la surface obtenue en faisant tourner autour de et que cette surface serait incluse dans une sphre centre lorigine. Dmontrer que cela est impossible [on pourra tudier la distance de lorigine un point de A ]. c. Dterminer, suivant le signe de la valeur propre double, le nombre de plans vectoriels coupant A suivant un cercle. 3. Cas o A na que des valeurs propres simples. On suppose que A a trois valeurs propres distinctes : 1 2
3.
a. Soit 0 le plan vectoriel engendr par les sous-espaces propres relatifs 1 et 2 . Dmontrer que si un plan vectoriel coupe A suivant un cercle, alors la restriction de QA 0 est une forme quadratique dnie positive. En dduire quune condition ncessaire pour quil existe un plan vectoriel coupant A suivant un cercle est que 2 0. b. Lespace R3 tant rapport une base orthonormale de vecteurs propres de A, justier que
3 2 x3
2 1 x1
0
c. tant donn deux plans vectoriels distincts et I , on rapporte R3 une base orthonormale pf1 , f2 , f3 q telle que f2 appartienne la droite I et que f1 et f3 appartiennent aux plans bissecteurs de et I . Dmontrer quil existe p, q R2 tel que 2 2 1, $ 0, $ 0 et que B pf1 f3, f2q (resp. BI pf1 f3, f2q) soit une base orthonormale de (resp I ). Exprimer QA pspf1 f3 q tf2 q et QA pspf1 f3 q tf2 q en fonction des scalaires s, t, , et des uij A pfi , fj q avec 1 i j 3. En dduire une quation de A (resp. I A ) dans la base B (resp. B I ). Dmontrer que si ces intersections sont des cercles, on a u12 u13 u23 0 et u22 2 u11 2 u33 . En dduire que pf1 , f2 , f3 q est alors une base de vecteurs propres de A et que la valeur propre relative f2 est comprise entre celles relatives f1 et f3 . d. Dduire de ce qui prcde quil existe exactement deux plans vectoriels distincts coupant A suivant un cercle lorsque 2 0. 4. Exemple. Lespace R3 est rapport sa base canonique. On considre la matrice symtrique relle 4 A3 1 0
dmontrer que, si 2 0, le plan coupe A suivant un cercle. Pour 2 0, dterminer un autre plan vectoriel I , distinct de , coupant A suivant un cercle.
0 5 1. 1 4
a. Dmontrer que, pour tout x de R3 , on a QA3 pxq 3 x 2 [on poura, aprs lavoir justie, se servir de lingalit 2uv u2 v 2 ]. Quelle est la nature gomtrique de lintersection de A3 avec un plan vectoriel ? b. En remarquant que lquation de A3 peut scrire : 4px2 x2 x2 q x2 p2x1 x2 2x3 q 1, 1 2 3 dterminer deux plans vectoriels distincts coupant A3 suivant un cercle. Y en a-t-il dautres ? c. Dterminer, selon les valeurs du nombre rel h, la nature gomtrique de lintersection de A3 avec les plans afnes dquation x2 h et 2x1 x2 2x3 h.
86 PARTIE 3. PREUVES DENTRAINEMENT
b. Soit V pv1 , . . . , vn q une famille des vecteurs-colonnes dune matrice inversible M . Justier que V est une base de Rn . Soit W pw1 , w2 , . . . , wn q la base orthonormale obtenue par application la baase V du procd dorthonormalisation de Schmidt. Dmontrer que la matrice de passage T de la base W la base V est triangulaire suprieure. Soit O la matrice de passage de la base canonique E la base W. Justier que O est orthogonale et dmontrer que M OT .
a. Dmontrer quune matrice A appartient Sn pRq si et seulement si il existe une matrice inversible M tel que A M T M [on pourra diagonaliser A pour tablir que la condition est ncessaire].
c. Dduire de ce qui prcde que toute matrice A appartenant Sn pRq peut scrire sous la forme T T T avec T une matrice triangulaire suprieure inversible.
2. Une application : majoration du dterminant de A. Soit A un lment de Sn pRq et T une matrice triangulaire suprieure telle que A T T T . On note aij le terme gnral de A et tij le terme gnral de T . Dmontrer que 0 t2 aii pour tout 1 i n. ii En dduire que 0 det A 1in aii . quelle condition a-t-on det A 1in aii ? 3. Algorithme de dcomposition. Lespace Rn est rapport sa base canonique. Soit A un lment de Sn pRq de terme gnral aij . a. Dmontrer quil est quivalent trouver une matrice triangulaire suprieure inversible T telle que A trouver une criture de la forme quadratique QA de la forme :
T T T et de
d x Rn ,
avec tii b.
QA pxq
1 i n
2
1 j n
tij xj
0 pour tout 1 i n. Pour n 2, on identie Rn avec le produit R Rn1 et on note x la projection sur Rn1 dun lment x de Rn . a ca pour 1 j n, il existe une unique matrice A lment de Dmontrer que, si a11 0 et si on pose t1j Sn1 pRq telle que :
1j 11
dx R
QA pxq
1 j n
t1j xj
QApxq.
Dmontrer que A appartient Sn pRq si et seulement si lalgorithme sarrte pour k n avec lunique terme de An strictement positif. Dmontrer quon a alors dtermin une dcomposition A T T T avec T triangulaire suprieure inversible.
4. Exemple. Un entier n 1 et un rel a 0 tant xs, on applique lalgorithme la matrice symtrique Apn; aq a n lignes et n colonnes dont le terme gnral aij vaut a si i j, vaut 1 si i j 1 ou i j 1 et vaut 0 autrement.
3.5. PREUVE N O 5 87
1 i k
b. c. d.
ca et ui a u 1 pour 2 i k. Dmontrer quon a u1 u2 uk . quelle condition pourra-t-on faire une pk 1qe itration ? Dmontrer que, si a 2, la matrice Apn; aq appartient Sn pRq quel que soit n. Dmontrer que, si a 2, il existe un entier naturel N paq tel que la matrice Apn; aq appartient Sn pRq si et c seulement si n N paq. Calculer N p1q, N p 2q, N p1,9q. Donner lexpression de la dcomposition Apn; 2q T T T rsultant de lalgorithme.
2 i 1
ui xi
x i1 ui
2
1 2 x u2 k1 k
k 2 i n
x2 2 i
k 2 i n
x i1 x i
88
On admettra par ailleurs que, pour tout suite pAn qnN dvnements disjoints et dont la runion est de probabilit 1, il existe une variable alatoire X valeurs dans N vriant :
(b) La probabilit Jn de remporter ce duel (le rsultat est n) est gale pn , o ppk qk2 est une suite dlments de s0 , 1r, le joueur qui lui est oppos tant vainqueur avec une probabilit 1 pn.
dn N,
P pX
n q P p An q .
PARTIE 2 : PRLIMINAIRES On se propose ici de dmontrer divers rsultats qui pourront tre utiliss dans la suite du problme. 1) Rsultat 1 pxnqnN et pynqnN sont deux suites termes positifs vriant : xn
n
V yn .
n1 0 k 0
1. Justier, pour tout strictement positif, lexistence dun entier naturel non nul n0 tel que pour tout n suprieur ou gal n0 on ait :
n k 0
xk
k 0
yn
px k y k q
k n0
xk .
3.6. PREUVE N O 6
89
xk
V k0 yk .
2) Rsultat 2
1. pun qnN est une suite termes postifs telle que la srie de terme gnral un soit convergente. a. Montrer quon dnit une suite de rels par la relation :
dn N,
Quelle est la nature de cette suite ? b. Justier pour tout entier naturel n non nul :
n k 1
vn
V
k n 1
uk .
kuk
n 1 k 0
vk nvn .
c. Montrer que si la sride de terme gnral vn est convergente, alors la suite de terme gnral nun est convergente. d. Montrer que si la srie de terme gnral nun est convergente alors la suite de terme gnral nvn converge vers 0. Indication : On pourra ventuellement, aprs lavoir justie, utiliser la relation :
d n N ,
vn1
k n
pv k 1 v k q
pour majorer lexpression nvn1 lorsque n est un entier naturel non nul. e. En dduire que les sries de termes gnraux respectifs nun et vn sont ou bien convergentes et de mme somme, ou bien toutes les deux divergentes. 2. Dans cette question, X dsigne une variable alatoire dnie sur un espace de probabilit p, A, P q prenant ses valeurs dans N. Dduire de ce qui prcde quelle admet une esprance si et seulement si la srie de terme gnral P pX nq est convergente et quon a alors lgalit : Ep X q
V
P pX
nq .
n 0
3) Rsultat 3 panqnN est une suite termes positifs telle que la srie entire anxn admette un rayon de convergence R strictement positif. On note : dx sR , Rr, f pxq anxn. 1. Montrer que f pxq admet une limite nie lorsque x tend vers R sur r0 , Rr si et seulement si f est majore sur r0 , Rr. On suppose dans la suite de cette partie que lune de ces conditions quivalentes est ralise et on note L la limite. 2. a. Montrer que, pour tout n entier naturel :
n k 0 n 0
ak Rk
L.
c. Montrer que la srie entire est normalement convergente sur rR , Rs. En dduire que :
n 0
an R n
x R f p x q . lim
PARTIE 3 : PREMIRE MODLISATION : LE CAS PARTICULIER N 2. Dans cette section on observe la suite des numros des diffrents vainqueurs successifs. Lunivers des possibles est alors lensemble des listes (ventuellement innies) reprsentant les numros des joueurs vainqueurs aux diffrents duels. Aisni : p0, 2, 3, 3q reprsentera le jeu de 4 duels remports successivement par J0, J2, J3 et J3 qui est alors dclar gagnant du tournoi, ce qui met n celui-ci. On note Dn , pour n au moins gal 2, lvnement le jeu sarrte lissue de ne duel .
90 PARTIE 3. PREUVES DENTRAINEMENT
1. a. Expliciter D2 laide de la modlisation propose. 2. Dans cette question on suppose que, pour tout n 2, pn est gal p. a. Calculer P pDn q pour n suprieur ou gal 2. Vrier que ce rsultat.
3. On revient au cas gnral o, pour tout i au moins gal 2, pi est un rel lment de s0 , 1r. On pose pour tout n au moins gal 2 : n
b. On peut alors considrer une variable alatoire T gal au nombre de duels qui ont effectivement eu lieu lorsque le jeu sarrte. Calculer, aprs avoir justi leurs existences, son esprance et sa variance.
n i 2
Exprimer, pour n au moins gal 2, n2 P pDk q en fonction de la suite pk qk2 . En dduire que k vnement de probabilit 1 si et seulement si n tend vers 0 lorsque n tend vers linni. Lors cette condition est vrie on dnira T comme la question 2.b. et on posera, pour n 2 : un
pi .
n 2 Dn
est un
n n1.
Jusqu la n de cette partie 3, on suppose quil existe un rel strictement positif tel que, pour tout i au moins gal 2, lgalit suivante soit vrie : 1 pi 1 . i 4. Donner une condition ncessaire et sufsante sur pour que n2 Dn soit un vnement de probabilit 1. Indication : on pourra sintresser ka syute de terme gnral lnpn q. 5. Dans cette question, est gal 1. Donner une loi de T . T admet-elle une esprance ? 6. Dans cette question, on suppose : 0 1. a. Justier lquivalence lorsque n tend vers linni :
n
k 2
p lnppk qq
k
k 1
n 1 k 2 k
1 1 dx x pk 1q ,
n 1 . k
c. En dduire que, pour tout c rel strictement positif, la suite de terme gnral lnpnc un q tend vers V puis que la srie de terme gnral nun est convergente. Que peut-on en conclure pour lesprance de T ? PARTIE 4 : DEUXIME MODLISATION - LE CAS O LES PROBABILITS SONT CONSTNATES Dans cette partie et jusqu la n du problme N est un entier suprieur ou gal 3 et on suppose, pour tout n suprieur ou gal 2 : pn p. On notera : q 1 p. Pour tout n entier naturel, on note An lvnement le joueur Jn participe au moins un duel et Gn lvnement le joueur Jn est vainqueur du tournoi . 1) Cas particulier : N 1. Montrer que :
3 et p 1{2 dn N,
1 P pG n q P pAn q. 8
91
3.6. PREUVE N O 6
2. Montrer que les vnements A0 , A1 , A2 et A3 sont des vnements certains. 3. a. Dans cette question, n est un entier suprieur ou gal 4. On introduit les vnements An,k : le ne duel a lieu et oppose Jn et Jnk . Montrer que la probabilit de An,k est nulle si k est diffrent de 1 ou de 2. En dduire alors pour n 4 : 1 1 P pAn q P pAn1 q P pAn2 q. 2 4 b. On dsigne par r1 et r2 (r1 r2 ) les deux racines de lquation : 1 1 r2 r . 2 4 P p An q 4 n n c rr2 r1 s. 5
c. En dduire que la probabilit que le jeu sarrte est gale 1. On pourra alors considrer une variable alatoire T gale au nombre de duels qui ont effectivement eu lieu lorsque le jeu sarrte. Calculer : P pT 3q. Montrer que, pour n 4 : P pT nq P pGn2 q.
En dduire une expression de P pT nq pour n 4 puis lesprance de T . Indication : Pour 4.1.3.b. et 4.1.3.c., il pourra tre intressant de mener formellement dans un premier temps les calculs en fonction de r1 et de r2 et dutiliser ensuite leur somme et leur produit.
1. a.
3 et p est lment de s0 , 1r. On posera de plus, pour tout n entier naturel : an P pAn q et gn P pGn q. Calculer g0 . Que vaut ak pour 0 k N ?
gn
b. Montrer que la srie de terme gnral gn est convergente. c. Justier, pour tout n non nul, la relation :
n 1
an .
2. a. En considrant nouveau les vnements An,k dnis dans la partie prcdente, justier, pour n strictement suprieur N , la relation : an Exprmer aN 1 en fonction de p et de N .
N 1 k 1
p1 p qN 1 S
N n 1
an
N 1N 1 k 1 i k
pp1 pqk1 aN i .
En utilisant une inversion dindice dans la somme double, puis la question 1.a. calculer S. En dduire la somme de la srie de terme gnral gn , puis que la probabilit que le jeu se termine est gale 1. 3. On notera T une variable alatoire gale au nombre de duels ayant eu lieu jusqu larrt du jeu. b. En utilisant le rsultat 2 des prliminaires, montrer que T admet une esprance et donner lexpression de EpT q en fonction de p et de N . Retrouver le rsultat relatif EpT q de la question 4.1.3.c. La formule obtenue vaut aussi pour N 2 ; retrouver ainsi le rsultat de la question 3.2.b. Dterminer lesprance de T pour N quelconque et p 1{2.
92 PARTIE 3. PREUVES DENTRAINEMENT
a. Exprimer an et gn en fonction de T .
c. Dmontrer, pour n N
1:
an an1
(R)
PARTIE 5 : COMPORTEMENT ASYMPTOTIQUE DE LA LOI DE T 1) Un lemme Dmontrer que, pour tout entier naturel r non nul et toute famille pz1 , . . . , zr q de complexes non nuls, lgalit :
r k 1
zk
r k 1
|zk |
2) tude dune fonction associe T 1. Montrer quon peut dnir une fonction Q par :
dx r1 , 1s,
Qpxq
n 0
P pT
n qx n .
Vrier quelle est continue sur r1 , 1s et drivable sur s1 , 1r. 2. En utilisant la relation (R) et en sinspirant des techniques de calcul mises en oeuvre la question 2.b. de la partie 4 section 2), dmontrer, pour tout x de r1 , 1s, la formule :
1x
pxp1 pqqN 1p
p
admettent dans C une seule racine commune et que celle-ci est simple et relle. En dduire la relation : Qpxq 1 1 p
pB1pxq
avec B pxq
N 1 k 1
pp1 pqk1 xk 1.
3) tude des racines de B 1. tudier les variations de B sur R . Calculer B p1q. En dduire que B admet une unique racine relle postive N lment de s1 , Vr et que cette racine est simple. 2. En utilisant le lemme, montrer que les racines complexes de B sont de module strictement suprieur N . 3. Daprs ce qui prcde, les ples de Q sont en particulier de module strictement 1. Aurait-on pu prvoir directement ce rsultat ? 4) Recherche dquivalent On note tz1 , . . . , zm u les racines de B dans C de multiplicits respectives k . 1. Justier lexistence dune famille de complexes non nuls telle que, pour tout complexe z de module infrieur ou gal 1 on ait : m k k,s 1 . B pz q k1 s1 pz zk qs 2. Dans cette question s et k sont xs et z dsigne un complexe de module infrieur ou gal 1. a. Justier lgalit :
3.6. PREUVE N O 6
93
b. En dduire, pour tout k, lexistence dun polynme Pk de degr infrieur ou gal k 1 tel que : k,s pz z k qs s 1 c. En dduire une expression de an1 pour n 1. 3. a. Montrer, laide des questions prcdentes, lexistence dun rel K tel quon ait : an1
k
n 0
Pk p nq n zk
zn.
V n . N
K
n q.
94
On rappelle que lespace vectoriel Cn est muni dun produit hermitien dni par
Les trois parties de ce sujet sont indpendantes. PARTIE 1 : ANNEAUX RDUITS FINIS
xAu, vy xu, Avy quelque soient u, v Cn . On rappelle galement que lidentit xu, uy 0 est quivalente u 0. Une matrice A Mn pCq est normale si elle commute avec son adjointe, cest--dire si AA A A. Pour toute matrice A Mn pCq, on dsignera par KerpAq le noyau de lendomorphisme u Au de Cn .
1. Soit R un anneau. Montrer que lensemble N pRq des lments nilpotents de R est un idal et que le quotient R{N pRq est rduit. 2. Montrer que si un lment a de R est nilpotent alors llment 1 a est inversible. La rciproque est-elle vraie ? 3. Dterminer N pZ{72Zq. 4. Soit p un idal minimal non nul de R. Montrer que p est principal (indication : montrer que si x p xR.) 5. Montrer que si un idal a de R ne contient pas p alors on a lidentit a p 0. On suppose dsormais que R est rduit. 6. Montrer quil existe un unique lment e p x2 R.)
8. Montrer quil existe un homomorphisme canonique R p (indication : considrer la multiplication par e). On suppose dsormais que R est rduit et ni. 9. Montrer que R possde des idaux maximaux non nuls et quils sont en nombre ni.
3.7. PREUVE N O 7
7. Montrer que p, muni des oprations de somme et de produit dnies sur R est un corps ayant e comme lment neutre pour le produit.
95
10. Soient p1 , . . . , pn les idaux maximaux non nuls de R et indiquons par e1 , . . . , en leurs lments neutres respectifs. Montrer que e1 en 1. 11. En dduire quil existe un isomorphisme canonique entre R et p1 pn . En rsum on obtient le rsultat suivant :
Proposition 3.3
PARTIE 2 : DIAGONALISABILIT DES MATRICES NORMALES 1. Montrer que pour tout endomorphisme f dun groupe G, les conditions suivantes sont quivalentes : (i) Kerpf q Kerpf m q pour tout entier m 1, (ii) Il existe un entier m 1 tel que Kerpf q Kerpf m q, (iii) Kerpf q Kerpf 2 q. 2. Soient f et g deux endomorphismes dun groupe G. Si Kerpf q Kerpg q alors Kerpgf q Kerpf 2 q. 3. noncer le thorme de Cayley-Hamilton et le thorme de dcomposition des noyaux. 4. Montrer quune matrice A Mn pCq est diagonalisable si et seulement si, pour tout C, on a lidentit : o In Mn pCq dsigne la matrice unit (indication : utiliser le thorme de dcomposition de noyaux appliqu au polynme caractristique de la matrice, puis le point 1 du problme). Soit A Mn pCq une matrice normale. Montrer que pour tout C, la matrice A In est normale. Montrer que pour toute matrice normale A Mn pCq, on a lidentit KerpAq KerpA q (indication : utiliser la proprit dadjonction). En dduire que pour toute matrice normale A Mn pCq, on a la relation KerpAq KerpA2 q (indication : utiliser la question 2). En utilisant les questions 4 et 5, montrer le rsultat suivant :
Proposition 3.4
KerppA In q2 q KerpA In q,
5. 6. 7. 8.
3. Montrer que lapplication : pZ{pZq pZ{pZq dnie par pxq xpp1q{2 est un homomorphisme de groupes. En dterminer le noyau et limage. 4. Soit n un entier non divisible par p. Dduire de la question prcdente que limage de n dans Z{pZ est un carr si et seulement si npp1q{2 est congru 1 modulo p. 5. Montrer que 1 est un carr modulo p si et seulement si p est congru 1 modulo 4. 6. En dduire que si p est la somme de deux carrs alors p 1 pmod 4q. On suppose dsormais que p est congru 1 modulo 4. 7. Soit n le plus grand entier tel que n2 p. Considrons lensemble U dnie par f px, y q x wy,
1. Montrer que lapplication : pZ{pZq pZ{pZq dnie par pxq x2 est un homorphisme de groupes. En dterminer le noyau et limage. 2. En dduire quil existe p1 carrs dans pZ{pZq . 2
PARTIE 3 : LE THORME DES DEUX CARRS (PAR LA MTHODE DE THUE) Dans la suite, on xe un nombre premier impair p.
t0, . . . , nu et lapplication f : U U Z
o w est un entier tel que w2 1 pmod pq (un tel entier existe daprs la question 5). Montrer quil existe deux lments de U U ayant des images par f congrues modulo p (indication : utiliser la cardinalit de U pour montrer que f ne peut pas tre injective). 8. En ddurie que p est la somme de deux carrs. En rsum, on a dmontr le rsultat suivant :
Proposition 3.5
Un nombre premier impair est la somme de deux carrs si et seulement sil est congru 1 modulo 4.
96
1 n
n1
n
dt . t
On tudie la srie de terme gnral gnral an . On montre quelle est convergente et on donne diffrentes reprsentations de sa somme, note et appele Constante dEuler. Pour cela, on commence par tudier la suite pSn qnN dnie par : Sn
n p 1
ap
n 1 p 1
p
n1
1
dt t
n 1 p 1
p
lnpn 1q.
p
montrer que 0 ap 1 1 p p 1.
2. En dduire que la suite pSn qnN est majore, puis quelle est convergente et que sa limite appartient lintervalle r0 , 1s. 3. Vrier que pour tout p N on a : ap puis montrer que pour tout entier p 2, on a : 1 2
1 p
1
0
tp
dt,
1 p
1 p 1 ap 1 2
1 p1 p
1
4. En dduire un encadrement de Sm Sn pour m et n des entiers vriant m n 1. Puis montrer que pour tout entier n 1 on a : 1 1 Sn 2n . n2 5. Conclure quon a la dveloppement asymptotique suivant pour la suite pHn qnN : Hn 6. Pour tout n N , on pose Tn 1 ln n 2n o nV
1 n
2npn1 1q .
7. Dterminer un entier n N pour lequel Tn est une valeur approche de 102 prs. Donner alors un encadrement de 102 prs.
3.8. PREUVE N O 8 97
PARTIE II : DEUX REPRSENTATIONS INTGRALES DE LA CONSTANTE DEULER Soit I un intervalle non vide de R, born ou non et soit f : I R une fonction continue par morceaux. On dira que f est intgrable sur I si lintgrale impropre de f sur I est absolument convergente.
Intgrabilit
Dnition 3.6
On admettra la rsultat suivant : Soit I un intervalle non vide de R, born ou non et soit un une srie de fonctions relles positives, dnies, continues par morceaux et intgrables sur lintervalle I. Si la srie de fonc tion un converge simplement sur I vers une fonction continue par moreceaux et si la srie V numrique n0 un est intgrable sur I et on a : I un converge, alors, la fonction somme
V
I
Proposition 3.7
n 0
un
V
n 0 I
un .
et
1 1 et
1 t
dt.
et 1 et
et
V
1
et dt. t
1 1 e t
1 quand t 0. t
2. Dans cette question, on se propose de dmontrer que si a et b sont deux rels strictement positifs, alors la fonction at bt t e e est intgrable sur s0 , Vr et que t
V
0
eat ebt b dt ln . t a
eat ebt dt t
bx
ax
et dt t
by
ay
et dt. t
0: a
bz
az
et b dt eaz ln . t a
V
0
eat ebt b dt ln . t a
3. Une premire reprsentation intgrale de la constante dEuler a. Dmontrer que pour tout rel t 0 on a : 1 1 et
V
n 0
ent
et
1 t
V ent epn1qt
n 0
1 t
V
n 0
epn1qt
epn1qt epn2qt t
98
1
V
0
1 et t
1 1 e t
0. 1 t
et
dt et dmontrer lgalit : 1 t
V
0
et
1 1 et
dt.
4. Une deuxime reprsentation intgrale de la constante dEuler Soit y un rel strictement positif. V et a. Calculer y 1et dt, puis dduire que lim ln y y 0 b. Dmontrer que : c. En dduire que :
V
y
V
y
et dt 1 et
0.
V
y
et dt t
y
0
et
1 1 et
1 t
dt
et dt. 1 et
lim ln y y 0
V
0
V
y
et t dt
0.
et dt . t
V
0
et ln t dt.
PARTIE III : POUR UNE VALEUR APPROCHE DE LA CONSTANTE DEULER 1. a. Dmontrer lgalit suivante :
1
0
1 t
et 1 et
dt
V
1
et dt. 1 et
(Indicaton : on pourra calculer chacune des deux intgrales). b. En utilisant lgalit obtenue en II.3.d., dmontrer que : 2. Soit F la fonction dnie par : F px q (On rappelle que H0
1
0
1 et dt t
V
1
et dt. t
V H
k 0
0 et pour k 1, Hk
k!
xk .
1 p 1 p .)
a. Montrer que F est dnie et drivable sur R. F I px q F px q c. Montrer alors que pour tout rel x 0 on a : F px q e
x 0
1 x pe 1q. x
1 et dt. t
99
3.8. PREUVE N O 8
3. Dduire des questions prcdentes que pour tout rel x 0 on a : ln x ex F pxq 4. Soit un entier n 1 et soit un entier a 2. Montrer que :
V
x
et dt. t
V H k
k an 1
k!
c cn a1
a
n n
e
e an
2a a
2n
k!
en n e n en c n. a 1 2a a a
6. Dcrire une mthode permettant le calcul dune valeur approche de 1010 prs. (On ne demande par le calcul dune telle valeur approche.) PARTIE IV : LA CONSTANTE DEULER SOMME DE LA SRIE DE VACCA (1910) Pour tout entier p 0, on pose : p1 2 1 p1qk vp p . k k2p 1. a. En sparant les termes dindices pairs et ceux dindices impairs dans lexpression de vp , montrer que pour tout entier p 1 on a : 2p1 1 1 vp ppp1 p q o p . p h h2 b. En dduire que pour tout entier entier n 1 on a :
n p 1 n 1 p 0
vp
p nn .
n 1 p 0
H2 21n .
n
d. En utilisant le dveloppement asymptotique de Hn , obtenu en I.5., conclure que la srie de terme gnral vp est convergente et quon a :
V
vp
.
p 1
p1qn E plog2 nq x o log2 dsigne la fonction logarithme en base 2 et E pxq dsigne la partie entire du rel x.
un b. Soit n un entier naturel et soit m un entier tel que : 2n1
m k 2n1
a. Expliquer pourquoi le critre spcial des sries alternes ne permet pas de montrer la convergence de la srie de terme gnral un .
p1qk 1 , k 2m
uk
n 2n 1 .
PARTIE 3. PREUVES DENTRAINEMENT
100
uk
n p 0
2n
V
n 1
un
.
V
k 2n
p1qk .
k
a. Montrer que la srie de terme gnral rn est absolument convergente. b. Expliquer vk en fonction de k, rk et rk1 . Montrer ensuite que
n k 1
vk
n k 1
rk nrn1 .
Conclure que :
V V
n 1
2n
p1qk V k
n 1
p1qj 2n j j 0
PARTIE V : LA FORMULE DE GOSPER (1972) Dans cette partie, on dsigne par F le R-espace vectoriel des suites relles indexes par N. Si x pxk qkN est un lment de F, on notera aussi xrk s le terme xk de la suite x. On considre lendomorphisme de F dni par : Pour n N , on note n lendomorphisme de F obtenu en composant avec lui-mme n fois et on pose 0 Pour tout entier n N et pour tout entier p v0 , nw, n dsigne le coefcient binmial : p
dx F, dk N,
idF .
n p
p!pnn! pq! .
N on a :
p
p1q
p 0
n xpk . p
2. Soit pup qpN une suite relle convergente et de limite . On se propose de montrer que :
n 1 n lim up nV 2n p p 0
n
p
0. Montrer que
{2n
n p
converge vers 0.
n 1 n lim up nV 2n p p0
0.
k n 1 n 1 n up n up n 2 p 0 p 2 pk1 p
1 2n
et, tant donne un rel 0, choisir un entier k sufsamment grand pour que lon ait
3.8. PREUVE N O 8
n p k 1 p
up
2 .)
101
c. Conclure pour le cas gnral o est quelconque. 3. Dans cette question, on se propose de dmontrer la proprit suivante : Soit x pxk qkN converge et on a :
Proposition 3.8
V
k 0
p1qk xk
N:
UN
k 0
p1qk xk
VN 1
et
VN
2n1
p qr s .
a. Dmontrer que :
2 N 1
N q 0
N 1 Uq . q1
p qr s converge et que :
V
p1qk xk .
k 0
4. On considre dans cette question un entier n 1 ainsi que la suite x pxj qj N dnie par : xj a. Montrer que pour tout entier m 0, on a :
2n 1 j .
1 1 . n 2n m 2 m
m pxqr0s
1
0
xn p1 xqm dx
m!n! p m n 1 q! . 1
b. En dduire que :
V V
n 2m n 1 2 m m n 1m 0
1 2
102
V
n 0
un
V
vn
V
n 0
n 0
wn .
OBJECTIFS DU PROBLME Ce sujet aborde une srie de rsultats et de proprits relatifs la formule de Stirling 1 ainsi quaux polynmes et nombres dits de Bernoulli 2 . Il se compose de quatre parties. Dans la partie I, on tablit la formule de Stirling qui donne un quivalent simple de la suite pn!qn . Ce travail utilise les intgrales de Wallis 3 , qui sont tudies au dbut de la partie. La n de la partie I est une application des intgrales de Wallis et de la formule de Stirling ltude du volume des boules dans Rn . La partie II sintresse aux polynmes et nombres de Bernoulli. On y tudie certaines de leurs proprits et lon donne deux applications de cette tude. La premire, arithmtique, sintresse au calcul des sommes du type N0 k p . La deuxime k xt est consacre au dveloppement en srie entire de la fonction ete1 . t Dans la partie III, on introduit la fonction de Riemann 4 et lon explicite ses valeurs prises sur les entiers positifs pairs au moyen des nombres de Bernoulli. Ce calcul permet, avec la formule de Stirling, dexpliciter un quivalent simple pour la suite des nombres de Bernoulli. Dans la partie IV, on revient la formule de Stirling et lon dcrit une mthode pour obtenir un rafnement asymptotique de la formule. Les parties de ce sujet ne sont pas indpendantes, chacune delles pouvant utiliser des rsultats tablis dans celles qui la prcdent. Aussi pourra-t-on utiliser pour traiter certaines questions, les rsultats tablis dans les questions prcdentes sans les dmontrer. Il est toutefois vivement conseill aux candidats daborder linairement ce sujet. PARTIE I : INTGRALES DE WALLIS ET FORMULE DE STIRLING 1. Intgrales de Wallis Pour tout entier n 0, on pose : Wn a. Montrer que, pour tout n 0, on a Wn
{2
0
{2
0
b. Montrer que la suite pWn qn est strictement dcroissante. (Indication. Pour la dcroissance, on pourra comparer les fonctions x cosn pxq et x cosn1 pxq. Pour la stricte dcroissance, on pourra raisonner par labsurde.)
1. 2. 1705. 3. 4. James S TIRLING, mathmaticien anglais, Garden 1692 - Edimbourg 1770. Jakob B ERNOULLI (francis en Jacques), mathmaticien suisse, premier dune longue ligne familiale de mathmaticiens. Ble 1654 - Ble John WALLIS, mathmaticien anglais, Ashford 1616 - Oxford 1703. Georg Friedrich Bernhard R IEMANN, mathmaticien allemend, Breselenz 1826 - Selasca 1866.
3.9. PREUVE N O 9
103
c. laide dune intgration par parties montrer que, pour n 0, on a Wn2 d. En dduire que, pour tout entier p 0, on a
n1 n2
Wn .
6 9W 9 2p 9 9 8
p q 22p2pp!!q2 p 2
22p pp!q2 p2p 1q! .
9 9 9 9W 7 2p1
Wn Wn1
2pn 1q Wn1 1 W
n
(Indication. On pourra utiliser la question prcdente en distinguant suivant la parit de lentier n.) 1 1 n2
et en dduire que Wn n Wn1 . (Indication. On pourra utiliser la question I.1.b.) g. Montrer nalement que Wn
n
2n .
En dduire limn Wn .
2. Formule de Stirling On considre la suite pun qn dnie, pour n 1, par un et la suite auxiliaire pvn qn dnie, pour n 2, par vn
c nn!e n n
ln un ln un1.
b. En dduire que la srie vn est convergente. Montrer alors que les suites pln un qn et pun qn convergent et donc quil existe un rel K 0 tel que n n c n! n K n. e c. En utilisiant cet quivalent, calculer un quivalent simple de la suite pW2p qp . En dduire que K que : n n c n! n 2n (Formule de Stirling). e
a. Exprimer simplement vn en fonction n et donner un dveloppement limit lordre 2 en 1{n de la suite pvn qn .
3. Une autre application des intgrales de Wallis. Rappel sur les intgrales multiples et gnralisation (ce rappel nest utile que pour les sous-questions I.3.a. et I.3.c. de cette question I.3.). Les notions dintgrales doubles et triples ainsi que la mthode de calcul par intgrations successives de ces dernires (prsentes au programme), se gnralisent toute dimension nie de la manire suivante : tant donn un entier n 1, une partie An Rn sera dite continment paramtrable si n 1 et A1 est un segment ou si n 2 et sil existe une partie An1 Rn1 continment paramtrable et deux fonctions continues f, g : An1 R telles que
tpx1, . . . , xnq Rn, px1, . . . , xn1q An1 et f px1, . . . , xn1q xn gpx1, . . . , xn1qu . Avec ses notations pour une fonction continue : An R, on dnit lintgrale multiple de sur An par la formule
An suivante :
An
An1
g px1 ,...,xn1 q
f x1 ,...,xn1
px1 , . . . , xn q dxn
dxn1 dx1 .
On admettra, sans dmonstration, qu linstar des intgrales doubles et triples, le rel ainsi obtenu ne dpend que de la partie An et de la fonction . Le volume de la partie An sera alors, par dnition, le rel An dxn dx1 .
104 PARTIE 3. PREUVES DENTRAINEMENT
On se propose dtudier ici le comportement du volume dune boule de rayon x qunad on fait varier la dimension de lespace. Plus prcisment, on se xe un rel R 0 et pour tout entier n 1 on considre dans Rn la boule Bn de centre O et de rayon R : 2 @ Bn px1 , . . . , xn q Rn , x2 x2 R2 . 1 n On note Vn son volume. a. Montrer que, pour n 2, pour tout px1 , . . . , xn q Rn , on a
px1, . . . , xnq Bn 9
9 7
6 9 x1 , . . . , xn1 9 8
q Bn1
x2 1 n
R2
x2 1
xn
R2
x2 1
. x2 1 n
b. Soient 0 un rel et m 0 un entier. Montrer, en se servant par exemple dun changement de variable utilisant la fonction t sin t que
2
k i 1
Wi
d. Prouver nalement que, pour tout entier n 1, on a Vn et par suite, que pour k
Wi
p2Rqn
1:
V2k
et que pour k
0:
V2k1
R2k , k!
e. En utilisant la formule de Stirling, donner des quivalents simples des suites pV2k qk et pV2k1 qk . f. En dduire que limn Vn g.
Expliciter V1 , V2 , V3 et V4 .
0. Montrer que, soit la suite pVn qn est dcroissante, soit il existe un rang n0 tel que la suite pVn qn soit croissante
jusquau rang n0 , puis dcroissante. (Indication. On pourra calculer simplement le rapport Vn1 {Vn grce la question I.3.d. et utiliser les questions I.1.b. et I.1.g.)
h. Donner les valeurs de R pour lesquelles la suite pVn qn est dcroissante. i. Que vaut le rang n0 de la question I.3.g. quand R 1 ?
PARTIE II : POLYNMES ET NOMBRES DE BERNOULLI 1. Dnitions b. En dduire quil existe une unique suite de polynmes rels pBn pX qqn vriant (i) B0 pX q 1 ; (ii) (iii) a. Soit P pX q RrX s. Montrer quil existe un unique polynme QpX q RrX s tel que QI
P et
1
0
Qpxq dx 0.
I dn 1, Bn nBn1 ; 1 dn 1, 0 Bnpxq dx 0.
105
3.9. PREUVE N O 9
On appelle pBn pX qqn la suite de polynmes e Bernoulli. Pour tout n pbnqn est appele suite des nombres de Bernoulli.
d. En dduire, pour n 1, une expression de bn en fonction de b0 , . . . , bn1 . Calculer b5 et b6 . e. Montrer que la suite pbn qn est une suite de rationnels et que, pour n rationnels. f. Pour tout n 0, on pose
n
k
n bnk xk k
k!pnn! kq! .
Montrer, en utilisant la dnition des polynmes de Bernouilli, que pour tout n 0, on a Cn pX q Bn pX q. g. En dduire que : i. ii.
Cn pX q p1qn Bn p1 X q.
dn 1, b2n1 0 ; 1 dn 0, B2n1p 2 q 0.
b. Montrer par rcurrence sur n 1, que B2n vrie : (i) (ii) (iii) (iv)
a. Soit P pX q RrX s. tablir que, si P est non nul et de signe constant sur r0 , 1s, alors on a
1
0
P pX q dx $ 0.
p1qnB2np0q 0 ; p1qnB2np1q 0 ; 1 p1qnB2np 2 q 0q ; la foncton p1qn B2n est strictement croissante sur r0 , 1{2s et strictement dcroissante sur r1{2 , 1s
p1qnB2n1p0q p1qnB2n1p1q p1qnB2n1p 1 q 0 ; 2 1 1 il existe deux rels 2n1 s0 , 2 r et 2n1 s 2 , 1r tels que la fonction p1qn B2n1 soit strictement dcroissante sur r0 , 2n1 s puis strictement dcroissante sur r2n1 , 2n1 s puis strictement dcroissante sur r2n1 , 1s.
d. Pour tout n 0, on pose Bn pX q Bn pX q bn . Pour n 1, donner lallure gnrale des courbes reprsentatives des fonctions B4n2 , B4n1 , B4n , B4n1 sur lintervalle r0 , 1s.
4. Une application arithmtique a. Montrer, par rcurrence sur n 1, que pour tout x R, on a Bn px 1q Bn pxq nxn1 . b. Soient p 1 et N
(Indication. Il pourra tre judicieux daborder en mme temps la rcurrence sur ces six proprits.)
c.
106
0 deux entiers. On pose SppN q N0 kp. Montrer, en utilisant la question II.4.a. que : k Bp1 pN 1q bp1 S p pN q . p1 Calculer explicitement, en fonction de lentier naturel N , les sommes Sp pN q pour p 1, 2, 3.
PARTIE 3. PREUVES DENTRAINEMENT
bn n n! t
|bn | n n! t n
reste borne.
cet effet, on pourra utiliser la formule de Stirling et admettre pour cette queston que lon a lquivalent b2p p p1qp1 e 2p c16p. Ce dernier rsultat sera tabli dans la question III.2.e. venir.) b. Calculer le produit au sens de Cauchy des sries entires
tn bn
p
n 1
n!
t
n 0
n!
et 1
text et
bn
n 0
n!
tn .
1
Bn x
n 0
n!
p q tn .
d. Justier que, pour tout x R, le rayon de convergence de la srie entire Bn pxq tn est bien 2. n! (Indication. On pourra regarder dans C le comportement de la srie entire au voisinage du cercle |z| 2.) PARTIE III : FONCTION DE RIEMANN ET NOMBRES DE BERNOULLI 1. Fonction On appelle fonction de Riemann (relle) la fonction de la variable s R dnie par la formule ps q a. Soit s 0. Montrer que, pour tout entier k
1
n 1 s n
1, on a p k 1q
1
s
k1
k
dx xs
k1s .
V
1 dx xs
En dduire que la nature (divergence ou convergence) de lintgrale gnralise 1 srie n1 ns . c. Montrer que psq 1
1 s 1
b. Donner le domaine de dnition de et prouver quelle est strictement dcroissante sur celui-ci.
lim et en dduire s1 psq. 1 d. Soit a 1 un rel. Montrer que la srie n1 ns est normalement convergente sur ra , Vr. En dduire que est continue sur son domaine de dnition et que limsV psq 1. n1 e. Montrer que, pour tout s 0, la srie psq n1 p1qs converge. Prouver que, pour tout s 1, on a : n psq
2 s 1
ps q.
Z, on note :
1
0
ck pf q ke
f pxqe2ikx dx
le coefcient de Fourier de la fonction f . On rappelle sans dmonstration que, si f et g sont deux fonctions continues de r0 , 1s dans C, alors on a
1
0
f pxqg pxq dx
(o z
k Z
ck pf qck pg q
3.9. PREUVE N O 9
107
a. Calculer, pour tout k Z, et tout n N, le coefcient ck pBn q. (Indication. Pour k $ 0 et n 2, on cherchera une relation entre ck pBn q et ck pBn1 q.) Bn pxqBm pxq dx
V
k 1
c. Pour p 1, calculer
et en dduire la valeur de cette intgrale au moyen de la fonction . (Indication. On distinguera les cas n m pair et n m impair.)
1
0
B1 pxqB2p1 pxq dx en intgrant par parties. En dduire que p2pq p1qp1 b2p p2 q2p . 2 p2pq!
d. Donner les valeurs de p2q, p4q et p6q. En dduire les valeurs des sommes
n 1
p1qn1 ,
n2 1 , 2
n 1
p1qn1 ,
n4 1 , 4
n 1
p1qn1
n6 1 .
et des sommes
n 0
p2n 1q
n 0
p2n 1q
n 0
6 p2n 1q
e. En utilisant les questions III.1.d. et III.2.c. ainsi que la formule de Stirling, montrer que b2p 3. Application numrique a. Soient s 1 et N
p p1qp1
p 2p
16p.
1. Montrer que
1 ns nN 1
N 1 . s
N0
1 n 1 ns soit une approximation A de 6 10 2 prs.
1 s
b. tant donn un rel 0, expliciter un entier N0 tel que c. Dduire de ce qui prcde, une approximation rationnelle
d. Majorer lerreur commise en prenant 6 A comme approximation de . Combien de dcimales de cette approximation permet-elle de donner ? Les donner. PARTIE IV : FORMULE DE STIRLING GNRALISE On considre la suite pn qn dnie, pour n 0, par n
prs de psq.
c n nn! 2n .
e
On sait, daprs la partie I, que lon a n 1 op1q. On se propose ici de dcrire une mthode pour obtenir un dveloppement limit en 1{n un ordre donne de la suite pn qn , autrement dit on veut rafner la formule de Stirling. 1. On se xe un entier N a. Montrer que ln N
2.
ln 1
N 1 n 1
b. Montrer que la fonction t 1 1 lnp1 tq est dveloppable en srie entire en 0. Prciser son dveloppement t 2 ainsi que le rayon de convergence de ce dveloppement. c. En dduire que ln N
1 n
1 2
ln 1
1 n
ln 1 p1qk1 2kkk11q p k 2
pk q
1
n N k n
108
1 d. Montrer que la srie p1qk1 2kkk1q pk q est convergente. p (Indication. On pourra utiliser le critre des sries alternes.)
e. En dduire que ln N o Rk pN q
1 n N nk .
ln 1
V
k 2
2 et tout N 2, on a
1 1 1 1 N k1 Rk pN q k 1 N k1 N k . k1 1
pk 1q R pN q o 1 . p1q 2kpk 1q k N p2 k p
k
3. a. Montrer que
2, on a
k 2
ln N
k 2
p1qk 2kkk11q Rk pN q. p
b. Dduire de ce qui prcde que, si les suites pR2 pN qqN , . . ., pRp1 pN qqN possdent des dveloppements limits en 1{N lordre p, alors la suite pln N qN en possde aussi un et que celui-ci est gal celui de la suite
p1
k 2
c. 4. a.
1 p1qk 2kkpk1q Rk pN q N . Montrer que la suite pln N qN possde un dveloppement limit en 1{N lordre 1. En dduire celui de la suite pN qN cet ordre. Montrer que, pour N 1, on a 1 n2pn1 1q . R2 pN q N nN
V
b. En comparant cette dernire srie lintgrale gnralise N x2 pdx 1q , donner le dveloppement limit de la suite x pR2pN qqN en 1{N lordre 2. En dduire le dveloppement limit de la suite pln N qN puis de la suite pN qN , en 1{N lordre de 2. c. En gnralisant ce qui vient dtre fait, dcrire brivement les tapes suivre pour trouver un dveloppement limit de la suite pN qN , en 1{N un ordre donn.
3.9. PREUVE N O 9
109
110
PA R T I E
Premire composition
1 Continuit uniforme tant donne une fonction f relle dnie sur un intervalle I dintrieur non vide, on dit que f est uniformment continue sur I lorsque : d 0, h 0, dpx, yq I 2, p|x y| |f pxq f pyq| q . 1. crire laide des quanticateurs la proposition f nest pas uniformment continue sur I . 2. On rappelle quune fonction f est lipschtizienne de rapport k, o k est un rel strictement positif, si pour tout couple px, yq dlments de I, on a : |f pxq f py q| k |x y| . Montrer que toute fonction lipschitzienne sur I est uniformment continue sur I. 3. a. Montrer que pour tous rels x et y, on a : b. On considre la fonction f dnie sur R par : f p xq Montrer que f est uniformment continue sur R. 4. a. Montrer que pour tous rels positifs x et y on a : 1 |x| 1 . ||y| |x|| |y x| .
b.
5. a. En considrant les deux suites de rels pxn qnN et pyn qnN dnies pour tout entier naturel n par xn c yn n, montrer que la fonction h : x x2 nest pas uniformment continue sur R. b. La fonction h est-elle lipschtizienne sur R ?
n 1 et
6. Soit F une application uniformment continue de R dans R. On se propose de montrer quil existe deux rels a et b tels que, pour tout x R : F pxq ax b. a. Justier lexistence dun rel 1 strictement positif tel que :
b.
et de 1 .
dpx, yq pRq2, p|x y| 1 |F pxq F pyq| 1q . x Soit x0 R et n0 le plus petit entier tel que n 1 ; justier lexistence de n0 et exprimer n0 en fonction de x0
0 0
n1 0 k 0
pk 1qx0 F kx0
n0 n0
d. Conclure. 7. a. Les fonctions polynmes de degr suprieur ou gal 2 sont-elles uniformment continues sur R ? b. La fonction exponentielle est-elle uniformment continue sur R ? 8. Thorme de Heine Soit I ra , bs (a b) un segment de R. On se propose de dmontrer le thorme de Heine 1
Thorme 4.1 Thorme de Heine
Si une fonction G est continue sur I alors elle est uniformment continue sur I.
112
a. Justier quil existe un rel 0 et deux suites pxn qn1 et pyn qn1 dlments de I tels que pour tout entier naturel n1: 1 et |Gpxn q Gpyn q| . |xn yn | n b. Justier quil existe deux sous-suites xpnq xpnq ypnq c. Montrer que :
et ypnq n1 et
n 1
1 n
Gpxpnq q Gpypnq q
9. Soit J un intervalle dintrieur non vide. Si une fonction G est uniformment continue sur tout intervalle ra , bs inclus dans J, G est-elle ncessairement uniformment continue sur J ? 2 Marches alatoires
d. Conclure.
PARTIE A : QUELQUES RSULTATS DANALYSE 1. On considre la suite pHn qn1 dnie par : Hn a. Montrer que pour tout entier k
n 1 k 1
1:
k
k1
1
k1
k
1 1 dt . t k
lnpn 1q Hn Hn
1 lnpnq
V lnpnq.
n 1 k 1 2 k
Montrer, laide des outils de terminale scientique, que la suite pKn qn1 converge ; on notera K la limite de cette suite (on ne demande pas de calculer K. 3. On pose pour tout entier naturel n non nul : an On admet la formule de Stirling 2 : n! Montrer que la suite pan qnN converge vers
1 c .
cn
4n
Cn . 2n
V
n n
2n.
1
n1 n cc 2 n n1
5. En dduire que la suite pan qnN est croissante et que pour tout entier n 1 : an
2. James S TRILING (1692-1770) mathmaticien cossais
1 .
113
4ab. cn2
1 . 4 npn 1q
n1
7. a. Montrer que pour tout entier n 1 : 0 an1 an b. Montrer que, pour tout entier k 1 8npn 1qc .
c 8k1 .
c ak 8k1 .
PARTIE B : MARCHE ALATOIRE SUR UNE DROITE # Soit p0; i q un axe gradu. Une particule situe sur un point dabscisse k Z saute chaque instant sur le point dabscisse k 1 ou sur le point dabscisse k 1, avec la mme probabilit. Chaque saut est indpendant du prcdent. La particule est lorigine linstant. On note Ok la variable alatoire gale 1 si la particule est lorigine linstant t k et 0 sinon et Un la variable alatoire gale au nombre de passages en O de la particule entre les instant 1 et 2n (n 1). 1. Exprimer la variable Un en fonction des variables Ok . 2. Pour tout k a. b.
3. Calculer lesprance mathmatique EpUn q de la variable alatoire Un et montrer que, pour tout entier n 1 : E pU n q
p2n 1q Cn 1. 2n 4n
4. En dduire un quivalent de EpUn q lorsque n tend vers V. PARTIE C : MARCHE ALATOIRE SUR UN PLAN Un plan est rapport un repre orthonormal pO, #, #q. Une particule sur un point de coordonnes pk, q Z2 saute chaque instant sur lun des points de coordonnes pk 1, 1q, pk 1, 1q, pk 1, 1q, pk 1, 1q avec la mme probabilit (cest--dire qu chaque tape, la particule se dplace selon la diagonale dun carr). Chaque saut est indpendant du prcdent. La particule est lorigine linstant t 0. On note Ok la variable alatoire linstant t k et 0 sinon et Un la variable alatoire gale au nombre de passage en O de la particule entre les instants 1 et 2n (n 1). 1. Exprimer la variable Un en fonction des variable Ok . 2. Pour tout k 3. Montrer que lesprance de Un est donne par : EpUn q 4. Montrer que pour tout entier k
n a2 k k 1
k
2
5.
1, on a :
114
3 quation de Pell-Fermat On se propose de dterminer sil existe des entiers strictement positifs m et n (m n) vriant lgalit :
m k 1
n k m
k.
2n 1 y 2m 9 7 2 x 2y 2 1
On note dans ce qui suit lquation : dinconnue px, y q pN q2 . On range les solutions de (E) dans lordre croissant des y. 2. crire un algorithme permettant dobtenir les solutions de (E) pour y 3. Dterminer la plus petite (au sens de lordre choisi) solution de (E). x2 2y 2
1
(E)
100.
4. a. Montrer quil existe deux suites pxn qnN et pyn qnN dentiers naturelles telles que, pour tout entier n non nul :
c c p3 2 2qn xn yn 2.
5. Montrer que, pour tout entier n 1, pxn , yn q est solution de (E). On se propose de montrer que lensemble S tpxn , yn q, n N u est lensemble des solutions de lquation (E). On suppose quil existe des couples px, y q dentiers positifs solutions de (E) nappartenant pas S et on note pX, Y q le plus petit (au sens de lordre choisi) de ces couples. 6. Montrer quil existe un unique entier N tel que yN 7. Justier laide de lalgorithme que N 8. Montrer que : xN 9. En dduire que : 10. Montrer que : a. 3X b. c. d.
c. Montrer que les suites pxn qnN et pyn qnN sont strictement croissantes et tendent vers V.
2. c
Y yN 1. Y c
yN
2X
2 xN 1 yN 1 2.
xN 1 yN 1 2 p3X
4Y q p3Y 2X q
2 xN
yN
2.
11. Conclure.
12. Donner les cinq premier couples dentiers px, y q (au sens de lordre choisi) solutions de (E) puis les valeurs correspondants de m et n.
115
Seconde composition
1 Anneau pZ{nZ, , q Notations : Pour un ensemble ni F , on note cardpF q son cardinal. Pour n N tel que n 1, on note In lensemble des lments inversibles de lanneau pZ{nZ, , q et Nn lensemble des lments non inversibles. Pour a et b Z, a divise b est not a | b, ce qui quivaut : hk Z, b ka. Pour a et b Z, le plus grand commun diviseur dans N de a et b est not a b. Pour a Z et n N , on dsigne par a la classe de a dans lensemble quotient Z{nZ. Rappels : on considre pG, q un groupe ni dlment neture 1G . 2 Soit a G. On appelle ordre de a, que lon note paq, le plus petit lment de lensemble k alors 0 paq cardpGq et apaq 1G . Le groupe G est cyclique si et seulement si il existe a G tel que cardpGq paq. lements inversibles de lanneau pZ{nZ, , q
N, ak 1G
. On a
1. Soient a Z et n N tel que n 1. Dmontrer que a est inversible dans pZ{nZ, , q si et seulement si a n 1.
3. Sans justication, numrer, dans un tableau ayant deux ranges, les lments de I10 avec leurs ordres. Ce groupe pI10, q est-il cyclique ? 4. Sans justication, numrer, dans un tableau ayant deux ranges, les lments de I12 avec leurs ordres. Ce groupe pI12, q est-il cyclique ? 5. Pour les algorithmes demands, on utilisera uniquement les oprations , , et la fonction de deux variables reste o reste(a,b) donne le reste de la division euclidienne de a par b pour a N et b N . On pourra galement utiliser des boucles de type for while et la construction if. . .then. . .else. . .. On prcisera le logiciel de calcul formel ou le modle de calculatrice utilis. a. crire une procdure Test( , ) ayant comme arguments deux entiers naturels k et n avec n si k In et 0 sinon.
1 afchant 1
b. crire une procdure Card( ) ayant comme argument un entier n avec n 1 afchant le cardinal de In .
c. crire une procdure Ord( , ) ayant comme arguments deux entiers naturels k et n avec n 1 afchant la valeur de pk q, lordre de k dans pIn , q, si k In et Erreur sinon.
lements non inversible de lanneau pZ{nZ, q Soit n N. On dit que n est primaire lorsquil existe un nombre premier p et N tels que n p . a. tablir quil existe deux entiers, que lon notera n1 et n2 , tels que n n1 n2 , 1 n1 On pourra utiliser la dcomposition en produit de facteurs premiers de n. c. tablir galement que n1
n2 n et n1 n2 1.
7. 8.
In et n2 In. On considre p un nombre premier et N . Soit k Z. Prouver que : k Np p | k. Soit n N tel que n 1. Dmontrer que Nn est un sous-groupe de pZ{nZ, q si et seulement si n est primaire.
2 Isomtries du plan et de lespace On considre E Rn (avec n t2, 3u) muni de sa structure despace vectoriel euclidien. Rappels et notations : Pour un ensemble ni F , on note cardpF q son cardinal.
116 PARTIE 4. CAPES DE MATHMATIQUES - SESSION 2012
E est muni canoniquement dune structure afne. Une application afne de E est une application f: E E telle quil existe une application linaire : E E # # 2 , f pAqf pB AB . f tant donne, lapplication est unique, elle est appele vriant : pour tout pA, B q E q # partie linaire de f et on la note f . Une isomtrie de E est une application f : E E vriant : pour tout pA, B q E 2 , f pAqf pB q AB. Une isomtrie de E est une application afne de E. # Si f est une isomtrie de E, on dit que f est un dplacement de E lorsque detp f q 0. On note IspE q lensemble des isomtries de E, Is pE q lensemble des dplacements et Is- pE q IspE qz Is pE q. Limage dune droite (resp. dun plan) de E par une isomtrie de E est une droite (resp. un plan). Une isomtrie de E est une bijection de E sur E. pIspE q, q est un groupe et IspE q est un sous-groupe de pIspE q, q. Si f Is- pE q et g Is- pE q, alors f g Is pE q. Si f Is pE q et g Is- pE q, alors f g Is- pE q. Pour une isomtrie f de E, on note f 0 idE lapplication identit de E, f 1 f , f 2 f f et f 1 la bijection rciproque de f . On considre F une partie non vide de E. On note GpF q (respectivement G pF q) lensemble des isomtries (respectivement dplacements) de E laissant globalement invariant lensemble F . Ainsi, pour tout f IspE q, on a : f GpF q f pF q F . De plus, on a G pF q GpF q Is pE q. On dnit enn G pF q GpF qzG pF q.
f pM q F f 1 pM q F
3. Soit s IspE q telle que s soit une symtrie. tablir que s GpF q si et seulement si pour tout M On rappelle quune symtrie de E est une application afne telle que idE . : G pF q f
F , on a spM q F .
G pF q . f
a. Justier que est une application bien dnie. 5. Dmontrer que si GpF q est ni alors cardpGpF qq cardpG pF qq ou cardpGpF qq 2 cardpG pF qq. PARTIE B : EXEMPLES DANS LE PLAN EUCLIDIEN Dans cette partie on se place dans le cas o n 2 et on dsigne par P le plan R2 orient. On rappelle que Is pP q est constitu des rotations et des translations et que les rexions (symtries orthogonales par rapport des droites) sont des lments de Is- pP q. Un singleton Soit un point du plan P a. b. b. Montrer que est une bijection.
Is-pP q telle que f pq . Justier quil existe I P tel que f pI q $ I. On appelle r la rexion ayant pour axe la mdiatrice rI, f pI qs. Montrer que rpq puis que r f idP .
117
2. Dmontrer que les lments Gptuq sont les rotations de centre et les rexions daxe passant par . Une paire On considre une paire de points du plan, U 3. Soit f 4. 5.
GpU q. Montrer que f pI q I. Soit f G pU q tel que f $ idP . Prouver que f est la symtrie centrale de centre I. Montrer alors que GpU q est form de quatre lments : idP , la symtrie centrale de centre I et deux rexions.
Une ellipse On munit le plan P dun repre orthonorm direct pO, #, #q. Les axes de coordonnes sont nots pOxq et pOy q. On considre lellipse dquation : x2 y 2 b2 1 avec 0 b a. a2 On note Apa, 0q et AI pa, 0q les sommets principaux de lellipse . On note s la symtrie centrale de centre O, r1 la rexion daxe pOxq et r2 la rexion daxe pOy q, de sorte que, daprs ce qui prcde : Gp A, AI 6. Soit M 7. 8. 9. 10.
2 @
P de coordonnes px, yq. Donner les coordonnes des points spM q, r1pM q et r2pM q. Montrer alors que GptA, AI uq Gpq. On note tM P, OM au le disque ferm de centre O et de rayon a et le cercle de centre O et de rayon a. c Pour a 3 et b 1, reprsenter sur un mme graphique lellipse et le cercle . tablir que . Montrer que tA, AI u. 2a tP, P Iu tA, AIu. En dduire que Gpq GptA, AI uq. 2a.
12.
PARTIE C : TUDE DISOMTRIES DE LESPACE Pour la n du problme, on se place dans la cas o n 3. On dsigne par E lespace R3 muni dun repre orthonorm # direct : R pO, #, #, k q. Les axes de coordonnes sont nots pOxq, pOy q et pOz q. On rappelle quun automorphisme u de E est orthogonal si et seulement si pour tout # E : up #q # o x x x dsigne la norme euclidienne de E. OpE q dsigne lensemble des automorphismes orthogonaux de E. On rappelle quune matrice A M3 pRq est orthogonale si et seulement si AT A I3 AAT o AT dsigne la transpose de la matrice A. Lensemble des matrices orthogonales (resp. orthogonales de dterminant 1) est not O3 pRq (resp. SO3 pRq). 1. Soit f # a. Montrer que f OpE q. # # # # On note alors A la matrice de f dans la base orthonormale directe p i , j , k q, X, X I et B les matrices colonnes respectives des coordonnes des points M px, y, z q, M I pxI , y I , z I q et f pOqp, , q dans le repre R.
IspE q.
b. Montrer que f pM q M I X I AX B. (Cest lexpression analytique de f relativement au repre R). Pour i t0, 1, 2, 3u, on considre les matrices carrs : 1 0 0 A0 I3 0 1 0, A1 0 0 1
0
1 0 0
0 1 0
0 0 1
et
1 0 A3 0 1 0 0
0 0 . 1
O 3 pR q.
PARTIE 4. CAPES DE MATHMATIQUES - SESSION 2012
3. Pour quelles valeurs de i t0, 1, 2, 3u, a-t-on Ai Soit R. On considre la matrice colonne B expression analytique : t : X I
SO3Rq ? p
0 et on dnit les applications t , v , s et r de E dans E par leur
X B,
v : X I
A1 X B ,
s : XI
A2X,
r : XI
A3X.
De plus, on note v v0 . On rappelle que Is pE q est constitu des translations, des rotations axiales et des vissages. Les rexions de E (symtries orthogonales par rapport un plan) sont des lments de Is- pE q. 4. Sans justication, donner la nature des transformations t , v, s et r ainsi que leur(s) lment(s) caractristique(s). 5. Montrer que v v t t v et reconnaitre cette transformation en prcisant ses lments caractristiques. On pourra utiliser un calcul matriciel. 6. Soient et
PARTIE D : UN CYLINDRE BASE ELLIPTIQUE On considre deux rels strictement positifs a et b tels que a b. On considre le cylindre C dquation x2 a2
y2 1. b
On considre le plan dquation z 0 et lintersection du cylindre C et du plan . On remarque que la courbe est lellipse dquation : x2 a2
y2 1 b
x a cospq y b sinpq
On va montrer que les lments de GpC q peuvent scrire en composant certains isomtries de la partie prcdente.
R d .
b. On note M0 px0 , y0 , z0 q un point de D. Donner une quation paramtrique de la droite D obtenue laide de # et de u M0 . 4. Soit f 5. 6.
a. tablir que D admet un vecteur directeur #p, , q tel que et ne sont pas simultanments nuls. u On pourra commencer par donner un vecteur directeur de d pour R.
GpC q. Dduire de la question prcdente que f pd0q est parallle la droite d0. # # Soit f GpC q. Montrer que k est un vecteur propre de f . # Soit OpE q admettant k comme vecteur propre. # # # a. tablir que admet dans la base p i , j , k q une matrice de O3 pRq, donne par blocs, de la forme
M
0 0
o M
119
7. Soit f
application induite par f sur . a. tablir que g est une isomtrie de vriant g pq . b. laide de la partie B, noncer les quatre possibilits pour g puis en dduire que f pOq O. # # c. crire les quatre possibilits pour la matrice de # dans la base p i , j q. g d. Vrier alors que lon peut trouver i et j t0, 1u tels que f v j si . On pourra utiliser lexpression analytique de f et la question 6. 8. Soit f G pC q tel que f pOq . On note OI le projet orthogonal de f pOq sur le plan , t la translation de vecteur # f pOqOI et h t f . a. Montrer que h G pC q et hpOq . On pourra commencer par justier que t peut scrire t t avec R et utiliser la question 1. b. Montrer que lon peut trouver R , i et j t0, 1u tels que f t v j si . 9. Soit f G pC q. a. tablir que r f G pC q. b. En dduire quil existe R, i et j t0, 1u tels que f r t v j si . PARTIE E : UNE HLICE On reprend dans cette partie les notations de la partie prcdente. On considre larc paramtr M : R t
On note H la trajectoire de cet arc paramtr. 1. Montrer que H C. 2. Soit D une droite telle que D coupe la courbe H en au moins trois points. Montrer alors quil existe On pourra utiliser les questions 2 et 3 de la partie D. 3. Soit R. Montrer que d H tM p 2k q, k Zu. 4. Soient f GpHq et R. Montrer quil existe R tel que f pd q d . 5. En dduire que GpHq GpC q. 6. Soit k Z. Montrer que t2k GpHq. 7. Soit R tel que t GpHq. Prouver quil existe k Z tel que 2k. On pourra utiliser le fait que t pM p0qq H. 8. Justier brivement que s et v GpHq. 9. Soit R tel que v GpHq. Prouver quil existe k Z tel que p2k 1q. On pourra utiliser le fait que v pM p0qq H. 10. Soit f une isomtrie de E. Dmontrer que : f
R tel que D d .
GpHq hk Z, hi t0, 1u ,
6 9f 8 9 7
t2k si
.
11. On veut montrer que GpHq G pHq. Pour cela, on suppose que GpHq $ G pHq. a. Dmontrer quil existe R, i et j t0, 1u tels que r t v j si G pHq. b. En dduire que lon peut trouver un rel not tel que r t G pHq. c. Calculer les coordonnes du point r t pM p0qq. d. En dduire que lon peut trouver m Z tel que r t2m G pHq. e. En dduire que r G pHq. f. Calculer les coordonnes du point rpM p {2qq. g. Conclure.
120
ou f vp2k1q si
PA R T I E
Premire composition
1 Nombres irrationnels
Lensemble des nombres rationnels est not Q. On rappelle que tout nombre rationnel non nul peut scrire sous la forme p , o p et q sont des entiers relatifs premiers entre eux. q Un nombre rel est dit irrationnel sil nappartient pas Q. Dans ce problme, on se propose de dmontrer lirrationnalit de quelques nombres rels. Les trois parties de ce problme sont indpendantes.
PARTIE A : QUELQUES EXEMPLES DE NOMBRES IRRATIONNELS 1. Soit n un entier naturel. Dmontrer que si 2. 3. Dmontrer que le nombre
cn nest pas entier, alors il est irrationnel. c En dduire que si p dsigne un nombre premier, alors p est irrationnel.
ln 2 ln 3 est irrationnel. 1 k 0 k! . On se propose
4. On rappelle que e V de dmontrer que le nombre e est un nombre irrationnel. Pour cela, on fait lhypothse quil existe p et q, entiers naturels non nuls, tels que e p et on dmontre que cette q hypothse conduit une contradiction. Pour tout entier n, on pose : n 1 1 et vn un . un k! n n! k 0 a. Dmontrer que les suites pun qnN et pvn qnN sont adjacents, puis montrer que : uq
e vq .
b. Aboutir une contradiction en multipliant les termes de cet encadrement par q! q. PARTIE B : UNE PREUVE DE LIRRATIONNALIT DE On propose ici de dmontrer que le nombre est un nombre irrationnel. Pour cela, on fait lhypothse quil existe a et b, entiers naturels non nuls, tels que a et on dmontre que cette hypothse conduit une contradiction. b tant donns un entier naturel non nul n et un rel x, on pose : Pn p xq tant donn un entier naturel n, on pose : In xn pa bxqn n! et P0 pxq 1.
1. a. Pour un entier naturel n non nul, exprimer la drive de Pn en fonction de Pn1 . b. Calculer supxr0,s |Pn pxq| en fonction a, b et n. c. Dmontrer que : d. Dmontrer que :
dn N, dx R, dn N,
n!
Pn p a b In
x q P n px q. 0.
p0q
2. Pour tout entier naturel k, la drive dordre k de Pn est note Pn . Par dnition, Pn Pn . pkq pk q En distinguant les trois cas suivants, dmontrer que Pn p0q et Pn p a q sont des entiers relatifs : b a. 0 k b.
122
a2 4b
pk q
n 1; n k 2n ;
c. k
2n 1.
a. Dmontrer que pour tout entier naturel n, In est un entier relatif. On pourra procder par intgrations par parties successives ; b. Conclure quant lhypothse
a. b
PARTIE C : DVELOPPEMENT EN SRIE DE ENGEL ET APPLICATIONS 1. Soit pan qnN une suite croissante dentiers telle que a0
dn N,
k 0
a0 ak
2. Soit x s0 , 1s. On dnit deux suites pxn qnN et pan qnN en posant x0
est convergente de limite infrieure ou gale a01 1 . Si x dsigne la limite de la suite pSn qnN , on dit que x admet un dveloppement en srie de Engel. On notera x ra0 , . . . , an , . . .s.
x et :
dn N,
o E dsigne la fonction partie entire.
an
1E
1 xn
et
xn1
an xn 1
a. Dmontrer que les suites pxn qnN et pan qnN sont bien dnies. c. Dmontrer que la suite pan qnN est croissante et que a0
2.
xn1 . a0 an
dn N,
x Sn
3. On suppose quil existe deux suites distinctes croissantes dentiers pan qnN et pbn qnN telles que a0
2, b0 2 et :
dn N, ra0, . . . , an, . . .s rb0, . . . , bn, . . .s. On pose n0 min tn N, an $ bn u. a. Dmontrer que ran , . . . , an , . . .s rbn , . . . , bn , . . .s. 1 b. Dmontrer aque si x ra0 , . . . , an , . . .s alors a0 x 1 x et en dduire que a0 1 E x . c. En dduire lunicit du dveloppement en srie de Engel dun rel donn dans lintervalle s0 , 1s.
0 0
5. 6.
n 2; c. la suite pan qnN dnie par : dn N, an p2n 1qp2n 2q. c Dterminer le dveloppement en srie de Engel du nombre coshp 2q 2. Dmontrer que x s0 , 1s est rationnel si et seulement si la suite pan qnN de son dveloppement en srie de Engel est
stationnaire. Pour le sens direct, on pourra commencer par procder la division euclidienne de x par son numrateur.
123
2 Statistiques et probabilits
Dans cette partie, n dsigne un entier naturel non nul et px1 , . . . , xn q, un n-uplet de rels. On dnit sur R les deux fonctions G et L par : Gp x q Lpxq
n
i 1 n i 1
p x x i q2
|x xi |
1. Minimisation de G a. En crivant Gpxq sous la forme dun trinme du second degr, dmontrer que la fonction G admet un minimum sur R et indiquer pour quelle valeur de x il est atteint. b. Que reprsente dun point de vue statistique la valeur de x trouve la question 1.a. ? 2. Minimisation de L On supposera dans cette question que la srie est ordonne, cest--dire que : x1
x2 xn . 2, x2 3, x3 4.
2, x2 2, x3 4, x4 7.
c. Dmontrer que la fonction L admet un minimum m sur R et indiquer pour quelle(s) valeur(s) de x il est atteint. On distinguera les cas n pair et n impair. d. Que reprsentent dun point de vue statistique les valeurs de x trouves la question 2.c. ?
Le 7 dcembre 1801, Crs sera observe lendroit prvu par les calculs de G AUSS. Il prolongera ce travail en tablissant, grce la thorie des probabilits, que la rpartition des erreurs suit une loi normale.
On se place dans cette partie dans un espace probabilis p, A, P q. tant donn un entier naturel non nul n, on considre un systme complet dvnements A tA1 , . . . , An u de probabilits respectives pp1 , . . . , pn q toutes non nulles. On dnit lentropie de ce systme par le nombre : H pAq
n k 1
pk ln pk .
Ce nombre quantie lincertitude, tandis que son oppos quantie la quantit dinformation. Lentropie doit tre maximale lorsquaucune hypothse ne peut tre privilgie. 1. Deux exemples On se place ici dans le cas n 4. Quatre chevaux sont au dpart dune course, et on note Ai lvnement : Le cheval numro i remporte la course. Calculer dans chacun des cas suivants lentropie du systme.
124 PARTIE 5. CAPES DE MATHMATIQUES - SESSION 2013
a. p1 b.
p2 p3 p4 ; 1 1 1 p1 8 , p2 8 , p3 1 , p4 2 . 4
Lentropie est maximale lorsquaucune hypothse ne peut tre privilige, cest--dire lorsquil y a quiprobabilit.
2. Cas n 2 On considre un systme complet A tA1 , A2 u. On pose p1 p et p2 1 p. Dmontrer que lentropie est maximale lorsque les deux vnemens A1 et A2 sont quiprobables. 3. Cas gnral a. Un rsultat prliminaire : lingalit de Jensen Soit f une fonction valeurs relles dnie sur un intervalle I. On dit que f est convexe sur I si :
dpx, yq I 2, d r0 , 1s, f px p1 qyq f pxq p1 qf pyq. On considre une fonction f convexe sur I, px1 , . . . , xn q I n , p1 , . . . , n q Rn , avec n1 k 1. k
Dmontrer que : f
k 1
k xk
n k 1
k f pxk q.
k xk
nxn p1 nq
$1:
n 1
k xk 1 n k1
Si f est deux fois drivables sur I, f est convexe sur I si et seulement si f P est positive sur I.
PARTIE C : THORIE DE LINFORMATION, LE CAS CONTINU Soit f une fonction valeurs relles dnie et continue sur R. On rappelle que f est une densit de probabilit sur R si f est positive, intgrable sur R, et que R f 1. Lorsquen plus f ln f est intgrable, on dnie lentropie associe f par : H pf q
V
On dsigne par H lensemble des densits de probabilits qui possdent une entropie. Le but de cette partie est de dterminer quelle densit maximale lentropie, cest--dire correspond la quantit minimale dinformation. 1. Deux exemples On admet que les deux fonctions suivantes sont des densits de probabilit. Calculer lentropie associe chacune delles. t2 {2 a. g dnie sur R par g ptq ec2 ; b. h dnie sur R par hptq et si t 0 et hptq 0 sinon, o est un rel strictement positif. a. Dmontrer que pour tous rels strictement positifs x et y : x ln y
5.1. PREMIRE COMPOSITION
x ln x y x
et
x ln y
x ln x y x x y.
125
b. Soit f une fonction continue et positive sur un intervalle ra , bs, avec a b. Dmontrer que :
b
a
On pourra procder par contraposition. 3. Une maximisation dentropie sous contrainte de moyenne et de variance On sintresse dans cette question aux fonctions de H desprance nulle et de variance gale 1, cest--dire telles que : t tf ptq est intgrable sur R dintgrale nulle ; t t2 f ptq est intgrable sur R dintgrale gale 1. On appelle N cet ensemble. a. Dmontrer que g
126
Seconde composition
1 Puissances de matrices
RAPPELS ET NOTATIONS tant donns deux entiers naturels non nuls p et q, Mp,q pCq dsigne lensemble des matrices p lignes et q colonnes, coefcients complexes. Lensemble Mp,p pCq est not Mp pCq et Ip dsigne la matrice identit de Mp pCq. On identiera par la suite Mp,1 pCq et Cp . Soit pAn qnN une suite de matrices de Mp,q pCq. Pour tout entier n, on note An paij pnqq1ip,1j q . On dit que la suite pAn qnN converge, si pour tout couple pi, j q tel que i v1 , pw et j v1 , q w, la suite pai,j pnqqnN converge dans C. En posant lim pai,j pnqq li,j et L plij q1ip,1j q , on dit alors que la matrice L est la limite de la suite pAn qnN et on note : lim An
V nV
n
L.
Soit A une matrice de Mp pCq. Pour tout entier naturel n, on note An la puissance ne de la matrice A. Ce problme a pour but de dterminer une condition ncessaire et sufsante pour que la suite pAn qnN converge dans Mp pCq. PARTIE A : TUDE DUN EXEMPLE On considre les suites pxn qnN et pyn qnN dnies par : x0 Dans cette partie, on pose : A xn 1. Pour n N, exprimer yn
R, y0 R
et
dn N,
1 5
xn1 4 xn 2 yn 5 5 1 yn1 5 xn 3 yn 5
4 2 . 1 3
en fonction de
An
2. Montrer quil existe une matrice diagonale D de M2 pCq telle que A puisse scrire : A P DP 1 3. Pour tout n N, dterminer une expression de An en fonction de n. o P dsigne la matrice
2 1 1 1
x0 et de . y0
5. Dmontrer que les suites pxn q et pyn q convergent et dterminer les limites de ces suites en fonction de x0 et y0 . PARTIE B : RSULTATS PRLIMINAIRES Soient p et q deux entiers naturels non nuls.
1. Soient pAn qnN et pBn qnN deux suites de matrice de Mp,q pCq qui convergent respectivement vers L et M . b. Soit C. Montrer que lim pAn q L.
n
V c. Soient B Mp,q pCq et pn qnN une suite de nombres complexes qui converge vers C. Montrer que :
n
lim V n B B.
2. Soit pAn qnN une suite de matrices de Mp pCq qui converge vers L.
5.2. SECONDE COMPOSITION 127
a. Soit X
0.
PARTIE C : CONDITION NCESSAIRE Dans la suite du problme, on note u lendomorphisme de Cp reprsent par la matrice A dans la base canonique. On dnit, pour tout entier naturel n, un par : u0 idCp et un1 u un . On suppose dans cette partie que la suite pAn qnN converge. b. On suppose que || 1. Montrer qualors 1. On pourra considrer n1 n .
PARTIE D : CONDITION SUFFISANTE On note u pX q detpA XIp q le polynme caractristique de u, o det dsigne le dterminant de la matrice considre. 1. noncer le thorme de dAlembert-Gauss. 2. En dduire que lon peut crire u pX q detpA XIp q
p
3. Justier le fait que u admet dans une certaine base pe1 , . . . , ep q une matrice T de la forme : 1 . . . . . . . . . 2 . . . . . . T . .. . . . . 0 p 4. On suppose dans cette question que |i | 1 pour tout entier i v1 , pw. b. Montrer par rcurrence que pour tout entier i v1 , pw, lim un pei q 0.
n
i 1
5. On note 1 , . . . , m les valeurs propres de u, deux deux distinctes, avec m N . On suppose dans cette question que 1 1 et |i | 1 pour tout i tel que 2 i m. On suppose galement que Kerpu idq Impu idq t0u.
b. On note u1 lendomorphisme de Impu idq induit par u. Montrer que toute valeur propre de u1 est une valeur propre de u, distincte de 1 . c. En remarquant que u1 vrie les hypothses de la question 4, en dduire que An converge et dterminer une matrice semblable sa limite. PARTIE E : CONCLUSION ET APPLICATION
a. Montrer que Kerpu idq et Impu idq sont deux sous-espaces supplmentaires dans Cp stables par u.
1. On note 1 , . . . , m les valeurs propres de A, deux deux distinctes, avec m N . Dduire des questions prcdentes que la suite pAn qnN converge si et seulement si :
6 9 i 8 9 7
d v1 , mw, |i| 1
et
di v2 , mw, |i| 1
128
2. Dterminer si les suites pAn qnN sont convergentes, dans chacun des cas suivants : a. A
1 1 i 0 i 1 b. A 2 0 0 1 1 c. A 0 0
6 2i 4
0 9
i 2
2 Quelques thormes darithmtique On dmontre dans la partie A un thorme de Lagrange dont on utilise le rsultat pour dmontrer le thorme de Wilson (partie B) et le thorme de Wolstenholme (partie C). PARTIE A : THORME DE LAGRANGE 1. Montrer que pour tout entier n 1 et tout entier k
p
k
3. Soit p un entier premier impair. On considre la fonction f dnie sur R par : f p xq a. Montrer que pour tout rel x on a : pf pxq px 1qf px 1q xf pxq. b. Justier lexistence dun p-uplet dentiers pa0 , a1 , . . . , ap1 q tel que pour tout rel x on a : f px q c. Montrer que a0
p 1 k 0
k 1
px k q.
ak xp1k .
1 et ap1 pp 1q!.
d. laide de la question 3.a. et en faisant intervenir le binme de Newton, montrer que pour tout entier k on a : k pi pak ai . k1i i0 e. En dduire que a1
v0 , p 1w
p
2
v2 , p 1w on a :
k1
k 1 i 1
pi ai . k1i
f. En dduire le thorme de Lagrange : Si p est un entier premier impair et si f pxq coefcients a1 , a2 , . . ., ap2 sont divisibles par p
Thorme de Lagrange
Thorme 5.3
p1
k 1
px k q
PARTIE B : THORME DE WILSON On se propose de dmontrer la proprit suivante, connue sous le nom de thorme de Wilson :
Thorme 5.4 Thorme de Wilson
1. Vrier que la proprit est vraie pour p 2. 2. p est maintenant un entier premier impair. a. Montrer que : p! 1
p 2 k 1
(les entiers pai qiv1,p2w sont ceux dnis la question A.3.b.). b. En dduire que pp 1q! 1 pmod pq. 3. Montrer que la rciproque du thorme de Wilson est vraie. 4. On se propose dtudier ce que devient le thorme de Wilson pour les entiers non premiers strictement suprieurs 4. a. On suppose que n 4 et que la dcomposition en produit de facteurs premiers de n comprend au moins deux facteurs premiers distincts. Montrer que pn 1q! 0 pmod nq. b. On suppose que n 4 et que n p o p est un entier premier et est un entier strictement suprieur 2. Montrer que pn 1q! 0 pmod nq. c. On suppose que n 4 et que n p2 o p est un entier premier. Montrer que 1 2p n et en dduire que pn 1q! 0 pmod nq. PARTIE C : THORME DE WOLSTENHOLME Pour tout entier n 1, on considre le rationnel : Hn On dsigne par sn et tn les deux entiers naturels tels que : sn Hn et tn
ak pp 1q!
n 1 k 1
k
PGCDpsn , tn q 1.
1. crire un algorithme permettant dobtenir pour n allant de 2 10 les entiers sn et tn (on supposera quon dispose dune instruction pgcd(a,b) qui renvoie le plus grand commun diviseur de deux entiers a et b). 2. Calculer s4 , s6 et s10 et vrier que ces entiers sont divisibles respectivement par 52 , 72 et 112 . Dans la suite, p dsigne un nombre premier strictement suprieur 3. On se propose de dmontrer :
Thorme de Wolstenholme
n 1 k 1
Thorme 5.5
k
sn t
n
et
PGCDpsn , tn q 1.
ap2 5. Conclure.
130
BIBLIOGRAPHIE
[1] L. S CHWARTZ, Algbre, Collection Mathmatiques pour la Licence, Dunod, Paris, 2003. [2] F. L IRET & M. Z ISMAN, Maths. Tome 4, Collection Dunod Universit, Bordas, Paris, 1988. [3] M. AUDIN, Geometry, Springer-Verlag, 2003. [4] M. B ERGER, Gomtrie, Vol 4, CEDIC, Paris, 1977, Formes quadratiques, coniques et quadratiques. [5] V. D ELTHEIL & D. C AIRE, Gomtrie et Complments de gomtrie, Rimpression Gabay, 1951. [6] V. L ESPINARD & R. P ERNET, Gomtrie, Andr Desvigne, 1963. [7] C. B OULONNE, Notes de cours - M105 : Complments danalyse et dalgbre L1 Mathmatiques.
131