Vous êtes sur la page 1sur 146

MATHEMATIQUES EN MPSI

Probl`
emes dapprofondissement

Remy Nicolai
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 clai-
rement aux autres les conditions contractuelles de mise disposition de cette
creation.

Chacune de ces conditions peut tre leve si vous obtenez lautorisation du titu-
laire des droits.

In Libro Veritas, 2009, ISBN : 978-2-35922-002-5

Dpt lgal : premier semestre 2009


Liste des probl`
emes

Liste des probl`


emes 3

Enonc
es. 7
Pb 1 : Exemples de produits infinis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Pb 2 : Integrales et formes lineaires. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Pb 3 : Rotations, angles dEuler, quaternions . . . . . . . . . . . . . . . . . . . . . . . 10
Pb 4 : Transformation de Legendre : continuite, derivablite, borne superieure. . . . . . 15
Pb 5 : Irrationnalite de e. Generalisation de la formule du binome avec un element
nilpotent. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Pb 6 : Nombres complexes et fonctions usuelles : autour de la formule de Machin. . . . 20
Pb 7 : Des suites de moyennes definies par recurrence. . . . . . . . . . . . . . . . . . . 23
Pb 8 : Plans mediateur, bissecteur et hauteur dun triangle dans lespace. . . . . . . . 24
Pb 9 : Disque elliptique comme union de cercles. . . . . . . . . . . . . . . . . . . . . . 28
Pb 10 : Ensembles : theor`eme de Sperner. . . . . . . . . . . . . . . . . . . . . . . . . . 30
Pb 11 : Famille de suites definie par recurrence, points fixes stables et instables. . . . . 31
Pb 12 : Un probl`eme danalyse ` a la Cauchy sur un ensemble de reels defini `a partir
dune fonction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
Pb 13 : Inversibles dans un anneau quadratique. . . . . . . . . . . . . . . . . . . . . . 33
Pb 14 : Familles de sous-espaces de meme dimension. . . . . . . . . . . . . . . . . . . . 35
Pb 15 : Approximation par convolution. . . . . . . . . . . . . . . . . . . . . . . . . . . 38
Pb 16 : Calcul de la somme des inverses des carres par la methode des coefficients de
Fourier. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Pb 17 : Un exercice avec des sommes de Riemann. . . . . . . . . . . . . . . . . . . . . 40
Pb 18 : Lemme de Hochschild (par dualite). . . . . . . . . . . . . . . . . . . . . . . . . 41
Pb 19 : Fonctions ` a derivees bornees. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Pb 20 : Familles de vecteurs et de reflexions. . . . . . . . . . . . . . . . . . . . . . . . 45
Pb 21 : Borne inferieure dun ensemble de nombres reels. Densite de Schnirelmann. . . 47
Pb 22 : Rang et matrices extraites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Pb 23 : Sommets dune courbe parametree . . . . . . . . . . . . . . . . . . . . . . . . . 49
Pb 24 : Suite implicite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

Corrig
es. 57
Pb 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Pb 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Pb 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

3
Pb 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Pb 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Pb 6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
Pb 7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
Pb 8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
Pb 9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
Pb 10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
Pb 11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Pb 12 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
Pb 13 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
Pb 14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Pb 15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
Pb 16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
Pb 17 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
Pb 18 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
Pb 19 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
Pb 20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
Pb 21 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
Pb 22 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
Pb 23 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
Pb 24 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143

4
Introduction

La collection MATHEMATIQUES EN MPSI propose des documents pedagogiques (recueils
de probl`emes corriges, livres de cours) en complement de ceux distribues en classe.
Les ouvrages de la collection sont disponibles sur internet. En fait, ils sont produits en ligne `a
partir dune base de donnees (le maquis documentaire) accessible `a ladresse

http ://maquisdoc.net

Cette base est concue pour etre tr`es souple. Elle accompagne les auteurs et les utilisateurs en
leur permettant de travailler librement et au jour le jour.
Il est devenu impossible de travailler sans internet (y compris pour rediger des probl`emes
de mathematiques) mais il est egalement impossible de ne travailler que sur ecran. Le papier
garde donc toute sa validite et la publication de livres sous la forme imprimee habituelle (`a cote
dautres types de services) est encore totalement justifiee.
En revanche, le mod`ele economique de ledition est devenu obsol`ete pour de tels ouvrages peri-
scolaires produits `a partir de structures web. Lediteur (In Libro Veritas) a accepte de diffuser
cette collection sous licence Creative Commons. Les auteurs peuvent ainsi user plus liberalement
de leur droit dauteur et offrir davantage de liberte aux lecteurs.

Probl`
emes dapprofondissement

est un recueil de probl`emes corriges.


Les enonces sont le plus souvent des adaptations pour la premi`ere annee de probl`emes de concours
portant sur des sujets classiques. Divers th`emes sont abordes qui couvrent lessentiel du pro-
gramme de MPSI. Les solutions mettent en uvre de facon non immediates des elements de
cours. Tous ces textes ont en commun de necessiter une bonne maitrise des calculs, des concepts
et de leurs relations.
Une attention particuli`ere a ete portee ` a une redaction soigneuse et compl`ete des corriges.
Letudiant ne doit pas se condamner ` a trouver. La lecture de la solution, apr`es un temps de
recherche assez court, sav`erera plus rentable quun acharnement infructueux. Lire un texte
mathematique correct (un corrige comme une copie del`eve doit en etre un) aide `a simpregner
des conventions de redaction, ` a degager les concepts et les relations. Letudiant ne doit pas non
plus se contenter de trouver. Il faut sobliger `a reperer les tournures qui cristallisent les idees, `a
reproduire les presentations qui valorisent la copie. Il faut rediger !
Dautres ouvrages de la collection proposent des textes plus simples (Probl`emes basiques) ou
plus specifiques (Probl`emes dautomne).

5
6

Enonc
es

7

Enonc
es - Pb 1 : Exemples de produits infinis.

Probl`
eme 1
Soit (un )nN une suite de nombres reels non nuls, on lui associe la suite (pn )nN definie
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`
ere partie
1. Montrer que si le produit pn converge alors la suite (un )nN converge vers 1.
2. Cas particulier :
1
uk = 1 +
k
Simplifiez pn . Le produit pn est-il divergent ou convergent ?
3. Cas particulier :
a
uk = cos
2k
avec a un nombre reel qui nest pas congru `a 0 modulo .
Pour tout n N , calculer
a
pn sin n
2
En deduire que le produit pn converge. Donner la limite de (pn )nN

Deuxi`
eme partie
1. Soit pn un produit associe `
a une suite (un )nN qui converge vers 1.
a. Montrer quil existe un entier n0 tel que un > 0 pour tout n n0 .
b. On pose ici
n
X
Sn = ln up
p=n0

Montrer que la convergence de la suite (Sn )nn0 est equivalente `a la convergence du


produit pn . Lorsque la suite (Sn )nn0 converge vers l, donner la limite de la suite
(pn )nN
2. Cas particulier :
n
1
X ln p
uk = k k , Sn =
p=1
p

a. Montrer que pour tout p 3 :

ln p
0 < (ln(p + 1))2 (ln(p))2 2
p

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

9

Enonc
es - Pb 1 : Exemples de produits infinis.

Troisi`
eme partie
1. Cas particulier : uk = 1 + vk o`u (vn )nN est une suite strictement decroissante de reels
positifs qui converge vers 0. On pose
n
X
Sn0 = vp
p=1

a. Montrer que ln(1 + x) < x pour tout x reel strictement positif.


b. Montrer que la convergence de la suite (Sn0 )nN entrane celle du produit pn .
2. Deduire de la question 2. de la premi`ere partie la limite de la suite (Sn0 )nN lorsque
n
X 1
Sn0 =
p=1
p

3. Cas particulier :
k
vk = a(2 )

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 deduire la limite de
la suite (pn )nN

10

Enonc
es - Pb 2 : Integrales et formes lineaires.

Probl`
eme 2
On note E lespace vectoriel reel des polynomes de degre inferieur ou egal `a 3.
Lorsque P E et t R, on designera par P (t) la valeur en t de la fonction reelle associee `a P .
` tout reel on associe la forme lineaire f definie par :
1. A

P E : f (P ) = P ()

Montrer que les formes lineaires fa , fb , fc , fd sont independantes si et seulement si les


quatre reels a, b, c, d sont distincts.
2. Montrer lexistence dune unique famille de reels

(x0 , x1 , x2 , x3 )

(`
a determiner numeriquement) telle que :
Z 1
P E : P (t)dt = x0 P (0) + x1 P (1) + x2 P (2) + x3 P (3)
0

On pourra considerer en particulier les polynomes

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 reels

(A, B, a, b)

(`
a determiner numeriquement) telle que :
Z 1
P E : P (t)dt = AP (a) + BP (b)
0

4. Montrer lexistence dune unique famille de reels

(u, v, w)

(`
a determiner numeriquement) telle que :
Z 1
1
P E : P (t)dt = (P (u) + P (v) + P (w))
0 3

11

Enonc
es - Pb 3 : Rotations, angles dEuler, quaternions



j1



k


i1



k1


u


i

j

Fig. 1 Angles dEuler

Probl`
eme 3
Dans la premi`ere partie, on introduit des angles dEuler pour reperer les rotations dun espace
vectoriel euclidien oriente de dimension 3.
Dans la suite on introduit les quaternions de Hamilton comme des matrices 22 `a coefficients
complexes et diverses structures sur cet espace. On definit en particulier un R espace vectoriel
euclidien de dimension 3 forme de quaternions dits purs. Bien que, de nature matricielle par
definition, les quaternions purs seront regardes le plus souvent comme des vecteurs. On retrouve
a la fin les angles dEuler en termes de quaternions.
`

Partie I - Angles dEuler






Soit ( i , j , k ) et ( i1 , j1 , k1 ) deux bases orthonormees directes. On suppose que ( k , k1 ) est
libre. Il existe alors une unique rotation r telle que





r( i ) = i1 , r( j ) = j1 , r( k ) = k1


On se propose de definir les trois angles dEuler , , qui permettent de reperer ( i1 , j1 , k1 )
et de decomposer r en trois rotations dangles , , autour daxes orientes sexprimant tr`es


simplement avec ( i , j , k ).

12

Enonc
es - Pb 3 : Rotations, angles dEuler, quaternions




Soit lecart angulaire entre k et k1 . Il existe un unique vecteur unitaire

u orthogonal `a k




et k1 tel que k1 = r u , ( k ). On notera

r1 = r

u ,



Soit lunique reel dans [0, 2[ tel que

u = r
( i ). On notera
k ,

r2 = r

k ,




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

r3 = r

k ,
1




1. Calculer r3 r1 r2 ( i ) et r3 r1 r2 ( k ). En deduire que r3 r1 r2 = r.
2. Soit

w un vecteur non nul, un reel quelconque et f une rotation. Montrer que
1
f r
w , f
= rf (

w ),

3. On adopte les notations suivantes :

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

i ,




Que valent r ( i ) et r1 ( k ) ? Exprimer r1 `a laide de r et R . En deduire

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
 
a b
q= (a, b) C2
b a

On note H lensemble des quaternions et on adopte les conventions suivantes :


 
a b
q =
b a
N (q) = 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 ecrits generalement avec une fl`eche. On
pose en particulier
       
1 0 0 i 0 1 i 0
1H = , i = , j = ,k =
0 1 i 0 1 0 0 i

1. Montrer que H est un sous-espace vectoriel du R espace vectoriel M2,2 (C), stable pour la



multiplication matricielle. Verifier que (1H , i , j , k ) est une base de H et que ( i , j , k )
est une base de E.


Dans toute la suite, E est orientee par cette base, cest `a dire que ( i , j , k ) est directe.

13

Enonc
es - Pb 3 : Rotations, angles dEuler, quaternions

2. Verifier que qq = N (q)1H . Montrer que si q 6= 0H , la matrice q est inversible avec


1
q 1 = q
N (q)

En deduire que q 1 H.
3. Montrer que pour tout couple (q, q 0 ) de quaternions : qq 0 = q 0 q
4. Soit q H, montrer 21 (q q) E. On posera


1
Vq = (q q)
2


On dit que Vq est la partie vectorielle de q. Verifier que

1

q= tr(q)1H + Vq
2

Partie III - Multiplications


On definit une application S de H dans H par :

q H : S(q) = q

Soit q H, on definit des applications gq et dq par :

q H : gq (q 0 ) = qq 0 , dq (q 0 ) = q 0 q

Soit q H non nul, on definit une application Cq par :

q H : Cq (q 0 ) = qq 0 q 1

1. Verifier que S, gq , dq , Cq sont des endomorphismes de H. Lorsque q est un quaternion non


nul, exprimer dq1 puis Cq ` a laide du reel N (q) et des applications S et gq .


2. a. Calculer la matrice de gq dans la base (1H , i , j , k ) en fonction de , , , lorsque
 
a b
q=
b a

avec a = + i, b = + i.
b. Calculer det gq .
3. Calculer det Cq .

Partie IV - Produit scalaire


Pour tout couple (

u,

v ) de quaternions purs, on pose
1
(

u /

v ) = tr(
uv)
2


1. Verifier que la formule du dessus definit un produit scalaire sur E et que ( i , j , k ) est
une base orthonormee directe.

14

Enonc
es - Pb 3 : Rotations, angles dEuler, quaternions

2. Lespace vectoriel E est euclidien oriente de dimension 3, le produit vectoriel dans cet
espace est note comme dhabitude. Montrer que



1
u

v =V
u




v = ( u v v u ) , u v = ( u / v )1H + u v

2

Bien prendre garde ` a ne pas confondre


le produit matriciel
uv.
le produit vectoriel u

v qui secrit aussi 21 (

uv vu ) `a laide doperations matricielles.


1


le produit scalaire ( u / v ) qui secrit 2 tr( u v ) `a laide doperations matricielles.

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

avec a = + i, b = + i. Lapplication Cq est definie dans la partie III.


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.




2. a. Calculer (cq ( i )/ i ), (cq ( j )/ j ), (cq ( k )/ k ) en fonction de , , , .
b. En deduire tr cq . Dans quel cas a-t-on tr cq = 3 ?


On suppose dans toute la suite que q 6 Vect 1H cest `a dire que V q 6= OE .



3. Montrer que cq nest pas lidentite et que cq ( V q ) = V q .
4. Montrer que pour tout
u E :

4
(cq cq 1 )(

u)= V q

u
N (q)

En deduire que cq est un demi tour si et seulement si q E. Quel est alors son axe ?
On suppose dans toute la suite que q 6 Vect 1H et q 6 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 orthonormee directe de la



forme (
a, b, 1
V q) ?
N(V q)

b. Montrer que



2 k V q k2 2k V q k
cos = , sin =
N (q) N (q)


c. En deduire lexpression de tan 2 en fonction de et de k V q k. Cette expression
determine -t-elle un unique dans ] , [ ?

15

Enonc
es - Pb 3 : Rotations, angles dEuler, quaternions

Partie VI - Quaternions et angles dEuler


1. Soit ]0, [, preciser les elements geometriques de cq pour les deux q suivants :
 i   
e 0 cos i sin
q= ,q=
0 ei i sin cos

2. Soit , , trois nombres reels, calculer le produit matriciel



!  i !
ei 2 0 cos 2 i sin 2 e 2 0

i sin 2 cos 2

0 ei 2 0 ei 2

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

16

Enonc
es - Pb 4 : Transformation de Legendre : continuite, derivablite, borne superieure.

Probl`
eme 4
Ce probl`eme porte sur la transformee de Legendre dune fonction.
La transformation de Legendre est un procede qui `a une fonction f definie sur une partie X
de R associe une fonction f definie sur une partie X de R. Il est `a noter que f doit verifier
certaines proprietes pour que f soit bien definie cest `a dire X non vide.
Les definitions precises sont donnees dans la partie Preliminaires qui ne comporte pas de ques-
tions. Cette partie introduit aussi des conventions de notation qui pourront etre utilisees dans
tout le probl`eme.
La partie III est independante du reste, elle prepare la partie IV.

Pr
eliminaires.
A` chaque couple (m, f ) o`
u f est une fonction `a valeurs reelles definie dans une partie non
vide X de R et m un nombre reel, on associe une fonction hm dans X en posant

x X, hm (x) = mx f (x)

On appelle X lensemble des m tels que hm soit majoree. Lorsque X est non vide, on definit
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 reel u, `an note ku la fonction
a (u, f ) comme hm letait a
associee ` ` (m, f ) cest `a dire

u R, x X ku (x) = ux f (x)

et on notera (X , f ) le couple ((X ) , (f ) ). De meme, on notera lp la fonction associee au


couple (p, f ) pour un nombre p reel et (X , f ) le couple ((X ) , (f ) ).

Partie I. Exemples. Une in


egalit
e g
en
erale.
Pour chacun des exemples suivants, on pourra saider des derivees et des tableaux de variations
des fonctions hm et ku . On justifiera soigneusement tous les resultats.
1. Ici X = R et f (x) = Kx2 o` u K est un nombre reel non nul.
Determiner (X , f ). Pour quels K a-t-on f = f ?
2. Ici X = [a, b] et f est continue sur [a, b].
Determiner X . Montrer que pour tout m dans X , il existe x0 dans [a, b] tel que f (m) =
mx0 f (x0 ).
3. Ici X = R et f (x) = 13 x3 .
Determiner X .
4. Ici X = R et f (x) = ex .
Determiner (X , f ) puis (X , f ).
5. Soit et deux reels fixes. On consid`ere X = R et la fonction affine

f (x) = x +

Determiner (X , f ) puis (X , f ).

17

Enonc
es - Pb 4 : Transformation de Legendre : continuite, derivablite, borne superieure.

6. On suppose que X est lensemble fini {1, 0, 1, 2} et que f est definie par
f (1) = 1, f (0) = 0, f (1) = 2, f (2) = 1
Determiner (X , f ) puis (X , f ) et les representer graphiquement.
7. Montrer que x X, m X f (x) + f (m) mx.

Partie II. Un autre exemple. In


egalit
e de H
older.
Dans cette partie, p est un reel strictement superieur `a 1, q est defini par :
1 1
+ =1
p q
La fonction up est definie dans X =]0, +[ par
xp
up (x) =
p
1. Preciser X et up .
2. a. Montrer que, pour tout couple (x, y) de reels strictement positifs :
xp yq
xy +
p q
et que pour tous reel > 0 on a aussi :
p xp yq
xy + q
p q
b. Soit n un entier naturel non nul et (x1 , , xn ), (y1 , , yn ) deux n-uplets de reels
strictement positifs. Justifier pour tout reel > 0, linegalite :
n n n
X p X p 1 X q
xi yi x + q y
i=1
p i=1 i q i=1 i

3. a. Soient a et b deux reels strictement positifs. Determiner le minimum de la fonction v


definie pour tout x > 0 par :
xp b
v(x) = a + q
p qx
b. En deduire linegalite de Holder pour tout couple de n-uplets de reels strictement
positifs
n n
! p1 n
! q1
X X X
xi yi xpi yiq
i=1 i=1 i=1

Partie III. Espaces N et N0 de fonctions convexes.


Dans cette partie, N designe lensemble des fonctions C 2 de R+ dans R+ , telles que f (0) = 0
et f 0 (x) > 0, f 00 (x) > 0 pour x > 0 .
On notera N0 la partie de N formee par les fonctions f telles que f 0 (0) = 0 et dont la derivee
diverge vers + en +.
On citera precisement les resultats de cours utilises. On se propose detablir, pour une fonction
f N lequivalence entre les deux proprietes f 0 + et f (x)x + au voisinage de +.

18

Enonc
es - Pb 4 : Transformation de Legendre : continuite, derivablite, borne superieure.

f (x)
1. Montrer que x + entrane f 0 +.
2. Soit x > 0, en considerant f (2x) f (x), montrer que xf 0 (x) f (2x).
f (x)
3. Montrer que f 0 + entrane x +.

ee de Legendre dans N0 .
Partie IV. Transform
Dans cette partie f designe une fonction dans N0 .
1. Soit m R+ , montrer que hm (definie `a partir de f comme dans le preliminaire) admet un
maximum quelle atteint en un unique reel positif xm . On notera la fonction qui `a tout
m 0 associe xm .
2. a. Montrer que f 0 est une bijection de R+ dans R+ .
b. Exprimer `a laide de f 0 , en deduire que est continue strictement croissante avec
(0) = 0 et en +.
3. Montrer que f est C 2 , preciser les derivees premi`ere et seconde de f .
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. Resoudre lequation f = f dans N0 .

Partie V. Un r
esultat g
en
eral.
On revient au cas general et on suppose X non vide.
1. Montrer que x X, f (x) sup {mx f (m), m X }.
2. a. Soit m1 , m2 deux reels tels que m1 < m2 . Verifier que m [m1 , m2 ] si et seulement
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 deduit-on pour X ?
3. a. Montrer que X X et que x X, f (x) f (x).
b. A-t-on toujours X = X ?
c. Montrer que X = X et f = f .

19

Enonc
es - Pb 5 : Irrationnalite de e. Generalisation de la formule du binome avec un element
nilpotent.

Probl`
eme 5
Dans tout le probl`eme, on confondra un polynome `a coefficients reels avec la fonction poly-
nomiale definie dans R qui lui est associee.

e de em
Partie I. Irrationnalit
Dans cette partie, on admet que pour tout entier naturel n, il existe des polynomes An et Bn
a coefficients dans Z et de degre inferieur ou egal `a n definissant une fonction fn
`

x R : fn (x) = An (x) + Bn (x)ex

telle que :

k {0, , n} : fn(k) (0) = 0


x R : fn(n+1) (x) = xn ex

1. Calculer des polynomes An et Bn satisfaisant aux conditions pour n egal `a 1 ou 2.


2. a. Calculer, `a laide de la formule de Leibniz, la derivee n + 1 `eme de la fonction
x2n+1 ex
x
(n + 1)!
Montrer que le coefficient de xn ex est un entier `a preciser.
b. Montrer que :
x2n+1 ex
x > 0 : 0 < fn (x) <
(n + 1)!
(on pourra utiliser des tableaux de variations et des derivations successives)
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 deduire une contradiction et conclure.

Partie II. G
en
eralisation de la formule du bin
ome.
Pour tout couple (m, k) Z N, on definit des nombres cm,k par les relations

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 numero de la ligne et k comme numero de la
colonne pour m entre 4 et +4 et k entre 0 et 4.
Formulez des remarques interessantes relativement `a ces coefficients.
2. On consid`ere un anneau A dont le neutre additif est note 0A et le neutre multiplicatif
(element unite) est note i. Cet anneau A contient un element d (dit nilpotent) pour lequel
il existe un entier n 1 tel que
dn+1 = 0A

20

Enonces - Pb 5 : Irrationnalite de e. Generalisation de la formule du binome avec un element
nilpotent.

a. Calculer !
n
X
k
c1,k d (i + d)
k=0

En deduire que i + d est un element inversible de A.


b. Montrer que pour tout m Z :
n
X
(i + d)m = cm,k dk
k=0

Partie III. Existence de An et Bn .


On designe par Rn [X] lespace des polynomes `a coefficients reels et dont le degre est inferieur
a n. On consid`ere lanneau des endomorphismes de Rn [X]. On rappelle que, dans cet
ou egal `
anneau, la loi multiplicative est la composition des endomorphismes.
Lunite est lapplication lineaire identite notee ici i :
(
Rn [X] Rn [X]
i:
P P

Lelement nilpotent considere est la derivation notee ici d :


(
Rn [X] Rn [X]
d:
P P0

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 definit la fonction n par :

x R : n (x) = Bn (x)ex

a. Preciser, `
a laide dune puissance de i + d la derivee m i`eme de n pour un entier
naturel m quelconque. Que se passe-t-il pour m = n + 1 ?
b. Pour m {0, , n}, montrer que
(m)
n (0)
Z
m!
Conclure.

21

Enonc
es - Pb 6 : Nombres complexes et fonctions usuelles : autour de la formule de Machin.

Probl`
eme 6
1
Lobjet de ce probl`eme est de presenter la formule de Machin et quelques resultats autour.
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
1 1
m arctan + arctan
x y 4
avec m, x, y entiers.

Partie I. Introduction. Exemples


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

(x, y) Cm (x + i)m (y + i)ei 4 R
3. Montrer que
1 1
= 2 arctan arctan
4 2 7
4. Formule de Dodgson2
Soit p, q, r trois reels positifs tels que 1 + p2 = qr. Montrer que
1 1 1
arctan = arctan + arctan
p p+r p+q


Partie II. Etude dune famille de polyn
omes
Pour x reel et m entier, on note respectivement Am (x) la partie reelle et Bm (x) la partie
imaginaire de de (x + i)m . On definit egalement Fm par :

Am (x) + Bm (x)
Fm (x) =
Am (x) Bm (x)

1. Calculer Ak (x) et Bk (x) pour k {1, 2, 3, 4}. Presenter les resultats dans un tableau.
2. Montrer que

Am+1 (x) = xAm (x) Bm (x)


Bm+1 (x) = Am (x) + xBm (x)
1 John Machin (1680 - 1752). Gr ace `
a cette formule, en 1706, Machin est le premier math
ematicien `
a calculer
100 decimales de p.
2 plus connu pour son oeuvre litt
eraire sous le pseudonyme Lewis Carrol

22

Enonc
es - Pb 6 : Nombres complexes et fonctions usuelles : autour de la formule de Machin.

Am (x) = (1)m Am (x)


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

A0m (x) = mAm1 (x)


0
Bm (x) = mBm1 (x)

(A0m et Bm0
sont les derivees de Am et Bm )
si m et pair

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

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

3. Pour un entier m fixe, determiner les solutions de Am (x) = Bm (x).


4. Montrer que la fonction Fm est decroissante dans chaque intervalle de son domaine de
definition. Quelle est la limite de Fm en + et en ?

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) 6= Bm (x)
y = Fm (x)

2. Les calculs numeriques des Fm (x) conduisent aux tableaux suivants

x 1 2 3 4 5 6 7
F1 (x) 3. 2. 1.667 1.500 1.400 1.333
F2 (x) -1. -7. 7. 3.286 2.429 2.043 1.824
F3 (x) 0. -1.444 -5.500 19.80 5.111 3.352 2.659
F4 (x) 1. -.5484 -1.824 -5.076 -239.0 7.971 4.518

x 8 9 10 11 12 13
F1 (x) 1.286 1.250 1.222 1.200 1.182 1.167
F2 (x) 1.681 1.581 1.506 1.449 1.403 1.366
F3 (x) 2.286 2.052 1.891 1.774 1.684 1.613
F4 (x) 3.376 2.802 2.455 2.222 2.055 1.929
` partir de ces tableaux, former (en justifiant soigneusement) toutes les formules du type
A
Machin.

23

Enonc
es - Pb 6 : Nombres complexes et fonctions usuelles : autour de la formule de Machin.

Partie IV. Algorithme de Lehmer.


Soit z0 un nombre complexe dont la partie imaginaire est strictement positive. On definit des
complexes z1 , z2 , par recurrence en posant

Re(zk )
zk+1 = zk (E( ) + i) lorsque Im(zk ) 6= 0
Im(zk )

La notation E designant la fonction partie enti`ere. Le procede sarrete si nombre reel est obtenu.
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 formee par les parties imaginaires des zk est strictement decroissante
et `
a valeurs positives.

3. Ecrire quelques lignes de code Maple implementant cet algorithme.
4. On suppose que z0 = a + ib avec a et b entiers strictement positifs.
a. Montrer quil existe un k tel que zk est reel.
b. En deduire que
b 1 1 1
arctan( ) arctan( ) + arctan( ) + + arctan( ) ()
a n0 n1 nk1

On remplacera arctan( n1k ) par


2 lorsque nk = 0.

24

Enonc
es - Pb 7 : Des suites de moyennes definies par recurrence.

Probl`
eme 7
1. On consid`ere trois nombres reels a, b, c quelconques.
a. Montrer que
1
a3 + b3 + c3 3abc = (a + b + c) (a b)2 + (b c)2 + (c a)2

2
b. En deduire que, si a, b, c sont trois reels strictement positifs, ils verifient
1
a + b + c 3(abc) 3
1 1 1 1
+ + 3(abc) 3
a b c

2. On consid`ere les suites (an )nN , (bn )nN , (cn )nN determinees par la donnee de leurs pre-
miers termes a0 > 0, b0 > 0, c0 > 0 et par les relations de recurrence
an + bn + cn
an+1 =
3
bn+1 = (an bn cn )1/3
3 1 1 1
= + +
cn+1 an bn cn

Justifier que les suites sont bien definies et montrer que

n 1, cn bn an

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

25

Enonc
es - Pb 8 : Plans mediateur, bissecteur et hauteur dun triangle dans lespace.

Probl`
eme 8
On se place dans lespace euclidien usuel muni dun rep`ere fixe dorigine O. Ce rep`ere aide
pour la visualisation des figures mais aucun calcul de coordonnees nest necessaire. Tous les plans
et droites consideres contiennent le point O. On adopte les notations suivantes :
D(
u ) est la droite de vecteur directeur
u.




P( u , v ) est le plan contenant et v .
P(u ) est le plan orthogonal `a

u.
Les notations utilisees pour designer les points et les vecteurs respecteront les conventions sui-
vantes :

M et un point et
m un vecteur tels que OM = m.


A et un point et a un vecteur tels que OA = a .

U et un point et
u un vecteur tels que OU = u.

On se donne trois vecteurs u,

v,w non nuls et non coplanaires. Pris deux `a deux, ces vecteurs
ne sont ni colineaires ni orthogonaux. Lobjet du probl`eme est detudier (`a laide de produits


vectoriels) pour un triangle de lespace forme par les trois droites D( a ), D( b ), D(
c ) des
configurations classiques dans le plan.
1. Preliminaires


a. On consid`ere trois vecteurs

a , b ,
c non nuls, non colineaires et tels que





a b 6= 0 , a + b +
c = 0

Montrer que



P(

a ) P( b ) P(

c ) = D(

a b)


b. Former lequation normale dun plan P(
a , b ) et preciser la distance dun point M `
a
ce plan. (question de cours, la demonstration nest pas demandee)
2. Plans hauteurs.
Le plan hauteur issu de

u est par definition orthogonal `a P(

v ,

w ) et contient D(

u ).
a. Former un vecteur orthogonal au plan hauteur issu de u .

b. Montrer lidentite (dite de Jacobi) :




(

u

v)

w + (

v

w)

u + (

w

u)

v = 0

En deduire que lintersection des trois plans hauteurs est une droite. Cette droite
est notee Dh .
3. Plans bissecteurs
a. Montrer que lensemble des points equidistants de deux plans P(

u,

v ) et P(

w,

u)
est la reunion de deux plans.
b. Former un vecteur orthogonal pour chacun de ces deux plans.
Parmi ces deux vecteurs, un seul (note a ) est tel que
a .

v et
a .

w soient de signes


opposes. Preciser ce vecteur a .
On dit que P( a ) est le plan bissecteur interieur issu de
u.
Les deux autres plans bissecteurs interieurs (issus de v et


w ) sobtiennent par per-
mutation des lettres.

26

Enonc
es - Pb 8 : Plans mediateur, bissecteur et hauteur dun triangle dans lespace.

Fig. 2 plan hauteur



c. Preciser b et c . Montrer que lintersection des trois plans est une droite. Cette droite
est notee Db .
4. Plans mediateurs
a. Montrer quun point M est equidistant des droites D(
v ) et D(

w ) si et seulement si



il est equidistant des plans P( v ) et P( w ).
b. Montrer que lensemble des points equidistants des deux droites D(v ) et D(

w ) est
la reunion de deux plans.
c. Former un vecteur orthogonal pour chacun de ces deux plans.
Parmi ces deux vecteurs, un seul (note
a ) est tel que
a .

v et
a .

w soient de signes


opposes. Preciser ce vecteur a .
On dit que P( a ) est le plan mediateur interieur issu de

u.
Les deux autres plans mediateurs interieurs (issus de v et


w ) sobtiennent par per-
mutation des lettres.


d. Preciser b et c . Montrer que lintersection des trois plans est une droite. Cette droite
est notee Dm .
5. Preciser pour chacun des trois vecteurs suivants

u v

v w
w
u


+
+


k u kk v k k v kk w k k w kk u k
k

v

w k
u + k w
u k
v + k
u
v k

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

Enonc
es - Pb 8 : Plans mediateur, bissecteur et hauteur dun triangle dans lespace.

Fig. 3 plan bissecteur

28

Enonc
es - Pb 8 : Plans mediateur, bissecteur et hauteur dun triangle dans lespace.

Fig. 4 plan mediateur

29

Enonc
es - Pb 9 : Disque elliptique comme union de cercles.

Probl`
eme 9
Un plan P est muni dun rep`ere orthonorme. Les fonctions coordonnees relatives `a ce rep`ere
sont notees x et y, laffixe complexe dun point est egalement relative `a ce rep`ere.
Lobjet de ce probl`eme est de preciser, pour des nombres complexes a, b, c fixes (a 6= b), lensemble
(note D) des points du plan dont laffixe complexe est de la forme

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 0 deux points distincts du plan, a un reel tel que a > F F 0 , u et v deux nombres
complexes avec u 6= 0. On note C lensemble des points M du plan tels que

F M + F 0 M = 2a

On note S lapplication de P dans P qui `a un point M daffixe z associe le point S(M )


daffixe uz + v.
a. Quelle est la nature de lensemble C ? Preciser la distance entre le centre et les sommets.
b. Soit C 0 limage de C par S, montrer que C 0 est une ellipse dont on precisera les foyers
ainsi que la distance entre le centre et les sommets.

Fig. 5 Trace de quelques C pour = 1.

2. Dans cette question est un nombre reel strictement positif fixe et C (avec ]0, 1[) est
le cercle defini par :
p
affixe du centre : 1 + 2 rayon : 2

a. Former un equation de C .
b. Montrer que lensemble (note E ) des points du plan par lesquels passe exactement
un cercle C est une conique dont on donnera une equation reduite. Preciser le centre,
laxe focal et les foyers.
c. Quel est lensemble (note ) des points par lesquels passe au moins un cercle C ?
3. Soit S la fonction du plan dans lui meme qui `a un point daffixe z associe le point daffixe
2 a+b
z
ab ab

30

Enonc
es - Pb 9 : Disque elliptique comme union de cercles.

a. Montrer que S est bijective. Preciser la bijection reciproque notee S 0 .


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 verifiant
p
affixe du centre : ar2 + b(1 r2 ) rayon : |c|r 1 r2

est un cercle C pour des et `a preciser en fonction de a, b, c.


4. Soit r ]0, 1[ fixe, montrer que lensemble des points daffixe

a|z1 |2 + b|z2 |2 + cz1 z2 avec |z1 |2 + |z2 |2 = 1 et |z1 | = r

est un cercle. Preciser son centre et son rayon.


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

31

Enonc
es - Pb 10 : Ensembles : theor`eme de Sperner.

Probl`
eme 10
Dans tout le probl`eme, E designe un ensemble `a n elements.

Partie I. Pr
eliminaire
n n n
  
Pour un entier n non nul, on note (n) = max( 0 , 1 , , n )
` quel coefficient du bin
1. A ome est egal (n) ?
2. Montrer que (2n 1) = 21 (2n)

Partie II. Ensembles de Sperner


On dit quune partie S de P(E) est de Sperner lorsque
(A, B) S 2 : A 6= B A 6 B et B 6 A
1. Montrer que si p est un entier entre 1 et Card(E) 1, lensemble Pp des parties de E `a p
elements est de Sperner.
2. Dans cette question, E = {1, . . . , n} et a1 , . . . , an sont des reels strictement positifs (non
necessairement distincts). On definit une application f de P(E) dans R en posant
X
A P(E) : f (A) = ai
iA

1
Montrer que pour tout reel t, f ({t}) est une partie de Sperner lorsquelle nest pas vide.
3. Determiner le nombre de parties de Sperner `a deux elements S = {A1 , A2 }.

Partie III. Chanes


On appelle chane de E une famille (C1 , C2 , . . . , Cn ) de parties de E telle que
i {1, . . . , n} : Card(Ci ) = i
i {1, . . . , n 1} : Ci Ci+1
Soit A est une partie fixee `
a k element de E. Calculer le nombre de chaines (C1 , C2 , . . . , Cn )
telles que Ck = A.

Partie IV. Th
eor`
eme de Sperner
1. Soit (C1 , C2 , . . . , Cn ) une chaine. Montrer que lintersection dune partie de Sperner avec
{C1 , C2 , . . . , Cn } contient au plus un element.
2. En considerant toutes les chanes (C1 , C2 , . . . , Cn ) telles que
{C1 , C2 , . . . , Cn } S 6=
montrer que
X 1
n
 1
AS Card A

3. En deduire le theor`eme de Sperner cest `a dire


CardS (n)

32

Enonc
es - Pb 11 : Famille de suites definie par recurrence, points fixes stables et instables.

Probl`
eme 11
Soit a ]0, 1[, la fonction fa est definie dans [0, +[ par fa (x) = ax . On consid`ere des suites
definies par recurrence par x0 0 et xn+1 = fa (xn ).
Dans le probl`eme, on pourra noter f au lieu de fa pour alleger lecriture.

PARTIE I
1. a. Montrer que fa est strictement decroissante et admet un unique point fixe note c.
Comme c depend de a, on pourra le noter ca en cas dambigute. Que peut-on en
conclure pour les suites extraites (x2n )nN et (x2n+1 )nN ?
b. Montrer que c est un point fixe de f f , exprimer (f f )0 (c) en fonction de f 0 (c).
2. a. Montrer, en utilisant la stricte decroissance de f que
1 1 0
1 < e |f (c)| > 1
ln a

b. Que peut-on dire du point fixe 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 0 (x) = (ln a)2 ax+f (x) 1

b. Montrer que h0 est strictement croissante que


h0 (0) = 1 + ln a, g 0 (0) = (ln a)2 a 1, g(0) = a

c. Preciser les limites en + de h0 , g, g 0 .


d. Comparer les variations de g 0 avec celles de h.
2. a. Montrer que, si a > 1e , h0 reste strictement positif dans [0, +[.
b. Montrer que, si a 1e , h0 sannule dans [0, +[ seulement au point

ln(ln a1 )
b=
ln( a1 )

c. Montrer que a < ee entrane g 0 (b) > 0, et que a > ee entrane g 0 (b) < 0.
3. On suppose ici a > 1e . Preciser le tableau des signes de g. En deduire le comportement de
(xn )nN suivant la valeur de x0 .
4. On suppose ici ee < a 1e . Preciser le tableau des signes de g. En deduire le comportement
de (xn )nN suivant la valeur de x0 .
5. On suppose a < ee .
a. Montrer que g 0 (0) < 0 et g 0 (b) > 0. En deduire la forme du tableau de variations de
g. Combien g peut-elle avoir de z eros ?
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. Preciser le comportement de (xn )nN suivant la valeur de x0 .

33

Enonc
es - Pb 12 : Un probl`eme danalyse `a la Cauchy sur un ensemble de reels defini `a partir
dune fonction.

Probl`
eme 12
Soit g une application continue dans un segment reel [a, b] et `a valeurs reelles. On se propose
detudier lensemble
E = {x ]a, b[ tq ]x, b] tq g(x) < g()} .

Partie I
1. Determiner E dans les cas suivants
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 general, une fonction strictement decroissante dans ]a, b lest-elle encore dans [a, b] ? Et
si on suppose de plus la continuite en a ?
4. a. Montrer que E est vide si et seulement si g est decroissante dans [a, b].
b. Soit M = sup[a,b] (g), montrer que E =]a, b[ entrane M {g(a), g(b)}. Illustrer les
deux possibilites en dessinant un graphe. La reciproque est-elle vraie ?

Partie II
La fonction est definie dans [a, b] par

(x) = sup g.
[x,b]

1. Montrer que est monotone et continue, preciser son sens de variation.


2. a. Caracteriser les elements de E `a laide des fonctions et g.
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

Enonc
es - Pb 13 : Inversibles dans un anneau quadratique.

Probl`
eme 13
Soit d un nombre entier strictement positif dont la racine carree est irrationnelle. On pose

Z[ d] = {a + b d, (a, b) Z2 }

On utilisera librement le fait que pour tout element z Z[ d] il existe un unique couple (a, b)
dentiers tels que
z =a+b d

On definit des applications c et N dans Z[ d] en posant

(a, b) Z : c(a + b d) = a b d

(a, b) Z : N (a + b d) = a2 db2

On demontre dans la partie I que Z[ d] est un sous-anneau de R, on designe par I lensemble
des inversibles de ce sous-anneau.
On suppose que d est tel que I ne se reduise pas `a {1, 1}. On ne cherchera pas ici `a savoir pour
quel d cela se produit.
On introduit aussi les parties I++ , I+ , I+ , I definies par

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 0 ) = N (z)N (z 0 ) pour tous les z,z 0 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 0 dans lun des ensembles I++ , I+ , I+ , I . Preciser parmi I++ , I+ , I+ ,
I , lensemble contenant z1 et zz 0 . Presenter les resultats dans un tableau.
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+ .
a {1}.
3. Montrer que I++ ne se reduit pas `

Partie III
On admet que les points de coordonnees (x, y) verifiant

x2 dy 2 {1, 1}

35

Enonc
es - Pb 13 : Inversibles dans un anneau quadratique.

forment les quatre branches de deux hyperboles dasymptotes dequations



x dy = 0, x + dy = 0

On note H lensemble de ces


points.
` chaque element x + dy de I on associe le point de coordonnees (x, y) sur H. Preciser sur
A
un dessin les branches sur lesquelles sont situes les points associes `a I++ , I+ , I+ , I

Partie IV

1. Soit x et y deux entiers et z = x + y d, montrer que

z I++ x>0
z I++ et z > 1 y>0

2. On definit une partie X de R par


 
z + c(z)
X= tq z I++ et z > 1
2

Montrer que X admet un plus petit element.


3. Montrer que
{z I++ tq z > 1}
admet un plus petit element.
Dans toute la suite, on notera m cet entier.

Partie V
1. Montrer que I++ est engendre par m
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 engendre par w.

Partie VI

question d = 2, montrer que I++ est engendre par 3+2 2 et que I+ est engendre
1. Dans cette
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 considerer les restes dans la division par 4.



b. Montrer que I++ est engendre par 2 + 3.
c. Decrire, `
a laide dune suite definie par recurrence lensemble des couples dentiers
naturels tels que
x2 3y 2 = 1

36

Enonc
es - Pb 14 : Familles de sous-espaces de meme dimension.

Probl`
eme 14
Dans tout le probl`eme, K est un sous-corps de C. On utilisera en particulier que K nest pas
un ensemble fini.
Tous les espaces vectoriels consideres sont des K espaces vectoriels de dimension finie.
Lobjet du probl`eme est detablir des proprietes des familles de sous-espaces vectoriels de meme
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 definition est utilisee
dans le probl`eme, aucune interpretation en terme de forme lineaire nest necessaire.
La partie III est independante des deux premi`eres.

Partie I.
Dans cette partie, E designe un espace vectoriel fixe.
1. (question de cours) Soit A et B deux sous-espaces vectoriels de E.
a. Montrer que lapplication : (
AB E
:
(a, b) a + b
est lineaire. Preciser son image.
b. Montrer, en precisant lisomorphisme, que ker est isomorphe `a A B.
c. En deduire
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 A. Montrer


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.

Partie II. Suppl


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

est lineaire et injective. Que peut-on en deduire pour dim(Im f ) ? Dans toute la suite, on
notera :
f L(A, B) : Af = Im f

2. Montrer que pour tout f L(A, B), Af est un supplementaire de B.

37

Enonc
es - Pb 14 : Familles de sous-espaces de meme dimension.

3. Montrer que si f et g sont deux applications lineaires de A vers B :


Af = Ag f = g

4. Soit A1 un supplementaire quelconque de B. On note :


pA1 ,B la projection sur A1 parallelement `a B
pB,A1 la projection sur B parallelement `a A1
a A de pB,A1 . Montrer que
Soit f la restriction `
Af = A1

5. Conclure en precisant le r
ole des questions precedentes.
6. Montrer que lensemble des hyperplans dun K-espace vectoriel E est infini.
7. (hors bar`eme - hors programme) Dans le cas o` u le corps K est fini de cardinal q et E de
dimension n, montrer que E est fini. Combien a-t-il delements ?
Pourquoi le resultat qui est lobjectif de la partie III est-il faux dans ce cas ? Combien un
sous-espace vectoriel B de dimension s admet-il de supplementaires ?

Partie III. Suppl


ementaire commun

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

A1 = Vect(a1 )

A4 = Vect(a4 )

B = Vect(b)

Fig. 6 Partie III. dim E = 2.

Dans cette partie, on consid`ere des familles (A1 , A2 , , Ap ) de sous-espaces dun espace
vectoriel E telles que les Ai soient deux `a deux distincts et de meme dimension m (0 < m <
dim E).
On veut montrer quil existe un sous-espace vectoriel B qui est un supplementaire de chacun des
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

Enonc
es - Pb 14 : Familles de sous-espaces de meme dimension.

a. Justifier 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 coordonnees de ai dans la base (a1 , b1 ). Montrer
que i 6= 0 pour i entre 2 et p.
c. Justifier lexistence dun scalaire tel que

b = a1 + b1 6 A1 A2 Ap

2. Dans cette question, on pourra utiliser le resultat de la question II.6 (dans un espace
vectoriel il existe une infinite dhyperplans). Soit (A1 , A2 , , Ap ) une famille dhyperplans
verifiant les conditions indiquees en debut de partie. Montrer que

A1 A2 Ap 6= E

3. Soit (A1 , A2 , , Ap ) une famille verifiant les conditions indiquees en debut de partie.
Montrer que
A1 A2 Ap 6= E
4. On veut maintenant montrer le resultat annonce ; cest `a dire lexistence dun supplementaire
commun B aux sous-espaces dune famille (A1 , A2 , , Ap ) verifiant les conditions in-
diquees en debut de partie.
a. Cas m = dim E 1. Soit x un vecteur qui nest pas dans A1 A2 Ap , montrer
que Vect(x) est un supplementaire commun.
b. Montrer le resultat dans le cas general.

39

Enonc
es - Pb 15 : Approximation par convolution.

Probl`
eme 15
Pour tout entier naturel n non nul, on definit une fonction n dans R par :
 
3n 1 1

2 2

(1 n t ) si t ,
4 n n
t R : n (t) =  
1 1
0
si t 6 ,
n n
Soit f une fonction continue (mais non necessairement derivable) de R dans R. Pour tout entier
naturel n non nul, on definit fn par :
Z n1
x R : fn (x) = n (t)f (x + t)dt
1
n

1. a. Tracer lallure du graphe dune fonction n .


Preciser la regularite de n . (O`
u est-elle continue, derivable ? O`
u la derivee est elle
continue, derivable ? ... ).
b. Calculer Z 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 derivable dans R.
b. Pour tout x reel, montrer que
Z 1
0 3n3 n
fn (x) = tf (x + t)dt
2 n1
3. Pour tout reel x et tout entier naturel non nul n, on pose
 
1 1
In (x) = x , x + Mn (x) = max |f (u) f (x)|
n n uIn (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
Montrer que (Kn )nN converge vers 0.
c. Soit x un reel fixe. Que peut-on deduire de la question precedente relativement `a la
suite
(fn (x))nN
4. Soit x un nombre reel en lequel la fonction f est derivable. On definit une fonction Rx par :
t R : f (x + t) = f (x) + tf 0 (x) + tRx (t)
a. Pour tout n naturel non nul, exprimer fn0 (x) en fonction de f 0 (x) et de
Z n1
t2 Rx (t)dt
1
n

b. Montrer que (fn0 (x))nN converge vers f 0 (x).

40

Enonces - Pb 16 : Calcul de la somme des inverses des carres par la methode des coefficients de
Fourier.

Probl`
eme 16
1. a. Calculer
Z 1 Z 1
t cos(kt) dt t2 cos(kt) dt
0 0

b. En deduire quil existe un unique couple (a, b) de reels `a preciser tels que, pour tout
entier k 1, Z 1
1
(at2 + bt) cos(kt)dt = 2
0 k
c. Transformer, pour le couple (a, b) de la question precedente
Z 1 n
!
1 X
(at2 + bt) + cos(kt) dt
0 2
k=1

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


n
X
1+2 cos(2k)
k=1

comme un quotient de deux sinus.


3. Soit f une fonction reelle de classe C 1 sur [0, 1]. Montrer que la fonction
Z 1
f (t) sin(t)dt
0

converge vers 0 en +.
4. On consid`ere la fonction reelle definie dans [0, 1] par :

2 (t2 2t)
f (t) = si t 6= 0
4 sin( 2 t)
f (t) = si t = 0

a. Montrer que f est de classe C 1 sur [0, 1].


b. Montrer la convergence de la suite
n
X 1
( )nN
k2
k=1

ainsi que la valeur de la limite.

41

Enonc
es - Pb 17 : Un exercice avec des sommes de Riemann.

Probl`
eme 17
Cet exercice repose sur lutilisation de sommes de Riemann. Deux suites (an )nN et (bn )nN
sont definies pour tout entier n par :
n
X n
an =
(n + k)2
k=1
n
n X n2
bn =
2 (n + k)2
k=1

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


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

42

Enonc
es - Pb 18 : Lemme de Hochschild (par dualite).

Probl`
eme 18
Dans cet exercice, X est un ensemble fini quelconque. Il faut bien noter quaucune operation
nest definie sur X.
On consid`ere un sous-espace vectoriel V du C-espace vectoriel F(X, C) des fonctions definies sur
X et `a valeurs complexes. Ce sous-espace V est de dimension p 1.
On note V = L(V, C) lespace des applications lineaires de V vers C (formes lineaires). Pour
tout x X, on definit x V par :

v V : x (v) = v(x)

On se propose de montrer quil existe une famille (x1 , , xp ) delements de X et une base
(v1 , , vp ) de V telles que :
(
1 si i = j
(i, j) {1, 2, }2 : vi (xj ) =
0 si i 6= j

1. Montrer que la dimension de F(X, C) est egale au nombre delements de X. Que peut-on
en deduire pour p ?
2. On suppose quil existe une famille (x1 , , xp ) delements de X telle que (x1 , , xp ) soit
une base de V . On note
A = {x1 , , xp }
Pour tout v V , on designe par v|A la restriction de v `a A.
a. Montrer que lapplication R definie par :
(
V F(A, C)
R:
v v|A

est un isomorphisme.
b. Montrer quil existe une base (v1 , , vp ) de V telles que :
(
2 1 si i = j
(i, j) {1, 2, } : vi (xj ) =
0 si i 6= j

3. On se propose de montrer maintenant quil existe une famille (x1 , , xp ) delements de


X telle que (x1 , , xp ) soit une base de V .
a. Montrer quil existe un element x de X tel que (x ) soit une famille libre de V .
b. Parmi les familles (x1 , , xq ) delements de X telle que (x1 , , xq ) soit libre, on en
consid`ere une maximale. Cest a` dire telle que :

(x1 , , xq ) libre
x X : (x1 , , xq , x ) liee

Montrer que q p. Montrer que V est inclus dans un sous-espace vectoriel de F(X, C)
engendre par q fonctions. En deduire que p = q et que (x1 , , xp ) est une base de
V .

43

Enonc
es - Pb 19 : Fonctions `a derivees bornees.

Probl`
eme 19
3
Lobjet de ce probl`eme est de montrer le resultat suivant.
Lorsque f C (R) est telle que f et f (n) soient bornees alors, pour tous les k entre
n

1 et n 1, la fonction f (k) est bornee.


Pour cela, on introduit des matrices et on utilisera un resultat relatif `a ces matrices.
Soit m un entier non nul, on definit une matrice carree Vm Mm (R) et une matrice ligne
Lm M1,m (R) par :
1 1 2 1m

2 22 2m
Vm = .

.. .. ..
.. . . .
m m2 mm
      
m1 m mk m 0 m
Lm = (1) (1) (1)
1 k m

On se propose de montrer de deux mani`eres differentes que :


 
Lm Vm = 0 0 0 m!

Partie I
Soit E le R-espace vectoriel des polynomes `a coefficients reels de degre inferieur ou egal `a m
(y compris le polynome nul) et divisibles par X.
1. Montrer que, pour tout i entre 1 et m, il existe un unique polynome i E tel que :

j {1, , m} :
fi (j) = i,j

2. Preciser, pour i entre 1 et m, le coefficient dominant de Li .


3. Montrer que L = (1 , , m ) est une base de E. Soit P E, preciser la matrice MatL P
des coordonnees. Que peut-on en deduire pour Vm ?
4. Montrer que lapplication
(
ER
:
]
P P (m) (0)

est une forme lineaire. Preciser MatL ().


5. Montrer sans calcul que Vm est inversible. Quel renseignement la question 2. nous donne-
t-elle sur Vm1 ?
6. Demontrer la formule annoncee :
 
Lm Vm = 0 0 0 m!

3 dapr`
es Centrale-Sup
elec 2001 PC Maths 1

44

Enonc
es - Pb 19 : Fonctions `
a derivees bornees.

Partie II
Dans cette partie m est un entier naturel non nul. Par developpement limite `a lordre m en
0 on entend un developpement limite dont le reste est o(xm ).
1. Soit k {1, , m}. Former le developpement limite `a lordre m en 0 de

x ekx

2. Former le developpement limite `


a lordre m en 0 de

x (ex 1)m


3. Soit j un entier entre 1 et m. Ecrire le terme 1, j du produit matriciel Lm Vm .
4. Demontrer la formule annoncee :
 
Lm Vm = 0 0 0 m!

Partie III
1. Soit f C 2 (R) telle que |f | est bornee par un reel M0 et |f (2) | bornee par un reel M2 .
a. Soit x un reel quelconque et h un reel strictement positif quelconque. Ecrire les for-
mules de Taylor avec reste de Lagrange `a lordre deux entre x et x + h puis entre x et
x h.
b. En deduire :
M0 M2
x R, h > 0 : |f 0 (x)| + h
h 2
c. En deduire que |f 0 | est bornee par
p
2M0 M2

2. Soit f C 3 (R) telle que |f | est bornee par un reel M0 et |f (3) | bornee par un reel M3 .
a. Soit x un reel quelconque et h un reel strictement positif quelconque. Ecrire les for-
mules de Taylor avec reste de Lagrange `a lordre trois entre x et x + h puis entre x et
x h.
b. En deduire que |f 0 | est bornee par

1 1
9M02 M3 3
2

c. La fonction |f 00 | est-elle bornee ?

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

45

Enonc
es - Pb 19 : Fonctions `a derivees bornees.

Soit x un reel quelconque et h un reel strictement positif quelconque. On definit des reels
y1 , y2 , , yn1 par :
h 0
f (x)
1!
y1 2

h 00
y2 f (x)
2!
= V

.. n1

. ..
.

yn1


hn1
(n1)
f (x)
(n 1)!
1. Montrer que,
i {1, n 1} : |yi | Kh
2. Montrer que
n1  
X
n1i n1
(1) yi = hn1 f (n1) (x)
i=1
i

3. Montrer que |f (n1) | est bornee par


 n1
2
Kh
h

4. En deduire que pour tout entier k entre 1 et n 1 la fonction |f (k) | est bornee.

46

Enonc
es - Pb 20 : Familles de vecteurs et de reflexions.

Probl`
eme 20
Dans tout le probl`eme4 , on designe par n un entier egal `a 2 ou 3 et par A une matrice
(n, n) symetrique dont les coefficients aij sont des entiers naturels non nuls. Les coefficients de
la diagonale principale de A sont des 1.
On designe par M la matrice reelle carree dordre n et de coefficient mij defini par :

mij = cos
aij
Dans le cas n = 2, on notera
a = a12 = a21 , m = m12 = m21 = cos a
On designe par E un espace vectoriel euclidien oriente de dimension n dont le produit scalaire
est note (./.).
On se propose detudier les bases B = (e1 , , en ) telles que, pour tous les i et j entre 1 et n :
(ei /ej ) = mij
On dira alors que B verifie la propriete M.

erifiant M.
Partie I. Existence dune famille v
1. Calculer le determinant de M pour n egal `a 2 ou 3.
2. Montrer que sil existe une base B verifiant M alors aij 2 pour tous les couples (i, j) tels
que i 6= j.
Dans toute la suite du probl`eme, on suppose aij 2 pour tous les couples (i, j)
tels que i 6= j.
3. Cas n = 2. Construire une base directe verifiant M.
4. Cas n = 3. On veut construire une base directe B = (e1 , e2 , e3 ) verifiant M. Soit (a1 , a2 , a3 )
une base orthonormee directe de E, on pose e1 = a1 .
a. Preciser un vecteur e2 Vect(a1 , a2 ) tel que
(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 affine D.
Quelle est sa direction ? Calculer les coordonnees dans (a1 , a2 ) du point dintersection
D avec le plan Vect(a1 , a2 ). En deduire la distance du vecteur nul `a la droite D.
c. Traduire par une propriete geometrique faisant intervenir D lexistence dun vecteur
e3 tel que (e1 , e2 , e3 ) verifie M.
d. Montrer que si det M > 0 il existe une base B verifiant M.
5. Cas particulier n = 3 et
1 3 2
A = 3 1 4
2 4 1
Preciser M et montrer quil existe une base B verifiant M.
4 dapr`
es Centrale Sup
elec 2 PC 2005

47

Enonc
es - Pb 20 : Familles de vecteurs et de reflexions.

Partie II. Famille de r


eflexions.
Dans cette partie, B = (e1 , , en ) est une base directe verifiant M. On designe par i la
reflexion telle que
i (ei ) = ei
1. On consid`ere deux vecteurs x et y de E admettant pour coordonnees dans B respective-
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 considerer le vecteur me1 e2 qui est orthogonal `a e1 .
b. Soit C = (a1 , a2 ) une base orthonormee directe avec a1 = e1 . Former les matrices dans
C de 1 , 2 et . En deduire la nature et les elements geometriques de .
3. Cas n = 3. Former les matrices S1 , S2 , S3 dans B de 1 , 2 , 3 . On pourra par exemple
considerer les vecteurs m12 e1 e2 et m13 e1 e3 qui sont orthogonaux `a e1 .
4. Cas particulier n = 3 et
1 3 2
A = 3 1 4
2 4 1
a. Former la matrice T de = 1 2 3 dans B.
b. Determiner un vecteur unitaire u tel que (u) = u puis une base orthonormee directe
D = (u, v, w). On choisira un vecteur v combinaison lineaire de e1 et e3 .
c. Former la matrice de dans D. En deduire sa nature et ses elements geometriques.

48

Enonc
es - Pb 21 : Borne inferieure dun ensemble de nombres reels. Densite de Schnirelmann.

Probl`
eme 21
5
Pour toute partie A de N et tout entier n 1, on pose

Sn (A) = Card(A {1, 2, , n})

et on appelle densite de Schnirelmann de A le reel

Sn (A)
(A) = inf{ , n 1}
n
Si A et B sont deux parties de N, on pose

A + B = {a + b, a A, b B}

1. a. Justifier la definition de (A).


b. Que vaut (A) si 1 6 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 finie de N.
b. A est lensemble des entiers impairs.
c. Soit k 2 entier fixe et A lensemble des puissances k-i`emes dentiers.

A = {mk , m N }

3. Soit A et B deux parties de N contenant 0 et n 1 un nombre entier. En considerant

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.
1
b. Montrer que si 0 A et (A) 2 alors tout nombre entier est la somme de deux
elements de A.

5 Dapr`
es le probl`
eme 1 de louvrage Probl`
emes choisis de math
ematiques sup
erieure (Springer).

49

Enonc
es - Pb 22 : Rang et matrices extraites

Probl`
eme 22
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 definit une matrice AIJ Ms (R) dite extraite de A par :
(u, v) {1, , s} {1, , t} : terme u, v de AIJ = aiu jv
Par exemple :

1 2 3 4  
5 7
A = 1 3 5 7 I = {2, 3} J = {3, 4} AIJ =
5 10
8 6 5 10
Lobjet de cet exercice est de montrer que le rang de A est la taille de la plus grande matrice
carree inversible extraite cest ` a dire le plus grand des s pour lesquels il existe des parties `a s
elements I et J telles que AIJ soit inversible.
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 =
6 0Mp,q (R)
U

Pour toutes parties I de {1, , p} et J de {1, , q}, on definit :


I est le complementaire de I dans {1, , p}.
J est le complementaire de J dans {1, , q}.
UI = {ui , i I}, EI = Vect (UI ). On utilisera librement le fait que EI et EI sont des
sous-espaces supplementaires de E.
pI est la projection sur EI parallelement `a EI .
VJ = {vj , j J} , VJ = Vect (VJ ).
On definit enfin un entier r par :
il existe des parties ` a r elements I de {1, 2, , p} et J de {1, 2, , q} telles que AIJ
inversible.
pour toutes parties ` a r + 1 elements I de {1, 2, , p} et J de {1, 2, , q} (sil en existe),
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
precisera soigneusement lespace vectoriel, la base et la famille.
b. En deduire que r rg(A).
3. Pour toutes parties (non vides) I de {1, 2, , p} et J de {1, 2, , q}, montrer que la
restriction de pI ` a VJ est injective si et seulement si
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 completer cette famille par des vecteurs de U pour former une
base de E.
5. Montrer que r = rg(A).

50

Enonc
es - Pb 23 : Sommets dune courbe parametree

Probl`
eme 23
On appelle6 sommet dune courbe parametree reguli`ere normale de classe C 3 tout point de
celle-ci o`
u la derivee de la courbure sannule.
Dans les questions 2 et 3, on compare pour les paraboles et les ellipses la notion usuelle de
sommet avec celle definie ici. On etablit ensuite que toute courbe fermee simple et strictement
convexe (Fig. 7) admet au moins quatre sommets.
On adopte un certain nombre de notations valables dans tout le probl`eme.
E est un plan affine de direction E.


O, ( i , j )) est un rep`ere fixe. Les coordonnees et les affixes complexes sont relatifs `a ce
rep`ere.
M est une fonction definie dans R et `a valeurs dans E qui est une courbe parametree
normale. Pour tout s reel, sa derivee en s notee


M 0 (s) =

(s)

est un vecteur unitaire de E.




n (s) est le vecteur unitaire directement orthogonal `a
(s).
(f (t)) designe la courbure au point f (t) du support dune courbe parametree (pas forcement
normale f ). Ce nombre sera aussi parfois note c(s).

M (0) = M (L)

Fig. 7 Courbe fermee, sans point double, strictement convexe

Partie 1. D
efinitions - Exemples

1. Etude dune equation diff erentielle
Pour tout reel s, on designe par z(s) laffixe complexe de M (s) et par x(s) et y(s) les parties
reelles et imaginaires de z(s).

6 dapr`
es
Ecole de lair 2005

51

Enonc
es - Pb 23 : Sommets dune courbe parametree

a. Soit c une fonction continue de R dans R. Montrer lequivalence entre les deux pro-
prietes suivantes :

(1) s R : c(s) = (M (s))


(2) s R : z 00 (s) = ic(s)z 0 (s)

b. On etudie les courbes dont la courbure est constante egale `a c0 .


En distinguant les deux cas c0 = 0 et c0 6= 0, determiner lexpression de z. En deduire
les courbes dont tous les points sont des sommets.
c. On etudie les courbes dont la courbure est donnee par une fonction c definie dans R
par
1
c(s) =
1 + s2
et qui verifient les deux conditions initiales

z(0) = i z 0 (0) = 1

Montrer que
1 + is
z 0 (s) =
1 + s2
en deduire z et reconnatre la courbe en posant s = sh t.

2. Etude des sommets de la parabole
Soit p un reel strictement positif fixe, une parabole est donnee par une parametrisation f
definie dans R
t2

f (t) = 0 + t i + j
2p
a. La courbe parametree f est-elle normale ? Determiner
(f (t)),

n (f (t)), une equation
cartesienne de la tangente en f (t) (sous la forme dun determinant non developpe).
b. Calculer (f (t)). En quel point de la parabole la derivee de cette fonction sannule-t-
elle ?

3. Etude des sommets de lellipse
Soient a et b des reels strictement positifs distincts fixes, une ellipse est donnee par une
parametrisation f definie dans R par : .



f (t) = 0 + a cos t i + b sin t j

a. La courbe parametree f est-elle normale ? Determiner



(f (t)),

n (f (t)), une equation
cartesienne de la tangente en f (t) (sous la forme dun determinant non developpe).
b. Calculer (f (t)). En quel point de lellipse la derivee de cette fonction sannule-t-elle ?

Partie 2. Courbe ferm


ee strictement convexe
Dans cette partie, on suppose que la courbe parametree normale M est C 3 (R) et quelle verifie
trois hypoth`eses supplementaires.(Fig. 7)
Elle est fermee et de longueur L > 0. Cela signifie que la fonction M est periodique de plus
petite periode L.
Elle est sans point double. Cela signifie que la restriction `a [0, L[ de la fonction M est
injective.

52

Enonc
es - Pb 23 : Sommets dune courbe parametree

M2 = M (s2 )

M1 = M (s1 )

Fig. 8 Intersection avec une secante

Elle est strictement convexe. Cela signifie que, pour tout s0 reel, lensemble des M (s) (pour
s non congru ` a s0 modulo L) est contenu dans un des demi-plans ouverts definis par la
tangente ` a la courbe en M (s0 ).
1. Position par rapport ` a une s ecante
On consid`ere deux reels s1 et s2 dans une meme periode tels que s1 < s2 < s1 + L. On pose
M1 = M (s1 ) et M2 = M (s2 ). On consid`ere un rep`ere orthonorme direct dont lorigine est
en M1 et dont laxe M1 X est la droite orientee (M1 M2 ) (Fig.8). On designe par X(s) et
Y (s) les coordonnees de M (s) dans ce rep`ere.
a. On suppose quil existe des reels u et v tels que s1 < u < v < s2 et Y (u)Y (v) < 0.
Montrer quil existe un reel w tel que s1 < w < s2 et Y (w) = 0.
En deduire une contradiction avec les proprietes de la courbe.
b. Montrer que tous les points M (s) o` u s1 < s < s2 appartiennent `a un des deux demi-
plans ouverts delimites par la droite (M1 M2 ). Montrer que tous les points M (s) o` u
s2 < s < s1 + L appartiennent ` a lautre demi-plan ouvert.
2. Sommets
On note c(s) = (M (s)) et on suppose que cette fonction nest pas constante.
a. Montrer quil existe des reels s1 et s2 tels que
s R : c(s1 ) c(s) c(s2 )
s1 < s2 < s1 + L
En deduire que M1 = M (s1 ) et M2 = M (s2 ) sont des sommets de la courbe.
b. On suppose que, sur [s1 , s1 + L[, la derivee c0 ne sannule quen s1 et s2 .
On consid`ere ` a nouveau le rep`ere de la question 1. et on suppose Y (s) > 0 pour tous
s verifiant s1 < s < s2 .
Montrer que
Z s1 +L
c0 (s)Y (s)ds > 0
s1

53

Enonc
es - Pb 23 : Sommets dune courbe parametree

Montrer que
Z s1 +L
c0 (s)Y (s)ds = 0
s1

Deduire de cette contradiction que la courbe admet au moins un troisi`eme sommet


M3 = M (s3 ) avec s1 < s3 < s2 .
c. On suppose que, sur [s1 , s1 + L[, la derivee c0 ne sannule quen s1 , s2 et s3 . Que

peut-on dire alors de c0 en s3 ? Etablir une contradiction en reprenant le raisonnement
precedent.
Ainsi, une courbe fermee sans point double et strictement convexe admet au moins
quatre sommets.

54

Enonc
es - Pb 24 : Suite implicite

Probl`
eme 24
Pour tout entier naturel n, on consid`ere deux fonctions polynomiales definies dans R

fn (x) = 1 + x + x2 + + xn
gn (x) = 1 + 2x + 3x2 + + nxn1

On se fixe un reel a > 1 et on sinteresse `a une suite de nombres reels strictement positifs
(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 reel strictement positif n tel
que gn (n ) = a.
b. Montrer que la suite (n )nN{0,1} est strictement decroissante.
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

e. Montrer que les suites (nn )nN{0,1} , (nnn )nN{0,1} et (n2 nn )nN{0,1} convergent
toutes les trois vers 0.
2. a. Montrer que, pour tout x different de 1,

1 (n + 1)xn xn+1
gn (x) =
(1 x)2 1x (1 x)2

b. Montrer que pour tout x [0, 1[ fixe, la suite (gn (x))nN{0,1} est croissante et
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 deduire


1
=1
a

4. Dans cette question a = 4 et = 12 . On se propose de trouver un equivalent pour la suite


(n )nN{0,1} telle que
1
n N {0, 1} : n = (1 + n )
2

55

Enonc
es - Pb 24 : Suite implicite

a. Montrer que, pour tous les n non nuls,


1 n
2n + 2n = (n + 1)nn nn+1
2
b. Montrer que
1 n
n n
4 n
c. Montrer que (nn )nN{0,1} converge vers 0.
En deduire la limite de ((1+n )n )nN{0,1} et une suite simple equivalente `a (n )nN{0,1} .

56
Corrig
es

57
Corriges - Pb 1

Probl`
eme 1
Premi`
ere partie
1. Si (pn )nN converge vers l 6= 0, (pn+1 )nN converge aussi vers l et
pn+1
( )nN = (un )nN
pn
doit converger vers 1.
2. Comme
2 3 n+1
pn = =n+1
1 2 n
le produit (pn )nN diverge vers +.
3. Comme
a a 1 a
cos sin p = sin p1
2p 2 2 2
on peut ecrire
n a
Y 1 sin 2p1 1 sin a
pn = a = n
p=1
2 sin 2p 2 sin 2an

De plus, 2n sin 2an a quand n +. Donc (pn )nN sin a


a .

Deuxi`
eme partie
1. a. Prenons = 1 dans la definition de la convergence de (un )nN vers 1. Il existe un
entier n0 tel que :

n N : n nO |un 1| < 1 un > 0

Le n0 defini dans cette question reste valable pour la question b..


b. Pour n n0 , pn est du meme signe que pn0 avec

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 `
a son tour ce qui assure la convergence de (Sn )nN .
Reciproquement, comme pn = pn0 1 eSn , si (Sn )nN l alors

(pn )nN pn0 1 el

qui est non nul.


2. a. On veut appliquer le theor`eme des accroissements finis `a la fonction

f : x (ln x)2

entre p et p + 1. Etudions les variations de la derivee


ln x
x2
x

59
Corriges - Pb 1

Comme  0
ln x 1 ln x
=
x x2
est negatif pour x > e, cette derivee est decroissante dans ]3, +[. On en deduit que
ln x ln p

x p
pour tous les t [p, p + 1].
La formule demandee traduit alors

f (p + 1) f (p) (p + 1 p)f 0 (p)

b. En sommant les inegalites du a., pour tout entre 3 et n 3, on obtient


 
ln 2
(ln(n + 1))2 (ln(3))2 2 Sn
2
puis
1 ln 2 (ln(3))2
(ln(n + 1))2 +
Sn
2 2
Ce qui entrane la divergence de (Sn )nN et (pn )nN vers +.

Troisi`
eme partie
1. a. Tableau de variation facile. La question b. est evidente.
b. Si (Sn0 )nN converge vers l, on peut ecrire
n
X n
X
ln pn = ln(1 + p ) p l
p=1 p=1

La suite (pn )nN est donc majoree par el .


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 (Sn0 )nN converge. La question precedente montre que
n
!
Y 1
(1 + )
p=1
p
nN

converge aussi. Ce qui est en contradiction avec I.2. Comme elle est croissante, la suite
(Sn0 )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 `a la somme toutes les
puissances de a qui manquent :
n n
X
2p 2n 1 a2 +1 1
Sn0 = a 2
= 1 + a + a + a + + a 3
=
p=1
1a 1a

La suite (Sn0 )nN converge car elle est majoree. Il en est de meme de (pn )nN
dapr`es 1.c.

60
Corriges - Pb 1

ii. Calculons (1 a2 )pn .


n
(1 a2 )pn = (1 a2 )(1 + a2 )(1 + a4 )(1 + a8 ) (1 + a2 )
n
= (1 a4 )(1 + a4 )(1 + a8 ) (1 + a2 )
n
= (1 a8 )(1 + a8 ) (1 + a2 ) =
n n n+1
= (1 a2 )(1 + a2 ) = (1 a2 )

On en deduit que (pn )nN converge vers


1
1 a2

61
Corriges - Pb 2

Probl`
eme 2
1. Si les reels ne sont pas distincts, les formes ne le sont pas non plus. Elles constituent donc
une famille liee. Si les reels sont deux `a deux distincts, considerons
(X b)(X c)(X d) (X a)(X c)(X d)
Pa = , Pb =
(a b)(a c)(a d) (b a)(b c)(b d)
(X a)(X b)(X d) (X a)(X b)(X c)
Pc = , Pd =
(c a)(c b)(c d) (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`es 1., la famille f0 , f1 , f2 , f3 est une base de E3? .
Les reels x0 , x1 , x2 , x3 sont en fait les coordonnees de la forme lineaire
Z 1
P P (t) dt
0

dans cette base. Pour calculer ces coordonnees, on prend les valeurs en Q0 , Q1 , Q2 , Q3 . Il
vient
1 1
Z
3
x0 = (t 1)(t 2)(t 3) dt =
6 0 8
1 1
Z
19
x1 = t(t 2)(t 3) dt =
2 0 24
1 1
Z
5
x2 = t(t 1)(t 3) dt =
2 0 24
1 1
Z
1
x3 = t(t 1)(t 2) dt =
6 0 24
3. La relation proposee par lenonce est equivalente au syt`eme de quatre equations obtenu en
ecrivant legalite pour les polynomes 1, t, t2 , t3 .
Ce syst`eme est lineaire par rapport `a A et B. Transformons le par operations elementaires


A + B =1
A + B =1
A + B =1



aA + bB =
1

(b a)B = a
1 (b a)B = 1 a



2 2 2




2 2 1 1 a 1 a 1
a A + b B = b(b a)B = 0 = b( a)
3 3 2 3 2 2








a3 A + b3 B = 1 b2 (b a)B = 1 a 1 a 1 a




0 = b( )


4 4 3 4 3 3 2
Ce syst`eme admet des solutions si et seulement si les deux derni`eres equations sont verifiees.
Ce qui secrit
a + b =1
ab = 1
6
Cest `
a dire lorsque a et b sont les racines de
1
t2 t +
6

62
Corriges - Pb 2

Choisissons
r r
1 2 1 2
a = (1 ) b = (1 + )
2 3 2 3
En reportant dans les eux premi`eres equations on trouve alors
1
A=B=
2
Reciproquement, le syst`eme est verifie pour ces valeurs. Cela signifie que la relation est
omes 1, t, t2 , t3 . Elle est donc verifiee par linearite dans E3 tout entier.
vraie pour les polyn
4. La formule Z 1
1
P (t) dt = (P (u) + P (v) + P (w))
0 3
est verifiee pour tous les P de E3 si et seulement si elle est vraie pour les polynomes 1, t,
t2 , t3 . On forme donc un syst`eme de quatre equations
1 1 1


1= + +


3 3 3
1
1 1

u+v+w =
= (u + v + w)



2
2 3 u2 + v 2 + w2 =1
1 1 2
= (u + v 2 + w2 )

u3 + v 3 + w 3 = 3




3 3
4

1 1

= (u3 + v 3 + w3 )

4 3
Ce syst`eme nest pas lineaire. Posons

s=u+v+w t = uv + uw + vw p = uvw

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

finalement

(s2 2t)s = u3 + v 3 + w3 + ts 3p u3 + v 3 + w3 = s3 3ts + 3p

le syst`eme secrit donc


3

3

s=

s=


2


2
5

2
s 2t =1 t =
8
s3 3ts + 3p = 3

p =1




4 6
La formule est donc verifiee lorsque u, v, w sont les trois racines de
3 5 1
X3 X2 + X
2 8 6

63
Corriges - Pb 3

Probl`
eme 3
Partie I - Angles dEuler
1. Par definition des rotations :



r2 ( i ) =

u, r1 (

u)=

u, r3 (

u ) = i1



donc r3 r2 r1 ( i ) = i . De meme







r2 ( k ) = k , r1 ( k ) = k1 , r3 (k1 ) = k1



donc r3 r2 r1 ( k ) = k1 .


La rotation composee transforme la base orthonormee directe ( i , j , k ) en une base or-


thonormee directe ( i1 , w , k1 ). La seule base orthonormee directe dont les vecteurs 1 et 3




sont i1 et k1 est ( i1 , j1 , k1 ). On en deduit

r3 r2 r1 = r
1
2. La fonction R = f r w , f
est une rotation car elle est composee de plusieurs rotations
(les rotations forment un groupe pour la composition). On verifie facilement que R(f (
w) =


f ( w ) par consequent il existe un reel tel que R = rf (w ), .
Lorsque ( u,
v ,
w ) est une base orthonormee directe, la famille (f ( u ), f (

v ), f (

w )) est
egalement orthonormee directe et on connait la forme des matrices de r = r u , et R dans

ces bases. Cela nous permet decrire :

cos = (r(
u )/
u ) = (f 1 R f (

u )/

u ) = (R(f (

u ))/f (
u )) = cos


1




sin = (r( u )/ v ) = (f R f ( u )/ v ) = (R(f ( u ))/f ( v )) = sin

en utilisant la conservation du produit scalaire par f . On en deduit que et sont congrus


modulo 2 ce qui prouve la relation demandee.
3. On remarque que r et r sont des rotations de meme axe. Elles vont donc commuter.


Comme r1 et R sont des rotations dangle mais respectivement autour de u et i avec



u = r ( i ), la question precedente montre que

r1 = r R r1



De meme, comme r1 ( k ) = k1 :

r3 = r

k ,
= r1 r r11
1

On en deduit :

r = r3 r1 r2 = r1 r r11 r1 r2
= r1 r r2
= r R r1 r r
= r R r

car r et r commutent. ce qui est interessant dans cette decomposition cest que les axes



des trois rotations sont diriges par les vecteurs i et k de la base de depart.

64
Corriges - Pb 3

Partie II - Quaternions
Les questions de cette partie se traitent par de simples verifications. Leur correction ne sera
pas detaillee.

Partie III - Multiplications


1. La verification de ce que S, gq , dq , Cq sont des endomorphismes ne pose pas de difficulte.
Bien remarquer quil sagit dune structure de R-espace vectoriel.
Soit q 0 un quaternion quelconque, on peut ecrire :

1 0 1
dq1 (q 0 ) = q 0 q 1 = qq= qq 0
N (q) N (q)

donc
1
dq1 = S gq S
N (q)
De meme :
1
Cq = gq dq1 = gq S gq S
N (q)

2. 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 ecrire compl`etement certaines matrices
car on sait quil sagit de quaternions.




gq (1) = 1H + i + j + k

      

a b 0 i ib . i .
gq ( i ) = = =
b a i 0 ia . i + .




= 1H + i + j k

      

a b 0 1 b . + i .
gq ( j ) = = =
b a 1 0 a . i .




= 1H i + j + k

      

a b i 0 ia . i .
gq ( k ) = = =
b a 0 i ib . i .




= 1H + i j + k

On en deduit :


Mat gq =
B

65
Corriges - Pb 3

b. La matrice precedente secrit avec des blocs 2 2 A, B :



A B
det gq =
B A

Ce determinant nest pas modifie par des operations elementaires sur les blocs :

A B + iA A i(A + iB) A iB 0
det gq = = =
B A + iB B A + iB B A + iB
+ i + i 2

= | det(A + iB)|2 =
+ i i
= |( + i)( i) ( i)( + i)|2 = (2 + 2 + 2 + 2 )2 = N (q)2

On en deduit :
det gq = N (q)2
3. Legalite entre applications lineaires
1
Cq = gq S gq S
N (q)

se traduit par legalite suivante entre les determinants (attention, lespace est de dimension
4) :
1
det Cq = (det gq )2 (det S)2
N (q)4
Or (det S)2 = 1 car S S est lidentite. On en deduit :

det Cq = 1

Partie IV - Produit scalaire


Dans cette partie u et

v sont deux quaternions purs respectivement de coordonnees (, , )
0 0 0

et ( , , ) dans la base ( i , j , k ).
 




i + i
u = i + j + k =
+ i i
0
0 + i 0
 




i
v = 0 i + 0 j + 0 k = 0
+ i 0 i 0

1. Pour verifier que (./.) definit un produit scalaire, formons le produit matriciel des quater-
nions.
0
0 0 0 + i( 0 0 ) .
 

uu =
0 + 0 + i( 0 0 ) .
On en deduit lexpression du produit scalaire
1
(
u /
v ) = tr(uv ) = 0 + 0 + 0
2



Ceci montre en meme temps que ( i , j , k ) est une base orthonormee. Elle est directe par
definition de lorientation de lespace E des quaternions purs.

66
Corriges - Pb 3

2. Dans lespace vectoriel euclidien oriene E, le calcul en coordonnees (dans une base ortho-
normee directe) du produit vectoriel
uv donne
0 0
0


0 = 0 0
0 0 0

On retrouve des expressions figurant dans le produit matriciel calcule plus haut, on en
deduit :

u
v = (
u /
v )1H +

u
v
Les autres expressions demandees par lenonce en decoulent immediatement.

Parties V - Rotations
1. a. On doit montrer que limage par lapplication Cq dun quaternion pur u est encore
un quaternion pur. On utilise la conjugaison (un quaternion est pur lorsquil est egal
a loppose de son conjugue).
`
1
Cq (

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

u)= q
uq = q(

u )q = Cq (

u)
N (q) N (q)
On en deduit que Cq (
u ) est un quaternion pur.
b. On note cq la restriction de Cq `a E. Comme Cq (1H ) = 1H , la matrice de Cq ) dans la


base (1H , i , j , k ) est de la forme

1 0 0 0
0

0 Mat c
( i ,j ,k) q
0

Dapr`es la definition du determinant dune matrice (ou en developpant suivant la


premi`ere colonne), on obtient

det cq = det Cq = 1

c. Comme cq est de determinant 1, pour montrer que cest une rotation, il suffit de
montrer quil conserve le produit scalaire.

1 1
(cq (
v )) = tr(cq (
u )/cq (

u )cq (
v )) = tr(q

u q 1 q

v q 1 )
2 2
1 1 1
= tr(q

uv q 1 ) = tr(uv q 1 q) = tr( 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
2. a. Rappelons que
   
a b a b
q= , q=
b a b a

67
Corriges - Pb 3

     

1 0 i 1 ib ia 1 . .
cq ( i ) = q q= q =
N (q) i 0 N (q) ia ib N (q) ib2 + ia2 0

Im(ib2 + ia2 ) 2 2 2 + 2
(cq ( i )/ i ) = =
N (q) N (q)
     

1 0 1 1 b a 1 . .
cq ( j ) = q q= q =
N (q) 1 0 N (q) a b N (q) b 2
+ a2 0

Re(b2 + a2 ) 2 2 + 2 2
(cq ( j )/ j ) = =
N (q) N (q)
     2 

1 i 0 1 ia ib 1 i|a| i|b|2 .
cq ( k ) = q q= q =
N (q) 0 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 deduit de la question precedente que
32 2 2 2
tr cq =
2 + 2 + 2 + 2
Cette trace est egale `
a 3 si et seulement si

32 2 2 2 = 3(2 + 2 + 2 + 2 )

cest `a dire lorsque 2 + 2 + 2 = 0 ou encore que q Vect(1H ).


3. Lorsque q 6 Vect(1H ), cq nest pas lidentite car la trace de cq nest pas egale `a la trace de
lidentite (qui est 3). De plus :

Cq (q) =qqq 1 = q
1 1 1
Cq (q) = qq 1 q 1 = q =q
N (q) N (q)

1 1

cq ( V q ) = Cq (q q) = (q q) = V q
2 2
4. En utilisant les calculs de la partie IV et les decompositions



q = 1H + V q , q = 1H V q

on obtient




q
u q =2
u (V q
u + 2 V q

u) V q




q
u q =2
u 2 V q

u (V q

u) V q

4
(cq c1
q )( u ) = V q

u
N (q)
On sait dej` a que cq est une rotation, cette rotation est un demi-tour lorsque cq cq est


a dire lorsque cq = c1
lidentite cest ` q . Comme V q nest pas nul, ceci se produit si et
seulement si = 0 cest ` a dire lorsque q E (q est un quaternion pur).
On suppose dans toute la suite que q 6 Vect 1H et q 6 E. Il existe alors un unique ], [
tel que cq = r, car cq est une rotation qui nest pas un demi-tour.
Vq

68
Corriges - Pb 3

5. a. Lorsque cq = r,
la matrice de cq dans une base orthonorm
Vq
ee directe de la forme


1

U =(a, b,
V ) est
q
N(V q)

cos sin 0
Mat cq sin cos 0
U
0 0 1
b. On deduit de la matrice precedente et du calcul de la trace de cq (V.2) que :


32 k V q k2
tr cq =2 cos + 1 =

2 + k V q k2



2 k V q k2 2 k V q k2
cos =
=
2 + k V q k2 N (q)


Dans la base U, la matrice de
u V q
u se calcule avec l expression usuelle du
produit vectoriel :

0 x k V q ky
0 y =

k V q kx


kV qk z 0
la matrice cherchee est donc :


0 k V q k 0


k V q k 0 0
0 0 0
En identifiant les expressions des matrices de cq c1
q dans U obtenues `
a partir de a.
et de V.4., on obtient


2k V q k
sin =
N (q)
c. On utilise
sin
tan =
2 1 + cos
On en deduit


2k V q k kV qk
tan = =

2 N (q) + 2 k V q k

Cette expression determine un unique 2 dans ] 2 , 2 [ donc un unique dans ] , [.

Partie VI - Quaternions et angles dEuler


1. Lorsque q est de la forme
 i 
e 0

q= = cos 1H + sin k
0 ei


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

Lorsque cos 6= 2.

69
Corriges - Pb 3

si ]0, 2 [ : cq = r

k ,2
.


si = 2 : cq est le demi-tour daxe Vect k .
si ] 2 , [ : cq = r

k ,22
= r
k ,2
Lorsque q est de la forme
 
cos i sin

q= = cos 1H + sin i
i sin cos


si = 2 : cq est le demi-tour daxe Vect i .
si ]0, [{ 2 }, sin > 0 : cq = r

i ,2
2. Effectuons le calcul matriciel qui donne la matrice dune rotation en fonction de ses angles
dEuler :
 i " #
cos 2 i sin 2 ei 2

e 2 0 0

0 ei 2 i sin 2 cos 2

0 ei 2
 i "
# " +
#
e 2 0 cos 2 ei 2 i sin 2 ei 2 cos 2 ei 2 .
= =
0 ei 2 i sin 2 ei 2 cos 2 ei 2 sin 2 ei 2 .

3. Comme q est un quaternion de norme 1 : |a|2 + |b|2 = 1, il existe donc un reel ]0, 2 [ qui
permet dexprimer les modules sous forme trigonometrique.

|a| = cos , |b| = sin

Introduisons des arguments et dans [0, 2] :

a = cos ei , |b| = sin ei

Il ne reste plus qu`


a identifier les deux matrices :
+
= , = , =
2 2 2
= 2, = + , =

70
Corriges - Pb 4

Probl`
eme 4
Partie I. Exemples. Une in
egalit
e g
en
erale.
Dans toute cette partie, on utilisera souvent le resultat suivant.
Si une fonction continue, definie dans R est monotone au voisinage de + et de
alors elle majoree si et seulement si elle ne diverge pas vers + ni en ni en +.
Ce resultat est une consequence des definitions des limites et du fait quune fonction continue
sur un segment est bornee.
1. Ici X = R, f (x) = Kx2 , hm (x) = mx Kx2 .
Si K < 0, hm nest majoree pour aucune valeur de m.
Si K > 0, hm est majoree pour tous les m reels. On obtient facilement la valeur minimale
de la fonction du second degre. On en deduit :

m2
X = R; f (m) =
4K
On verifie que f = f si et seulement si K = 12 .
2. Lorsque f est une fonction continue sur un segment X = [a, b], il en est de meme des
fonctions hm pour nimporte quelle valeur de m. Ces fonctions sont donc toujours bornees
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 lunicite de xm .
3. Ici X = R et f (x) = 13 x3 . Comme hm (x) = mx 13 x3 , elle est monotone au voisinage de
+ et de avec
1
hm (x) x3
3
Cette fonction diverge vers + en . Elle nest pas bornee par consequent

X =

4. Ici X = R et
f (x) = ex , hm (x) = mx ex
Examinons les limites

si m>0
en : hm (x) 0 si m=0
+ si m<0

en + : hm (x)

Le resultat precise au debut permet de conclure que X = [0, +[.


Si m = 0, la fonction h0 (x) = ex admet 0 comme borne superieure donc f (0) = 0.
Si m > 0, formons le tableau de variations de hm (x) = mx ex .
On a h0m (x) = m ex et

0 ln m +
m ln m m
hm % &
1

71
Corriges - Pb 4

On en deduit (en notant `


a nouveau x la variable)

X = [0, +[

0 si x = 0
f (x) =
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


ku0 (x) = u ln x :
0 eu +
eu
ku % &
0
On en deduit X = R avec f (x) = ex .
5. Ici X = R et f (x) = x + , hm (x) = mx x = (m )x . Si m 6= , une des
limites en est + et donc hm nest pas majoree. On en deduit

X = {} , f () =

Alors hu est toujours bornee puisque son domaine de definition est reduit au seul point
avec hu () = u (). Donc en revenant `a la lettre x pour designer la variable :

X = R, f (x) = x +

6. Ici X ne contient que quatre points X = {1, 0, 1, 2} et




m 1 si x = 1
0 si x=0

hm (x) =

m 2 si x=1
2m 1 si x=2

La question est alors de savoir, pour un nombre m donne, quel est le plus grand des quatre
nombres

1 m 0 m2 2m 1

Le plus commode est de faire une etude graphique en tracant les quatre droites

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 deduit facilement son expression (la demonstration ne merite pas vraiment quon sy
attarde). On en deduit X = R et, en notant `a nouveau x la variable,

x 1 si x
 1 
f (x) = 0 si x 1, 12
2x 1 si x 12

Il est important de noter que la fonction f est continue. Formons maintenant ku (x)

ux (x 1) = (u + 1)x + 1 si x 1 
ku (x) = ux 0 = ux si x 1, 21
ux (2x 1) = (u 2)x + 1 si x 21

72
Corriges - Pb 4

0.5

Fig. 9 I.6. Etude graphique

` cause du resultat cite dans le preambule, la fonction ku est majoree si et seulement si


A
u + 1 0 et u 2 0. Par consequent X = [1, 2].
Sur ], 1] la fonction ku est croissante. Elle atteint sa borne superieure en 1 en prenant
la valeur u.
Sur 12 , + la fonction ku est decroissante. Elle atteint sa borne superieure en 21 en prenant
 
u
la valeur 2.
1

Sur 1, 2 la fonction ku est affine et varie entre les deux valeurs precedentes. Sa borne
superieure est donc la plus grande des deux valeurs precedentes.On en deduit
u
u [1, 2] : f (u) = sup ku = max(u, )
R 2
Soit, revenant `
a la lettre x :

x si x [1, 0]
f (x) = 1
2x si x [1, 2]

On remarque que le domaine de definition est le plus petit intervalle contenant le domaine
de definition de f et que la fonction f interpole f en ces points.
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
Corriges - Pb 4

Fig. 10 I.6. Graphe de f

Partie II. Un autre exemple. In


egalit
e de H
older.

1. Letude de la fonction hm conduit `a X = R avec

up (m) = 0 pour m 0 et up (m) = uq (m) pour m > 0

2. On exploite linegalite I.7. pour obtenir la premi`ere inegalite demandee puis on remplace x
par x et y par 1 y pour obtenir la seconde.

Partie III. Espaces N et N0 de fonctions convexes.

Les conditions imposees aux fonctions de N et N0 entranent clairement quelles sont convexes
et croissantes.

1. Comme f (0) = 0, on peut poser (x) = f (x)x et interpr


eter comme le taux daccroissement
en 0 de la fonction f . Dapr`es le theor`eme des accroissements finis, il existe cx ]0, x[ tel
que (x) = f 0 (cx ). Comme diverge vers +, la fonction f 0 nest pas majoree, comme f 0
est strictement croissante, elle diverge vers +.
2. Appliquons le theor`eme des accroissements finis entre x et 2x.
Il existe c ]x, 2x[ tel que

f (2x) f (x) = xf 0 (c) xf 0 (x)

car f 0 est croissante. Comme de plus f est aussi croissante avec f (0) = 0, le nombre f (x)
est positif donc
xf 0 (x) f (2x)

3. On suppose ici que f 0 + en +. Comme

f (2x)
f 0 (x) 2
2x

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

74
Corriges - Pb 4

ee de Legendre dans N0 .
Partie IV. Transform
1. Les proprietes des fonctions dans N0 en particulier f 0 croissante, f 0 + en + et le
calcul de h0m (x) = m f 0 (x) conduisent au tableau suivant pour hm

0 xm +

f (m)
hm % &
0

La fonction hm atteint son maximum en un unique point xm qui est note (m).
2. a. Les conditions de N0 entranent clairement que f 0 est strictement croissante de R+
dans R+ . Elle est bijective car continue avec les bonnes limites.
b. Comme xm annule la derivee de hm , on a m = f 0 ((m)). Donc est la bijection
reciproque de f 0 . On en deduit que est continue (dapr`es un resultat du cours). Elle
est egalement croissante ce qui conduit aux bonnes limites grace aux limites de f 0 .
3. Dapr`es les questions precedentes, on peut ecrire

f (m) = m(m) f (m)

Comme f 0 est strictement croissante avec f 00 > 0, la bijection reciproque de f 0 est derivable
(resultat de cours) avec
1
0 = 00
f
On en deduit que est C 1 puis que f est C 1 avec

f 0 = (m) + m0 (m) 0 (m)f 0 ((m)) = (m)

car f 0 ((m)) = m. Comme est C 1 , cela prouve que f est C 2 . Dapr`es le calcul de 0 dej`a
effectue,
1
f 00 = 00
f
4. Les calculs precedents et la definition de N0 montrent clairement que f N0 . Dautre
part, f 0 est la bijection reciproque de f 0 cest `a dire f 0 . Ainsi f et f ont la meme
derivee, la condition en 0 prouve quelles sont egales.

Partie V. Un r
esultat g
en
eral.
Dans toute cette partie, on suppose X non vide.
1. Linegalite de la question I.7. entrane que pour chaque x de X, f (x) est un majorant de

{mx f (x), m X }

do`
u
x X, f (x) sup {mx f (x), m X }
2. a. Il est clair que m [m1 , m2 ] si et seulement si 0 m2 m m2 m1 . Si on pose
m2 m
t= m 2 m1
a dire m = m2 t(m2 m1 ) = tm1 + (1 t)m2 . On obtient bien
cest `

m [m1 , m2 ] t [0, 1] tel que m = tm1 + (1 t)m2

75
Corriges - Pb 4

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 ecrire pour tout x de
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 majoree par tf (m1 ) + (1 t)f (m2 ) et donc que m X .
c. On deduit de b. que X est convexe. Cest donc toujours un intervalle de R.
3. a. Dapr`es V.1., pour tout x X, f (x) est un majorant de

{mx f (m), m X }

donc x X ce qui entrane X X avec f (x) f (x).


b. On na pas toujours X = X car dapr`es I.2.c., lensemble X (et `a fortiori X ) est
toujours un intervalle ce qui nest pas forcement le cas pour le domaine de depart X
(comme dans le troisi`eme exemple de la partie precedente).
c. Dapr`es 1., X X . En remplacant X par X on obtient donc

X X

On va exploiter maintenant

x X : f (x) f (x)

Considerons un m quelconque dans X et un x quelconque dans X. Comme f (x)


f (x), on a aussi
mx f (x) mx f (x) f (m)
Par consequent, f (m) est un majorant de x mx f (x) defini dans X ce qui
prouve m X avec f (m) f (m). Comme on avait dej`a f (x) f (x) (cest
la relation f (x) f (x) appliquee `a f ) on obtient bien finalement

X = X : f = f

76
Corriges - Pb 5

Probl`
eme 5
Partie I
1. Le calcul de f1 et f2 seffectue en utilisant des coefficients indetermines et en formant des
equations pour les conditions requises. En utilisant :

f1 (x) = ax + b + (cx + d)ex


f10 (x) = a + (cx + c + d)ex
f100 (x) = (cx + 2c + d)ex

On obtient
f1 (x) = (x + 2) + (x 2)ex
En utilisant :

f2 (x) = ax2 + bx + c + (x2 + x + )ex


f20 (x) = 2ax + b + (x2 + (2 + )x + + )ex
f200 (x) = 2a + (x2 + (4 + )x + 2 + 2 + )ex
(3)
f2 (x) = (x2 + (6 + )x + 6 + 3 + )ex

On obtient
f2 (x) = (x2 6x 12) + (x2 6x + 12)ex

2. a. Calculons, `
a laide de la formule de Leibniz, la derivee n + 1 `eme de la fonction

x2n+1 ex
x
(n + 1)!

Comme on connait les derivees successives des fonctions puissances et de la fonction


exponentielle, il vient :
n+1
X n + 1 (2n + 1)!
1
x2n+1k ex
(n + 1)! k (2n + 1 k)!
k=0

Le coefficient de xn ex sobtient pour k = n + 1. Il sagit de :


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


b. Etudions la fonction n definie par :
1
n (x) = x2n+1 ex fn (x)
(n + 1)!

On la derive n + 1 fois :
1 (n+1)
(n+1)
n (x) = x2n+1 ex xn ex
(n + 1)!

77
Corriges - Pb 5

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 derivee calculee avec la formule de Leibniz). Pour
k = n, le coefficient est :  
2n + 1
1
n
(n+1)
qui est un entier strictement positif. Ceci montre que n (x) 0 pour x 0. De
plus toutes les derivees successives de x2n+1 ex sont nulles en 0. On en deduit

(n 0) = 0n (0) = = (n)
n (0) = 0

On peut donc former une cascade de tableaux de variations :

0 +
(n+1)
n 0 +
(n)
n 0 %
(n1)
n 0 %
.. ..
. .

On en deduit en particulier que n (x) > 0 pour x > 0. Cest `a dire :


1
x > 0 : fn (x) < x2n+1 ex
(n + 1)!

Le raisonnement est analogue pour lautre inegalite.


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}
Z Z Z

car An et Bn sont `
a coefficients dans Z. Dautre part, dapr`es 2.

m2n+1 qem
(I) : 0 < qfn (m) <
(n + 1)!
2n+1 n
Or (qem m B
(n+1)! )nN et une suite de la forme (A (n+1)! )nN pour des r
eels A et B fixes. 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 contra-
dictoire avec (I) lorsque qfn (m) est entier. On en deduit que fn (m) est irrationnel pour
tout m entier.

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

0| 1 0 0 0 0

78
Corriges - Pb 5

En descendant, il sagit du triangle de Pascal usuel. En remontant, on proc`ede de gauche


a droite en calculant les termes au fur et `a mesure pour que la relation soit verifiee. On
`
obtient
mk 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 coefficients sont entiers `a cause de leur definition meme.
2. a. Pour le calcul suivant, on utilise les proprietes usuelles des operations dans un anneau :
n
! n n
X X X
k
c1,k d (i + d) = c1,k dk + c1,k dk+1
k=0 k=0 k=0
Xn
= (c1,k + c1,k1 ) dk (car dn+1 = 0)
k=0
Xn
= c0,k dk = 1d0 = i
k=0

Comme i commute avec tout le monde (en particulier d), le produit dans lautre sens
est aussi egal `
a i. On en deduit que i + d est inversible avec :
n
X
(i + d)1 = c1,k dk
k=0

b. Pour m dans N, la formule demandee est la formule du binome habituelle dans une
anneau. Pour les entiers negatifs, on va demontrer la formule Pm pour m Z N par
une recurrence descendante.
n
X
(Pm ) (i + d)m = cm,k dk
k=0

La question a. montre (P1 ). Montrons maintenant que

(Pm ) (Pm1 )

En effet, par un calcul analogue `a celui du a. :

n
! n n
X X X
k
cm1,k d (i + d) = (cm1,k + cm1,k1 ) dk = cm,k dk
k=0 k=0 k=0
= (i + d)m (dapr`es (Pm ))

79
Corriges - Pb 5

On peut alors multiplier `a droite par (i + d)1 et utiliser lassociativite ce qui donne :
n
X
cm1,k dk = (i + d)m1
k=0

Cest `
a dire (Pm1 ).

Partie III
1. Si on derive n + 1 fois un polynome de degre inferieur ou egal `a n, on obtient toujours le
polynome nul. Lendomorphisme d est donc nilpotent avec dn+1 = 0L(Rn (X)) . On peut alors
appliquer les resultats de la partie II. On en deduit que i + d est inversible dans lanneau
des endomorphismes, cest donc un automorphisme.
2. a. La remarque fondamentale est ici que la derivee de la fonction x P (x)ex est x
(P + P 0 )(x)ex o`
u
P + P 0 = (i + d)(P )
La derivee seconde est alors
(i + d)2 (P )(x)ex
et ainsi de suite. Par exemple la derivee dordre m est :

(m) (x) = [(i + d)m (Bn )] (x)ex avec (i + d)m (Bn ) = (i + d)mn1 (X n )

Pour m = n + 1 :
(i + d)mn1 = i
do`
u
n+1 (x) = xn ex
b. Dapr`es la question precedente :

(m) (x) = (i + d)mn1 (X n ) (0)e0


 

Pour m entre 0 et n, lexposant m n 1 est negatif et on peut utiliser la formule du


II.2.b.
" n # " n #
(m)
X
k n
X n! nk
(x) = cmn1,k d (X ) (0) = cmn1,k X (0)
(n k)!
k=0 k=0
= cmn1,n n! (car seul k = n contribue)

On a donc bien
(m)
n (0)
= cmn1,n inZ
n!
On est ici en mesure de prouver le resultat admis dans la partie I (existence des
polyn
omes An et Bn ).
On choisit dabord Bn = (i + d)(n+1) (X n ). Par definition cest un polynome de degre
` cause de la formule de la question II.2.b, il est `a coefficients dans Z.
au plus n. A
On doit maintenant trouver un polynome An de degre au plus n et tel que si

fn (x) = An (x) + Bn (x)ex = An (x) + n (x)

80
Corriges - Pb 5

(m)
on ait fn (0) = 0 pour tous les m entre 0 et n. La derni`ere relation etant automati-
quement verifiee `
a cause du degre de An et de la definition de Bn (III.2.a).
La condition impose
An(m) (0) = n(m) (0)
Dapr`es la formule de Taylor, le coefficient de X m dans An est
(m) (m)
An (0) n (0)
= Z
m! m!
ceci montre que le An ainsi construit est `a coefficients entiers.

81
Corriges - Pb 6

Probl`
eme 6
Partie I
1. Exprimons dabord x puis x + i :
1 cos 1 i
= arctan x= x+i= e
x sin sin
Deux expressions sont possibles pour les arguments de x + i.

x > 0 ]0, [ sin > 0 : est un argument de x + i
2

x < 0 ] , 0[ sin < 0 : + est un argument de x + i
2

2. Posons = arctan y1 . Un calcul analogue `a celui de la question precedente conduit `a :

1
(x + i)m (y + i)ei 4 = m ei(m+ 4 )
sin sin
Ce nombre complexe est reel si et seulement si

m + 0 ()
4

3. On calcule (2 + i)2 (7 + i) et on trouve 25(1 + i). On en deduit la formule demandee


modulo . Pour lever cette ambiguite `a pr`es, on remarque que
1 1
0 < arctan < arctan <
7 2 4
donc
1 1
0 < arctan arctan <
2 7 4
1
0 < arctan <
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)

Legalite en decoule `
a un multiple de pr`es. De plus, les deux membres de legalite sont
entre 0 et , ils sont donc forcement egaux.

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

82
Corriges - Pb 6

2. Il sagit de separer les parties reelles et imaginaires de


Am+1 + iBm+1 = (Am + iBm )(x + i)
On obtient :
Am+1 = xAm Bm Bm+1 = Am + xBm
Ici encore, on separe les parties reelles et imaginaires apr`es quelques manipulations simples :

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


= (1)m (Am iBm )
On en deduit :
Am (x) = (1)m Am (x) Bm (x) = (1)m Bm (x)
Cette fois on derive
(Am + iBm )0 = m(x + i)m1

A0m = mAm1 0
Bm = mBm1
1
Pour x 6= 0, on fait apparaitre x
 m  m
1 1 1
(x + i)m = (ix)m + = (ix)m i +
i x x
Si m est pair :
1

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

(i)m = (1) 2
m
x
Bm (x) = (1) m2 xm Bm ( 1 )

x
Si m est impair :
m1
(i)m = (1) 2 i
 m
m+1 1 1
(x + i)m = (1) 2 i Am ( ) + iBm ( )
x x
 m
m1 1 1
= (1) 2 Bm ( ) iAm ( )
x x
1
m1
Am (x) = (1) 2 xm Bm ( )

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

x
3. En utilisant arctan pour exprimer un argument de x+i, on peut ecrire une suite dequivalences :

Am (x) = Bm (x) est un argument de (x + i)m
4
1 1
m arctan () arctan ( )
x 4 x 4m 4m
On en deduit que lensemble des solutions est
n   o
cot +k , k 0, , m 1
4m m

83
Corriges - Pb 6

4. On calcule la derivee de Fm en remplacant les derivees des polynomes `a laide des formules
de la question II.2. et en utilisant les relations de recurrence pour navoir que des m 1.
On obtient
A2 2
+ Bm1
Fm0
= 2m m1
(Am Bm )2
On en deduit que Fm est decroissante dans chaque intervalle de son domaine de definition.
ome, le degre de Am est m et celui de Bm est m 1 donc Fm
Dapr`es la formule du bin
tend vers +1 en + et .

Partie III. Les formules du type Machin


1. Dapr`es la definition, (x, y) Cm si et seulement si

i
m
(x + i) (y + i) Re 4

Un nombre complexe est dans Rei 4 si et seulement si sa partie reelle est egale `a sa partie
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 deduit : (
Am (x) 6= Bm (x)
(x, y) Cm
y = Fm (x)

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 etre nul ce qui est evidemment faux car
x et y sont non nuls. Ceci montre limplication reciproque.
2. Ici, m designe un entier entre 1 et 4. Les fonctions Fm sont strictement decroissantes et
tendent vers 1 et +. Dapr`es les tableaux, Fm (13) est strictement inferieur `a 2 donc aucun
Fm (x), pour x 14, ne peut prendre de valeur enti`ere.
On peut lire sur les tableaux les entiers entre 1 et 13 pour lesquels les Fm (x) prennent des
valeurs enti`eres.
Pour m = 1 :
1 1
x = 2y = F1 (2) = 3 arctan + arctan ()
2 3 4
x = 3y = F1 (3) = 2 meme formule

Ici, les deux arctan sont entre 0 et donc leur somme est entre 0 et p i donc
2
1 1
arctan + arctan =
2 3 4

84
Corriges - Pb 6

Pour m = 2 :

x=1 y = F2 (1) = 1 2 arctan 1 + arctan(1) = (evident)
4
1 1
x=2 y = F2 (2) = 7 2 arctan arctan =
2 7 4
1 1
x=3 y = F2 (3) = 7 2 arctan + arctan =
3 7 4
On a fait disparaitre le modulo par une evaluation numerique.
Pour m = 3, il nexiste pas de formule de Machin.
Pour m = 4, on obtient la formule de Machin :
1 1
x=5 y = F4 (5) = 239 4 arctan arctan =
5 239 4
On a fait disparaitre le modulo par une evaluation numerique.

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 defini et de partie imaginaire strictement positive, notons
ak et bk respectivement sa partie reelle et sa partie imaginaire. Montrons que

0 bk+1 < bk

Par definition :
(
bk+1 = ak nk bk
zk+1 = (nk + i)(ak + ibk ) = nk ak bk + i(nk bk + ak )
ak+1 = nk bk

Par definition de la partie enti`ere :


ak
nk < nk + 1 nk bk ak < nk bk + bk
bk
0 ak nk bk < bk 0 bk+1 < bk

3. On peut implementer en Maple lalgorithme par :


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`
u la partie reelle de z0 est enti`ere
comme le montre la question suivante.
4. a. Lorsque a0 et b0 sont des entiers, les relations obtenus dans la question precedentes
montrent que tous les ak et bk sont entiers. La suite des bk est une suite decroissante
dentiers strictement positifs. Elle ne peut etre infinie. Il existe donc un k tel que zk
est reel.

85
Corriges - Pb 6

b. Lalgorithme permet decrire

z1 = z0 (n0 + i)
z2 = z1 (n1 + i)
..
.
zk = zn1 (nk1 + i) R

do`
u
zk
= (n0 + i)(n1 + i) (nk1 + i)
z0
1
Comme zk est reel, les arguments de et de (n0 + i) (nk1 + i) sont congrus
z0
modulo .
Pour un nombre complexe w de partie imaginaire strictement positive, un argument
est :
 
Im w
arctan si Re w > 0
Re w
 
Im w
arctan + si Re w < 0
Re w

si Re w = 0
2
Les arguments de z0 sont donc congrus modulo `a arctan ab , ceux de nj + i `
a
arctan n1j (ou 2 si nj = 0). On en deduit :
   
b 1 1
arctan arctan + + arctan ()
a n0 n0

Ce qui donne la formule annoncee en remplacant eventuellement certains termes par


des 2 .

86
Corriges - Pb 7

Probl`
eme 7
1. a. Il sagit dune simple verification. On developpe et ordonne dabord le crochet de
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
1 1
b. En remplacant (tout est > 0) dans la relation precedente a par a 3 , b par b 3 , a par
1
c 3 , on obtient
1 1
a + b + c = 3(abc) 3 + terme positif avec des puissances
3
1 1 1
De meme, en remplacant dans la relation precedente a par a 3 , b par b 3 , a par c 3 ,
on obtient
1 1 1 1 1
+ + = 3(abc) 3 + terme positif avec des puissances
a b c 3
Cela prouve les inegalites demandees.
2. Les deux inegalites de la question precedentes se reformulent en :
3 1 a+b+c
(abc) 3
1 1 1 3
+ +
a b c
Il sagit de la comparaison classique entre moyennes harmonique, geometrique et arithmetique.
Les suites sont bien definies car chaque nouveau terme est strictement positif ce qui permet
la poursuite du processus. La comparaison des moyennes montre par recurrence que
n 1 : cn bn an

3. On va montrer successivement :
que la suite (cn )nN est croissante (la limite est notee c)
que la suite (an )nN est decroissante et minoree (la limite est notee a)
que la suite (cn )nN est majoree (la limite est notee c) et que la suite (an )nN est minoree
(la limite est notee a)
que a = b.
Preuve de la croissance de (cn )nN

1 1



an cn 3
cn bn an cn+1 = cn
1 1 1 1 1
+ +


an bn cn

bn cn
Preuve de la decroissance de (an )nN
(
cn an an + bn + cn
cn bn an an+1 = an
bn an 3

87
Corriges - Pb 7

Les inegalites precedentes montrent que (cn )nN est majoree par a1 , elle est donc conver-
gente. On note c sa limite. De meme (an )nN est minoree par c1 , elle est donc convergente.
On note a sa limite.
On va montrer maintenant a = b par une double inegalite.
Pour tous les entiers (plus grands que 1) p et q on peut ecrire :

cp cmax(p,q) amax(p,q) aq

On en deduit que pour tout p 1, cp est un minorant de lensemble des aq donc cq a


car a est la borne inferieure de lensemble des aq . Ceci montre que a est un majorant de
lensemble des cp donc c a car c est la borne superieure de lensemble des an .
Formons maintenant une inegalite ne contenant pas bn dont la convergence nest pas
prouvee.
an + bn + cn 2an + 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 theor`eme de passage `a la limite dans une inegalite. Il conduit `a :
2a + c
a ac
3
Il est evident, dapr`es le theor`eme dencadrement, que (bn )nN converge vers la limite
commune a = c.
4. Le point essentiel dans les deux questions suivantes est la formule
an bn cn (an + bn + cn )
an+1 cn+1 = (1)
an bn + bn cn + cn an
a. En particulier, si an cn = b2n , la formule devient

b3n (an + bn + cn )
an+1 cn+1 = = b2n
an bn + bn cn + b2n

Comme tout est positif, lorsque a1 c1 = b21 on obtient a2 c2 = b21 = b22 et la relation se
propage par recurrence, la suite des bn est alors constante. Les trois suites convergent
vers b1 qui est la moyenne geometrique de a1 et c1 .
b. On va montrer que lorsque a1 c1 < b21 , la suite des bn est decroissante. Remarquons
dabord que
b32 = a1 b1 c1 < b21
ce qui entraine b2 < b1 . Il sagit donc de montrer que an cn < b2n pour tous les entiers
n.
La relation (1) peut encore secrire

an+1 cn+1 = f (an cn )

avec
ux
f :x u = bn (an + bn + cn ) v = an bn + bn cn
x+v
Comme
uv
f (x) = u
x+v

88
Corriges - Pb 7

et que tout est strictement positif, la fonction f est croissante.


Alors :
an cn < b2n an+1 cn+1 = f (an cn ) < f (b2n ) = b2n
puis :
b3n+1 = an+1 bn+1 cn+1 < b3n bn+1 < bn
Le raisonnement est analogue lorsque a1 c1 > b21 .

89
Corriges - Pb 8

Probl`
eme 8
1. a. Dapr`es les proprietes usuelles du produit scalaire :



P(

a ) P( b ) = D(

a b )



De plus ici

c =
a b donc tout vecteur orthogonal `a

a et b est aussi orthogonal
a
`
c ce qui se traduit par :


P(
a ) P( b ) P(

c )




P(

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

a ) P( b ) = D(

a b )




b. Equation normale du plan P(

a, b) :





u P(

a , b ) (

u /

a b)=0

On en deduit dapr`es le cours :







u / a b )
d(M, P(

(
a , b )) =


a b
2. Plans hauteurs.
a. Le plan hauteur issu de
u est orthogonal `a P(
v ,

w ) cest `a dire quil contient le




vecteur v w . Il doit aussi contenir u . Un vecteur orthogonal au plan hauteur issu
de

u est donc
(
v
w)

u

b. Preuve de lidentite de Jacobi.


Les termes se simplifient deux `a deux en sommant les doubles produits vectoriels :

(

u

v)

w = (

u /

w )

v (

v /

w )

u
 N

(

v

w)

u = (

v /

u )

w (

w /

u )

v
 
(

w

u)

v = (

w /

v )

u (

u /

v )

w
N 

Chacun des trois vecteurs de lidentite de Jacobi est orthogonal `a un des plans hau-
teurs. La question 1. montre alors que lintersection des trois plans est la droite Dh
dirigee par le vecteur

((

u

v)

w ) ((

v

w)

u)

3. Plans bissecteurs.
a. En utilisant les equations normale et le resultat de cours donnant la distance dun
point `a un plan, on obtient que le point M est equidistant de P(
u,
v ) et P(

w,u)
si et seulement si :
|(

m/
u v )| |(

m/
w
u )|
=
k
u
vk k
w uk

90
Corriges - Pb 8

ou encore, pour {1, +1} :


(

m/
u
v) (

m/

w u)


=

ku vk kw u k
Ce qui secrit
(

m/

) = 0
avec

1

= u

v +

w

u
k
u
vk k
w
uk
On obtient donc deux plans bissecteurs respectivement orthogonaux `a

1 et

1
b. Calculons les produits scalaires :
det(
u,
v ,

w)
(

/

v)=
(

w
u /

v)=


kw u k kw u k
det(
u,
v ,

w)
(

/

w) =
(

u
v /

w) =


ku vk kw u k
Ces deux produits scalaires sont donc de signe opposes uniquement pour

1 1
a =

1 =

u

v

w

u
k
u
vk k
w
uk
c. On deduit les autres vecteurs orthogonaux aux plans bissecteurs en permutant les
lettres. Ils se simplifient deux par deux dans la sommation :

1
1
a = u

v

w

u
k
u
vk k
w
uk
 N

1
1
b = v

w

u

v
k
v
wk k
u
vk
 

c =
1
1
w

u

v

w
k

w
uk k
v
wk
N 

La question 1. montre ici que lintersection des trois plans bissecteurs (interieurs) est
une droite Db dirigee par :
 
1

1


u v w u
k
u
vk k
w
uk
 
1

1


v w u v
k

v
wk k

u vk
4. Plans mediateurs.
a. En decomposant `
a laide du projete orthogonal, on obtient que
mk2 = d(M, D(
k
v ))2 + d(M, P(

v ))2
= d(M, D(

w ))2 + d(M, P(

w ))2
On en deduit quun point est `
a egale distance des droites si et seulement si il est `a
egale distance des plans.

91
Corriges - Pb 8


b. Ecrivons quun point M est `a egale distance des droites en ecrivant quil est `a egale
distance des plans (avec les equations normales) :
|(

m/v )| |(

m/
w )|
=
kvk kwk
ce qui secrit encore, avec {1, +1},
1
(

m/

) = 0 avec

=
v +
w
k
vk k
wk
On obtient donc deux plans mediateurs associes aux deux vecteurs orthogonaux
1


et 1 .
c. Exprimons les produits scalaires avec des cos :
(

w /
v)
( /

v ) = k

vk+ = k
v k(1 + cos ) = k

v k( + cos )
kwk
u est lecart angulaire entre
o` v et

w . De meme
(

/

w ) = k

v k( + cos )
On en deduit que lunique vecteur pour lequel les produits scalaires sont de signe
opposes est

1 1
a =
1 =
v w
k
vk kwk


d. Les vecteurs b et
c sobtiennent par permutation circulaire. Les termes se simplifient
deux par deux lorsque lon somme les trois. Lintersection des plans mediateurs est
donc une droite Dm dirigee par
   
1 1 1 1
v w w u
k

vk k
wk k
wk kuk
5. Expression des vecteurs directeurs des droites.
Plans hauteurs. Avec des doubles produits vectoriels, et apr`es avoir mis en facteur
(

u /

w )(

v /

u )(

w /

v)
on trouve :
u v
v
w

w u


+
+

u.v v .w w. u
Plans bissecteurs. En utilisant la linearite du produit vectoriel et apr`es avoir multiplie
par
k
u v kkv
w kk

w uk
et mis en facteur
det(

u,

v ,

w)
on trouve
k

v

w k

u + k

w

u k

v + k

u

v k

w
Plans mediateurs. En utilisant la linearite du produit vectoriel, on obtient directement :
1
1 1
u

v +

v

w+

w

u
k

u kk
vk k
v kk
wk k
w kk
uk

92
Corriges - Pb 9

Probl`
eme 9
1. a. Dapr`es le cours sur la definition bifocale des coniques, lensemble C est une ellipse de
foyers F et F 0 . 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
consequent, pour deux points A et B quelconques :

S(A)S(B) = |u| AB

On en deduit que C 0 est lensemble des points M verifiant

S(F )M + S(F 0 )M = 2|u|a

a dire lellipse de foyers S(F ) et S(F 0 ) et de distance centre-sommets egale `a


Cest `
|u|a.
2. a. Lequation de C est
(x + 1 2)2 + y 2 = 2 ( 2 )

b. Par un point M de coordonnees x et y passe un cercle C lorsque, pour x, y, fixes,


il existe un reel verifiant la relation precedente. Reecrivons donc cette relation en
lordonnant par rapport ` a:

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

Par un point M de coordonnees x et y passe un unique cercle C lorsque la relation


precedente (consideree comme une equation du second degre dinconnue ) admet une
unique solution reelle. Cela se traduit par la nullite du discriminant. Calculons ce
discriminant puis formons des conditions equivalentes `a sa nullite :

(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 )
x2 y2
+ =1
2 2
1+
4 4
La derni`ere relation est une equation reduite. Lensemble E est donc une ellipse de
centre lorigine. Laxe focal est laxe Ox car le coefficient 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 :

2 2
a2 = 1 + b2 =
4 4
donc c = 1. Les foyers sont les points de coordonnees (1, 0) et (1, 0).

93
Corriges - Pb 9

c. Lensemble est forme par les points M par lesquels passe au moins un cercle
C . Un point M de coordonnees (x, y) est dans lorsque lequation du second
degre dinconnue dej`
a consideree admet des solutions reelles cest `a dire lorsque
le discriminant est positif ou nul. En reprenant les calculs du b., cela se traduit par :

x2 y2
+ 1
2 2
1+
4 4
Lensemble est donc le disque elliptique dont le bord est E .
3. a. La bijectivite est evidente (equation du premier degre) la bijection reciproque S 0
associe `
a un point daffixe z le point daffixe

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`es la question precedente, et apr`es calculs, on trouve que limage du centre est
le point de coordonnees
2r2 + 1
De meme, on trouve que le rayon du cercle image est

2|c| p
r 1 r2
|a b|

On en deduit que le cercle image est un cercle C pour



2
2c
=r =

a b

4. Soit z1 et z2 des nombres complexes tels que

|z1 | = r |z1 |2 + |z2 |2 = 1

Il existe alors des reels 1 et 2 tels que


p
z1 = rei1 z2 = 1 r2 ei2

On peut alors exprimer :


p
a|z1 |2 + b|z2 |2 + cz1 z2 = ar2 + b(1 r2 ) + cr 1 r2 ei(1 2 )

Pour r fixe et 1 , 2 variables, les points dont les affixes sont ces nombres complexes
decrivent un cercle

affixe du centre : ar2 + b(1 r2 )


p
rayon : |c|r 1 r2

94
Corriges - Pb 9

5. Dapr`es 4.D est la reunion (pour r entre 0 et 1) des cercles de centre ar2 + b(1 r2 ) et de
rayon |c|r 1 r2 .
2c
Limage par S dun tel cercle est un cercle Cr2 pour = . Comme r2 decrit ]0, 1[,
a b
S(D) est lensemble des points par lesquels passe au moins un cercle C . Donc

2c
S(D) = avec =
a b

Donc
D = S 0 ( )
Les foyers de S(E ) sont les images par S des points daffixes 1 et 1 cest `a dire les points
daffixes a et b.

95
Corriges - Pb 10

Probl`
eme 10
Partie I
1. En ecrivant des lignes de coefficients du binome, on realise rapidement que les termes
augmentent jusquau milieu, decroissent ensuite. On veut donc montrer que
 
n
(n) =
E( n2 )

On peut le justifier (sommairement) par recurrence.


Supposons que les coefficients de la ligne n augmentent puis diminuent, il en est alors de
meme de la somme de deux termes consecutifs de cette ligne ce qui prouve (triangle de
Pascal) la propriete `
a lordre n + 1.
On peut aussi le justifier directement en remarquant que :
   
n nk n
k {0, 1, , n 1} : =
k+1 k k
Dautre part :
nk n
<1 <k
k 2
On en deduit
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 decrit au debut.
2. Dapr`es la question precedente,
   
2n 2n 1
(2n) = (2n 1) =
n n1
avec
(2n)(2n 1) (n + 1) (2n 1) (n + 1)
(2n) = =2 = 2(2n 1)
n! (n 1)!

Partie II
1. Lorsque deux partie de E ont le meme nombre delements, une inclusion entre elles entraine
legalite. Lensemble des parties `a p elements de E est donc un ensemble de Sperner.
2. Lorsque f 1 ({t}) nest pas vide, il est forme des parties A de E telles que
X
ai = t
iA

Pour montrer que f 1 ({t}) est de Sperner, on consid`ere A et B avec A B et A 6= B.


Alors il ne peuvent etre tous les deux dans f 1 ({t}) car les ai etant strictement positifs
X
f (B) = f (A) + ai > f (A)
iBA

96
Corriges - Pb 10

3. On va donner deux demonstrations.


La premi`ere methode consiste ` a compter dabord les couples en les classant suivant le
premier ensemble A1 .
Comment former un couple de Sperner (A1 , A2 ) `a partir de la donnee de A1 de cardinal
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
complementaire). On en deduit donc que lorsque A1 est fixe il y a

2n 2k 2nk + 1

couples de Sperner (A1 , A2 ) lorsque A1 est de cardinal k. Le nombre total de couples de


Sperner est

n1
X
Cnk (2n 2k 2nk + 1) = (2n + 1)(2n 2) 2((1 + 2)n 1 2n )
k=1
= 22n 2 3n + 2n

Ce nombre est `
a diviser par 2 car on cherche le nombre de paires et non de couples soit

22n1 3n + 2n1

La deuxi`eme methode sinspire du principe dinclusion-exclusion 7 . On compte toujours


dabord les couples mais on commence par les couples qui ne sont pas de Sperner.
On doit considerer les couples (A, B) tels que A B prives des couples (A, A). Il y en a
3n 2n . (voir feuille exercices Denombrement)
On doit compter aussi les (A, B) tels que B A Il y en a aussi 3n 2n . Mais attention
a ne pas decompter deux fois les (A, A). Comme le nombre total de couple est (2n )2 . Le
`
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 chane est enti`erement definie par une suite injective (a1 , a2 , . . . , an ) delements de E en
posant
A1 = {a1 }, A2 = {a1 , a2 }, , An = {a1 , a2 , . . . , an }
Ceci definit une bijection entre lensemble des chanes et lensemble des injections de {1, 2, , n}
dans E. Il y a donc n! chanes de lensemble E.
Une chane dont le k i`eme terme est une partie fixee A sobtient `a partir dune suite injective
(a1 , a2 , . . . , ak ) delements de A et dune suite injective (ak+1 , . . . , an ) delements de E A.
Le nombre de ces suites, cest ` a dire le nombre cherche de chanes est

k! (n k)!
7 voir Proofs From the Book Springer

97
Corriges - Pb 10

Partie IV
1. Considerons une chane (C1 , . . . , Cn ) et une partie de Sperner S telles que lintersection de
{C1 , . . . , Cn } avec S soit non vide et contienne une partie A. Cette partie A fait partie de
la chane, tous les autres elements de cette chane sont contenus dans A ou le contiennent.
Aucun ne peut donc etre dans S par definition dun ensemble de Sperner.
2. Considerons toutes les chanes (C1 , . . . , Cn ) qui coupent un ensemble de Sperner S, classons
les `
a laide de leur unique partie A dans lintersection.
Lorsque A contient k elements, le nombre de chanes coupant S en A est

k! (n k)!

On en deduit que le nombre total de chanes coupant S est


X
(cardA)!(n cardA)!
AS

Ce nombre est evidemment plus petit que n! qui est le nombre total de chanes. En divisant
par n! on obtient donc
X 1
cardA
1
Cn
AS

3. Dapr`es la partie preliminaire, tous les coefficients du binome qui interviennent dans la
formule precedente sont plus petits que (n). On en deduit
X 1 X 1 cardS
1 n
 =
cardA
(n) (n)
AS AS

Ce qui permet de conclure.


On peut remarquer quil existe un ensemble de Sperner realisant legalite card S = (n).
Par exemple lensemble des parties de E contenant E( n2 ) elements.

98
Corriges - Pb 11

Probl`
eme 11
Attention, ce corrige utilise des definitions et des conditions de stabilite presentees dans le
complement de cours 8 sur les suites definies par recurrence. Ces definitions et proprietes sont `a
la fronti`ere (exterieure) du programme.
En particulier, pour un point fixe c dune fonction f on utilisera :

|f 0 (c)| < 1 c est stable


|f 0 (c)| > 1 c est instable

On utilisera aussi que lorsque I est un intervalle stable pour une fonction f croissante. La suite
definie par recurrence par f et une condition initiale x0 dans I est monotone. Le sens de la
monotonie est lie au signe de f (x0 ) x0 . Linegalite initiale entre x0 et x1 = f (x0 ) se propage
en une inegalite de meme sens entre xn et xn+1 `a cause de la croissance de f .
Lorsquune fonction f est croissante, le tableau des signes de x f (x) x permet donc de
determiner la stabilite dun point fixe.

Partie I
1. a. La fonction fa est strictement decroissante dans R car pour a ]0, 1[

fa0 (x) = (ln a)ax < 0

La fonction f f est donc croissante, les suites (x2n )nN et (x2n+1 )nN sont donc
monotones.
Pour etudier les points fixes de f , on forme g avec g(x) = fa (x) x. Comme fa est
decroissante, g lest aussi. De plus elle decroit de `a . Elle sannule donc en un
unique point c qui est lunique point fixe de f . Il verifie

ac = c

b. Si fa (c) = c alors evidemment fa fa (c) = c. De plus :

(fa fa )0 (c) = fa0 (c)fa0 fa (c) = (fa0 (c))2

Dapr`es le a., on obtient


(fa fa )0 (c) = (ln a)2 c2

2. a. Lobjectif de cette question est de donner un outil permettant de comparer facilement


|fa0 (c)| avec 1.
On va comparer ln1 1 et 1e en utilisant la fonction monotone decroissante fa .
a

1
1 ln 1 1 ln a 1
fa ( 1)=a
a = a ln a = e ln a =
ln a e

La fonction g etant definie comme en 1., on en deduit


1 1 1
= g( 1 )
e ln a1 ln a
8 http ://back.maquisdoc.net/data/cours nicolair/C4792.pdf

99
Corriges - Pb 11

Comme g est decroissante de + vers


1 1 1 1
1 < e g( 1)>0 < c 1 < ( ln a)c | ln a|c > 1
ln a ln a ln a1

Comme fa0 (c)| = | ln a|c, on obtient bien lequivalence demandee.


On peut remarquer que lorsque cette egalite est verifiee, le point fixe c de fa est
instable.
b. On se ram`ene `
a la forme de la question precedente :
1 1 1 1
a < ee ee < e < ln 1 < e
a a ln a

On en deduit :
a < ee si et seulement si |fa0 (c)| > 1 cest `a dire c instable.
a > ee si et seulement si |fa0 (c)| < 1 cest a` dire c stable.

Partie II
Lobjet de cette partie est letude des points fixes de f f . On definit g et h par

g(x) = f f (x) x h(x) = f (x) + x

1. a. Un calcul de derivee.

g 0 (x) = f 0 (x)f 0 (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 h0 (x) = 1 + (ln a)ax h00 (x) = (ln a)2 ax 0

donc h0 est croissante. Par definition f (0) = 1 donc

h0 (0) = 1 + ln a
g 0 (0) = (ln a)2 a0+f (0) 1 = (ln a)2 a 1

Comme f (1) = a, g(0) = a.


u g , h0 1, g 0 1
c. En + : f 0 car 0 < a < 1, do`
d. Dapr`es 1.a.
g 0 (x) = (ln a)2 ah(x) 1
avec (ln a)2 > 0 et a < 1 donc les variations de g 0 sont opposees `a celles de h. Par
exemple quand h est croissant, g 0 est decroissant.

2. Etude des zeros de h0 . On rappelle que h0 est croissante avec

h0 (0) = 1 + ln a h0 (x) = 1 + (ln a)ax

a. Si a > e1 , h0 (0) > 0 donc h0 > 0 dans [0, +[.


b. Si a e1 , h0 (0) 0 donc h0 sannule. En etudiant lequation on trouve que h0
sannule seulement en
ln(ln a1 )
b=
ln a1

100
Corriges - Pb 11

c. Dans le cas a < ee , on a < e1 donc h0 sannule en b calcule dans la question


precedente. Alors :
1
h0 (b) = 1 + (ln a)ab = 0 f (b) = ab =
ln a
Donc
f f (b) = ef (b) ln a = e1
Dautre part,

g 0 (b) = (ln a)2 ab+f (b) 1 = (ln a)2 f (b)f f (b) 1


1 1 ln a1
= (ln a)2 1 1 = 1
ln a e e

On en deduit que g 0 (b) > 0 lorsque a < ee et que g 0 (b) < 0 lorsque a > ee .
Remarquer que lon doit toujours avoir a < e1 pour que le b annulant h0 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 (0) = (ln a)2 a 1 > e1 1 > 0

On peut former dapr`es II.1. le tableau de variations

0 +
0
h +
h %
g0 <0 & 1
g a>0 &

La fonction g sannule une fois seulement. Ce point est forcement le point fixe c de f . Le
tableau de g montre que ce point fixe est attractif pour f f . Les deux suites extraites
(indices pairs et indices impairs pour une recurrence definie par f f ) sont adjacentes et
convergent vers c.
4. Cas ee < a < e1 . Cette fois g 0 (b) < 0 dapr`es 2.c.

0 b +
h0 0 +
g0 % g 0 (b) < 0 &
g a &

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

101
Corriges - Pb 11

a. Posons (a) = g 0 (0) = (ln a)2 a 1. Alors

0 (a) = 2 ln a + (ln a)2 = (2 + ln a) ln a

On en deduit le tableau suivant :


0 e2 1
% <0 & 1

avec (e2 ) = e42 1 < 0. On en deduit donc que g 0 (0) est toujours strictement
negatif. On peut former le tableau

0 b1 b b2 +
h0 0 +
g0 <0 % g 0 (b) > 0 & 1
g a>0 & % &

On en deduit que g peut avoir 1, 2 ou 3 zeros suivant les signes de et .


b. On sait que c est un point fixe de f et de f f . Cest donc un zero de g. De plus,
dapr`es I.2.b, f 0 (c) < 1 donc g 0 (c) > 0. Comme [b1 , b2 ] est le seul intervalle sur
lequel g est croissante, c est dans cet intervalle donc < 0 et > 0. Par consequent
g sannule trois fois en des points c1 < c < c2 .
c. Le tableau des signes de g est alors :

0 c1 c c2 +
+ 0 0 + 0

Montrons que f (c1 ) = c2 .


En effet f f (f (c1 )) = f (f f (c1 )) = f (c1 ) donc f (c1 ) est un point fixe de f f
donc f (c1 ) {c1 , c, c2 }. Or f (c1 ) = c1 est impossible car c1 est le seul point fixe de f .
Legalite f (c1 ) = c est aussi impossible car f est injective (strictement decroissante)
avec f (c) = c. La seule possibilie est donc f (c1 ) = c2 . On demontre de meme que
f (c2 ) = c1 .
Lorsque a devient strictement plus petit que ee , le point fixe c explose en trois
points fixes. Les deux points fixes stables c1 et c2 encadrent un point fixe 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 decroissante et converge vers c2 dans [c2 , +[.
Si c1 < x0 < c alors (x2n )nN est decroissante et converge vers c1 dans [c1 , c[, x1 =
f (x0 ) > c2 et (x2n+1 )nN est croissante et converge vers c2 dans ]c, c2 [.

102
Corriges - Pb 12

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

0,2

0,1

K1,0 K0,5 0 0,5 1,0

K0,1

K0,2

Fig. 11 Question I.1.d.

2. En choisissant les points o`


u la derivee change de signe on choisit les extrema locaux. Prenons
par exemple la fonction dont la derivee est
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 decroissante dans ]a, b] ne lest pas forcement dans [a, b] car la
valeur de f (a) peut etre quelconque. En revanche, si on suppose en plus la continuite en
a, la valeur de f (a) est alors la limite `a droite en a soit sup]a,b] f . La fonction f est alors
decroissante dans [a, b].
Cette decroissance est stricte car, si f (a) = f (c) pour un c de ]a, b], la fonction f serait
alors constante sur ]a, c].

103
Corriges - Pb 12

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 decroissance de g dans ]a, b]. Comme g est continue dans
[a, b], cest equivalent `
a la decroissance de g dans [a, b].
b. La fonction continue g atteint sa borne superieure M sur le segment [a, b] en un point
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 illustres par les graphes des fonctions 1 + (t 0.4)2 et 1 (t 0.5)2 sur [0, 1].
La reciproque nest pas vraie. Une relation M = g(a) ou g(b) nempeche pas que le
maximum puisse etre atteint en un autre point `a linterieur du segment. Dans ce cas
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 reduit. La fonction est donc decroissante.
Pour etudier la continuite de , deux methodes sont possibles.
La premi`ere consiste en une etude locale autour dun point x de [a, b[.
Remarquons dabord que la fonction continue g atteint sa borne superieure sur [x, b]. Il
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 continuite en x, il existe > 0 tel que

t [x , x] : g(t) < g(m)

104
Corriges - Pb 12

1,2

1,1

1,0

0 0,5 1

Fig. 13 Cas 1. M = g(a) = g(b)

On en deduit que (y) = (x) lorsque y [x , m]. Ainsi, la fonction est non
seulement continue mais constante au voisinage de x.
Cas 2. (x) = g(m) = g(x).
Par continuite de g en x, pour tout > 0, il existe un > 0 tel que

t [x , x + ] : (x) g(t) (x) +

On va alors chercher `a encadrer (y) pour y [x , x + ].


Utilisons dabord decroissance de :

y [x , x + ] : (x + ) (y) (x )

Dun c
ote :

t [x , x] : g(t) (x) +
t [x, b] : g(t) (x)

ce qui entrane (x ) (x) + .


De lautre
(x) g(x + ) (x + )
ce qui entrane (x) (x + ).
Finalement on a donc

y [x , x + ] : (x) (x + ) (y) (x ) (x) +

ce qui assure la continuite de en x.


Une deuxi`eme methode possible consiste `a utiliser un resultat de cours sur les fonctions
monotones. Si f est une fonction monotone definie sur un intervalle I et si f (I) est un

105
Corriges - Pb 12

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 resultat repose sur letude des limites des fonctions
monotones. Il sert en particulier `a prouver la continuite de la bijection reciproque dune
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 bornee. Notons
M = g(xm ) = max g
[a,b]

Il est clair que est ` a valeurs dans [M, g(b)]. On doit montrer que, pour tout y dans
[M, g(b)], il existe un x [a, b] tel que (x) = y. Cette methode ne sera pas developpee
davantage.
2. a. Un element x de ]a, b[ est dans E si et seulement si g(x) < (x).
b. Si x E, on sait que
(x) g(x)
>0
2
En prenant cette quantite comme et en ecrivant la definition des continuites de g et
de en x, on obtient facilement linclusion demandee.
3. a. Notons Mx la partie de R dont s(x) est la borne inferieure :
Mx = { ]x, b] tq g(x) < g()}
Cest une partie non vide (car x E) de ]x, b], sa borne inferieure s(x) est donc un
element de [x, b].
Il est impossible que s(x) = b. En effet on aurait alors Mx = {b} donc g(x) < g(b).
Dans ce cas, la continuite de g en b entranerait 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 element de Mx donc g(y) g(x).

106
Corriges - Pb 12

0
5 10

K1

Fig. 15 Cas o`
u g(a) = M = g(B) et E nest pas ]a, b[.

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 `
a la limite dans une inegalite :
g(s(x) g(x)
Lorsque n est assez petit pour que s(x) + n1 < b, le nombre s(x) + 1
n nest pas un
minorant de Mx , il existe donc n Mx tel que
1
s(x) n < s(x) +
n
La suite des n converge vers s(x) en verifiant g(x) < g(n ). Par passage `a la limite :
g(x) g(s(x))
et finalement
g(x) = g(s(x))
Si y [x, s(x)[, il nest pas un element de Mx , donc
g(y) g(x)
De plus pour tous les Mx :
g(x) < g()
On a donc prouve lexistence dun tel que :
y < s(x) b
g(y) g(x) < g()
Ce qui assure que y est un element de E.

107
Corriges - Pb 13

Probl`
eme 13
Partie I

1. On doit verifier que Z[ d] contient 1 et quil est stable pour laddition et la multiplication.
Cela ne pose pas de probl`eme :

(x + dy) + (x0 + dy 0 ) = (x + x0 ) + d(y + y 0 )
| {z } | {z }
Z Z

(x + dy)(x + dy) = (xx0 + d2 yy 0 ) + d(xy 0 + x0 y)
| {z } | {z }
Z Z

2. On verifie sans difficulte que c(1) = 1 et



(z, z 0 ) Z[ d]2 : c(z + z 0 ) = c(z) + c(z 0 ), c(z + z 0 ) = c(z)c(z 0 )

3. Dapr`es la question precedente, pour tous z et z 0 dans Z[ d],
N (zz 0 ) = zz 0 c(z)c(z 0 ) = zc(z)z 0 c(z 0 ) = N (z)N (z 0 )

4. Si z est inversible dinverse z 0


zz 0 = 1 N (zz 0 ) = 1 N (z)N (z 0 ) = 1 N (z) {1, +1}
car N (z) et N (z 0 ) sont entiers. Reciproquement, si N (z) {1, +1}, comme N (z) = zc(z),
z est inversible dinverse N (z)c(z).

Partie II
1. Lensemble contenant zz 0 sobtient simplement par la r`egle des signes car c(zz 0 ) = c(z)c(z 0 ).
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++

Le signe de z est le meme que celui de z1 , le signe de c(z) est le meme que celui de c(z)
1
les
quatre ensembles I++ , I+ , I+ , I sont donc stables par inversion.
2. Les stabilites necessaires ont ete demontrees lors de la question precedente.
3. On a admis que I 6= {1, +1}, il existe donc un z dans I de module different de 1. Alors
z 2 6= 1 et z 2 I++ dapr`es le tableau II 1.

Partie III

Notons D+ la droite dequation x + d y = 0 et D la droite dequation x d y = 0. Si M
est un point de coordonnees (x, y), on peut interpreter

X = x d y, Y = x + d y
comme les coordonnees de M dans un rep`ere attache `a ces droites. On en deduit la figure suivante.

108
Corriges - Pb 13


x dy = 0
I+ Y

I I++

I+
X

x+ dy = 0

Fig. 16 Partie III

Partie IV

1. On peut remarquer que si z = x + y d est un element de Z[ d] alors
1 1
x= (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
Lorsque z I++ avec z > 1, c(z) = z1 < 1 < z donc y > 0
2. Dapr`es les questions precedentes, X est une partie non vide de N , elle admet donc un
plus petit element note u.
u dans la question precedente, il existe m I++ tel que m > 1 et
3. Dapr`es la definition de
v N tel que m = u + d v.
On va montrer que m est le plus petit element de {z I++ tq z > 1}
Comme m est dans cet ensemble, on doit montrer seulement que m est un minorant de cet
ensemble.
Considerons un z > 1 dans I++ , il existe x et y naturels non nuls tels que z = x + d y.
Comme x X on a u x. Dautre part, comme N (z) = 1

x2 dy 2 = 1
1 2 1
y2 = 2
(x 1) 2 (u2 1) = v 2
d d
Comme v et y sont positifs 0 < v < y et finalement par addition des deux inegalites

z = x + dy u + dv = m

Partie V
1. Cette question est un analogue multiplicatif de letude des sous-groupes additifs de Z.
Par definition m > 1, si z est un element de I++ strictement plus grand que 1, il existe un
naturel non nul n tel que

mn z < mn+1 , 1 mn z < m

109
Corriges - Pb 13

De plus mn z I++ et, par definition de m, la relation mn z < m interdit `a mn z detre


strictement plus grand que 1. Ainsi mn z = 1, z = mn
Lorsque z < 1, on se ram`ene `a la question precedente en considerant z1
2. a. Si z I+ , z 2 I++ dapr`es le tableau II 1.
b. Dapr`es la question 1, il existe n Z tel que z 2 = mn . Si n etait pair de la forme 2k,
on aurait z = mk ou z = mk . Ceci est impossible car mk I++ etmk I . Ainsi
n est forcement impair, de la forme 2k + 1 donc

z 2 = m2k+1
z = (zmk )2

avec zmk I+ dapr`es le tableau II 1.


c. Si z I+ , z 2 I++ , il existe donc un entier n tel que z 2 = mn = w2n . On en deduit
z = wn car wn 6 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. Lequation 4 2y 2 = 1 na pas de solution enti`ere
donc 2 6 X. Ceci montre que 3 est bien le plus petit element de X.

Comme (1 + 2)2 = 3 + 2 2, w = 1 + 2 engendre I+
2. a. Remarquons quun carre dentier est congru `a 0 ou 1 modulo 4. On en deduit que
x2 3y 2 est congru `
a 0 ou 1 ou 2 mais jamais `a -1 modulo 4. Il est donc impossible
que pour x et y entiers x2 3y 2 soit egal `a -1.
Ici I+ et I sont vides.

b. Comme 2 + 3 I++ , 2 X. Dautre part, 1 6 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
u z decrit I. Ici I = I++ I+ . Les couples attaches aux elements de I+ sont les
o`
opposees de ceux de I++ .

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 definies par recurrence


a0 = 2 b0 = 1
an+1 = 2an + 3bn an1 = 2an 3bn
bn+1 = an + 2bn bn1 = an + 2bn
Les solutions sont tous les couples

(an , bn ), (an , bn )

lorsque n decrit Z.

110
Corriges - Pb 14

Probl`
eme 14
Partie I.
1. a. Avec les operations definies dans le produit cartesien de deux espaces vectorieils, la
linearite est evidente :

((a, b) + (a0 , b0 )) = ((a + a0 , b + b0 )) = (a + a0 ) + (b + b0 )


= (a + b) + (a0 + b0 ) = ((a, b)) + ((a0 , b0 ))

et par un developpement analogue :

((a, b)) = ((a, b))

Limage de est A + B par definition de la somme de deux sous-espaces.


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 lineaire et injective (donc un isomorphisme entre A B et ker ).
Il est evident que, (a, a) ker pour a A B. Cela entrane une inclusion.
Reciproquement :
(a, b) ker a = b A B
A B

prouve lautre inclusion.


c. Par isomorphisme, la dimension du noyau est celle de lintersection. Le theor`eme du
rang entrane alors la formule demndee.
2. Soit (a1 , , ap ) une base de A (tout sous-espace dun espace de dimension finie est de
dimension finie). 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 effet Vect(a1 , , ap , x) est un sous-
espace vectoriel qui contient A = Vect(a1 , , ap ) et x donc, par definition dun espace
vectoriel engendre :
V Vect(a1 , , ap , x)
Cette inclusion signifie exactement que (a1 , , ap , x) engendre V . Montrons enfin que
(a1 , , ap , x) est libre. Comme on sait que (a1 , , ap ) est libre, si (a1 , , ap , x) etait
liee, x serait combinaison lineaire de (a1 , , ap ) donc x serait dans A.
Cette famille est donc libre et generatrice, cest une base de V .
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 6 A (le raisonnement se ferait de la meme mani`ere
dans lautre cas). Dapr`es la question precedente :

dim (Vect(A {x})) = dim A + 1 = dim E

car A est un hyperplan.On en deduit

Vect(A {x}) = E

111
Corriges - Pb 14

Comme A + B est un sous-espace vectoriel qui contient A et x :

Vect(A {x}) A + B

On en deduit

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
(a1 , , ap ) (avec p < dim E = n). Cette base est une famille libre de E. Dapr`es le
theor`eme de la base incompl`ete, il existe des vecteurs bp+1 , bn tels que

(a1 , , ap , bp+1 , bn )

Soit une base de E. Il est alors evident que

Vect(a1 , , ap , bp+1 , bn1 )

est un hyperplan qui contient A.

Partie II.
1. La linearite est evidente. De plus,

x ker f x + f (x) = 0E x = f (x) A B = {0E }

assure linjectivite. Dapr`es le theor`eme du rang, on peut en deduire que

dim(Im f ) = dim Af = dim A

2. On sait dej`
a que Af est de la bonne dimension. Il suffit donc de montrer que le noyau est
reduit `
a 0E .

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 lineaires de A dans B telles que Af = Ag . Alors, pour tout
aA:
a + f (a) Af = Ag a0 A tel que a + f (a) = a0 + g(a0 )
alors
a a0 = g(a0 ) f (a) A B a = a0 f (a) = g(a)
en reinjectant dans a + f (a) = a0 + g(a0 ). On en deduit

f =g

112
Corriges - Pb 14

4. Soit f = pB,A1 avec les notations de lenonce. Pour tout x Af , il existe a A tel que

x = a pB,A1 (a) = pA1 ,B (a) A1

Ainsi :
Af A1
Mais comme les deux sous-espaces sont de meme dimension :

Af = A1

5. Les questions precedentes montrent que

f Af

definit une bijection entre L(A, B) et lensemble des supplementaires de B.


La question 2 assure que Af est bien un supplementaire. La question 3 assure linjectivite
et la question 4 assure la surjectivite.
6. Lensemble des supplementaires ` a une droite vectorielle fixee B est en bijection avec L(H, B)
o`u H est un supplementaire de B (on sait quil en existe). Comme L(H, B) est un espace
vectoriel de dimension dim B dim H = dim E 1 = n1, il est en bijection avec Kn1 donc
infini lorsque K est infini. Lensemble de tous les hyperplans est donc egalement infini.
7. si K est fini de cardinal q. Lespace E de dimension finie n est en bijection avec Kn donc
fini et
]E = q n
Le resultat de la partie III est faux car lensemble des sous-espaces vectoriels est fini lui
aussi. Lensemble de tous les hyperplans est egal `a E.
Comme lensemble des supplementaires de B est en bijection avec L(A, B) qui est de
dimension dim A dim B, le nombre de ces supplementaires est :

q dim A dim B

Partie III.
1. a. La famille (a1 ) est libre car le vecteur est non nul, on peut former une base de deux
vecteurs par le theor`eme de la base incompl`ete.
b. Si i est nul, ai A1 donc Ai = A1 or on a suppose les sous-espaces deux `a deux
distincts.
c. Il suffit de choisir un different de tous les ii . Cest possible car le corps est infini.
2. On va raisonner par recurrence sur la dimension de lespace.
La propriete est vraie lorsque dim E = 2 `a cause de la question precedente.
Montrons maintenant que la propriete `a lordre n 1 entraine la propriete `a lordre n.
Considerons une famille (A1 , , Ap ) dhyperplans deux `a deux distincts dans un espace
E de dimension n. Comme lensemble des hyperplans est infini, il existe un hyperplan H
qui est distinct de tous les Ai . Dapr`es la question I.3., chaque Ai H est un hyperplan
de H. Ils ne sont pas forcement deux `a deux distincts mais on peut en extraire une famille
(B1 , , Bq ) (avec q p) formees dhyperplans de H deux `a deux distincts. alors :

A1 Ap = E (A1 H) (A1 H) = H B1 Bq = H

en contradiction avec la propriete appliquee `a H pour la dimension n 1.

113
Corriges - Pb 14

3. Lorsque la famille nest pas formee dhyperplans, on peut inclure chaque Ai dans un hy-
perplan dapr`es I.4. et utiliser la question precedente.
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 supplementaire commun aux Ai .


b. On demontre le resultat par une recurrence descendante. On sait que lorsque les Ai
sont de dimension dim E 1, ils admettent un supplementaires communs.
Montrons que le resultat pour des sous-espaces de dimension p + 1 entraine le resultat
pour des sous-espaces de dimension p.
Considerons donc des Ai de dimension p. Dapr`es 3., il existe un vecteur x napparte-
nant `a aucun des Ai . Formons la famille des Vect(Ai {x}). Dapr`es lhypoth`ese de
recurrence, il existe un supplementaire commun B `a ces sous-espaces. On verifie alors
facilement que Vect(B {x}) est un supplementaire commun aux Ai .

114
Corriges - Pb 15

K0,4 K0,2 0 0,2 0,4

Fig. 17 graphe de n pour n = 4

Probl`
eme 15
1. a. Le graphe de n est une parabole tronquee. La fonction est continue dans R, C dans
chaque intervalle mais elle nest pas derivable en n1 et n1
b. Le calcul de lintegrale ne presente pas de difficultes.
Z n1
n2 2
 
3n 2
n (t)dt = =1
n1 4 n 3n3

2. a. En faisant le changement de variable u = x + t dans la definition de fn (x), on obtient :


1
3n x+ n
Z
fn (x) = n (u x)f (u)du
4 x n1

Developpons n (u x) et ordonnons suivant les puissances de u avant dintegrer en


utilisant le linearite
Z x+ n1 Z x+ n1
3n 2 2 2
fn (x) = (1 n x ) f (u)du + 2n uf (u)du
4 1
x n 1
x n
Z x+ n1 !
2 2
n u f (u)du
1
x n

115
Corriges - Pb 15

Les trois integrales qui figurent dans la parenth`ese sexpriment `a laide de primitives
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 fn0 (x).
1
Z x+ n
3n
fn0 (x) = 2n2 x f (u)du
4 1
x n
 
2 1 1
+(1 n x) f (x + ) f (x )
n n
Z x+ n1
+2n2 uf (u)du
n x 1
 
2 1 1 1 1
+2n x (x + )f (x + ) (x )f (x )
n n n n
 
2 1 2 1 1 2 1
n (x + ) f (x + ) (x ) f (x )
n n n n
Developpons et regroupons les termes en f (x n1 ) et f (x n1 ). Ils sannulent et il ne
reste que les integrales qui se regroupent en
1
3n3 x+ n
Z
0
fn (x) = (u x)f (u)du
2 x n1
Le changement de variable t = u x dans cette derni`ere integrale conduit au resultat
demande : Z 1
3n3 n
fn0 (x) = tf (x + t)dt
2 n1
3. a. Utilisons le calcul de lintegrale de n pour exprimer la difference comme une integrale
que lon majore de mani`ere tr`es classique :
Z 1 Z n1
n
|fn (x) f (x)| = n (t)f (t)dtf (x) n (t)dt

1 n 1
Z 1 n Z 1
n n
= n (t)(f (t) f (x))dt n (t) |f (t) f (x)| dt

1 n 1
n
Z n1 Z n1
n (t)Mn dt = Mn n (t)dt = Mn
1 1
n n

On a utilise le fait que n est `a valeurs positives dans lintervalle.


b. Dans cette question, on utilise le theor`eme de Heine. Toute fonction continue sur un
segment est uniformement continue.
Pour tout > 0, il existe un > 0 tel que , pour tous x et y dans J :
|x y| < |f (x) f (y)| <
Considerons un entier N tel que pour tout entier n,
1
<nN
n
Alors, pour tout x dans J et n N , Mn (x) < donc Kn < . Ceci entraine que
(Kn )nN converge vers 0.

116
Corriges - Pb 15

c. Pour tout reel x fixe, on peut considerer un segment J qui le contienne (par exemple
de longueur 1 et de milieu x). La question precedente prouve la convergence vers 0 de
la suite des Kn attachee ` a ce segment.Comme

|fn (x) f (x)| Kn

On en deduit que (fn (x))nN converge vers 0.


4. a. Introduisons le developpement definissant Rx dans lexpression de la derivee trouvee
en 2.b. Par linearite, on obtient :
1
! 1
!
3n3 3n3 0
Z n
Z n
fn0 (x) = f (x) tdt + f (x) t2 dt
2 1
n 2 1
n
1
3n3
Z n
+ f (x) t2 Rx (t)dt
2 1
n

Si on est particuli`erement scrupuleux, on peut se poser la question de la continuite de


Rx afin de justifier son integrabilite. Par definition meme, Rx est clairement continue
sauf en 0 o` u elle nest pas vraiment definie. On peut prolonger Rx par continuite en
posant Rx (0) = 0 car le fait que Rx converge vers 0 en 0 est la defintion meme de la
derivabilite de f en x.
2
Les integrales de t et de t2 valent respectivement O et 2n3 . On en deduit :
1
3n3
Z n
fn (x) = f 0 (x) + f (x) t2 Rx (t)dt
2 1
n

b. Majorons |fn (x) fn0 (x)| en utilisant les expressions precedentes.


Z 1
3n3 n 3n3 Z n1
|fn (x) fn0 (x)| = 2
t Rx (t)dt t2 |Rx (t)| dt

2 2

1 1
n n
Z 1
3n3 n 2
t max |Rx |dt = max |Rx |
2 n1 In (x) In (x)

Comme, pour x fixe, Rx converge vers 0 en 0, la suite des maxIn (x) |Rx | converge vers
0. On en deduit que (fn0 (x))nN converge vers f 0 (x).

117
Corriges - Pb 16

Probl`
eme 16
1. a. Le calcul des integrales se fait avec des integrations par parties. On obtient :
Z 1 Z 1
2(1)k (1)k 1
t2 cos(kt)dt = 2
, t cos(kt)dt =
0 (k) 0 (k)2
On en deduit
1
(2c + d)(1)k d
Z
(ct2 + dt) cos(kt)dt =
0 (k)2
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 deduit que
le couple (a, b) cherche est
2
a= , b = 2
2
2 1 2
Z
1
(t 2t) cos(kt)dt = 2
2 0 k
c. La transformation demandee se fait avec a) et b) :
Z 1 n
! n
1 1 2
Z
2 1 X X 1
(at + bt) + cos(kt) dt = (at + bt)dt + 2
0 2 2 0 k
k=1 k=1
n n
a b X 1 2 X 1
= + + = +
6 4 k2 6 k2
k=1 k=1

2. Le debut du calcul utilise une suite geometrique de raison e2i 6= 1


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

1+2 1
1 e2i
k=1
sin(n + 1) cos n 1
=2 1= (2 sin(n + 1) cos n sin )
sin sin
On transforme alors le dernier sin en ecrivant = (n + 1) n
sin = sin(n + 1) cos n cos(n + 1) sin n
Ce qui conduit `
a:
n
X sin(2n + 1)
1+2 cos 2k =
sin
k=1

3. Comme f est C 1 , on peut proceder `a une integration par parties :


Z 1
f (0) cos f (1) 1 1
Z
f (t) sin(t)dt = + cos tf 0 (t)dt
0 0
On en deduit
Z 1 |f (0)| + |f (1)| + sup|f 0 (t)|
[0,1]
f (t) sin(t)dt

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

118
Corriges - Pb 16

4. a. La fonction f est clairement de classe C sur ]0, 1]. A ` laide dune etude locale en 0,
0
on va montrer que f est continue en 0 et que f|]0,1[ converge en 0. Ceci prouvera le
1
caract`ere C de la fonction sur [0, 1] dapr`es le theor`eme de la limite de la derivee.
Les equivalences, limites et developpements suivants sont tous en 0.

2 2
t2 2t 2t , sin t t , f =
2 2 4
2

2
2t 2 (t2 2t) cos t
f 0 (t) = 2
2

4 sin t sin2 t
2 2
2t 2 2 + 2t 4 1t 4
= = = (1 t + o(t))
sin t t
t + o(t ) t 1 + o(t) 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
2 2 3
t 1 + o(t)
t + o(t )
4
8 t
= 2
(1 + o(t))
t 2
do`
u en combinant les deux parties :

2 2
f 0 (t) = ( + o(1))
4 2
2
Cest `
a dire que la derivee de la restriction de f `a ]0, 1[ converge en 0 vers ce qui

entraine que f est derivable en 0 avec

2
f 0 (0) =

et que f 0 est continue en 0.


b. Notons
n
X 1
sn =
k2
k=1

Dapr`es 1.c :
n
!
1
2 2
Z
1 X
( t2 2 t) + cos(kt) dt = + sn
0 2 2 6
k=1

119
Corriges - Pb 16

t
Utilisons alors 2. avec = puis la fonction f definie en 4. :
2
t
Z 1
2 2 sin(n + 1) 2
( t 2 t) 2 = + s
n
0 2 t 6
2 sin
2
Z 1
t 2
f (t) sin(2n + 1) = + sn
0 2 6

(2n + 1)
La question 3 montre (avec = ) alors la convergence de (sn )nN vers
2
2
6

120
Corriges - Pb 17

Probl`
eme 17
1
1. On definit f (x) = (1+x)2 dans [0, 1]. On peut alors interpreter an comme une somme de
Riemann
n n
1X 1 1X k
an = = f( )
n (1 + nk )2
k=1
n n
k=1

La suite (an )nN converge donc vers


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

2. Dapr`es la question precedente, bnn est la difference entre lintegrale et sa somme de Rie-
mann. On decoupe en utilisant la subdivision reguli`ere :
n Z nk !
bn X 1 k
= f (x)dx f ( )
n k1 n n
n k=1

k
Notons F une primitive de f et appliquons la formule de Taylor-Lagrange `a F entre n et
k1
n .
Il existe xk k1 k
 
n , n tel que

k1 k 1 k 1
F( ) = F ( ) f ( ) + 2 f 0 (xk )
n n n n 2n
Ceci secrit encore Z k
n 1 k 1
f (x)dx f ( ) = 2 f 0 (xk )
k1
n
n n 2n
Revenons `
a bn :
n
11X 0
bn = f (xk )
2n
k=1
0
Comme f est continue, cela sinterpr`ete encore comme une somme de Riemann car chaque
a k1 k

xk appartient ` n , n . On en d eduit que (bn )nN converge vers

1 3
(f (1) f (0)) =
2 8

121
Corriges - Pb 18

Probl`
eme 18
1. Notons q le cardinal de lensemble X, `a chaque y X, on peut associer une fonction fy
definie dans X par :
(
1 si x = y
x X : fy (x) =
0 si x 6= y

Notons
X = {y1 , y2 , , yq }

Alors tout element f F(X, C) secrit de mani`ere unique sous la forme

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 deduit
pq

car p est la dimension de V qui est un sous-espace vectoriel de F(X, C).


2. a. Remarquons dabord que, dapr`es la question precedente,

dim (F(A, C)) = p = dim V

Lespace de depart et lespace darrivee de la fonction restriction R ont donc la meme


dimension.
Pour montrer que R est un isomorphisme, il suffit 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 elements de
A. On veut montrer que cest la fonction nulle cest `a dire quelle est prend aussi la
valeur 0 pour les elements de X qui ne sont pas dans A.
Considerons un tel element x X A et lelement x qui lui est associe dans V .
Comme (x1 , , xp ) est une base de V , il existe 1 , , p dans C tels que

x = 1 x1 + + p xp

Prenons alors la valeur en f V :

x (f ) = 1 x1 (f ) + + p xp (f )

Ce qui secrit encore :

f (x) = 1 f (x1 ) + + p f (xp ) = 0

car f est nulle sur A.

122
Corriges - Pb 18

b. Considerons, comme en 1, les fonctions f1 , , fp definies dans A par :


(
2 1 si i = j
(i, j) {1, , } : fi (xj ) =
0 si i 6= 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 )
definie par
i {1, , p} : R(vi ) = fi
Ces relations traduisent exactement les conditions demandees
(
2 1 si i = j
(i, j) {1, 2, } : vi (xj ) =
0 si i 6= j

3. a. Comme V est de dimension p il contient des vecteurs non nuls cest `a dire des fonctions
non identiquement nulles. Soit v V lune dentre elles. Comme cette fonction nest
pas identiquement nulle, il existe x X tel que

f (x) 6= 0 x (f ) 6= 0

Ce qui siginifie que x nest pas le vecteur nul de V . La famille (x ) est donc libre.
b. Considerons une famille (x1 , , xq ) verifiant

(x1 , , xq ) libre
x X : (x1 , , xq , x ) liee

Il en existe dapr`es la question precedente.


Comme (x1 , , xq ) est une famille libre de V qui est de dimension p egale `a celle
de V (resultat de cours), on a forcement q p.
Dautre part, les conditions entrainent aussi que, pour tout x X,

x Vect x1 , , xq


Autrement dit :

x X, (1 (x), , q (x)) Cq tel que x = 1 (x)x1 + + q (x)xq

Ceci definit des fonctions (1 , , q ) de X dans C.


Prenons alors la valeur en v V

x X, v V : x (v) = 1 (x)x1 (v) + + q (x)xq (v)


x X, v V : v(x) = 1 (x)v(x1 ) + + q (x)v(xq )
v V : v = v(x1 )1 + + v(xq )q

ce qui entraine
v Vect(1 , , q )
pour tous les v V . On en deduit que dim V = p q et donc que p = q. La famille
libre (x1 , , xp ) est alors une base de V .

123
Corriges - Pb 19

Probl`
eme 19
Partie I
1. Pour i entre 1 et m, considerons le polynome
X Y X j
i =
i ij
j{1, ,m}{i}

Cest un polynome de degre m qui satisfait aux contraintes imposees par lenonce. Cest
le seul polyn
ome de degre m satisfaisant `a ces contraintes car si Ui en est un autre, le
polynome Ui i est de degre au plus m avec m + 1 racines donc Ui i est nul.
2. Dapr`es la question precedente, le coefficient dominant de i est :

1 1 (1)mi
=
i (i 1) (1)(1) (i m) i!(m i)!

3. Un polynome P est divisible par X si et seulement si Pe(0) = 0. Lespace E est donc un


hyperplan de Rn [X] noyau de la forme lineaire P Pe(0) = 0. Comme Rn [X] est de
dimension m + 1, on en deduit
dim E = m
Pour montrer que (1 , , m ) est une base, il suffit 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 `a X. On obtient alors j = 0 ce qui prouve


que la famille est libre.
On obtient les coordonnees dun polynome P de E dans cette base par une substitution
analogue :

Pe(1)
Mat P = ...

L
Pe(m)
4. La derivation et la substitution de 0 `a X sont des operations lineaires, lapplication
proposee par lenonce est donc bien une forme lineaire. Par definition, la matrice dune
forme lineaire dans une base est constituee par la ligne des valeurs de la forme aux vecteurs
de base. Cela donne ici :
h i
Mat = Mat = ](m) ](m)
L L(1) 1 (0) m (0)

Comme les polyn omes consideres sont tous de degre m, seuls les coefficients dominants
subsistent. Le terme 1, i de MatL est donc

(1)mi m!
 
mi m
= (1)
i!(m i)! i

On en deduit :
Mat = Lm
L

124
Corriges - Pb 19

5. Comme les coordonnees dun polynome P E dans L sont formees par les valeurs du
ome en 1, , m, la matrice Vm sinterpr`ete comme la matrice dans L de la famille
polyn
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 polynomes de L dans X . Dapr`es la question 2., on
connait le coefficient dominant dun Li . Un tel coefficient est la derni`ere coordonnee de
lexpression de Li dans la base X . On peut en deduire la derni`ere ligne de la matrice Vm1 .
6. On peut ecrire le produit matriciel Lm Vm comme la matrice dune forme lineaire :
 
Lm Vm = Mat Mat idE = Mat = 0 0 m!
L(1) XL (1)X

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

Partie II
1. Le developpement limite en 0 de la fonction exponentielle est usuel, on en deduit :
k ki km m
ekx = 1 + x + + xi + + x + o(xm )
1! i! m!
2. En 0, on a ex 1 x. On en deduit sans calcul le developpement `a lordre n :
(ex 1)m = xm + o(xm )
3. Par definition du produit matriciel :
m m  
X X
mk m j
terme 1, j de Lm Vm = terme 1, k de Lm terme k, j de Vm = (1) k
k
k=1 k=1

4. Developpons (ex 1)m avec la formule du binome :


m  
x m
X
mk m kx
(e 1) = (1) e
k
k=1

On en deduit que le terme 1, j de Lm Vm est egal (`a multiplication pr`es par i!) au coefficient
de xi dans le developpement limite de (ex 1)m . On connait ce developpement. On en deduit
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 demandees : il existe un reel yh entre x et x + h
et un reel zh entre x et x h tels que
h2 00
f (x + h) = f (x) + hf 0 (x) + f (yh )
f
h2
f (x h) = f (x) hf 0 (x) + f 00 (zh )
f

125
Corriges - Pb 19

b. En formant la difference entre les deux relations precedentes, on elimine les f (x) et
on exprime f 0 (x) :

h2 00
f (x + h) f (x h) (f (yh ) f 00 (zh ))
f 0 (x) = 2
2h
On majore en valeur absolue en utilisant

|f (x + h)| M0 , |f (x h)| M0 , |f 00 (yh )| M2 , |f 00 (zh )| M2

On en deduit
2M0 + h2 M2 M0 M2
|f 0 (x)| = + h
2h h 2
c. Linegalite precedente montre que |f 0 | est majoree par
M0 M2
+ h
h 2
pour nimporte quel h > 0. En etudiant la fonction
M0 M2
h + h
h 2
cherchons la valeur de h permettant dobtenir le plus petit majorant. La derivee de
cette fonction est
M0 M2
2 +
h 2
Elle sannule en r
2M0
M2
qui est le minimum absolu. La valeur de la fonction associee est :
r r
M2 M2 2M0 p
M0 + = 2M0 M2
2M0 2 M2

2.
a. Ecrivons les deux formules de Taylor `a lordre trois. On garde les memes notations :
il existe un reel yh entre x et x + h et un reel zh entre x et x h tels que
h2 00 h3 (3)
f (x + h) = f (x) + hf 0 (x) + f (x) + f (yh )
f 3!
h2 h3 (3)
f (x h) = f (x) hf 0 (x) + f 00 (x) f (zh )
f 3!

b. En formant la difference entre les deux relations precedentes, on elimine les f (x) et
les f 00 (x) et on exprime f 0 (x) :

h3 (3)
f (x + h) f (x h) (f (yh ) f (3) (zh ))
f 0 (x) = 3!
2h
On majore comme plus en valeur absolue :
M0 M3 2
|f 0 (x)| + h
h 6

126
Corriges - Pb 19

On etudie encore la fonction de h qui figure au second membre. Sa derivee est


M0 M3
+ h
h2 3
Elle sannule en   13
3M0
M3
qui est le minimum absolu. La valeur de la fonction en ce point est
1 2 1 1 1 2 1 1 2 2 1 1 1
3 3 M03 M33 + 3 3 M03 M33 = 3 3 M03 M33 = 9M02 M3 3
2 2 2
c. En appliquant les resultats de la premi`ere question `a f 0 qui est bornee ainsi que sa
derivee seconde on obtient que la derivee de f 0 cest `a dire f est bornee.

Partie IV
1. Pour i entre 1 et n 1, le produit matriciel definissant yi conduit `a
ih 0 (ih)2 0 (ih)n1 0
yi = f (x) + f (x) + + f (x)
1! 2! (n 1)!
On peut linterpreter `a laide dune formule de Taylor avec reste de Lagrange `a lordre n
entre x et x + ih. Il existe zi entre x et x + ih tel que
(ih)n (n)
yi = f (x + ih) f (x) f (zi )
n!
On en deduit
(ih)n ((n 1)h)n
|yi | 2M0 + Mn 2M0 + Mn = K h
n! n!
2. On multiplie ` a gauche par Ln1 la relation matricielle definissant les yi et on exploite le
resultat prouve dans les parties I et II. avec m = n 1
 
Ln1 Vn1 = 0 0 (n 1)!

On obtient
h 0
f (x)
1!
h2 00

y1

f (x)
..   2!
Ln1 . = 0 0 (n 1)!

..
yn1 .



hn1
(n1)
f (x)
(n 1)!
qui donne exactement la relation demandee
n1  
X n1
(1)n1i yi = hn1 f (n1) (x)
i=1
i

127
Corriges - Pb 19

3. On majore en valeur absolue la relation de la question precedente en introduisant une


ome pour 2n1 :
formule du bin
n1
!
X  n 1
n1 (n1)
h |f (x)| Kh 2n1 Kh
i=1
i

On en deduit la majoration demandee


4. La question precedente a montre que si une fonction ainsi que sa derivee dordre m sont
bornees sur R alors la derivee dordre m 1 est egalement bornee. On peut reutiliser ce
a lordre m 1 et obtenir que la derivee dordre m 2 est bornee. On montre ainsi
resultat `
que les derivees `
a tous les ordres sont bornees.

128
Corriges - Pb 20

Probl`
eme 20
erifiant M.
Partie I. Existence dune famille v
1. Calcul du determinant de M pour n = 2.
 
1 m
M= avec m = cos
m 1 a
On en deduit

det M = 1 m2 = sin2
2
Pour n = 3, le calcul se fait en developpant selon la premi`ere ligne. On conserve lexpression
en mi,j . Apr`es calculs cela donne

1 m12 m13
m23 = 1 m223 m212 m213 + 2m12 m13 m23

det M = m21 1
m31 m32 1

2. Si B = (e1 , , en ) verifie M alors chaque ei est unitaire car (ei /ei ) est un terme diagonal
(egal `
a 1). De plus pour i et j distincts, dapr`es linegalite de Cauchy-Schwarz :

|mij | = |(ei /e)| |ei ||ej | = 1

Legalite dans Cauchy-Schwarz se produit seulement si les vecteurs sont colineaires. Ici les
vecteurs de la base sont non colineaires deux `a deux donc |mij | < 1. Comme

mij = cos
aij
avec aij entier, cela entraine aij 2.
3. Construction dune base directe verifiant M dans le cas n = 2.
On se fixe une base orthonormee directe (a1 , a2 ) et on pose :

e1 = a1
p
e2 = ma1 + 1 m2 a2

alors (e1 , e2 ) repond bien `


a la question car :

(e1 /e2 ) = m
p
1 m


det (e1 , e2) =
2 =
1 m2 > 0
(a1 ,a2 ) 0 1 m

4. a. Comme dans la question precedente, on peut poser


q
e2 = m12 + 1 m212 a2

ainsi (e1 /e2 ) = m12 et



1
p m12 0 q
det (e1 , e2 , a3 ) = 0 1 m212 0 = 1 m212 > 0
(a1 ,a2,a3 ) 0 0 1

129
Corriges - Pb 20

b. La droite D est lintersection de deux plans affines respectivement orthogonaux `a e1


et e2 . Ces deux vecteurs sont dans Vect(a1 , a2 ) qui est le plan orthogonal `a a3 . La
direction de D est donc Vect(a3 ).
Soit x = x1 a1 + x2 a2 Vect(a1 , a2 ) D. Alors :

(x/e1 ) = m13 = x1
q
(x/e2 ) = m23 = m12 x1 + 1 m212 x2

On en deduit :
m23 m12 m13
x1 = m13 x2 = p
1 m212

Comme D est orthogonale `a Vect(a1 , a2 ), la distance de 0E `a D est la norme du vecteur


dintersection x que lon vient de calculer. On en deduit :
s
(m23 m12 m13 )2 1
m213 + m223 2m12 m13 m23

d(0E , D) = m213 + 2 = 2
1 m12 1 m12

c. Les conditions que doivent satisfaire un vecteur e3 pour que la famille (e1 , e2 , e3 ) verifie
M sont :
ke3 k = 1. Cest `
a dire que e3 est sur la sph`ere de rayon 1 et centree `a lorigine.
(e3 /e1 ) = m13 et (e3 /e2 ) = m23 . Cest `a dire que e3 est sur la droite D.
La condition geometrique assurant lexistence dun tel vecteur e3 est donc que la droite
D coupe la sph`ere unite.
d. Dapr`es la question 1., la condition det M > 0 entraine

det M > 0 1 m212 > m223 + m213 2m12 m13 m13


m223 + m213 2m12 m13 m13
< 1 d(0E , D) < 1
1 m212

Ce qui signifie que D coupe la sph`ere en deux vecteurs c et c0 symetriques par rapport
au plan Vect(e1 , e2 ). Les deux familles (e1 , e2 , c) et (e1 , e2 , c0 ) verifient M. Une seule
est directe car la reflexion par rapport au plan change lorientation.
5. Cas particulier. Le calcul des cos conduit `a :

1

1 0
2

1 3 2 1 1
A = 3 1 4 M =
1
2 2

2 4 1 1
0 1
2

Le calcul du determinant conduit `a


1
det M = >0
4
Il existe donc, dapr`es la question d. une base verifiant M.

130
Corriges - Pb 20

Partie II. Famille de r


eflexions.
1. La base B nest pas orthonormee, la matrice du produit scalaire dans cette base est M . On
en deduit que deux vecteurs de coordonnees (x1 , , xn ) et (y1 , , yn ) sont orthogonaux
si et seulement si :
y1
  .
x1 xn M .. = 0
yn
2. a. Calcul de la matrice S1 de 1 . Par definition 1 (e1 ) = e1 . Le vecteur me1 e2 est
orthogonal `
a e1 donc conserve par 1 :

1 (me1 e2 ) = me1 e2 me1 1 (e2 ) = me1 e2


1 (e2 ) = 2me1 + e2

On en deduit :  
1 2m
S1 =
0 1
Calcul de la matrice S2 de 2 . Le raisonnement est le meme en considerant le vecteur
e1 me2 orthogonal `a e2 donc conserve par 2 . Apr`es calculs :
 
1 0
S2 =
2m 1
On peut calculer le produit matriciel :
1 + 4m2
    
1 2m 1 0 2m
T = S1 S2 = =
0 1 2m 1 2m 1

b. Les vecteurs de C et B sexpriment les uns en fonction des autres :



a1 = e1
(
e1 = a1
p m 1
e2 = ma1 + 1 m2 a2 a2 = e1 + e2
1m 2 1 m2
On en deduit les matrices de passage
m
  1
1 m 1 m2
P = PCB = P 1 = PBC =

0 1 m2 1
0
1m 2

Pour la matrice de 1 , il est inutile dutiliser la formule de changement de base car a2


est conserve par 1 (il est orthogonal `a a1 = e1 ).
 
1 0
Mat 1 =
C 0 1
Pour la matrice de 2 , on utilise la formule de changement de base et m = cos a
2 2

cos sin
2m2
 
1 2m 1 m2 a a
Mat 2 = P S2 P 1 =

2 2 = 2 2

C 2m 1 m 2m 1
sin cos

a a

131
Corriges - Pb 20

On en deduit la matrice de = 1 2

2 2 2 2

 cos sin sin
cos a

1 0 a a a
Mat = 2 =
0 1 sin 2 2 2

C
cos sin cos
a a a a

2
Cela signifie que est la rotation dangle 3 .

3. Cas n = 3. Par definition, 1 est la symetrie orthogonale par rapport au plan (Vect(e1 )) .
Donc e1 est transforme en son oppose alors que les vecteurs m13 e1 e3 et m12 e1 e2 sont
fixes par 1 car ils sont orthogonaux `a e1 . On peut exploiter cela pour obtenir les images
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 deduit la matrice de 1 :

1 2m12 2m13
S1 = 0 1 0
0 0 1

De meme, e2 est transformee par 2 en son oppose alors que m21 e2 e1 et m23 e2 e3 sont
fixes. On obtient comme au dessus :

2 (e1 ) = e1 2m21 e2 2 (e3 ) = e3 2m23 e2

do`
u la matrice de 2 :
1 0 0
S2 = 2m12 1 2m32
0 0 1
De meme, les vecteurs e1 2m31 e3 et e2 2m32 e3 sont fixes par 3 et conduisent `a la
matrice de 3 .
1 0 0
S3 = 0 1 0
2m31 2m32 1

4. a. On a dej`
a calcule en I.5. la matrice M .

1

1 0
1 2
1
M =
1
2 2

1
0 1
2

132
Corriges - Pb 20

On en deduit les matrices S1 , S2 et S3



1 1 0 1 0 0 1 0 0
S1 = 0 1 0 S2 = 1 1 2 S3 = 0 1 0
0 0 1 0 0 1 0 2 1

puis leur produit


0 1 2
T = S1 S2 S3 = 1 1 2
0 2 1
b. Dapr`es lexpression de T , un vecteur u de coordonnees (x, y, z) dans B verifie (u) =
u si et seulement si

y 2z = x x + y 2z = 0 (
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  
u= 2e1 + e3
3
On choisit un vecteur unitaire v orthogonal `a u. Par exemple
1  
v = e1 2e3
3
On ne peut pas compl`eter la famille (u, v) par w = u v pour former une base
orthonormee directe D = (u, v, w) car, la base B netant pas orthonormee directe, le
calcul du produit vectoriel nest pas facile. On va trouver un w en utilisant la condition
dorthogonalite de la question 1.
On cherche donc un w de coordonnees (x, y, z) dans B orthogonal `a u et v. Cela se
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 :



x = 1 z

2x 2y + z = 0
2
x + 1 y 2z = 0
2 y = 2z

On en deduit que

(Vect(u, v)) = Vect(e1 + 2e2 + 2e3 )
Le calcul du determinant



2 1 1
2 1


0 0
2

= 2 =6
1 2
1 2 2

133
Corriges - Pb 20


montre que la famille (u, v, e1 + 2e2 + 2e3 ) est directe.
Attention, comme la base nest pas orthonormee, le carre de la norme de e1 +2e2 + 2e3
nest pas 7 mais

1
ke1 + 2e2 + 2e3 k2 = 1 + 4 + 2 + 2 ( ) (1 2)
2
1
+ 2 0 (1 2) + 2 ( ) (2 2) = 1
2

On choisira donc comme base orthonormee directe


1 


u = 2e1 + e3
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
2 1
1
3 3

P = PBD = 0 0 2

1
2
2
3 3

Pour obtenir la matrice P 1 , on doit exprimer e1 , e2 , e3 en fonction de u, v, w.



1 
r
2 1

u= u+ v

2e1 + e3 e1 =


3

3 3




1  2e2 = w e1 2e3
v = e1 2e3
3


r
1 2



e3 = u v

w = e1 + 2e2 + 2e3

3 3

do`
u
2 1 1
e2 = u + v + w
3 2 3 2

2 2 1

3 3 3
r

1 1 1 2
P =
3 2 3 3


1
0 0
2

134
Corriges - Pb 20

On en deduit :

1 0 0

0 1 2 1 3



0
Mat = P 1 1 1 2 P =

D 2 2
0 2 1

3 1
0
2 2

La transformation est donc une rotation miroir, composee de la rotation dangle 3
autour de u et de la reflexion par rapport au plan orthogonal `a u.

135
Corriges - Pb 21

Probl`
eme 21
1. a. Par definition, (A) est la borne inferieure dun ensemble non vide de nombres reels
tous positifs ou nuls. Cet ensemble est donc minore (par 0). Dapr`es les axiomes de R
toute partie de R non vide et minoree admet une borne inferieure.
b. Si 1 6 A, {1} A = donc S1 (A) = 0 et (A) = 0.
c. Supposons que (A) = 1, comme (A) est un minorant de lensemble des Snn(A) , on
a pour tous les entiers n 1 Snn(A) donc n Sn (A). Or {1, 2, , n} A contient
au plus n elements, donc ici {1, 2, , n} A. On en deduit que (A) = 1 entrane
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)
n . Or (B) est le plus grand des minorants des eduit (A) (B).
n , on en d
2. a. Ici A est une partie finie, on note m son nombre delements. Il est clair que Sn (A) mn,
donc pour tous les entiers n, (A) m n . On en d e duit par passage a
` la limite dans
une inegalite que (A) = 0.
b. Ici A est lensemble de tous les entiers impairs.
Sn (A)
Si n est impair, le nombre dentiers impairs entre 1 et n est n+12 donc n = 1
2
1
+ 2n .
Sn (A)
Si n est pair, le nombre dentiers impairs entre 1 et n est 2 donc n = 21 .
n

Il est clair que 12 est le plus petit de tous les nombres Snn(A) donc (A) = 21 .
c. Ici A = {mk , m N}. Pour un entier n donne, quel est le nombre dentiers m tels que
mk n ?
1
Il est clair que cest la partie enti`ere de n k . On en deduit que pour tous les n :
1
Sn (A) E(n k ) 1
(A) n k 1
n n
Or la suite `
a droite converge vers 0, do`
u par passage `a la limite dans une inegalite
(A) = 0.
3. Lensemble C contient Sn (B) + 1 elements. Le +1 venant de la presence de 0 qui est dans
A et B. De meme, lensemble A {0, 1, , n} contient Sn (A) + 1 elements. La somme des
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 elements leur intersection est non vide.
Il existe donc a A {0, 1, , n} et b B {0, 1, , n} tels que a = n b ce qui entrane
n A + B. Ceci est valable pour ninporte quel entier n.
4. a. Supposons (A) + (B) 1. Alors, pour tout entier n :

Sn (A) Sn (B)
1 (A) + (B) +
n n
u Sn (A) + Sn (B) n. La question precedente montre alors que n A + B. Comme
do`
ceci est valable pour tous les n, on a bien N = A + B.
b. Il suffit dappliquer la question precedente avec B = A. Lenonce signale bien lhy-
poth`ese 0 A car il est clair quun nombre impair nest pas la somme de deux impairs.

136
Corriges - Pb 22

Probl`
eme 22
1. Comme la matrice A nest pas la matrice nulle, il existe i et j tels que aij 6= 0. La matrice
extraite A{i}{j} est alors une matrice 1 1 inversible ce qui entraine que r (egal `a la taille
de la plus grande des matrices extraites inversibles) est superieur ou egal `a 1.
2. a. On se place dans le sous-espace vectoriel Ei = Vect UI .
On consid`ere la projection pI sur EI parall`element au sous-espace EI . La matrice
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 definition, r est le rang dune matrice extraite de A (la plus grande possible parmi
celles qui sont inversibles). Il existe donc des parties I et J `a r lignes et r colonnes
telles que
r = rg AIJ
Le rang dune famille de vecteurs images par une application lineaire est toujours
inferieur ou egal au rang de la famille de depart. Le rang dune famille extraite est
evidemment inferieur ou egal au rang de la famille dont elle est extraite. On a donc :

r = rg AIJ = rg pI (VJ ) rg VJ rg V = rg A

3. Une application lineaire est injective si et seulement si son noyau ne contient que lelement
nul de lespace.
Le noyau de la restriction ` a un certain sous-espace dun endomorphisme est lintersection
du noyau de lendomorphisme avec ce sous-espace.
Par definition, le noyau de pI est EI donc le noyau de la restriction `a VJ de pI est EI VJ .
On en deduit que la restriction `a VJ de pI est EI VJ est injective si et seulement si

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 etaient des combinaisons lineaires des vecteurs de UJ , la famille UJ engendrerait
E. Il existe donc des i {1, , p} tels que ui 6 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 elements (elles sont libres). On peut en considerer une
(disons F) dont le nombre delements soit le plus grand possible.
Pour une telle famille, on ne peut adjoindre un nouvel element de U sans briser le caract`ere
libre.
Cela signifie que les elements de U sont des combinaisons lineaires des elements de F. La
famille F est donc generatrice.
Comme elle est libre par definition, cest une base de E.
5. Notons m le rang de la matrice A.
Cest aussi le rang de la famille de vecteurs V. En considerant, parmi les familles libres
formees de vecteurs de V, une qui soit la plus grande possible. On montre quil existe une
partie J de {1, , q} `
a m elements telle que VJ soit libre et que VJ soit lespace engendre
par tous les elements de V.

137
Corriges - Pb 22

Pour une telle partie J, completons VJ par des vecteurs de U comme dans la question 4.
Notons I lensemble des indices des vecteurs qui ne sont pas choisis.
a dire que la base de E est obtenue en completant VJ par UI . On remarque que I
Cest `
contient p m elements donc I contient m elements.
Le caract`ere libre de cette famille entraine que

EI VJ = {0E }

donc la restriction de pI `
a VJ est injective. On en deduit :

rg A = m = rg VJ = rg pI VJ = rg AIJ

La matrice AIJ est une matrice carree `a m lignes et m colonnes extraite de A. Elle est
inversible donc r rg A. On obtient donc bien

r = rg A

138
Corriges - Pb 23

Probl`
eme 23
Partie 1. D
efinitions - Exemples
1. a. Comme la parametrisation est normale, z 0 (s) est laffixe complexe de

(s). Le vecteur

n est obtenu `

a partir de par une rotation de 2 qui se traduit par la multiplication
par i pour les affixes. La relation (2) est donc simplement la traduction complexe de
la definition de la courbure par :

0 = c

n
Les deux relations sont donc equivalentes
b. Lorsque c0 est un reel fixe, cherchons les solutions de lequation differentielle

z 00 = ic0 z 0

Si c0 = 0, lequation devient z 00 = 0 dont les solutions sont de la forme

s as + b

avec a et b complexes fixes (a de module 1) pour que la parametrisations soit normale.


Le support de ces parametrisations sont des droites.
Si c0 6= 0. Dapr`es le cours sur les equations differentielles lineaires du premier ordre :
z 0 (0) ic0 s
z 0 (s) = z 0 (0)eic0 s z(s) = z(0) i e
c0
Le support dune telle courbe parametree est un cercle.
En conclusion, le support dune courbe parametree dont tous les points sont des
sommets est une droite ou un cercle.
c. Dapr`es le cours sur les equations differentielles lineaires du premier ordre, les solutions
de
i
y 0 (s) = y
1 + s2
sont les fonctions de la forme
eiF
1
u F est une primitive de s 1+s
o` 2 . Une telle primitive est arctan. En tenant compte
0
de la condition initiale z (0) = 1 on obtient donc

z 0 (s) = ei arctan s

Pour dans ] 2 , 2 [ (ce qui est le cas si = arctan s), on a


1 tan
cos = sin =
2
tan tan2
Avec = arctan s, on deduit :
1 + is
z 0 (s) =
1 + s2
Le calcul de z revient `
a un calcul dintegrale :
Z s
1 + iu
z(s) = i + du
=z(0) 0 1 + u2

139
Corriges - Pb 23

On effectue un changement de variable u = sh t et on obtient

z(s) = s + i(s 1)

Il apparait alors que le support est le meme que celui de la parametrisation

t 1 + i(ch t 1)

obtenue avec le changement de param`etre admissible t = sh s.


Ce support est une courbe appelee chanette qui ressemble de loin `a une parabole mais
nen nest pas une.
2. a. Pour la parabole, les calculs sont immediats :

0
t2

f (t) = i + j
2p
00
1
f (t) = j
p

On en deduit que la parametrisation nest pas normale. La vitesse nest pas de norme
1 mais
p
0
p2 + t2
k f (t)k =
p
t2
 

p
T (t) = p i + j
p2 + t2 2p
 2 

p t

N (t) = p i + i
p2 + t2 2p

Lequation de la tangente en f (t) est



xt 1
0
det(f (t)M , f (t)) = 0 t2 t = 0
y 2p p

b. Le calcul de la courbure se fait `a laide du determinant :





det( f 0 (t), f 00 (t)) 3
(f (t)) = 0
= p2 (p2 + t2 ) 2
k f (t)k

La derivee de cette fonction


5
3p2 t(p2 + t2 ) 2
sannule seulement pour t = 0 qui correspond `a lorigine et au sommet de la parabole.
Rappelons que pour une conique, le terme sommet designe un point dintersection
avec laxe focal
3. a. Pour lellipse, les calculs sont immediats :
0



f (t) = a sin t i + b cos t j
00



f (t) = a cos t i b sin t j

140
Corriges - Pb 23

On en deduit que la parametrisation nest pas normale. La vitesse nest pas de norme
1 mais

p
k f 0 (t)k = a2 sin2 t + b2 cos2 t

1 


T (t) = p a sin t i + b cos t j
a2 sin2 t + b2 cos2 t

1 


N (t) = p b cos t i + a sin t j
a2 sin2 t + b2 cos2 t
Lequation de la tangente en f (t) est


0 x a cos t a sin t
det(f (t)M , f (t)) = 0 =0
y b sin t b cos t

b. Le calcul de la courbure se fait `a laide du determinant :





det( f 0 (t), f 00 (t)) 3
(f (t)) = 0
= ab(a2 sin2 t + b2 cos2 t) 2
k f (t)k
La derivee de cette fonction
5
3ab(a2 b2 ) sin t cos t(a2 sin2 t + b2 cos2 t) 2

sannule seulement pour t congru `a 0 modulo 2 . Il existe donc quatre sommets qui
correspondent aux intersection avec les deux axes de symetrie. Pour une conique les
intersections avec le petit-axe ne sont pas habituellement appelees des sommets.

M2

M (w)

M1

(M1 , M2 )

Fig. 18 Droites passant par M (w)

Partie 2. Courbe ferm


ee strictement convexe
1. a. La fonction Y est continue, les valeurs Y (u) et Y (v) sont de signes opposes. Dapr`es
le theor`eme des valeurs intermediaires, il existe w entre u et v tel que Y (w) = 0.

141
Corriges - Pb 23

Par definition, M (w) est sur la droite (M1 , M2 ) et meme sur le segment [M1 , M2 ].
Considerons toutes les droites D passant par M (w) (Fig. 18). Parmi ces droites doit
se trouver la tangente en M (w).
Si D nest pas (M1 , M2 ). Les deux points M1 et M2 ne sont pas dans le meme des
deux demi-plans ouverts definis par D. Chacun est dans un (different) des deux.
Si D est (M1 , M2 ). Aucun des des deux points M1 et M2 nest dans un des demi-
plans ouverts definis par D.
Or, dapr`es la convexite de la courbe, lorsque D est la tangente en M (w), les deux
points devraient se trouver dans le meme des deux demi-plans ouverts definis par la
tangente. Il est donc impossible que Y change de signe entre s1 et s2 .
b. Montrer que tous les points M (s) avec s1 < s < s2 se trouvent dans le meme des
deux demi-plans definis par la droite (M1 , M2 ) est une reformulation de la question
precedente. Sils ne sy trouvaient pas, la fonction Y changerait de signe.
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 periodique de periode L. Sa restriction `a un segment de


longueur L est donc bornee et atteint ses bornes. Comme lensemble des valeurs prises
par la fonction est aussi lensemble des valeurs prises par une restriction `a un segment
de longueur L, la fonction compl`ete est donc bornee et atteint ses bornes.
Notons s1 un reel tel que
c(s1 ) = min {c(s), s R}
Comme la restriction de c `a [s1 , s1 + L] atteint sa borne superieure, il existe alors un
s2 [s1 , s1 + L] tel que
c(s2 ) = max {c(s), s R}
Les reels s1 et s2 realisent des extrema absolus de la fonction c et la fonction c est
derivable dans R. On en deduit que c0 (s1 ) = c0 (s2 ) = 0. Les points M (s1 ) et M (s2 )
sont des sommets de la courbe.

142
Corriges - Pb 23

b. On suppose dans cette question que c0 ne sannule quen s1 et s2 . Elle garde donc un
signe constant dans ]s1 , s2 [ et dans ]s2 , s1 + L[. Comme s1 realise le minimum de c et
s2 le maximum, la fonction est croissante sur ]s1 , s2 [ et decroissante sur ]s2 , s1 + L[.
Les signes se combinent alors pour que lintegrale (fonctions continues) soit positive.
Z s1 +L Z s2 Z s1 +L
0 0
c (s)Y (s)ds = c (s)Y (s)ds + c0 (s)Y (s)ds > 0
s1 s1 >0 >0 s2 <0 <0

En fait on va montrer que cette integrale est nulle ce qui conduit evidemment `a une
contradiction et ` u c0 sannule.
a lexistence dune troisi`eme valeur s3 o`
Le calcul utilise une integration par parties et la definition de la courbure. Com-
mencons par la courbure. On exprime la vitesse dans le rep`ere indique par lenonce :




(s) =X 0 (s) i + Y 0 (s) j
00 0
X (s) = c(s)Y (s)







n (s) = Y 0 (s) i + X 0 (s) j

0 (s) =c(s)
n (s)

00
Y (s) =c(s)X 0 (s)

Utilisons maintenant lintegration par parties


Z s1 +L Z s1 +L
s +L
c0 (s)Y (s)ds = [c(s)Y (s)]s11 c(s)Y 0 (s)ds
s1 | {z } s1
=0 par p
eriodicit
e
Z s1 +L
s +L
= X 00 (s)ds = [X 0 (s)]s11 = 0 par periodicite
s1

s1 s3 s4 s2

Fig. 20 Graphe de c

c. On a montre ` a la question precedente lexistence dun s3 en lequel c0 sannule. Si c0


ne change pas de signe en s3 , le raisonnement de la question precedente sur la stricte
positivite de lintegrale sapplique encore en contradiction avec le calcul qui montre

143
Corriges - Pb 23

quelle est nulle. La fonction c0 doit donc changer de signe en s3 ce qui prouve que s3
est un extremum relatif pour c.
Comme s1 est le minimum absolu, s3 ne peut etre quun maximum relatif si c0 ne
change pas de signe avant. Il existe alors forcement un minimum relatif s4 entre s3 et
le maximum absolu s1 + L(Fig. 20).
Ceci prouve lexistence dun quatri`eme sommet.

144
Corriges - Pb 24

Probl`
eme 24
1. a. La fonction gn est clairement contine, derivable strictement croissante. Elle definit une
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 :

gn+1 (n ) = gn (n ) + (n + 1)nn+1 = a + (n + 1)nn+1 > A

Comme de plus gn+1 est croissante, on en deduit n+1 < n .


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 deduit N < 1 puis

n N : n N < 1

car la suite est decroissante.


d. La suite (n )nN est positive et decroissante. Elle converge donc et sa limite est
positive ou nulle. De plus comme n N < 1 pour n N , on obtient par passage
a la limite dans une inegalite que
`

0 N < 1

e. Les suites (np q n )nN sont des suites de reference du cours. On sait quelles convergent
vers 0 pour tout p lorsque |q| < 1. On utilise ce resultat ici apr`es avoir majore n non
pas par 1 mais par N . On en deduit le resultat annonce.
2. a. On remarque que
1 xn+1
gn (x) = fn0 (x) avec fn (x) =
1x
On obtient le resultat annonce en derivant lexpression de fn .
b. Dapr`es le a. et la convergence vers 0 des suites de reference (xn )nN et (nxn )nN ,
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 :
1
gn (x)
(1 x)2

3. a. Pour tout n, comme n et gn croissante :

gn () gn (n ) = a

par passage `
a la limite dans une inegalite, il vient
1
a
(1 )2

b. Lequation se resout sans probl`eme, elle admet une seule solution :


1
=1
a

145
Corriges - Pb 24

c. Pour tout n :
1
gn () a
(1 )2
donc (gn croissante) n . Comme est alors un minorant de la suite (n )nN ,
on a .
Or = 1 1a do` u 1 1a
De linegalite du 3.a., on deduit
1 1
11
a a
Ce qui demontre la relation demandee.
4. a. On utilise la question 2.a. avec
1
x = n et a = 4 et 1 n = (1 n )
2
On obtient
1 nn n2
4= 2
(n + 1)
(1 n ) 1 n (1 n )2
4(1 n )2 = 1 (n + 1)nn (1 n ) nn+1
1
(1 n )2 = 1 (n + 1) nn nn+1
2
1 n
2
2n + n = (n + 1) n nn+1
2
b. Comme n 21 , n 0 ce qui entraine :
2n negligeable devant n
nn+1 negligeable devant (n + 1)nn
De chaque cote de la relation, negligeons ce qui est negligeable. Legalite se degrade
alors en une equivalence
1 n
2n (n + 1)nn
2
or
1 n 1
(n + 1)nn nnn
2 2
do`
u
1
n nnn
4
c. En utilisant la question precedente et la question 1.e.
1 2 n
nn n n 0
4
On en deduit
(1 + n )n 1
car
(1 + n )n = en ln(1+n ) avec ln(1 + n ) nn 0
On en deduit enfin
n 1 n
n (1 + n )n n+2
4 2n 2

146