Académique Documents
Professionnel Documents
Culture Documents
Pierre Lecomte
Table des matires
partie 1. Courbes 7
Chapitre 1. Introduction 9
1. Courbes paramtres 9
2. Changements de paramtres 10
2.1. Orientation 14
3. Tangente 14
3.1. Auto-intersection 16
3.2. Rgularit 18
3.3. Points anguleux et de rebroussement 20
4. Longueur darc et abscisse curviligne 23
4.1. Paramtrages naturels 26
Chapitre 2. Les courbes planes 31
1. La courbure 32
1.1. Repre mobile canonique 32
1.2. Courbure algbrique 33
1.3. Calcul dans un paramtrage quelconque 34
1.4. Concavit 36
1.5. Courbure algbrique et direction de la tangente 37
1.6. Rayon de courbure et dveloppe 38
2. Classification des courbes rgulires 43
3. Une application : le vlo roues carres 46
3.1. Mise en quation 47
3.2. Forme de larcade 48
3.3. Vrification 49
4. Enveloppe dune famille de droites 50
4.1. Lexemple des rayons orthogonaux 54
5. Equations cartsiennes 58
5.1. Gradient 58
5.2. Courbes de niveau 59
5.3. Tangente, normale et courbure 62
Chapitre 3. Les courbes en dimension trois 65
1. La courbure, la torsion et le tridre de Frenet 65
3
4 TABLE DES MATIRES
partie 2. Surfaces 73
Courbes
CHAPITRE 1
Introduction
0
-2 0 2 4
Il est parfois utile de placer le paramtre en une autre position que celle
de la premire composante. Par exemple, on peut dcrire le demi-cercle
{(x, y) R2 |x2 + y 2 = 1, x > 0}
par p
y 7 ( 1 y 2 , y)
o y varie dans ] 1, 1[.
Dans les deux cas, nous dirons encore que ces courbes paramtres
sont des graphes de fonctions.
b) Les courbes paramtres de la forme
tR 7 (r cos t, r sin t, ht) R3
o r > 0, et celles quon en dduit par dplacements euclidiens, sont les
hlices circulaires. Un aperu dune telle courbe est donn la figure
2.
c) Les courbes paramtres de la forme
tR 7 (a sin(t + ), b sin t) R
sont des figures de Lissajou. La figure 3 reprsente la figure de Lissajou
pour laquelle a = b = 1, = 3/4 et = 0.
2. Changements de paramtres
On dit que deux courbes paramtres (I, ) et (J, ) sont quiva-
lentes sil existe une bijection u : I J de classe C et de rciproque
u1 : J I de classe C telle que = u. Le lecteur est invit
2. CHANGEMENTS DE PARAMTRES 11
(0, t)
(x, y)
(1, 0)
Figure 4
3. Tangente
Le fait quune fonction f :]a, b[ R soit drivable permet de dfinir
en chaque point (x0 , f (x0 )) de son graphe une tangente, savoir la
droite dquation
y f (x0 ) = f 0 (x0 )(x x0 )
Celle-ci admet le vecteur directeur (1, f 0 (x0 )) qui nest autre que la
drive de la courbe paramtre 3
x 7 (x, f (x))
dcrivant le graphe.
Fort de cette constatation, on dfinit le vecteur tangent en t0 I
dune courbe paramtre (I, ) de Rn comme tant la drive 0 (t0 ) et,
3. Quand elle existe, la drive dune fonction valeurs dans Rn est le vecteur
dont les composantes sont les drives des coordonnes de la fonction. On dit, pour
sen souvenir, quon drive une fonction composantes composantes.
3. TANGENTE 15
si elle nest pas nulle, on dit que la droite passant par P = (t0 ) et
parallle 0 (t0 ) est tangente en P la courbe.
Par dfinition, la drive de en t0 est la limite 4
1
(4) 0 (t0 ) = lim ((t0 + h) (t0 ))
h0 h
h6= 0
Q Q
5. La priode dune fonction f dfinie sur R est le plus petit > 0 tel que
x R, f (x + ) = f (x)
mais, de temps autre, jappellerai priode de f lun des nombres vrifiant cette
dernire condition.
3. TANGENTE 17
3 2 1 0 1 2 3
de fonctions relles sont des courbes rgulires. Cela vaut bien entendu
pour tous les graphes de fonction et il savre que, localement, la rci-
proque est vraie, en vertu du rsultat suivant.
Proposition 2. Si la courbe paramtre (I, ) de Rn est rgulire
en t0 , alors (I0 , |I0 ) est quivalent un graphe de fonction, o I0 est
un intervalle ouvert tel que t0 I0 I.
Dmonstration. Puisque la drive de nest pas nulle en t0 , une
de ses composantes est diffrente de zro. Pour simplifier lcriture, nous
supposerons que cest la premire ce qui ne nuit pas la gnralit. Par
continuit, cette composante ne sannule en aucun point dun intervalle
ouvert I0 de I contenant t0 . Daprs la Proposition 1, limage de I0 par
1 est un intervalle ouvert J et la fonction
u := |I1 0 : I0 J
est une bijection dont la rciproque nous la noterons v est de
classe C . Le graphe (J, ) de la fonction
2 (v(t)), . . . , n (v(t)) Rn1
t J 7
est quivalent (I0 , |I0 ). Il est clair en effet que = u dans I0 .
Figure 10
Figure 11
comme voulu.
Nous verrons que lide esquisse ci-dessus fonctionne trs bien pour
les courbes paramtres rgulires en ce sens que les abscisses curvi-
lignes donnent alors lieu des paramtrages qui leurs sont quivalents
dailleurs trs utiles sur le plan thorique. En prsence de singularits,
on tombe sur des obstacles principalement ds au fait quon nest plus
dans les conditions dapplication de la Proposition 1. Labscisse curvi-
ligne relative une orientation et une origine donnes existent pour de
telles courbes puisque la longueur darc est dfinie mais elle ne fournit
gnralement pas de paramtrage.
Pour clarifier les choses, examinons la question sur un exemple trs
simple, celui de lastrode
: t 7 (cos3 t, sin3 t)
Pour celle-ci,
k 0 (t)k = 3| sin t cos t|
Ainsi, alors mme que cest une bijection entre [0, 2] et [0, 6], s nest
pas un changement de paramtres 9.
La proposition suivante est un critre permettant de reconnatre
quune courbe paramtre est rapporte une abscisse curviligne.
Proposition 6. Une courbe paramtre (I, ) de Rn est rapporte
une abscisse curviligne si, et seulement si,
(10) t I, k 0 (t)k = 1
Dmonstration. Si une courbe paramtre (I, ) est rapporte
une abscisse curviligne alors, tant donn s0 I,
Z s
s I, s s0 = k 0 (x)kdx
s0
qui est de classe C tout comme . Cela not, la drive dune primitive
de k 0 k ne sannulant nulle part dans I, il rsulte de la Proposition 1
que cest un changement de paramtres.
31
32 2. LES COURBES PLANES
1. La courbure
Dans toute cette section, (I, ) dsigne une courbe paramtre r-
gulire.
1.1. Repre mobile canonique. On note t : I R2 la fonction
qui t I associe le vecteur tangent unitaire
0 (t)
k 0 (t)k
de la courbe en (t) et on pose, par dfinition de n,
n(t) = t(t)
Le vecteur n(t) est le vecteur normal de en (t) et la droite pas-
sant par (t) et dirige par n(t) est la normale la courbe en (t).
Nous obtenons ainsi un repre orthonorm positif en chaque point de
la courbe :
R (t) = ((t), (t(t), n(t)))
dont la manire de varier avec t I va nous permettre de caractriser
(I, ) dplacement prs. Nous appellerons t 7 R (t) le repre mobile
(canonique) de la courbe .
Par exemple, pour le graphe dune fonction f : I R2 ,
1 1
t= p (1, f 0 ) & n = p (f 0 , 1)
1+f 02 1+f 02
En consquence de la proposition prcdente, la courbure algbrique
dune courbe paramtre rgulire est une fonction de classe C .
Lastrode dcrite par
t 7 (cos3 t, sin3 t)
est singulire en les multiples de /2. Pour larc obtenu en la re-
streignant lintervalle compris entre deux singularits successives, on
trouve, laide de la formule (13) ,
1
(t) =
3| sin t cos t|
et, pour le graphe dune fonction f : I R,
f 00 (t)
(14) (t) =
(1 + f 0 (t)2 )3/2
36 2. LES COURBES PLANES
I
1
2 1 0 1 2
Figure 14
1
R (t) =
| (t)|
1
C (t) = P + n(t)
(t)
40 2. LES COURBES PLANES
Le lecteur vrifiera sans difficult que les points de rebroussement
des astrodes sont du premier ordre.
La dveloppe. La courbe t 7 C (t) est, en principe, la dveloppe
de (I, ). Mais, en ralit, ce nest pas toujours une courbe paramtre
puisquelle nest pas dfinie en un point o la courbure est nulle ni en
une singularit de . De plus, mme en dehors de ces cas particuliers,
elle peut ne pas satisfaire notre hypothse concernant les singulari-
ts dune courbe paramtre, savoir que celles-ci soient isoles. Par
exemple, pour un cercle, tous les centres de courbures concident avec
le centre du cercle et donc sa dveloppe est singulire partout. Nous
nallons pas discuter dans le dtail de ces problmes en gnral mais,
au coup par coup, on veillera bien reprer les zros de la coubure et
les singularits de afin de prsenter la dveloppe comme une unions
de courbes paramtres, ventuellement prolonges en les points de re-
broussement du premier ordre en convenant que le rayon de courbure
y est nul.
La parabole paramtre par
t 7 (t, t2 )
ne prsente ni singularit ni point dinflexion. Sa dveloppe est dfinie
Figure 15
42 2. LES COURBES PLANES
Figure 16
Dmonstration. On a
0 = T ( 0 )
Par consquent, k 0 k = k 0 k car T est une isomtrie. Ds lors,
0 0
t = = T ( ) = T (t )
k 0 k k 0 k
Puisque T est une rotation, il commute avec de sorte que
n = t = T (t ) = T (n )
6. Ce nest que dans la rfrence [2] que je lai vue formule comme nous le
faisons ici.
46 2. LES COURBES PLANES
2a
A B C
Figure 18. Profil de la route
A B C
I
Figure 19
Figure 20
A B C
C
t
b
P
M
n
a
Figure 21
2 1 0 1 2 3
On trouve facilement sur le net des petits films prsentant des vlos,
tricycles, etc. roues carres soit virtuels soit bien rels.
A la figure 23, la courbe qui apparat est une ellipse. Celle esquisse
la figure 24 est une partie de nphrode. La famille de droites qui la
dessinent a une interprtation physique intressante.
On considre que le cercle est un miroir et on lclaire avec des
rayons parallles ( la direction de la droite reprsente en noir et pas-
sant par le centre). Les droites dessines en gris sont les rayons rflchis
et leur enveloppe est ce quon appelle une caustique.
Passons des considrations plus formelles. Considrons des droites
Dt a(t)x + b(t)y + c(t) = 0
4. ENVELOPPE DUNE FAMILLE DE DROITES 51
Pt
Dt
F
T
Pt (0, t)
Dt
F (, 0)
paramtre lordonne de Pt , ses coordonnes sont (0, t). Ceci est illustr
sur la figure 26.
Cela pos,
F P = (`, t)
tant normal Dt , ce dernier admet lquation
`x + t(y t) = 0
Drive par rapport t, celle-ci donne y 2t = 0. Ainsi, en le point
de contact de lenveloppe cherche, t = y/2. En reportant cette valeur
dans lquation de Dt , nous obtenons une quation de lenveloppe,
savoir
y 2 = 4`x
Lenveloppe est donc la parabole de foyer F dont T est la tangente au
sommet.
Pour en revenir aux gnralits, une faon de paraphraser la Pro-
prit 14 consiste dire que les parties rgulires de la dveloppe dune
courbe rgulire sont des enveloppes de la famille de ses normales.
On peut galement observer que la notion denveloppe est gom-
trique en ce sens que si des familles de droites D(1) et D(2) diffrent
par un changement de paramtres u, i.e. D(1) = D(2) u, alors les enve-
loppes de D(1) se dduisent de celles de D(2) par le mme changement
de paramtres et sont donc quivalentes. Cela se vrifie facilement avec
les quations (19) mais nous ne le ferons pas.
54 2. LES COURBES PLANES
P
T
P
Figure 27
D F
Figure 28
FP
C
P
P
C
F
F
Hyperbole. Voici les noncs relatifs aux hyperboles quon peut ta-
blir laide de la Proposition 18. Ils sont illustrs la figure 30. Les
preuves sont analogues celles relatives aux ellipses. Nous ne les d-
taillerons pas mais le lecteur est invit les dtailler pour son propre
compte.
FP
P C
F C F
5. Equations cartsiennes
Nous avons dcrit paramtriquement des portions de cercles mais,
daprs la dfinition mme du cercle de centre (p, q) et de rayon r,
celui-ci est le lieu des points dont les coordonnes vrifient lquation
(x p)2 + (y q)2 = r2
Plus gnralement, les coniques ont t tudies dans lenseignement
secondaire par le biais de leur quations canoniques :
x2 y 2
2
2 = 1, y 2 = 2px
a b
En gomtrie analytique plane, on a caractris les droites par des
quations du premier degr
ax + by + c = 0
Le graphe dune fonction f :]a, b[ R peut galement tre dcrit
comme lensemble des solutions dune quation, savoir
y f (x) = 0
Au vu de ces exemples, on peroit une autre manire de dcrire
des courbes consistant les prsenter comme lieux de points dont les
coordonnes vrifient une quation.
Nous allons prciser ici cette ide et prsenter les relations existant
entre les courbes paramtres et celles dcrites par une quation.
le lieu cherch est celui des points dont les coordonnes vrifient lqua-
tion
[(x a)2 + y 2 ][(x + a)2 + y 2 ] `4 = 0
soit, aprs calculs,
F x4 + 2x2 y 2 + y 4 2a2 x2 + 2a2 y 2 + a4 `4 = 0
On vrifie facilement que les solutions du systme
(1 0
F = x(x2 + y 2 a2 ) = 0
4 x
1 0
F
4 y
= y(x2 + y 2 + a2 ) = 0
sont (0, 0) et (a, 0). Les points (a, 0) ne font pas partie du lieu. Par
contre, (0, 0) fait partie du lieu si, et seulement si, a = `. Ds lors,
lorsque a 6= `, F est une quation cartsienne et lovale de Cassini
correspondant est une courbe de niveau rgulire. Par contre, lorsque
a = `, le gradient de F sannule lorigine qui est une singularit de
lovale quon appelle alors une lemniscate de Bernouilli.
14. Pour ceux que cela intresse, cest essentiellement une reformulation du tho-
rme des fonctions implicites.
5. EQUATIONS CARTSIENNES 63
15. Ce quon peut toujours supposer tre le cas, quitte tremplacer par un
paramtrage quivalent mais dorientation oppose.
64 2. LES COURBES PLANES
et un centre de courbure
C (s0 ) = P0 + R (s0 )n (s0 )
Le cercle de centre C (s0 ) et de rayon R (s0 ) sappelle encore le cercle
osculateur et le plan de ce cercle est le plan osculateur. Cest le plan
passant par P0 et perpendiculaire b (s0 ).
Intuitivement, si la courbe ne faisait que modifier la direction de t
dans le sens de sa concavit, elle resterait dans ce plan mais il arrive
quelle se torde en pivotant autour de sa tangente, ce qui fait varier la
direction du plan. Ce phnomne est mesur par une fonction que nous
dcouvrirons bientt et qui, avec la courbure, dtermine la courbe
dplacement prs.
b = (t n )
= t n + t n
= ( n ) n + t ( t + b )
= n
( b) = t.b = 0
de recherche trs actif mais qui sort du cadre que nous nous sommes
impos ici.
Proposition 34. Soient des fonctions de classe C v, , : I
R. Si les valeurs de v et de sont strictement positives, il existe une
courbe paramtre rgulire (I, ) de R3 telle que k 0 k = v, = et
= .
Dmonstration. Nous ne dtaillerons pas cette preuve. Lide
est, en se ramenant des paramtrages naturels comme dans celle de
la Proposition 17, page 45, dutiliser les quations de Frenet : elles
montrent que t, n, b forment une solution dun systme dquations
diffrentielles ordinaires, linaire, de classe C sur I et caractris par
la courbure et la torsion. Daprs un thorme de la thorie des qua-
tions diffrentielles, un tel systme possde des solutions dfinies sur
I tout entier. Il faut alors primitiver la composante t de lune delles
pour trouver une courbe rpondant la question. Le lecteur intress
pourra consulter [3] pour une preuve complte.
Cette proprit nous explique pourquoi nous naurions pu, en ta-
blissant les formules de Frenet, exprimer la torsion laide de la cour-
bure et de grandeurs universelles indpendantes de la courbe : en effet,
dans lnonc ci-dessus, au fait prs quelle doit tre de classe C , la
fonction est arbitraire.
Deuxime partie
Surfaces
CHAPITRE 4
f = ... ..
.
1 f q p f q
on obtient son expression matricielle dans les bases canoniques de Rp
et Rq :
fa h = f (a)h
Lapplication fa est la diffrentielle de f en a, ou encore son application
linaire tangente.
1. Bien observer que les lignes de cette matrice sont les gradients des compo-
santes de f .
75
76 4. VARITS PLONGES
1. Paramtrages
Un paramtrage dune partie V Rn est une bijection de classe
C dun ouvert U de Rp sur V , de rang p partout dans U et dont la
rciproque 1 : V U soit continue.
(u, v, 0)
(x, y, z)
(x, y, 0)
Lapplication rciproque
1 : x Gf 7 (x1 , . . . xp ) U
est continue comme on le voit directement en appliquant la Proposition
36. Cest en effet la restriction de lapplication diffrentiable
: x Rp+q 7 (x1 , . . . xp ) Rp .
Comme est donc injectif, est de rang p. Cela se voit aussi sur
la matrice , savoir
1 0 0
0
. 1 0
. ..
. .
0 0 1
f1 p f 1
1
. .
. .
. .
1 f q p f q
dont les p premires lignes forment un mineur non nul. Le paramtrage
est un paramtrage par des coordonnes. Ce sont en effet certaines
coordonnes qui servent de paramtres. Dans lexemple qui vient dtre
dtaill, il sagit des p premires. Mais il peut sagir de nimporte les-
quelles.
0
1.2. Equivalence. Considrons des ouverts U Rp et U 0 Rp
ainsi quun changement de variables de classe C : U 0 U . Pour
rappel, cest une bijection de classe C dont la rciproque est de classe
0
C . En particulier, : Rp Rp est bijectif partout dans U 0 et p0 = p.
En effet, en drivant les relations
1 = idU & 1 = idU 0
on voit que et 1 sont inverses lun de lautre. Cela acquis, il rsulte
du thorme du rang que p0 = p.
Notons que la rciproque est vraie : une bijection de classe C
entre ouverts despaces euclidiens dont la diffrentielle est partout non
singulire est un changement de variables entre ces ouverts mais nous
ne le prouverons pas.
Vu ce qui prcde, si on compose un paramtrage : U V avec
le changement de variables , on obtient encore un paramtrage ,
du mme ensemble V . On dit que les paramtrages et sont
quivalents 3.
3. Le lecteur est invit vrifier quil sagit bien dune relation dquivalence
dans lensemble des paramtrages de V .
80 4. VARITS PLONGES
2. Equations cartsiennes
Nous allons tendre la notion dquation cartsienne introduite la
sous-section 5.2, page 59, pour dfinir les courbes de niveau.
Soit un paramtrage : U Rp V Rn . La relation
u U : x = (u)
caractrise les points de V . Llimination de u consiste exprimer les
conditions ncessaires et suffisantes que les coordonnes de x doivent
satisfaire pour quil vrifie cette relation, cest--dire pour quil appar-
tienne V . On sattend ce quelles prennent la forme dquations
F i (x) = 0, i = 1, ..., q, ventuellement assorties de conditions prcisant
les domaines de dfinitions des fonctions F i . Inversement, la rsolution
de ces quations consiste fournir une description explicite de leurs
solutions. Lorsquil y a moins dquations que dinconnues, on peut
2. EQUATIONS CARTSIENNES 81
Figure 34
Un tore est engendr par la rotation dun cercle autour dune droite
de son plan. La figure 34 prsente un cercle de rayon r du plan dqua-
tion y = 0 et centr en (R, 0, 0), avec R > r. Le lecteur est invit
vrifier que le tore engendr par la rotation de ce cercle autour de laxe
des z admet lquation cartsienne 4
(x2 + y 2 + z 2 + R2 r2 )2 4R2 (x2 + y 2 )
4. Pour R 6 r, le tore est encore lensemble des zros de cette fonction mais la
diffrentielle de celle-ci peut sannuler en certains de ses points.
82 4. VARITS PLONGES
De plus,
1 f 1 p f 1 1 0
F = .. .. .. ..
. . . .
1 f p f q
q
0 1
est partout de rang q.
3. Varits plonges
Voici alors le rsultat clef conduisant la notion de varit plonge :
Thorme 38. Soit une partie V de Rn . Les assertions suivantes
sont quivalentes.
a)Pour tout point a de V , il existe un ouvert de V contenant a et
admettant un paramtrage : U Rp .
b)Pour tout point a de V , il existe un ouvert de V contenant a et
admettant une quation cartsienne F : Rnp .
Nous nallons pas le prouver en dtails mais voici les ides de sa
preuve. Daprs le Thorme 37, sil existe un ouvert de V contenant
a et admettant un paramtrage, quitte restreindre cet ouvert, on
peut remplacer le paramtrage par un paramtrage par des coordon-
nes. Louvert est alors un graphe de fonction et il admet des quations
cartsiennes (voir la sous-section 2.1). Inversement, si un ouvert de
V contenant a admet une quation cartsienne F : Rq , alors la
matrice F (a) possde un mineur de dimension q qui nest pas nul,
disons celui obtenu en retenant les colonnes de numros i1 , . . . , iq . Un
thorme danalyse, le thorme des fonctions implicites, nous apprend
alors quon peut rsoudre lquation F = 0 au voisinage de a par rap-
port aux inconnues xi1 , . . . , xiq en les exprimant comme des fonctions
de classe C des autres variables : un voisinage de a dans V est donc
dcrit par un paramtrage par des coordonnes.
3. VARITS PLONGES 83
5. En fait, si une fonction de classe C sannule sur lensemble des zros dune
quation cartsienne, alors, localement, elle peut scrire comme combinaison li-
naire des composantes de lquation, avec des coefficients de classe C .
6. Ceci nest pas tout fait immdiat.
84 4. VARITS PLONGES
4. Un premier exemple
Lensemble M (p, q, r) des matrices relles ayant p lignes, q colonnes
et de rang r est une varit plonge dans lespace des matrices relles
p lignes et q colonnes, quon confond avec Rpq . Cest une varit de
dimension r(p + q r).
Nous ne le vrifierons pas en gnral mais nous allons dtailler le cas
particulier de M (2, 3, 1) que, pour simplifier lcriture, nous noterons
M dans cette section. Nous considrons que M R6 , la matrice
1 2 3
x x x
x4 x5 x6
tant confondue avec le point
x1 , x2 , x3 , x4 , x5 , x6
savoir
f 1 = x2 x6 x3 x5 , f2 = x3 x4 x1 x6 , f3 = x1 x5 x2 x4
Comme le produit vectoriel est orthogonal ses facteurs, nous avons 8
( 1
x f 1 + x2 f 2 + x3 f 3 = 0
x4 f 1 + x5 f 2 + x6 f 3 = 0
En consquence, dans 01 , si f2 = f3 = 0 alors f1 = 0 car x1 ou x4 nest
pas nul. Autrement dit, M 01 est lensemble des zros de
F1 := (f2 , f3 )
7. Pour b 6= 0, il faut remplacer x1 par x2 et x4 par x5 dans lexpression de ,
et pour c 6= 0, x1 par x3 et x4 par x6 . Le lecteur voit-il pourquoi ?
8. On vrifie directement ces identits trs facilement mais, entre autre, cest
pour expliquer leur origine que jinvoque le produit vectoriel.
86 4. VARITS PLONGES
Or !
x6 0 x4 x3 0 x1
F1 =
x5 x4 0 x2 x1 0
est de rang 2 dans 01 .
Au total, (01 , F1 )
est une quation cartsienne
de M 1 . On vrifie de faon analogue que (02 , F2 ) et (03 , F3 ), o
0
Espace tangent
1. Espace tangent
Un vecteur tangent une partie V Rn en a V est le vecteur
tangent en s dune courbe paramtre (I, ) de Rn telle que (I) V
et telle que (s) = a 1.
Lensemble des vecteurs tangent V en a est not Ta V . Lespace
tangent V en a est lensemble a + Ta V .
Proposition 39. Soient une varit plonge V Rn , un param-
trage (U, ), u U et une quation cartsienne (, F ) dun voisinage
ouvert de a = (u) dans V . On a
Ta V = imu = ker Fa .
En particulier, Ta V est une sous-varit affine de Rn , de dimension
p = dima V .
Dmonstration. Soit v Rp . Pour t assez petit, u + tv U et
t 7 (u + tv) est une courbe dfinie au voisinage de 0, trace sur V et
passant par a en t = 0. Par consquent
d
u v = (u + tv)|t=0 Ta V
dt
Soit alors h Ta V tangent une courbe (I, ) de V passant par a en
t = s. Pour t assez voisin de s, (t) . De l, F = 0 dans un
voisinage de s. En drivant cette relation par rapport t en t = s, il
vient Fa h = 0. Au total
imu Ta V ker Fa .
Les deux membres extrmes de ces inclusions sont des sous-espaces
vectoriels de dimensions p de Rn . Il sont donc gaux.
Le paramtrage (U, ) fournit donc une base de Ta V , savoir
(1 (u), . . . , p (u)) (u = 1 (a))
1. On dit alors que est une courbe de ou trace sur V et passant par a en
t = s.
87
88 5. ESPACE TANGENT
x0 x y0 x z0 x
+ 2 2 =1
a2 b c
Beaucoup de sortes de surfaces contiennent des droites. Cest en
particulier le cas des cylindres qui, par dfinition, sont des unions de
90 5. ESPACE TANGENT
Voici alors une remarque intressante quon peut faire propos des
droites contenues dans une varit plonge.
Proposition 40. Si une varit plonge V contient une droite D
alors le plan tangent V en chaque point a D contient D.
Dmonstration. La droite est limage dune courbe trace sur V .
Les vecteurs directeurs de D sont donc tangents V en chaque point
D. Par consquent, si a D, alors D Ta V car D est parallle Ta V
et le rencontre en a.
Il rsulte par exemple de cette proprit que le plan tangent en un
point dun hyperbolode une nappe ou dun parabolode hyperbolique
2. LA RGLE DES MULTIPLICATEURS DE LAGRANGE 91
est le plan dtermin par les deux droites contenues dans la surface et
qui passent par ce point.
de u sur V . En particulier
A)
d(u, V ) = kA(A 1 (Au + b)k
92 5. ESPACE TANGENT
5. Cette ingalit classique est plus simple dmontrer grce aux fonctions
convexes.
94 5. ESPACE TANGENT
s
c
i r
Figure 38
Ceci scrit
1
sa 1
ac
grada F = 0
v1 ksak v2 kack
Comme grada F est la direction normale au plan tangent de en a,
nous en dduisons la premire loi :
Le rayon incident, sa, le rayon rfract (ou rflchi),
ac, et la normale au point dincidence la surface de
sparation (au miroir), , sont dans un mme plan.
7. Les angles dincidence, etc. sont ceux que font les rayons correspondants avec
la normale de au point dincidence.
96 5. ESPACE TANGENT
3. Les quadriques
3.1. Premires proprits. Une quadrique de Rn est lensemble
des points de Rn annulant un polynme du second degr. Un tel poly-
nme scrit toujours sous la forme F (x) = Ax.x+2b.x+c, o A est une
application linaire symtrique (cest--dire telle que Ax.y = x.Ay pour
tous x, y Rm ), non nulle, b Rn et c R. On a gradx F = 2(Ax + b).
Proposition 44. Les points a vrifiant Aa+b = 0 sont des centres
de symtrie de la quadrique Q = {x Rn |Ax.x + 2b.x + c = 0}.
Dmonstration. Soit x Q. Son symtrique par rapport a est
2a x. On a
F (2a x) = A(2a x).(2a x) + 2b.(2a x) + c
= 4(Aa + b).(a x) + F (x)
= 0.
En raison de cette proprit, on dit que les solutions de Aa + b = 0 sont
des centres de la quadrique Q. Il en existe si rang(A) = rang((A b)).
Les ellipses, les hyperboles ont exactement un centre chacune. Les
paraboles en sont dpourvues. Les ellipsodes et les hyperbolodes ont
galement un centre chacun, les parabolodes en sont dpourvus. Les
cylindres elliptiques ou hyperboliques ont une droite de centre, etc. 8
Une quadrique dont on retire les centres ventuels est donc une
varit plonge de codimension 1.
Lemme 45. Une droite qui rencontre une quadrique en trois points
distincts est tout entire contenue dans celle-ci.
Dmonstration. Les points dintersection de la droite passant
par a Rn et parallle u, avec la quadrique Q = {x Rn |Ax.x +
2b.x+c = 0} sont les points a+tu, o t dcrit les solutions de lquation
A(a + tu).(a + tu) + 2b.(a + tu) + c = 0,
cest--dire
(Au.u)t2 + [2(Aa + b).u]t + Aa.a + 2b.a + c = 0.
Si elle nest pas identiquement nulle, celle-ci admet au plus deux solu-
tions.
Une quadrique qui contient un de ses centres est un cne dont celui-
ci est un sommet.
est nul. Les coniques pour lesquelles ceci est vrifi sont des couples de
droites. Lorsquelles sont scantes, elles se coupent en un point double.
Lorsquelles sont confondues, tous leurs points sont doubles. Dans R3 ,
deux plans scants ont une droites de points doubles, etc.
Il peut arriver que soit nul sans que Q ait des points doubles.
Cest le cas par exemple de deux droites parallles.
y2
x2 z2
a2
+ b2
+ c2
= 1
x2 y2 z2
a2
+ b2
c2
= 1
x2 y2 z2
= 1
a2 b2 c2
100 5. ESPACE TANGENT
Les deux autres sont des quadriques sans centre : parabolode elliptique
et parabolode hyperbolique dont les quations canoniques sont
( 2 y2
x
a2
+ b2 = 2pz
x2 y2
a2
b2
= 2pz
3. LES QUADRIQUES 101
1. Prambule
Nous allons prsent tudier quelques proprits des hypersurfaces
de R3 , cest--dire ses varits plonges de dimension 2, plus commu-
nment appeles surfaces.
Soit une surface V et un de ses points a.
Il existe un ouvert de V contenant a admettant un paramtrage
: U R2 . Si V = , on dit que V est une portion rgulire de
surface 1. Ici, nous tudions des surfaces un peu plus gnrales puisque
ce sont des unions de portions rgulires de surfaces. Nous noterons
usuellement u, v les arguments de 2. Les drives partielles u et
v forment une base du sous-espace vectoriel directeur de lespace
tangent V en (u, v) :
T(u,v) V =iu , v h
Quitte restreindre , on peut aussi supposer quil est dfini par
une quation cartsienne F : R :
= {x |F (x) = 0}
En tout point x , le gradient de celle-ci est une base de lespace
normal la surface en x, qui est une droite :
Tx V = R gradx F
1.1. Expression locale dune courbe de V . Considrons une
courbe (I, ) de V passant par a en t = s. Par continuit, il existe un
intervalle ouvert J contenant s tel que (J) . On a alors
|J =
o
t J, (t) = 1 ((t))
1. En anglais, on utilise les mots surface patch, nom que lon rserve aussi au
paramtrage dcrivant la portion rgulire de surface.
2. Parfois nous les noterons u1 , u2 afin de pouvoir utiliser le signe de sommation
. Dans ce cas, les drives partielles par rapport ces variables seront notes
1 , 2 .
105
106 6. LA PREMIRE FORME FONDAMENTALE DES SURFACES
Une forme bilinaire sur un espace vectoriel (rel) E est une appli-
cation bilinaire E E R. Les formes fondamentales de V associent
chaque point x de la surface une forme bilinaire sur Tx V 3. Elles
servent tudier localement la surface. La premire permet dintro-
duire les notions mtriques sur la surface et la seconde dvaluer sa
courbure.
3. On devrait dailleurs les appeler plutt champs de formes mais ce nest pas
lusage.
108 6. LA PREMIRE FORME FONDAMENTALE DES SURFACES
pour tous i, j {1, 2}, o les coefficients kij sont dtermins par
X 1
gkl lij = (i gjk + j gik k gij )
l
2
Dmonstration. Comme dj mentionn, nous pouvons de fait
dcomposer ij selon la base (1 , 2 , , N ) de R3 . Nous laissons de
ct les coefficients aij de N . Pour calculer le coefficient kij de k , on
value X
ij .k = gkl lij
l
Remarquons pralablement que
k gij = ki .j + i .kj
En permutant circulairement les indices i, j, k puis en additionnant les
galits obtenues membre membre, il vient
2(ij .k + jk .i + ki .j ) = k gij + i gjk + j gki
La proposition en rsulte immdiatement.
Les coefficients kij sont les symboles de Christoffel de V dans le para-
mtrage .
Les symboles de Christoffel dun cylindre circulaire droit paramtr
par (u, v) 7 (r cos u, r sin u, v) sont nuls. A titre dexercice, le lecteur
dterminera les coefficient de Christoffel pour la sphre paramtre par
(u, v) 7 (r sin u cos v, r sin u sin v, r cos u).
A notre niveau, ceci est plutt une mnmonique de la formule car nous
ne savons pas quel sens attribuer aux symboles ds, du1 , du2 , sens qui
est du ressort du calcul tensoriel.
4. Godsiques
Les godsiques sont aux varits courbes ce que les droites sont aux
espaces euclidiens. Pour les dfinir dans le cas dune surface, nous allons
adopter un point de vue "mcaniste", la mcanique laquelle nous nous
rfrons tant la mcanique classique. Daprs le principe dinertie, un
point matriel qui nest soumis aucune force est anim dun mouve-
ment rectiligne et uniforme. Selon la seconde loi de Newton, lacclra-
tion est proportionnelle la rsultante des forces qui sexercent sur le
point matriel, son acclration est alors nulle. Si ce point est astreint
se dplacer sur une surface, cela revient supposer que cette accl-
ration est normale celle-ci en tout point. En effet, daprs le principe
daction/raction, la force qui pourrait rsulter de cette composante de
lacclration est neurtalise par une raction oppose maintenant le
point sur la surface. Forts de cette image, nous appelons godsique de
toute courbe (I, ) trace sur dont lacclration 00 est constam-
ment normale :
t I, 00 (t) T(t) V
Dans la proposition suivante, les notations sont celles adoptes au pa-
ragraphe prcdent.
Proposition 49. Une courbe (I, = ) de V est une go-
dsique si et seulement si est une solution du systme d quations
diffrentielles
X
00k + (kij ) 0i 0j = 0, k = 1, 2.
ij
4. GODSIQUES 111
Do la proposition.
En posant i = 0i , on transforme le systme dquations ci-dessus
en un systme du premier ordre en les fonctions i et i . Une solution
de ces quations est dtermine par ses conditions initiales. Cela revient
imposer les valeurs de (t) et de (t) en un point t = t0 . On peut
alors tablir la proposition suivante, dont nous ne dtaillerons pas la
dmonstration.
Corollaire 50. Soient a et h Ta . Il existe une seule 5
godsique telle que (0) = a et 0 (0) = h.
Assez curieusement, on retrouve une forme de principe dinertie
pour les godsiques, savoir
Proposition 51. Si (I, ) est une godsique de , alors k 0 k est
constant.
Dmonstration. En effet, la drive de k 0 k2 est 2 0 . 00 . Elle est
donc nulle puisque 00 est normal V en et 0 lui est tangent en ce
point.
Le mouvement le long dune godsique est donc uniforme
puisque sa vitesse linaire est constante. De plus, cette proprit si-
gnifie que le paramtre t dont dpend une godsique est un multiple
constant dune abscisse curviligne. Dailleurs, il est clair que, r tant
un nombre non nul, (t) est une godsique si et seulement si (rt) en
est une.
Sur un cylindre circulaire droit, les godsiques dessinent des h-
lices circulaires. Cela rsulte du fait que dans le paramtrage rappel
plus haut, les symboles de Christoffel sont nuls. En particulier les g-
nratrices et les cercles contenus dans les plans perpendiculaires aux
gnratrices sont des godsiques. En droulant le cylindre sur un de
ses plans tangents, on voit que ses godsiques tracent des droites du
5. Lunicit nest garantie que pour les godsiques maximales, cest--dire d-
finies sur un intervalle I maximal.
112 6. LA PREMIRE FORME FONDAMENTALE DES SURFACES
Ils sont reprsents sur la figure 43 ainsi que les arcs de courbes de V
A
C
Figure 43
qui les joignent et qui sont obtenus en laissant varier un des arguments
de . Par exemple, larc joignant A et B est la trace de
[u, u + s] 7 (, v) V
Ces arcs dlimitent comme une maille sur V . La figure montre aussi
les triangles ABD et BCD. La somme I des aires de ceux-ci est une
approximation de celle de la maille, dautant meilleure que celle-ci est
petite (disons que t, s sont petits).
La proprit suivante est la notion daire ce que la Proposition 4,
page 23, est celle de longueur darc et va nous fournir un argument
lappui de la dfinition de la notion daire sur les surfaces.
Proposition 52. Soient une partie compacte K de U et, pour
chaque entier positif m, un rseau Rm de R2 dont le diamtre des
114 6. LA PREMIRE FORME FONDAMENTALE DES SURFACES
P P!
Figure 45
Figure 46
CHAPITRE 7
Figure 47
h
N
a
Wa (h)
Figure 48
1. LAPPLICATION DE WEINGARTEN ET LA SECONDE FORME . . . 121
2. Courbures
Nous allons essayer dapprhender la forme locale dune surface
laide des courbures de certaines courbes traces sur elle. Voici un
premier thorme qui nous guidera vers la notion de courbure normale
puis, finalement, vers la courbure de Gauss.
Nous continuons dutiliser les notations de la section prcdente.
n
N
Figure 49
E
P
H
129