Vous êtes sur la page 1sur 146

MATHEMATIQUES EN MPSI

Probl`mes dapprofondissement e
Rmy Nicolai e

Editions
www.inlibroveritas.net Immeuble ACCET 4, place de la Pergola 95021 Cergy-Pontoise

Ce livre est publi sous la licence libre Creative Commons-BY-SA http ://creativecommons.org/licenses/by-sa/3.0/deed.fr BY : Paternit. Vous devez citer le nom de lauteur original. SA : Partage des Conditions Initiales lIdentique. Si vous modifiez, transformez ou adaptez cette cration, vous navez le droit de distribuer la cration qui en rsulte que sous un contrat identique celui-ci. En outre, chaque rutilisation ou distribution, vous devez faire apparatre clairement aux autres les conditions contractuelles de mise disposition de cette creation. Chacune de ces conditions peut tre leve si vous obtenez lautorisation du titulaire des droits.

In Libro Veritas, 2009, ISBN : 978-2-35922-002-5 Dpt lgal : premier semestre 2009

Liste des probl`mes e


Liste des probl`mes e 3

Enoncs. e
Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb 1 : Exemples de produits innis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 : Intgrales et formes linaires. . . . . . . . . . . . . . . . . . . . . . . . . . . . . e e 3 : Rotations, angles dEuler, quaternions . . . . . . . . . . . . . . . . . . . . . . . 4 : Transformation de Legendre : continuit, drivablit, borne suprieure. . . . . . e e e e 5 : Irrationnalit de e. Gnralisation de la formule du binme avec un lment e e e o ee nilpotent. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 : Nombres complexes et fonctions usuelles : autour de la formule de Machin. . . . 7 : Des suites de moyennes dnies par rcurrence. . . . . . . . . . . . . . . . . . . e e 8 : Plans mdiateur, bissecteur et hauteur dun triangle dans lespace. . . . . . . . e 9 : Disque elliptique comme union de cercles. . . . . . . . . . . . . . . . . . . . . . 10 : Ensembles : thor`me de Sperner. . . . . . . . . . . . . . . . . . . . . . . . . . e e 11 : Famille de suites dnie par rcurrence, points xes stables et instables. . . . . e e 12 : Un probl`me danalyse ` la Cauchy sur un ensemble de rels dni ` partir e a e e a dune fonction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 : Inversibles dans un anneau quadratique. . . . . . . . . . . . . . . . . . . . . . 14 : Familles de sous-espaces de mme dimension. . . . . . . . . . . . . . . . . . . . e 15 : Approximation par convolution. . . . . . . . . . . . . . . . . . . . . . . . . . . 16 : Calcul de la somme des inverses des carrs par la mthode des coecients de e e Fourier. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 : Un exercice avec des sommes de Riemann. . . . . . . . . . . . . . . . . . . . . 18 : Lemme de Hochschild (par dualit). . . . . . . . . . . . . . . . . . . . . . . . . e 19 : Fonctions ` drives bornes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . a e e e 20 : Familles de vecteurs et de reexions. . . . . . . . . . . . . . . . . . . . . . . . 21 : Borne infrieure dun ensemble de nombres rels. Densit de Schnirelmann. . . e e e 22 : Rang et matrices extraites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 : Sommets dune courbe paramtre . . . . . . . . . . . . . . . . . . . . . . . . . e e 24 : Suite implicite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

7
7 9 10 15 18 20 23 24 28 30 31 32 33 35 38 39 40 41 42 45 47 48 49 53

Corrigs. e
Pb 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Pb 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Pb 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

57
57 60 62

Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb Pb

4 . 5 . 6 . 7 . 8 . 9 . 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . .

69 75 80 85 88 91 94 97 101 106 109 113 116 119 120 122 127 134 135 137 143

Introduction
La collection MATHEMATIQUES EN MPSI propose des documents pdagogiques (recueils e de probl`mes corrigs, livres de cours) en complment de ceux distribus en classe. e e e e Les ouvrages de la collection sont disponibles sur internet. En fait, ils sont produits en ligne ` a partir dune base de donnes (le maquis documentaire) accessible ` ladresse e a http ://maquisdoc.net Cette base est conue pour tre tr`s souple. Elle accompagne les auteurs et les utilisateurs en c e e leur permettant de travailler librement et au jour le jour. Il est devenu impossible de travailler sans internet (y compris pour rdiger des probl`mes e e de mathmatiques) mais il est galement impossible de ne travailler que sur cran. Le papier e e e garde donc toute sa validit et la publication de livres sous la forme imprime habituelle (` cot e e a e dautres types de services) est encore totalement justie. e En revanche, le mod`le conomique de ldition est devenu obsol`te pour de tels ouvrages prie e e e e scolaires produits ` partir de structures web. Lditeur (In Libro Veritas) a accept de diuser a e e cette collection sous licence Creative Commons. Les auteurs peuvent ainsi user plus libralement e de leur droit dauteur et orir davantage de libert aux lecteurs. e Probl`mes dapprofondissement e est un recueil de probl`mes corrigs. e e Les noncs sont le plus souvent des adaptations pour la premi`re anne de probl`mes de concours e e e e e portant sur des sujets classiques. Divers th`mes sont abords qui couvrent lessentiel du proe e gramme de MPSI. Les solutions mettent en uvre de faon non immdiates des lments de c e ee cours. Tous ces textes ont en commun de ncessiter une bonne maitrise des calculs, des concepts e et de leurs relations. Une attention particuli`re a t porte ` une redaction soigneuse et compl`te des corrigs. e ee e a e e Ltudiant ne doit pas se condamner ` trouver. La lecture de la solution, apr`s un temps de e a e recherche assez court, sav`rera plus rentable quun acharnement infructueux. Lire un texte e mathmatique correct (un corrig comme une copie dl`ve doit en tre un) aide ` simprgner e e ee e a e des conventions de rdaction, ` dgager les concepts et les relations. Ltudiant ne doit pas non e a e e plus se contenter de trouver. Il faut sobliger ` reprer les tournures qui cristallisent les ides, ` a e e a reproduire les prsentations qui valorisent la copie. Il faut rdiger ! e e Dautres ouvrages de la collection proposent des textes plus simples (Probl`mes basiques) ou e plus spciques (Probl`mes dautomne). e e

Enoncs e

Enoncs - Pb 1 : Exemples de produits innis. e

Probl`me 1 e
Soit (un )nN une suite de nombres rels non nuls, on lui associe la suite (pn )nN dnie e e par : pn = u 1 u 2 u n On dira que le produit pn converge lorsque la suite (pn )nN converge vers un nombre non nul. Sinon on dira que le produit diverge. Premi`re partie e 1. Montrer que si le produit pn converge alors la suite (un )nN converge vers 1. 2. Cas particulier : uk = 1 + 1 k

Simpliez pn . Le produit pn est-il divergent ou convergent ? 3. Cas particulier : uk = cos a 2k

avec a un nombre rel qui nest pas congru ` 0 modulo . e a Pour tout n N , calculer a pn sin n 2 En dduire que le produit pn converge. Donner la limite de (pn )nN e Deuxi`me partie e 1. Soit pn un produit associ ` une suite (un )nN qui converge vers 1. ea a. Montrer quil existe un entier n0 tel que un > 0 pour tout n n0 . b. On pose ici
n

Sn =
p=n0

ln up

Montrer que la convergence de la suite (Sn )nn0 est quivalente ` la convergence du e a produit pn . Lorsque la suite (Sn )nn0 converge vers l, donner la limite de la suite (pn )nN 2. Cas particulier : uk = k k , Sn = a. Montrer que pour tout p 3 : 0 < (ln(p + 1))2 (ln(p))2 2 ln p p
1

ln p p p=1

b. La suite (Sn )nN et le produit pn sont-ils divergent ou convergent ? 9

Enoncs - Pb 1 : Exemples de produits innis. e Troisi`me partie e 1. Cas particulier : uk = 1 + vk o` (vn )nN est une suite strictement dcroissante de rels u e e positifs qui converge vers 0. On pose
n

Sn =
p=1

vp

a. Montrer que ln(1 + x) < x pour tout x rel strictement positif. e b. Montrer que la convergence de la suite (Sn )nN entra celle du produit pn . ne 2. Dduire de la question 2. de la premi`re partie la limite de la suite (Sn )nN lorsque e e Sn = 3. Cas particulier : vk = a(2
k

1 p p=1

en reprenant les notations de la question 1 de cette partie. a. On suppose a 1, le produit pn est-il divergent ou convergent ? b. On suppose a ]0, 1[. i. Montrer que le produit pn converge. ii. Pour tout entier naturel non nul n, calculer (1 a2 )pn et en dduire la limite de e la suite (pn )nN

10

Enoncs - Pb 2 : Intgrales et formes linaires. e e e

Probl`me 2 e
On note E lespace vectoriel rel des polynmes de degr infrieur ou gal ` 3. e o e e e a Lorsque P E et t R, on dsignera par P (t) la valeur en t de la fonction relle associe ` P . e e e a ` tout rel on associe la forme linaire f dnie par : 1. A e e e P E : f (P ) = P () Montrer que les formes linaires fa , fb , fc , fd sont indpendantes si et seulement si les e e quatre rels a, b, c, d sont distincts. e 2. Montrer lexistence dune unique famille de rels e (x0 , x1 , x2 , x3 ) (` dterminer numriquement) telle que : a e e
1

P E :
0

P (t)dt = x0 P (0) + x1 P (1) + x2 P (2) + x3 P (3)

On pourra considrer en particulier les polynmes e o Q0 (t) =(t 1)(t 2)(t 3) Q1 (t) =(t 0)(t 2)(t 3) Q2 (t) =(t 0)(t 1)(t 3) Q3 (t) =(t 0)(t 1)(t 2) 3. Montrer lexistence dune unique famille de rels e (A, B, a, b) (` dterminer numriquement) telle que : a e e
1

P E :
0

P (t)dt = AP (a) + BP (b)

4. Montrer lexistence dune unique famille de rels e (u, v, w) (` dterminer numriquement) telle que : a e e
1

P E :
0

P (t)dt =

1 (P (u) + P (v) + P (w)) 3

11

Enoncs - Pb 3 : Rotations, angles dEuler, quaternions e

j1

k i1 k1 i j u

Fig. 1 Angles dEuler

Probl`me 3 e
Dans la premi`re partie, on introduit des angles dEuler pour reprer les rotations dun espace e e vectoriel euclidien orient de dimension 3. e Dans la suite on introduit les quaternions de Hamilton comme des matrices 22 ` coecients a complexes et diverses structures sur cet espace. On dnit en particulier un R espace vectoriel e euclidien de dimension 3 form de quaternions dits purs. Bien que, de nature matricielle par e dnition, les quaternions purs seront regards le plus souvent comme des vecteurs. On retrouve e e a ` la n les angles dEuler en termes de quaternions.

Partie I - Angles dEuler


Soit ( i , j , k ) et ( i1 , j1 , k1 ) deux bases orthonormes directes. On suppose que ( k , k1 ) est e libre. Il existe alors une unique rotation r telle que r( i ) = i1 , r( j ) = j1 , r( k ) = k1 On se propose de dnir les trois angles dEuler , , qui permettent de reprer ( i1 , j1 , k1 ) e e et de dcomposer r en trois rotations dangles , , autour daxes orients sexprimant tr`s e e e simplement avec ( i , j , k ). 12

Enoncs - Pb 3 : Rotations, angles dEuler, quaternions e Soit lcart angulaire entre k et k1 . Il existe un unique vecteur unitaire orthogonal ` k e u a et k1 tel que k1 = r, ( k ). On notera u
r1 = r, u

Soit lunique rel dans [0, 2[ tel que = r, ( i ). On notera e u k


r2 = r, k

u Soit lunique rel dans [0, 2[ tel que i1 = r , ( ). On notera e k


1

r3 = r , k
1

1. Calculer r3 r1 r2 ( i ) et r3 r1 r2 ( k ). En dduire que r3 r1 r2 = r. e 2. Soit un vecteur non nul, un rel quelconque et f une rotation. Montrer que w e
f r, f 1 = rf (), w w

3. On adopte les notations suivantes :


r = r2 = r, , r = r, , R = r, i k k

Que valent r ( i ) et r1 ( k ) ? Exprimer r1 ` laide de r et R . En dduire a e r = r R r Ecrire sous la forme dun produit, la matrice de r dans la base ( i , j , k ).

Partie II - Quaternions.
On appelle quaternion toute matrice complexe q= a b b a (a, b) C2

On note H lensemble des quaternions et on adopte les conventions suivantes : q N (q) = = a b b a

det(q) = |a|2 + |b|2

Un quaternion q est dit vectoriel ou pur si et seulement si q = q. On note E lensemble des quaternions purs, ils seront crits gnralement avec une `che. On e e e e pose en particulier 1H = 1 0 0 , i = 1 0 i i , j = 0 0 1 1 ,k = 0 i 0 0 i

1. Montrer que H est un sous-espace vectoriel du R espace vectoriel M2,2 (C), stable pour la multiplication matricielle. Vrier que (1H , i , j , k ) est une base de H et que ( i , j , k ) e est une base de E. Dans toute la suite, E est oriente par cette base, cest ` dire que ( i , j , k ) est directe. e a 13

Enoncs - Pb 3 : Rotations, angles dEuler, quaternions e 2. Vrier que qq = N (q)1H . Montrer que si q = 0H , la matrice q est inversible avec e q 1 = En dduire que q 1 H. e 3. Montrer que pour tout couple (q, q ) de quaternions : qq = q q
1 4. Soit q H, montrer 2 (q q) E. On posera

1 q N (q)

1 Vq = (q q) 2 On dit que Vq est la partie vectorielle de q. Vrier que e q= 1 tr(q)1H + Vq 2

Partie III - Multiplications


On dnit une application S de H dans H par : e q H : S(q) = q Soit q H, on dnit des applications gq et dq par : e q H : gq (q ) = qq , dq (q ) = q q Soit q H non nul, on dnit une application Cq par : e q H : Cq (q ) = qq q 1 1. Vrier que S, gq , dq , Cq sont des endomorphismes de H. Lorsque q est un quaternion non e nul, exprimer dq1 puis Cq ` laide du rel N (q) et des applications S et gq . a e 2. a. Calculer la matrice de gq dans la base (1H , i , j , k ) en fonction de , , , lorsque q= avec a = + i, b = + i. b. Calculer det gq . 3. Calculer det Cq . a b b a

Partie IV - Produit scalaire


Pour tout couple ( , ) de quaternions purs, on pose u v 1 ( / ) = tr( ) u v u v 2 1. Vrier que la formule du dessus dnit un produit scalaire sur E et que ( i , j , k ) est e e une base orthonorme directe. e 14

Enoncs - Pb 3 : Rotations, angles dEuler, quaternions e 2. Lespace vectoriel E est euclidien orient de dimension 3, le produit vectoriel dans cet e espace est not comme dhabitude. Montrer que e = = 1 ( ) , = ( / )1 + u v v u u v u v H u v u v V uv 2 Bien prendre garde ` ne pas confondre a le produit matriciel . u v a qui scrit aussi 1 ( ) ` laide doprations matricielles. v u e le produit vectoriel u v e 2 u v a / ) qui scrit 1 tr( ) ` laide doprations matricielles. u v e le produit scalaire ( u v e 2

Parties V - Rotations
Dans cette partie, q dsigne un quaternion non nul avec e q= a b b a

avec a = + i, b = + i. Lapplication Cq est dnie dans la partie III. e 1. a. Montrer que E est stable par Cq . On notera cq lapplication de E dans E qui coincide avec Cq . b. Montrer que det cq = 1. c. Montrer que cq est une rotation. a. Calculer (cq ( i )/ i ), (cq ( j )/ j ), (cq ( k )/ k ) en fonction de , , , . b. En dduire tr cq . Dans quel cas a-t-on tr cq = 3 ? e

2.

On suppose dans toute la suite que q Vect 1H cest ` dire que V q = OE . a 3. Montrer que cq nest pas lidentit et que cq ( V q ) = V q . e 4. Montrer que pour tout E : u 4 (cq cq 1 )( ) = u V q u N (q) En dduire que cq est un demi tour si et seulement si q E. Quel est alors son axe ? e On suppose dans toute la suite que q Vect 1H et q E. Il existe alors un unique ], [ tel que cq = r, . V
q

5.

a. Quelle est la matrice de cq (en fonction de dans une base orthonorme directe de la e , , 1 )? forme ( a b V q
N(V q)

b. Montrer que cos = 2 V q N (q)


2

, sin =

2 V q N (q) V q . Cette expression

c. En dduire lexpression de tan en fonction de et de e 2 dtermine -t-elle un unique dans ] , [ ? e 15

Enoncs - Pb 3 : Rotations, angles dEuler, quaternions e

Partie VI - Quaternions et angles dEuler


1. Soit ]0, [, prciser les lments gomtriques de cq pour les deux q suivants : e ee e e q= ei 0 0 ei ,q= cos i sin i sin cos

2. Soit , , trois nombres rels, calculer le produit matriciel e ei 2 0

0 e
i 2

cos 2 i sin 2

i sin 2 cos 2

ei 2 0

0 e
i 2

3. Soit q un quaternion de norme 1 qui nest ni rel ni vectoriel (pur), expliquer comment se e calculent les angles dEuler , , qui permettent de dcomposer la rotation cq . e

16

Enoncs - Pb 4 : Transformation de Legendre : continuit, drivablit, borne suprieure. e e e e e

Probl`me 4 e
Ce probl`me porte sur la transforme de Legendre dune fonction. e e La transformation de Legendre est un procd qui ` une fonction f dnie sur une partie X e e a e de R associe une fonction f dnie sur une partie X de R. Il est ` noter que f doit vrier e a e certaines proprits pour que f soit bien dnie cest ` dire X non vide. ee e a Les dnitions prcises sont donnes dans la partie Prliminaires qui ne comporte pas de quese e e e tions. Cette partie introduit aussi des conventions de notation qui pourront tre utilises dans e e tout le probl`me. e La partie III est indpendante du reste, elle prpare la partie IV. e e Prliminaires. e ` A chaque couple (m, f ) o` f est une fonction ` valeurs relles dnie dans une partie non u a e e vide X de R et m un nombre rel, on associe une fonction hm dans X en posant e x X, hm (x) = mx f (x)

On appelle X lensemble des m tels que hm soit majore. Lorsque X est non vide, on dnit e e la fonction f dans X en posant m X , f (m) = sup hm
X

Au couple (X, f ) on associe alors le couple (X , f ). Pour tout rel u, `n note ku la fonction e a associe ` (u, f ) comme hm ltait ` (m, f ) cest ` dire e a e a a u R, x X ku (x) = ux f (x)

et on notera (X , f ) le couple ((X ) , (f ) ). De mme, on notera lp la fonction associe au e e couple (p, f ) pour un nombre p rel et (X , f ) le couple ((X ) , (f ) ). e Partie I. Exemples. Une ingalit gnrale. e e e e Pour chacun des exemples suivants, on pourra saider des drives et des tableaux de variations e e des fonctions hm et ku . On justiera soigneusement tous les rsultats. e 1. Ici X = R et f (x) = Kx2 o` K est un nombre rel non nul. u e Dterminer (X , f ). Pour quels K a-t-on f = f ? e 2. Ici X = [a, b] et f est continue sur [a, b]. Dterminer X . Montrer que pour tout m dans X , il existe x0 dans [a, b] tel que f (m) = e mx0 f (x0 ). 3. Ici X = R et f (x) = 1 x3 . 3 Dterminer X . e 4. Ici X = R et f (x) = ex . Dterminer (X , f ) puis (X , f ). e 5. Soit et deux rels xs. On consid`re X = R et la fonction ane e e e f (x) = x + Dterminer (X , f ) puis (X , f ). e 17

Enoncs - Pb 4 : Transformation de Legendre : continuit, drivablit, borne suprieure. e e e e e 6. On suppose que X est lensemble ni {1, 0, 1, 2} et que f est dnie par e f (1) = 1, f (0) = 0, f (1) = 2, f (2) = 1

Dterminer (X , f ) puis (X , f ) et les reprsenter graphiquement. e e 7. Montrer que x X, m X f (x) + f (m) mx. Partie II. Un autre exemple. Ingalit de Hlder. e e o Dans cette partie, p est un rel strictement suprieur ` 1, q est dni par : e e a e 1 1 + =1 p q La fonction up est dnie dans X =]0, +[ par e up (x) = xp p

1. Prciser X et u . e p 2. a. Montrer que, pour tout couple (x, y) de rels strictement positifs : e xy et que pour tous rel > 0 on a aussi : e xy yq p xp + q p q xp yq + p q

b. Soit n un entier naturel non nul et (x1 , , xn ), (y1 , , yn ) deux n-uplets de rels e strictement positifs. Justier pour tout rel > 0, lingalit : e e e p xi yi p i=1 3.
n n

xp i
i=1

1 + q q

n q yi i=1

a. Soient a et b deux rels strictement positifs. Dterminer le minimum de la fonction v e e dnie pour tout x > 0 par : e xp b v(x) = a + q p qx b. En dduire lingalit de Hlder pour tout couple de n-uplets de rels strictement e e e o e positifs
n n
1 p

n q yi i=1

1 q

xi yi
i=1 i=1

xp i

Partie III. Espaces N et N0 de fonctions convexes. Dans cette partie, N dsigne lensemble des fonctions C 2 de R+ dans R+ , telles que f (0) = 0 e et f (x) > 0, f (x) > 0 pour x > 0 . e e e On notera N0 la partie de N forme par les fonctions f telles que f (0) = 0 et dont la drive diverge vers + en +. On citera prcisment les rsultats de cours utiliss. On se propose dtablir, pour une fonction e e e e e f N lquivalence entre les deux proprits f + et f (x) + au voisinage de +. e ee x 18

Enoncs - Pb 4 : Transformation de Legendre : continuit, drivablit, borne suprieure. e e e e e 1. Montrer que


f (x) x

+ entra f +. ne
f (x) x

2. Soit x > 0, en considrant f (2x) f (x), montrer que xf (x) f (2x). e 3. Montrer que f + entra ne +.

Partie IV. Transforme de Legendre dans N0 . e Dans cette partie f dsigne une fonction dans N0 . e 1. Soit m R+ , montrer que hm (dnie ` partir de f comme dans le prliminaire) admet un e a e maximum quelle atteint en un unique rel positif xm . On notera la fonction qui ` tout e a m 0 associe xm . 2. a. Montrer que f est une bijection de R+ dans R+ . b. Exprimer ` laide de f , en dduire que est continue strictement croissante avec a e (0) = 0 et en +. 3. Montrer que f est C 2 , prciser les drives premi`re et seconde de f . e e e e 4. Montrer que f N0 et que f = f 5. a. Soit f et g dans N0 telles que f g, montrer que g f b. Rsoudre lquation f = f dans N0 . e e Partie V. Un rsultat gnral. e e e On revient au cas gnral et on suppose X non vide. e e 1. Montrer que x X, 2. f (x) sup {mx f (m), m X }. a. Soit m1 , m2 deux rels tels que m1 < m2 . Vrier que m [m1 , m2 ] si et seulement e e si il existe t [0, 1] tel que m = tm1 + (1 t)m2 . b. Montrer que si m1 et m2 sont dans X avec m1 < m2 alors [m1 , m2 ] X c. Quen dduit-on pour X ? e 3. a. Montrer que X X et que x X, b. A-t-on toujours X = X ? c. Montrer que X = X et f = f . f (x) f (x).

19

Enoncs - Pb 5 : Irrationnalit de e. Gnralisation de la formule du binme avec un lment e e e e o ee nilpotent.

Probl`me 5 e
Dans tout le probl`me, on confondra un polynme ` coecients rels avec la fonction polye o a e nomiale dnie dans R qui lui est associe. e e Partie I. Irrationnalit de em e Dans cette partie, on admet que pour tout entier naturel n, il existe des polynmes An et Bn o a ` coecients dans Z et de degr infrieur ou gal ` n dnissant une fonction fn e e e a e x R : fn (x) = An (x) + Bn (x)ex telle que : k {0, , n} x R
(k) : fn (0) = 0 (n+1) : fn (x) = xn ex

1. Calculer des polynmes An et Bn satisfaisant aux conditions pour n gal ` 1 ou 2. o e a 2. a. Calculer, ` laide de la formule de Leibniz, la drive n + 1 `me de la fonction a e e e x x2n+1 ex (n + 1)!

Montrer que le coecient de xn ex est un entier ` prciser. a e b. Montrer que : x2n+1 ex x > 0 : 0 < fn (x) < (n + 1)! (on pourra utiliser des tableaux de variations et des drivations successives) e 3. Soit m un entier naturel non nul, on suppose quil existe un entier q non nul tel que qem soit entier. Montrer que pour tous les entiers n : qfn (m) Z En dduire une contradiction et conclure. e Partie II. Gnralisation de la formule du binme. e e o Pour tout couple (m, k) Z N, on dnit des nombres cm,k par les relations e m Z : cm,0 = 1 k 1 : c0,k = 0 et k 1 : cm,k = cm1,k + cm1,k1 1. Former le tableau des cm,k avec m comme numro de la ligne et k comme numro de la e e colonne pour m entre 4 et +4 et k entre 0 et 4. Formulez des remarques intressantes relativement ` ces coecients. e a 2. On consid`re un anneau A dont le neutre additif est not 0A et le neutre multiplicatif e e (lment unit) est not i. Cet anneau A contient un lment d (dit nilpotent) pour lequel ee e e ee il existe un entier n 1 tel que dn+1 = 0A 20

Enoncs - Pb 5 : Irrationnalit de e. Gnralisation de la formule du binme avec un lment e e e e o ee nilpotent. a. Calculer

c1,k dk
k=0

(i + d)

En dduire que i + d est un lment inversible de A. e ee b. Montrer que pour tout m Z :


n

(i + d)m =
k=0

cm,k dk

Partie III. Existence de An et Bn . On dsigne par Rn [X] lespace des polynmes ` coecients rels et dont le degr est infrieur e o a e e e ou gal ` n. On consid`re lanneau des endomorphismes de Rn [X]. On rappelle que, dans cet e a e anneau, la loi multiplicative est la composition des endomorphismes. Lunit est lapplication linaire identit note ici i : e e e e i: Rn [X] Rn [X] P P

Llment nilpotent considr est la drivation note ici d : ee ee e e d: Rn [X] P Rn [X] P

1. Montrer que i + d est un automorphisme de Rn [X]. 2. Pour tout entier n on pose : Bn = (i + d)(n+1) (X n ) et on dnit la fonction n par : e x R : n (x) = Bn (x)ex a. Prciser, ` laide dune puissance de i + d la drive m i`me de n pour un entier e a e e e naturel m quelconque. Que se passe-t-il pour m = n + 1 ? b. Pour m {0, , n}, montrer que n (0) Z m! Conclure.
(m)

21

Enoncs - Pb 6 : Nombres complexes et fonctions usuelles : autour de la formule de Machin. e

Probl`me 6 e
Lobjet de ce probl`me est de prsenter la formule de Machin e e 1 1 = 4 arctan arctan 4 5 239 On obtiendra diverses formules faisant intervenir des arctan dinverses de nombres. En particulier, une formule du type Machin est de la forme m arctan avec m, x, y entiers. 1 1 + arctan x y 4
1

et quelques rsultats autour. e

Partie I. Introduction. Exemples


Pour tout entier naturel non nul m, on appelle Cm lensemble des couples de rels non nuls e (x, y) tels que 1 1 m arctan + arctan () x y 4
1 1. Pour x rel non nul, on pose = arctan x . Exprimer x + i ` laide de et de lexponentielle e a complexe. Donner un argument de x + i.

2. Montrer que 3. Montrer que 1 1 = 2 arctan arctan 4 2 7

(x, y) Cm (x + i)m (y + i)ei 4 R

4. Formule de Dodgson2 Soit p, q, r trois rels positifs tels que 1 + p2 = qr. Montrer que e arctan 1 1 1 = arctan + arctan p p+r p+q

Partie II. Etude dune famille de polynmes o


e Pour x rel et m entier, on note respectivement Am (x) la partie relle et Bm (x) la partie e imaginaire de de (x + i)m . On dnit galement Fm par : e e Fm (x) = Am (x) + Bm (x) Am (x) Bm (x)

1. Calculer Ak (x) et Bk (x) pour k {1, 2, 3, 4}. Prsenter les rsultats dans un tableau. e e 2. Montrer que Am+1 (x) Bm+1 (x) = xAm (x) Bm (x) = Am (x) + xBm (x)

1 John Machin (1680 - 1752). Grce ` cette formule, en 1706, Machin est le premier mathmaticien ` calculer a a e a 100 dcimales de p. e 2 plus connu pour son oeuvre littraire sous le pseudonyme Lewis Carrol e

22

Enoncs - Pb 6 : Nombres complexes et fonctions usuelles : autour de la formule de Machin. e Am (x) Bm (x) = (1)m Am (x)

= (1)m Bm (x)

Am (x) = mAm1 (x) Bm (x) = mBm1 (x) (Am et Bm sont les drives de Am et Bm ) e e si m et pair
m 1 (1) 2 xm Am ( ) x m 1 Bm (x) = (1) 2 xm Bm ( ) x

Am (x)

si m et impair Am (x) Bm (x) = 1 xm Bm ( ) x m1 1 = (1) 2 xm Am ( ) x (1)


m1 2

3. Pour un entier m x, dterminer les solutions de Am (x) = Bm (x). e e 4. Montrer que la fonction Fm est dcroissante dans chaque intervalle de son domaine de e dnition. Quelle est la limite de Fm en + et en ? e

Partie III. Les formules du type Machin


On se propose de trouver toutes les formules du type Machin pour m entier entre 1 et 4. 1. Montrer que (x, y) Cm si et seulement si Am (x) = Bm (x) y = Fm (x) 2. Les calculs numriques des Fm (x) conduisent aux tableaux suivants e x F1 (x) F2 (x) F3 (x) F4 (x) 1 -1. 0. 1. 2 3. -7. -1.444 -.5484 8 1.286 1.681 2.286 3.376 3 2. 7. -5.500 -1.824 9 1.250 1.581 2.052 2.802 4 1.667 3.286 19.80 -5.076 10 1.222 1.506 1.891 2.455 5 1.500 2.429 5.111 -239.0 6 1.400 2.043 3.352 7.971 7 1.333 1.824 2.659 4.518

x F1 (x) F2 (x) F3 (x) F4 (x)

11 1.200 1.449 1.774 2.222

12 1.182 1.403 1.684 2.055

13 1.167 1.366 1.613 1.929

` A partir de ces tableaux, former (en justiant soigneusement) toutes les formules du type Machin. 23

Enoncs - Pb 6 : Nombres complexes et fonctions usuelles : autour de la formule de Machin. e

Partie IV. Algorithme de Lehmer.


Soit z0 un nombre complexe dont la partie imaginaire est strictement positive. On dnit des e e complexes z1 , z2 , par rcurrence en posant zk+1 = zk (E( Re(zk ) ) + i) lorsque Im(zk ) = 0 Im(zk )

La notation E dsignant la fonction partie enti`re. Le procd sarrte si nombre rel est obtenu. e e e e e e On pourra noter Re(zk ) ) nk = E( Im(zk ) 1. Faire les calculs dans le cas particulier z0 = 17 + 7i. 2. Montrer que la suite forme par les parties imaginaires des zk est strictement dcroissante e e et ` valeurs positives. a 3. Ecrire quelques lignes de code Maple implmentant cet algorithme. e 4. On suppose que z0 = a + ib avec a et b entiers strictement positifs. a. Montrer quil existe un k tel que zk est rel. e b. En dduire que e b 1 1 1 arctan( ) arctan( ) + arctan( ) + + arctan( ) () a n0 n1 nk1
1 On remplacera arctan( nk ) par 2

lorsque nk = 0.

24

Enoncs - Pb 7 : Des suites de moyennes dnies par rcurrence. e e e

Probl`me 7 e
1. On consid`re trois nombres rels a, b, c quelconques. e e a. Montrer que a3 + b3 + c3 3abc = (a + b + c) 1 (a b)2 + (b c)2 + (c a)2 2

b. En dduire que, si a, b, c sont trois rels strictement positifs, ils vrient e e e a + b + c 3(abc) 3 1 1 1 1 + + 3(abc) 3 a b c 2. On consid`re les suites (an )nN , (bn )nN , (cn )nN dtermines par la donne de leurs pree e e e miers termes a0 > 0, b0 > 0, c0 > 0 et par les relations de rcurrence e an+1 bn+1 3 cn+1 = = = an + bn + cn 3 (an bn cn )1/3 1 1 1 + + an bn cn
1

Justier que les suites sont bien dnies et montrer que e n 1, cn bn an

3. Dmontrer que les suites (an )nN et (cn )nN sont adjacentes. Que peut-on dire de (bn )nN ? e 4. ne a. Montrer que a1 c1 = b2 entra an cn = b2 pour tous les n. Que peut-on en conclure 1 1 pour la limite des trois suites ? b. Montrer que si a1 c1 = b2 , la suite (bn )nN est aussi monotone. 1

25

Enoncs - Pb 8 : Plans mdiateur, bissecteur et hauteur dun triangle dans lespace. e e

Probl`me 8 e
On se place dans lespace euclidien usuel muni dun rep`re x dorigine O. Ce rep`re aide e e e pour la visualisation des gures mais aucun calcul de coordonnes nest ncessaire. Tous les plans e e et droites considrs contiennent le point O. On adopte les notations suivantes : ee D( ) est la droite de vecteur directeur . u u , ) est le plan contenant et . P( u v v P( ) est le plan orthogonal ` . u a u Les notations utilises pour dsigner les points et les vecteurs respecteront les conventions suie e vantes : M et un point et un vecteur tels que OM = m m. un vecteur tels que = . A et un point et a OA a U et un point et un vecteur tels que OU = . u u On se donne trois vecteurs , , non nuls et non coplanaires. Pris deux ` deux, ces vecteurs u v w a ne sont ni colinaires ni orthogonaux. Lobjet du probl`me est dtudier (` laide de produits e e e a vectoriels) pour un triangle de lespace form par les trois droites D( ), D( b ), D( ) des e a c congurations classiques dans le plan. 1. Prliminaires e a. On consid`re trois vecteurs , b , non nuls, non colinaires et tels que e a c e =, a b 0 Montrer que + + = a b c 0

P( ) P( b ) P( ) = D( b ) a c a

b. Former lquation normale dun plan P( , b ) et prciser la distance dun point M ` e a e a ce plan. (question de cours, la dmonstration nest pas demande) e e 2. Plans hauteurs. Le plan hauteur issu de est par dnition orthogonal ` P( , ) et contient D( ). u e a v w u . a. Former un vecteur orthogonal au plan hauteur issu de u b. Montrer lidentit (dite de Jacobi) : e ( ) + ( ) + ( ) = 0 u v w v w u w u v En dduire que lintersection des trois plans hauteurs est une droite. Cette droite e est note Dh . e 3. Plans bissecteurs a. Montrer que lensemble des points quidistants de deux plans P( , ) et P( , ) e u v w u est la runion de deux plans. e b. Former un vecteur orthogonal pour chacun de ces deux plans. Parmi ces deux vecteurs, un seul (not ) est tel que . et . soient de signes e a a v a w . opposs. Prciser ce vecteur a e e On dit que P( ) est le plan bissecteur intrieur issu de . a e u et ) sobtiennent par per Les deux autres plans bissecteurs intrieurs (issus de v e w mutation des lettres. 26

Enoncs - Pb 8 : Plans mdiateur, bissecteur et hauteur dun triangle dans lespace. e e

Fig. 2 plan hauteur c. Prciser b et . Montrer que lintersection des trois plans est une droite. Cette droite e c est note Db . e 4. Plans mdiateurs e a. Montrer quun point M est quidistant des droites D( ) et D( ) si et seulement si e v w ) et P( ). il est quidistant des plans P( v e w b. Montrer que lensemble des points quidistants des deux droites D( ) et D( ) est e v w la runion de deux plans. e c. Former un vecteur orthogonal pour chacun de ces deux plans. Parmi ces deux vecteurs, un seul (not ) est tel que . et . soient de signes e a a v a w . opposs. Prciser ce vecteur a e e On dit que P( ) est le plan mdiateur intrieur issu de . a e e u et ) sobtiennent par per Les deux autres plans mdiateurs intrieurs (issus de v e e w mutation des lettres. d. Prciser b et . Montrer que lintersection des trois plans est une droite. Cette droite e c est note Dm . e 5. Prciser pour chacun des trois vecteurs suivants e u v v w w u + + u v v w w u + + v w u w u v u v w u v v w w u . + . + . u v v w w u la droite parmi Db , Dm , Dh dont il est un vecteur directeur.

27

Enoncs - Pb 8 : Plans mdiateur, bissecteur et hauteur dun triangle dans lespace. e e

Fig. 3 plan bissecteur

28

Enoncs - Pb 8 : Plans mdiateur, bissecteur et hauteur dun triangle dans lespace. e e

Fig. 4 plan mdiateur e

29

Enoncs - Pb 9 : Disque elliptique comme union de cercles. e

Probl`me 9 e
Un plan P est muni dun rep`re orthonorm. Les fonctions coordonnes relatives ` ce rep`re e e e a e sont notes x et y, laxe complexe dun point est galement relative ` ce rep`re. e e a e Lobjet de ce probl`me est de prciser, pour des nombres complexes a, b, c xs (a = b), lensemble e e e (not D) des points du plan dont laxe complexe est de la forme e a|z1 |2 + b|z2 |2 + cz1 z2 pour des nombres complexes z1 et z2 tels que |z1 |2 + |z2 |2 = 1 1. Soit F et F deux points distincts du plan, a un rel tel que a > F F , u et v deux nombres e complexes avec u = 0. On note C lensemble des points M du plan tels que F M + F M = 2a On note S lapplication de P dans P qui ` un point M daxe z associe le point S(M ) a daxe uz + v. a. Quelle est la nature de lensemble C ? Prciser la distance entre le centre et les sommets. e b. Soit C limage de C par S, montrer que C est une ellipse dont on prcisera les foyers e ainsi que la distance entre le centre et les sommets.

Fig. 5 Trac de quelques C pour = 1. e 2. Dans cette question est un nombre rel strictement positif x et C (avec ]0, 1[) est e e le cercle dni par : e axe du centre : 1 + 2 a. Former un quation de C . e b. Montrer que lensemble (not E ) des points du plan par lesquels passe exactement e un cercle C est une conique dont on donnera une quation rduite. Prciser le centre, e e e laxe focal et les foyers. c. Quel est lensemble (not ) des points par lesquels passe au moins un cercle C ? e 3. Soit S la fonction du plan dans lui mme qui ` un point daxe z associe le point daxe e a 2 a+b z ab ab 30 rayon : 2

Enoncs - Pb 9 : Disque elliptique comme union de cercles. e a. Montrer que S est bijective. Prciser la bijection rciproque note S . e e e b. Quelle est limage par S dun cercle de centre C et de rayon r ? c. Soit r ]0, 1[, montrer que limage par S dun cercle vriant e axe du centre : ar2 + b(1 r2 ) rayon : |c|r 1 r2

est un cercle C pour des et ` prciser en fonction de a, b, c. a e 4. Soit r ]0, 1[ x, montrer que lensemble des points daxe e a|z1 |2 + b|z2 |2 + cz1 z2 avec |z1 |2 + |z2 |2 = 1 et |z1 | = r

est un cercle. Prciser son centre et son rayon. e 5. Montrer que D est limage par S dun ensemble E pour un ` exprimer en fonction de a a, b, c. Pour ce , quels sont les foyers de S (E ) ?

31

Enoncs - Pb 10 : Ensembles : thor`me de Sperner. e e e

Probl`me 10 e
Dans tout le probl`me, E dsigne un ensemble ` n lments. e e a ee Partie I. Prliminaire e Pour un entier n non nul, on note (n) = max( ` 1. A quel coecient du binme est gal (n) ? o e
1 2. Montrer que (2n 1) = 2 (2n) n 0

n 1

, ,

n n

Partie II. Ensembles de Sperner On dit quune partie S de P(E) est de Sperner lorsque (A, B) S 2 : A = B A B et B A 1. Montrer que si p est un entier entre 1 et Card(E) 1, lensemble Pp des parties de E ` p a lments est de Sperner. ee 2. Dans cette question, E = {1, . . . , n} et a1 , . . . , an sont des rels strictement positifs (non e ncessairement distincts). On dnit une application f de P(E) dans R en posant e e A P(E) : f (A) =
iA

ai

Montrer que pour tout rel t, f 1 ({t}) est une partie de Sperner lorsquelle nest pas vide. e 3. Dterminer le nombre de parties de Sperner ` deux lments S = {A1 , A2 }. e a ee Partie III. Cha nes On appelle cha de E une famille (C1 , C2 , . . . , Cn ) de parties de E telle que ne i {1, . . . , n} : Card(Ci ) = i i {1, . . . , n 1} : Ci Ci+1 Soit A est une partie xe ` k lment de E. Calculer le nombre de chaines (C1 , C2 , . . . , Cn ) e a ee telles que Ck = A. Partie IV. Thor`me de Sperner e e 1. Soit (C1 , C2 , . . . , Cn ) une chaine. Montrer que lintersection dune partie de Sperner avec {C1 , C2 , . . . , Cn } contient au plus un lment. ee 2. En considrant toutes les cha e nes (C1 , C2 , . . . , Cn ) telles que {C1 , C2 , . . . , Cn } S = montrer que 1
AS n Card A

3. En dduire le thor`me de Sperner cest ` dire e e e a CardS (n)

32

Enoncs - Pb 11 : Famille de suites dnie par rcurrence, points xes stables et instables. e e e

Probl`me 11 e
Soit a ]0, 1[, la fonction fa est dnie dans [0, +[ par fa (x) = ax . On consid`re des suites e e dnies par rcurrence par x0 0 et xn+1 = fa (xn ). e e Dans le probl`me, on pourra noter f au lieu de fa pour allger lcriture. e e e PARTIE I 1. a. Montrer que fa est strictement dcroissante et admet un unique point xe not c. e e Comme c dpend de a, on pourra le noter ca en cas dambigu e. Que peut-on en e t conclure pour les suites extraites (x2n )nN et (x2n+1 )nN ? b. Montrer que c est un point xe de f f , exprimer (f f ) (c) en fonction de f (c). a. Montrer, en utilisant la stricte dcroissance de f que e 1 1 1 < e |f (c)| > 1 ln a b. Que peut-on dire du point xe c de fa lorsque a < ee ou a > ee ? PARTIE II On pose g(x) = f f (x) x et h(x) = x + f (x) pour tout x 0. 1. a. Montrer que pour tout x 0 g (x) = (ln a)2 ax+f (x) 1 b. Montrer que h est strictement croissante que h (0) = 1 + ln a, c. d. a. b. g (0) = (ln a)2 a 1, g(0) = a

2.

2.

Prciser les limites en + de h , g, g . e Comparer les variations de g avec celles de h. Montrer que, si a > 1 , h reste strictement positif dans [0, +[. e Montrer que, si a 1 , h sannule dans [0, +[ seulement au point e b=
1 ln(ln a ) 1 ln( a )

c. Montrer que a < ee entra g (b) > 0, et que a > ee entra g (b) < 0. ne ne 1 3. On suppose ici a > e . Prciser le tableau des signes de g. En dduire le comportement de e e (xn )nN suivant la valeur de x0 . 4. On suppose ici ee < a 1 . Prciser le tableau des signes de g. En dduire le comportement e e e de (xn )nN suivant la valeur de x0 . 5. On suppose a < ee . a. Montrer que g (0) < 0 et g (b) > 0. En dduire la forme du tableau de variations de e g. Combien g peut-elle avoir de z ros ? e b. Montrer que g sannule exactement trois fois en des points c1 , c, c2 avec c1 < c < c2 . Montrer que f (c1 ) = c2 et que f (c2 ) = c1 . c. Prciser le comportement de (xn )nN suivant la valeur de x0 . e 33

Enoncs - Pb 12 : Un probl`me danalyse ` la Cauchy sur un ensemble de rels dni ` partir e e a e e a dune fonction.

Probl`me 12 e
Soit g une application continue dans un segment rel [a, b] et ` valeurs relles. On se propose e a e dtudier lensemble e E = {x ]a, b[ tq ]x, b] tq g(x) < g()} . Partie I 1. Dterminer E dans les cas suivants e a. La fonction g est strictement croissante, b. a = 1, b = 1 et g(t) = 1 t2 . c. a = 0, b = 2 et g(t) = sin t. d. a = 1, b = 1 et g(t) = t4 + t2 . 2. Dessiner le graphe dune fonction g telle que E contienne un maximum local. 3. En gnral, une fonction strictement dcroissante dans ]a, b lest-elle encore dans [a, b] ? Et e e e si on suppose de plus la continuit en a ? e 4. a. Montrer que E est vide si et seulement si g est dcroissante dans [a, b]. e b. Soit M = sup[a,b] (g), montrer que E =]a, b[ entra M {g(a), g(b)}. Illustrer les ne deux possibilits en dessinant un graphe. La rciproque est-elle vraie ? e e Partie II La fonction est dnie dans [a, b] par e (x) = sup g.
[x,b]

1. Montrer que est monotone et continue, prciser son sens de variation. e 2. a. Caractriser les lments de E ` laide des fonctions et g. e ee a b. Montrer que si x E, il existe > 0 tel que ]x , x + [ E. 3. Si x E, on note s(x) = inf { ]x, b] tq g(x) < g()} a. Montrer que s(x) > x entraine s(x) [x, b[ et g(y) g(x) pour tout y dans [x, s(x)[. b. Montrer que g(s(x)) = g(x) et que [x, s(x)[ E

34

Enoncs - Pb 13 : Inversibles dans un anneau quadratique. e

Probl`me 13 e
Soit d un nombre entier strictement positif dont la racine carre est irrationnelle. On pose e Z[ d] = {a + b d, (a, b) Z2 } On utilisera librement le fait que pour tout lment z Z[ d] il existe un unique couple (a, b) ee dentiers tels que z =a+b d On dnit des applications c et N dans Z[ d] en posant e (a, b) Z : c(a + b d) = a b d (a, b) Z : N (a + b d) = a2 db2 On dmontre dans la partie I que Z[ d] est un sous-anneau de R, on dsigne par I lensemble e e des inversibles de ce sous-anneau. On suppose que d est tel que I ne se rduise pas ` {1, 1}. On ne cherchera pas ici ` savoir pour e a a quel d cela se produit. On introduit aussi les parties I++ , I+ , I+ , I dnies par e z I++ z I, z > 0, c(z) > 0 z I+ z I, z > 0, c(z) < 0 z I+ z I, z < 0, c(z) > 0 z I z I, z < 0, c(z) < 0 Partie I 1. Montrer que Z[ d] est un sous anneau de R 2. Montrer que c est un automorphisme de lanneau Z[ d]

3. Montrer que N (zz ) = N (z)N (z ) pour tous les z,z dans Z[ d] 4. Montrer quun entier z de Z[ d] est inversible si et seulement si N (z) {1, 1} Partie II 1. Soit z et z dans lun des ensembles I++ , I+ , I+ , I . Prciser parmi I++ , I+ , I+ , e 1 I , lensemble contenant z et zz . Prsenter les rsultats dans un tableau. e e 2. Montrer que I++ I+ est un sous groupe de I pour la multiplication. On le note I+ . Montrer que I++ est un sous-groupe de I+ . 3. Montrer que I++ ne se rduit pas ` {1}. e a Partie III On admet que les points de coordonnes (x, y) vriant e e x2 dy 2 {1, 1} 35

Enoncs - Pb 13 : Inversibles dans un anneau quadratique. e forment les quatre branches de deux hyperboles dasymptotes dquations e x dy = 0, x + dy = 0 On note H lensemble de ces points. ` e e A chaque lment x + dy de I on associe le point de coordonnes (x, y) sur H. Prciser sur ee un dessin les branches sur lesquelles sont situs les points associs ` I++ , I+ , I+ , I e e a Partie IV 1. Soit x et y deux entiers et z = x + y d, montrer que z I++ z I++ et z > 1 2. On dnit une partie X de R par e X= z + c(z) tq z I++ et z > 1 2 x>0 y>0

Montrer que X admet un plus petit lment. ee 3. Montrer que {z I++ tq z > 1} admet un plus petit lment. ee Dans toute la suite, on notera m cet entier. Partie V 1. Montrer que I++ est engendr par m e 2. On suppose que I+ contient un entier z. a. Montrer que z 2 est dans I++ . b. Montrer quil existe w dans I+ tel que m = w2 . c. Montrer que I+ est engendr par w. e Partie VI e 1. Dans cette question d = 2, montrer que I++ est engendr par 3+2 2 et que I+ est engendr e par 1 + 2. 2. Dans cette question d = 3. a. Montrer quil nexiste pas dentiers x, y tels que x2 3y 2 = 1 On pourra considrer les restes dans la division par 4. e b. Montrer que I++ est engendr par 2 + 3. e c. Dcrire, ` laide dune suite dnie par rcurrence lensemble des couples dentiers e a e e naturels tels que x2 3y 2 = 1

36

Enoncs - Pb 14 : Familles de sous-espaces de mme dimension. e e

Probl`me 14 e
Dans tout le probl`me, K est un sous-corps de C. On utilisera en particulier que K nest pas e un ensemble ni. Tous les espaces vectoriels considrs sont des K espaces vectoriels de dimension nie. ee Lobjet du probl`me est dtablir des proprits des familles de sous-espaces vectoriels de mme e e ee e dimension. Si A et B sont deux sous-espaces vectoriels dun K-espace vectoriel E, on dira que A est un hyperplan de B si et seulement si A B et dim A = dim B 1. Seule cette dnition est utilise e e dans le probl`me, aucune interprtation en terme de forme linaire nest ncessaire. e e e e La partie III est indpendante des deux premi`res. e e

Partie I.
Dans cette partie, E dsigne un espace vectoriel x. e e 1. (question de cours) Soit A et B deux sous-espaces vectoriels de E. a. Montrer que lapplication : : est linaire. Prciser son image. e e b. Montrer, en prcisant lisomorphisme, que ker est isomorphe ` A B. e a c. En dduire e dim(A + B) = dim A + dim B dim(A B) 2. Soit A un sous-espace vectoriel de E et x un vecteur de E qui nappartient pas ` A. Montrer a que dim(Vect(A {x})) = dim A + 1 3. Soit A et B deux hyperplans distincts de E. Montrer que A B est un hyperplan de B. 4. Soit A un sous-espace vectoriel de E qui nest pas E. Montrer quil existe un hyperplan contenant A. AB E (a, b) a + b

Partie II. Supplmentaires dun sous-espace donn. e e


Soit A et B deux sous-espaces supplmentaires dun espace vectoriel E. e On se propose de montrer que lensemble des supplmentaires de B est en bijection avec lene semble L(A, B) des applications linaires de A dans B. e 1. Soit f L(A, B). Montrer que lapplication f : AE a a + f (a)

est linaire et injective. Que peut-on en dduire pour dim(Im f ) ? Dans toute la suite, on e e notera : f L(A, B) : Af = Im f 2. Montrer que pour tout f L(A, B), Af est un supplmentaire de B. e 37

Enoncs - Pb 14 : Familles de sous-espaces de mme dimension. e e 3. Montrer que si f et g sont deux applications linaires de A vers B : e Af = Ag f = g 4. Soit A1 un supplmentaire quelconque de B. On note : e pA1 ,B la projection sur A1 paralllement ` B e a pB,A1 la projection sur B paralllement ` A1 e a Soit f la restriction ` A de pB,A1 . Montrer que a Af = A1 5. Conclure en prcisant le rle des questions prcdentes. e o e e 6. Montrer que lensemble des hyperplans dun K-espace vectoriel E est inni. 7. (hors bar`me - hors programme) Dans le cas o` le corps K est ni de cardinal q et E de e u dimension n, montrer que E est ni. Combien a-t-il dlments ? ee Pourquoi le rsultat qui est lobjectif de la partie III est-il faux dans ce cas ? Combien un e sous-espace vectoriel B de dimension s admet-il de supplmentaires ? e

Partie III. Supplmentaire commun e


A2 = Vect(a2 ) A3 = Vect(a3 ) B1 = Vect(b1 )

A1 = Vect(a1 ) A4 = Vect(a4 )

B = Vect(b)

Fig. 6 Partie III. dim E = 2. Dans cette partie, on consid`re des familles (A1 , A2 , , Ap ) de sous-espaces dun espace e vectoriel E telles que les Ai soient deux ` deux distincts et de mme dimension m (0 < m < a e dim E). On veut montrer quil existe un sous-espace vectoriel B qui est un supplmentaire de chacun des e sous-espaces Ai . 1. Cas dim E = 2. Dans ce cas, chaque Ai est une droite vectorielle (cest aussi un hyperplan). Il existe des vecteurs non nuls a1 , , ap tels que A1 = Vect(a1 ), , Ap = Vect(ap ) 38

Enoncs - Pb 14 : Familles de sous-espaces de mme dimension. e e a. Justier lexistence dun vecteur b1 tel que (a1 , b1 ) soit une base de E. b. Pour i entre 2 et p, on note i et i les coordonnes de ai dans la base (a1 , b1 ). Montrer e que i = 0 pour i entre 2 et p. c. Justier lexistence dun scalaire tel que b = a1 + b1 A1 A2 Ap 2. Dans cette question, on pourra utiliser le rsultat de la question II.6 (dans un espace e vectoriel il existe une innit dhyperplans). Soit (A1 , A2 , , Ap ) une famille dhyperplans e vriant les conditions indiques en dbut de partie. Montrer que e e e A1 A2 Ap = E 3. Soit (A1 , A2 , , Ap ) une famille vriant les conditions indiques en dbut de partie. e e e Montrer que A1 A2 Ap = E 4. On veut maintenant montrer le rsultat annonc ; cest ` dire lexistence dun supplmentaire e e a e commun B aux sous-espaces dune famille (A1 , A2 , , Ap ) vriant les conditions ine diques en dbut de partie. e e a. Cas m = dim E 1. Soit x un vecteur qui nest pas dans A1 A2 Ap , montrer que Vect(x) est un supplmentaire commun. e b. Montrer le rsultat dans le cas gnral. e e e

39

Enoncs - Pb 15 : Approximation par convolution. e

Probl`me 15 e
Pour tout entier naturel n non nul, on dnit une fonction n dans R par : e 3n (1 n2 t2 ) si t 1 , 1 4 n n t R : n (t) = 1 1 0 si t , n n Soit f une fonction continue (mais non ncessairement drivable) de R dans R. Pour tout entier e e naturel n non nul, on dnit fn par : e
1 n

x R : fn (x) = 1.

n (t)f (x + t)dt
1 n

a. Tracer lallure du graphe dune fonction n . Prciser la rgularit de n . (O` est-elle continue, drivable ? O` la drive est elle e e e u e u e e continue, drivable ? ... ). e b. Calculer 1
n

n (t)dt
1 n

2.

a. En utilisant un changement de variable et diverses primitives, former une expression de fn (x) permettant de montrer facilement que fn est drivable dans R. e b. Pour tout x rel, montrer que e 3n3 fn (x) = 2
1 n

tf (x + t)dt
1 n

3. Pour tout rel x et tout entier naturel non nul n, on pose e In (x) = x a. Montrer que |fn (x) f (x)| Mn (x) b. Soit J un segment (intervalle de la forme [a, b]) de R. Pour tout naturel non nul n, on note Kn = max |fn (x) f (x)|
xJ

1 1 ,x + n n

Mn (x) = max |f (u) f (x)|


uIn (x)

Montrer que (Kn )nN converge vers 0. c. Soit x un rel x. Que peut-on dduire de la question prcdente relativement ` la e e e e e a suite (fn (x))nN 4. Soit x un nombre rel en lequel la fonction f est drivable. On dnit une fonction Rx par : e e e t R : f (x + t) = f (x) + tf (x) + tRx (t) a. Pour tout n naturel non nul, exprimer fn (x) en fonction de f (x) et de
1 n 1 n

t2 Rx (t)dt

b. Montrer que (fn (x))nN converge vers f (x). 40

Enoncs - Pb 16 : Calcul de la somme des inverses des carrs par la mthode des coecients de e e e Fourier.

Probl`me 16 e
1. a. Calculer
1 1

t cos(kt) dt
0 0

t2 cos(kt) dt

b. En dduire quil existe un unique couple (a, b) de rels ` prciser tels que, pour tout e e a e entier k 1, 1 1 (at2 + bt) cos(kt)dt = 2 k 0 c. Transformer, pour le couple (a, b) de la question prcdente e e
1

(at + bt)
0

1 + 2

cos(kt) dt
k=1

2. Pour tout n N et tout ]0, [, exprimer


n

1+2
k=1

cos(2k)

comme un quotient de deux sinus. 3. Soit f une fonction relle de classe C 1 sur [0, 1]. Montrer que la fonction e
1

f (t) sin(t)dt

converge vers 0 en +. 4. On consid`re la fonction relle dnie dans [0, 1] par : e e e f (t) f (t) 2 (t2 2t) si t = 0 4 sin( t) 2 = si t = 0 =

a. Montrer que f est de classe C 1 sur [0, 1]. b. Montrer la convergence de la suite
n

(
k=1

1 )nN k2

ainsi que la valeur de la limite.

41

Enoncs - Pb 17 : Un exercice avec des sommes de Riemann. e

Probl`me 17 e
Cet exercice repose sur lutilisation de sommes de Riemann. Deux suites (an )nN et (bn )nN sont dnies pour tout entier n par : e
n

an bn

=
k=1

n (n + k)2
n

n 2

k=1

n2 (n + k)2

1. Montrer la convergence et calculer la limite de (an )nN . 2. Montrer la convergence et calculer la limite de (bn )nN

42

Enoncs - Pb 18 : Lemme de Hochschild (par dualit). e e

Probl`me 18 e
Dans cet exercice, X est un ensemble ni quelconque. Il faut bien noter quaucune opration e nest dnie sur X. e On consid`re un sous-espace vectoriel V du C-espace vectoriel F(X, C) des fonctions dnies sur e e X et ` valeurs complexes. Ce sous-espace V est de dimension p 1. a On note V = L(V, C) lespace des applications linaires de V vers C (formes linaires). Pour e e tout x X, on dnit x V par : e v V : x (v) = v(x) On se propose de montrer quil existe une famille (x1 , , xp ) dlments de X et une base ee (v1 , , vp ) de V telles que : (i, j) {1, 2, }2 : vi (xj ) = 1 si i = j 0 si i = j

1. Montrer que la dimension de F(X, C) est gale au nombre dlments de X. Que peut-on e ee en dduire pour p ? e 2. On suppose quil existe une famille (x1 , , xp ) dlments de X telle que (x , , x ) soit ee p 1 une base de V . On note A = {x1 , , xp } Pour tout v V , on dsigne par v|A la restriction de v ` A. e a a. Montrer que lapplication R dnie par : e R: est un isomorphisme. b. Montrer quil existe une base (v1 , , vp ) de V telles que : (i, j) {1, 2, }2 : vi (xj ) = 1 si i = j 0 si i = j V F(A, C) v v|A

3. On se propose de montrer maintenant quil existe une famille (x1 , , xp ) dlments de ee X telle que (x , , x ) soit une base de V . p 1 a. Montrer quil existe un lment x de X tel que (x ) soit une famille libre de V . ee b. Parmi les familles (x1 , , xq ) dlments de X telle que (x , , x ) soit libre, on en ee q 1 consid`re une maximale. Cest a dire telle que : e ` (x , , x ) libre 1 q x X : (x , , x , x ) lie e 1 q Montrer que q p. Montrer que V est inclus dans un sous-espace vectoriel de F(X, C) engendr par q fonctions. En dduire que p = q et que (x , , x ) est une base de e e p 1 V .

43

Enoncs - Pb 19 : Fonctions ` drives bornes. e a e e e

Probl`me 19 e
Lobjet de ce probl`me e
n 3

est de montrer le rsultat suivant. e

Lorsque f C (R) est telle que f et f (n) soient bornes alors, pour tous les k entre e 1 et n 1, la fonction f (k) est borne. e Pour cela, on introduit des matrices et on utilisera un rsultat relatif ` ces matrices. e a Soit m un entier non nul, on dnit une matrice carre Vm Mm (R) et une matrice ligne e e Lm M1,m (R) par : 1 1 2 1m 2 22 2m Vm = . . . . . . . . . . . . m Lm = (1)m1 m 1 m2 mm

(1)mk

m k

(1)0

m m

On se propose de montrer de deux mani`res direntes que : e e Lm Vm = 0 0 0 m!

Partie I
Soit E le R-espace vectoriel des polynmes ` coecients rels de degr infrieur ou gal ` m o a e e e e a (y compris le polynme nul) et divisibles par X. o 1. Montrer que, pour tout i entre 1 et m, il existe un unique polynme i E tel que : o j {1, , m} : i (j) = i,j 2. Prciser, pour i entre 1 et m, le coecient dominant de Li . e 3. Montrer que L = (1 , , m ) est une base de E. Soit P E, prciser la matrice MatL P e des coordonnes. Que peut-on en dduire pour Vm ? e e 4. Montrer que lapplication : ER P P (m) (0)

est une forme linaire. Prciser MatL (). e e 5. Montrer sans calcul que Vm est inversible. Quel renseignement la question 2. nous donne1 t-elle sur Vm ? 6. Dmontrer la formule annonce : e e Lm Vm = 0
3 dapr`s e

m!

Centrale-Suplec 2001 PC Maths 1 e

44

Enoncs - Pb 19 : Fonctions ` drives bornes. e a e e e

Partie II
Dans cette partie m est un entier naturel non nul. Par dveloppement limit ` lordre m en e ea 0 on entend un dveloppement limit dont le reste est o(xm ). e e 1. Soit k {1, , m}. Former le dveloppement limit ` lordre m en 0 de e ea x ekx 2. Former le dveloppement limit ` lordre m en 0 de e ea x (ex 1)m 3. Soit j un entier entre 1 et m. Ecrire le terme 1, j du produit matriciel Lm Vm . 4. Dmontrer la formule annonce : e e Lm Vm = 0 0 0 m!

Partie III
1. Soit f C 2 (R) telle que |f | est borne par un rel M0 et |f (2) | borne par un rel M2 . e e e e a. Soit x un rel quelconque et h un rel strictement positif quelconque. Ecrire les fore e mules de Taylor avec reste de Lagrange ` lordre deux entre x et x + h puis entre x et a x h. b. En dduire : e x R, h > 0 : |f (x)| c. En dduire que |f | est borne par e e 2M0 M2 2. Soit f C 3 (R) telle que |f | est borne par un rel M0 et |f (3) | borne par un rel M3 . e e e e a. Soit x un rel quelconque et h un rel strictement positif quelconque. Ecrire les fore e mules de Taylor avec reste de Lagrange ` lordre trois entre x et x + h puis entre x et a x h. b. En dduire que |f | est borne par e e 1 2 9M0 M3 2 c. La fonction |f | est-elle borne ? e
1 3

M0 M2 + h h 2

Partie IV
Soit f C n (R), on suppose |f | borne par M0 et |f (n) | borne par Mn . On dnit aussi Kh e e e par : ((n 1)h)n Mn Kh = 2M0 + n! 45

Enoncs - Pb 19 : Fonctions ` drives bornes. e a e e e Soit x un rel quelconque et h un rel strictement positif quelconque. On dnit des rels e e e e y1 , y2 , , yn1 par : h f (x) 1! 2 y1 h f (x) y2 2! = Vn1 . . . . . . yn1 hn1 (n1) f (x) (n 1)! 1. Montrer que, i {1, n 1} : |yi | Kh 2. Montrer que
n1

(1)n1i
i=1

n1 yi = hn1 f (n1) (x) i

3. Montrer que |f (n1) | est borne par e 2 h


n1

Kh

4. En dduire que pour tout entier k entre 1 et n 1 la fonction |f (k) | est borne. e e

46

Enoncs - Pb 20 : Familles de vecteurs et de reexions. e

Probl`me 20 e
Dans tout le probl`me4 , on dsigne par n un entier gal ` 2 ou 3 et par A une matrice e e e a (n, n) symtrique dont les coecients aij sont des entiers naturels non nuls. Les coecients de e la diagonale principale de A sont des 1. On dsigne par M la matrice relle carre dordre n et de coecient mij dni par : e e e e mij = cos aij Dans le cas n = 2, on notera a = a12 = a21 , m = m12 = m21 = cos a

On dsigne par E un espace vectoriel euclidien orient de dimension n dont le produit scalaire e e est not (./.). e On se propose dtudier les bases B = (e1 , , en ) telles que, pour tous les i et j entre 1 et n : e (ei /ej ) = mij On dira alors que B vrie la proprit M. e ee Partie I. Existence dune famille vriant M. e 1. Calculer le dterminant de M pour n gal ` 2 ou 3. e e a 2. Montrer que sil existe une base B vriant M alors aij 2 pour tous les couples (i, j) tels e que i = j. Dans toute la suite du probl`me, on suppose aij 2 pour tous les couples (i, j) e tels que i = j. 3. Cas n = 2. Construire une base directe vriant M. e 4. Cas n = 3. On veut construire une base directe B = (e1 , e2 , e3 ) vriant M. Soit (a1 , a2 , a3 ) e une base orthonorme directe de E, on pose e1 = a1 . e a. Prciser un vecteur e2 Vect(a1 , a2 ) tel que e (e1 , e2 , a3 ) directe et (e1 /e2 ) = m12 b. Lensemble des vecteurs x de E tels que (x/e1 ) = m13 (x/e2 ) = m23 forme une droite ane D. Quelle est sa direction ? Calculer les coordonnes dans (a1 , a2 ) du point dintersection e D avec le plan Vect(a1 , a2 ). En dduire la distance du vecteur nul ` la droite D. e a c. Traduire par une proprit gomtrique faisant intervenir D lexistence dun vecteur ee e e e3 tel que (e1 , e2 , e3 ) vrie M. e d. Montrer que si det M > 0 il existe une base B vriant M. e 5. Cas particulier n = 3 et 1 3 2 A = 3 1 4 2 4 1 Prciser M et montrer quil existe une base B vriant M. e e
4 dapr`s e

Centrale Suplec 2 PC 2005 e

47

Enoncs - Pb 20 : Familles de vecteurs et de reexions. e Partie II. Famille de rexions. e Dans cette partie, B = (e1 , , en ) est une base directe vriant M. On dsigne par i la e e rexion telle que e i (ei ) = ei 1. On consid`re deux vecteurs x et y de E admettant pour coordonnes dans B respectivee e ment (x1 , , xn ) et (y1 , , yn ). Comment peut-on traduire matriciellement quils sont orthogonaux ? 2. Cas n = 2. a. Former les matrices S1 , S2 , T dans B de 1 , 2 et = 1 2 . Pour trouver S1, on pourra par exemple considrer le vecteur me1 e2 qui est orthogonal ` e1 . e a b. Soit C = (a1 , a2 ) une base orthonorme directe avec a1 = e1 . Former les matrices dans e C de 1 , 2 et . En dduire la nature et les lments gomtriques de . e ee e e 3. Cas n = 3. Former les matrices S1 , S2 , S3 dans B de 1 , 2 , 3 . On pourra par exemple considrer les vecteurs m12 e1 e2 et m13 e1 e3 qui sont orthogonaux ` e1 . e a 4. Cas particulier n = 3 et 1 A = 3 2 3 1 4 2 4 1

a. Former la matrice T de = 1 2 3 dans B. b. Dterminer un vecteur unitaire u tel que (u) = u puis une base orthonorme directe e e D = (u, v, w). On choisira un vecteur v combinaison linaire de e1 et e3 . e c. Former la matrice de dans D. En dduire sa nature et ses lments gomtriques. e ee e e

48

Enoncs - Pb 21 : Borne infrieure dun ensemble de nombres rels. Densit de Schnirelmann. e e e e

Probl`me 21 e
Pour toute partie
5

A de N et tout entier n 1, on pose Sn (A) = Card(A {1, 2, , n})

et on appelle densit de Schnirelmann de A le rel e e (A) = inf{ Si A et B sont deux parties de N, on pose A + B = {a + b, a A, b B} 1. a. Justier la dnition de (A). e b. Que vaut (A) si 1 A ? c. Sous quelle condition a-t-on (A) = 1 ? d. Si A B, comparer (A) et (B). 2. Calculer (A) pour les parties suivantes : a. A est une partie nie de N. b. A est lensemble des entiers impairs. c. Soit k 2 entier x et A lensemble des puissances k-i`mes dentiers. e e A = {mk , m N } 3. Soit A et B deux parties de N contenant 0 et n 1 un nombre entier. En considrant e C = {n b, b {0, 1, , n} B} montrer que Sn (A) + Sn (B) n n A + B 4. a. Montrer que si (A) + (B) 1 alors A + B = N. b. Montrer que si 0 A et (A) lments de A. ee
1 2

Sn (A) , n 1} n

alors tout nombre entier est la somme de deux

5 Dapr`s e

le probl`me 1 de louvrage Probl`mes choisis de mathmatiques suprieure (Springer). e e e e

49

Enoncs - Pb 22 : Rang et matrices extraites e

Probl`me 22 e
Soit p et q deux entiers et A Mp,q (R), pour toutes parties (non vides) I de {1, 2, , p} et J de {1, 2, , q} : I = {i1 , i2 , , is } {1, 2, , p} J = {j1 , j2 , , jt } {1, 2, , q} on dnit une matrice AIJ Ms (R) dite extraite de A par : e (u, v) {1, , s} {1, , t} : terme u, v de AIJ = aiu jv Par exemple : 4 7 10

1 2 A = 1 3 8 6

3 5 5

I = {2, 3}

J = {3, 4}

AIJ =

5 5

7 10

Lobjet de cet exercice est de montrer que le rang de A est la taille de la plus grande matrice carre inversible extraite cest ` dire le plus grand des s pour lesquels il existe des parties ` s e a a lments I et J telles que AIJ soit inversible. ee Soit E un R-espace vectoriel de dimension p, soit U = {u1 , , up } une base de E et V = {v1 , , vq } une famille de vecteurs de E tels que : A = Mat V = 0Mp,q (R)
U

Pour

toutes parties I de {1, , p} et J de {1, , q}, on dnit : e I est le complmentaire de I dans {1, , p}. e J est le complmentaire de J dans {1, , q}. e UI = {ui , i I}, EI = Vect (UI ). On utilisera librement le fait que EI et EI sont des sous-espaces supplmentaires de E. e pI est la projection sur EI paralllement ` EI . e a VJ = {vj , j J} , VJ = Vect (VJ ). On dnit enn un entier r par : e il existe des parties ` r lments I de {1, 2, , p} et J de {1, 2, , q} telles que AIJ a ee inversible. pour toutes parties ` r + 1 lments I de {1, 2, , p} et J de {1, 2, , q} (sil en existe), a ee AIJ nest pas inversible. 1. Montrer que r 1. 2. a. Pour toutes parties (non vides) I de {1, 2, , p} et J de {1, 2, , q}, montrer que AIJ est la matrice dans une certaine base dune certaine famille de vecteurs. On prcisera soigneusement lespace vectoriel, la base et la famille. e b. En dduire que r rg(A). e 3. Pour toutes parties (non vides) I de {1, 2, , p} et J de {1, 2, , q}, montrer que la restriction de pI ` VJ est injective si et seulement si a EI VJ = {0E } 4. Soit J une partie (non vide) de {1, 2, , q} telle que VJ soit libre. Montrer que VJ est une base de E ou que lon peut complter cette famille par des vecteurs de U pour former une e base de E. 5. Montrer que r = rg(A). 50

Enoncs - Pb 23 : Sommets dune courbe paramtre e e e

Probl`me 23 e
On appelle6 sommet dune courbe paramtre rguli`re normale de classe C 3 tout point de e e e e celle-ci o` la drive de la courbure sannule. u e e Dans les questions 2 et 3, on compare pour les paraboles et les ellipses la notion usuelle de sommet avec celle dnie ici. On tablit ensuite que toute courbe ferme simple et strictement e e e convexe (Fig. 7) admet au moins quatre sommets. On adopte un certain nombre de notations valables dans tout le probl`me. e E est un plan ane de direction E. O, ( i , j )) est un rep`re x. Les coordonnes et les axes complexes sont relatifs ` ce e e e a rep`re. e M est une fonction dnie dans R et ` valeurs dans E qui est une courbe paramtre e a e e normale. Pour tout s rel, sa drive en s note e e e e M (s) = (s) est un vecteur unitaire de E. n a (s) est le vecteur unitaire directement orthogonal ` (s). (f (t)) dsigne la courbure au point f (t) du support dune courbe paramtre (pas forcment e e e e normale f ). Ce nombre sera aussi parfois not c(s). e

M (0) = M (L)

Fig. 7 Courbe ferme, sans point double, strictement convexe e

Partie 1. Dnitions - Exemples e 1. Etude dune quation direntielle e e Pour tout rel s, on dsigne par z(s) laxe complexe de M (s) et par x(s) et y(s) les parties e e relles et imaginaires de z(s). e
6 dapr`s e

Ecole de lair 2005

51

Enoncs - Pb 23 : Sommets dune courbe paramtre e e e a. Soit c une fonction continue de R dans R. Montrer lquivalence entre les deux proe prits suivantes : ee (1) (2) s R : c(s) = (M (s)) s R : z (s) = ic(s)z (s)

b. On tudie les courbes dont la courbure est constante gale ` c0 . e e a En distinguant les deux cas c0 = 0 et c0 = 0, dterminer lexpression de z. En dduire e e les courbes dont tous les points sont des sommets. c. On tudie les courbes dont la courbure est donne par une fonction c dnie dans R e e e par 1 c(s) = 1 + s2 et qui vrient les deux conditions initiales e z(0) = i Montrer que 1 + is z (s) = 1 + s2 en dduire z et reconna la courbe en posant s = sh t. e tre 2. Etude des sommets de la parabole Soit p un rel strictement positif x, une parabole est donne par une paramtrisation f e e e e dnie dans R e t2 f (t) = 0 + t i + j 2p a. La courbe paramtre f est-elle normale ? Dterminer (f (t)), (f (t)), une quation e e e n e cartsienne de la tangente en f (t) (sous la forme dun dterminant non dvelopp). e e e e b. Calculer (f (t)). En quel point de la parabole la drive de cette fonction sannule-te e elle ? 3. Etude des sommets de lellipse Soient a et b des rels strictement positifs distincts xs, une ellipse est donne par une e e e paramtrisation f dnie dans R par : . e e f (t) = 0 + a cos t i + b sin t j a. La courbe paramtre f est-elle normale ? Dterminer (f (t)), (f (t)), une quation e e e n e cartsienne de la tangente en f (t) (sous la forme dun dterminant non dvelopp). e e e e b. Calculer (f (t)). En quel point de lellipse la drive de cette fonction sannule-t-elle ? e e Partie 2. Courbe ferme strictement convexe e Dans cette partie, on suppose que la courbe paramtre normale M est C 3 (R) et quelle vrie e e e trois hypoth`ses supplmentaires.(Fig. 7) e e Elle est ferme et de longueur L > 0. Cela signie que la fonction M est priodique de plus e e petite priode L. e Elle est sans point double. Cela signie que la restriction ` [0, L[ de la fonction M est a injective. 52 z (0) = 1

Enoncs - Pb 23 : Sommets dune courbe paramtre e e e

M2 = M (s2 )

M1 = M (s1 )

Fig. 8 Intersection avec une scante e Elle est strictement convexe. Cela signie que, pour tout s0 rel, lensemble des M (s) (pour e s non congru ` s0 modulo L) est contenu dans un des demi-plans ouverts dnis par la a e tangente ` la courbe en M (s0 ). a 1. Position par rapport ` une scante a e On consid`re deux rels s1 et s2 dans une mme priode tels que s1 < s2 < s1 + L. On pose e e e e M1 = M (s1 ) et M2 = M (s2 ). On consid`re un rep`re orthonorm direct dont lorigine est e e e e en M1 et dont laxe M1 X est la droite oriente (M1 M2 ) (Fig.8). On dsigne par X(s) et e Y (s) les coordonnes de M (s) dans ce rep`re. e e a. On suppose quil existe des rels u et v tels que s1 < u < v < s2 et Y (u)Y (v) < 0. e Montrer quil existe un rel w tel que s1 < w < s2 et Y (w) = 0. e En dduire une contradiction avec les proprits de la courbe. e ee b. Montrer que tous les points M (s) o` s1 < s < s2 appartiennent ` un des deux demiu a plans ouverts dlimits par la droite (M1 M2 ). Montrer que tous les points M (s) o` e e u s2 < s < s1 + L appartiennent ` lautre demi-plan ouvert. a 2. Sommets On note c(s) = (M (s)) et on suppose que cette fonction nest pas constante. a. Montrer quil existe des rels s1 et s2 tels que e s R : c(s1 ) c(s) c(s2 ) s1 < s2 < s1 + L En dduire que M1 = M (s1 ) et M2 = M (s2 ) sont des sommets de la courbe. e b. On suppose que, sur [s1 , s1 + L[, la drive c ne sannule quen s1 et s2 . e e On consid`re ` nouveau le rep`re de la question 1. et on suppose Y (s) > 0 pour tous e a e s vriant s1 < s < s2 . e Montrer que
s1 +L

c (s)Y (s)ds > 0


s1

53

Enoncs - Pb 23 : Sommets dune courbe paramtre e e e Montrer que


s1 +L

c (s)Y (s)ds = 0
s1

Dduire de cette contradiction que la courbe admet au moins un troisi`me sommet e e M3 = M (s3 ) avec s1 < s3 < s2 . c. On suppose que, sur [s1 , s1 + L[, la drive c ne sannule quen s1 , s2 et s3 . Que e e peut-on dire alors de c en s3 ? Etablir une contradiction en reprenant le raisonnement prcdent. e e Ainsi, une courbe ferme sans point double et strictement convexe admet au moins e quatre sommets.

54

Enoncs - Pb 24 : Suite implicite e

Probl`me 24 e
Pour tout entier naturel n, on consid`re deux fonctions polynomiales dnies dans R e e fn (x) = 1 + x + x2 + + xn gn (x) = 1 + 2x + 3x2 + + nxn1 On se xe un rel a > 1 et on sintresse ` une suite de nombres rels strictement positifs e e a e (n )nN{0,1} telle que n N {0, 1} : gn (n ) = a 1. a. Montrer que pour tout entier n 2, il existe un unique rel strictement positif n tel e que gn (n ) = a. b. Montrer que la suite (n )nN{0,1} est strictement dcroissante. e c. Montrer quil existe un entier N tel que n N : n < 1 d. Montrer que la suite (n )nN{0,1} converge. On note sa limite. Montrer que 0<1
n n n e. Montrer que les suites (n )nN{0,1} , (nn )nN{0,1} et (n2 n )nN{0,1} convergent toutes les trois vers 0.

2.

a. Montrer que, pour tout x dirent de 1, e gn (x) = (n + 1)xn xn+1 1 (1 x)2 1x (1 x)2

b. Montrer que pour tout x [0, 1[ x, la suite (gn (x))nN{0,1} est croissante et e converge vers 1 (1 x)2 3. a. Montrer que 1 a (1 )2 b. Montrer quil existe un ]0, 1[ tel que 1 =a (1 )2 c. Montrer que et en dduire e 1 =1 a 4. Dans cette question a = 4 et = 1 . On se propose de trouver un quivalent pour la suite e 2 (n )nN{0,1} telle que 1 n N {0, 1} : n = (1 + n ) 2 55

Enoncs - Pb 24 : Suite implicite e a. Montrer que, pour tous les n non nuls, 2n + 2 = n b. Montrer que n 1 n n 4 n 1 n n n+1 (n + 1)n n 2

c. Montrer que (nn )nN{0,1} converge vers 0. e a En dduire la limite de ((1+n )n )nN{0,1} et une suite simple quivalente ` (n )nN{0,1} . e

56

Corrigs e

57

Corrigs - Pb 1 e

Probl`me 1 e
Premi`re partie e 1. Si (pn )nN converge vers l = 0, (pn+1 )nN converge aussi vers l et ( doit converger vers 1. 2. Comme pn = le produit (pn )nN diverge vers +. 3. Comme cos on peut crire e pn =
a 1 sin 2p1 1 sin a = n a 2 sin 2p 2 sin 2a n p=1 sin a a . n

pn+1 )nN = (un )nN pn

2 3 n+1 =n+1 1 2 n

a 1 a a sin p = sin p1 2p 2 2 2

De plus, 2n sin 2a a quand n +. Donc (pn )nN n Deuxi`me partie e 1.

a. Prenons = 1 dans la dnition de la convergence de (un )nN vers 1. Il existe un e entier n0 tel que : n N : n nO |un 1| < 1 un > 0 Le n0 dni dans cette question reste valable pour la question b.. e b. Pour n n0 , pn est du mme signe que pn0 avec e Sn ln(un0 un0 +1 un ) pn ) = ln( pn0 1 = ln(|pn |) ln(|pn0 1 |) =

Si (pn )nN converge, (|pn |)nN converge vers un nombre strictement positif donc (ln |pn |)nN converge ` son tour ce qui assure la convergence de (Sn )nN . a Rciproquement, comme pn = pn0 1 eSn , si (Sn )nN l alors e (pn )nN pn0 1 el qui est non nul. 2. a. On veut appliquer le thor`me des accroissements nis ` la fonction e e a f : x (ln x)2 entre p et p + 1. Etudions les variations de la drive e e x2 59 ln x x

Corrigs - Pb 1 e Comme ln x x = 1 ln x x2

est ngatif pour x > e, cette drive est dcroissante dans ]3, +[. On en dduit que e e e e e ln p ln x x p pour tous les t [p, p + 1]. La formule demande traduit alors e f (p + 1) f (p) (p + 1 p)f (p) b. En sommant les ingalits du a., pour tout entre 3 et n 3, on obtient e e (ln(n + 1))2 (ln(3))2 2 Sn puis ln 2 (ln(3))2 1 (ln(n + 1))2 + 2 2 Ce qui entra la divergence de (Sn )nN et (pn )nN vers +. ne Sn Troisi`me partie e 1. a. Tableau de variation facile. La question b. est vidente. e b. Si (Sn )nN converge vers l, on peut crire e
n n

ln 2 2

ln pn =
p=1

ln(1 + p )
p=1

p l

La suite (pn )nN est donc majore par el . e Comme (pn )nN est clairement croissante (on multiplie chaque fois par un nombre plus grand que 1), elle converge vers un nombre plus grand que 1 + 1 . 2. Supposons que (Sn )nN converge. La question prcdente montre que e e 1 (1 + ) p p=1
n

nN

converge aussi. Ce qui est en contradiction avec I.2. Comme elle est croissante, la suite (Sn )nN diverge donc vers +. 3. a. Pour a 1, le produit diverge clairement vers +. b. i. On conserve les notations de 1., on majore en ajoutant ` la somme toutes les a puissances de a qui manquent :
n

Sn =
p=1

2p

= 1 + a + a + a + + a

2n

1 a2 +1 1 = 1a 1a

La suite (Sn )nN converge car elle est majore. Il en est de mme de (pn )nN e e dapr`s 1.c. e 60

Corrigs - Pb 1 e ii. Calculons (1 a2 )pn . (1 a2 )pn = (1 a2 )(1 + a2 )(1 + a4 )(1 + a8 ) (1 + a2 ) = (1 a4 )(1 + a4 )(1 + a8 ) (1 + a2 ) = (1 a8 )(1 + a8 ) (1 + a2 ) = = (1 a2 )(1 + a2 ) = (1 a2 On en dduit que (pn )nN converge vers e 1 1 a2
n n n+1 n n n

61

Corrigs - Pb 2 e

Probl`me 2 e
1. Si les rels ne sont pas distincts, les formes ne le sont pas non plus. Elles constituent donc e une famille lie. Si les rels sont deux ` deux distincts, considrons e e a e (X b)(X c)(X d) , (a b)(a c)(a d) (X a)(X b)(X d) Pc = , (c a)(c b)(c d) Pa = Pb = (X a)(X c)(X d) (b a)(b c)(b d) (X a)(X b)(X c) Pd = (d a)(d b)(d c)

Si fa + fb + fc + fd est la forme nulle, en prenant successivement les valeurs en Pa , Pb ,Pc ,Pd on obtient = = = = 0 ce qui prouve que la famille est libre. 2. Dapr`s 1., la famille f0 , f1 , f2 , f3 est une base de E3 . e Les rels x0 , x1 , x2 , x3 sont en fait les coordonnes de la forme linaire e e e
1

P
0

P (t) dt

dans cette base. Pour calculer ces coordonnes, on prend les valeurs en Q0 , Q1 , Q2 , Q3 . Il e vient x0 = 1 x1 = 2 1 x2 = 2 1 x3 = 6
0

1 6
0

(t 1)(t 2)(t 3) dt =
0 1

3 8

t(t 2)(t 3) dt =
1

19 24 5 24

t(t 1)(t 3) dt =
0 1

t(t 1)(t 2) dt =

1 24

3. La relation propose par lnonc est quivalente au syt`me de quatre quations obtenu en e e e e e e crivant lgalit pour les polynmes 1, t, t2 , t3 . e e e o Ce syst`me est linaire par rapport ` A et B. Transformons le par oprations lmentaires e e a e ee A + B =1 A + B =1 A + B =1 1 1 1 aA + bB = (b a)B = a (b a)B = a 2 2 2 1 1 a 1 a 1 2 2 0 = b( a) a A + b B = b(b a)B = 3 3 2 3 2 2 3 2 1 a 1 a a A + b3 B = 1 b (b a)B = 1 a 0 = b( ) 4 4 3 4 3 3 2 Ce syst`me admet des solutions si et seulement si les deux derni`res quations sont vries. e e e e e Ce qui scrit e a + b =1 ab = 1 6 Cest ` dire lorsque a et b sont les racines de a t2 t + 62 1 6

Corrigs - Pb 2 e Choisissons a= 1 (1 2 2 ) 3 b= 1 (1 + 2 2 ) 3

En reportant dans les eux premi`res quations on trouve alors e e A=B= 1 2

Rciproquement, le syst`me est vri pour ces valeurs. Cela signie que la relation est e e e e vraie pour les polynmes 1, t, t2 , t3 . Elle est donc vrie par linarit dans E3 tout entier. o e e e e 4. La formule
0 1

P (t) dt =

1 (P (u) + P (v) + P (w)) 3

est vrie pour tous les P de E3 si et seulement si elle est vraie pour les polynmes 1, t, e e o t2 , t3 . On forme donc un syst`me de quatre quations e e 1 =1 + 1 + 1 3 3 3 1 u+v+w = 1 1 = (u + v + w) 2 2 3 u2 + v 2 + w2 =1 1 1 2 = (u + v 2 + w2 ) 3 3 3 u + v 3 + w3 = 3 4 1 1 3 = (u + v 3 + w3 ) 4 3 Ce syst`me nest pas linaire. Posons e e s=u+v+w alors : u2 + v 2 + w2 =s2 2t (u2 + v 2 + w2 )s =u3 + v 3 + w3 + (u2 v + u2 t + ) ts =(u2 v + u2 t + ) + 3p nalement (s2 2t)s = u3 + v 3 + w3 + ts 3p le syst`me scrit donc e e s =3 3 s= 2 2 5 2 s 2t =1 t = 8 3 s 3ts + 3p = 3 p =1 4 6 La formule est donc vrie lorsque u, v, w sont les trois racines de e e 3 5 1 X3 X2 + X 2 8 6 u3 + v 3 + w3 = s3 3ts + 3p t = uv + uw + vw p = uvw

63

Corrigs - Pb 3 e

Probl`me 3 e
Partie I - Angles dEuler
1. Par dnition des rotations : e r2 ( i ) = , u donc r3 r2 r1 ( i ) = i . De mme e r2 ( k ) = k , r1 ( k ) = k1 , r3 (k1 ) = k1 r1 ( ) = , u u r3 ( ) = i1 u

donc r3 r2 r1 ( k ) = k1 . La rotation compose transforme la base orthonorme directe ( i , j , k ) en une base ore e thonorme directe ( i1 , , k1 ). La seule base orthonorme directe dont les vecteurs 1 et 3 e w e sont i1 et k1 est ( i1 , j1 , k1 ). On en dduit e r3 r2 r1 = r
2. La fonction R = f r, f 1 est une rotation car elle est compose de plusieurs rotations e w (les rotations forment un groupe pour la composition). On vrie facilement que R(f ( ) = e w ) par consquent il existe un rel tel que R = r . f(w e e f ( ), w Lorsque ( , , ) est une base orthonorme directe, la famille (f ( ), f ( ), f ( )) est u v w e u v w galement orthonorme directe et on connait la forme des matrices de r = r, et R dans e e u ces bases. Cela nous permet dcrire : e

cos = (r( )/ ) = (f 1 R f ( )/ ) = (R(f ( ))/f ( )) = cos u u u u u u )/ ) = (f 1 R f ( )/ ) = (R(f ( ))/f ( )) = sin sin = (r( u v u v u v en utilisant la conservation du produit scalaire par f . On en dduit que et sont congrus e modulo 2 ce qui prouve la relation demande. e 3. On remarque que r et r sont des rotations de mme axe. Elles vont donc commuter. e Comme r1 et R sont des rotations dangle mais respectivement autour de et i avec u = r ( ), la question prcdente montre que u e e i
1 r1 = r R r

De mme, comme r1 ( k ) = k1 : e
1 r3 = r , = r1 r r1 k
1

On en dduit : e
1 r = r3 r1 r2 = r1 r r1 r1 r2

= r1 r r2
1 = r R r r r

= r R r car r et r commutent. ce qui est intressant dans cette dcomposition cest que les axes e e des trois rotations sont dirigs par les vecteurs i et k de la base de dpart. e e 64

Corrigs - Pb 3 e

Partie II - Quaternions
Les questions de cette partie se traitent par de simples vrications. Leur correction ne sera e pas dtaille. e e

Partie III - Multiplications


1. La vrication de ce que S, gq , dq , Cq sont des endomorphismes ne pose pas de dicult. e e Bien remarquer quil sagit dune structure de R-espace vectoriel. Soit q un quaternion quelconque, on peut crire : e dq1 (q ) = q q 1 = donc dq1 = De mme : e Cq = gq dq1 = 2. 1 gq S gq S N (q) 1 S gq S N (q) 1 1 qq= qq N (q) N (q)

a. Pour former la matrice de gq , on exprime les images des vecteurs de base en fonction de (1H , i , j , k ). On peut se permettre de ne pas crire compl`tement certaines matrices e e car on sait quil sagit de quaternions. gq (1) = 1H + i + j + k

a b gq ( i ) = b a

0 i

i ib = 0 ia

i . = i + .

. . = 1H + i + j k

a b gq ( j ) = b a

0 1

1 b = 0 a

+ i . = i .

. . = 1H i + j + k

a b gq ( k ) = b a

i 0

0 ia . i = = i ib . i

. . = 1H + i j + k

On en dduit : e Mat gq = B 65

Corrigs - Pb 3 e b. La matrice prcdente scrit avec des blocs 2 2 A, B : e e e det gq = A B B A

Ce dterminant nest pas modi par des oprations lmentaires sur les blocs : e e e ee det gq = A B A B + iA = A + iB B i(A + iB) A iB = B A + iB + i + i 0 A + iB
2

= | det(A + iB)|2 =

+ i i

= |( + i)( i) ( i)( + i)|2 = (2 + 2 + 2 + 2 )2 = N (q)2 On en dduit : e det gq = N (q)2 3. Lgalit entre applications linaires e e e Cq = 1 gq S gq S N (q)

se traduit par lgalit suivante entre les dterminants (attention, lespace est de dimension e e e 4) : 1 (det gq )2 (det S)2 det Cq = N (q)4 Or (det S)2 = 1 car S S est lidentit. On en dduit : e e det Cq = 1

Partie IV - Produit scalaire


Dans cette partie et sont deux quaternions purs respectivement de coordonnes (, , ) u v e et ( , , ) dans la base ( i , j , k ). = + + = u i j k i + i + i i + i i

= + + = v i j k

i + i

1. Pour vrier que (./.) dnit un produit scalaire, formons le produit matriciel des quatere e nions. = + i( ) . uu + + i( ) . On en dduit lexpression du produit scalaire e 1 u v ( / ) = tr( ) = + + u v 2 Ceci montre en mme temps que ( i , j , k ) est une base orthonorme. Elle est directe par e e dnition de lorientation de lespace E des quaternions purs. e 66

Corrigs - Pb 3 e 2. Dans lespace vectoriel euclidien orien E, le calcul en coordonnes (dans une base orthoe e norme directe) du produit vectoriel donne e u v = On retrouve des expressions gurant dans le produit matriciel calcul plus haut, on en e dduit : e = ( / )1 + u v u v H u v Les autres expressions demandes par lnonc en dcoulent immdiatement. e e e e e

Parties V - Rotations
1. a. On doit montrer que limage par lapplication Cq dun quaternion pur est encore u un quaternion pur. On utilise la conjugaison (un quaternion est pur lorsquil est gal e a ` loppos de son conjugu). e e Cq ( ) = u Cq ( ) = u 1 q q u N (q)

1 1 q q = u q( )q = Cq ( ) u u N (q) N (q)

On en dduit que Cq ( ) est un quaternion pur. e u b. On note cq la restriction de Cq ` E. Comme Cq (1H ) = 1H , la matrice de Cq ) dans la a base (1H , i , j , k ) est de la forme 0 0 0 1 0 0 Mat cq ( i ,j ,k) 0 Dapr`s la dnition du dterminant dune matrice (ou en dveloppant suivant la e e e e premi`re colonne), on obtient e det cq = det Cq = 1 c. Comme cq est de dterminant 1, pour montrer que cest une rotation, il sut de e montrer quil conserve le produit scalaire. 1 1 (cq ( )/cq ( )) = tr(cq ( )cq ( )) = tr(q q 1 q q 1 ) u v u v u v 2 2 1 1 1 = tr(q q 1 ) = tr( q 1 q) = tr( ) = ( / ) u v u v u v u v 2 2 2 en utilisant le fait que la trace dun produit de deux matrices ne change pas si on les permute a. Rappelons que q= a b , b a 67 q= a b b a

2.

Corrigs - Pb 3 e cq ( i ) = 1 0 q N (q) i 1 ib i q q= 0 ia N (q) 1 ia . = ib N (q) ib2 + ia2 . 0

Im(ib2 + ia2 ) 2 2 2 + 2 (cq ( i )/ i ) = = N (q) N (q) cq ( j ) = 1 0 q N (q) 1 1 1 b a 1 . q q= = 0 b2 + a2 a b N (q) N (q) . 0

Re(b2 + a2 ) 2 2 + 2 2 (cq ( j )/ j ) = = N (q) N (q) cq ( k ) = 1 i q N (q) 0 1 1 0 ia ib i|a|2 i|b|2 q= q = i . N (q) ib ia N (q) . .

Im(i|a|2 i|b|2 ) 2 + 2 2 2 (cq ( k )/ k ) = = N (q) N (q) b. On dduit de la question prcdente que e e e tr cq = 32 2 2 2 2 + 2 + 2 + 2

Cette trace est gale ` 3 si et seulement si e a 32 2 2 2 = 3(2 + 2 + 2 + 2 ) cest ` dire lorsque 2 + 2 + 2 = 0 ou encore que q Vect(1H ). a 3. Lorsque q Vect(1H ), cq nest pas lidentit car la trace de cq nest pas gale ` la trace de e e a lidentit (qui est 3). De plus : e Cq (q) =qqq 1 = q 1 qq 1 q 1 Cq (q) = N (q) 1 cq ( V q ) = Cq (q q) = 2

1 1 q =q N (q) 1 (q q) = V q 2

4. En utilisant les calculs de la partie IV et les dcompositions e q = 1H + V q , q = 1H V q on obtient u u u q q =2 + 2 V q ( V q ) V q u q q =2 2 V q ( V q ) V q u u u u 4 (cq c1 )( ) = u V q u q N (q) On sait dj` que cq est une rotation, cette rotation est un demi-tour lorsque cq cq est ea lidentit cest ` dire lorsque cq = c1 . Comme V q nest pas nul, ceci se produit si et e a q seulement si = 0 cest ` dire lorsque q E (q est un quaternion pur). a On suppose dans toute la suite que q Vect 1H et q E. Il existe alors un unique ], [ tel que cq = r, car cq est une rotation qui nest pas un demi-tour. V
q

68

Corrigs - Pb 3 e 5.
a. Lorsque cq = r, la matrice de cq dans une base orthonorme directe de la forme e Vq , b , 1 ) est U =(a V N(V q) q

cos Mat cq sin U 0

sin cos 0

0 0 1

b. On dduit de la matrice prcdente et du calcul de la trace de cq (V.2) que : e e e 32 V q 2 tr cq =2 cos + 1 = 2 + V q 2 2 V q 2 2 V q 2 = cos = N (q) 2 + V q 2 Dans la base U, la matrice de V q se calcule avec l expression usuelle du u u produit vectoriel : 0 x Vq y 0 y = x Vq z Vq 0 la matrice cherche est donc : e 0 Vq 0 Vq 0 0 0 0 0

En identiant les expressions des matrices de cq c1 dans U obtenues ` partir de a. a q et de V.4., on obtient 2 V q sin = N (q) c. On utilise tan On en dduit e sin = 2 1 + cos

2 V q Vq tan = = 2 V 2 N (q) + q
2

Cette expression dtermine un unique e

dans ] , [ donc un unique dans ] , [. 2 2

Partie VI - Quaternions et angles dEuler


1. Lorsque q est de la forme q= ei 0 0 = cos 1H + sin k ei

cq est une rotation daxe k (car sin >) et dangle ] , [ dni par : e tan Lorsque cos =
2.

sin = = tan 2 cos

69

Corrigs - Pb 3 e
si ]0, [ : cq = r,2 . 2 k

si = : cq est le demi-tour daxe Vect k . 2 si ] , [ : cq = r,22 = r,2 2 k k Lorsque q est de la forme q= cos i sin i sin = cos 1H + sin i cos

si = : cq est le demi-tour daxe Vect i . 2 si ]0, [{ }, sin > 0 : cq = r,2 2 i 2. Eectuons le calcul matriciel qui donne la matrice dune rotation en fonction de ses angles dEuler : ei 2 0

0 e
i 2

cos 2 i sin 2

i sin 2 cos 2 =

ei 2 0 ei 2 0

0 ei 2 0
i 2

cos ei 2 2 i sin ei 2 2

i sin ei 2 2 cos ei 2 2

cos ei 2 2 sin ei 2 2

. .

3. Comme q est un quaternion de norme 1 : |a|2 + |b|2 = 1, il existe donc un rel ]0, [ qui e 2 permet dexprimer les modules sous forme trigonomtrique. e |a| = cos , |b| = sin Introduisons des arguments et dans [0, 2] : a = cos ei , |b| = sin ei Il ne reste plus qu` identier les deux matrices : a = , 2 = 2, + = , 2 = + , = 2 =

70

Corrigs - Pb 4 e

Probl`me 4 e
Partie I. Exemples. Une ingalit gnrale. e e e e Dans toute cette partie, on utilisera souvent le rsultat suivant. e Si une fonction continue, dnie dans R est monotone au voisinage de + et de e alors elle majore si et seulement si elle ne diverge pas vers + ni en ni en +. e Ce rsultat est une consquence des dnitions des limites et du fait quune fonction continue e e e sur un segment est borne. e 1. Ici X = R, f (x) = Kx2 , hm (x) = mx Kx2 . Si K < 0, hm nest majore pour aucune valeur de m. e Si K > 0, hm est majore pour tous les m rels. On obtient facilement la valeur minimale e e de la fonction du second degr. On en dduit : e e X = R; f (m) = On vrie que f = f si et seulement si K = 1 . e 2 2. Lorsque f est une fonction continue sur un segment X = [a, b], il en est de mme des e fonctions hm pour nimporte quelle valeur de m. Ces fonctions sont donc toujours bornes e ce qui montre x = R Chaque fonction continue hm atteint ses bornes sur le segment [a, b]. Il existe donc xm [a, b] tel que f (m) = hm (xm ). Dans ce cas rien nassure lunicit de xm . e 3. Ici X = R et f (x) = 1 x3 . Comme hm (x) = mx 1 x3 , elle est monotone au voisinage de 3 3 + et de avec 1 hm (x) x3 3 Cette fonction diverge vers + en . Elle nest pas borne par consquent e e X = 4. Ici X = R et Examinons les limites en en + : : si 0 si hm (x) + si hm (x) m>0 m=0 m<0 f (x) = ex , hm (x) = mx ex m2 4K

Le rsultat prcis au dbut permet de conclure que X = [0, +[. e e e e Si m = 0, la fonction h0 (x) = ex admet 0 comme borne suprieure donc f (0) = 0. e Si m > 0, formons le tableau de variations de hm (x) = mx ex . On a hm (x) = m ex et 0 hm 1 71 ln m m ln m m +

Corrigs - Pb 4 e On en dduit (en notant ` nouveau x la variable) e a X f (x) = [0, +[ 0 si x = 0 = x ln x x si x > 0

On forme alors ku (x) = ux x ln x x pour x > 0 dont on cherche le tableau de variations ku (x) = u ln x : 0 eu + eu ku 0 On en dduit X = R avec f (x) = ex . e 5. Ici X = R et f (x) = x + , hm (x) = mx x = (m )x . Si m = , une des e e limites en est + et donc hm nest pas majore. On en dduit X = {} , f () =

Alors hu est toujours borne puisque son domaine de dnition est rduit au seul point e e e avec hu () = u (). Donc en revenant ` la lettre x pour dsigner la variable : a e X = R, f (x) = x + et x = 1 x=0 x=1 x=2

6. Ici X ne contient que quatre points X = {1, 0, 1, 2} m 1 si 0 si hm (x) = m 2 si 2m 1 si

La question est alors de savoir, pour un nombre m donn, quel est le plus grand des quatre e nombres 1 m 0 m2 2m 1

Le plus commode est de faire une tude graphique en traant les quatre droites e c m 1 m m0 mm2 m 2m 1

Une de ces droites est laxe des x. On voit clairement sur le dessin le graphe de f et on dduit facilement son expression (la dmonstration ne mrite pas vraiment quon sy e e e attarde). On en dduit X = R et, en notant ` nouveau x la variable, e a x 1 x 1 si 0 si x 1, 1 f (x) = 2 2x 1 si x 1 2 Il est important de noter que la fonction f est continue. ux (x 1) = (u + 1)x + 1 ux 0 = ux ku (x) = ux (2x 1) = (u 2)x + 1 72 Formons maintenant ku (x) si si si x 1 1 x 1, 2 1 x 2

Corrigs - Pb 4 e

0.5 1

Fig. 9 I.6. Etude graphique ` A cause du rsultat cit dans le prambule, la fonction ku est majore si et seulement si e e e e u + 1 0 et u 2 0. Par consquent X = [1, 2]. e e Sur ], 1] la fonction ku est croissante. Elle atteint sa borne suprieure en 1 en prenant la valeur u. 1 Sur 1 , + la fonction ku est dcroissante. Elle atteint sa borne suprieure en 2 en prenant e e 2 u la valeur 2 . e Sur 1, 1 la fonction ku est ane et varie entre les deux valeurs prcedentes. Sa borne 2 suprieure est donc la plus grande des deux valeurs prcdentes.On en dduit e e e e u u [1, 2] : f (u) = sup ku = max(u, ) 2 R Soit, revenant ` la lettre x : a f (x) = x 1 2x si si x [1, 0] x [1, 2]

On remarque que le domaine de dnition est le plus petit intervalle contenant le domaine e de dnition de f et que la fonction f interpole f en ces points. e 7. Pour x X et m X , mx f (x) = hm (x) f (m) = sup hm
X

do` u mx f (x) + f (m) 73

Corrigs - Pb 4 e

Fig. 10 I.6. Graphe de f

Partie II. Un autre exemple. Ingalit de Hlder. e e o 1. Ltude de la fonction hm conduit ` X = R avec e a u (m) = 0 pour m 0 et u (m) = uq (m) pour m > 0 p p 2. On exploite lingalit I.7. pour obtenir la premi`re ingalit demande puis on remplace x e e e e e e 1 par x et y par y pour obtenir la seconde. Partie III. Espaces N et N0 de fonctions convexes. Les conditions imposes aux fonctions de N et N0 entra e nent clairement quelles sont convexes et croissantes. 1. Comme f (0) = 0, on peut poser (x) = f (x) et interprter comme le taux daccroissement e x en 0 de la fonction f . Dapr`s le thor`me des accroissements nis, il existe cx ]0, x[ tel e e e que (x) = f (cx ). Comme diverge vers +, la fonction f nest pas majore, comme f e est strictement croissante, elle diverge vers +. 2. Appliquons le thor`me des accroissements nis entre x et 2x. e e Il existe c ]x, 2x[ tel que f (2x) f (x) = xf (c) xf (x) car f est croissante. Comme de plus f est aussi croissante avec f (0) = 0, le nombre f (x) est positif donc xf (x) f (2x) 3. On suppose ici que f + en +. Comme f (x) 2 f (2x) 2x

On en dduit f (2x) +. Comme dautre part est croissante car f est convexe, cela e 2x prouve que + 74

Corrigs - Pb 4 e Partie IV. Transforme de Legendre dans N0 . e 1. Les proprits des fonctions dans N0 en particulier f croissante, f + en + et le ee calcul de hm (x) = m f (x) conduisent au tableau suivant pour hm 0 hm 0 La fonction hm atteint son maximum en un unique point xm qui est not (m). e 2. a. Les conditions de N0 entra nent clairement que f est strictement croissante de R+ dans R+ . Elle est bijective car continue avec les bonnes limites. b. Comme xm annule la drive de hm , on a m = f ((m)). Donc est la bijection e e rciproque de f . On en dduit que est continue (dapr`s un rsultat du cours). Elle e e e e est galement croissante ce qui conduit aux bonnes limites grace aux limites de f . e 3. Dapr`s les questions prcdentes, on peut crire e e e e f (m) = m(m) f (m) Comme f est strictement croissante avec f > 0, la bijection rciproque de f est drivable e e (rsultat de cours) avec e 1 = f On en dduit que est C 1 puis que f est C 1 avec e f = (m) + m (m) (m)f ((m)) = (m) car f ((m)) = m. Comme est C 1 , cela prouve que f est C 2 . Dapr`s le calcul de dj` e ea eectu, e 1 f = f 4. Les calculs prcdents et la dnition de N0 montrent clairement que f N0 . Dautre e e e part, f est la bijection rciproque de f cest ` dire f . Ainsi f et f ont la mme e a e drive, la condition en 0 prouve quelles sont gales. e e e Partie V. Un rsultat gnral. e e e Dans toute cette partie, on suppose X non vide. 1. Lingalit de la question I.7. entra que pour chaque x de X, f (x) est un majorant de e e ne {mx f (x), m X } do` u x X, 2. f (x) sup {mx f (x), m X } a. Il est clair que m [m1 , m2 ] si et seulement si 0 m2 m m2 m1 . Si on pose m m a t = m22m1 cest ` dire m = m2 t(m2 m1 ) = tm1 + (1 t)m2 . On obtient bien m [m1 , m2 ] t [0, 1] tel que m = tm1 + (1 t)m2 75 xm f (m)

Corrigs - Pb 4 e b. Si m1 et m2 sont dans X et m dans [m1 , m2 ], il existe t dans [0, 1] tel que m = tm1 + (1 t)m2 . Comme f (x) = tf (x) + (1 t)f (x), on peut crire pour tout x de e X : hm (x) = thm1 (x) + (1 t)hm2 (x) Il est important de remarquer que t et 1 t sont positifs dans cette formule. Cest cela qui montre que hm est majore par tf (m1 ) + (1 t)f (m2 ) et donc que m X . e c. On dduit de b. que X est convexe. Cest donc toujours un intervalle de R. e 3. a. Dapr`s V.1., pour tout x X, f (x) est un majorant de e {mx f (m), m X } donc x X ce qui entra X X avec f (x) f (x). ne b. On na pas toujours X = X car dapr`s I.2.c., lensemble X (et ` fortiori X ) est e a toujours un intervalle ce qui nest pas forcment le cas pour le domaine de dpart X e e (comme dans le troisi`me exemple de la partie prcdente). e e e c. Dapr`s 1., X X . En remplaant X par X on obtient donc e c X X On va exploiter maintenant x X : f (x) f (x) Considrons un m quelconque dans X et un x quelconque dans X. Comme f (x) e f (x), on a aussi mx f (x) mx f (x) f (m) Par consquent, f (m) est un majorant de x mx f (x) dni dans X ce qui e e prouve m X avec f (m) f (m). Comme on avait dj` f (x) f (x) (cest ea la relation f (x) f (x) applique ` f ) on obtient bien nalement e a X = X : f = f

76

Corrigs - Pb 5 e

Probl`me 5 e
Partie I
1. Le calcul de f1 et f2 seectue en utilisant des coecients indtermins et en formant des e e quations pour les conditions requises. En utilisant : e f1 (x) = ax + b + (cx + d)ex f1 (x) = a + (cx + c + d)ex f1 (x) = (cx + 2c + d)ex On obtient f1 (x) = (x + 2) + (x 2)ex En utilisant : f2 (x) = ax2 + bx + c + (x2 + x + )ex f2 (x) = 2ax + b + (x2 + (2 + )x + + )ex f2 (x) = 2a + (x2 + (4 + )x + 2 + 2 + )ex f2 (x) = (x2 + (6 + )x + 6 + 3 + )ex
(3)

On obtient f2 (x) = (x2 6x 12) + (x2 6x + 12)ex 2. a. Calculons, ` laide de la formule de Leibniz, la drive n + 1 `me de la fonction a e e e x x2n+1 ex (n + 1)!

Comme on connait les drives succssives des fonctions puissances et de la fonction e e e exponentielle, il vient : 1 (n + 1)!
n+1

k=0

(2n + 1)! n+1 x2n+1k ex k (2n + 1 k)!

Le coecient de xn ex sobtient pour k = n + 1. Il sagit de : (2n + 1)! = (n + 1)! n! b. Etudions la fonction n dnie par : e n (x) = On la drive n + 1 fois : e (n+1) (x) = n 1 x2n+1 ex (n + 1)! 77
(n+1)

2n + 1 n

1 x2n+1 ex fn (x) (n + 1)!

xn ex

Corrigs - Pb 5 e a ` cause des conditions sur fn . Cest une somme de termes de la forme uk xk ex avec k entre n et 2n + 1. Il est clair que tous les uk sont positifs ou nuls pour k > n (ils viennent exclusivement de la drive calcule avec la formule de Leibniz). Pour e e e k = n, le coecient est : 2n + 1 1 n qui est un entier strictement positif. Ceci montre que n (x) 0 pour x 0. De plus toutes les drives successives de x2n+1 ex sont nulles en 0. On en dduit e e e ( 0) = n (0) = = (n) (0) = 0 n n On peut donc former une cascade de tableaux de variations :
(n+1) (n+1)

n (n) n (n1) n . . .

0 0 0 0

+ +

. . .

On en dduit en particulier que n (x) > 0 pour x > 0. Cest ` dire : e a x > 0 : fn (x) < 1 x2n+1 ex (n + 1)!

Le raisonnement est analogue pour lautre ingalit. e e 3. Soit m N, on suppose quil existe q N tel que qem Z. Alors : qfn (m) = qAn (m) + Bn (m) qem Z
Z Z Z

car An et Bn sont ` coecients dans Z. Dautre part, dapr`s 2. a e (I)


2n+1

: 0 < qfn (m) <


n

m2n+1 qem (n + 1)!

B Or (qem m e e (n+1)! )nN et une suite de la forme (A (n+1)! )nN pour des rels A et B xs. Elle converge donc vers 0. 2n+1 qem Pour n assez grand, m(n+1)! devient donc strictement plus petit que 1 ce qui est contradictoire avec (I) lorsque qfn (m) est entier. On en dduit que fn (m) est irrationnel pour e tout m entier.

Partie II
1. Le tableau suivant se calcule en partant de la ligne 0| 1 0 78 0 0 0

Corrigs - Pb 5 e En descendant, il sagit du triangle de Pascal usuel. En remontant, on proc`de de gauche e a ` droite en calculant les termes au fur et ` mesure pour que la relation soit vrie. On a e e obtient m k 0 1 2 3 4 4 1 4 10 20 35 3 1 3 6 10 15 2 1 2 3 4 5 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 2 1 2 1 0 0 3 1 3 3 1 0 4 1 4 6 4 1 On peut remarquer aussi que ces coecients sont entiers ` cause de leur dnition mme. a e e 2. a. Pour le calcul suivant, on utilise les proprits usuelles des oprations dans un anneau : ee e
n n n

c1,k dk
k=0

(i + d) =
k=0 n

c1,k dk +
k=0

c1,k dk+1 (car dn+1 = 0)

=
k=0 n

(c1,k + c1,k1 ) dk c0,k dk = 1d0 = i


k=0

Comme i commute avec tout le monde (en particulier d), le produit dans lautre sens est aussi gal ` i. On en dduit que i + d est inversible avec : e a e
n

(i + d)1 =
k=0

c1,k dk

b. Pour m dans N, la formule demande est la formule du binome habituelle dans une e anneau. Pour les entiers ngatifs, on va dmontrer la formule Pm pour m Z N par e e une rcurrence descendante. e
n

(Pm )

(i + d)m =
k=0

cm,k dk

La question a. montre (P1 ). Montrons maintenant que (Pm ) (Pm1 ) En eet, par un calcul analogue ` celui du a. : a
n n n

cm1,k dk
k=0

(i + d) =
k=0

(cm1,k + cm1,k1 ) dk =
k=0

cm,k dk (dapr`s (Pm )) e

= (i + d)m 79

Corrigs - Pb 5 e On peut alors multiplier ` droite par (i + d)1 et utiliser lassociativit ce qui donne : a e
n

cm1,k dk = (i + d)m1
k=0

Cest ` dire (Pm1 ). a

Partie III
1. Si on drive n + 1 fois un polynme de degr infrieur ou gal ` n, on obtient toujours le e o e e e a polynme nul. Lendomorphisme d est donc nilpotent avec dn+1 = 0L(Rn (X)) . On peut alors o appliquer les rsultats de la partie II. On en dduit que i + d est inversible dans lanneau e e des endomorphismes, cest donc un automorphisme. 2. a. La remarque fondamentale est ici que la drive de la fonction x P (x)ex est x e e (P + P )(x)ex o` u P + P = (i + d)(P ) La drive seconde est alors e e (i + d)2 (P )(x)ex et ainsi de suite. Par exemple la drive dordre m est : e e (m) (x) = [(i + d)m (Bn )] (x)ex Pour m = n + 1 : (i + d)mn1 = i do` u n+1 (x) = xn ex b. Dapr`s la question prcdente : e e e (m) (x) = (i + d)mn1 (X n ) (0)e0 Pour m entre 0 et n, lexposant m n 1 est ngatif et on peut utiliser la formule du e II.2.b.
n n

avec (i + d)m (Bn ) = (i + d)mn1 (X n )

(m) (x) =
k=0

cmn1,k dk (X n ) (0) =
k=0

cmn1,k

n! X nk (0) (n k)! (car seul k = n contribue)

= cmn1,n n! On a donc bien


(m)

n (0) = cmn1,n inZ n! On est ici en mesure de prouver le rsultat admis dans la partie I (existence des e polynmes An et Bn ). o On choisit dabord Bn = (i + d)(n+1) (X n ). Par dnition cest un polynme de degr e o e ` au plus n. A cause de la formule de la question II.2.b, il est ` coecients dans Z. a On doit maintenant trouver un polynme An de degr au plus n et tel que si o e fn (x) = An (x) + Bn (x)ex = An (x) + n (x) 80

Corrigs - Pb 5 e on ait fn (0) = 0 pour tous les m entre 0 et n. La derni`re relation tant automatie e quement vrie ` cause du degr de An et de la dnition de Bn (III.2.a). e e a e e La condition impose (m) (m) An (0) = n (0) Dapr`s la formule de Taylor, le coecient de X m dans An est e n (0) An (0) = Z m! m! ceci montre que le An ainsi construit est ` coecients entiers. a
(m) (m) (m)

81

Corrigs - Pb 6 e

Probl`me 6 e
Partie I
1. Exprimons dabord x puis x + i : = arctan 1 cos 1 i x= x+i= e x sin sin

Deux expressions sont possibles pour les arguments de x + i. x > 0 ]0, [ 2 x < 0 ] , 0[ 2 sin > 0 : est un argument de x + i sin < 0 : + est un argument de x + i

1 2. Posons = arctan y . Un calcul analogue ` celui de la question prcdente conduit ` : a e e a

(x + i)m (y + i)ei 4 =

1 ei(m+ 4 ) sin sin

Ce nombre complexe est rel si et seulement si e m + 0 4 ()

3. On calcule (2 + i)2 (7 + i) et on trouve 25(1 + i). On en dduit la formule demande e e modulo . Pour lever cette ambiguit ` pr`s, on remarque que e a e 0 < arctan donc 0 < arctan 1 1 arctan < 2 7 4 1 0 < arctan < 2 4 1 1 < arctan < 7 2 4

La somme est donc bien entre 0 et

4.

4. En developpant et en utilisant rq 1 = p2 , on obtient (p + r + i)(p + q + i) = (2p + q + r)(p + i) Lgalit en dcoule ` un multiple de pr`s. De plus, les deux membres de lgalit sont e e e a e e e entre 0 et , ils sont donc forcment gaux. e e

Partie II
1. En utilisant des formules du binome et en sparant les parties relles et imaginaires, on e e obtient m Am Bm 1 x 1 2 x2 1 2x 3 x3 3x 3x2 1 82 4 x4 6x2 + 1 4x3 4x

Corrigs - Pb 6 e 2. Il sagit de sparer les parties relles et imaginaires de e e Am+1 + iBm+1 = (Am + iBm )(x + i) On obtient : Am+1 = xAm Bm Bm+1 = Am + xBm

Ici encore, on spare les parties relles et imaginaires apr`s quelques manipulations simples : e e e Am (x) + iBm (x) = (x + i)m = (1)m (x i)m = (1)m (x + i)m = (1)m (Am iBm ) On en dduit : e Am (x) = (1)m Am (x) Cette fois on drive e (Am + iBm ) = m(x + i)m1 Am = mAm1 Pour x = 0, on fait apparaitre
1 x

Bm (x) = (1)m Bm (x)

Bm = mBm1

(x + i)m = (ix)m Si m est pair : (i)m = (1) 2 Si m est impair : (i)m = (1)
m1 2 m

1 1 + i x

= (ix)m i +

1 x

Am (x) = (1) m xm Am ( 1 ) 2 x Bm (x) = (1) m xm Bm ( 1 ) 2 x

i
m+1 2

(x + i)m = (1) = (1)


m1 2

1 1 i Am ( ) + iBm ( ) x x m 1 1 Bm ( ) iAm ( ) x x Am (x) = (1) m1 xm Bm ( 1 ) 2 x Bm (x) = (1) m1 xm Am ( 1 ) 2 x

3. En utilisant arctan pour exprimer un argument de x+i, on peut crire une suite dquivalences : e e est un argument de (x + i)m 4 1 1 m arctan () arctan x 4 x 4m On en dduit que lensemble des solutions est e cot +k , k 0, , m 1 4m m Am (x) = Bm (x) 83

) 4m

Corrigs - Pb 6 e 4. On calcule la drive de Fm en remplaant les drives des polynmes ` laide des formules e e c e e o a de la question II.2. et en utilisant les relations de rcurrence pour navoir que des m 1. e On obtient 2 A2 + Bm1 Fm = 2m m1 (Am Bm )2 On en dduit que Fm est dcroissante dans chaque intervalle de son domaine de dnition. e e e Dapr`s la formule du binme, le degr de Am est m et celui de Bm est m 1 donc Fm e o e tend vers +1 en + et .

Partie III. Les formules du type Machin


1. Dapr`s la dnition, (x, y) Cm si et seulement si e e (x + i) (y + i) Re 4
m i

Un nombre complexe est dans Rei 4 si et seulement si sa partie relle est gale ` sa partie e e a imaginaire. Or (x + i)m (y + i) = (Am (x) + iBm (x))(y + i) = Am (x)y Bm (x) + i(Bm (x)y + Am (x)) Donc (x, y) Cm Am (x)y Bm (x) = Bm (x)y + Am (x) (Am (x) Bm (x))y = Am (x) + Bm (x) On en dduit : e Am (x) = Bm (x) y = Fm (x) (x, y) Cm

Supposons maintenant (x, y) Cm avec Am (x) = Bm (x). Alors Am (x) + Bm (x) = 0 donc Am (x) = Bm (x) = 0 donc (x + iy)m devrait aussi tre nul ce qui est videmment faux car e e x et y sont non nuls. Ceci montre limplication rciproque. e 2. Ici, m dsigne un entier entre 1 et 4. Les fonctions Fm sont strictement dcroissantes et e e e a tendent vers 1 et +. Dapr`s les tableaux, Fm (13) est strictement infrieur ` 2 donc aucun e Fm (x), pour x 14, ne peut prendre de valeur enti`re. e On peut lire sur les tableaux les entiers entre 1 et 13 pour lesquels les Fm (x) prennent des valeurs enti`res. e Pour m = 1 : x = 2y x = 3y = F1 (2) = 3 = F1 (3) = 2 arctan 1 1 + arctan () 2 3 4 mme formule e

Ici, les deux arctan sont entre 0 et

donc leur somme est entre 0 et p i donc 2 1 1 + arctan = 2 3 4 84

arctan

Corrigs - Pb 6 e Pour m = 2 : x=1 x=2 x=3 y = F2 (1) = 1 y = F2 (2) = 7 y = F2 (3) = 7 2 arctan 1 + arctan(1) = 2 arctan 1 2 1 2 arctan 3 4 1 arctan = 7 4 1 + arctan = 7 4 (vident) e

On a fait disparaitre le modulo par une valuation numrique. e e Pour m = 3, il nexiste pas de formule de Machin. Pour m = 4, on obtient la formule de Machin : x=5 y = F4 (5) = 239 4 arctan 1 1 arctan = 5 239 4

On a fait disparaitre le modulo par une valuation numrique. e e

Partie IV. Algorithme de Lehmer.


1. Les calculs conduisent ` : a z0 = 17 + 7i z1 = 41 + 3i z2 = 577 + i z4 = 33290

2. Pour un entier k tel que zk est dni et de partie imaginaire strictement positive, notons e e ak et bk respectivement sa partie relle et sa partie imaginaire. Montrons que 0 bk+1 < bk Par dnition : e zk+1 = (nk + i)(ak + ibk ) = nk ak bk + i(nk bk + ak ) Par dnition de la partie enti`re : e e nk ak < nk + 1 nk bk ak < nk bk + bk bk 0 ak nk bk < bk 0 bk+1 < bk 3. On peut implmenter en Maple lalgorithme par : e z:= 17+7*I; while Im(z)<> 0 do z := z*(I-floor(Re(z)/Im(z))) od; Attention, cette boucle ne se terminera que dans le cas o` la partie relle de z0 est enti`re u e e comme le montre la question suivante. 4. a. Lorsque a0 et b0 sont des entiers, les relations obtenus dans la question prcdentes e e montrent que tous les ak et bk sont entiers. La suite des bk est une suite dcroissante e dentiers strictement positifs. Elle ne peut tre innie. Il existe donc un k tel que zk e est rel. e 85 bk+1 = ak nk bk ak+1 = nk bk

Corrigs - Pb 6 e b. Lalgorithme permet dcrire e z1 = z0 (n0 + i) z2 = z1 (n1 + i) . . . zk = zn1 (nk1 + i) R zk = (n0 + i)(n1 + i) (nk1 + i) z0 1 Comme zk est rel, les arguments de e et de (n0 + i) (nk1 + i) sont congrus z0 modulo . Pour un nombre complexe w de partie imaginaire strictement positive, un argument est : arctan arctan 2 Im w Re w Im w Re w si Re w > 0 + si Re w < 0 si Re w = 0 do` u

b Les arguments de z0 sont donc congrus modulo ` arctan a , ceux de nj + i ` a a 1 arctan nj (ou 2 si nj = 0). On en dduit : e

arctan

b a

arctan

1 n0

+ + arctan

1 n0

()

Ce qui donne la formule annonce en remplaant ventuellement certains termes par e c e des . 2

86

Corrigs - Pb 7 e

Probl`me 7 e
1. a. Il sagit dune simple vrication. On dveloppe et ordonne dabord le crochet de e e gauche, on obtient : 2(a2 + b2 + c2 ) 2(ab + ac + bc) Quand on multiplie par a + b + c, on obtient : 2(a3 + b3 + c3 ) + 2(ab2 + ac2 + ba2 + bc2 + ca2 + cb2 ) 2(a2 b + abc + ca2 + ab2 + b2 c + abc + abc + bc2 + c2 a) = 2(a3 + b3 + c3 ) 6abc b. En remplaant (tout est > 0) dans la relation prcdente a par a 3 , b par b 3 , a par c e e 1 c 3 , on obtient a + b + c = 3(abc) 3 + terme positif avec des puissances
1 1 1 1

1 3
1 1

De mme, en remplaant dans la relation prcdente a par a 3 , b par b 3 , a par c 3 , e c e e on obtient


1 1 1 1 1 + + = 3(abc) 3 + terme positif avec des puissances a b c 3

Cela prouve les ingalits demandes. e e e 2. Les deux ingalits de la question prcdentes se reformulent en : e e e e
1 3 a+b+c (abc) 3 1 1 1 3 + + a b c

Il sagit de la comparaison classique entre moyennes harmonique, gomtrique et arithmtique. e e e Les suites sont bien dnies car chaque nouveau terme est strictement positif ce qui permet e la poursuite du processus. La comparaison des moyennes montre par rcurrence que e n 1 : cn bn an 3. On va montrer successivement : que la suite (cn )nN est croissante (la limite est note c) e que la suite (an )nN est dcroissante et minore (la limite est note a) e e e que la suite (cn )nN est majore (la limite est note c) et que la suite (an )nN est minore e e e (la limite est note a) e que a = b. Preuve de la croissance de (cn )nN 1 1 3 an cn cn bn an cn+1 = cn 1 1 1 1 1 + + an bn cn bn cn Preuve de la dcroissance de (an )nN e cn bn an cn an an + bn + cn an+1 = an 3 bn an 87

Corrigs - Pb 7 e Les ingalits prcdentes montrent que (cn )nN est majore par a1 , elle est donc convere e e e e gente. On note c sa limite. De mme (an )nN est minore par c1 , elle est donc convergente. e e On note a sa limite. On va montrer maintenant a = b par une double ingalit. e e Pour tous les entiers (plus grands que 1) p et q on peut crire : e cp cmax(p,q) amax(p,q) aq On en dduit que pour tout p 1, cp est un minorant de lensemble des aq donc cq a e car a est la borne infrieure de lensemble des aq . Ceci montre que a est un majorant de e e lensemble des cp donc c a car c est la borne suprieure de lensemble des an . Formons maintenant une ingalit ne contenant pas bn dont la convergence nest pas e e prouve. e 2an + cn an + bn + cn bn an an+1 = 3 3 Comme les suites (an )nN et (cn )nN convergent respectivement vers a et c on peut utiliser le thor`me de passage ` la limite dans une ingalit. Il conduit ` : e e a e e a a 2a + c ac 3

Il est vident, dapr`s le thor`me dencadrement, que (bn )nN converge vers la limite e e e e commune a = c. 4. Le point essentiel dans les deux questions suivantes est la formule an+1 cn+1 = an bn cn (an + bn + cn ) an bn + bn cn + cn an (1)

a. En particulier, si an cn = b2 , la formule devient n an+1 cn+1 = b3 (an + bn + cn ) n = b2 n an bn + bn cn + b2 n

Comme tout est positif, lorsque a1 c1 = b2 on obtient a2 c2 = b2 = b2 et la relation se 1 1 2 propage par rcurrence, la suite des bn est alors constante. Les trois suites convergent e e e vers b1 qui est la moyenne gomtrique de a1 et c1 . b. On va montrer que lorsque a1 c1 < b2 , la suite des bn est dcroissante. Remarquons e 1 dabord que b3 = a1 b1 c1 < b2 1 2 ce qui entraine b2 < b1 . Il sagit donc de montrer que an cn < b2 pour tous les entiers n n. La relation (1) peut encore scrire e an+1 cn+1 = f (an cn ) avec f :x Comme f (x) = u 88 ux x+v u = bn (an + bn + cn ) uv x+v v = an bn + bn cn

Corrigs - Pb 7 e et que tout est strictement positif, la fonction f est croissante. Alors : an cn < b2 an+1 cn+1 = f (an cn ) < f (b2 ) = b2 n n n puis : b3 = an+1 bn+1 cn+1 < b3 bn+1 < bn n+1 n Le raisonnement est analogue lorsque a1 c1 > b2 . 1

89

Corrigs - Pb 8 e

Probl`me 8 e
1. a. Dapr`s les proprits usuelles du produit scalaire : e ee P( ) P( b ) = D( b ) a a De plus ici = b donc tout vecteur orthogonal ` et b est aussi orthogonal c a a a a ` ce qui se traduit par : c P( ) P( b ) P( ) a c ) P( ) P( ) = P( ) P( ) = D( ) P( a b c a b a b a b. Equation normale du plan P( , b ) : P( , ) ( / ) = 0 u a b u a b On en dduit dapr`s le cours : e e d(M, P( , b )) = a 2. Plans hauteurs. a. Le plan hauteur issu de est orthogonal ` P( , ) cest ` dire quil contient le u a v w a . Il doit aussi contenir . Un vecteur orthogonal au plan hauteur issu vecteur v w u de est donc u ( ) v w u b. Preuve de lidentit de Jacobi. e Les termes se simplient deux ` deux en sommant les doubles produits vectoriels : a ( ) = ( / ) ( / ) u v w u w v v w u ( ) = ( / ) ( / ) v w u v u w w u v ( ) = ( / ) ( / ) w u v w v u u v w Chacun des trois vecteurs de lidentit de Jacobi est orthogonal ` un des plans haue a teurs. La question 1. montre alors que lintersection des trois plans est la droite Dh dirige par le vecteur e (( ) ) (( ) ) u v w v w u 3. Plans bissecteurs. a. En utilisant les quations normale et le rsultat de cours donnant la distance dun e e point ` un plan, on obtient que le point M est quidistant de P( , ) et P( , ) a e u v w u si et seulement si : |( )| m/ u v |( )| m/ w u = u v w u 90 ( / b ) u a a b

Corrigs - Pb 8 e ou encore, pour {1, +1} : ( ) m/ u v ( ) m/ w u = u v w u Ce qui scrit e avec ( ) = 0 m/ 1 = u v + w u u v w u

On obtient donc deux plans bissecteurs respectivement orthogonaux ` 1 et 1 a b. Calculons les produits scalaires : det( , , ) u v w ( / ) = ( / ) = v w u v w u w u det( , , ) u v w ( / ) = ( / ) = w v w u u v w u Ces deux produits scalaires sont donc de signe opposs uniquement pour e 1 1 = = a 1 u v w u u v w u c. On dduit les autres vecteurs orthogonaux aux plans bissecteurs en permutant les e lettres. Ils se simplient deux par deux dans la sommation : 1 1 = a u v w u u v w u 1 1 b = w v v u v w u v 1 1 = c w u v w w u v w

La question 1. montre ici que lintersection des trois plans bissecteurs (intrieurs) est e e une droite Db dirige par : 1 1 u v w u u v w u 4. Plans mdiateurs. e a. En dcomposant ` laide du projet orthogonal, on obtient que e a e 2 = d(M, D( ))2 + d(M, P( ))2 m v v = d(M, D( ))2 + d(M, P( ))2 w w On en dduit quun point est ` gale distance des droites si et seulement si il est ` e ae a gale distance des plans. e 91 1 1 v w u v v w u v

Corrigs - Pb 8 e b. Ecrivons quun point M est ` gale distance des droites en crivant quil est ` gale ae e ae distance des plans (avec les quations normales) : e |( )| m/ v |( )| m/ w = v w ce qui scrit encore, avec {1, +1}, e ( ) = 0 m/ avec = 1 + v w v w

On obtient donc deux plans mdiateurs associs aux deux vecteurs orthogonaux 1 e e . et 1 c. Exprimons les produits scalaires avec des cos : ( / ) w v ( / ) = + v v = (1 + cos ) = ( + cos ) v v w o` est lcart angulaire entre et . De mme u e v w e w v ( / ) = ( + cos ) On en dduit que lunique vecteur pour lequel les produits scalaires sont de signe e opposs est e = 1 1 = a 1 v w v w d. Les vecteurs b et sobtiennent par permutation circulaire. Les termes se simplient c deux par deux lorsque lon somme les trois. Lintersection des plans mdiateurs est e donc une droite Dm dirige par e 1 1 v w v w 1 1 w u w u

5. Expression des vecteurs directeurs des droites. Plans hauteurs. Avec des doubles produits vectoriels, et apr`s avoir mis en facteur e ( / )( / )( / ) u w v u w v v w w u u v . + . + . u v v w w u Plans bissecteurs. En utilisant la linarit du produit vectoriel et apr`s avoir multipli e e e e par u v v w w u et mis en facteur on trouve det( , , ) u v w + + v w u w u v u v w 1 1 1 u v + v w+ w u v v w w u 92 on trouve :

Plans mdiateurs. En utilisant la linarit du produit vectoriel, on obtient directement : e e e u

Corrigs - Pb 9 e

Probl`me 9 e
1. a. Dapr`s le cours sur la dnition bifocale des coniques, lensemble C est une ellipse de e e foyers F et F . La distance entre le centre et les sommets est le nombre a. b. Lapplication S est une similitude de rapport |u| et dangle un argument de u. Par consquent, pour deux points A et B quelconques : e S(A)S(B) = |u| AB On en dduit que C est lensemble des points M vriant e e S(F )M + S(F )M = 2|u|a Cest ` dire lellipse de foyers S(F ) et S(F ) et de distance centre-sommets gale ` a e a |u|a. 2. a. Lquation de C est e (x + 1 2)2 + y 2 = 2 ( 2 ) b. Par un point M de coordonnes x et y passe un cercle C lorsque, pour x, y, xs, e e il existe un rel vriant la relation prcdente. Rcrivons donc cette relation en e e e e ee lordonnant par rapport ` : a (4 + 2 )2 (4x + 4 + 2 ) + (x + 1)2 + y 2 = 0 Par un point M de coordonnes x et y passe un unique cercle C lorsque la relation e prcdente (considre comme une quation du second degr dinconnue ) admet une e e ee e e unique solution relle. Cela se traduit par la nullit du discriminant. Calculons ce e e discriminant puis formons des conditions quivalentes ` sa nullit : e a e (4x + 4 + 2 )2 4(4 + 2 )((x + 1)2 + y 2 ) = 0 (16 4(4 + 2 ))(x + 1)2 + 82 (x + 1) + 4 4(4 + 2 )y 2 = 0 42 x2 + 42 + 4 4(4 + 2 )y 2 = 0 42 x2 + 4(4 + 2 )y 2 = 2 (4 + 2 ) y2 x2 + 2 =1 2 1+ 4 4

La derni`re relation est une quation rduite. Lensemble E est donc une ellipse de e e e centre lorigine. Laxe focal est laxe Ox car le coecient sous le x2 est plus grand que celui sous le y 2 . On note comme dhabitude a : la distance centre-sommets b : le demi petit axe c : la distance centre-foyers On a a2 = b2 + c2 dans le cas dune ellipse avec : a2 = 1 + 2 4 b2 = 2 4

donc c = 1. Les foyers sont les points de coordonnes (1, 0) et (1, 0). e 93

Corrigs - Pb 9 e c. Lensemble est form par les points M par lesquels passe au moins un cercle e C . Un point M de coordonnes (x, y) est dans lorsque lquation du second e e degr dinconnue dj` considre admet des solutions relles cest ` dire lorsque e ea ee e a le discriminant est positif ou nul. En reprenant les calculs du b., cela se traduit par : x2 y2 + 2 1 2 1+ 4 4 Lensemble est donc le disque elliptique dont le bord est E . 3. a. La bijectivit est vidente (quation du premier degr) la bijection rciproque S e e e e e associe ` un point daxe z le point daxe a ab a+b z+ 2 2 b. Limage par S dun cercle de centre C et de rayon r est un cercle de centre S(C) et 2r de rayon |ab| . c. Dapr`s la question prcdente, et apr`s calculs, on trouve que limage du centre est e e e e le point de coordonnes e 2r2 + 1 De mme, on trouve que le rayon du cercle image est e 2|c| r |a b| 1 r2

On en dduit que le cercle image est un cercle C pour e = r2 4. Soit z1 et z2 des nombres complexes tels que |z1 | = r Il existe alors des rels 1 et 2 tels que e z1 = rei1 On peut alors exprimer : a|z1 |2 + b|z2 |2 + cz1 z2 = ar2 + b(1 r2 ) + cr 1 r2 ei(1 2 ) z2 = 1 r2 ei2 |z1 |2 + |z2 |2 = 1 = 2c ab

Pour r x et 1 , 2 variables, les points dont les axes sont ces nombres complexes e dcrivent un cercle e axe du centre : ar2 + b(1 r2 ) rayon : |c|r 94 1 r2

Corrigs - Pb 9 e 5. Dapr`s 4. D est la runion (pour r entre 0 et 1) des cercles de centre ar2 + b(1 r2 ) et de e e rayon |c|r 1 r2 . 2c . Comme r2 dcrit ]0, 1[, e Limage par S dun tel cercle est un cercle Cr2 pour = ab S(D) est lensemble des points par lesquels passe au moins un cercle C . Donc S(D) = avec = Donc D = S ( ) a Les foyers de S(E ) sont les images par S des points daxes 1 et 1 cest ` dire les points daxes a et b. 2c ab

95

Corrigs - Pb 10 e

Probl`me 10 e
Partie I 1. En crivant des lignes de coecients du binme, on ralise rapidement que les termes e o e augmentent jusquau milieu, dcroissent ensuite. On veut donc montrer que e (n) = n E( n ) 2

On peut le justier (sommairement) par rcurrence. e Supposons que les coecients de la ligne n augmentent puis diminuent, il en est alors de mme de la somme de deux termes conscutifs de cette ligne ce qui prouve (triangle de e e Pascal) la proprit ` lordre n + 1. eea On peut aussi le justier directement en remarquant que : k {0, 1, , n 1} : Dautre part : n nk <1 <k k 2 On en dduit e n nk k {0, 1, , E( )} : 1 2 2 n nk k {E( ) + 1, n 1} : <1 2 2 Ce qui prouve le comportement de la suite dcrit au dbut. e e 2. Dapr`s la question prcdente, e e e (2n) = avec (2n) = Partie II 1. Lorsque deux partie de E ont le mme nombre dlments, une inclusion entre elles entraine e ee lgalit. Lensemble des parties ` p lments de E est donc un ensemble de Sperner. e e a ee 2. Lorsque f 1 ({t}) nest pas vide, il est form des parties A de E telles que e ai = t
iA

n k+1

nk n k k

2n n

(2n 1) =

2n 1 n1

(2n)(2n 1) (n + 1) (2n 1) (n + 1) =2 = 2(2n 1) n! (n 1)!

Pour montrer que f 1 ({t}) est de Sperner, on consid`re A et B avec A B et A = B. e Alors il ne peuvent tre tous les deux dans f 1 ({t}) car les ai tant strictement positifs e e f (B) = f (A) +
iBA

ai > f (A)

96

Corrigs - Pb 10 e 3. On va donner deux dmonstrations. e La premi`re mthode consiste ` compter dabord les couples en les classant suivant le e e a premier ensemble A1 . Comment former un couple de Sperner (A1 , A2 ) ` partir de la donne de A1 de cardinal a e k? Il ne faut pas que la partie A2 soit une partie de A1 ni quelle contienne A1 . Il y a 2k parties de A1 . Il y a 2nk 1 parties contenant A1 autres que A1 (autant que de parties dans le complmentaire). On en dduit donc que lorsque A1 est x il y a e e e 2n 2k 2nk + 1 couples de Sperner (A1 , A2 ) lorsque A1 est de cardinal k. Le nombre total de couples de Sperner est
n1 k Cn (2n 2k 2nk + 1) = (2n + 1)(2n 2) 2((1 + 2)n 1 2n ) k=1

= 22n 2 3n + 2n Ce nombre est ` diviser par 2 car on cherche le nombre de paires et non de couples soit a 22n1 3n + 2n1 La deuxi`me mthode sinspire du principe dinclusion-exclusion 7 . On compte toujours e e dabord les couples mais on commence par les couples qui ne sont pas de Sperner. On doit considrer les couples (A, B) tels que A B privs des couples (A, A). Il y en a e e 3n 2n . (voir feuille exercices Dnombrement) e On doit compter aussi les (A, B) tels que B A Il y en a aussi 3n 2n . Mais attention a ` ne pas dcompter deux fois les (A, A). Comme le nombre total de couple est (2n )2 . Le e nombre de couples de Sperner est 22n (2(3n 2n ) + 2n ) = 22n 3n + 2n1 et on retrouve 22n1 3n + 2n1 paires de Sperner en divisant par deux. Partie III Une cha est enti`rement dnie par une suite injective (a1 , a2 , . . . , an ) dlments de E en ne e e ee posant A1 = {a1 }, A2 = {a1 , a2 }, , An = {a1 , a2 , . . . , an } Ceci dnit une bijection entre lensemble des cha e nes et lensemble des injections de {1, 2, , n} dans E. Il y a donc n! cha nes de lensemble E. Une cha dont le k i`me terme est une partie xe A sobtient ` partir dune suite injective ne e e a ee ee (a1 , a2 , . . . , ak ) dlments de A et dune suite injective (ak+1 , . . . , an ) dlments de E A. Le nombre de ces suites, cest ` dire le nombre cherch de cha a e nes est k! (n k)!
7 voir

Proofs From the Book Springer

97

Corrigs - Pb 10 e Partie IV 1. Considrons une cha (C1 , . . . , Cn ) et une partie de Sperner S telles que lintersection de e ne {C1 , . . . , Cn } avec S soit non vide et contienne une partie A. Cette partie A fait partie de la cha tous les autres lments de cette cha sont contenus dans A ou le contiennent. ne, ee ne Aucun ne peut donc tre dans S par dnition dun ensemble de Sperner. e e 2. Considrons toutes les cha e nes (C1 , . . . , Cn ) qui coupent un ensemble de Sperner S, classons les ` laide de leur unique partie A dans lintersection. a Lorsque A contient k lments, le nombre de cha ee nes coupant S en A est k! (n k)! On en dduit que le nombre total de cha e nes coupant S est (cardA)!(n cardA)!
AS

Ce nombre est videmment plus petit que n! qui est le nombre total de cha e nes. En divisant par n! on obtient donc 1 1 cardA Cn
AS

3. Dapr`s la partie prliminaire, tous les coecients du binme qui interviennent dans la e e o formule prcdente sont plus petits que (n). On en dduit e e e 1
AS

1
n cardA

AS

1 cardS = (n) (n)

Ce qui permet de conclure. On peut remarquer quil existe un ensemble de Sperner ralisant lgalit card S = (n). e e e Par exemple lensemble des parties de E contenant E( n ) lments. ee 2

98

Corrigs - Pb 11 e

Probl`me 11 e
Attention, ce corrig utilise des dnitions et des conditions de stabilit prsentes dans le e e e e e complment de cours 8 sur les suites dnies par rcurrence. Ces dnitions et proprits sont ` e e e e ee a la fronti`re (extrieure) du programme. e e En particulier, pour un point xe c dune fonction f on utilisera : |f (c)| < 1 c est stable |f (c)| > 1 c est instable On utilisera aussi que lorsque I est un intervalle stable pour une fonction f croissante. La suite dnie par rcurrence par f et une condition initiale x0 dans I est monotone. Le sens de la e e monotonie est li au signe de f (x0 ) x0 . Lingalit initiale entre x0 et x1 = f (x0 ) se propage e e e en une ingalit de mme sens entre xn et xn+1 ` cause de la croissance de f . e e e a Lorsquune fonction f est croissante, le tableau des signes de x f (x) x permet donc de dterminer la stabilit dun point xe. e e Partie I 1. a. La fonction fa est strictement dcroissante dans R car pour a ]0, 1[ e fa (x) = (ln a)ax < 0 La fonction f f est donc croissante, les suites (x2n )nN et (x2n+1 )nN sont donc monotones. Pour tudier les points xes de f , on forme g avec g(x) = fa (x) x. Comme fa est e dcroissante, g lest aussi. De plus elle dcroit de ` . Elle sannule donc en un e e a unique point c qui est lunique point xe de f . Il vrie e ac = c b. Si fa (c) = c alors evidemment fa fa (c) = c. De plus : (fa fa ) (c) = fa (c)fa fa (c) = (fa (c))2 Dapr`s le a., on obtient e (fa fa ) (c) = (ln a)2 c2 2. a. Lobjectif de cette question est de donner un outil permettant de comparer facilement |fa (c)| avec 1. e On va comparer ln1 1 et 1 en utilisant la fonction monotone dcroissante fa . e
a

fa (

1 ln a 1 1 1 ln 1 a = a ln a = e ln a = 1)=a e ln a

La fonction g tant dnie comme en 1., on en dduit e e e 1 1 1 1 = g( 1 ) e ln a ln a


8 http

://back.maquisdoc.net/data/cours nicolair/C4792.pdf

99

Corrigs - Pb 11 e Comme g est dcroissante de + vers e 1 1 1 1 1 < e g( 1)>0 1 < c 1 < ( ln a)c | ln a|c > 1 ln a ln a ln a Comme fa (c)| = | ln a|c, on obtient bien lquivalence demande. e e On peut remarquer que lorsque cette galit est vrie, le point xe c de fa est e e e e instable. b. On se ram`ne ` la forme de la question prcdente : e a e e a < ee ee < 1 1 1 1 e < ln 1 < e a a ln a

On en dduit : e a < ee si et seulement si |fa (c)| > 1 cest ` dire c instable. a a > ee si et seulement si |fa (c)| < 1 cest ` dire c stable. a Partie II Lobjet de cette partie est ltude des points xes de f f . On dnit g et h par e e g(x) = f f (x) x 1. a. Un calcul de drive. e e g (x) = f (x)f (f (x)) 1 = ln a ax ln a af (x) 1 = (ln a)2 ah(x) 1 b. Etude de h. h(x) = f (x) + x h (x) = 1 + (ln a)ax h (x) = (ln a)2 ax 0 donc h est croissante. Par dnition f (0) = 1 donc e h (0) = 1 + ln a g (0) = (ln a)2 a0+f (0) 1 = (ln a)2 a 1 Comme f (1) = a, g(0) = a. c. En + : f 0 car 0 < a < 1, do` g , h 1, g 1 u d. Dapr`s 1.a. e g (x) = (ln a)2 ah(x) 1 avec (ln a)2 > 0 et a < 1 donc les variations de g sont opposes ` celles de h. Par e a exemple quand h est croissant, g est dcroissant. e 2. Etude des zros de h . On rappelle que h est croissante avec e h (0) = 1 + ln a h (x) = 1 + (ln a)ax h(x) = f (x) + x

a. Si a > e1 , h (0) > 0 donc h > 0 dans [0, +[. b. Si a e1 , h (0) 0 donc h sannule. En tudiant lquation on trouve que h e e sannule seulement en 1 ln(ln a ) b= 1 ln a 100

Corrigs - Pb 11 e c. Dans le cas a < ee , on a < e1 donc h sannule en b calcul dans la question e prcdente. Alors : e e h (b) = 1 + (ln a)ab = 0 f (b) = ab = Donc f f (b) = ef (b) ln a = e1 Dautre part, g (b) = = (ln a)2 ab+f (b) 1 = (ln a)2 f (b)f f (b) 1 1 ln a 1 1 (ln a)2 1 1 = 1 e ln a e 1 ln a

On en dduit que g (b) > 0 lorsque a < ee et que g (b) < 0 lorsque a > ee . e Remarquer que lon doit toujours avoir a < e1 pour que le b annulant h existe. La suite de la discussion portera donc sur trois cas : a < ee ee < a < e1 e1 < a 3. Cas e1 < a. Dans ce cas g (0) = (ln a)2 a 1 > e1 1 > 0 On peut former dapr`s II.1. le tableau de variations e 0 h h g g + <0 a>0 1 +

La fonction g sannule une fois seulement. Ce point est forcment le point xe c de f . Le e tableau de g montre que ce point xe est attractif pour f f . Les deux suites extraites (indices pairs et indices impairs pour une rcurrence dnie par f f ) sont adjacentes et e e convergent vers c. 4. Cas ee < a < e1 . Cette fois g (b) < 0 dapr`s 2.c. e 0 h g g a b 0 g (b) < 0 + +

La situation est en fait la mme que celle du cas prcdent. La fonction g admet un seul e e e zro qui est le point xe c de f . Il est attractif, les suites extraites convergent vers c. e 5. Cas a < ee . Cette fois on doit trouver un vrai changement de comportement car dapr`s e la partie I., le point xe c de f devient instable. 101

Corrigs - Pb 11 e a. Posons (a) = g (0) = (ln a)2 a 1. Alors (a) = 2 ln a + (ln a)2 = (2 + ln a) ln a On en dduit le tableau suivant : e 0 e2 <0 1 1

avec (e2 ) = e4 1 < 0. On en dduit donc que g (0) est toujours strictement e 2 ngatif. On peut former le tableau e 0 h g g <0 a>0 b1 b 0 g (b) > 0 b2 + + 1

On en dduit que g peut avoir 1, 2 ou 3 zros suivant les signes de et . e e b. On sait que c est un point xe de f et de f f . Cest donc un zro de g. De plus, e dapr`s I.2.b, f (c) < 1 donc g (c) > 0. Comme [b1 , b2 ] est le seul intervalle sur e lequel g est croissante, c est dans cet intervalle donc < 0 et > 0. Par consquent e g sannule trois fois en des points c1 < c < c2 . c. Le tableau des signes de g est alors : 0 + c1 0 c 0 + c2 0 +

Montrons que f (c1 ) = c2 . En eet f f (f (c1 )) = f (f f (c1 )) = f (c1 ) donc f (c1 ) est un point xe de f f donc f (c1 ) {c1 , c, c2 }. Or f (c1 ) = c1 est impossible car c1 est le seul point xe de f . Lgalit f (c1 ) = c est aussi impossible car f est injective (strictement dcroissante) e e e e e avec f (c) = c. La seule possibili est donc f (c1 ) = c2 . On dmontre de mme que e f (c2 ) = c1 . Lorsque a devient strictement plus petit que ee , le point xe c explose en trois points xes. Les deux points xes stables c1 et c2 encadrent un point xe instable c. 0 c1 c c2 Les suites extraites ne sont plus adjacentes mais convergent lune vers c1 lautre vers c2 . Par exemple si x0 < c1 alors (x2n )nN est croissante et converge vers c1 dans [0, c1 ], x1 = f (x0 ) > c2 et (x2n+1 )nN est dcroissante et converge vers c2 dans [c2 , +[. e Si c1 < x0 < c alors (x2n )nN est dcroissante et converge vers c1 dans [c1 , c[, x1 = e f (x0 ) > c2 et (x2n+1 )nN est croissante et converge vers c2 dans ]c, c2 [.

102

Corrigs - Pb 12 e

Probl`me 12 e
Partie I
1. a. b. c. d. Si g est strictement croissante, E =]a, b[. Dans ce cas E =] 1, 0[. Dans ce cas E =]0, [ ], 2[. 2 On peut calculer la drive g (x) = 2x(2x2 +1) et en dduire les variations et lallure e e e du graphe de t4 + t2 . On en tire 1 1 1 E =] 1, [ ] , [ 2 2 2

0,2

0,1

1,0

0,5

0,5

1,0

K K

0,1

0,2

Fig. 11 Question I.1.d. 2. En choisissant les points o` la drive change de signe on choisit les extrema locaux. Prenons u e e par exemple la fonction dont la drive est e e t (t 0.7)(t 1.5) dans lintervalle [0, 2]. Pour une telle fonction, E =]0, 2[ et contient le maximum local en 0.7. 3. Une fonction strictement dcroissante dans ]a, b] ne lest pas forcment dans [a, b] car la e e valeur de f (a) peut tre quelconque. En revanche, si on suppose en plus la continuit en e e a, la valeur de f (a) est alors la limite ` droite en a soit sup]a,b] f . La fonction f est alors a dcroissante dans [a, b]. e Cette dcroissance est stricte car, si f (a) = f (c) pour un c de ]a, b], la fonction f serait e alors constante sur ]a, c]. 103

Corrigs - Pb 12 e

0,3

0,2

0,1

0 0,7 1,5 2

Fig. 12 question I.2 E contient le maximum local 1 4. a. Lensemble E est vide si et seulement si x ]a, b[, y ]x, b] : g(x) g(y) Ceci traduit exactement la dcroissance de g dans ]a, b]. Comme g est continue dans e [a, b], cest quivalent ` la dcroissance de g dans [a, b]. e a e b. La fonction continue g atteint sa borne suprieure M sur le segment [a, b] en un point e / xmax . Il est clair que xmax E donc xmax {a, b} et M {g(a), g(b)}. Les deux cas possibles sont g(a) < g(b) = M et g(a) = g(b) = M . Ils sont illustrs par les graphes des fonctions 1 + (t 0.4)2 et 1 (t 0.5)2 sur [0, 1]. e La rciproque nest pas vraie. Une relation M = g(a) ou g(b) nempche pas que le e e maximum puisse tre atteint en un autre point ` lintrieur du segment. Dans ce cas e a e E ne sera pas ]a, b[. On peut choisir par exemple la fonction cos sur [0, 4].

Partie II
1. Quand x augmente, lintervalle [x, b] se rduit. La fonction est donc dcroissante. e e Pour tudier la continuit de , deux mthodes sont possibles. e e e La premi`re consiste en une tude locale autour dun point x de [a, b[. e e Remarquons dabord que la fonction continue g atteint sa borne suprieure sur [x, b]. Il e existe donc m [x, b] tel que (x) = g(m). Distinguons deux cas. Cas 1. (x) = g(m) > g(x). Alors m ]x, b] et par continuit en x, il existe > 0 tel que e t [x , x] : g(t) < g(m) 104

Corrigs - Pb 12 e

1,2

1,1

1,0 0 0,5 1

Fig. 13 Cas 1. M = g(a) = g(b) On en dduit que (y) = (x) lorsque y [x , m]. Ainsi, la fonction est non e seulement continue mais constante au voisinage de x. Cas 2. (x) = g(m) = g(x). Par continuit de g en x, pour tout > 0, il existe un > 0 tel que e t [x , x + ] : (x) g(t) (x) + On va alors chercher ` encadrer (y) pour y [x , x + ]. a Utilisons dabord dcroissance de : e y [x , x + ] : (x + ) (y) (x ) Dun ct : oe t [x , x] : t [x, b] : g(t) (x) + g(t) (x)

ce qui entra (x ) (x) + . ne De lautre (x) g(x + ) (x + ) ce qui entra (x) (x + ). ne Finalement on a donc y [x , x + ] : (x) (x + ) (y) (x ) (x) + ce qui assure la continuit de en x. e Une deuxi`me mthode possible consiste ` utiliser un rsultat de cours sur les fonctions e e a e monotones. Si f est une fonction monotone dnie sur un intervalle I et si f (I) est un e 105

Corrigs - Pb 12 e

1,3

1,2

1,1

1,0 0 0,4 1

Fig. 14 Cas 2. g(a) < M = g(b) intervalle, alors f est continue dans I. Ce rsultat repose sur ltude des limites des fonctions e e monotones. Il sert en particulier ` prouver la continuit de la bijection rciproque dune a e e fonction bijective, monotone et continue sur un intervalle. Il faudrait alors montrer que limage par de lintervalle [a, b] est un intervalle. La fonction g est continue sur un segment donc borne. Notons e M = g(xm ) = max g
[a,b]

Il est clair que est ` valeurs dans [M, g(b)]. On doit montrer que, pour tout y dans a [M, g(b)], il existe un x [a, b] tel que (x) = y. Cette mthode ne sera pas dveloppe e e e davantage. 2. a. Un lment x de ]a, b[ est dans E si et seulement si g(x) < (x). ee b. Si x E, on sait que (x) g(x) >0 2 En prenant cette quantit comme et en crivant la dnition des continuits de g et e e e e de en x, on obtient facilement linclusion demande. e 3. a. Notons Mx la partie de R dont s(x) est la borne infrieure : e Mx = { ]x, b] tq g(x) < g()} Cest une partie non vide (car x E) de ]x, b], sa borne infrieure s(x) est donc un e lment de [x, b]. ee Il est impossible que s(x) = b. En eet on aurait alors Mx = {b} donc g(x) < g(b). Dans ce cas, la continuit de g en b entra e nerait g(x) < g(y) pour y assez proche de b. Ceci serait en contradiction avec Mx = {b}. On doit donc avoir s(x) ]x, b[. Si y [x, s(x)[, y nest pas un lment de Mx donc g(y) g(x). ee 106

Corrigs - Pb 12 e

0 5 10

Fig. 15 Cas o` g(a) = M = g(B) et E nest pas ]a, b[. u b. Comme g est continue en s(x), la limite de g(y) quand y s(x) dans [x, s(x)[ est g(s(x)). Par passage ` la limite dans une ingalit : a e e g(s(x) g(x)
1 Lorsque n est assez petit pour que s(x) + n < b, le nombre s(x) + minorant de Mx , il existe donc n Mx tel que 1 n

nest pas un

1 n La suite des n converge vers s(x) en vriant g(x) < g(n ). Par passage ` la limite : e a s(x) n < s(x) + g(x) g(s(x)) et nalement g(x) = g(s(x)) Si y [x, s(x)[, il nest pas un lment de Mx , donc ee g(y) g(x) De plus pour tous les Mx : g(x) < g() On a donc prouv lexistence dun tel que : e y < s(x) b g(y) g(x) < g() Ce qui assure que y est un lment de E. ee 107

Corrigs - Pb 13 e

Probl`me 13 e
Partie I 1. On doit vrier que Z[ d] contient 1 et quil est stable pour laddition et la multiplication. e Cela ne pose pas de probl`me : e (x + dy) + (x + dy ) = (x + x ) + d(y + y ) (x + dy)(x +
Z

dy) = (xx + d2 yy ) +
Z

d(xy + x y)
Z

2. On vrie sans dicult que c(1) = 1 et e e (z, z ) Z[ d]2 : c(z + z ) = c(z) + c(z ), c(z + z ) = c(z)c(z ) 3. Dapr`s la question prcdente, pour tous z et z dans Z[ d], e e e N (zz ) = zz c(z)c(z ) = zc(z)z c(z ) = N (z)N (z ) 4. Si z est inversible dinverse z zz = 1 N (zz ) = 1 N (z)N (z ) = 1 N (z) {1, +1} car N (z) et N (z ) sont entiers. Rciproquement, si N (z) {1, +1}, comme N (z) = zc(z), e z est inversible dinverse N (z)c(z). Partie II 1. Lensemble contenant zz sobtient simplement par la r`gle des signes car c(zz ) = c(z)c(z ). e Cela donne le tableau suivant I++ I+ I+ I I++ I++ I+ I+ I I+ I+ I++ I I+ I+ I+ I I++ I+ I I I+ I+ I++

1 1 Le signe de z est le mme que celui de z , le signe de c(z) est le mme que celui de c(z) les e e quatre ensembles I++ , I+ , I+ , I sont donc stables par inversion. 2. Les stabilits ncessaires ont t dmontres lors de la question prcdente. e e ee e e e e 3. On a admis que I = {1, +1}, il existe donc un z dans I de module dirent de 1. Alors e z 2 = 1 et z 2 I++ dapr`s le tableau II 1. e

Partie III Notons D+ la droite dquation x + d y = 0 et D la droite dquation x d y = 0. Si M e e est un point de coordonnes (x, y), on peut interprter e e X = x d y, Y = x + d y comme les coordonnes de M dans un rep`re attach ` ces droites. On en dduit la gure suivante. e e ea e

108

Corrigs - Pb 13 e
x I+ dy = 0 Y

I++

I+ x+ X dy = 0

Fig. 16 Partie III Partie IV 1. On peut remarquer que si z = x + y d est un lment de Z[ d] alors ee x= 1 1 (z + c(z)), y = x = (z c(z)) 2 2 d

Lorsque z I++ , z et c(z) sont strictement positifs donc x aussi. Dans ce cas N (z) = zc(z) > 0 donc N (z) = 1 1 Lorsque z I++ avec z > 1, c(z) = z < 1 < z donc y > 0 2. Dapr`s les questions prcdentes, X est une partie non vide de N , elle admet donc un e e e plus petit lment not u. ee e 3. Dapr`s la dnition de dans la question prcdente, il existe m I++ tel que m > 1 et e e u e e v N tel que m = u + d v. On va montrer que m est le plus petit lment de {z I++ tq z > 1} ee Comme m est dans cet ensemble, on doit montrer seulement que m est un minorant de cet ensemble. Considrons un z > 1 dans I++ , il existe x et y naturels non nuls tels que z = x + d y. e Comme x X on a u x. Dautre part, comme N (z) = 1 x2 dy 2 = 1 y2 = 1 2 1 (x 1) 2 (u2 1) = v 2 2 d d

Comme v et y sont positifs 0 < v < y et nalement par addition des deux ingalits e e z = x + dy u + dv = m Partie V 1. Cette question est un analogue multiplicatif de ltude des sous-groupes additifs de Z. e Par dnition m > 1, si z est un lment de I++ strictement plus grand que 1, il existe un e ee naturel non nul n tel que mn z < mn+1 , 1 mn z < m 109

Corrigs - Pb 13 e De plus mn z I++ et, par dnition de m, la relation mn z < m interdit ` mn z dtre e a e strictement plus grand que 1. Ainsi mn z = 1, z = mn 1 Lorsque z < 1, on se ram`ne ` la question prcdente en considrant z e a e e e e 2. a. Si z I+ , z 2 I++ dapr`s le tableau II 1. b. Dapr`s la question 1, il existe n Z tel que z 2 = mn . Si n tait pair de la forme 2k, e e on aurait z = mk ou z = mk . Ceci est impossible car mk I++ etmk I . Ainsi n est forcment impair, de la forme 2k + 1 donc e z 2 = m2k+1 z = (zmk )2 avec zmk I+ dapr`s le tableau II 1. e 2 c. Si z I+ , z I++ , il existe donc un entier n tel que z 2 = mn = w2n . On en dduit e z = wn car wn I+ Partie VI 1. Comme 9 2 4 = 1, il est clair que 3 + 2 2 est bien dans I++ . En utilisant les notations des parties IV et V, il sagit maintenant de montrer que m = 3 + 2 2 en prouvant que 3 = min X. Lquation 4 2y 2 = 1 na pas de solution enti`re e e donc 2 X. Ceci montre que 3 est bien le plus petit lment de X. ee Comme (1 + 2)2 = 3 + 2 2, w = 1 + 2 engendre I+ 2. a. Remarquons quun carr dentier est congru ` 0 ou 1 modulo 4. On en dduit que e a e x2 3y 2 est congru ` 0 ou 1 ou 2 mais jamais ` -1 modulo 4. Il est donc impossible a a que pour x et y entiers x2 3y 2 soit gal ` -1. e a Ici I+ et I sont vides. b. Comme 2 + 3 I++ , 2 X. Dautre part, 1 X donc 2 = min X, 2 + 3 = m engendre I++ c. Les solutions sont les couples 1 1 (z + c(z)), (z c(z))) 2 2 d o` z dcrit I. Ici I = I++ I+ . Les couples attachs aux lments de I+ sont les u e e ee opposes de ceux de I++ . e Comme I++ =< 2 + 3 > formons les suites (un )nZ , (an )nZ , (bn )nZ en posant un = (2 + 3)n = an + bn 3 Ces suites sont dnies par rcurrence e e a0 = 2 an+1 = 2an + 3bn bn+1 = an + 2bn Les solutions sont tous les couples (an , bn ), (an , bn ) lorsque n dcrit Z. e 110 b0 = 1 an1 = 2an 3bn bn1 = an + 2bn

Corrigs - Pb 14 e

Probl`me 14 e
Partie I.
1. a. Avec les oprations dnies dans le produit cartsien de deux espaces vectorieils, la e e e linarit est vidente : e e e ((a, b) + (a , b )) = ((a + a , b + b )) = (a + a ) + (b + b ) = (a + b) + (a + b ) = ((a, b)) + ((a , b )) et par un dveloppement analogue : e ((a, b)) = ((a, b)) Limage de est A + B par dnition de la somme de deux sous-espaces. e b. Montrons que ker = {(a, a), a A B}. Cela montrera que ker est limage de A B par lapplication a (a, a) qui est clairement linaire et injective (donc un isomorphisme entre A B et ker ). e Il est vident que, (a, a) ker pour a A B. Cela entra une inclusion. e ne Rciproquement : e (a, b) ker a = b A B
A B

prouve lautre inclusion. c. Par isomorphisme, la dimension du noyau est celle de lintersection. Le thor`me du e e rang entra alors la formule demnde. ne e 2. Soit (a1 , , ap ) une base de A (tout sous-espace dun espace de dimension nie est de dimension nie). On va montrer que (a1 , , ap , x) est une base de V = Vect(A {x}). Cela assurera que dim (Vect(A {x})) = p + 1 = dim A + 1 Remarquons dabord que tous les vecteurs de cette famille sont dans A {x} donc dans V . Montrons ensuite que (a1 , , ap , x) engendre V . En eet Vect(a1 , , ap , x) est un sousespace vectoriel qui contient A = Vect(a1 , , ap ) et x donc, par dnition dun espace e vectoriel engendr : e V Vect(a1 , , ap , x) Cette inclusion signie exactement que (a1 , , ap , x) engendre V . Montrons enn que (a1 , , ap , x) est libre. Comme on sait que (a1 , , ap ) est libre, si (a1 , , ap , x) tait e lie, x serait combinaison linaire de (a1 , , ap ) donc x serait dans A. e e Cette famille est donc libre et gnratrice, cest une base de V . e e 3. Soit A et B deux hyperplans distincts de E. Comme ils sont distincts, ils ne sont pas mutuellement inclus lun dans lautre. Il existe donc un vecteur x qui est dans lun et pas dans lautre. Disons que x B et x A (le raisonnement se ferait de la mme mani`re e e dans lautre cas). Dapr`s la question prcdente : e e e dim (Vect(A {x})) = dim A + 1 = dim E car A est un hyperplan.On en dduit e Vect(A {x}) = E 111

Corrigs - Pb 14 e Comme A + B est un sous-espace vectoriel qui contient A et x : Vect(A {x}) A + B On en dduit e E =A+B dim E = dim(A + B) = dim A + dim B dim(A B) dim E = 2(dim E 1) dim(A B) dim(A B) = dim E 2 = dim B 1 Ceci montre bien que A B est un hyperplan de B. 4. Soit A un sous espace vectoriel de E qui nest pas E. Ce sous-espace A admet une base e (a1 , , ap ) (avec p < dim E = n). Cette base est une famille libre de E. Dapr`s le thor`me de la base incompl`te, il existe des vecteurs bp+1 , bn tels que e e e (a1 , , ap , bp+1 , bn ) Soit une base de E. Il est alors vident que e Vect(a1 , , ap , bp+1 , bn1 ) est un hyperplan qui contient A.

Partie II.
1. La linarit est vidente. De plus, e e e x ker f x + f (x) = 0E x = f (x) A B = {0E } assure linjectivit. Dapr`s le thor`me du rang, on peut en dduire que e e e e e dim(Im f ) = dim Af = dim A 2. On sait dj` que Af est de la bonne dimension. Il sut donc de montrer que le noyau est ea rduit ` 0E . e a x Af B a A, b B tel que x = a + f (a) = b a = b f (a) A B a = 0E x = 0E 3. Soit f et g deux applications linaires de A dans B telles que Af = Ag . Alors, pour tout e aA: a + f (a) Af = Ag a A tel que a + f (a) = a + g(a ) alors a a = g(a ) f (a) A B a = a f (a) = g(a) en rinjectant dans a + f (a) = a + g(a ). On en dduit e e f =g 112

Corrigs - Pb 14 e 4. Soit f = pB,A1 avec les notations de lnonc. Pour tout x Af , il existe a A tel que e e x = a pB,A1 (a) = pA1 ,B (a) A1 Ainsi : Af A1 Mais comme les deux sous-espaces sont de mme dimension : e Af = A1 5. Les questions prcdentes montrent que e e f Af dnit une bijection entre L(A, B) et lensemble des supplmentaires de B. e e La question 2 assure que Af est bien un supplmentaire. La question 3 assure linjectivit e e et la question 4 assure la surjectivit. e 6. Lensemble des supplmentaires ` une droite vectorielle xe B est en bijection avec L(H, B) e a e o` H est un supplmentaire de B (on sait quil en existe). Comme L(H, B) est un espace u e vectoriel de dimension dim B dim H = dim E 1 = n1, il est en bijection avec Kn1 donc inni lorsque K est inni. Lensemble de tous les hyperplans est donc galement inni. e 7. si K est ni de cardinal q. Lespace E de dimension nie n est en bijection avec Kn donc ni et E = qn Le rsultat de la partie III est faux car lensemble des sous-espaces vectoriels est ni lui e aussi. Lensemble de tous les hyperplans est gal ` E. e a Comme lensemble des supplmentaires de B est en bijection avec L(A, B) qui est de e dimension dim A dim B, le nombre de ces supplmentaires est : e q dim A dim B

Partie III.
a. La famille (a1 ) est libre car le vecteur est non nul, on peut former une base de deux vecteurs par le thor`me de la base incompl`te. e e e b. Si i est nul, ai A1 donc Ai = A1 or on a suppos les sous-espaces deux ` deux e a distincts. i c. Il sut de choisir un dirent de tous les i . Cest possible car le corps est inni. e 2. On va raisonner par rcurrence sur la dimension de lespace. e La proprit est vraie lorsque dim E = 2 ` cause de la question prcdente. ee a e e Montrons maintenant que la proprit ` lordre n 1 entraine la proprit ` lordre n. eea eea Considrons une famille (A1 , , Ap ) dhyperplans deux ` deux distincts dans un espace e a E de dimension n. Comme lensemble des hyperplans est inni, il existe un hyperplan H qui est distinct de tous les Ai . Dapr`s la question I.3., chaque Ai H est un hyperplan e de H. Ils ne sont pas forcment deux ` deux distincts mais on peut en extraire une famille e a e a (B1 , , Bq ) (avec q p) formes dhyperplans de H deux ` deux distincts. alors : A1 Ap = E (A1 H) (A1 H) = H B1 Bq = H en contradiction avec la proprit applique ` H pour la dimension n 1. ee e a 113 1.

Corrigs - Pb 14 e 3. Lorsque la famille nest pas forme dhyperplans, on peut inclure chaque Ai dans un hye perplan dapr`s I.4. et utiliser la question prcdente. e e e 4. a. Si x nest pas dans lunion des Ai , il nest dans aucun et Vect(x) Ai = {0E } dim (Vect(x) + Ai ) = 1 + dim Ai = dim E Vect(x) + Ai = E Ainsi Vect(x) est un supplmentaire commun aux Ai . e b. On dmontre le rsultat par une rcurrence descendante. On sait que lorsque les Ai e e e sont de dimension dim E 1, ils admettent un supplmentaires communs. e Montrons que le rsultat pour des sous-espaces de dimension p + 1 entraine le rsultat e e pour des sous-espaces de dimension p. Considrons donc des Ai de dimension p. Dapr`s 3., il existe un vecteur x nappartee e e e nant ` aucun des Ai . Formons la famille des Vect(Ai {x}). Dapr`s lhypoth`se de a rcurrence, il existe un supplmentaire commun B ` ces sous-espaces. On vrie alors e e a e facilement que Vect(B {x}) est un supplmentaire commun aux Ai . e

114

Corrigs - Pb 15 e

0,4

0,2

0,2

0,4

Fig. 17 graphe de n pour n = 4

Probl`me 15 e
1. a. Le graphe de n est une parabole tronque. La fonction est continue dans R, C dans e 1 1 chaque intervalle mais elle nest pas drivable en n et n e b. Le calcul de lintgrale ne prsente pas de dicults. e e e
1 n

n (t)dt =
1 n

3n 4

2 n2 2 3 n 3n

=1

2.

a. En faisant le changement de variable u = x + t dans la dnition de fn (x), on obtient : e 3n fn (x) = 4


1 x+ n

n (u x)f (u)du
1 x n

Dveloppons n (u x) et ordonnons suivant les puissances de u avant dintgrer en e e utilisant le linarit e e 3n fn (x) = 4 (1 n x )
1 x n

2 2

1 x+ n

f (u)du + 2n

1 x+ n

uf (u)du
1 x n 1 x+ n 1 x n

n2

u2 f (u)du

115

Corrigs - Pb 15 e Les trois intgrales qui gurent dans la parenth`se sexpriment ` laide de primitives e e a de u f (u), u uf (u), u u2 f (u). Cette expression montre donc bien que fn est C 1 . Elle permet aussi le calcul de fn (x). fn (x) = 3n 4 2n2 x
1 x+ n

f (u)du
1 x n

+(1 n2 x) f (x + +2n2 +2n2 x (x +


1 x+ n

1 1 ) f (x ) n n uf (u)du

1 x n

1 1 1 1 )f (x + ) (x )f (x ) n n n n 1 1 1 1 n2 (x + )2 f (x + ) (x )2 f (x ) n n n n

1 1 Dveloppons et regroupons les termes en f (x n ) et f (x n ). Ils sannulent et il ne e reste que les intgrales qui se regroupent en e

3n3 fn (x) = 2

1 x+ n

(u x)f (u)du
1 x n

Le changement de variable t = u x dans cette derni`re intgrale conduit au rsultat e e e demand : e 1 3n3 n fn (x) = tf (x + t)dt 1 2 n 3. a. Utilisons le calcul de lintgrale de n pour exprimer la dirence comme une intgrale e e e que lon majore de mani`re tr`s classique : e e
1 n 1 n

|fn (x) f (x)| =


1 n 1 n

n (t)f (t)dtf (x)


1 n

n (t)dt
1 n

=
1 n

n (t)(f (t) f (x))dt


1 n 1 n

n (t) |f (t) f (x)| dt


1 n

1 n

n (t)Mn dt = Mn
1 n

n (t)dt = Mn

On a utilis le fait que n est ` valeurs positives dans lintervalle. e a b. Dans cette question, on utilise le thor`me de Heine. Toute fonction continue sur un e e segment est uniformment continue. e Pour tout > 0, il existe un > 0 tel que , pour tous x et y dans J : |x y| < |f (x) f (y)| < Considrons un entier N tel que pour tout entier n, e 1 < n Alors, pour tout x dans J et n N , Mn (x) < donc Kn < . Ceci entraine que (Kn )nN converge vers 0. nN 116

Corrigs - Pb 15 e c. Pour tout rel x x, on peut considrer un segment J qui le contienne (par exemple e e e de longueur 1 et de milieu x). La question prcdente prouve la convergence vers 0 de e e la suite des Kn attache ` ce segment.Comme e a |fn (x) f (x)| Kn On en dduit que (fn (x))nN converge vers 0. e 4. a. Introduisons le dveloppement dnissant Rx dans lexpression de la drive trouve e e e e e en 2.b. Par linarit, on obtient : e e 3n3 fn (x) = f (x) 2
1 n

tdt
1 n

3n3 + f (x) 2

1 n 1 n

t2 dt + 3n3 f (x) 2
1 n 1 n

t2 Rx (t)dt

Si on est particuli`rement scrupuleux, on peut se poser la question de la continuit de e e e e e e Rx an de justier son intgrabilit. Par dnition mme, Rx est clairement continue sauf en 0 o` elle nest pas vraiment dnie. On peut prolonger Rx par continuit en u e e posant Rx (0) = 0 car le fait que Rx converge vers 0 en 0 est la dntion mme de la e e drivabilit de f en x. e e 2 Les intgrales de t et de t2 valent respectivement O et 2n . On en dduit : e e 3 fn (x) = f (x) + 3n3 f (x) 2
1 n 1 n

t2 Rx (t)dt

b. Majorons |fn (x) fn (x)| en utilisant les expressions prcdentes. e e 3n3 |fn (x) fn (x)| = 2
1 n 1 n

3n3 t Rx (t)dt 2
2

1 n 1 n

t2 |Rx (t)| dt
1 n 1 n

3n3 2

t2 max |Rx |dt = max |Rx |


In (x) In (x)

Comme, pour x x, Rx converge vers 0 en 0, la suite des maxIn (x) |Rx | converge vers e 0. On en dduit que (fn (x))nN converge vers f (x). e

117

Corrigs - Pb 16 e

Probl`me 16 e
1. a. Le calcul des intgrales se fait avec des intgrations par parties. On obtient : e e
1

t2 cos(kt)dt =
0

2(1)k (k)2

,
0

t cos(kt)dt = (2c + d)(1)k d (k)2

(1)k 1 (k)2

On en dduit e
0

(ct2 + dt) cos(kt)dt = b. La relation

(2c + d)(1)k d = 2 est valable pour tous les k si et seulement si 2c + d = 0 et d = 2 . On en dduit que e le couple (a, b) cherch est e 2 , b = 2 a= 2 2 1 2 1 (t 2t) cos(kt)dt = 2 2 0 k c. La transformation demande se fait avec a) et b) : e
1

(at2 + bt)
0

1 + 2

cos(kt) dt =
k=1

1 2

(at2 + bt)dt +
0

a b + + 6 4

k=1 n

1 k2
n

k=1

2 1 = + k2 6

k=1

1 k2

2. Le dbut du calcul utilise une suite gomtrique de raison e2i = 1 e e e


n

1+2
k=1

cos 2k = 2 Re (1 + e2i + (e2i )n 1 = 2 Re =2

1 e2i(n+1) 1 1 e2i

sin(n + 1) cos n 1 1= (2 sin(n + 1) cos n sin ) sin sin

On transforme alors le dernier sin en crivant = (n + 1) n e sin = sin(n + 1) cos n cos(n + 1) sin n Ce qui conduit ` : a
n

1+2
k=1

cos 2k =

sin(2n + 1) sin

3. Comme f est C 1 , on peut procder ` une intgration par parties : e a e


1

f (t) sin(t)dt =
0

1 f (0) cos f (1) +

cos tf (t)dt
0

On en dduit e
1

|f (0)| + |f (1)| + sup|f (t)| f (t) sin(t)dt


[0,1]

0 ce qui prouve bien la convergence vers 0 pour en +. 118

Corrigs - Pb 16 e 4. ` a. La fonction f est clairement de classe C sur ]0, 1]. A laide dune tude locale en 0, e on va montrer que f est continue en 0 et que f|]0,1[ converge en 0. Ceci prouvera le caract`re C 1 de la fonction sur [0, 1] dapr`s le thor`me de la limite de la drive. e e e e e e Les quivalences, limites et dveloppements suivants sont tous en 0. e e t2 2t 2t , sin t t 2 2 , f 2 2 = 4 2

2 2 2t 2 (t 2t) cos 2 t f (t) = 2 4 sin t sin2 t 2 2 2 + 2t 4 1t 2t 2 4 = = (1 t + o(t)) = t 1 + o(t) t t) t + o(t sin t 2 2 (t2 2t) cos t 2 2 = (2t + t )(1 + o(t)) 2 2 sin2 t t + o(t3 ) 2 4 t (2t + t2 + o(t2 )) 8 1 2 + o(t) = = 2 t 1 + o(t) 2 2 3) t + o(t 4 = do` en combinant les deux parties : u f (t) = 2 2 ( + o(1)) 4 2 8 t (1 + o(t)) 2t 2

2 Cest ` dire que la drive de la restriction de f ` ]0, 1[ converge en 0 vers a e e a ce qui entraine que f est drivable en 0 avec e f (0) = et que f est continue en 0. b. Notons
n

sn =
k=1

1 k2

Dapr`s 1.c : e
1

(
0

2 2 t 2 t) 2

1 + 2 119

cos(kt) dt =
k=1

2 + sn 6

Corrigs - Pb 16 e t puis la fonction f dnie en 4. : e 2

Utilisons alors 2. avec =


1 0

t sin(n + 1) 2 2 2 2 = + s ( t 2 t) n t 2 6 2 sin 2 1 2 t + sn f (t) sin(2n + 1) = 2 6 0 (2n + 1) ) alors la convergence de (sn )nN vers 2 2 6

La question 3 montre (avec =

120

Corrigs - Pb 17 e

Probl`me 17 e
1. On dnit f (x) = e Riemann
1 (1+x)2

dans [0, 1]. On peut alors interprter an comme une somme de e 1 an = n 1 k 1 f( ) = k n n (1 + n )2 k=1 k=1
n n

La suite (an )nN converge donc vers


1 0

1 1 dx = 2 (1 + x) 1+x

=
0

1 2

n 2. Dapr`s la question prcdente, bn est la dirence entre lintgrale et sa somme de Riee e e e e mann. On dcoupe en utilisant la subdivision rguli`re : e e e

bn = n

k n

f (x)dx
k=1
k1 n

1 k f( ) n n
k n

Notons F une primitive de f et appliquons la formule de Taylor-Lagrange ` F entre a k1 . n k Il existe xk k1 , n tel que n F( Ceci scrit encore e k 1 k 1 k1 ) = F ( ) f ( ) + 2 f (xk ) n n n n 2n
k n

et

f (x)dx
k1 n

1 1 k f ( ) = 2 f (xk ) n n 2n 11 2n
n

Revenons ` bn : a bn =

f (xk )
k=1

Comme f est continue, cela sinterpr`te encore comme une somme de Riemann car chaque e xk appartient ` k1 , n . On en dduit que (bn )nN converge vers a n k e 3 1 (f (1) f (0)) = 2 8

121

Corrigs - Pb 18 e

Probl`me 18 e
1. Notons q le cardinal de lensemble X, ` chaque y X, on peut associer une fonction fy a dnie dans X par : e 1 si x = y x X : fy (x) = 0 si x = y Notons X = {y1 , y2 , , yq } Alors tout lment f F(X, C) scrit de mani`re unique sous la forme ee e e f = f (y1 )fy1 + f (y2 )fy2 + + f (yq )fyq Ce qui assure que fy1 , fy2 , , fyq est une base de F(X, C) et donc que dim (F(X, C)) = q On en dduit e pq car p est la dimension de V qui est un sous-espace vectoriel de F(X, C). 2. a. Remarquons dabord que, dapr`s la question prcdente, e e e dim (F(A, C)) = p = dim V Lespace de dpart et lespace darrive de la fonction restriction R ont donc la mme e e e dimension. Pour montrer que R est un isomorphisme, il sut de montrer quelle est injective ou surjective. On va montrer quelle est injective. Soit f ker R. Cest une fonction de X dans C qui est nulle sur tous les lments de ee A. On veut montrer que cest la fonction nulle cest ` dire quelle est prend aussi la a valeur 0 pour les lments de X qui ne sont pas dans A. ee Considrons un tel lment x X A et llment x qui lui est associ dans V . e ee ee e Comme (x , , x ) est une base de V , il existe 1 , , p dans C tels que p 1 x = 1 x + + p x 1 p Prenons alors la valeur en f V : x (f ) = 1 x (f ) + + p x (f ) 1 p Ce qui scrit encore : e f (x) = 1 f (x1 ) + + p f (xp ) = 0 car f est nulle sur A. 122

Corrigs - Pb 18 e b. Considrons, comme en 1, les fonctions f1 , , fp dnies dans A par : e e (i, j) {1, , }2 : fi (xj ) = 1 si i = j 0 si i = j

La famille (f1 , , fp ) est une base de F(A, C), comme R est un isomorphisme, il existe une base de V (v1 , , vp ) dnie par e i {1, , p} : R(vi ) = fi Ces relations traduisent exactement les conditions demandes e (i, j) {1, 2, }2 : vi (xj ) = 3. 1 si i = j 0 si i = j

a. Comme V est de dimension p il contient des vecteurs non nuls cest ` dire des fonctions a non identiquement nulles. Soit v V lune dentre elles. Comme cette fonction nest pas identiquement nulle, il existe x X tel que f (x) = 0 x (f ) = 0 Ce qui siginie que x nest pas le vecteur nul de V . La famille (x ) est donc libre. b. Considrons une famille (x1 , , xq ) vriant e e (x , , x ) libre 1 q x X : (x , , x , x ) lie e 1 q Il en existe dapr`s la question prcdente. e e e e a Comme (x , , x ) est une famille libre de V qui est de dimension p gale ` celle q 1 de V (rsultat de cours), on a forcment q p. e e Dautre part, les conditions entrainent aussi que, pour tout x X, x Vect x , , x 1 q Autrement dit : x X, (1 (x), , q (x)) Cq tel que x = 1 (x)x + + q (x)x 1 q Ceci dnit des fonctions (1 , , q ) de X dans C. e Prenons alors la valeur en v V x X, v V : x X, v V : v V : ce qui entraine v Vect(1 , , q ) pour tous les v V . On en dduit que dim V = p q et donc que p = q. La famille e libre (x , , x ) est alors une base de V . p 1 123 x (v) = 1 (x)x (v) + + q (x)x (v) 1 q v(x) = 1 (x)v(x1 ) + + q (x)v(xq ) v = v(x1 )1 + + v(xq )q

Corrigs - Pb 19 e

Probl`me 19 e
Partie I
1. Pour i entre 1 et m, considrons le polynme e o i = X i X j ij

j{1, ,m}{i}

Cest un polynme de degr m qui satisfait aux contraintes imposes par lnonc. Cest o e e e e le seul polynme de degr m satisfaisant ` ces contraintes car si Ui en est un autre, le o e a polynme Ui i est de degr au plus m avec m + 1 racines donc Ui i est nul. o e 2. Dapr`s la question prcdente, le coecient dominant de i est : e e e 1 (1)mi 1 = i (i 1) (1)(1) (i m) i!(m i)! 3. Un polynme P est divisible par X si et seulement si P (0) = 0. Lespace E est donc un o hyperplan de Rn [X] noyau de la forme linaire P P (0) = 0. Comme Rn [X] est de e dimension m + 1, on en dduit e dim E = m Pour montrer que (1 , , m ) est une base, il sut donc de montrer cette famille est libre. Si 1 , , m sont tels que 1 1 + + m m = 0 on peut substituer un j quelconque entre 1 et m ` X. On obtient alors j = 0 ce qui prouve a que la famille est libre. On obtient les coordonnes dun polynme P de E dans cette base par une substitution e o analogue : P (1) . Mat P = . .
L

P (m) 4. La drivation et la substitution de 0 ` X sont des oprations linaires, lapplication e a e e propose par lnonc est donc bien une forme linaire. Par dnition, la matrice dune e e e e e forme linaire dans une base est constitue par la ligne des valeurs de la forme aux vecteurs e e de base. Cela donne ici : Mat = Mat = (m) (0) 1 L L(1) m (0)
(m)

Comme les polynmes considrs sont tous de degr m, seuls les coecients dominants o ee e subsistent. Le terme 1, i de MatL est donc (1)mi m! m = (1)mi i!(m i)! i On en dduit : e Mat = Lm
L

124

Corrigs - Pb 19 e 5. Comme les coordonnes dun polynme P E dans L sont formes par les valeurs du e o e polynme en 1, , m, la matrice Vm sinterpr`te comme la matrice dans L de la famille o e X = (X, X 2 , , X m ) Il est clair que cette famille est une base de E. La matrice Vm est donc une matrice de passage entre deux bases. Vm = PLX = Mat idE
XL

Sa matrice inverse est la matrice des polynmes de L dans X . Dapr`s la question 2., on o e connait le coecient dominant dun Li . Un tel coecient est la derni`re coordonne de e e 1 e e lexpression de Li dans la base X . On peut en dduire la derni`re ligne de la matrice Vm . e 6. On peut crire le produit matriciel Lm Vm comme la matrice dune forme linaire : e Lm Vm = Mat Mat idE = Mat = 0
L(1) XL (1)X

m!

car tous les (X i ) sont nuls sauf (X m ) qui vaut m!.

Partie II
1. Le dveloppement limit en 0 de la fonction exponentielle est usuel, on en dduit : e e e ekx = 1 + k ki km m x + + xi + + x + o(xm ) 1! i! m! (ex 1)m = xm + o(xm ) 3. Par dnition du produit matriciel : e
m m

2. En 0, on a ex 1 x. On en dduit sans calcul le dveloppement ` lordre n : e e a

terme 1, j de Lm Vm =
k=1

terme 1, k de Lm terme k, j de Vm =
k=1

(1)mk

m j k k

4. Dveloppons (e 1) e

avec la formule du binme : o


m

(ex 1)m =
k=1

(1)mk

m kx e k

e a e On en dduit que le terme 1, j de Lm Vm est gal (` multiplication pr`s par i!) au coecient e de xi dans le dveloppement limit de (ex 1)m . On connait ce dveloppement. On en dduit e e e e que tous ces termes sont nuls sauf le dernier. Lm Vm = 0 0 0 m!

Partie III
1. a. Ecrivons les deux formules de Taylor demandes : il existe un rel yh entre x et x + h e e et un rel zh entre x et x h tels que e h2 f (yh ) f h2 f (x h) = f (x) hf (x) + f (zh ) f f (x + h) = f (x) + hf (x) + 125

Corrigs - Pb 19 e b. En formant la dirence entre les deux relations prcdentes, on limine les f (x) et e e e e on exprime f (x) : f (x + h) f (x h) f (x) = On majore en valeur absolue en utilisant |f (x + h)| M0 , On en dduit e |f (x h)| M0 , |f (yh )| M2 , |f (zh )| M2 2h h2 (f (yh ) f (zh )) 2

2M0 + h2 M2 M0 M2 = + h 2h h 2 c. Lingalit prcdente montre que |f | est majore par e e e e e |f (x)| M0 M2 + h h 2 pour nimporte quel h > 0. En tudiant la fonction e h M2 M0 + h h 2

cherchons la valeur de h permettant dobtenir le plus petit majorant. La drive de e e cette fonction est M0 M2 2 + h 2 Elle sannule en 2M0 M2 qui est le minimum absolu. La valeur de la fonction associe est : e M0 2. M2 M2 + 2M0 2 2M0 = M2 2M0 M2

a. Ecrivons les deux formules de Taylor ` lordre trois. On garde les mmes notations : a e e il existe un rel yh entre x et x + h et un rel zh entre x et x h tels que e h2 h3 f (x) + f (3) (yh ) f 3! h3 (3) h2 f (x h) = f (x) hf (x) + f (x) f (zh ) f 3! f (x + h) = f (x) + hf (x) + b. En formant la dirence entre les deux relations prcdentes, on limine les f (x) et e e e e les f (x) et on exprime f (x) : f (x + h) f (x h) f (x) = On majore comme plus en valeur absolue : |f (x)| 126 M3 2 M0 + h h 6 h3 (3) (f (yh ) f (3) (zh )) 3! 2h

Corrigs - Pb 19 e On tudie encore la fonction de h qui gure au second membre. Sa drive est e e e Elle sannule en 3M0 M3 M0 M3 + h h2 3
1 3

qui est le minimum absolu. La valeur de la fonction en ce point est


2 1 1 1 1 2 1 1 2 2 1 1 2 9M0 M3 3 3 M03 M33 + 3 3 M03 M33 = 3 3 M03 M33 = 2 2 2 1 3

c. En appliquant les rsultats de la premi`re question ` f qui est borne ainsi que sa e e a e drive seconde on obtient que la drive de f cest ` dire f est borne. e e e e a e

Partie IV
1. Pour i entre 1 et n 1, le produit matriciel dnissant yi conduit ` e a yi = ih (ih)2 (ih)n1 f (x) + f (x) + + f (x) 1! 2! (n 1)!

On peut linterprter ` laide dune formule de Taylor avec reste de Lagrange ` lordre n e a a entre x et x + ih. Il existe zi entre x et x + ih tel que yi = f (x + ih) f (x) On en dduit e |yi | 2M0 + (ih)n ((n 1)h)n Mn 2M0 + Mn = K h n! n! (ih)n (n) f (zi ) n!

2. On multiplie ` gauche par Ln1 la relation matricielle dnissant les yi et on exploite le a e rsultat prouv dans les parties I et II. avec m = n 1 e e Ln1 Vn1 = 0 On obtient y1 . Ln1 . = 0 . yn1 h f (x) 1! h2 f (x) 2! . . . 0 (n 1)!

(n 1)! hn1 (n1) f (x) (n 1)!

qui donne exactement la relation demande e


n1

(1)n1i
i=1

n1 yi = hn1 f (n1) (x) i 127

Corrigs - Pb 19 e 3. On majore en valeur absolue la relation de la question prcdente en introduisant une e e formule du binme pour 2n1 : o
n1

hn1 |f (n1) (x)|


i=1

n1 i

Kh 2n1 Kh

On en dduit la majoration demande e e 4. La question prcdente a montr que si une fonction ainsi que sa drive dordre m sont e e e e e bornes sur R alors la drive dordre m 1 est galement borne. On peut rutiliser ce e e e e e e rsultat ` lordre m 1 et obtenir que la drive dordre m 2 est borne. On montre ainsi e a e e e que les drives ` tous les ordres sont bornes. e e a e

128

Corrigs - Pb 20 e

Probl`me 20 e
Partie I. Existence dune famille vriant M. e 1. Calcul du dterminant de M pour n = 2. e M= On en dduit e 1 m m 1 avec m = cos a

2 Pour n = 3, le calcul se fait en dveloppant selon la premi`re ligne. On conserve lexpression e e en mi,j . Apr`s calculs cela donne e det M = 1 m2 = sin2 1 det M = m21 m31 m12 1 m32 m13 m23 = 1 m2 m2 m2 + 2m12 m13 m23 23 12 13 1

2. Si B = (e1 , , en ) vrie M alors chaque ei est unitaire car (ei /ei ) est un terme diagonal e (gal ` 1). De plus pour i et j distincts, dapr`s lingalit de Cauchy-Schwarz : e a e e e |mij | = |(ei /e)| |ei ||ej | = 1 Lgalit dans Cauchy-Schwarz se produit seulement si les vecteurs sont colinaires. Ici les e e e vecteurs de la base sont non colinaires deux ` deux donc |mij | < 1. Comme e a mij = cos avec aij entier, cela entraine aij 2. 3. Construction dune base directe vriant M dans le cas n = 2. e On se xe une base orthonorme directe (a1 , a2 ) et on pose : e e1 = a1 e2 = ma1 + alors (e1 , e2 ) rpond bien ` la question car : e a (e1 /e2 ) = m
(a1 ,a2 )

aij

1 m2 a2

det (e1 , e2) =

1 0

m = 1 m2

1 m2 > 0

4.

a. Comme dans la question prcdente, on peut poser e e e2 = m12 + ainsi (e1 /e2 ) = m12 et 1 (e1 , e2 , a3 ) = 0 (a1 ,a2,a3 ) 0 det 129 m12 1 m2 12 0 0 0 = 1 1 m2 > 0 12 1 m2 a2 12

Corrigs - Pb 20 e b. La droite D est lintersection de deux plans anes respectivement orthogonaux ` e1 a et e2 . Ces deux vecteurs sont dans Vect(a1 , a2 ) qui est le plan orthogonal ` a3 . La a direction de D est donc Vect(a3 ). Soit x = x1 a1 + x2 a2 Vect(a1 , a2 ) D. Alors : (x/e1 ) = m13 = x1 (x/e2 ) = m23 = m12 x1 + On en dduit : e x1 = m13 x2 = m23 m12 m13 1 m2 12 1 m2 x2 12

Comme D est orthogonale ` Vect(a1 , a2 ), la distance de 0E ` D est la norme du vecteur a a dintersection x que lon vient de calculer. On en dduit : e d(0E , D) = m2 + 13 (m23 m12 m13 )2 1 = m2 + m2 2m12 m13 m23 13 23 2 1 m12 1 m2 12

c. Les conditions que doivent satisfaire un vecteur e3 pour que la famille (e1 , e2 , e3 ) vrie e M sont : e3 = 1. Cest ` dire que e3 est sur la sph`re de rayon 1 et centre ` lorigine. a e e a (e3 /e1 ) = m13 et (e3 /e2 ) = m23 . Cest ` dire que e3 est sur la droite D. a La condition gomtrique assurant lexistence dun tel vecteur e3 est donc que la droite e e D coupe la sph`re unit. e e d. Dapr`s la question 1., la condition det M > 0 entraine e det M > 0 1 m2 > m2 + m2 2m12 m13 m13 12 23 13 m2 + m2 2m12 m13 m13 23 13 < 1 d(0E , D) < 1 1 m2 12

Ce qui signie que D coupe la sph`re en deux vecteurs c et c symtriques par rapport e e au plan Vect(e1 , e2 ). Les deux familles (e1 , e2 , c) et (e1 , e2 , c ) vrient M. Une seule e est directe car la rexion par rapport au plan change lorientation. e 5. Cas particulier. Le calcul des cos conduit ` : a 1 A = 3 2 3 1 4 2 4 1 1 1 M = 2 0 1 2 1 1 2 0 1 2 1

Le calcul du dterminant conduit ` e a det M = 1 >0 4

Il existe donc, dapr`s la question d. une base vriant M. e e 130

Corrigs - Pb 20 e Partie II. Famille de rexions. e 1. La base B nest pas orthonorme, la matrice du produit scalaire dans cette base est M . On e en dduit que deux vecteurs de coordonnes (x1 , , xn ) et (y1 , , yn ) sont orthogonaux e e si et seulement si : y1 . x1 xn M . = 0 . yn 2. a. Calcul de la matrice S1 de 1 . Par dnition 1 (e1 ) = e1 . Le vecteur me1 e2 est e orthogonal ` e1 donc conserv par 1 : a e 1 (me1 e2 ) = me1 e2 me1 1 (e2 ) = me1 e2 1 (e2 ) = 2me1 + e2 On en dduit : e S1 = 1 0 2m 1

Calcul de la matrice S2 de 2 . Le raisonnement est le mme en considrant le vecteur e e e1 me2 orthogonal ` e2 donc conserv par 2 . Apr`s calculs : a e e S2 = On peut calculer le produit matriciel : T = S1 S2 = 1 0 2m 1 1 2m 0 1 + 4m2 = 1 2m 2m 1 1 2m 0 1

b. Les vecteurs de C et B sexpriment les uns en fonction des autres : a1 = e1 e1 = a1 m 1 a2 = e1 + e2 e2 = ma1 + 1 m2 a2 2 1m 1 m2 On en dduit les matrices de passage e 1 0 m 1 m2 P 1 = PBC 1 = 0 m 1 m2 1 2 1m

P = PCB =

Pour la matrice de 1 , il est inutile dutiliser la formule de changement de base car a2 est conserv par 1 (il est orthogonal ` a1 = e1 ). e a Mat 1 =
C

1 0

0 1

Pour la matrice de 2 , on utilise la formule de changement de base et m = cos a 2 2 2 2 cos a sin a 1 2m 2m 1 m Mat 2 = P S2 P 1 = = 2 2 C 2m 1 m2 2m2 1 sin cos a a 131

Corrigs - Pb 20 e On en dduit la matrice de = 1 2 e 2 cos a 1 0 Mat = 0 1 sin 2 C a Cela signie que est la rotation dangle

2 2 cos a a 2 2 = sin cos a a sin


2 3 .

sin

2 a 2 cos a

3. Cas n = 3. Par dnition, 1 est la symtrie orthogonale par rapport au plan (Vect(e1 )) . e e Donc e1 est transform en son oppos alors que les vecteurs m13 e1 e3 et m12 e1 e2 sont e e xs par 1 car ils sont orthogonaux ` e1 . On peut exploiter cela pour obtenir les images e a de e3 et e2 : 1 (m13 e1 e3 ) = m13 e1 e3 m13 e1 1 (e3 ) = m13 e1 e3 1 (e3 ) = 2m13 e1 + e3

1 (m12 e1 e2 ) = m12 e1 e2 m12 e1 1 (e2 ) = m12 e1 e2 1 (e2 ) = 2m12 e1 + e2 On en dduit la matrice de 1 : e 1 S1 = 0 0 2m12 1 0 2m13 0 1

De mme, e2 est transforme par 2 en son oppos alors que m21 e2 e1 et m23 e2 e3 sont e e e xs. On obtient comme au dessus : e 2 (e1 ) = e1 2m21 e2 do` la matrice de 2 : u 1 S2 = 2m12 0 0 1 0 0 2m32 1 2 (e3 ) = e3 2m23 e2

De mme, les vecteurs e1 2m31 e3 et e2 2m32 e3 sont xs par 3 et conduisent ` la e e a matrice de 3 . 1 0 0 1 0 S3 = 0 2m31 2m32 1 4. a. On a dj` calcul en I.5. la matrice M . ea e 1 1 M = 2 0 132

1 2 1 1 2

0 1 2 1

Corrigs - Pb 20 e On en dduit les e 1 S1 = 0 0 puis leur produit 0 1 T = S1 S2 S3 = 1 1 0 2 matrices S1 , S2 et S3 1 1 0 1 0 S2 = 1 0 1 0

0 1 0

0 2 1

1 S3 = 0 0 2 2 1

0 1 2

0 0 1

b. Dapr`s lexpression de T , un vecteur u de coordonnes (x, y, z) dans B vrie (u) = e e e u si et seulement si x + y 2z = 0 y 2z = x y=0 x + y 2z = y x + 2y 2z = 0 x 2z = 0 2y z = z 2y = 0 On choisit donc le vecteur unitaire 1 2e1 + e3 u= 3 On choisit un vecteur unitaire v orthogonal ` u. Par exemple a 1 v = e1 2e3 3 On ne peut pas compl`ter la famille (u, v) par w = u v pour former une base e orthonorme directe D = (u, v, w) car, la base B ntant pas orthonorme directe, le e e e calcul du produit vectoriel nest pas facile. On va trouver un w en utilisant la condition dorthogonalit de la question 1. e On cherche donc un w de coordonnes (x, y, z) dans B orthogonal ` u et v. Cela se e a traduit par : x x 2 0 1 M y = 0 1 0 2 M y = 0 z z Avec lexpression de M de la question I.5, cela donne : 1 x = z 2x 2y + z = 0 2 x + 1 y 2z = 0 y = 2z 2 On en dduit que e Le calcul du dterminant e (Vect(u, v)) = Vect(e1 + 2e2 + 1 2 2 = 2 1 2 133

2e3 )

2 0 1

1 0 2

1 =6 2

Corrigs - Pb 20 e montre que la famille (u, v, e1 + 2e2 + 2e3 ) est directe. Attention, comme la base nest pas orthonorme, le carr de la norme de e1 +2e2 + 2e3 e e nest pas 7 mais e1 + 2e2 + 2e3
2

1 = 1 + 4 + 2 + 2 ( ) (1 2) 2 1 + 2 0 (1 2) + 2 ( ) (2 2) = 1 2

On choisira donc comme base orthonorme directe e 1 u = 2e + e 1 3 3 1 v = e1 2e3 3 w = e1 + 2e2 + 2e3 c. On connait la matrice T de dans B. Pour obtenir la matrice de dans D on utilise la formule de changement de base Mat = P 1 T P
D

avec

P = PBD

2 3 = 0 1 3

1 3 0 2 3

1 2 2

Pour obtenir la matrice P 1 , on doit exprimer e1 , e2 , e3 en fonction de u, v, w. 1 1 u = 2e + e e = 2u + v 1 3 1 3 3 3 1 2e2 = w e1 2e3 v = e1 2e3 3 1 e3 = u 2 v w = e1 + 2e2 + 2e3 3 3 do` u 2 1 1 e2 = u + v + w 2 3 2 3 2 2 1 3 3 3 1 1 2 1 P = 3 2 3 3 1 0 0 2 134

Corrigs - Pb 20 e On en dduit : e 0 Mat = P 1 1 D 0 1 2 0 2 P = 1 0 0 1 2 3 2 0 3 2 1 2


3

1 1 2

La transformation est donc une rotation miroir, compose de la rotation dangle e autour de u et de la rexion par rapport au plan orthogonal ` u. e a

135

Corrigs - Pb 21 e

Probl`me 21 e
1. a. Par dnition, (A) est la borne infrieure dun ensemble non vide de nombres rels e e e tous positifs ou nuls. Cet ensemble est donc minor (par 0). Dapr`s les axiomes de R e e toute partie de R non vide et minore admet une borne infrieure. e e b. Si 1 A, {1} A = donc S1 (A) = 0 et (A) = 0.
(A) c. Supposons que (A) = 1, comme (A) est un minorant de lensemble des Snn , on Sn (A) a pour tous les entiers n 1 n donc n Sn (A). Or {1, 2, , n} A contient au plus n lments, donc ici {1, 2, , n} A. On en dduit que (A) = 1 entra ee e ne A = N.

d. Si A B, il est clair que Sn (A) Sn (B) donc (A) est un minorant de lensemble des Sn (B) Sn (B) e n . Or (B) est le plus grand des minorants des n , on en dduit (A) (B). 2. a. Ici A est une partie nie, on note m son nombre dlments. Il est clair que Sn (A) m , ee n e a donc pour tous les entiers n, (A) m . On en dduit par passage ` la limite dans n une ingalit que (A) = 0. e e b. Ici A est lensemble de tous les entiers impairs. (A) Si n est impair, le nombre dentiers impairs entre 1 et n est n+1 donc Snn = 2 Sn (A) n 1 Si n est pair, le nombre dentiers impairs entre 1 et n est 2 donc n = 2 . (A) 1 Il est clair que 1 est le plus petit de tous les nombres Snn donc (A) = 2 . 2
1 2 1 + 2n .

c. Ici A = {mk , m N}. Pour un entier n donn, quel est le nombre dentiers m tels que e mk n ? 1 e Il est clair que cest la partie enti`re de n k . On en dduit que pour tous les n : e (A)
1 Sn (A) E(n k ) n k 1 n n 1

Or la suite ` droite converge vers 0, do` par passage ` la limite dans une ingalit a u a e e (A) = 0. 3. Lensemble C contient Sn (B) + 1 lments. Le +1 venant de la prsence de 0 qui est dans ee e A et B. De mme, lensemble A {0, 1, , n} contient Sn (A) + 1 lments. La somme des e ee cardinaux de ces deux ensembles est donc Sn (A) + Sn (B) + 2 n + 2. Comme ces deux ensembles sont dans {0, 1, , n} qui contient n + 1 lments leur intersection est non vide. ee Il existe donc a A {0, 1, , n} et b B {0, 1, , n} tels que a = n b ce qui entra ne n A + B. Ceci est valable pour ninporte quel entier n. 4. a. Supposons (A) + (B) 1. Alors, pour tout entier n : 1 (A) + (B) Sn (A) Sn (B) + n n

do` Sn (A) + Sn (B) n. La question prcdente montre alors que n A + B. Comme u e e ceci est valable pour tous les n, on a bien N = A + B. b. Il sut dappliquer la question prcdente avec B = A. Lnonc signale bien lhye e e e poth`se 0 A car il est clair quun nombre impair nest pas la somme de deux impairs. e

136

Corrigs - Pb 22 e

Probl`me 22 e
1. Comme la matrice A nest pas la matrice nulle, il existe i et j tels que aij = 0. La matrice extraite A{i}{j} est alors une matrice 1 1 inversible ce qui entraine que r (gal ` la taille e a de la plus grande des matrices extraites inversibles) est suprieur ou gal ` 1. e e a 2. a. On se place dans le sous-espace vectoriel Ei = Vect UI . On consid`re la projection pI sur EI parall`lement au sous-espace EI . La matrice e e extraite AIJ est alors la matrice dans la base UI de EI de la famille de vecteurs pI (vj ) pour j J. AIJ = Mat (pI (VJ ))
UI

b. Par dnition, r est le rang dune matrice extraite de A (la plus grande possible parmi e celles qui sont inversibles). Il existe donc des parties I et J ` r lignes et r colonnes a telles que r = rg AIJ Le rang dune famille de vecteurs images par une application linaire est toujours e infrieur ou gal au rang de la famille de dpart. Le rang dune famille extraite est e e e videmment infrieur ou gal au rang de la famille dont elle est extraite. On a donc : e e e r = rg AIJ = rg pI (VJ ) rg VJ rg V = rg A 3. Une application linaire est injective si et seulement si son noyau ne contient que llment e ee nul de lespace. Le noyau de la restriction ` un certain sous-espace dun endomorphisme est lintersection a du noyau de lendomorphisme avec ce sous-espace. a Par dnition, le noyau de pI est EI donc le noyau de la restriction ` VJ de pI est EI VJ . e On en dduit que la restriction ` VJ de pI est EI VJ est injective si et seulement si e a EI VJ = {0E } 4. Soit J une partie de {1, 2, , q} telle que VJ soit libre et ne soit pas une base de E (cest a ` dire q < dim E). Comme cette famille nest pas une base, elle nengendre pas E. Si tous les vecteurs de la base U taient des combinaisons linaires des vecteurs de UJ , la famille UJ engendrerait e e E. Il existe donc des i {1, , p} tels que ui VJ . Pour un tel i, la famille obtenue en ajoutant ui aux vecteurs de VJ est libre. Il existe donc des familles libres obtenues en ajoutant des vecteurs de U aux vecteurs de VJ . Ces familles ont moins de dim E lments (elles sont libres). On peut en considrer une ee e (disons F) dont le nombre dlments soit le plus grand possible. ee Pour une telle famille, on ne peut adjoindre un nouvel lment de U sans briser le caract`re ee e libre. Cela signie que les lments de U sont des combinaisons linaires des lments de F. La ee e ee famille F est donc gnratrice. e e Comme elle est libre par dnition, cest une base de E. e 5. Notons m le rang de la matrice A. Cest aussi le rang de la famille de vecteurs V. En considrant, parmi les familles libres e formes de vecteurs de V, une qui soit la plus grande possible. On montre quil existe une e partie J de {1, , q} ` m lments telle que VJ soit libre et que VJ soit lespace engendr a ee e par tous les lments de V. ee 137

Corrigs - Pb 22 e Pour une telle partie J, compltons VJ par des vecteurs de U comme dans la question 4. e Notons I lensemble des indices des vecteurs qui ne sont pas choisis. Cest ` dire que la base de E est obtenue en compltant VJ par UI . On remarque que I a e contient p m lments donc I contient m lments. ee ee Le caract`re libre de cette famille entraine que e EI VJ = {0E } donc la restriction de pI ` VJ est injective. On en dduit : a e rg A = m = rg VJ = rg pI VJ = rg AIJ La matrice AIJ est une matrice carre ` m lignes et m colonnes extraite de A. Elle est e a inversible donc r rg A. On obtient donc bien r = rg A

138

Corrigs - Pb 23 e

Probl`me 23 e
Partie 1. Dnitions - Exemples e
1. a. Comme la paramtrisation est normale, z (s) est laxe complexe de (s). Le vecteur e est obtenu ` partir de par une rotation de qui se traduit par la multiplication n a 2 par i pour les axes. La relation (2) est donc simplement la traduction complexe de la dnition de la courbure par : e = c n Les deux relations sont donc quivalentes e b. Lorsque c0 est un rel x, cherchons les solutions de lquation direntielle e e e e z = ic0 z Si c0 = 0, lquation devient z = 0 dont les solutions sont de la forme e s as + b avec a et b complexes xs (a de module 1) pour que la paramtrisations soit normale. e e Le support de ces paramtrisations sont des droites. e Si c0 = 0. Dapr`s le cours sur les quations direntielles linaires du premier ordre : e e e e z (s) = z (0)eic0 s z(s) = z(0) i z (0) ic0 s e c0

Le support dune telle courbe paramtre est un cercle. e e En conclusion, le support dune courbe paramtre dont tous les points sont des e e sommets est une droite ou un cercle. c. Dapr`s le cours sur les quations direntielles linaires du premier ordre, les solutions e e e e de i y (s) = y 1 + s2 sont les fonctions de la forme eiF
1 o` F est une primitive de s 1+s2 . Une telle primitive est arctan. En tenant compte u de la condition initiale z (0) = 1 on obtient donc

z (s) = ei arctan s Pour dans ] , [ (ce qui est le cas si = arctan s), on a 2 2 cos = 1 tan
2

tan sin = tan2

Avec = arctan s, on dduit : e 1 + is z (s) = 1 + s2 Le calcul de z revient ` un calcul dintgrale : a e


s

z(s) =

i
=z(0)

+
0

1 + iu du 1 + u2

139

Corrigs - Pb 23 e On eectue un changement de variable u = sh t et on obtient z(s) = s + i(s 1) Il apparait alors que le support est le mme que celui de la paramtrisation e e t 1 + i(ch t 1) obtenue avec le changement de param`tre admissible t = sh s. e Ce support est une courbe appele cha e nette qui ressemble de loin ` une parabole mais a nen nest pas une. 2. a. Pour la parabole, les calculs sont immdiats : e t2 j f (t) = i + 2p 1 f (t) = j p On en dduit que la paramtrisation nest pas normale. La vitesse nest pas de norme e e 1 mais f (t) = T (t) = N (t) = Lquation de la tangente en f (t) est e det(f (t)M , f (t)) = 0 xt t2 y 2p 1 t =0 p p2 + t2 p p p2 + t2 p p2 + t2

t2 i + j 2p t2 i + i 2p

b. Le calcul de la courbure se fait ` laide du dterminant : a e 3 det( f (t), f (t)) (f (t)) = = p2 (p2 + t2 ) 2 f (t) La drive de cette fonction e e 3p2 t(p2 + t2 ) 2 sannule seulement pour t = 0 qui correspond ` lorigine et au sommet de la parabole. a Rappelons que pour une conique, le terme sommet dsigne un point dintersection e avec laxe focal 3. a. Pour lellipse, les calculs sont immdiats : e f (t) = a sin t i + b cos t j f (t) = a cos t i b sin t j 140
5

Corrigs - Pb 23 e On en dduit que la paramtrisation nest pas normale. La vitesse nest pas de norme e e 1 mais f (t) = a2 sin2 t + b2 cos2 t 1 a sin t i + b cos t j T (t) = 2 a2 sin t + b2 cos2 t 1 N (t) = b cos t i + a sin t j 2 a2 sin t + b2 cos2 t Lquation de la tangente en f (t) est e x a cos t det(f (t)M , f (t)) = 0 y b sin t a sin t =0 b cos t

b. Le calcul de la courbure se fait ` laide du dterminant : a e 3 det( f (t), f (t)) = ab(a2 sin2 t + b2 cos2 t) 2 (f (t)) = f (t) La drive de cette fonction e e 3ab(a2 b2 ) sin t cos t(a2 sin2 t + b2 cos2 t) 2 sannule seulement pour t congru ` 0 modulo . Il existe donc quatre sommets qui a 2 correspondent aux intersection avec les deux axes de symtrie. Pour une conique les e intersections avec le petit-axe ne sont pas habituellement appeles des sommets. e
5

M2

M (w)

M1 (M1 , M2 ) D

Fig. 18 Droites passant par M (w)

Partie 2. Courbe ferme strictement convexe e


1. a. La fonction Y est continue, les valeurs Y (u) et Y (v) sont de signes opposs. Dapr`s e e le thor`me des valeurs intermdiaires, il existe w entre u et v tel que Y (w) = 0. e e e 141

Corrigs - Pb 23 e Par dnition, M (w) est sur la droite (M1 , M2 ) et mme sur le segment [M1 , M2 ]. e e Considrons toutes les droites D passant par M (w) (Fig. 18). Parmi ces droites doit e se trouver la tangente en M (w). Si D nest pas (M1 , M2 ). Les deux points M1 et M2 ne sont pas dans le mme des e deux demi-plans ouverts dnis par D. Chacun est dans un (dirent) des deux. e e Si D est (M1 , M2 ). Aucun des des deux points M1 et M2 nest dans un des demiplans ouverts dnis par D. e Or, dapr`s la convexit de la courbe, lorsque D est la tangente en M (w), les deux e e points devraient se trouver dans le mme des deux demi-plans ouverts dnis par la e e tangente. Il est donc impossible que Y change de signe entre s1 et s2 . e b. Montrer que tous les points M (s) avec s1 < s < s2 se trouvent dans le mme des deux demi-plans dnis par la droite (M1 , M2 ) est une reformulation de la question e prcdente. Sils ne sy trouvaient pas, la fonction Y changerait de signe. e e On peut raisonner entre s2 et s1 + L comme entre s1 et s2 . (Fig. 19)
X les M (s) avec s ]s2 , s1 + L[ M2 = M (s2 ) les M (s) avec s ]s1 , s2 [

M1 = M (s1 )

Fig. 19 Intersection avec une corde 2. a. La fonction c est continue et priodique de priode L. Sa restriction ` un segment de e e a longueur L est donc borne et atteint ses bornes. Comme lensemble des valeurs prises e par la fonction est aussi lensemble des valeurs prises par une restriction ` un segment a de longueur L, la fonction compl`te est donc borne et atteint ses bornes. e e Notons s1 un rel tel que e c(s1 ) = min {c(s), s R} Comme la restriction de c ` [s1 , s1 + L] atteint sa borne suprieure, il existe alors un a e s2 [s1 , s1 + L] tel que c(s2 ) = max {c(s), s R} Les rels s1 et s2 ralisent des extrma absolus de la fonction c et la fonction c est e e e drivable dans R. On en dduit que c (s1 ) = c (s2 ) = 0. Les points M (s1 ) et M (s2 ) e e sont des sommets de la courbe. 142

Corrigs - Pb 23 e b. On suppose dans cette question que c ne sannule quen s1 et s2 . Elle garde donc un signe constant dans ]s1 , s2 [ et dans ]s2 , s1 + L[. Comme s1 ralise le minimum de c et e s2 le maximum, la fonction est croissante sur ]s1 , s2 [ et dcroissante sur ]s2 , s1 + L[. e Les signes se combinent alors pour que lintgrale (fonctions continues) soit positive. e
s1 +L s2 s1 +L

c (s)Y (s)ds =
s1 s1

c (s)Y (s)ds +
>0 >0 s2

c (s)Y (s)ds > 0


<0 <0

En fait on va montrer que cette intgrale est nulle ce qui conduit videmment ` une e e a contradiction et ` lexistence dune troisi`me valeur s3 o` c sannule. a e u Le calcul utilise une intgration par parties et la dnition de la courbure. Come e menons par la courbure. On exprime la vitesse dans le rep`re indiqu par lnonc : c e e e e (s) =X (s) + Y (s) i j X (s) = c(s)Y (s) (s) = Y (s) + X (s) n i j (s) =c(s) (s) Y (s) =c(s)X (s) n Utilisons maintenant lintgration par parties e
s1 +L s1

c (s)Y (s)ds = [c(s)Y (s)]s1 1

s +L

s1 +L

s1

c(s)Y (s)ds

=0 par priodicit e e s1 +L

=
s1

X (s)ds = [X (s)]s1 1

s +L

= 0 par priodicit e e

s1

s3

s4

s2

Fig. 20 Graphe de c c. On a montr ` la question prcdente lexistence dun s3 en lequel c sannule. Si c ea e e ne change pas de signe en s3 , le raisonnement de la question prcdente sur la stricte e e positivit de lintgrale sapplique encore en contradiction avec le calcul qui montre e e 143

Corrigs - Pb 23 e quelle est nulle. La fonction c doit donc changer de signe en s3 ce qui prouve que s3 est un extrmum relatif pour c. e Comme s1 est le minimum absolu, s3 ne peut tre quun maximum relatif si c ne e change pas de signe avant. Il existe alors forcment un minimum relatif s4 entre s3 et e le maximum absolu s1 + L(Fig. 20). Ceci prouve lexistence dun quatri`me sommet. e

144

Corrigs - Pb 24 e

Probl`me 24 e
1. a. La fonction gn est clairement contine, drivable strictement croissante. Elle dnit une e e bijection de [0, +[ vers [1, +[. Pour chaque a > 1, il existe donc un unique n > 0 tel que gn (n ) = a. b. La fonction gn+1 contient un terme de plus que gn :
n+1 n+1 gn+1 (n ) = gn (n ) + (n + 1)n = a + (n + 1)n > A

Comme de plus gn+1 est croissante, on en dduit n+1 < n . e c. Comme gn (1) = 1 + 2 + + n, la suite (gn (1))nN tend vers +. Il existe donc un N tel que gN (1) > a. Comme gN est strictement croissante, on en dduit N < 1 puis e n N : n N < 1 car la suite est dcroissante. e d. La suite (n )nN est positive et dcroissante. Elle converge donc et sa limite est e positive ou nulle. De plus comme n N < 1 pour n N , on obtient par passage a ` la limite dans une ingalit que e e 0 N < 1 e. Les suites (np q n )nN sont des suites de rfrence du cours. On sait quelles convergent ee vers 0 pour tout p lorsque |q| < 1. On utilise ce rsultat ici apr`s avoir major n non e e e pas par 1 mais par N . On en dduit le rsultat annonc. e e e 2. a. On remarque que 1 xn+1 1x On obtient le rsultat annonc en drivant lexpression de fn . e e e gn (x) = fn (x) avec fn (x) = b. Dapr`s le a. et la convergence vers 0 des suites de rfrence (xn )nN et (nxn )nN , e ee on obtient 1 (gn (x))nN (1 x)2 Comme la suite (gn (x))nN est croissante, on a, pour tous les n et tous les x : gn (x) 3. 1 (1 x)2

a. Pour tout n, comme n et gn croissante : gn () gn (n ) = a par passage ` la limite dans une ingalit, il vient a e e 1 a (1 )2 b. Lquation se rsout sans probl`me, elle admet une seule solution : e e e 1 =1 a 145

Corrigs - Pb 24 e c. Pour tout n :

1 a (1 )2 donc (gn croissante) n . Comme est alors un minorant de la suite (n )nN , on a . 1 1 u Or = 1 a do` 1 a De lingalit du 3.a., on dduit e e e gn () 1 1 11 a a

4.

Ce qui dmontre la relation demande. e e a. On utilise la question 2.a. avec x = n et a = 4 et 1 n = On obtient 4=


2 n 1 n n (n + 1) 2 (1 n ) 1 n (1 n )2

1 (1 n ) 2

n n+1 4(1 n )2 = 1 (n + 1)n (1 n ) n 1 n n+1 (1 n )2 = 1 (n + 1) n n 2 1 n n+1 2n + 2 = (n + 1) n n n 2 1 b. Comme n 2 , n 0 ce qui entraine :

2 ngligeable devant n n e
n+1 n n ngligeable devant (n + 1)n e

De chaque cot de la relation, ngligeons ce qui est ngligeable. Lgalit se dgrade e e e e e e alors en une quivalence e 1 n n 2n (n + 1)n 2 or 1 n 1 n n (n + 1)n nn 2 2 do` u 1 n n nn 4 c. En utilisant la question prcdente et la question 1.e. e e nn On en dduit e (1 + n )n 1 car (1 + n )n = en ln(1+n ) avec ln(1 + n ) nn 0 On en dduit enn e n n 1 n (1 + n )n n+2 4 2n 2 146 1 2 n n n 0 4