Université Paris-Sud XI

COURBES ET SURFACES

Amaury Freslon

2017 – 2018
 AVANT-PROPOS

Ce document est un support pour le cours MATH213 intitulé Courbes et surfaces de

l’Université Paris-Sud pour l’année 2017-2018. Toutes les figures planes ont été réalisées à
l’aide de GeoGebra. Quant aux surfaces, elles sont issues de la bibliothèque 3D-XploreMath.
Table des matières

1 Courbes planes 1
1.1 Arcs paramétrés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.2 Changement de paramétrage . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Branches infinies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Asymptotes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.2 Branches paraboliques . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Étude locale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.2 Points singuliers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4 Plan d’étude d’une courbe paramétrée . . . . . . . . . . . . . . . . . . . . . 13
1.5 Courbure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5.1 Cercle osculateur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5.2 Propriétés de la courbure . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6 Longueur d’une courbe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.6.1 Approximation polygonale . . . . . . . . . . . . . . . . . . . . . . . . 18
1.6.2 Propriétés de la longueur . . . . . . . . . . . . . . . . . . . . . . . . 20
1.6.3 Paramétrage par longueur d’arc . . . . . . . . . . . . . . . . . . . . . 21
1.6.4 Courbes régulières isométriques . . . . . . . . . . . . . . . . . . . . . 22
1.7 Autres types de paramétrisations . . . . . . . . . . . . . . . . . . . . . . . . 24
1.7.1 Paramétrisation polaire . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.7.2 Graphes d’une fonction . . . . . . . . . . . . . . . . . . . . . . . . . 25
Coordonnées cartésiennes . . . . . . . . . . . . . . . . . . . . . . . . 25
Coordonnées polaires . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

2 Coniques 29
2.1 Définition par foyer et directrice . . . . . . . . . . . . . . . . . . . . . . . . 30
2.1.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.1.2 Classification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
Parabole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Hyperbole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
Ellipse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.1.3 Coniques à centre . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.2 Courbes du second degré . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.2.1 Réduction de l’équation quadratique . . . . . . . . . . . . . . . . . . 41
Première étape . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Deuxième étape . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.2.2 Cas dégénérés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.2.3 Cas non-dégénérés . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Parabole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
iv Table des matières

Hyperbole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Ellipse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.2.4 Discriminant et trace . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.3 Sections coniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.3.1 Équation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.3.2 Classification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.3.3 Foyer et directrice . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

3 Surfaces 53
3.1 Nappes paramétrées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.1.1 Rappels sur les fonctions de deux variables . . . . . . . . . . . . . . 54
3.1.2 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.1.3 Changement de paramétrage . . . . . . . . . . . . . . . . . . . . . . 57
3.2 Étude locale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.2.1 Plan tangent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.2.2 Vecteur normal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.2.3 Nappes régulières . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.3 Courbes sur une surface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.3.1 Vecteurs tangents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.3.2 Courbure normale . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.4 Courbure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.4.1 Courbure de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.4.2 Position par rapport au plan tangent . . . . . . . . . . . . . . . . . . 69
3.4.3 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.4.4 Courbure et déterminant . . . . . . . . . . . . . . . . . . . . . . . . 72
3.5 Aire d’une surface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
3.5.1 Approximation par des parallélogrammes . . . . . . . . . . . . . . . 74
3.5.2 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.5.3 Lien avec la première forme fondamentale . . . . . . . . . . . . . . . 78
3.6 Surfaces définies par une équation . . . . . . . . . . . . . . . . . . . . . . . 79
3.6.1 Graphe d’une fonction . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.6.2 Paramétrage local . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
3.6.3 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.7 Variétés différentielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.7.1 Cartes et atlas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.7.2 Qu’est-ce qu’une surface ? . . . . . . . . . . . . . . . . . . . . . . . . 87
Chapitre 1

Courbes planes
2 Chapitre 1. Courbes planes

Dans ce premier chapitre nous allons étudier les courbes planes, c’est-à-dire les courbes
tracées dans un plan. La géométrie affine est donc le cadre naturel dans lequel nous allons
travailler. C’est la raison pour laquelle nous rappelons quelques éléments concernant le
plan affine. L’ensemble R2 peut être considéré comme un espace vectoriel de dimension
2 appelé plan vectoriel, ses éléments étant alors des vecteurs. Cependant, on peut
également le voir comme un espace affine appelé plan affine. Dans ce cas, les éléments de
R2 sont des points. À deux points A et B du plan affine est associé un vecteur du plan
−−→
vectoriel noté AB. Réciproquement, si A est un point du plan affine et si ~u un vecteur du
−−→
plan vectoriel, il existe un unique point B du plan affine tel que AB = ~u. On pourra alors
écrire
B = A + ~u.
Pour décrire un vecteur, il suffit d’une base de l’espace vectoriel, qui sera constituée de
deux vecteurs ~i et ~j non colinéaires. Pour repérer un point dans le plan affine, nous aurons
besoin d’un repère constitué d’un point O et d’une base (~i, ~j) de l’espace vectoriel. Un tel
repère sera en général noté R = (O,~i, ~j). Si A est un point du plan, ses coordonnées (x, y)
dans le repère R vérifient
−→
OA = x~i + y~j.
Dans le plan vectoriel, on dispose de la norme euclidienne k · k pour mesurer les vecteurs.
Dans le plan affine, on utilise la distance euclidienne pour mesurer la distance entre deux
points selon la formule suivante :
−−→
d(A, B) = AB .

Si un repère orthonormé est fixé, la distance entre le point de coordonnées (x1 , y1 ) et le

point de coordonnées (x2 , y2 ) est donc
q
(x1 − x2 )2 + (y1 − y2 )2 .

Dans la suite, nous utiliserons la notation R2 pour désigner indifféremment le plan vectoriel
et le plan affine (qui sera simplement appelé plan). Si une base et un repère correspondant
sont fixés, tout couple de réels peut désigner un vecteur ou un point. Afin d’éviter les
confusions, nous noterons toujours les vecteurs avec une flèche. De plus, les coordonnées
d’un point seront écrite en ligne, par exemple (x, y), ! tandis que les coordonnées d’un
x
vecteur seront écrites en colonnes, par exemple .
y

1.1 Arcs paramétrés

1.1.1 Définition
Définir mathématiquement ce qu’est une courbe n’est pas évident. Il s’agit bien sûr
d’une partie du plan, mais comment décrire le fait qu’elle un objet "à une dimension" ?
Comment caractériser son caractère lisse ou régulier ? L’idée fondamentale de la géométrie
différentielle qui va nous guider ici est d’aborder les courbes d’un point de vue analytique,
en les voyant comme des images de fonctions de R and R2 . C’est pourquoi la notion
fondamentale qui va nous intéresser est la suivante :
Définition 1.1.1. Un arc paramétré de classe C k est une application

γ : I −→ R2

de classe C k , où I est un intervalle de R et R2 désigne le plan affine. L’image de γ est

appelée support de γ (ou parfois support géométrique de γ). On appelle courbe (ou courbe
1.1. Arcs paramétrés 3

paramétrée) du plan de classe C k tout support d’un arc paramétré de classe C k . Étant
donnée une courbe C du plan, on appelle paramétrage de C tout arc paramétré dont le
support est C .

Remarque 1.1.2. Cette définition peut s’interpréter "physiquement" de la façon suivante :

on considère un point se déplaçant dans le plan au cours du temps. À l’instant t, sa position
est γ(t) et le support de l’arc est la trajectoire complète du point.

Remarque 1.1.3. Pour des raisons de simplicité, nous supposons dans la Définition 1.1.1
que l’ensemble de définition de γ est un intervalle. Il pourrait être plus naturel d’autoriser
des ensembles de définition plus généraux, par exemple pour étudier l’arc paramétré défini
par
1 1
 
γ : t 7→ , .
1−t 1+t
Cependant, il suffira dans ce cas d’écrire l’ensemble de définition comme réunion disjointe
d’intervalles et d’étudier l’arc paramétré sur chacun de ces intervalles.

Exemple 1.1.4. Soient a, b ∈ R et ~v un vecteur. On définit un arc paramétré γ : R → R2

par
γ(t) = (a, b) + t~v .
Il s’agit d’un arc de classe C ∞ dont le support est la droite dirigée par ~v et passant par
le point de coordonnées (a, b). Notons que (a, b) = γ(0), donc γ(t) = γ(0) + t~v . Plus
généralement, pour tout t0 dans R on a

γ(t) = (a, b) + t0~v + (t − t0 )~v

= γ(t0 ) + (t − t0 )~v .

Fixons un repère R = (O,~i, ~j) du plan. Alors, un arc paramétré est donné par deux
fonctions x, y : I → R via la décomposition

γ(t) = (x(t), y(t)).

De plus, γ est de classe C k si et seulement si x et y sont de classe C k . Les fonctions x et y

seront appelées coordonnées cartésiennes de γ. Nous utiliserons souvent cette description
dans la suite, la plupart du temps en ne précisant pas le repère R, qui sera alors le repère
canonique de R2 , à savoir
! !!
1 0
Rcan = (0, 0), , = (O,~i, ~j).
0 1

Exemple 1.1.5. Soient a, b ∈ R et R > 0. On définit un arc paramétré γ : R → R2 par

γ(t) = (a + R cos(t), b + R sin(t))

= (a, b) + R cos(t)~i + R sin(t)~j.

Il s’agit d’un arc de classe C ∞ dont le support est le cercle de centre (a, b) et de rayon R.

Dans l’exemple précédent, la fonction γ est 2π-périodique. Elle repasse donc plusieurs
fois par le même point du plan. Il s’agit là d’un phénomène important.

Définition 1.1.6. Soit γ : I → R2 un arc paramétré. Un point M du support de γ est

dit multiple s’il existe t, t0 ∈ I tels que t 6= t0 et γ(t) = M = γ(t0 ).
4 Chapitre 1. Courbes planes

Dans l’exemple 1.1.5, tous les points sont multiples mais ceci n’est du qu’à la périodicité
du paramétrage. La restriction de γ à l’intervalle [0, 2π[, elle, est injective et l’arc paramétré
γ|[0,2π[ n’a donc pas de point multiple. Le cercle est un exemple de courbe simple au sens
suivant :

Définition 1.1.7. Un arc paramétré γ : I → R2 est dit simple si γ est injectif. Une courbe
C est dite simple si elle admet un paramétrage simple.

Il existe des courbes qui ne sont pas simples, c’est-à-dire qui n’admettent pas de para-
métrage injectif.

Exemple 1.1.8. Soit γ : [0, 2π] → R2 l’arc paramétré de classe C ∞ défini par

γ(t) = (cos(t) + 2 cos(t)2 , sin(t) + 2 cos(t) sin(t)).

Alors, γ(2π/3) = (0, 0) = γ(4π/3). Cependant, la courbe n’a pas la même "direction"
(ce terme peut être rendu rigoureux grâce à la notion de tangente que nous introduirons
ultérieurement) quand elle passe par l’origine à ces deux instants et il faut donc passer
deux fois par l’origine pour décrire toute la courbe.

Un point multiple qu’on ne peut faire disparaître en changeant le paramétrage est

parfois appelé une auto-intersection de la courbe. Il n’est pas évident de définir géomé-
triquement l’auto-intersection. Une intuition topologique pourrait être la suivante : un
point M ∈ C est une auto-intersection si aucun voisinage de M dans C (pour la topologie
induite par R2 ) n’est homéomorphe à un intervalle. Du point de vue du paramétrage, une
auto-intersection est un point au voisinage duquel γ n’est pas un homéomorphisme local.

1.1.2 Changement de paramétrage

Il faut être attentif à ne pas confondre l’arc paramétré, qui est une fonction, et la courbe,
qui est une partie du plan. Une courbe donnée admet une infinité de paramétrages et il est
parfois utile de pouvoir choisir un paramétrage particulier. Pour cela, nous allons définir
une notion de changement de paramétrage. Rappelons que si I et J sont des intervalles de
R, un C k -difféomorphisme de J vers I est une application ϕ : J → I telle que
• ϕ est de classe C k .
1.2. Branches infinies 5

• ϕ est bijective.
• ϕ−1 est de classe C k .
Définition 1.1.9. Soit γ : I → R2 un arc paramétré et soit J un intervalle de R. Un
changement de paramétrage de classe C k est un C k -difféomorphisme ϕ : J → I. L’arc
ψ = γ ◦ ϕ : J → R2 est appelé arc reparamétré par ϕ.
Un arc reparamétré peut parfois avoir une forme plus simple qui permet alors d’iden-
tifier son support.
Exemple 1.1.10. Considérons l’arc paramétré γ : R∗+ → R2 défini en coordonnées carté-
siennes par
γ(t) = (t2 , 2 log(t))
√
La fonction t 7→ t est un C ∞ -difféomorphisme de R∗+ vers R∗+ que nous noterons ϕ. L’arc
reparamétré par ϕ est
√ √
γ ◦ ϕ(t) = (( t)2 , 2 log( t)) = (t, log(t)).
On voit ainsi que le support de γ est le graphe de la fonction logarithme.
Dans la suite, nous allons étudier plusieurs propriétés des courbes du plan en utilisant
leur paramétrage. Toutefois, pour qu’une propriété aie vraiment un sens géométrique, il ne
faut pas qu’elle dépende du paramétrage. C’est pourquoi nous appelerons géométriques
les propriétés d’un arc paramétré qui sont invariantes par changement de paramétrage.
Pour conclure cette section, nous donnons un critère qui sera utilisé plus tard pour montrer
qu’une fonction est un difféomorphisme.
Proposition 1.1.11. Soit ϕ : I → J une application bijective de classe C k telle que
ϕ0 (t) 6= 0 pour tout t ∈ I. Alors, ϕ est un C k -difféomorphisme.
Démonstration. Comme ϕ0 ne s’annule pas sur I, on sait que ϕ−1 est dérivable et que sa
dérivée au point s ∈ J est
1
(ϕ−1 )0 (s) = 0 . (1.1)
ϕ ◦ ϕ−1 (s)
Nous allons maintenant procéder par récurrence sur k. Si ϕ est de classe C 1 , alors ϕ0 est
continue donc, d’après l’équation (1.1), (ϕ−1 )0 est continue, ce qui signifie que ϕ−1 est de
classe C 1 . Supposons le résultat vrai pour un entier k > 1 et considérons ϕ de classe C k+1 .
En particulier, ϕ est de classe C k donc par hypothèse de récurrence ϕ−1 est de classe C k . Il
s’ensuit d’après l’équation (1.1) que (ϕ−1 )0 est de classe C k et donc que ϕ−1 est de classe
C k+1 .
Signalons aussi que réciproquement, pour tout difféomorphisme ϕ : J → I et tout
s ∈ J, ϕ0 (s) 6= 0.

1.2 Branches infinies

Soit γ : I → R2 un arc paramétré. Nous allons dans cette section commencer notre
étude de γ par son comportement asymptotique. Nous nous intéressons donc à la façon
dont le support de γ se comporte vers l’infini, c’est à dire quand t tend vers une des
extrémités de I. Dans la suite, les extrémités d’un intervalle peuvent être ±∞.
Définition 1.2.1. Soit γ : I → R2 un arc paramétré et soit t0 une extrémité de I. Le
support de l’arc paramétré γ possède une branche infinie quand le paramètre tend vers t0
si
kγ(t)k2 = x(t)2 + y(t)2 −→ +∞.
t→t0
Il existe deux types de branches infinies, que nous allons maintenant étudier.
6 Chapitre 1. Courbes planes

1.2.1 Asymptotes
Une asymptote est une droite fixée dont la branche infinie se rapproche. Pour donner
une définition rigoureuse de cet objet, rappelons la notion de distance à une droite dans
R2 . Soit M un point du plan et soit D une droite. La distance de M à D est définie comme
−−→
d(M, D) = P M ,

où P est le projeté orthogonal de M sur D.

Définition 1.2.2. Soit D une droite. On dit que le support de γ admet D comme asymp-
tote quand t tend vers t0 si
d(γ(t), D) −→ 0.
t→t0

Cette définition géométrique a l’inconvénient de n’être pas facile à vérifier en pra-

tique. Nous allons donc donner une caractérisation équivalente en termes de coordonnées
cartésiennes de γ.

Proposition 1.2.3. Soit D une droite d’équation ax + by = c. Le support de γ admet D

comme asymptote quand t tend vers t0 si et seulement si

ax(t) + by(t) −→ c.
t→t0

→
−
Démonstration. Soit N le vecteur de coordonnées (a, b). Si M = (x1 , y1 ) et M 0 = (x2 , y2 )
sont des points de D, on a

−−−→0 →
−

MM , N = a(x1 − x2 ) + b(y1 − y2 )
= (ax1 + by1 ) − (ax2 + by2 )
= c−c
= 0.
1.2. Branches infinies 7

→
−
Ainsi, N est un vecteur normal à D. Considérons maintenant le point γ(t) et P son
projeté orthogonal sur D, dont les coordonnées serons notées (α, β). Par définition du
−−−→ →
−
projeté orthogonal, le vecteur P γ(t) est colinéaire à N , donc
D−−−→ →
−E
−−−→ P γ(t), N
P γ(t) = →
−
N
|a(x(t) − α) + b(y(t) − β)|
= √ .
a2 + b2
Comme P appartient à D, aα + bβ = c, d’où
−−−→ 1
P γ(t) = √ |ax(t) + by(t) − c| .
a + b2
2

−−−→
Donc, P γ(t) tend vers 0 si et seulement si |ax(t) + by(t) − c| tend vers 0.

Ce résultat permet de constater que les asymptotes sont des propriétés géométriques
au sens où elles sont invariantes par changement de paramétrage. En effet, si ϕ : J → I
est un changement de paramétrage de classe C k et si s0 = ϕ−1 (t0 ), ψ = γ ◦ ϕ a une
branche infinie en s0 si et seulement si γ à une branche infinie en t0 . De plus, en posant
ψ(s) = (xψ (s), yψ (s)), on a

lim axψ (s) + byψ (s) = lim ax(t) + by(t).

s→s0 t→t0

La Proposition 1.2.3 peut se décliner en différents critères en fonction de l’équation de

la droite :
• Si
lim x(t) = ±∞ et lim y(t) = c,
t→t0 t→t0

la courbe possède une asymptote horizontale quand le paramètre tend vers t0 d’équa-
tion y = c.
• Si
lim y(t) = ±∞ et lim x(t) = c,
t→t0 t→t0

la courbe possède une asymptote verticale quand le paramètre tend vers t0 d’équation
x = c.
• Si
lim y(t) − ax(t) = c,
t→t0

la courbe possède une asymptote oblique quand le paramètre tend vers t0 d’équation
y = ax + c.

1.2.2 Branches paraboliques

Si une branche infinie n’est pas une asymptote, on dit que c’est une branche parabolique.
Attention, la terminologie est trompeuse : nous n’affirmons pas que la courbe se rapproche
d’un arc de parabole fixé, mais simplement qu’elle ne se comporte pas comme une droite.
À nouveau, on peut distinguer plusieurs types de branches paraboliques.
• Si
y(t)
lim = 0,
t→t0 x(t)
la courbe possède une branche parabolique dans la direction ~i.
8 Chapitre 1. Courbes planes

• Si
y(t)
lim = ±∞,
t→t0 x(t)
la courbe possède une branche parabolique dans la direction ~j.
• Si
y(t)
lim = a 6= 0 et lim y(t) − ax(t) = ±∞,
t→t0 x(t) t→t0

la courbe possède une branche parabolique dans la direction y = ax.

1.3 Étude locale

Dans cette section, nous allons entamer l’étude dite locale de la courbe. Cela signifie
que nous allons nous intéresser au comportement de la courbe au voisinage d’un point
fixé. Il y a essentiellement deux notions qui entrent en jeu : la tangente et la courbure.
Nous allons nous concentrer pour l’instant sur la première, la seconde faisant l’objet de la
section 1.5. Rappelons que si I est un intervalle, un point t ∈ I est dit intérieur s’il n’est
pas une des extrémités de I.

1.3.1 Tangente
Soit γ : I → R2 un arc de classe C 1 et soit t0 ∈ I un point intérieur. Intuitivement,
la tangente à la courbe en un point est la droite (si elle existe) qui approche le mieux la
courbe en ce point. Notre but est de déterminer à quelle condition une telle droite existe et
comment la décrire. Dans le cas d’une fonction d’une variable réelle f : R → R, la tangente
est donnée par la fonction dérivée de f , ou plus précisément par son développement limité
à l’ordre 1. Considérant l’arc paramétré γ en coordonnées cartésiennes, nous commençons
donc par écrire les développements limités à l’ordre 1 des fonctions x et y :
(
x(t) = x(t0 ) + x0 (t0 )(t − t0 ) + (t − t0 )εx (t − t0 )
y(t) = y(t0 ) + y 0 (t0 )(t − t0 ) + (t − t0 )εy (t − t0 )

avec εx (t), εy (t) → 0 quand t → 0. Ces équations permettent d’obtenir un analogue du

développement limité pour la fonction γ :
!
x0 (t0 ) + εx (t − t0 )
γ(t) = (x(t0 ), y(t0 )) + (t − t0 )
y 0 (t0 ) + εy (t − t0 )
! !
x0 (t0 ) εx (t − t0 )
= γ(t0 ) + (t − t0 ) + (t − t0 )(t − t0 )
y 0 (t0 ) εy (t − t0 )
= γ(t0 ) + (t − t0 )→
−
γ 0 (t0 ) + (t − t0 )→
−
ε (t − t0 )
→
−
= ψ(t) + (t − t ) ε (t − t )
0 0

où l’on a posé ψ(t) = γ(t0 ) + (t − t0 )→ −γ 0 (t0 ). Comme le suggère la notation, nous considé-
→
− 0
rerons désormais γ (t0 ) comme un vecteur, appelé vecteur tangent à la courbe au point
γ(t0 ). Supposons que →
−γ 0 (t0 ) 6= ~0. Alors, d’après l’Exemple 1.1.4, le support de l’arc para-
métré ψ est la droite dirigée par → −γ 0 (t0 ) et passant par γ(t0 ). Comme

d(γ(t), ψ(t)) = k(t − t0 )→

−
ε (t − t0 )k −→ 0,
t→t0

on peut dire que cette droite approche le support de γ au voisinage de t0 . Cette observation
conduit à la définition de la tangente.
1.3. Étude locale 9

Définition 1.3.1. Un point de paramètre t0 ∈ I intérieur à I est dit régulier si → −γ 0 (t0 ) 6= ~0.
Dans ce cas, la tangente à la courbe en ce point est la droite dirigée par →
−
γ 0 (t0 ) et passant
2
par γ(t0 ). Un arc paramétré γ : I → R est régulier si tout t ∈ I intérieur à I est régulier.
Exemple 1.3.2. Considérons l’arc paramétré γ : t 7→ (a, b) + t~v de l’exemple 1.1.4. En
posant ~v = (vx , vy ), on a de façon immédiate
(
x0 (t) = vx
y 0 (t) = vy
Donc, →
−
γ 0 (t) = ~v et le support de γ est sa propre tangente en tout point.
Exemple 1.3.3. Considérons l’arc paramétré γ : t 7→ (a + R cos(t), b + R sin(t)) de
l’exemple 1.1.5. On a (
x0 (t) = −R sin(t)
y 0 (t) = R cos(t)
!
−−−→ R cos(t)
Soit C le point de coordonnées (a, b). Alors, le vecteur Cγ(t) a pour coordonnées ,
R sin(t)
donc
D−−−→
Cγ(t), →
−
E
γ 0 (t) = −R2 cos(t) sin(t) + R2 sin(t) cos(t)
= 0.
−−−→
Ainsi, le vecteur tangent au point γ(t) est orthogonal à Cγ(t), donc la tangente en ce point
est bien la tangente usuelle au cercle.

Exemple 1.3.4. Soit f : I → R une fonction de classe C 1 et soit γf : I → R2 l’arc

paramétré défini par
γf (t) = (t, f (t)).
Le support de γ est le graphe de f . On a →
f
−γ 0 (t) = (1, f 0 (t)) et la tangente au point γ (t )
f f 0
a pour paramétrage
t 7→ (t0 , f (t0 )) + (t − t0 )(1, f 0 (t0 ))
= t, f (t0 ) + (t − t0 )f 0 (t0 ) .


10 Chapitre 1. Courbes planes

On retrouve la notion usuelle de tangente à la courbe représentative de f au point d’abs-

cisse t0 .

La tangente est a priori un objet de nature géométrique et ne devrait par conséquent

pas dépendre du paramétrage. Comme expliqué au début de ce chapitre, nous allons
donc montrer que si l’on effectue un changement de paramétrage, la tangente reste la
même. Remarquons avant cela qu’un point régulier reste régulier après un changement de
paramétrage.

Proposition 1.3.5. La tangente est invariante par changement de paramétrage.

Démonstration. Soit ϕ un changement de paramétrage de classe C k , et soit ψ = γ ◦ ϕ l’arc

reparamétré par ϕ. Soit t0 ∈ I tel que γ(t0 ) est régulier et s0 = ϕ−1 (t0 ), on a

→
−0
ψ (s0 ) = ϕ0 (s0 )→
−
γ 0 ◦ ϕ(s0 )
= ϕ0 (s )→
0
−
γ 0 (t ).
0

Un paramétrage de la tangente au point ψ(s0 ) = γ(t0 ) est donc

→
−
s 7→ ψ(s0 ) + (s − s0 ) ψ 0 (s0 )
= γ(t0 ) + (ϕ(t) − ϕ(t0 ))ϕ0 (s0 )→
−
γ 0 (t0 ).

Comme ϕ est un difféomorphisme, ϕ0 (s0 ) 6= 0 donc le point ψ(s0 ) est régulier. De plus,
la tangente est une droite passant par γ(t0 ) et dirigée par →
−
γ 0 (t0 ), donc elle est confondue
avec la tangente calculée à partir de γ.

Nous avons défini la tangente par un point et un vecteur directeur, mais une droite
peut également être décrite par une équation cartésienne. Nous allons donc maintenant
établir une équation de la tangente.

Proposition 1.3.6. Soit γ : I → R2 un arc paramétré de classe C 1 et soit t0 ∈ I un

paramètre d’un point régulier. Alors, la tangente au support de γ au point γ(t0 ) a pour
équation
y 0 (t0 )(x − x(t0 )) − x0 (t0 )(y − y(t0 )) = 0
!
−y 0 (t0 )
Démonstration. Soit ~u le vecteur de coordonnées . Alors,
x0 (t0 )

~u, →
−
γ 0 (t0 ) = 0

donc un pointD M de coordonnées (x, y) appartient à la tangente à la courbe en γ(t0 ) si et

−−−−−→E
seulement si ~u, M γ(t0 ) = 0. Explicitons ce produit scalaire :

D −−−−−→E
0 = ~u, M γ(t0 )
= −y 0 (t0 )(x(t0 ) − x) + x0 (t0 )(y(t0 ) − y)
= y 0 (t0 )(x − x(t0 )) − x0 (t0 )(y − y(t0 ))

d’où le résultat.
1.3. Étude locale 11

1.3.2 Points singuliers

Quand → −
γ 0 (t0 ) s’annule, on dit que le point γ(t0 ) est singulier. Dans ce cas, le rai-
sonnement précédent pour définir la tangente ne fonctionne plus. Cependant, l’équation
de la tangente a été obtenue en utilisant le développement limité de γ à l’ordre 1. Pour
étudier le comportement de la courbe au voisinage d’un point singulier, il suffit donc de
pousser plus loin le développement limité. Dans la suite, on notera p le plus petit entier tel
que γ (p) (t0 ) 6= 0. Par analogie avec le cas des points réguliers, on peut poser la définition
suivante.

Définition 1.3.7. Soit γ(t0 ) un point singulier. La tangente au support de γ au point

γ(t0 ) est la droite passant par γ(t0 ) et dirigée par →
−
γ (p) (t0 ).

Remarquons que dans ce cas un paramétrage de la tangente au point γ(t0 ) est donné
par
(t − t0 )p →
−
t 7→ γ(t0 ) + γ (p) (t0 )
p!
qui est donc une demi-droite si p est pair. Dans ce cas, parler de tangente est incorrect
puisqu’on a en fait un point dit de rebroussement. Cette notion de tangente est insuffisante
pour décrire la courbe au voisinage du point. Pour préciser le comportement, il nous faut
une seconde direction. Notons q le plus petit entier tel que les vecteurs →
−
γ (p) (t0 ) et →
−
γ (q) (t0 )
ne sont pas colinéaires et notons X(t) et Y (t) les coordonnées de γ(t) dans le repère

Rt0 = (γ(t0 ), →
−
γ (p) (t0 ), →
−
γ (q) (t0 )).

Nous souhaitons étudier les fonctions X et Y au voisinage de t0 .

Proposition 1.3.8. On a les développement limités suivants :

(t − t0 )p

 X(t) =

 + o((t − t0 )p )
p!
(t − t0 )q
 Y (t) = + o((t − t0 )q )


q!

Démonstration. Par hypothèse, le développement limité de γ en t0 s’écrit

(t − t0 )p →
− (t − t0 )q →
−
γ(t) = γ(t0 ) + γ (p) (t0 ) + · · · + γ (q) (t0 ) + o((t − t0 )q ).
p! q!

Par définition du repère, la seconde coordonnée donne

(t − t0 )q
Y (t) = + o((t − t0 )q ).
q!

Quant à la première coordonnée, tous les termes d’ordre strictement supérieur à p sont
des o((t − t0 )p ), d’où le résultat.

Ce développement limité permet de décrire l’allure de la courbe en fonction des entiers

p et q.

• Si p est impair et q pair, on a un point ordinaire.

12 Chapitre 1. Courbes planes

• Si p est impair et q impair, on a un point d’inflexion.

• Si p est pair et q impair, on a un point de rebroussement de première espèce.

1.4. Plan d’étude d’une courbe paramétrée 13

• Si p est pair et q pair, on a un point de rebroussement de seconde espèce.

L’étude précédente a aussi un sens quand le point est régulier. Dans ce cas, p = 1
et on ne peut donc pas avoir de point de rebroussement. La parité de q permet alors de
connaître la position de la courbe par rapport à sa tangente. En effet, si q est pair alors la
courbe reste toujours du même côté de sa tangente tandis que si q est impair, la courbe
traverse sa tangente.

1.4 Plan d’étude d’une courbe paramétrée

Nous avons maintenant les outils pour étudier des arcs paramétrés du plan. Un telle
étude se fait par étapes suivant le plan suivant :

1. Réduction de l’intervalle d’étude.

2. Etude des branches infinies.
3. Tableau de variation des coordonnées cartésienne.
4. Etude des points singuliers.
5. Représentation graphique (à main levée). Il peut être utile ici de calculer les coor-
données de certains points particuliers ainsi que les tangentes en ces points.

1.5 Courbure
Au voisinage d’un point régulier, nous savons décrire la courbe en l’approchant par
une droite. Cette droite nous donne des informations sur la vitesse et le sens de parcours.
Toutefois, si la courbe n’est pas une droite elle tourne dans le plan au cours du temps, et
la tangente ne nous donne aucune information sur ce mouvement de rotation. Pour tenter
de comprendre ce phénomène, nous allons maintenant essayer d’approcher la courbe par
un cercle.
14 Chapitre 1. Courbes planes

1.5.1 Cercle osculateur

Soit γ : I → R2 un arc paramétré et soit t0 ∈ I tel que γ(t0 ) soit un point régulier. On
cherche un cercle qui approche la courbe le mieux possible au voisinage de γ(t0 ). Un tel
cercle doit passer par le point γ(t0 ) et devrait avoir pour tangente en γ(t0 ) la tangente à
la courbe. Pour exprimer ceci plus précisément, posons
→
− →
−
γ 0 (t0 )
T (t0 ) = →−
k γ 0 (t )k
0

qui est un vecteur de norme 1. Ce vecteur dirige la tangente à la courbe au point γ(t0 ), et
nous voulons le compléter en un repère du plan adapté à l’étude de la courbe au voisinage
de γ(t0 ).
→
−
Définition 1.5.1. La normale à la courbe au point γ(t0 ) est le vecteur N (t0 ) image de
→
−
T (t0 ) par la rotation vectorielle d’angle π/2.
Si le cercle que nous cherchons a pour tangente au point γ(t0 ) la tangente à la courbe en
ce même point, cela signifie que son centre est sur la droite perpendiculaire à la tangente
et passant par γ(t0 ). Autrement dit, nous cherchons un cercle dont le centre est sur la
→
−
droite dirigée par N (t0 ) et passant par γ(t0 ). Ceci suggère un repère du plan dans lequel
les calculs seront plus simples.
 →
− →
− 
Définition 1.5.2. Le repère de Frenet au point γ(t0 ) est le repère γ(t0 ), T (t0 ), N (t0 ) .
Notons (X(t), Y (t)) les coordonnées de γ(t) dans le repère de Frenet au point γ(t0 ).
On peut décomposer les vecteurs vitesse et accélération de la courbe dans ce repère de la
façon suivante : (
→
− →
−
γ 0 (t0 ) = δ T (t0 )
→
− →
− →
−
γ 00 (t0 ) = α T (t0 ) + β N (t0 )
Comme pour la tangente, les développements limités des coordonnées vont nous mener à
l’objet que nous cherchons. On a
 
X(t) = X(t0 ) + (t − t0 )X 0 (t0 ) + (t − t0 )2 X 00 (t0 ) + o (t − t0 )2
 
= δ(t − t0 ) + α(t − t0 )2 + o (t − t0 )2
= δ(t − t0 ) + o(t − t0 ).
(t − t0 )2 00
Y (t) = Y (t0 ) + (t − t0 )Y 0 (t0 ) + Y (t0 ) + o((t − t0 )2 ))
2
(t − t0 )2
= β + o((t − t0 )2 )).
2
Soit R le rayon du cercle que nous cherchons. Son centre doit donc avoir pour coordonnées
dans le repère de Frenet (0, R) ce qui donne comme équation dans ce même repère
X 2 + (Y − R)2 = R2 .
En remplaçant X et Y par leurs développement limités on obtient
(t − t0 )2  
X(t)2 + (Y (t) − R)2 = R2 + δ 2 (t − t0 )2 − 2Rβ + o (t − t0 )2
  2  
= R + δ − βR (t − t0 ) + o (t − t0 )2 .
2 2 2

Supposons que β 6= 0. Alors, le cercle qui approche le mieux la courbe est visiblement celui
de rayon
δ2
R= .
β
1.5. Courbure 15

Comme dans le cas de la tangente, nous avons vu apparaître une condition de régularité
nécessaire pour pouvoir approcher la courbe par un cercle. Remarquons que la condition
β 6= 0 est équivalente à la non-colinéarité des vecteurs →
−
γ 0 (t0 ) et →
−
γ 00 (t0 ).

Définition 1.5.3. Un point γ(t0 ) est dit birégulier si les vecteurs → −γ 0 (t0 ) et →
−
γ 00 (t0 ) ne
sont pas colinéaires. Dans ce cas, le cercle de centre (0, R) et de rayon |R| est appelé cercle
osculateur à la courbe au point γ(t0 ). Son centre est appelé centre de courbure au point
γ(t0 ) et son rayon est appelé rayon de courbure au point γ(t0 ).

1.5.2 Propriétés de la courbure

Le rayon de courbure est l’information que nous cherchions sur la façon dont la courbe
tourne. Cependant, nous allons voir qu’il est parfois plus pratique d’étudier l’inverse du
rayon de courbure. Pour cela, donnons-lui d’abord un nom.

Définition 1.5.4. Soit γ : I → R2 un arc paramétré de classe C 2 et soit t0 ∈ I le paramètre

d’un point régulier. La courbure cγ (t0 ) au point γ(t0 ) est égale à l’inverse de R si γ(t0 ) est
birégulier et à 0 sinon.

Il est possible de donner une formule explicite pour calculer la courbure en fonction
du paramétrage.!Rappelons ! qu’étant donné deux vecteurs ~ u et ~v de R2 de coordonnées
a c
respectives et , leur déterminant est donné par
b d

det(~u, ~v ) = ad − bc.

Cette définition utilise les coordonnées des vecteurs dans la base canonique mais son utilité
vient du fait que le déterminant peut être calculé dans n’importe quelle base. Rappelons
qu’une base orthonormée (~v1 , ~v2 ) est dite directe is ~v2 est l’image de ~v1 par la rotation
vectorielle d’angle π/2.
16 Chapitre 1. Courbes planes

Lemme 1.5.5. Soit (~v1 , ~v2 ) une base orthonormée directe de R2 et soient
~u1 = α1~v1 + β1~v2
u~2 = α2~v1 + β2~v2
des vecteurs . Alors,
det(~u1 , ~u2 ) = α1 β2 − β1 α2 .
Démonstration. Notons (x1 , y1 ) et (x2 , y2 ) les coordonnées respectives de ~v1 et ~v2 dans la
base canonique. On a alors
det(~u1 , ~u2 ) = (α1 x1 + β1 x2 )(α2 y1 + β2 y2 ) − (α1 y1 + β1 y2 )(α2 x1 + β2 x2 ).
Nous allons étudier les différent termes séparément :
• Les termes multiples de x1 y1 donnent
α1 α2 − α1 α2 = 0.

• Les termes multiples de x2 y2 donnent

β1 β2 − β2 β1 = 0.

• Les termes multiples de x1 y2 donnent

α1 β2 − β1 α2 .

• Les termes multiples de x2 y1 donnent

β1 α2 − α1 β2 .

On a donc
det(~u1 , ~u2 ) = (α1 β2 − β1 α2 )(x1 y2 − y1 x2 )
= (α1 β2 − β1 α2 ) det(~v1 , ~v2 ).
Comme la base (~v1 , ~v2 ) est orthonormée et directe, on a x2 = −y1 et x1 = y2 , d’où
det(~v1 , ~v2 ) = x21 + y12 = 1,
ce qui conclut la preuve.

Proposition 1.5.6. Soit γ(t0 ) un point régulier, alors

det (→
−
γ 0 (t0 ), →
−
γ 00 (t0 ))
cγ (t0 ) = .
k→
− 3
γ 0 (t0 )k
Démonstration. Si le point γ(t0 ) n’est pas birégulier, le déterminant est nul et cγ (t0 ) = 0.
Nous supposerons donc désormais que le point γ(t0 ) est birégulier et nous nous placerons
dans le repère de Frenet. Comme le repère de Frenet est orthonormé et direct, on peut
calculer le déterminant avec les coordonnées précédentes d’après le Lemme 1.5.5. On a
donc
det (→
−γ 0 (t0 ), →
−
γ 00 (t0 )) 1 δ α
→
− 3 = 3
0
k γ (t0 )k |δ| 0 β
βδ
= 3
|δ|
β 1
= 2 = .
δ R
1.5. Courbure 17

Comme pour la tangente, la courbure est une propriété géométrique de la courbe et

devrait donc être invariante par changement de paramétrage. Ceci n’est vrai qu’au signe
près, ce que nous allons maintenant montrer.

Proposition 1.5.7. Un changement de paramétrage multiplie la courbure par ±1.

Démonstration. Soit ϕ un C k -difféomorphisme et soit ψ l’arc reparamétré par ϕ. Pour

t0 ∈ I, posons s0 = ϕ(t0 ). Il nous faut d’abord calculer les dérivées de ψ, ce qui donne
→
−0
ψ (s0 ) = ϕ0 (s0 )→
−γ 0 ◦ ϕ(s0 )
→
− 00
ψ (s0 ) = ϕ00 (s0 )→
−
γ 0 ◦ ϕ(s0 ) + (ϕ0 (s0 ))2 →
−
γ 00 ◦ ϕ(s0 ).

En utilisant la bilinéarité du déterminant et le fait que le déterminant d’une famille liée

est nul, on voit que
→
− →
−
det ψ 0 (s0 ), ψ 00 (s0 ) = ϕ0 (s0 )ϕ00 (s0 ) det → −
γ 0 ◦ ϕ(s0 ), →−

γ 0 ◦ ϕ(s0 )

+ ϕ0 (s0 )(ϕ0 (s0 ))2 det → −γ 0 ◦ ϕ(s0 ), →−γ 00 ◦ ϕ(s0 )

= (ϕ0 (s ))3 det → −γ 0 (t ), →

−
γ 00 (t ) ,


0 0 0

d’où
→
− →
− 
det ψ 0 (s0 ), ψ 00 (s0 )
cψ (t0 ) = →
−0 3
ψ (s0 )
(ϕ0 (s0 ))3 det (→
−
γ 0 (t0 ), →
−
γ 00 (t0 ))
=
|ϕ0 (s )|3 k→− 3
γ 0 (t )k
0 0
3
ϕ0 (s 0)

= cγ (t0 ).
|ϕ0 (s 0 )|

Un changement de paramétrage étant un difféomorphisme, il est strictement monotone,

donc sa dérivée est de signe constant. Ainsi on a soit cψ (t0 ) = cγ (t0 ) en tout point soit
cψ (t0 ) = −cγ (t0 ) en tout point.

Le signe de la courbure permet de savoir dans quel sens tourne la courbe. Pour voir
cela, plaçons-nous dans le repère de Frenet. Le sens de rotation de la courbe dépend alors
de la composante normale de l’accélération, qui est exactement donnée par la courbure.

Proposition 1.5.8. Si le point γ(t0 ) est régulier, alors

→
− →
−
γ 00 (t0 ), N (t0 ) = c(t0 ) →
−
D E
2
γ 0 (t0 ) .

→
−
Démonstration. Dans le repère canonique R, le vecteur T (t0 ) a pour coordonnées
!
1 x0 (t0 )
→
− ,
0
k γ (t0 )k y 0 (t0 )

→
−
donc le vecteur N (t0 ) a pour coordonnées
!
1 −y 0 (t0 )
.
0
kγ (t0 )k x0 (t0 )
18 Chapitre 1. Courbes planes

D’où
D
→
− →
− E 1
γ 00 (t0 ), N (t0 ) = −x00 (t0 )y 0 (t0 ) + y 00 (t0 )x0 (t0 )


→
− 0
k γ (t0 )k
det (→ −
γ 0 (t0 ), →
−
γ 00 (t0 ))
= →
−
k γ 0 (t0 )k
→
−
= c(t0 )k γ 0 (t0 )k2 .

Nous pouvons maintenant interpréter le signe de la courbure.

• Si c(t0 ) > 0, la courbe tourne en sens direct.
• Si c(t0 ) < 0, la courbe tourne en sens indirect.
Exemple 1.5.9. Soit
γ : t 7→ (a + R cos(t), b + R sin(t))
le cercle de l’exemple 1.1.5. Remarquons que k→ −
γ 0 (t)k = R pour tout t. La courbure en un
point γ(t0 ) est donc donnée par
!
1 −R sin(t0 ) −R cos(t0 )
c(t0 ) = 3 det
R R cos(t0 ) −R sin(t0 )
R2 sin2 (t0 ) + R2 cos2 (t0 )
=
R3
1
= .
R
Si on considère à la place le paramétrage
ψ : t 7→ (a + R sin(t), b + R cos(t)),
qui correspond au changement de paramétrage ϕ : t 7→ π/2 − t on obtient cψ (t0 ) = −R.
En effet, dans ce cas le cercle est parcourut en sens indirect.
Nous disposons donc maintenant de deux outils pour étudier une courbe : la tangente
et la courbure. Comme nous le verrons avec le Théorème 1.6.13, dans le cas des arcs
paramétrés réguliers ces données caractérisent complètement l’arc à isométrie près.

1.6 Longueur d’une courbe

Nous allons maintenant voir comment calculer la longueur d’une courbe paramétrée.
Pour cela, fixons un arc paramétré γ : I → R2 et deux points t0 , t1 ∈ I avec t0 < t1 . On
souhaite calculer la longueur de la portion de l’arc comprise entre γ(t0 ) et γ(t1 ).

1.6.1 Approximation polygonale

Dans le plan, on sait calculer en fonction des coordonnées la longueur d’un segment :
c’est la distance euclidienne entre ses deux extrêmités. On peut donc essayer de définir
une notion de longueur en approchant la courbe par des segments, ou plus précisément
par une ligne polygonale. À mesure que les lignes polygonales seront plus fines, on peut
espérer que la longueur de la ligne converge. La limite sera alors notre définition de la
longueur de l’arc. Pour n ∈ N et 0 6 k 6 n, on pose donc
k
sk,n = t0 + (t1 − t0 )
n
n
X
Lnγ (t0 , t1 ) = d(γ(si,n ), γ(si−1,n )).
i=1
1.6. Longueur d’une courbe 19

Théorème 1.6.1. La suite (Lnγ (t0 , t1 ))n∈N converge et sa limite est donnée par
Z t1
lim Lnγ (t0 , t1 ) = →
−
γ 0 (t) dt.
n→+∞ t0

Démonstration. Le développement limité de γ au point si−1,n s’écrit

→
−
γ(si,n ) = γ(si−1,n ) + (si,n − si−1,n )→
−
γ 0 (si−1,n ) + R i (si,n − si−1,n )
t1 − t0 → →
− t1 − t0
 
= γ(si−1,n ) + − 0
γ (si−1,n ) + R i .
n n
Ce développement limité nous donne l’égalité suivante :
t1 − t0 → →
− t1 − t0
 
d(γ(si,n ), γ(si−1,n )) = −
γ 0 (si−1,n ) + R i .
n n
En sommant on obtient donc
n n
t1 − t0 X →
− t1 − t0
 
Lnγ (t0 , t1 ) = →
−
γ 0 (si−1,n ) +
X
Ri
n i=1 i=1
n

Posons K = maxt∈[t0 ,t1 ] k→

−
γ 0 (t)k. L’inégalité de Taylor-Lagrange donne
2
t1 − t0 K t1 − t0
  
Ri 6 .
n 2 n
En sommant ces inégalités on obtient
n
t1 − t0 K(t1 − t0 )2
X  
Ri 6 −→ 0.
i=1
n 2n n→+∞

D’autre part, on sait que

n Z t1 −−→
1X →
−
γ 0 (si−1,n ) −→ 0
γ (t) dt
n i=1 n→+∞ t0

car il s’agit d’une somme de Riemann. On en déduit que Lnγ (t0 , t1 ) converge vers la même
limite.
20 Chapitre 1. Courbes planes

Remarque 1.6.2. On peut raffiner ce résultat de la façon suivante : pour tout n, on se

donne des points t0 = s0,n < · · · < sn,n = t1 de I tels que

max (si,n − si−1,n ) −→ 0.

16i6n n→+∞

Alors,
n Z t1
X
(si,n − si−1,n )d(γ(si,n ), γ(si−1,n )) −→ →
−
γ 0 (t) dt.
n→+∞ t0
i=1

1.6.2 Propriétés de la longueur

Nous pouvons donc maintenant définir la longueur d’un arc de courbe.

Définition 1.6.3. Soit γ : I → R un arc et soient t0 , t1 ∈ I tels que t0 < t1 . La longueur

de l’arc parcourue entre t0 et t1 est
Z t1
`γ (t0 , t1 ) = →
−
γ 0 (t) dt.
t0

Remarque 1.6.4. Il est important de prendre t0 < t1 , sans quoi l’intégrale définissant la
longueur aura une valeur négative.

Le Théorème 1.6.1 suggère que la longueur d’un arc de courbe est une propriété géo-
métrique, c’est-à-dire invariante par changement de paramétrage. C’est ce que nous allons
montrer.

Proposition 1.6.5. La longueur d’arc est invariante par changement de paramétrage.

Démonstration. Soit ϕ un changement de paramétrage de classe C k , soit ψ l’arc repara-

métré par ϕ et soient si = ϕ−1 (ti ) pour i = 0, 1. Comme ϕ est un difféomorphisme, il
existe  ∈ {−1, +1} tel que pour tout s, |ϕ0 (s)| = ϕ0 (s). Si  = −1, ϕ est décroissante
donc s0 > s1 et il faut intégrer de s1 à s0 dans l’expression de la longueur. Sinon, il faut
intégrer de s0 à s1 . Dans les deux cas,
Z s1
`γ◦ϕ (s0 , s1 ) =  × (−
γ−◦−→
ϕ)0 (s) ds
s0
Z s1
= 2 × →
−
γ 0 ◦ ϕ(s) ϕ0 (s)ds
s0
Z s1
= →
−
γ 0 ◦ ϕ(s) ϕ0 (s)ds
s0

Le changement de variable t = ϕ(s) donne alors, en remarquant que dt = ϕ0 (s)ds,

Z t1
`γ◦ϕ (s0 , s1 ) = →
−
γ 0 (t) dt
t0
= `γ (t0 , t1 ).

Faisons une remarque importante. La quantité `γ (t0 , t1 ) est appelée l’ongueur d’arc
et non longueur de courbe. En effet, il s’agit de la longueur parcourue par le point γ(t)
entre les instants t0 et t1 . En particulier, si γ(t) est un point multiple on peut parcourir
plusieurs fois la courbe avant de s’arrêter. La longueur mesure alors la totalité du trajet
parcouru et pas simplement la distance sur la courbe entre le point de départ et le point
1.6. Longueur d’une courbe 21

d’arrivé. Par exemple, en reprenant le paramétrage du cercle de l’exemple 1.1.5, on voit

que
`γ (0, 4π) = 4πR
qui est strictement supérieur à la longueur totale de la courbe. En effet, quand t varie de
0 à 4π le point γ(t) parcourt deux fois le cercle entier. Pour calculer la longueur d’un arc
de courbe, il peut être pratique de décomposer l’arc en plusieurs morceaux. On peut alors
obtenir la longueur de la façon suivante :

Proposition 1.6.6. Soit γ : I → R2 un arc paramétré de classe C 1 et soient t0 6 t1 6

t2 6 t3 ∈ I. Alors,
`γ (t0 , t3 ) = `γ (t0 , t2 ) + `γ (t1 , t3 ) − `γ (t1 , t2 ).

Démonstration. Il suffit d’appliquer la relation de Chasles à l’intégrale définissant la lon-

gueur.

1.6.3 Paramétrage par longueur d’arc

La longueur est un outil important pour l’étude des arcs réguliers, car elle permet
d’effectuer des changements de paramétrages ayant des propriétés remarquables. Pour
expliquer ceci, considérons d’abord la notion suivante :

Définition 1.6.7. Un arc paramétré γ : I → R2 de classe C 1 est dit normal si k→

−
γ 0 (t)k = 1
pour tout t ∈ I.

En particulier, un paramétrage normal est régulier. Mais étant donné un arc paramétré
régulier, est-il toujours possible de le reparamétrer pour qu’il soit normal ? La réponse est
oui et utilise la longueur de la courbe. Remarquons que pour calculer la longeur d’une
courbe, il faut connaître une primitive de la fonction t 7→ k→
−
γ 0 (t)k, ce qui conduit naturel-
lement à la définition le l’abscisse curviligne.

Définition 1.6.8. Soit γ : I → R un arc paramétré de classe C 1 . Une abscisse curviligne

pour γ est une fonction s : I → R telle que pour tout t ∈ I,

s0 (t) = →
−
γ 0 (t) .

En particulier, si s est une abscisse curviligne pour γ alors la longueur d’arc parcouru
entre t0 et t1 est donnée par

`γ (t0 , t1 ) = s(t1 ) − s(t0 ).

Il est facile de voir qu’un arc régulier admet toujours des abscisses curvilignes.

Proposition 1.6.9. Soit γ : I → R2 un arc régulier de classe C k . Alors, il existe une

abscisse curviligne pour γ de classe C k .

Démonstration. Le produit scalaire sur R2 est un application bilinéaire, donc

f : t 7→ →
−
γ 0 (t), →
−
γ 0 (t) = →
− 2
γ 0 (t)
√
est de classe C k−1 . Comme γ est régulier,
√ f ne s’annule pas. La fonction x 7→ x étant de
classe C ∞ sur R∗+ , on en déduit que f est de classe C k−1 . Elle admet donc une primitive
s de classe C k , qui est par construction une abscisse curviligne pour γ.

Nous pouvons maintenant montrer que tout arc paramétré régulier admet un paramé-
trage normal.
22 Chapitre 1. Courbes planes

Théorème 1.6.10. Soit C une courbe du plan possédant un paramétrage γ : I → R2

régulier de classe C k . Alors, C possède un paramétrage normal de classe C k .
Démonstration. Soit s une abscisse curviligne de classe C k pour γ. Comme s0 (t) > 0 pour
tout t, s est strictement monotone donc bijective. De plus, comme s0 ne s’annule pas
c’est un C k -difféomorphisme par la proposition 1.1.11. Nous pouvons donc considérer l’arc
reparamétré ψ = γ ◦ s−1 . Le calcul de la dérivée donne
→
−0 0
ψ (t) = s−1 (t)→
−

γ 0 ◦ s−1 (t)
1 →
−
= γ 0 ◦ s−1 (t),
s0 ◦ s−1 (t)
donc
→
−0 →
− γ 0 ◦ s−1 (t)
ψ (t) =
s0 ◦ s−1 (t)
→
− γ 0 ◦ s−1 (t)
= →−
k γ 0 ◦ s−1 (t)k
= 1.

Avoir un paramétrage normal d’un arc peut être utile pour faire des calculs, car plu-
sieurs formules se simplifient, en particulier concernant la courbure.
Proposition 1.6.11. Soit γ : I → R2 un arc paramétré normal. Alors, en tout point
birégulier γ(t0 ), on a
→
− →
−
γ 00 (t0 ) = cγ (t0 ) N (t0 ).
Démonstration. Comme γ est régulier, on a h→
−
γ 0 (t0 ), →
−
γ 0 (t0 )i = 1, ce qui donne en dérivant

2 →
−
γ 00 (t0 ), →
−
γ 0 (t0 ) = 0.
→
−
Ainsi, →
−
γ 00 (t0 ) est colinéaire à N (t0 ) et on conclut par la proposition 1.5.8.

Une application simple de ce résultat est l’identification des courbes dont la courbure
est nulle.
Proposition 1.6.12. Soit γ : I → R2 un arc paramétré normal de courbure constante
égale à 0. Alors le support de γ est inclus dans une droite.
Démonstration. La Proposition 1.6.11 donne → −
γ 00 (t) = 0, donc →−
γ 0 (t) est constante. En
notant ~v sa valeur, on a que pour tout t0 ∈ I, γ(t) = γ(t0 ) + (t − t0 )~v , dont le support est
inclus dans la droite dirigée par ~v et passant par γ(t0 ).

1.6.4 Courbes régulières isométriques

Si C est une courbe du plan et si F est une isométrie, alors F (C ) est une courbe du plan
qui doit avoir les mêmes propriétés géométriques que C . En effet, si γ est un paramétrage
de C , alors F ◦ γ est un paramétrage de F (C ) ayant en tout point la même courbure
que γ. De plus, en tout point, les vecteurs tangents ont même norme. La réciproque de
cette observation est vraie : la courbure et la norme des vecteurs tangents caractérisent
complètement une courbe à isométrie près, à condition que tous ses points soient réguliers.
Théorème 1.6.13. Soient γ1 , γ2 : I → R2 des arcs paramétrés de classe C 2 réguliers tels
que pour tout t ∈ I,
1.6. Longueur d’une courbe 23

• k→
−
γ 01 (t)k = k→
−
γ 02 (t)k.
• Les courbures aux points γ1 (t) et γ2 (t) sont égales.
Alors, il existe une isométrie directe F : R2 → R2 telle que F ◦ γ1 = γ2 .
Démonstration. Les arcs paramétrés γ1 et γ2 étant réguliers, ils admettent un paramétrage
normal par le Théorème 1.6.10. Ce paramétrage est donné par une abscisse curviligne, c’est-
à-dire une primitive de la norme du vecteur tangent. Comme les vecteurs tangents aux deux
arcs ont même norme, on peut prendre la même abscisse curviligne pour reparamétrer les
deux courbes. Nous pouvons donc supposer que les arcs sont normaux et qu’en tout point
les courbures sont égales. Fixons un point t0 ∈ I, notons α l’angle orienté (→ −γ 01 (t0 ), →
−
γ 02 (t0 ))
et soit ρ la rotation affine de centre γ1 (t0 ) et d’angle α. Nous allons montrer que l’isométrie
que nous cherchons est
F : M 7→ t− →
Oγ (t )
◦ ρ (M ) .
2 0

Posons ψ = F ◦ γ1 et remarquons tout d’abord que ψ(t0 ) = γ2 (t0 ). De plus, pour tout
t ∈ I,
→
− →
−
det ψ 0 (t), ψ 00 (t) = det ρ(→ −γ 01 (t)), ρ(→
−

γ 001 (t)

= det (ρ) det → −

γ 0 (t), →
−
γ 00 (t)


1 1
= det →
−
γ 01 (t), →
−
γ 001 (t) ,

Ceci implique que la courbure cψ (t) au point ψ(t) vérifie

det (→
−
γ 01 (t), →
−
γ 001 (t))
cψ (t) = = cγ1 (t).
kρ ◦ →− 3
γ 0 (t)k
1

Nous noterons c(t) ce nombre, qui par hypothèse est aussi égal à cγ2 (t). Pour montrer
que ψ = γ2 , nous allons commencer par comparer leurs vecteurs tangents. Pour cela, nous
→
− →
−
noterons N 2 (t) (respectivement N ψ (t)) le vecteur normal au support de γ2 (respectivement
au support de ψ) au point γ2 (t) (respectivement au point ψ(t)). On a alors, pour t ∈ I et
en utilisant la Proposition 1.6.11.
d →−0 2 D→
− →
−
ψ (t) − →
− = 2 ψ 0 (t) − → −γ 02 (t), ψ 00 (t) − → −
E
γ 02 (t) γ 002 (t)
dt D→
− →
− D→ −
= 2 ψ 0 (t), ψ 00 (t) − 2 ψ 0 (t), → −
E E
γ 002 (t)
→
−
− 2 →
−γ 02 (t), ψ 00 (t) + 2 → −γ 02 (t), →
−
D E
γ 002 (t)
D→
− →
−
= −2 ψ 0 (t), → −γ 002 (t) − 2 → −
E D E
γ 02 (t), ψ 00 (t)
D→− →
− →
−
= −2c(t) ψ 0 (t), N 2 (t) + → −
E D E
γ 02 (t), N ψ (t) .

Soit r la rotation vectorielle d’angle π/2. On a par définition

 →
 r − = −→
−

N 2 (t) γ 02 (t)
 r →
−  →
−
ψ 0 (t) = N ψ (t)

donc
D→
− →
− E D →− →
− E
ψ 0 (t), N 2 (t) = r( ψ 0 (t)), r( N 2 (t))
→
−
=− → −
D E
γ 02 (t), N ψ (t)

d’où
d →−0 2
ψ (t) − →
−
γ 02 (t) = 0.
dt
24 Chapitre 1. Courbes planes

→
−
Nous venons de prouver que ψ 0 (t) − → −γ 02 (t) est constante, mais nous savons également
qu’elle est nulle en t0 par définition de ψ, donc
→
−0
ψ (t) = →
−
γ 02 (t)

pour tout t ∈ I. En notant (x2 (t), y2 (t)) (respectivement (xψ (t), yψ (t)) les coordonnées
cartésiennes de γ2 (t) (respectivement de ψ(t)), on en déduit qu’il existe a, b ∈ R tels que
pour tout t ∈ I, (
xψ (t) = a + x2 (t)
yψ (t) = b + y2 (t)
Par définition de ψ, on a ψ(t0 ) = γ2 (t0 ), donc a = b = 0 et ψ = γ2 .

Ce théorème permet par exemple d’identifier les arcs dont la courbure est constante.
Corollaire 1.6.14. Soit γ : I → R2 un arc paramétré normal dont le courbure est
constante égale à c 6= 0. Alors, le support de γ est inclus dans un cercle.
Démonstration. Supposons c > 0. Soit ψ : I → R2 l’arc paramétré défini par
cos(t) sin(t)
 
ψ(t) = , .
|c| |c|
Alors, γ et ψ sont réguliers et ont en tout point la même courbure, donc leurs supports
sont isométriques. Comme le support de ψ est inclus dans un cercle, le support de γ est
également inclus dans un cercle. Si maintenant c < 0, il suffit de considérer l’arc paramétré
ψ : I → R2 défini par
cos(t) sin(t)
 
ψ(t) = ,− .
|c| |c|

1.7 Autres types de paramétrisations

Jusqu’à maintenant, nous avons toujours écrit les paramétrages en coordonnées carté-
siennes. Toutefois, il est parfois plus utile ou plus naturel de les écrire différemment.

1.7.1 Paramétrisation polaire

Soit R = (O,~i, ~j) un repère orthonormé du plan. Il existe une façon de repérer les points
n’utilisant pas la description cartésienne usuelle, que nous allons maintenant présenter. On
pose, pour θ ∈ R,
~uθ = cos(θ)~i + sin(θ)~j.
Le point M de coordonnées polaires (ρ, θ) est défini par
−−→
OM = ρ~uθ
= ρ cos(θ)~i + ρ sin(θ)~j.

Il est donc possible de définir un arc paramétré γ : I → R2 de classe C k par la donnée

de deux fonctions ρ, θ : I → R de classe C k . Pour étudier un arc paramétré défini en
coordonnées polaires, on peut toujours se rammener aux coordonnées cartésiennes de la
façon suivante : si γ : I → R2 est défini par γ(t) = ρ(t)~uθ(t) , alors
(
x(t) = ρ(t) cos(θ(t))
y(t) = ρ(t) sin(θ(t))
1.7. Autres types de paramétrisations 25

Exemple 1.7.1. Soit R > 0 et soit γ : R → R2 l’arc paramétré défini en coordonnées

polaires par ρ(t) = R et θ(t) = t. Le support de γ est le cercle de centre O et de rayon R.
On peut retrouver la paramétrisation cartésienne de l’exemple 1.1.5 (avec a = b = 0) :
(
x(t) = R cos(t)
y(t) = R sin(t)

1.7.2 Graphes d’une fonction

Un cas particulier d’arc paramétré est donné par le graphe d’une fonction. Un tel
graphe peut être défini soit en coordonnées cartésiennes, soit en coordonnées polaires.

Coordonnées cartésiennes
Soit f : I → R une fonction. Le graphe de f est le support de l’arc paramétré γf : I →
R2 défini par
γf (t) = (t, f (t)).
Le paramétrage γf est appelé un paramétrage par l’abscisse du graphe de f . On peut
également définir un paramétrage par l’ordonnée γ f : I → R2 par γ f (t) = (f (t), t). On peut
passer de l’un à l’autre de ces paramétrages par une réflexion par rapport à la première
bissectrice des axes. Une courbe du plan n’admet pas nécessairement de paramétrage par
l’abscisse. De fait, un tel paramétrage a des propriétés particulières.

Proposition 1.7.2. Soit f : I → R une fonction. Alors, l’arc paramétré γf possède les
propriétés suivantes :
1. γf est de classe C k si et seulement si f est de classe C k .
2. γf est régulier et la tangente au point de paramètre t0 a pour équation

y = f (t0 ) + (x − t0 )f 0 (t0 ).

f 00 (t0 )
3. La courbure au point de paramètre t0 est égale à .
(1 + f 0 (t0 ))3/2
Démonstration. 1. Il s’agit simplement de la définition.
→
−
2. On a γ f (t) = (1, f 0 (t)) 6= ~0 pour tout t, donc tous les points sont réguliers. L’équa-
0

tion de la tangente est une application de la Proposition 1.3.6.

3. On a →−γ 00 (t ) = (0, f 00 (t )), d’où det → γ 0 (t ), →
− −
 
f 0 0 f 0 γ 00 (t ) = f 00 (t ). Il suffit ensuite
f 0 0
d’appliquer la proposition 1.5.6.

Remarque 1.7.3. En utilisant le Théorème des fonctions implicites on peut montrer

qu’au voisinage d’un point régulier, une courbe peut toujours être paramétrée par l’abscisse
ou par l’ordonnée.

Coordonnées polaires
Soit f : I → R une fonction. Le graphe de f est le support de l’arc paramétré γf◦ : I →
R2 défini par
γf◦ (t) = f (t)~ut .
Comme dans le cas cartésien, ce type de paramétrage possède des propriétés particu-
lières.
26 Chapitre 1. Courbes planes

Proposition 1.7.4. Soit f : I → R une fonction. Alors, l’arc paramétré γf◦ possède les
propriétés suivantes :
1. γf◦ est de classe C k si et seulement si f est de classe C k .
2. γf◦ est régulier en tout point distinct de l’origine O du repère.
f 2 (t0 ) + 2f 02 (t0 ) − f (t0 )f 00 (t0 )
3. La courbure au point de paramètre t0 est égale à .
(f 02 (t0 ) + f 2 (t0 ))3/2
Démonstration. 1. Il s’agit simplement de la définition.
2. En passant en coordonnées cartésiennes, on calcule
(
x0 (t) = f 0 (t) cos(t) − f (t) sin(t)
y 0 (t) = f 0 (t) sin(t) + f (t) cos(t)

Posons, pour θ ∈ R,
~vθ = − sin(θ)~i + cos(θ)~j,
de sorte que (~uθ , ~vθ ) soit une base orthonormée de R2 . Alors, → −
γ ◦0 0
f (t) = f (t)~
ut +f (t)~vt .
→
− ◦0 0
En particulier, γ f (t) s’annule si et seulement si f (t) et f (t) s’annulent tous les deux,
ce qui n’est possible qu’au point O.
3. En dérivant l’expression → −
γ ◦0 0 ut + f (t)~vt et en remarquant que ~vt0 = −~ut ,
f (t) = f (t)~
on obtient
→
−
γ ◦00 00
ut + f 0 (t)~vt + f 0 (t)~vt − f (t)~ut = (f 00 (t) − f (t))~ut + 2f 0 (t)~vt .
f (t) = f (t)~

Le déterminant det →
− →
− ◦00
 
γ ◦0
f (t), γ f (t) est donc égal à

2f 0 (t)f 0 (t) − (f 00 (t) − f (t))f (t) = 2f 02 (t) + f 2 (t) − f 00 (t)f (t).

On en déduit l’expression de la courbure grâce à la proposition 1.5.6.

En général, les paramétrages polaires sont de cette forme, qui permet d’étudier la
courbe sans repasser par les coordonnées cartésiennes. En effet, les branches infinies s’ob-
tiennent pour les valeurs t0 aux extrêmités de I telles que

f (t) −→ +∞.
t→t0

On parle aussi parfois de branche spirale quand f a une limite finie à l’infini. Il suffit
ensuite de faire le tableau de variations de f et de tracer la courbe, en prenant garde au
signe de f .

Exemple 1.7.5. Soit a ∈ R∗+ . On appelle spirale d’archimède de paramètre a l’ensemble

des points du plan dont les coordonnées polaires vérifient l’équation

ρ = aθ.

Soit f : R → R la fonction définie par f (t) = at. La spirale d’Archimède de paramètre a

est le support de l’arc γf◦ . Comme f 0 (t) = a > 0, la courbe s’éloigne à vistesse constante
de l’origine en tournant. Sa courbure au point de paramètre t est égale à

a2 t2 + 2a2 2 + t2
= .
(a2 + a2 t2 )3/2 a(1 + t2 )3/2
1.7. Autres types de paramétrisations 27

Le paramétrage γf◦ peut être appelé un paramétrage par l’argument de la courbe C .

On peut également définir un paramétrage par le module

γ◦f : I → R2

par γ◦f (t) = t~uf (t) . Contrairement au cas cartésien, ce paramétrage ne se déduit pas du
paramétrage par le module en appliquant une isométrie du plan. Il a donc des propriétés
particulières différentes.

Proposition 1.7.6. Soit f : I → R une fonction. Alors, l’arc paramétré γ◦f possède les
propriétés suivantes :
1. γ◦f est de classe C k si et seulement si f est de classe C k .
2. γ◦f est régulier.
2f 0 (t0 ) + t0 f 00 (t0 ) + t2 f 0 (t0 )3
3. La courbure au point de paramètre t0 est égale à .
(1 + t20 f 0 (t0 )2 )3/2
Démonstration. 1. Il s’agit simplement de la définition.
2. En dérivant on obtient
→
−
γ f◦ 0 (t) = ~uf (t) + tf 0 (t)~vf (t)
qui ne s’annule jamais.
3. En dérivant une second fois on obtient
→
−
γ f◦ 00 (t) = f 0 (t)~vf (t) + f 0 (t) + tf 00 (t) ~vf (t) − tf 0 (t)~uf (t)

= −tf 0 (t)~uf (t) + 2f 0 (t) + tf 00 (t) ~vf (t)

On en déduit l’expression de la courbure grâce à la proposition 1.5.6.

Chapitre 2

Coniques
30 Chapitre 2. Coniques

Dans ce chapitre, nous allons étudier une famille particulière de courbes planes appelées
coniques. Leur nom vient de ce qu’on peut les obtenir en coupant un cône par un plan. Ces
courbes apparaissent dans de nombreux contextes en mathématiques et en physique, mais
rarement sous la forme d’une intersection. Nous allons donc commence par étudier une
définition plane des coniques. Cette dernière montre que les coniques sont associées à des
équations d’une forme relativement simple dite du second degré. Nous nous intéresserons
donc ensuite à toutes les courbes décrites par de telles équations, ce qui nous permettra
dans un dernier temps de relier notre définition originelle des coniques aux intersections
de cônes et de plans.

2.1 Définition par foyer et directrice

Comme expliqué précédemment, nous allons débuter par l’étude de la définition dite
par foyer et directrice des coniques. Si cette définition semble peu naturelle au premier
abord, elle a l’avantage d’être une définition plane, au sens où elle ne nécessite pas de se
placer dans un espace affine de dimension 3, ce qui est le cas si l’on veut décrire une courbe
comme intersection d’un cône et d’un plan. L’inconvénient est qu’on ne peut pas obtenir
toutes les sections coniques par ce procédé, comme nous le verrons à la Section 2.3. Les
données nécessaire pour définir une conique dans ce cadre sont un point F , une droite D
ne passant pas par F et un nombre réel e > 0 que nous supposerons donc fixés une fois
pour toute.

2.1.1 Définition

Définition 2.1.1. La conique C de foyer F , de directrice D et d’excentricité e est l’en-

semble des points M du plan tels que

M F = e × d(M, D).

Pour étudier une conique à partir de la définition précédente, il est important de choisir
un repère adapté. Le foyer F est un bon candidat pour l’origine du repère et la direction de
la droite D devrait donner l’un des axes. Plus précisément, notons H le projeté orthogonal
de F sur D et soit ~iF le vecteur défini par

−−→
~iF = F H .
FH

L’image ~jF de ~iF par la rotation vectorielle d’angle π/2 dirige la droite D. On a donc
repère orthonormé

RF = (F,~iF , ~jF ),

appelé repère focal. Dans ce repère, la droite D a pour équation x = d pour un certain
d > 0.
2.1. Définition par foyer et directrice 31

Il est facile de donner une équation cartésienne et une équation polaire de la conique C
dans son repère focal.

Théorème 2.1.2. Soit F un point du plan, D une droite ne passant pas par F et e > 0.
Les parties suivantes du plan sont identiques :
1. La conique C de foyer F , de directrice D et d’excentricité e.
2. L’ensemble des points du plan dont les coordonnées cartésiennes dans le repère focal
vérifient
x2 + y 2 = e2 (x − d)2 .

3. L’ensemble des points du plan dont les coordonnées polaires dans le repère focal
vérifient
ed
ρ= .
1 + e cos(θ)

4. L’ensemble des points du plan dont les coordonnées polaires dans le repère focal
vérifient
ed
ρ=− .
1 − e cos(θ)

1⇔2
Démonstration. Il suffit de remarquer que dans le repère focal,

x2 + y 2 = M F 2
(x − d)2 = d(M, D)2 .

3⇔4
Il suffit de remarquer que

ed ed
= .
1 + e cos(θ + π) 1 − e cos(θ)

Comme de plus ~uθ+π = −~uθ

ed ed
~uθ+π = − ~uθ ,
1 + e cos(θ + π) 1 − e cos(θ)

un point est solution de 3 si et seulement s’il est solution de 4.

32 Chapitre 2. Coniques

2⇒3
Sachant que x = ρ cos(θ) et y = ρ sin(θ), on a

ρ2 = x2 + y 2
= e2 (x − d)2
= e2 (ρ cos(θ) − d)2 .

Il y a donc deux possibilités. Soit ρ = e(ρ cos(θ) − d), auquel cas on obtient

ed
ρ=−
1 − e cos(θ)

soit ρ = −e(ρ cos(θ) − d), auquel cas on obtient

ed
ρ= .
1 + e cos(θ)

Nous avons vu plus haut que ces deux équations polaires étaient équivalentes, nous
avons donc prouvé l’implication.
3⇒2
Sachant que x = ρ cos(θ), on calcule

e2 (x − d)2 = (eρ cos(θ) − ed)2

2
ed cos(θ)

= e − ed
1 + e cos(θ)
2
e cos(θ)

= (ed)2 −1
1 + e cos(θ)
(ed)2
=
(1 + e cos(θ))2
= ρ2
= x2 + y 2 .

Remarque 2.1.3. L’équation cartésienne montre que la transformation y 7→ −y laisse

invariante la conique. Celle-ci est donc symétrique par rapport à l’axe des abscisses, appelé
axe focal.

La conique est complètement déterminée par les valeurs de e et d. Cependant, c’est

souvent e et le produit ed qui interviennent dans les calculs, d’où la définition suivante :

Définition 2.1.4. On appelle paramètre d’une conique la quantité p = ed.

2.1.2 Classification
Nous allons maintenant utiliser le théorème 2.1.2 pour classifier les coniques à partir de
leur équation cartésienne. Comme on le voit immédiatement, le seul paramètre déterminant
est l’excentricité. Il y a trois cas possibles, suivant la valeur de e par rapport à 1. Rappelons
que par hyopthèse, d > 0.
2.1. Définition par foyer et directrice 33

Parabole
Supposons tout d’abord que e = 1. Ce cas est particulier puisqu’alors il n’y aura plus
de terme en x2 dans l’équation. En effet, on obtient

x2 + y 2 = (x − d)2
= x2 − 2dx + d2

d’où
d
 
2
y = −2d x − .
2
Soit S le point de coordonnées
d
 
S: ,0 .
2
Dans le repère (S,~iF , ~jF ), l’équation devient

y 2 = −2dx = −2px. (2.1)

Définition 2.1.5. Une conique d’excentricité 1 est appelée parabole. Le point S est appelé
sommet de la parabole.
Voici une représentation graphique d’une parabole :

L’équation (2.1) fournit un paramétrage de la parabole par l’ordonnée : la parabole

est le support de l’arc paramétré γ : R → R2 défini dans le repère (S,~iF , ~jF ) par
!
t2
γ(t) = − ,t .
2p

Comme
x(t)2 + y(t)2 −→ +∞,
t→±∞

la parabole a deux branches infinies. De plus,

x(t) t
=− −→ ∓∞
y(t) 2p t→±∞

donc la parabole a deux branches paraboliques dans la direction ~iF .

34 Chapitre 2. Coniques

Hyperbole
Supposons maintenant que e > 1. Comme 1−e2 6= 0, on peut développer puis regrouper
les termes de la façon suivante :

x2 + y 2 = e2 (x − d)2
x2 + y 2 = e2 x2 − 2e2 xd + e2 d2
(1 − e2 )x2 + 2de2 x + y 2 = e2 d2
!2
2 de2 d2 e4
(1 − e ) x + + y 2 = e2 d2 +
1 − e2 1 − e2
e2 d2
= .
1 − e2
Pour simplifier, notons K le terme de droite dans la dernière équation et changeons l’origine
du repère au point C de coordonnées
!
de2
C: − ,0 .
1 − e2

On obtient alors l’équation

1 − e2 2 1
x + y 2 = 1.
K K
s
√ K
Comme 1 − e2 < 0 et K < 0, on peut poser b = −K et a = pour obtenir
(1 − e2 )
l’équation
x2 y 2
− 2 = 1. (2.2)
a2 b
Définition 2.1.6. Une conique d’excentricité e > 1 est appelée hyperbole. Le point C est
appelé centre de l’hyperbole.

Voici une représentation graphique d’une hyperbole :

2.1. Définition par foyer et directrice 35

L’excentricité peut se retrouver à partir de l’équation (2.2). En effet, on a par définition

de a et b
b p 2
= e − 1,
a
d’où
s
b2
e= 1+ .
a2

On peut également retrouver le paramètre de l’hyperbole. En effet, on a d’une part K = b2

et d’autre part

p2 e2
K = p2 +
1 − e2 !
2
2 2 a
=p +p −1
b2
a2
= p2 ,
b2

d’où
b2
p= .
a
L’équation (2.2) est invariante par la transformation x 7→ −x, donc l’hyperbole est
symétrique par rapport à l’axe des ordonnées. Comme elle est également symétrique par
rapport à l’axe des abscisses, elle est préservée par la composée des deux réflexions, c’est-à-
dire par la symétrie de centre C. Pour obtenir un paramétrage de l’hyperbole, remarquons
tout d’abord que la fonction sinh : R → R étant bijective, pour tout point de coordonnées
(x, y) appartenant à l’yperbole il existe t ∈ R tel que y = b sinh(t). On a alors

x2
= 1 + sinh2 (t) = cosh2 (t),
a2

d’où x = ±a cosh(t). Ainsi, l’hyperbole est la réunion des supports des arcs paramétrés
γ± : R → R2 définis dans le repère (C,~iF , ~jF ) par

γ± = (±a cosh(t), b sinh(t)).

En particulier,
x2 (t) + y 2 (t) = a2 cosh2 (t) + b2 sinh2 (t) −→ +∞
t→±∞

et chacune des deux courbes formant l’hyperbole possède deux branches infinies. De plus,

y(t) b b
= ± tanh(t) −→ ±
x(t) a t→±∞ a

ce qui, joint au fait que

b b
sinh(t) − cosh(t) = −2be−t −→ 0 et sinh(t)(t) + cosh(t) = 2bet −→ 0
a t→+∞ a t→−∞

montre que l’hyperbole complète possède deux asymptotes d’équations ay ± bx = 0.

36 Chapitre 2. Coniques

Ellipse
Il nous reste à traiter le cas e < 1. Le même calcul que pour l’hyperbole donne

1 − e2 2 1
x + y 2 = 1.
K K
s
√ K
Cette fois-ci, K > 0 et 1 − e2 > 0 donc on pose b = K et a = pour obtenir
(1 − e2 )
l’équation
x2 y 2
+ 2 = 1. (2.3)
a2 b
Définition 2.1.7. Une conique d’excentricité e < 1 est appelée ellipse. Le point C est
appelé centre de l’ellipse. Les nombres a et b sont appelés respectivement le demi-grand
axe et le demi-petit axe de l’ellipse.

Voici une représentation graphique d’une ellipse :

De nouveau, on peut retrouver l’excentricité à partir de a et b. Cette fois-ci, on a

b p
= 1 − e2
a
d’où s
b2
e= 1−
a2
et le paramètre est donné comme précédemment par

b2
p= .
a
Comme pour l’hyperbole, l’ellipse est symétrique par rapport à l’axe des abscisses, par
rapport à l’axe des ordonnées et par rapport à son centre C. Pour paramétrer l’ellipse,
remarquons tout d’abord que pour tout point de coordonnées (x, y) de l’ellipse,

x
61
a
2.1. Définition par foyer et directrice 37

donc il existe s ∈ R tel que x = a cos(s). Alors,

y 2 = b2 (1 − cos2 (s)) = b2 sin2 (s).

On en déduit que y = ±b sin(s) = b sin(±s). Comme cos(±s) = s, on peut donc trouver

t ∈ R tel que x = a cos(t) et y = b sin(t). L’ellipse est donc le support de l’arc paramétré
γ : R → R2 défini dans le repère (C,~iF , ~jF ) par

γ(t) = (a cos(t), b sin(t)).

En particulier, x(t)2 + y(t)2 6 a2 + b2 , donc l’ellipse n’a pas de branche infinie.

Remarque 2.1.8. Par hypothèse, a 6= b dans l’équation (2.3). Par conséquent, le cercle
n’est pas une conique définie par foyer et directrice.

Tangente
Dans le cas de la parabole, l’équation de la tangente se calcule facilement en utilisant
le paramétrage par l’ordonnée. On a

t
 
→
−
γ 0 (t) = − , 1
p

donc l’équation de la tangente au point γ(t) est

!!
t2 t
 
x− − − − (y − t) = 0,
2p p

soit
t2
px + ty = .
2
Dans le cas de l’hyperbole et de l’ellipse c’est moins évident. Il existe cependant une
méthode pour trouver simplement cette équation. Considérons un paramétrage γ : I → R2
d’une hyperbole ou d’une ellipse et notons γ(t) = (x(t), y(t)). On a alors

x(t)2 y(t)2
± 2 = 1.
a2 b
En dérivant, on obtient
x0 (t)x(t) y 0 (t)y(t)
2 ± 2 = 0.
a2 b2
Autrement dit, le vecteur de coordonnées

x(t) y(t)
 
,± 2
a2 b

est orthogonal à →
−
γ 0 (t), donc il dirige la normale à la conique au point γ(t). L’équation de
la tangente au point γ(t) est donc

x(t) y(t)
2
(x − x(t)) ± 2 (y − y(t)) = 0,
a b
c’est-à-dire
x(t)x y(t)y
± 2 = 1.
a2 b
38 Chapitre 2. Coniques

2.1.3 Coniques à centre

La classification précédente a fait apparaître une distinction entre la parabole et les
autres coniques. En effet, pour l’hyperbole et l’ellipse nous avons choisi un repère dont
l’origine est le centre de symétrie de la conique, un point qui n’existe pas pour la parabole.
C’est pourquoi l’hyperbole et l’ellipse sont appelées coniques à centre. Cette symétrie cen-
trale permet d’obtenir d’autres descriptions de la conique, ce que nous allons maintenant
faire. Nous noterons F 0 le symétrique de F par rapport à C et D0 le symétrique de D par
rapport à C.

Proposition 2.1.9. Soit C une conique de foyer F , de directrice D et d’excentricité e 6= 1.

Alors, la conique C 0 de foyer F 0 , de directrice D0 et d’excentricité e est égale à C .

Démonstration. Soit M un point du plan, soit H son projeté orthogonal sur D et soit H 0
son projeté orthogonal sur D0 . En notant σ la réflexion d’axe C~jF , on a σ(H) = H 0 . Donc,

MF0 σ(M )σ(F 0 ) σ(M )F

0
= 0
= .
MH σ(M )σ(H ) σ(M )H

Il s’ensuit qu’un point M appartient à C 0 si et seulement si σ(M ) appartient à C . Comme

σ(C ) = C , on a égalité des deux coniques.

L’intérêt d’introduire le second foyer est qu’il permet de donner une caractérisation des
coniques à centres n’utilisant pas la directrice. On parle alors de caractérisation bifocale.
Pour simplifier les calculs, nous poserons

e2 d
c = ae = .
1 − e2
Traitons d’abord le cas de l’ellipse. La preuve de la caractérisation repose sur un calcul
élémentaire.

Lemme 2.1.10. Soit C une ellipse d’excentricité e, alors

a2 = b2 + c2 .
√
Démonstration. Nous avons vu plus haut que b/a = 1 − e2 , d’où

b2 c2
+ = 1 − e2 + e2 = 1.
a2 a2

Il suffit de multiplier par a2 pour conclure.

Proposition 2.1.11. Soit C une ellipse de foyer F , de directrice D et d’excentricité e.

Alors, l’ensemble des points M du plan tels que M F + M F 0 = 2a est égal à C .

Démonstration. Soit M un point de C et soient H et H 0 les projetés orthogonaux de M

sur D et D0 respectivement. De l’équation (2.3) dans le repère (C,~iF , ~jF ) on tire

ed
|x| 6 a =
1 − e2
donc dans le repère focal,

ed e2 d e
|x| 6 2
− 2
=d < d.
1−e 1−e 1+e
2.1. Définition par foyer et directrice 39

Autrement dit, le point M est toujours situé entre les deux droites D et D0 . Il s’ensuit que

M F + M F 0 = eM H + eM H 0
= e(M H + M H 0 )
= ed(D, D0 )
= 2ed(C, D).

Pour calculer la distance de C à D, remarquons d’abord que d(C, F ) = c par définition.

Donc,

d(C, D) = d(C, F ) + d(F, D) = c + d

p b2 a b2
=c+ =c+ =c+
e a c c
2
c +b 2 a 2
= = .
c c

Ainsi,

a2
M F + M F 0 = 2e
c
c a2
=2
a c
= 2a.

Réciproquement, considérons un point M du plan tel que M F +M F 0 = 2a. Dans le repère

(C,~iF , ~jF ), les foyers ont pour coordonnées c et −c. On a donc

(M F − M F 0 )(M F + M F 0 ) = M F 2 − M F 02
= (x − c)2 + y 2 − ((x + c)2 + y 2 )
= −4cx.

Comme M F + M F 0 = 2a par hypothèse, on en déduit que M F − M F 0 = −2ex. Mais

alors,
(M F + M F 0 ) + (M F − M F 0 )
MF = = a − ex
2

et

(a − ex)2 = (x − c)2 + y 2
a2 − 2aex + e2 x2 = x2 − 2cx + c2 + y 2
a2 − c2 = (1 − e2 )x2 + y 2
b2 = (1 − e2 )x2 + y 2
1 − e2 2 y 2
x + 2 = 1
b2 b

Le coefficient de x2 est égal à 1/a2 , donc M appartient bien à C .

40 Chapitre 2. Coniques

Traitons maintenant le cas de l’hyperbole. La relation entre a, b et c est différente dans

ce cas.
Lemme 2.1.12. Soit C une hyperbole d’excentricité e, alors
c2 = a2 + b2 .
√
Démonstration. Nous avons vu plus haut que b/a = e2 − 1, d’où
b2 2 2 c2
+ 1 = e − 1 + 1 = e = .
a2 a2
Il suffit de multiplier par a2 pour conclure.
Proposition 2.1.13. Soit C une hyperbole de foyer F , de directrice D et d’excentricité
e. Alors, l’ensemble des points M du plan tels que |M F − M F 0 | = 2a est égal à C .
Démonstration. La preuve est similaire à celle de la Proposition 2.1.11. Soit M un point
de C de coordonnées (x, y) dans le repère (C,~iF , ~jF ) et soient H et H 0 ses projetés or-
thogonaux sur D et D0 respectivement. On remarque tout d’abord que d’après l’équation
(2.2),
|x| > a > d(C, D).
On en déduit que les points de l’hyperbole ne sont jamais situés entre D et D0 . Il s’ensuite
que
|M F − M F 0 | = HH 0
et un calcul similaire à celui de la Proposition 2.1.11 montre que cette quantté est égale
à 2a. Réciproquement, considérons un point M du plan tel que |M F − M F 0 | = 2a et
supposons que M F > M F 0 . Comme précédemment, en calculant M F 2 − M F 02 de deux
façons on obtient M F = a − ex, qu’on peut utiliser pour trouver une équation satisfaite
par les coordonnées de M :
(a − ex)2 = (x − c)2 + y 2
a2 − c2 = (1 − e2 )x2 + y 2
−b2 = (1 − e2 )x2 + y 2
1 − e2 y2
− 2 x2 − 2 = 1
b b
Le coefficient de x est alors égal à 1/a , d’où le résultat. Si M F 0 > M F , un calcul similaire
2 2

en remplaçant F par F 0 donne le même résultat.

2.2. Courbes du second degré 41

2.2 Courbes du second degré

Nous avons vu au Théorème 2.1.2 qu’une conique peut toujours être décrite dans son
repère focal par une équation cartésienne. De plus, cette équation a une forme relativement
simple : elle ne fait intervenir que les deux coordonnées et leurs carrés. C’est ce qui nous
a permis de classifier les coniques en montrant qu’il n’y avait que trois types d’équations
ayant cette forme. Il est donc naturel de se demander si, en considérant une équation plus
générale ne faisant intervenir que les coordonnées et leurs carrés, on peut également obtenir
une classification des courbes associées. Pour répondre à cette question, commençons par
donner un nom aux courbes qui nous intéressent.

Définition 2.2.1. Une équation du second degré est une équation de la forme

ax2 + by 2 + cxy + dx + ey + f = 0. (2.4)

où a, b, c, d, e et f sont des nombres réels et a, b et c ne sont pas tous les trois nuls. Une
courbe du second degré est l’ensemble des points du plans dont les coordonnées dans R
vérifient une équation du second degré.

Les coniques sont des courbes du second degré. Nous allons montrer que réciproque-
ment, presque toute courbe du second degré est une conique. Ceci nous permettra de faire
le lien entre la définition des coniques par foyer et directrice et les courbes obtenues comme
section d’un cône par un plan.

2.2.1 Réduction de l’équation quadratique

Comment étudier une équation du second dégré ? Dans le cas où il n’y a qu’une seule
variable, la stratégie est connue : étant donné une équation

ax2 + bx + c = 0

avec a 6= 0, elle peut être mise sous la forme canonique

b b2 − 4ac
 
x− − = 0.
2a 4a2

Les solutions sont alors complètement déterminées par le discriminant ∆ = b2 − 4ac.

42 Chapitre 2. Coniques

Notre objectif est de procéder de même dans le cas de deux variables. Nous cherchons
donc à simplifier l’équation (2.4) jusqu’à la rammener à une forme canonique. Cependant,
nous avons déjà vu avec les coniques qu’il y aura plusieurs formes canoniques possibles.
Le raisonnement sera donc plus complexe qu’avec une seule variable.

Première étape
La première étape de cette simplification est de faire disparaître le terme en xy qui
empêche de factoriser l’équation indépendamment en x et en y. Pour cela, nous allons
changer le repère en faisant tourner la base.

Proposition 2.2.2. Considérons dans le repère orthonormé canonique (O,~i, ~j) une équa-
tion du second degré
ax2 + by 2 + cxy + dx + ey + f = 0.
Alors, il existe un repère orthonormé dans lequel cette équation s’écrit

a0 x2 + b0 y 2 + d0 x + e0 y + f 0 = 0

avec a0 et b0 non tous les deux nuls.

Démonstration. Pour θ ∈ R, posons

(
~i0 = cos(θ)~i + sin(θ)~j
~j 0 = − sin(θ)~i + cos(θ)~j

et notons (x0 , y 0 ) les coordonnées dans le repère (O,~i0 , ~j 0 ). Le changement de coordonnées

s’écrit (
x = cos(θ)x0 − sin(θ)y 0
y = sin(θ)x0 + cos(θ)y 0
Dans ce nouveau repère, on a

2
2
ax2 + by 2 + cxy = a cos(θ)x0 − sin(θ)y 0 + b sin(θ)x0 + cos(θ)y 0
+ c cos(θ)x0 − sin(θ)y 0 sin(θ)x0 + cos(θ)y 0



 
= a cos2 (θ) + b sin2 (θ) + c sin(θ) cos(θ) x02
 
+ a sin2 (θ) + b cos2 (θ) − c cos(θ) sin(θ) y 02
 
+ −2a cos(θ) sin(θ) + 2b sin(θ) cos(θ) + c(cos2 (θ) − sin2 (θ) x0 y 0
= a0 x02 + b0 y 02 + c0 x0 y 0

Il suffit donc de trouver une valeur de θ pour laquelle c0 = 0. Commençons par simplifier
l’expression :
 
c0 = −2a cos(θ) sin(θ) + 2b sin(θ) cos(θ) + c cos2 (θ) − sin2 (θ)
= −a sin(2θ) + b sin(2θ) + c cos(2θ)
= (b − a) sin(2θ) + c cos(2θ).

Si c = 0 il n’y a pas besoin de changer de repère, nous supposerons donc c 6= 0. Si a = b,

on a c0 = c cos(2θ) et on peut prendre θ = π/4. Sinon, on peut supposer cos(2θ) 6= 0, ce
qui donne
c
= tan(2θ).
a−b
2.2. Courbes du second degré 43

Il suffit donc de poser

1 c
 
θ= arctan .
2 a−b
Étudions maintenant les coefficients a0 et b0 de la nouvelle équation. On a
(
a0 = a cos2 (θ) + b sin2 (θ) + c sin(θ) cos(θ)
b0 = a sin2 (θ) + b cos2 (θ) − c cos(θ) sin(θ)

d’où (
a0 + b0 = a+b
a0 − b0 = (a − b) cos(2θ) + c sin(2θ)

Supposons que a0 = 0 = b0 . On a alors a = −b. Il faut ensuite distinguer deux cas

• Si a = b, alors ils sont tous les deux nuls et θ = π/4. La deuxième équation donne
alors
0 = c sin(2θ) = c,

ce qui contredit l’hypothèse c 6= 0.

• Si a 6= b, alors cos(2θ) 6= 0 et la second équation donne

b−a c
= tan(2θ) = .
c a−b

On en déduit c2 = (a − b)(b − a) < 0, qui n’est possible que si a = b = c = 0.

Deuxième étape
Nous savons donc qu’une courbe du second degré est, dans un repère approprié décrite
par l’équation
ax2 + by 2 + dx + ye + f = 0.

L’idée est maintenant de faire disparaître les termes de degré 1 en les regroupant avec les
termes de degré 2, exactement comme dans le cas des équations en une seule variable. Il
y a trois cas à distinguer
1. Supposons pour l’instant a, b 6= 0, alors

d 2 d2
2
e e2
  
ax2 + by 2 + dx + ey + f = a x+ − +b y+ − +f
2 4 2 4
d 2
2
e
  
= a x+ +b y+ −K
2 2

Translatons l’origine du repère en un nouveau point O0 de coordonnées (−d/2, −e/2).

Les nouvelles coordonnées s’écrivent
d
X =x+
2
e
Y =y+
2
et on obtient
aX 2 + bY 2 = K. (2.5)
44 Chapitre 2. Coniques

2. Nous allons maintenant supposer que a = 0. Par hypothèse, on a alors b 6= 0 donc

l’équation devient
e 2
 
b y+ + dx − K = 0
2
et on peut translater l’origine du repère en un nouveau point O0 de coordonnées
(0, −e/2) pour obtenir
dX + bY 2 = K. (2.6)

3. Il reste le cas a 6= 0 et b = 0, mais quitte à échanger x et y on peut alors se rammener

au cas précédent.

2.2.2 Cas dégénérés

Nous pouvons maintenant voir à quelle condition une courbe du second degré est une
conique. La distinction vient de la valeur de K. Nous allons d’abord traiter plusieurs cas
assez simples. Supposons pour commencer que K = 0. Alors, l’équation (2.5) admet les
solutions suivantes :
• Si a et b sont de mêmes signes, l’ensemble des solutions est le point (0, 0).
• Si a et b sont de signes différents, l’ensemble des solutions est la réunion des droites
d’équations s s
|a| |a|
Y = X et Y = − X.
|b| |b|

Supposons maintenant K > 0 et a, b < 0. Alors, l’ensemble des solutions de l’équation

(2.5) est vide. De même si K < 0 et a, b > 0. Enfin, supposons que d = 0 dans l’équation
(2.6). Alors, l’ensemble des solutions est
• Un point si b et K sont de même signe.
• L’ensemble vide si b et K sont de signe différent.
Tous ces cas particuliers ne sont pas vraiment des courbes, c’est la raison pour laquelle on
les appelles courbes du second degré dégénérées.

2.2.3 Cas non-dégénérés

Nous allons maintenant montrer qu’une courbe du second degré qui n’est pas dégénérée
est soit une conique soit un cercle.

Parabole
Commençons par l’équation (2.6) avec d 6= 0. Comme b 6= 0, on peut diviser et ram-
mener l’équation sous la forme

d K
Y2 =− X +
b b 
d K
=− X− .
b d

Soit O00 le point de coordonnées (K/d, 0). En notant (X 0 , Y 0 ) les coordonnées dans le
repère (O00 ,~i0 , ~j 0 ), on a
Y 02 = 2pX 0 ,
où p = −d/2b. On reconnaît l’équation (2.1) d’une parabole.
2.2. Courbes du second degré 45

Hyperbole
Considérons maintenant l’équation (2.5) avec K 6= 0 et supposons que a et b ne sont
pas de même signe. Après division par K, l’équation (2.5) devient

a 2 b
X + Y 2 = 1.
K K
Comme a/K et b/K sont de signe différent on peut, quitte à échanger les rôles de X et
Y , supposer que a/K > 0 et b/K < 0. On a alors

X2 Y 2
− 2 = 1,
A2 B
r r
K K
où A = et B = − . On reconnaît l’équation (2.2) d’une hyperbole.
a b

Ellipse
Il nous reste à traiter le cas où K, a et b sont de même signe. En divisant, on obtient

X2 Y 2
+ 2 = 1,
A2 B
r r
K K
où A = et B = . On reconnaît l’équation (2.3) d’une ellipse si a 6= b et l’équation
a b
d’un cercle si a = b.

2.2.4 Discriminant et trace

L’inconvénient des résultats précédents est qu’il faut beaucoup de calculs pour obtenir
la nature d’une courbe du second degré. Nous allons maintenant voir que, pourvu que l’on
sache qu’une certaine courbe est non-dégénérée, il est possible de déterminer sa nature
très simplement. La stratégie est la suivante : nous allons définir deux quantités associées
à une équation du secon degré qui sont invariantes par le processus de réduction et qui dé-
terminent la conique associée. Il suffira donc de calculer ces deux invariants pour identifier
n’importe quelle courbe du second degré.

Définition 2.2.3. Considérons dans le repère orthonormé canonique (O,~i, ~j) une équation
du second degré
ax2 + by 2 + cxy + dx + ey + f = 0.
 2
c
Son discriminant est le nombre ∆ = ab − et sa trace est le nombre T = a + b.
2
Proposition 2.2.4. La réduction de l’équation quadratique ne modifie ni le discriminant
ni la trace

Démonstration. Considérons la première étape de la réduction, qui transforme a, b et c en

a0 , b0 et 0. Rappelons les expressions obtenues dans la preuve de la Proposition 2.2.2 :

a0 = a cos2 (θ) + b sin2 (θ) + c sin(θ) cos(θ)

1
= (a(1 + cos(2θ)) + b(1 − cos(2θ)) + c sin(2θ)))
2
b0 = a sin2 (θ) + b cos2 (θ) − c sin(θ) cos(θ)
1
= (a(1 − cos(2θ)) + b(1 + cos(2θ)) − c sin(2θ))) .
2
46 Chapitre 2. Coniques

Pour simplifier les calculs, nous allons décomposer le discriminant ∆0 = 4a0 b0 en trois
termes :
A = a2 (1 − cos2 (2θ)) + b2 (1 − cos2 (2θ)) − c2 sin2 (2θ)
= (a2 + b2 ) sin2 (2θ) − c2 sin2 (2θ)
B = ab(1 − cos(2θ))2 + ab(1 + cos(2θ))2
= 2ab + 2ab cos2 (2θ)
= 4ab − 2ab sin2 (2θ)
C = −ac(1 + cos(2θ)) sin(2θ) + ac(1 − cos(2θ)) sin(2θ) − bc(1 − cos(2θ)) sin(2θ) + bc(1 + cos(2θ)) sin(2θ)
= −2ac cos(2θ) sin(2θ) + 2bc cos(2θ) sin(2θ)
= 2(b − a)c cos(2θ) sin(2θ)
On sait de plus que l’angle θ vérifie (a − b) sin(2θ) = c cos(2θ), d’où
C = −2c2 cos2 (2θ).
En combinant on obtient
∆0 = a0 b0
A+B+C
=
4
(a2 + b2 ) sin2 (2θ) − c2 sin2 (2θ) + 4ab − 2ab sin2 (2θ) − 2c2 cos2 (2θ)
=
4
(a − b) sin (2θ) − c cos (2θ) + 4ab − c2
2 2 2 2
=
4
c cos (2θ) − c cos2 (2θ)
2 2 2
=∆+
4
= ∆.
Le discriminant n’est donc pas changé par la première étape. Pour la trace, on a déjà
observé dans la preuve de la Proposition 2.2.2 que a0 + b0 = a + b, donc elle n’est pas
modifiée non plus. Quant à la deuxième étape, qui consiste à changer l’origine du repère,
elle ne modifie pas la partie quadratique de l’équation donc ne change ni le discriminant
ni la trace.

Théorème 2.2.5. Soit C une courbe du second degré non-dégénérée et soit ∆ le discri-
minant d’une équation du second degré quelconque de C . Alors,
• Si ∆ = 0, C est une parabole.
• Si ∆ < 0, C est une hyperbole.
• Si ∆ > 0, C est une ellipse ou un cercle.
Démonstration. Calculons d’abord le discriminant des équations des coniques. Dans le cas
de la parabole, on a ∆ = 0, dans le cas de l’hyperbole, on a
1
∆=− <0
a2 b2
et dans le cas de l’ellipse et du cercle on a
1
∆= > 0.
a2 b2
On sait que l’équation d’une courbe du second degré non-dégénérée se réduit à l’une des
trois précédentes et le résultat est donc une conséquence immédiate de la Proposition
2.2.4.
2.3. Sections coniques 47

Dans le cas de la parabole, la trace est égale à 1 et ne nous donne donc pas d’informa-
tion supplémentaire. Dans les deux autres cas, la trace est égale à a−2 ± b−2 . Comme le
discriminant est égal à a−2 b−2 , on peut retrouver a2 et b2 à partir du discriminant et de
la trace : ce sont les racines du polynôme caractéristique

X 2 − T X + ∆.

La donnée de a2 et b2 permet alors de retrouver e et p.

2.3 Sections coniques

Dans cette dernière section, nous allons étudier les courbes obtenues comme intersec-
tion d’un cône et d’un plan. Nous allons montrer qu’il s’agit de courbes du second degré
et en déduire à quelle condition ces courbes sont des coniques, ainsi que leur nature le cas
échéant. Nous travaillerons dans l’espace affine de dimension 3 qui se définit de façon exac-
tement analogue au plan affine (voir le début du Chapitre 3 pour plus de détails). Fixons
un repère orthonormé R = (O,~i, ~j, ~k) de l’espace affine et considérons une droite ∆ qui
n’est pas incluse dans le plan (O,~i, ~j). Elle forme donc avec ce plan un angle que nous
noterons α et que, quitte à changer ~k en −~k, on peut supposer dans l’intervalle ]0, π/2[.

Définition 2.3.1. Le cône de révolution d’axe O~k et de génératrice ∆ est l’ensemble des
images de ∆ par des rotations d’axe O~k.

On peut bien sûr définir un cône de révolution d’axe quelconque, mais il suffit alors de
changer de repère pour que l’axe devienne O~k. Nous faisons ce choix pour simplifier les
calculs.

Remarque 2.3.2. Cette définition a toujours un sens si ∆ est incluse dans le plan (O,~i, ~j)
(c’est-à-dire α = 0), mais le cône de révolution est alors le plan (O,~i, ~j) qui est un cas
dégénéré. De même si ∆ est confondue avec O~k (c’est-à-dire α = π/2) le cône se réduit
alors à l’axe O~k.

Définition 2.3.3. Une section conique est une courbe de la forme C ∩ P , où C est un
cône de révolution d’axe O~k et P est un plan affine.

2.3.1 Équation
L’objectif de cette section est d’obtenir une équation décrivant une section conique
quelconque. Pour ce faire, il nous faut d’abord être capable de décrire le cône de révolution
par une équation cartésienne.
48 Chapitre 2. Coniques

Proposition 2.3.4. Une équation cartésienne du cône de révolution d’axe O~k et de gé-
nératrice ∆ est donnée dans le repère R par

x2 + y 2 = tan2 (α)z 2 . (2.7)

Démonstration. Soit z0 ∈ R et soit Pz0 le plan affine d’équation z = z0 . L’intersection

∆ ∩ P est réduite à un point M0 de coordonnées (x0 , y0 , z0 ). Les images de ce point par
toutes les rotations d’axe O~k forment un cercle de centre M1 de coordonnées (0, 0, z0 ) et
de rayon
R2 = (M0 M1 )2 = x20 + y02 .
Comme M0 appartient à la droite ∆, on sait que l’angle en O du triangle OM0 M1 est égal
à α. Ce triangle est par construction rectangle en M1 , donc

M0 M1 = OM1 tan(α)
= z0 tan(α).

Ainsi, une équation de Pz0 ∩ C est

x2 + y 2 = tan(α)2 z02 .

Pour obtenir une équation du cône, il suffit de remarquer que si (x, y, z) est un point du
cône, alors il appartient à l’intersection du cône et de Pz , donc x2 + y 2 = tan(α)2 z 2 .

Soit P un plan affine. Il existe trois réels ϕ, θ et µ tels que P ait pour équation

cos(θ) cos(ϕ)x + cos(θ) sin(ϕ)y + sin(θ)z = µ.

Soit ρ la rotation d’axe O~k et d’angle −ϕ. Comme le cône de révolution C est invariant
par toutes les rotations d’axe O~k, on a

C ∩ ρ(P ) = ρ(C) ∩ ρ(P ) = ρ(C ∩ P ).

De plus, ρ(P ) admet une équation plus simple, à savoir

cos(θ)x + sin(θ)z = µ. (2.8)

Nous noterons P (θ, µ) le plan affine défini par l’équation (2.8) et, quitte à changer ~k en −~k,
nous supposerons que θ peut être choisi dans l’intervalle [0, π/2]. Toute section conique
est donc l’image de C ∩ P (θ, µ) pour un certain couple (θ, µ) par une rotation d’axe O~k.
Il suffit par conséquent d’étudier ces sections particulières pour obtenir toutes les sections
coniques. Pour obtenir une équation de C ∩ P (θ, µ), nous allons distinguer trois cas :
1. Si cos(θ) = 0, alors l’équation (2.8) devient ±z = µ. En remplaçant dans l’équation
(2.7), on obtient
x2 + y 2 = tan2 (α)µ2 .
2. Si sin(θ) = 0, alors l’équation (2.8) devient ±x = µ. En remplaçant dans l’équation
(2.7), on obtient
µ2 + y 2 = tan2 (α)z 2 .
3. Si sin(θ), cos(θ) 6= 0, alors l’équation (2.8) devient
µ x
z= − .
sin(θ) tan(θ)
En remplaçant dans l’équation (2.7), on obtient
2
tan2 (α) µ

2 2
x +y = x− .
tan2 (θ) cos(θ)
2.3. Sections coniques 49

Remarquons que les équations que nous avons écrites font intervenir les coordonnées
de points de l’espace. Ce ne sont donc pas des équations de courbes (ce sont des équations
de cylindres). Pour obtenir une courbe, il faut un système de deux équations, la deuxième
étant l’équation (2.8) de P (θ, µ). Une autre façon de procéder est de fixer un repère de
P (θ, µ) et de réécrire l’équation dans ce repère. Dans les deux premiers cas, cela se fait
aisément.
1. Soit Ω le point de coordonnées (0, 0, ±µ), alors l’équation dans le repère (Ω,~i, ~j) (qui
est un repère de P (θ, µ)) est

x2 + y 2 = tan(α)2 µ2 .

Si µ 6= 0, il s’agit d’une équation du cercle de centre Ω et de rayon tan(α)µ. Si µ = 0,

il s’agit d’une équation du point Ω.
2. Soit Ω le point de coordonnées (±µ, 0, 0), alors l’équation dans le repère (Ω, ~j, ~k)(qui
est un repère de P (θ, µ) est

µ2 + y 2 = tan2 (α)z 2 .
s
1
Il s’agit d’un équation d’une hyperbole d’excentricité e = 1+ et de para-
tan2 (α)
1
mètre .
µ2 tan2 (α)
Quant au troisième cas, il n’y a pas de choix évident d’origine ni même d’axe (le plan
P (θ, µ) ne contient aucune droite parallèle à ~i ou ~k dans ce cas) qui permette d’obtenir
une équation dans le plan. Pour obtenir une équation plane de la section, fixons comme
origine le point d’intersection Ω de O~k et P (θ, µ), qui a pour coordonnées

µ
 
Ω : 0, 0, .
sin(θ)

On peut prendre l’axe Ω~j mais il nous faut un second axe pour notre repère. Soit ∆ la
droite d’intersection de P (θ, µ) et (O,~i, ~j) et soit H le projeté orthogonal de Ω sur ∆. On
pose
−−→
~i0 = ΩH .
ΩH
Nous avons donc maintenant un repère R = (Ω,~i0 , ~j) dans lequel les coordonnées (X, Y )
0

d’un point sont reliées à ses coordonnées (x, y, z) dans R de la façon suivante :




x = X cos(θ)
y = Y

µ cos(θ)X
−

 z =


sin(θ) tan(θ)

L’équation de la section conique dans le repère R0 est donc

2
tan2 (α) µ

cos2 (θ)X 2 + Y 2 = 2 cos(θ)X − . (2.9)
tan (θ) cos(θ)

2.3.2 Classification
D’après ce qui précède, toute section conique est soit une courbe dégénérée soit une
conique ou un cercle, sa nature ne dépendant que des valeurs de θ et µ. Il suffit pour
50 Chapitre 2. Coniques

la déterminer d’utiliser le discriminant et la trace comme vu à la Section 2.2.4. Il faut

cependant tout d’abord exclure les cas dégénérés. L’équation (2.9) peut s’écrire
!
2 tan2 (α) tan2 (α) tan2 (α) 2
cos (θ) 1 − 2 X 2 + Y 2 + 2µ 2 X= µ .
tan (θ) tan (θ) tan2 (θ)

Le section conique est donc dégénérée si et seulement si µ = 0, c’est-à-dire si le plan

P (θ, µ) passe par l’origine O du repère, autrement dit par le sommet du cône. Dans ce
cas, on a trois possibilités :
• Si θ = α, on a Y 2 = 0 et la courbe est une droite (une génératrice du cône).
• Si θ < α, la courbe est réduite au point O.
• Si θ > α, la courbe est la réunion de deux droites.
Si µ 6= 0, la section conique est une courbe du second degré non dégénérée et nous
pouvons appliquer la méthode du discriminant. Ce dernier vaut
!
2 tan2 (α)
∆ = cos (θ) 1 − × 1.
tan2 (θ)

On a donc la classification suivante :

• Si θ = α, alors la section conique est une parabole. Dans ce cas le plan est parallèle
à une génératrice du cône.
• Si 0 < θ < α, alors la section conique est une hyperbole. Dans ce cas, le plan coup
les deux nappes du cône.
• Si α < θ < π/2, alors la section conique est une ellipse. Dans ce cas, le plan ne coupe
qu’une seule des deux nappes du cône.
• Si θ = π/2, alors la section conique est un cercle. Dans ce cas, le plan est orthogonal
à l’axe O~k.
Si θ 6= α, la trace de l’équation (2.9) est
!
2 tan2 (α)
T = cos (θ) 1 − + 1 = ∆ + 1.
tan2 (θ)

Le polynôme caractéristique est donc

X 2 − T X + ∆ = X 2 − (∆ + 1)X + ∆
= (X − ∆)(X − 1).
√
Les coefficients de l’équation réduite sont donc ∆−1 et 1. On en déduit les valeurs
de l’excentricité et du paramètre. Cela nécessite d’identifier parmi les deux racines du
polynôme caractéristique laquelle est la plus grande (que nous avons notée a). Cela dépend
de la position de ∆ par rapport à ±1.
√ √
• Si 0 < ∆ < 1, on a e = 1 − ∆ et p = ∆.
r
1 1
• Si 1 < ∆, on a e = 1− et p = √ .
∆ ∆
√ √
• Si −1 < ∆ < 0, on a e = 1 + ∆ et p = −∆.
r
1 1
• Si ∆ < −1, on a e = 1+ et p = − √ .
∆ ∆
2.3. Sections coniques 51

2.3.3 Foyer et directrice

Nous avons donc élucidé la nature des sections coniques en passant par les courbes du
second degré. Ce résultat n’est pas totalement satisfaisant puisque quand la section est
une conique, il ne donne pas de description géométrique du foyer et de la directrice. Une
telle description géométrique existe, mais nous la donnons sans démonstration.

Théorème 2.3.5 (Dandelin). Soit C un cône de révolution d’axe O~k et soit P un plan
affine ne contenant pas l’origine et qui n’est pas parallèle à une directrice de C. Alors, il
existe deux sphères S1 et S2 tangentes à la fois à P en un point et à C en un cercle. De
plus, en notant
• F1 et F2 les points de tangence de S1 et S2 avec P
• P1 et P2 les plans contenant les cercles de tangence de S1 et S2 avec C
la section conique est une conique de foyer F1 et de directrice P1 ∩ P et également une
conique de foyer F2 et de directrice P2 ∩ P .
Chapitre 3

Surfaces
54 Chapitre 3. Surfaces

3.1 Nappes paramétrées

Dans ce chapitre, nous allons étudier les surfaces. Comme pour les courbes, notre
approche sera analytique et nous suivrons le même plan général. En particulier, nous nous
placerons dans R3 vu comme espace affine de dimension 3, dont les éléments sont des
points. Comme dans le cas du plan affine, deux points définissent un vecteur et un point
et un vecteur définissent un autre point de l’espace affine. Pour obtenir un repère, il faut
une origine O ainsi qu’une base de l’espace vectoriel R3 , qui sera donc composée de trois
vecteurs ~i, ~j et ~k. Un tel repère sera noté R = (O,~i, ~j, ~k). Un point peut alors être décrit
par ses coordonnées dans le repère R comme dans le cas du plan. On définit de même la
distance entre deux points à l’aide de la norme des vecteurs de l’espace. Si A et B sont
deux points de coordonnées respectives (x1 , y1 , z1 ) et (x2 , y2 , z2 ), leur distance sera donc
q
(x1 − x2 )2 + (y1 − y2 )2 + (z1 − z2 )2 .

L’étude des surfaces présente toutefois une différence fondamentale avec celle des
courbes. En effet, une surface est intuitivement un objet à deux dimensions et sera donc
décrite par une fonction de deux variables. L’étude de telles fonctions nécessite des outils
d’analyse plus poussés que ceux que nous avons utilisés jusqu’à maintenant, notamment
le calcul différentiel, que nous commençons par rappeler.

3.1.1 Rappels sur les fonctions de deux variables

L’étude de la différentiabilité, c’est-à-dire la généralisation de la dérivabilité pour les
fonctions de plusieurs variables, utilise le vocabulaire de la topologie. Comme notre but
est ici d’appliquer ces notions aux surfaces, nous rappellerons simplement les définitions
nécessaires concernant la topologie de R2 . Les intervalles ouverts de R utilisés pour les
courbes seront ici remplacés par les ouverts de R2 .
Définition 3.1.1. Soit x ∈ R2 et soit R > 0. Le disque ouvert D(x, R) de centre x et de
rayon R est l’ensemble
D(x, R) = {y ∈ R2 , d(x, y) < R}.
Graphiquement cette définition correspont à la notion intuitive d’un disque "sans son
bord" :

On appelle ouvert de R2 une partie U telle que pour tout x ∈ U , il existe R > 0 tel que
D(x, R) ⊂ U .
Cette définition permet de donner un sens à la continuité pour les fonctions de deux
variables.
3.1. Nappes paramétrées 55

Définition 3.1.2. Soit V une partie de R2 et soit x ∈ V . Une application f : V → R est

dite continue en x si pour tout  > 0 il existe η > 0 tel que f (D(x, η)) ⊂ [f (x)−, f (x)+].
Elle est dite continue sur V si elle est continue en x pour tout x ∈ V .
Remarque 3.1.3. La définition apparemment compliquée de la continuité dit simplement
la chose suivante : f est continue en x si f (y) tend vers f (x) quand y tend vers x. Le
problème est de donner un sens rigoureux à l’expression "tend vers". Intuitivement, cela
signifie que la distance euclidienne d(y, x) tend vers 0. Donc, f est continue si pour tout
 fixé, f (y) est égal à f (x) à  près dès que y est à distance suffisamment petite de x.
C’est un bon exercice d’écrire cette phrase avec des quantificateurs et de la comparer à la
définition pour vérifier qu’elles coïncident.
Soit U un ouvert de R2 et soit f : U → R une application. Pour obtenir une "dérivée"
pour f , on peut se ramener à des fonctions d’une variable. En effet, pour (s0 , t0 ) ∈ U on
peut définir deux fonctions d’une variable
( (
R → R R → R
ft0 : et fs0 : .
s 7→ f (s, t0 ) t 7→ f (s0 , t)

Si ces fonctions sont dérivables en s0 et t0 respectivement, on note leurs dérivées

∂f
ft00 (s0 ) = (s0 , t0 )
∂s
∂f
fs0 0 (t0 ) = (s0 , t0 ).
∂t
Si ces dérivées existent pour tout (s0 , t0 ) ∈ U , on obtient deux nouvelles fonctions de deux
variables de U dans R appelées dérivées partielles de f . Attention, l’existence des dérivées
partielles n’est pas une bonne notion de dérivabilité pour les fonctions de deux variables
(il faut utiliser la notion plus forte de différentielle). Toutefois, nous n’utiliserons que des
fonctions avec une certaine régularité, qui peut se définir à l’aide des dérivées partielles
par récurrence.
Définition 3.1.4. Soit U un ouvert de R2 . Une fonction f : U → R est dite de classe C 1 si
ses dérivées partielles existent et sont continues sur U . Soit k > 2, une fonction f : U → R2
est dite de classe C k si ses dérivées partielles existent et sont des fonctions de classe C k−1 .
Si n = 2, 3 et si R est un repère de l’espace affine Rn , pour toute fonction f : U → Rn
il existe des fonctions f1 , . . . , fn : U → R telles que pour tout x ∈ U ,

f (x) = (f1 (x), . . . , fn (x)).

On dit alors que f est de classe C k si fi est de classe C k pour tout 1 6 i 6 n.

Comme pour les courbes, notre étude des surfaces utilisera les développements limités.
Dans le cas des fonctions de deux variables, le développement limité à l’ordre 1 prend la
forme suivante :
Proposition 3.1.5. Soit U un ouvert de R2 et soit f : U → R une fonction de classe
C 1 . Soit (s0 , t0 ) ∈ U et soit R > 0 tel que D((s0 , t0 ), R) ⊂ U . Alors, pour tout (s, t) ∈
D((s0 , t0 ), R),
∂f ∂f
f (s, t) = f (s0 , t0 ) + (s − s0 ) (s0 , t0 ) + (t − t0 ) (s0 , t0 ) + o(d((s, t), (s0 , t0 ))).
∂s ∂t
Il existe bien sûr des développements limités aux ordres plus élevés si la régularité de
le fonction est suffisante, mais ils sont plus complexes à écrire. Le développement limité à
l’ordre 2 sera donné plus loin quand il sera nécessaire.
56 Chapitre 3. Surfaces

3.1.2 Définition
Nous pouvons maintenant définir l’objet analytique qui nous permettra d’étudier les
surfaces :
Définition 3.1.6. Une nappe paramétré de classe C k est une application
ϕ : U → R3
de classe C k , où U est un ouvert de R2 et R3 désigne l’espace affine. L’image de ϕ est
appelée support de ϕ (ou parfois support géométrique de ϕ). On appelle surface paramétrée
de l’espace de classe C k tout support d’une nappe paramétrée de classe C k .
Exemple 3.1.7. Soient a, b, c ∈ R et soient ~u et ~v deux vecteurs de l’espace non colinéaires.
On définit une nappe paramétrée ϕ : R2 → R3 par
ϕ(s, t) = (a, b, c) + s~u + t~v .
Il s’agit d’une nappe paramétrée de classe C ∞ dont le support est le plan dirigé par les
vecteurs ~u et ~v et passant par le point (a, b, c). Notons que pour tout (s0 , t0 ) ∈ R2 , on a
ϕ(s, t) = ϕ(s0 , t0 ) + (s − s0 )~u + (t − t0 )~v .
Fixons un repère R = (O,~i, ~j, ~k) de l’espace. Alors, une nappe paramétrée de classe
Ck est donnée par trois fonctions, x, y, z : U → R de classe C k via la décomposition
ϕ(s, t) = (x(s, t), y(s, t), z(s, t)).
On dira alors que ϕ est une paramétrisation cartésienne. Nous utiliserons systématique-
ment cette description dans la suite, la plupart du temps en ne précisant pas le repère R,
qui sera alors le repère canonique Rcan de R3 , c’est-à-dire
      
1 0 0
Rcan = (0, 0, 0),  0  ,  1  ,  0  .
      
0 0 1

Cela nous permet de nous ramener à l’étude de trois fonctions de R2 dans R.

Remarque 3.1.8. Il existe deux autre types de paramétrisation couramment utilisées :
la paramétrisation cylindrique et la paramétrisation sphérique. Elles peuvent s’évérer plus
adaptées que la paramétrisation cartésienne dans certains cas, mais par soucis de simplicité
nous ne nous en servirons pas.
Exemple 3.1.9. Soient a, b, c ∈ R, soit R > 0 et soit ϕ : R2 → R3 la nappe paramétrée
définie par
ϕ(s, t) = (a + R cos(s) cos(t), b + R sin(s) cos(t), c + R sin(t)).
Il s’agit d’une nappe de classe C ∞ dont le support est la sphère de centre (a, b, c) et de
rayon R.
Comme dans le cas des courbes, on voit apparaître dans l’exemple 3.1.9 des points
multiples, qui se définissent naturellement.
Définition 3.1.10. Soit ϕ : U → R3 une nappe paramétrée. Un point M du support de
ϕ est dit multiple s’il existe x, x0 ∈ U tels que x 6= x0 et ϕ(x) = M = ϕ(x0 ). Une nappe
paramétrée ϕ : U → R3 est dite simple si ϕ est injective. Une surface S est dite simple si
elle admet un paramétrage simple.
Toutefois, la notion de point multiple étant complexe dans le cas des surfaces, nous ne
l’aborderons pas dans ce cours.
3.2. Étude locale 57

3.1.3 Changement de paramétrage

Comme pour les courbes, une surface donnée admet de nombreux paramétrages et les
changements de paramétrage se font au moyen de C k -difféomorphismes de deux variables,
dont nous rappelons la définition.

Définition 3.1.11. Soient U et V deux ouverts de R2 , soit F : V → U une application.

On dit que F est un C k -difféomorphisme si
• F est de classe C k .
• F est bijective.
• F −1 est de classe C k .

Définition 3.1.12. Soit ϕ : U → R3 une nappe paramétrée et soit V un ouvert de R2 .

Un changement de paramétrage de classe C k est un C k -difféomorphisme F : V → U . La
nappe
ψ = ϕ ◦ F : V → R3
est appelée nappe reparamétrée par F .

Nous aurons besoin plus tard du résultat suivant sur les difféomorphismes :

Proposition 3.1.13. Soient U et V deux ouverts de R2 et soit F : V → U un difféomor-

phisme de classe C k . Notons F (a, b) = (F1 (a, b), F2 (a, b)). Alors, pour tout (a0 , b0 ) ∈ U , la
matrice  
∂F1 ∂F 1
 ∂a (a0 , b0 ) ∂b (a0 , b0 ) 
 
J(a0 ,b0 ) (F ) = 



 ∂F2 ∂F2 
(a0 , b0 ) (a0 , b0 )
∂a ∂b
est inversible. Cette matrice est appelée matrice jacobienne de F au point (a0 , b0 ).

3.2 Étude locale

Pour une surface, il n’y a pas de façon simple d’étudier le comportement à l’infini,
contrairement au cas des branches infinies pour les courbes. Nous allons donc directement
nous intéresser au comportement local de la surface.

3.2.1 Plan tangent

Fixons un ouvert U de R2 et une nappe paramétrée ϕ : U → R3 . Pour étudier la
surface au voisinage d’un point ϕ(s0 , t0 ), nous allons essayer de l’approcher par un plan.
Pour ce faire, il suffit d’utiliser les développements limités des fonctions coordonnées x, y
et z donnés par la proposition 3.1.5 pour obtenir un développement limité de ϕ :

∂x ∂y ∂z
 
ϕ(s, t) = (x(s0 , t0 ), y(s0 , t0 ), z(s0 , t0 )) + (s − s0 ) (s0 , t0 ), (s0 , t0 ), (s0 , t0 )
∂s ∂s ∂s
∂x ∂y ∂z
 
+ (t − t0 ) (s0 , t0 ), (s0 , t0 ), (s0 , t0 ) + d((s, t), (s0 , t0 ))→ −
ε (d((s, t), (s0 , t0 )))
∂t ∂t ∂t
∂ϕ ∂ϕ
= ϕ(s0 , t0 ) + (s − s0 ) (s0 , t0 ) + (t − t0 ) (s0 , t0 )
∂s ∂t
+ →
−
d((s, t), (s0 , t0 )) ε (d((s, t), (s0 , t0 )))
= ψ(s, t) + d((s, t), (s , t ))→
0 0
−
ε (d((s, t), (s , t ))),
0 0
58 Chapitre 3. Surfaces

∂ϕ ∂ϕ
où les vecteurs (s0 , t0 ) et (s0 , t0 ) sont définis dans le repère choisi par
∂s ∂t
∂ϕ ∂x ∂y ∂z
 
(s0 , t0 ) = (s0 , t0 ), (s0 , t0 ), (s0 , t0 )
∂s ∂s ∂s ∂s
∂ϕ ∂x ∂y ∂z
 
(s0 , t0 ) = (s0 , t0 ), (s0 , t0 ), (s0 , t0 ) .
∂t ∂t ∂t ∂t
Supposons que ces vecteurs ne sont pas colinéaires. Alors, le support de la nappe paramétré
t 7→ ψ(t) est, d’après l’exemple 3.1.7, le plan dirigé par les vecteurs
∂ϕ ∂ϕ
(s0 , t0 ) et (s0 , t0 )
∂s ∂t
et passant par ϕ(s0 , t0 ). Comme

d(ϕ(s, t), ψ(s, t)) −→ 0,

(s,t)→(s0 ,t0 )

on peut dire que le plan approche le support de ϕ. Cette observation mène à la définition
du plan tangent.

Définition 3.2.1. Soit ϕ : U → R3 une nappe paramétrée de classe C 1 et soit S son

support. Un point de paramètre (s0 , t0 ) est dit régulier si la famille de vecteurs
∂ϕ ∂ϕ
 
(s0 , t0 ), (s0 , t0 )
∂s ∂t
est libre. Dans ce cas le plan tangent à la surface au point ϕ(s0 , t0 ) est le plan dirigé par
ces deux vecteurs et passant par ϕ(s0 , t0 ). Il est noté Tϕ(s0 ,t0 ) S.

Comme pour les courbes, les dérivées partielles de ϕ seront vues comme des vecteurs
de l’espace vectoriel R3 . Toutefois, les notations deviendraient lourdes si nous ajoutions
systématiquement des flèches pour désigner ces vecteurs. Nous garderons donc les notations
de la définition précédente dans toute la suite.

Exemple 3.2.2. Considérons la nappe paramétrée ϕ : (s, t) 7→ (a, b, c) + s~u + t~v de

l’Exemple 3.1.7. En notant ~u = (ux , uy , uz ) et ~v = (vx , vy , vz ), on a
 

 ∂x 
 ∂x
(s, t) = ux (s, t) = vx

 

 



 ∂s 


 ∂t
 
∂y ∂y
(s, t) = uy et  (s, t) = vy



 ∂s 

 ∂t
 

 ∂z 
 ∂z
(s, t) = uz (s, t) = vz

 

 
∂s ∂t
Donc,
∂ϕ
(s, t) = ~u
∂s
∂ϕ
(s, t) = ~v .
∂t
Ainsi, le support de ϕ est son propre plan tangent en tout point.

Le plan tangent est un objet géométrique associé à la surface. Il doit donc être inva-
riant par changement de paramétrage. Pour le démontrer, nous aurons besoin de calculer
des dérivées partielles de fonctions composées grâce à la formule suivante :
3.2. Étude locale 59

Proposition 3.2.3. Soit U et V deux ouverts de R2 , soient f : U → R et g : V → U des

fonctions de classe C 1 avec g(a, b) = (g1 (a, b), g2 (a, b)) pour tout (a, b) ∈ V . Alors,
∂f ◦ g ∂g1 ∂f ∂g2 ∂f
= ◦g+ ◦g
∂a ∂a ∂s ∂a ∂t
∂f ◦ g ∂g1 ∂f ∂g2 ∂f
= ◦g+ ◦g
∂b ∂b ∂s ∂b ∂t

Proposition 3.2.4. Le plan tangent est invariant par changement de paramétrage.

Démonstration. Soit F : V → U un changement de paramétrage de classe C k et soit
ψ =ϕ◦F :V →U
la nappe reparamétrée par F . Soit (s0 , t0 ) ∈ U le paramètre d’un point régulier et (a0 , b0 ) =
F −1 (s0 , t0 ). Pour simplifier les calculs, nous écrirons
ϕ(s, t) = (X(s, t), Y (s, t), Z(s, t))
F (a, b) = (F1 (a, b), F2 (a, b))
ψ(a, b) = (A(a, b), B(a, b), C(a, b))
On a alors
∂A ∂F1 ∂X ∂F2 ∂X
(a0 , b0 ) = (a0 , b0 ) ◦ F (a0 , b0 ) + (a0 , b0 ) ◦ F (a0 , b0 )
∂a ∂a ∂s ∂a ∂t
∂F1 ∂X ∂F2 ∂X
= (a0 , b0 ) (s0 , t0 ) + (a0 , b0 ) (s0 , t0 )
∂a ∂s ∂a ∂t
et de même pour B et C. En regroupant, on obtient l’égalité
∂ψ ∂F1 ∂ϕ ∂F2 ∂ϕ
(a0 , b0 ) = (a0 , b0 ) (s0 , t0 ) + (a0 , b0 ) (s0 , t0 ).
∂a ∂a ∂s ∂a ∂t
En dérivant par rapport à b, on obtient la formule similaire
∂ψ ∂F1 ∂ϕ ∂F2 ∂ϕ
(a0 , b0 ) = (a0 , b0 ) (s0 , t0 ) + (a0 , b0 ) (s0 , t0 ).
∂b ∂b ∂s ∂b ∂t
Ceci montre que le sous-espace vectoriel engendré par les vecteurs ∂ψ ∂ψ
∂a (a0 , b0 ) et ∂b (a0 , b0 )
∂ϕ ∂ϕ
est inclus dans celui engendré par les vecteurs ∂s (s0 , t0 ) et ∂t (s0 , t0 ). Considérons la
matrice jacobienne de F au point (a0 , b0 ) :
 
 ∂F1 (a0 , b0 ) ∂F1
(a0 , b0 ) 
 ∂a ∂a 
J(a0 ,b0 ) (F ) = 

.

 ∂F2 ∂F2 
(a0 , b0 ) (a0 , b0 )
∂b ∂b
   
∂ψ ∂ψ ∂ϕ ∂ϕ
Le déterminant de la famille ∂a (a0 , b0 ), ∂b (a0 , b0 ) dans la base B = ∂a (a0 , b0 ), ∂b (a0 , b0 )
est donné par
∂ψ ∂ψ ∂F1 ∂F2 ∂F1 ∂F2
 
det (a0 , b0 ), (a0 , b0 ) = (a0 , b0 ) (a0 , b0 ) − (a0 , b0 ) (a0 , b0 )
B ∂a ∂b ∂a ∂b ∂b ∂a
= det(J(a0 ,b0 ) (F )).
Le déterminant de la matrice jacobienne est non nul par la Proposition 3.1.13 donc la
famille de vecteurs
∂ψ ∂ψ
 
(a0 , b0 ), (a0 , b0 )
∂a ∂b
est libre, ce qui signifie que ψ est régulier au point (a0 , b0 ) et que les plans tangents
coïncident.
60 Chapitre 3. Surfaces

Le plan tangent possède également, comme tout plan de l’espace, des équation cartésien-
nes, qu’il est possible de décrire à l’aide des dérivées partielles de f . Posons M0 = ϕ(s0 , t0 )
et soit M un point de l’espace de coordonnées (x, y, z). Le point M appartient au plan tan-
−−−→
gent si et seulement si le vecteur M0 M est une combinaison linéaire des vecteurs ∂ϕ ∂s (s0 , t0 )
∂ϕ
et ∂t (s0 , t0 ). Une façon d’exprimer cela est de dire que le déterminant de ces trois vecteurs
est nul. En posant ϕ(s, t) = (X(s, t), Y (s, t), Z(s, t)), nous obtenons l’équation suivante
du plan tangent :
∂X ∂X
(s0 , t0 ) (s0 , t0 ) x − X(s0 , t0 )
∂s ∂t
∂Y ∂Y
(s0 , t0 ) (s0 , t0 ) y − Y (s0 , t0 ) = 0 (3.1)
∂s ∂t
∂Z ∂Z
(s0 , t0 ) (s0 , t0 ) z − Z(s0 , t0 )
∂s ∂t

3.2.2 Vecteur normal

Une façon alternative de décrire un plan dans l’espace est de donner un vecteur qui
lui est orthogonal. Pour cela, il suffit de connaître deux vecteurs du plan qui ne sont pas
colinéaires. En effet, étant donnés deux vecteurs ~u = (ux , uy , uz ) et ~v = (vx , vy , vz ) de
l’espace, leur produit vectoriel ~u ∧ ~v défini par
 
uy vz − uz vy
~u ∧ ~v =  uz vx − ux vz 
 
ux vy − uy vx

est orthogonal à la fois à ~u et à ~v , comme on le vérifie en calculant le produit scalaire :

h~u, ~u ∧ ~v i = ux (uy vz − uz vy ) + uy (uz vx − ux vz ) + uz (ux vy − uy vx )

= (uy uz − uz uy )vx + (ux uz − uz ux )vy + (ux uy − uy ux )vz
= 0

et de même pour h~v , ~u ∧ ~v i. Si ~u et ~v ne sont pas colinéaires, ~u ∧ ~v est donc orthogonal

au plan qu’ils engendrent. Remarquons également que si ~u et ~v sont colinéaires, alors
~u ∧ ~v = 0. Ceci nous conduit à la définition suivante :

Définition 3.2.5. Soit (s0 , t0 ) le paramètre d’un point régulier. Le vecteur normal à la
surface au point ϕ(s0 , t0 ) est le vecteur

→
− 1 ∂ϕ ∂ϕ
N (s0 , t0 ) = (s0 , t0 ) ∧ (s0 , t0 ).
∂ϕ ∂ϕ ∂s ∂t
(s0 , t0 ) ∧ (s0 , t0 )
∂s ∂t

Le vecteur normal donne une autre façon d’obtenir l’équation du plan tangent. En
effet, un point M de coordonnées (x, y, z) appartient au plan tangent en M0 = ϕ(s0 , t0 ) si
et seulement si
−−−→ ∂ϕ ∂ϕ
 
M0 M , (s0 , t0 ) ∧ (s0 , t0 ) = 0
∂s ∂t

Exemple 3.2.6. Considérons la nappe paramétrée

ϕ : (s, t) 7→ (a + R cos(s) cos(t), b + R sin(s) cos(t), c + R sin(t))

3.2. Étude locale 61

de l’Exemple 3.1.9. On a
 

 ∂x 
 ∂x
(s, t) = −R sin(s) cos(t) (s, t) = −R cos(s) sin(t)

 

 



 ∂s 


 ∂t
 
∂y et ∂y
(s, t) = R cos(s) cos(t) (s, t) = −R sin(s) sin(t)



 ∂s 


 ∂t
 

 ∂z 
 ∂z
(s, t) = 0 (s, t) = R cos(t)

 

 
∂s ∂t
Le calcul du produit vectoriel donne alors
 
R2 cos(s) cos2 (t)
∂ϕ ∂ϕ
(s, t) ∧ (s, t) =  R2 sin(s) cos2 (t)
 
∂s ∂t

2 2 2 2
R sin (s) cos(t) sin(t) + R cos (s) cos(t) sin(t)
 
R cos(s) cos(t)
= R cos(t)  R sin(s) cos(t) 
 
R sin(t)
−−−−−→
= R cos(t)Cϕ(s, t).

où C est le point de coordonnées (a, b, c). Si cos(t) 6= 0, le point (s, t) est régulier quel
que soit s et le vecteur normal est colinéaire au rayon de la sphère. Autrement dit, le plan
tangent est le plan tangent usuel à la sphère au point correspondant. Si cos(t) = 0, c’est-à-
dire aux pôles nord et sud, le produit vectoriel est nul, ce qui signifie que les deux dérivées
partielles sont colinéaires. Autrement dit, la nappe paramétrée ϕ n’est pas régulière en ces
points.

3.2.3 Nappes régulières

L’Exemple 3.2.6 peut paraître surprenant, puisqu’on connait le plan tangent à la sphère
aux pôles nord et sud : ils ont pour équation z = c ± R. Le problème ne vient bien sûr pas
de la sphère, mais de la nappe paramétrée qui n’est pas régulière au sens suivant :
Définition 3.2.7. Une nappe paramétrée ϕ : U → R3 est dite régulière si elle est régulière
en tout point.
Il semble donc naturel de chercher un meilleur paramétrage qui soit régulier en tout
point. Cependant, cela est impossible à cause du résultat suivant, qui découle du Théorème
d’inversion locale. Rappelons que deux parties X et Y de R2 ou R3 sont dites homéo-
morphes s’il existe une bijection f : X → Y telle que f et f −1 sont continues.
Proposition 3.2.8. Soit ϕ : U → R3 une nappe paramétrée simple régulière. Alors, ϕ(U )
est homéomorphe à U .
Pour conclure que la sphère n’admet pas de paramétrage régulier, il faut encore montrer
qu’elle n’est pas homéomorphe à un ouvert du plan. Ce résultat vient du fait que la sphère
est un espace topologique compact, ce qui n’est le cas d’aucun ouvert du plan.
La Proposition 3.2.8 suggère que notre notion de nappe paramétrée n’est pas la plus
adaptée à l’étude des surfaces. En effet, peu de surfaces sont homéomorphes à un ouvert du
plan. Toutefois, dans le cas de la sphère, on peut considérer le paramétrage ψ : R2 → R3
donné par

ψ(s, t) = (a + R cos(s) cos(t), b + R sin(t), c + R sin(s) cos(t)).

On peut montrer que les pôles nord et sud sont réguliers pour ce paramétrage et qu’en tout
autre point régulier, le plan tangent est le même que pour le paramétrage ϕ de l’Exemple
62 Chapitre 3. Surfaces

3.2.6. Ainsi, en considérant en même temps les deux paramétrages ϕ et ψ, on peut décrire
la sphère comme une surface régulière. Cette idée nous mènera à la définition des variétés
à la Section 3.7. Pour le moment, retenons simplement qu’il nous suffit de trouver, pour
un point donné, un paramétrage qui soit régulier en ce point pour pouvoir étudier ses
propriétés locales.

3.3 Courbes sur une surface

Nous allons maintenant nous intéresser aux courbes tracées sur une surface. La façon
naturelle de définir un tel objet est de considérer un arc paramétré γ : I → R2 et une nappe
paramétrée ϕ : U → R3 tel que le support de γ est contenu dans U . Alors, ϕ ◦ γ : I → R3
est un arc paramétré dans l’espace contenu dans le support de ϕ, autrement dit c’est une
courbe tracée sur le support de ϕ. Toutefois, l’étude de ce genre de courbe nécessiterait
d’étendre les résultats que nous avons étudiés pour les courbes planes aux courbes dans
l’espace. Plutôt que de procéder dans cette généralité, nous allons étudier certaines courbes
sur les surfaces qui sont en fait contenues dans l’intersection de la surface avec un plan.
Définition 3.3.1. Soit ϕ : U → R3 une nappe paramétrée de support S, soit (s0 , t0 ) ∈ U
le paramètre d’un point régulier et soit P un plan affine de R3 passant par ϕ(s0 , t0 ) et
→
−
dont la direction contient le vecteur normal N (s0 , t0 ). On appelle section normale de S
au point (s0 , t0 ) ∈ U toute courbe paramétrée γ : I → U telle que
• Il existe r0 ∈ I tel que γ(r0 ) = (s0 , t0 ).
• ϕ ◦ γ ⊂ P ∩ S.
Remarque 3.3.2. Nous n’affirmons pas qu’étant donnée une nappe paramétrée et un plan
contenant la normale, il existe toujours une section normale. Cela dit, cette affirmation est
vraie pourvu que la surface soit suffisamment régulière. La preuve fait appel au Théorème
des fonctions implicites.

3.3.1 Vecteurs tangents

Soit ϕ : U → R3 une nappe paramétrée régulière de classe C 1 et soit γ : I → R2
une section normale. On peut considérer l’arc paramétré ψ = ϕ ◦ γ : I → R3 , dont le
support est une courbe tracée sur le support de ϕ. Soit r0 ∈ I tel que γ(r0 ) = (s0 , t0 ).
Nous pouvons alors essayer de calculer le vecteur tangent à ψ au point r0 . Pour ce faire,
posons
γ(r) = (x(r), y(r))
ϕ(s, t) = (X(s, t), Y (s, t), Z(s, t))
ψ(r) = (A(r), B(r), C(r))
On a alors
d ∂X ∂X
A0 (r) = X(x(r), y(r)) = x0 (r) (x(r), y(r)) + y 0 (r) (x(r), y(r))
dr ∂s ∂t
d ∂Y ∂Y
B 0 (r) = Y (x(r), y(r)) = x0 (r) (x(r), y(r)) + y 0 (r) (x(r), y(r))
dr ∂s ∂t
d ∂Z ∂Z
C 0 (r) = Z(x(r), y(r)) = x0 (r) (x(r), y(r)) + y 0 (r) (x(r), y(r))
dr ∂s ∂t

Par conséquent, le vecteur de coordonnées (A0 (r), B 0 (r), C 0 (r)) est égal à
∂ϕ ∂ϕ
x0 (r) ◦ γ(r) + y 0 (r) ◦ γ(r) ∈ Tγ(r) S.
∂s ∂t
3.3. Courbes sur une surface 63

On peut alléger l’expression précédente en introduisant la notion de différentielle.

Définition 3.3.3. Soit f : U → R3 une fonction de classe C 1 . La différentielle de f au

point (s, t) est l’application linéaire D(s,t) f : R2 → R3 définie par

∂f ∂f
D(s,t) f (h, k) = h (s, t) + k (s, t).
∂s ∂t
Remarque 3.3.4. Avec cette notion, on peut redéfinir le plan tangent au point ϕ(s0 , t0 )
comme l’image de la différentielle au point (s0 , t0 ).

On a alors
→
−0
ψ (r0 ) = D(s0 ,t0 ) ϕ(→
−
γ 0 (r0 )).
Ceci permet de donner une nouvelle description du plan tangent en termes de vecteurs
tangents aux sections normales.

Proposition 3.3.5. Le plan tangent au point ϕ(s0 , t0 ) est l’ensemble des vecteurs tangents
des sections normales à S en (s0 , t0 ).

Démonstration. Ce qui précède montre que les vecteurs tangents des sections normales à
S en (s0 , t0 ) appartiennent toujours au plan tangent. Réciproquement, soit ~u ∈ Tϕ(s0 ,t0 ) S.
→
−
Considérons le plan affine P dirigé par ~u et N et passant par ϕ(s0 , t0 ). Si γ : I → R2
est un section normale, son vecteur tangent appartient à P ∩ (Tϕ(s0 ,t0 ) S) qui est la droite
→
− →
−
engendrée par ~u. Donc ψ 0 (r0 ) = λ~u pour un certain λ 6= 0 et λ−1 ψ 0 (r0 ) = ~u. Il suffit alors
de considérer la section normale γλ : λI → R2 définie par

γλ (t) = γ(λ−1 t).

−−−−−→ −−−−→
En effet, on a alors (ϕ ◦ γλ )0 (λr0 ) = λ−1 (ϕ ◦ γ)0 (r0 )) = ~u.

3.3.2 Courbure normale

Nous venons de montrer que le plan tangent peut-être décrit par les vecteurs tangents
des sections normales à la surface. Nous allons de même essayer de définir une notion de
courbure pour les surfaces en utilisant les sections normales. Fixons une fois pour toute
un plan affine P de R3 passant par un point M0 = ϕ(s0 , t0 ) et dont la direction contient
→
−
le vecteur normal N (s0 , t0 ) et considérons une section normale γ : I → R2 associée. Le
vecteur tangent à γ en M0 est, d’après ce qui précède,

→
− 1
T (M0 ) = D f (→
−
γ 0 (r0 )) ∈ (TM0 S) ∩ P.
kD(s0 ,t0 ) f (→
−
γ 0 (r0 ))k (s0 ,t0 )
→
− →
− →
−
En particulier, T (M0 ) est orthogonal à N (M0 ), donc N (M0 ) est, au signe près, le vecteur
→
−
normal au support de γ au point M0 . Dans la suite, nous supposerons que N (M0 ) est égal
au vecteur normal. On sait par la Proposition 1.5.8 que la courbure de ψ = ϕ ◦ γ au point
de paramètre r0 est donnée par
D→
− →
− E
N (M0 ), ψ 00 (r0 )
cψ (r0 ) = →
− .
k ψ 0 (r0 )k2

Pour relier cette courbure à la surface, il faut exprimer cette quantité en fonction de ϕ.
Notons qu’une condition nécessaire pour que ce calcul ait un sens est que ψ soit de classe
64 Chapitre 3. Surfaces

C 2 , ce qui nécessite que ϕ elle-même soit de classe C 2 . Nous utiliserons les mêmes notations
que pour l’étude du vecteur tangent en écrivant

γ(r) = (x(r), y(r))

ϕ(s, t) = (X(s, t), Y (s, t), Z(s, t))
ψ(r) = (A(r), B(r), C(r))

Commençons par calculer A00 (r) en dérivant l’expression obtenue précédemment pour
A0 (r) :

∂X ∂X ∂2X
A00 (r) = x00 (r) (x(r), y(r)) + y 00 (r) (x(r), y(r)) + x0 (r)2 2 (x(r), y(r))
∂s ∂t ∂s !
∂ 2X ∂ 2X ∂2X
0 2 0 0
+ y (r) (x(r), y(r)) + x (r)y (r) (x(r), y(r)) + (x(r), y(r)) .
∂t2 ∂t∂s ∂s∂t

Il nous faut des notations pour simplifier cette expression et poursuivre notre étude. Rap-
pelons le résultat suivant de calcul différentiel :

Théorème 3.3.6 (Schwarz). Soit f : U → R une fonction de classe C 2 . Alors, pour tout
(s, t) ∈ U ,
∂2f ∂2f
(s, t) = (s, t).
∂t∂s ∂s∂t
2 f : R2 → R définie par
Il s’ensuit que l’application D(s,t)

2 ∂2f 2
2∂ f ∂2f
D(s,t) f (h, k) = h2 (s, t) + k (s, t) + 2hk
∂s2 ∂t2 ∂s∂t

est une forme quadratique (voir Définition 3.4.1) appelée différentielle seconde de f . Nous
pouvons donc simplifier notre calcul précédent et écrire

∂X ∂X
A00 (r) = x00 (r) (x(r), y(r)) + y 00 (r) 2
(x(r), y(r)) + D(x(r),y(r)) X(x(r), y(r)).
∂s ∂t
Un calcul similaire donne
∂Y ∂Y
B 00 (r) = x00 (r) (x(r), y(r)) + y 00 (r) 2
(x(r), y(r)) + D(x(r),y(r)) Y (x(r), y(r))
∂s ∂t
∂Z ∂Z
C 00 (r) = x00 (r) (x(r), y(r)) + y 00 (r) 2
(x(r), y(r)) + D(x(r),y(r)) Z(x(r), y(r))
∂s ∂t
2
Notons D(s ϕ(h, k) le vecteur de R3 de coordonnées
0 ,t0 )

 
2 2 2
D(s 0 ,t0 )
X(h, k), D(s 0 ,t0 )
Y (h, k), D(s0 ,t0 )
Z(h, k) .

On a alors
→
− 00
ψ (r0 ) = D(s0 ,t0 ) ϕ(→
−
γ 00 (r0 )) + D(s
2
0 ,t0 )
ϕ(→
−
γ 0 (r0 )).
→
−
Comme N (M0 ) est orthogonal à TM0 S qui est l’image de D(s0 ,t0 ) ϕ par la Remarque 3.3.4,
on a D→
− 00 →
− E D
2 →− 0 →
− E
ψ (r0 ), N (M0 ) = D(s 0 ,t0 )
ϕ( γ (r0 )), N (M 0 ) .

Il est donc naturel de poser les définitions suivantes :

3.4. Courbure 65

Définition 3.3.7. Soit ϕ : U → R3 une nappe paramétrée de classe C 2 , soit S son support
et soit (s0 , t0 ) ∈ U . On appelle première forme fondamentale de S au point M0 = ϕ(s0 , t0 )
la forme quadratique
Φ1 : (h, k) 7→ kD(s0 ,t0 ) ϕ(h, k)k2 .
On appelle deuxième forme fondamentale de S au point M0 la forme quadratique
D
2 →
− E
Φ2 : (h, k) 7→ D(s 0 ,t0 )
ϕ(h, k), N (M 0 ) .

Remarque 3.3.8. En géométrie différentielle, les formes fondamentales sont souvent no-
tées IM0 et IIM0 .

Nous pouvons maintenant exprimer la courbure d’une section normale.

Proposition 3.3.9. La courbure de ψ au point de paramètre r0 est

Φ2 (→
−γ 0 (r0 ))
cψ (r0 ) = →
− .
Φ1 ( γ 0 (r0 ))
→
−
Démonstration. Ceci découle du calcul précédent et du fait que ψ 0 (r0 ) = D(s0 ,t0 ) ϕ(→
−
γ 0 (r0 )).

Cette courbure dépend a priori du paramétrage γ. Toutefois, il semble géométriquement

qu’elle ne dépende que du plan P , puisque son intersection avec S détermine le support de
la section normale. Soit ~v ∈ (TM0 S) ∩ P un vecteur non nul. Comme (TM0 S) ∩ P est une
→
−
droite, ψ 0 (r0 ) = λ~v pour un certain λ ∈ R non nul. Comme (s0 , t0 ) est un point régulier,
D(s0 ,t0 ) ϕ est injective et son image est égale au plan tangent. Il existe donc un unique
~u ∈ R2 tel que D(s0 ,t0 ) ϕ(~u) = ~v . On a alors →
−
γ 0 (r0 ) = λ~u et

Φ2 (λ~u) λ2 Φ2 (~u) Φ2 (~u)

cψ (r0 ) = = 2 = .
Φ1 (λ~u) λ Φ1 (~u) Φ1 (~u)

~ = µ~v ∈ (TM0 S) ∩ P , ~u est remplacé par µ~u. Comme

Si on choisit un autre vecteur w

Φi (µ~u) = µ2 Φi (~u)

pour i = 1, 2, cela ne change pas la valeur du quotient. La courbure est donc totalement
déterminée par le plan P .

Définition 3.3.10. Soit ϕ : U → R3 une nappe paramétrée de classe C 2 et soit (s0 , t0 )

le paramètre d’un point régulier. Pour un plan P passant par M0 = ϕ(s0 , t0 ) et dont la
→
−
direction contient N (M0 ), on appelle courbure normale dans la direction de P le nombre

Φ2 (~u)
cn (P ) =
Φ1 (~u)

où ~u = (D(s0 ,t0 ) ϕ)−1 (~v ) et ~v ∈ (TM0 S) ∩ P est un vecteur non nul.

3.4 Courbure
Nous avons vu qu’à chaque plan contenant la normale à une surface est associé une
courbure normale. Pour rendre compte du phénomène de courbure dans son intégralité,
il faut prendre en compte toutes ces courbures normales et la façon dont elles varient.
Autrement dit, la courbure d’une surface en un point pourrait être pensée comme le
quotient de formes quadratiques Φ2 /Φ1 .
66 Chapitre 3. Surfaces

3.4.1 Courbure de Gauss

Pour mieux comprendre cet objet, nous allons d’abord lui donner une forme plus simple
en utilisant les propriétés des formes quadratiques du plan euclidien. Commençons par en
rappeler la définition.
Définition 3.4.1. Une forme quadratique du plan est une fonction Q : R2 → R de la
forme
Q(x, y) = ax2 + by 2 + cxy.
Une forme quadratique est dite définie positive si Q(x, y) > 0 dès que (x, y) 6= (0, 0).
Les formes quadratiques ont de nombreuses propriétés remarquables, notamment du
point de vue de la réduction. Nous ne donnerons ici que le résultat dont nous avons besoin
en dimension 2. Remarquons que plutôt que de considérer Q comme une fonction de deux
variables, on peut la considérer comme une fonction dont la variable est un vecteur de
R2 : si ~v a pour coordonnées (x, y) dans la base canonique, on pose Q(~v ) = Q(x, y). Cette
approche permet d’exprimer Q dans différentes bases.
Proposition 3.4.2. Soit (·, ·) un produit scalaire sur R2 et soit Q une forme quadratique.
Alors, il existe une base (~v1 , ~v2 ) de R2 orthonormée pour (·, ·) telle que pour tous α, β ∈ R,

Q(α~v1 + β~v2 ) = α2 Q(~v1 ) + β 2 Q(~v2 ).

Démonstration. Soit (~u1 , ~u2 ) une base de R2 orthonormée pour (·, ·) et notons (x, y) et
(x0 , y 0 ) les coordonnées respectives de ~u1 et ~u2 . Si α, β ∈ R, alors

Q(α~u1 + β~u2 ) = a(αx + βx0 )2 + b(αy + βy 0 )2 + c(αx + βx0 )(αy + βy 0 )

= Aα2 + Bβ 2 + Cαβ.

Autrement dit, si ~u a pour coordonnées (α, β) dans la base (~u1 , ~u2 ), alors Q(~u) = Aα2 +
Bβ 2 + Cαβ. Considérons maintenant θ ∈ R et posons
(
~u1 (θ) = cos(θ)~v1 + sin(θ)~v2
~u2 (θ) = − sin(θ)~v1 + cos(θ)~v2

Alors, la famille (~u1 (θ), ~u2 (θ)) est toujours orthonormée pour (·, ·) et la même preuve que
pour la Proposition 2.2.2 montre qu’il existe θ0 tel que

Q(α~u1 (θ0 ) + β~u2 (θ0 )) = A0 α2 + B 0 β 2 . (3.2)

Il suffit donc de poser ~v1 = ~u1 (θ0 ), ~v2 = ~u2 (θ0 ) et de constater que d’après l’Équation
(3.2), A0 = Q(~v1 ) et B 0 = Q(~v2 ).

Nous pouvons maintenant appliquer ce résultat à l’étude des formes fondamentales.

Théorème 3.4.3 (Euler). Soi ϕ : U → R3 une nappe paramétrée, soit (s0 , t0 ) ∈ U
le paramètre d’un point régulier et soit M0 = ϕ(s0 , t0 ). Alors, il existe deux vecteurs
orthogonaux ~v1 , ~v2 ∈ TM0 S et deux réels λ1 , λ2 ∈ R tels que si P est un plan contenant la
normale à S en M0 et si (TM0 S) ∩ P forme un angle θ avec ~v1 , alors

cn (P ) = λ1 cos2 (θ) + λ2 sin2 (θ).

Démonstration. Le point M0 étant régulier, D(s0 ,t0 ) ϕ est inversible donc la première forme
fondamentale Φ1 est définie positive. Il s’ensuit qu’il existe un produit scalaire (·, ·) sur R2
tel que pour tout (h, k) ∈ R2 ,
! !!
h h
, = Φ1 (h, k)
k k
3.4. Courbure 67

Notons (~u1 , ~u2 ) la base orthonormée pour (·, ·) donnée par la Proposition 3.4.2 appliquée
à Φ2 et posons λ1 = Φ2 (~u1 ) et λ2 = Φ2 (~u2 ). Pour ~u = α~u1 + β~u2 , on a

Φ2 (~u) λ1 α2 + λ2 β 2
=
Φ1 (~u) α2 + β 2
Posons, pour i = 1, 2, ~vi = D(s0 ,t0 ) (ϕ)(~ui ). Si P est un plan contenant la normale à S en
M0 et si ~v = α~v1 + β~v2 ∈ (TM0 S) ∩ P , alors l’angle θ entre ~v et v~1 satisfait
α
cos(θ) = p
α2
+ β2
β
sin(θ) = p 2 .
α + β2
On a donc
Φ2 (~u)
cn (P ) = = λ1 cos2 (θ) + λ2 sin2 (θ).
Φ1 (~u)

Les valeurs possibles de la courbure normale sont donc toutes les valeurs comprises
entre λ1 et λ2 , ce qui mène à la définition suivante.
Définition 3.4.4. Soi ϕ : U → R3 une nappe paramétrée de classe C 2 et soit (s0 , t0 ) ∈ U le
paramètre d’un point régulier. Les courbures principales au point ϕ(s0 , t0 ) sont le minimum
et le maximum du quotient des formes fondamentales. Les directions des vecteurs ~v1 et ~v2
associés sont appelées directions principales et elles sont orthogonales.
Nous avons progressé dans notre compréhension de la courbure d’une surface : elle est,
en chaque point, déterminé par deux nombres. Cependant, ces courbures principales ne
sont pas tout à fait des objets géométriques, au sens où elles ne sont pas invariantes par
changement de paramétrage.
Proposition 3.4.5. Un changement de paramétrage multiplie les courbures principales
par ±1.
Démonstration. Soit F : V → U un changement de paramétrage et soit ψ : ϕ◦F : V → R3
la nappe reparamétrée. Pour (a0 , b0 ) ∈ V et (s0 , t0 ) = F (a0 , b0 ) des paramètres de points
réguliers, nous noterons Φi et Ψi les formes fondamentales de ϕ et ψ respectivement, pour
i = 1, 2. En utilisant les formules de dérivation des fonctions composées, on voit que la
différentielle de ψ s’écrit

D(a0 ,b0 ) ψ = (D(s0 ,t0 ) ϕ) ◦ D(a0 ,b0 ) F,

ce qui nous donne la première forme fondamentale :

Ψ1 = Φ1 ◦ D(a0 ,b0 ) F.

Pour la deuxième forme fondamentale, il nous faut d’abord calculer le nouveau vecteur
normal. Soient F1 , F2 : V → R telles que F (a, b) = (F1 (a), F2 (b)) pour tout (a, b) ∈ V . La
formule de dérivation des fonctions composées donne
∂ψ ∂ψ ∂F1 ∂ϕ ∂F2 ∂ϕ ∂F1 ∂ϕ ∂F2 ∂ϕ
   
∧ = + ∧ +
∂a ∂b ∂a ∂s ∂a ∂b ∂b ∂s ∂b ∂t
∂F1 ∂F2 ∂F2 ∂F1 ∂ϕ ∂ϕ
 
= − ∧
∂a ∂b ∂a ∂b ∂s ∂t
  ∂ϕ ∂ϕ
= det J(a0 ,b0 ) (F ) ∧ .
∂s ∂t
68 Chapitre 3. Surfaces

Notons j(a0 ,b0 ) (F ) le déterminant de la matrice jacobienne de F . En divisant par la norme,

→
−
on obtient le nouveau vecteur normal N ψ qui est donc égal à

→
− j(a0 ,b0 ) (F ) →
−
N ψ (a0 , b0 ) = N ϕ (s0 , t0 ).
j(a0 ,b0 ) (F )

Il nous reste à calculer la différentielle seconde de ψ. Cela se fait en appliquant la formule

de dérivation des fonctions composées à D(a0 ,b0 ) ψ :
2 2 2
D(a0 ,b0 )
ψ = (D(s 0 ,t0 )
ϕ) ◦ D(a0 ,b0 ) F + (D(s0 ,t0 ) ϕ) ◦ D(a0 ,b0 )
F.

Par la Remarque 3.3.4, l’image du second terme est incluse dans TM0 S, qui est orthogonal
→
− →
−
à N ϕ (s0 , t0 ) et donc également à N ψ (a0 , b0 ). Par conséquent, seul le second membre
intervient dans la deuxième forme fondamentale et on a
j(a0 ,b0 ) (F )
Ψ2 = Φ2 ◦ D(a0 ,b0 ) F.
j(a0 ,b0 ) (F )

Le quotient de j(a0 ,b0 ) (F ) par sa valeur absolue est égal à ±1, d’où

Ψ2 Φ2
=± ◦ D(a0 ,b0 ) F.
Ψ1 Φ1

Comme J(a0 ,b0 ) (F ) est inversible, D(a0 ,b0 ) F est bijective et le minimum et le maximum de
Ψ2 /Ψ1 sont les mêmes, au signe près, que ceux de Φ2 /Φ1 . D’après le Théorème 3.4.3, ces
deux nombres sont les courbures principales.

Remarque 3.4.6. Si le déterminant de la matrice jacobienne de F est négatif, le vecteur

normal change de sens et n’est donc plus positivement colinéaire au vecteur normal à ψ.
C’est la raison pour laquelle Φ2 change de signe. Réciproquement, si au début le vecteur
normal n’était pas dans le bon sens, il suffirait de faire un changement de paramétrage
dont la matrice jacobienne a un déterminant négatif. Ainsi, notre hypothèse sur le vecteur
normal n’était en fait pas restrictive.

On peut utiliser les courbures principales pour définir plusieurs quantités significatives,
la plus importante étant la courbure de Gauss qui, elle, est géométrique au sens où elle
est invariante par changement de paramétrage.

Définition 3.4.7. Soit ϕ : U → R3 une nappe paramétrée et soit M0 un point régulier.

On a les notions suivantes de courbure au point M0 :
• La courbure moyenne cm (M0 ) est la moyenne des courbures principales en M0 , c’est-
à-dire
λ1 + λ2
cm (M0 ) = .
2
• La courbure de Gauss K(M0 ) est le produit des courbures principales en m0 , c’est-
à-dire
K(M0 ) = λ1 × λ2 .

• La courbure totale de ϕ est l’intégrale sur la surface de sa coubure de Gauss, qui est
donnée par
∂ϕ ∂ϕ
ZZ
c(ϕ) = K(ϕ(s, t)) (s, t) ∧ (s, t) dsdt
U ∂s ∂t
si cette intégrale a un sens.
3.4. Courbure 69

La Proposition 3.4.5 implique que la courbure de Gauss est invariante par changement
de paramétrage. C’est donc la notion de courbure que nous retiendrons comme la plus
significative. Son signe permet de classifier les points d’une surface de la façon suivante :

Définition 3.4.8. Soit ϕ : U → R3 une nappe paramétrée, soit (s0 , t0 ) ∈ U le paramètre

d’un point régulier et soit M0 = ϕ(s0 , t0 ). Le point M0 est dit :
• Elliptique si K(M0 ) > 0.
• Hyperbolique si K(M0 ) < 0.
• Parabolique si K(M0 ) = 0 mais une des courbures principales est non nulle.
De plus, un point auquel les deux courbures principales sont égales est appelé ombilic.

3.4.2 Position par rapport au plan tangent

La courbure de Gauss donne également une information sur la position de la surface
par rapport à son plan tangent. Pour le voir, il nous faut réinterpréter la seconde forme
fondamentale. Considérons une nappe paramétrée ϕ : U → R3 , soit (s0 , t0 ) ∈ U le pa-
ramètre d’un point régulier et soit M0 = ϕ(s0 , t0 ). On souhaite étudier la distance d’un
point M = ϕ(s, t) au plan tangent TM0 S à S en M0 .
Rappelons que cette distance d(M, TM0 S) est par définition la distance de M à son
−−→
projeté orthogonal H sur TM0 S. Comme le vecteur HM est orthogonal à TM0 S, il existe
un réel λ ∈ R tel que
−−→ →
−
HM = λ N (s0 , t0 ).
−−−→
De plus, le point H appartenant au plan tangent, HM0 est un vecteur orthogonal à
→
−
N (s0 , t0 ). On en déduit que
−−→
d (M, TM0 S) = M H
D−−→ →
− E
= HM , N (s0 , t0 )
D−−−→ →
− E D−−−→ →− E
= HM0 , N (s0 , t0 ) + M0 M , N (s0 , t0 )
D−−−→ →− E
= M0 M , N (s0 , t0 ) .

Il nous reste à estimer cette quantité pour un point M proche de M0 , ce qui se fait bien
évidemment à l’aide d’un développement limité. Rappelons que le développement limité à
l’ordre 2 de ϕ s’écrit
1  
ϕ(s0 + h, t0 + k) = ϕ(s0 , t0 ) + Ds0 ,t0 (ϕ)(h, k) + Ds20 ,t0 (ϕ)(h, k) + o k(h, k)k2 .
2
→
−
De plus, Ds0 ,t0 (ϕ)(h, k) est orthogonal à N (s0 , t0 ) par la Remarque 3.3.4, donc pour un
point M = ϕ(s0 + h, t0 + k) on a

1 2 →
−
 
d(M, TM0 S) = Ds0 ,t0 (ϕ)(h, k), N (s0 , t0 ) + o(k(h, k)k2 )
2
1
= |Φ2 (h, k)| + o(k(h, k)k2 ).
2
Autrement dit, la seconde forme fondamentale détermine, au second ordre près, la distance
de la surface au plan tangent. Si plutôt que la distance on s’intéresse à la valeur de λ lui-
même (et donc à son signe), le même calcul montre que
D−−→ →
− E 1
HM , N (s0 , t0 ) = Φ2 (h, k) + o(k(h, k)k2 ).
2
70 Chapitre 3. Surfaces

Cette équation indique en particulier que le signe du produit scalaire est, pour des points
suffisamment proches de M0 , le même que le signe de la seconde forme fondamentale. On
en déduit la position de la surface par rapport au plan tangent, qui est déterminée par le
signe de λ.
• Si la forme quadratique Φ2 est de signe constant, alors la surface reste toujours du
même côté de son plan tangent au voisinage de M0 .
• Si la forme quadratique Φ2 change de signe, alors la surface possède des points
arbitrairement proches de M0 des deux côtés du plan tangent, autrement dit elle
traverse son plan tangent en M0 .
Il est facile de voir que la forme quadratique Φ2 est de signe constant si et seulement
si son déterminant est positif. On peut donc réinterpréter de que nous venons de dire à
l’aide de la courbure de Gauss grâce à la formule de la Proposition 3.4.15 ci-après.

3.4.3 Exemples
Nous allons maintenant traiter trois exemples de calculs de courbure.

Exemple 3.4.9. Soit ϕ : R2 → R3 la nappe paramétrée de l’Exemple 3.1.7, dont le

support est le plan dirigé par les vecteurs ~u et ~v et passant par le point de coordonnées
(a, b, c). Nous avons vu qu’en tout point (s0 , t0 ),

D(s0 ,t0 ) ϕ(h, k) = h~u + k~v .

Autrement dit, la fonction (s, t) 7→ D(s,t) ϕ est constante. Par conséquent, ses dérivées
2 ϕ est la forme quadratique nulle pour tout
partielles sont nulles. Autrement dit, D(s,t)
(s, t) ∈ R2 . Ceci implique que les courbures principales en tout point sont nulles, ainsi
que la courbure moyenne et la courbure de Gauss. En particulier, tous les points sont des
ombilics.

Exemple 3.4.10. Soit ϕ : R2 → R3 la nappe paramétrée de l’Exemple 3.1.9, dont le

support est la sphère de centre de coordonnées (a, b, c) et de rayon R. En utilisant les
calculs de l’Exemple 3.2.6 et en remarquant que les deux dérivées partielles premières sont
orthogonales, on a
  2   2
−R sin(s) cos(t) −R cos(s) sin(t)
Φ1 (h, k) = h2  R cos(s) cos(t)  + k2  −R sin(s) sin(t) 
   
R cos(t) 0
= R2 (h2 cos2 (t) + k 2 ).

D’autre par, on a
     
−R cos(s) cos(t) −R cos(s) cos(t) +R sin(s) sin(t)
2
D(s,t) ϕ(h, k) = h2  −R sin(s) cos(t) +k 2  −R sin(s) cos(t) +2hk  −R cos(s) sin(t)  ,
     
0 −R sin(t) 0

et on déduit de l’expression du produit vectoriel de l’Exemple 3.2.6 les coordonnées du

vecteur normal :  
cos(s) cos(t)
→
−
N (s, t) =  sin(s) cos(t)  .
 
sin(t)
3.4. Courbure 71

En remarquant que le terme en hk lui est orthogonal, on obtient

 
Φ2 (h, k) = h2 −R cos2 (s) cos2 (t) − R sin2 (s) cos2 (t)
 
+ k 2 −R cos2 (s) cos2 (t) − R sin2 (s) cos2 (t) − R sin2 (t))
 
= − h2 cos2 (t) + k 2
= −R−1 Φ1 (h, k).

Ainsi le quotient des formes fondamentales est constant égal à −R−1 . Le signe moins n’est
bien sûr dû qu’au paramétrage et on pourrait obtenir un quotient positif en faisant un
changement de paramétrage approprié. Ainsi, les courbures principales sont toutes deux
égales à −R−1 et la courbure de Gauss est égale à R−2 . Cette fonction étant constante,
la courbure totale est égale à son produit par l’aire de la sphère, c’est-à-dire 4π (voir
l’Exemple 3.5.6). De plus, tout point est un ombilic. Il est possible de montrer qu’une
surface dont tous les points sont des ombilics est contenue dans un plan ou dans une
sphère.

Exemple 3.4.11. Soit R > 0 et soit ϕ : R2 → R3 la nappe paramétrée définie par

ϕ(s, t) = (R sin(s), R cos(s), t).

Son support géométrique est un cylindre de révolution d’axe O~k. Calculons les dérivées
partielles de ϕ  

 ∂x 
 ∂x
(s, t) = R cos(s) (s, t) = 0

 

 



 ∂s 


 ∂t
 
∂y ∂y
(s, t) = −R sin(s) et  (s, t) = 0



 ∂s 

 ∂t
 

 ∂z 
 ∂z
(s, t) = 0 (s, t) = 1

 

 
∂s ∂t
ainsi que leur produit vectoriel
 
−R sin(s)
∂ϕ ∂ϕ
(s, t) ∧ (s, t) =  −R cos(s)  .
 
∂s ∂s
0

On remarque que les deux dérivées partielles sont orthogonales et qu’il n’y aura par consé-
quent pas de terme en hk dans Φ1 . Calculons maintenant la différentielle seconde :
       
−R sin(s) 0 0 sin(s)
2
D(s,t) ϕ(h, k) = h2  −R cos(s)  + k 2  0  + 2hk  0  = −Rh2  cos(s)  .
       
0 0 0 0

On a donc
Φ2 (h, k) = Rh2 (sin2 (s) + cos2 (s)) = Rh2 .
Les courbures principales sont ainsi les extrema de la fonction

Rh2
(h, k) 7→ .
R2 h2 + k 2
Il est clair que le minimum est 0 (dès que h = 0) et que le maximum est 1/R (dès que
k = 0). Tous les points du cylindre sont donc paraboliques et sa courbure de Gauss est
par conséquent identiquement nulle.
72 Chapitre 3. Surfaces

3.4.4 Courbure et déterminant

La courbure de Gauss est une information importante sur la surface, mais elle nécessite
de déterminer les courbures principales, ce qui est en général difficile. Il existe heureuse-
ment un moyen d’obtenir la courbure de Gauss sans passer par les courbures principales.
Pour cela nous avons besoin de la notion de déterminant d’une forme quadratique.
Définition 3.4.12. Soit Q une forme quadratique donnée par

Q(x, y) = ax2 + by 2 + cxy.

Son déterminant est

c2
det(Q) = ab − .
4
Remarque 3.4.13. Le déterminant est donc simplement le discriminant de l’équation du
second degré Q(x, y) = 0.
Dans le cas des courbes planes, nous avons exprimé la courbure à l’aide d’un déter-
minant. L’intérêt de cette formule et que le déterminant peut être calculé dans n’importe
quelle base orthonormée. Le déterminant des formes quadratiques possède une propriété
similaire. Plus précisément, considérons une forme quadratique Q : R2 → R et une base
(~v1 , ~v2 ) de R2 . On peut alors considérer la forme quadratique Q0 : R2 → R définie par

Q0 (α, β) = Q(α~v1 + β~v2 ).

La forme quadratique Q0 est en fait la même que Q, mais exprimée dans la base (~v1 , ~v2 ).
Il est bien sûr possible d’écrire ses coefficients en fonction de ceux de Q, mais la formule
générale est compliquée. Par contre, il est facile de relier le déterminant de Q0 à celui de
Q.
Proposition 3.4.14. Soit Q une forme quadratique, soit (~v1 , ~v2 ) une base et soit Q0 la
forme quadratique définie par

Q0 (α, β) = Q(α~v1 + β~v2 ).

Alors, det(Q0 ) = det(~v1 , ~v2 )2 det(Q).

Démonstration. Notons (x, y) et (x0 , y 0 ) les coordonnées respectives de ~v1 et ~v2 . On sait
que
Q0 (α, β) = α2 Q(~v1 ) + β 2 Q(~v2 ) + αβ(2axx0 + 2byy 0 + c(xy 0 + yx0 )).
Il nous faut donc calculer
(2axx0 + 2byy 0 + c(xy 0 + yx0 ))2
det(Q0 ) = Q(~v1 )Q(~v2 ) − .
4
Le calcul étant un peu long, nous allons procéder par étapes :
• Les termes multiples de ab donnent

x2 y 02 + y 2 x02 − 2xx0 yy 0 = (xy 0 − yx0 )2

• Les termes multiples de bc donnent

y 2 x0 y 0 + xyy 02 − yy 0 (xy 0 + yx0 ) = 0

• Les termes multiples de ac donnent

x2 x0 y 0 + xyx02 − xx0 (xy 0 + yx0 ) = 0

3.4. Courbure 73

• Les termes multiples de a2 et b2 donnent 0

• Les termes multiples de c2 donnent

x2 y 02 + 2xyx0 y 0 + x02 y 2 (xy 0 − yx0 )2

xyx0 y 0 − = .
4 4

En regroupant on obtient
!
0 0 0 2 c2
det(Q ) = (xy − yx ) ab − = det(~v1 , ~v2 )2 det(Q).
4

Grâce à ce lemme, nous pouvons exprimer la courbure de Gauss à l’aide des détermi-
nants des formes fondamentales.

Proposition 3.4.15. Soit ϕ : U → R3 une nappe paramétrée et soit M0 un point régulier.

Alors,
det(Φ2 )
K(M0 ) = .
det(Φ1 )

Démonstration. Soit (~v1 , ~v2 ) la base du Théorème 3.4.3 et soient Φ01 et Φ02 les formes
fondamentales exprimées dans cette base. On a, d’après le Théorème 3.4.3, det(Φ02 ) = λ1 λ2
et det(Φ01 ) = 1. On en déduit par la Proposition 3.4.14 que

det(Φ2 ) det(~v1 , ~v2 )2 det(Φ02 ) det(Φ02 )

= = = λ1 λ2 = K(M0 ).
det(Φ1 ) det(~v1 , ~v2 )2 det(Φ01 ) det(Φ01 )

Nous avons montré que les courbures principales sont invariantes au signe près par
changement de paramétrage. Toutefois, leur définition ne fait pas seulement intervenir le
paramétrage ϕ, mais aussi le vecteur normal, qui n’a de sens que parce que nous avons
considéré les surfaces comme des parties de R3 . Autrement dit, notre définition de la
courbure de Gauss dépend a priori de la façon dont la surface est représentée dans R3 . Un
théorème très profond (et dont la preuve dépasse notre cadre) affirme que cela n’est pas
le cas : la courbure de Gauss est un nombre qui ne dépend que de la surface en elle-même
et pas de la façon dont on la représente.

Théorème 3.4.16 (Gauss – Theorema Egregium). La courbure de Gauss est invariante

par isométrie locale. En particulier, elle ne dépend pas de la représentation du la surface
dans R3 .

La courbure de Gauss est donc une propriété intrinsèque de la nappe paramétrée ϕ.

Ainsi, on peut parler de la courbure totale de ϕ, qui est bien définie. On peut d’ailleurs
montrer qu’elle ne dépend que de l’espace topologique sous-jacent à la surface.

Théorème 3.4.17 (Gauss – Bonnet). La courbure totale d’une surface compacte sans
bord ne dépend que de l’espace topologique sous-jacent.

Il existe une formule explicite (dite formule de Gauss-Bonnet) qui montre que la cour-
bure totale est un multiple entier de 4π. L’entier en question est déterminé par le genre
de la surface, un invariant topologique que nous ne définirons pas.
74 Chapitre 3. Surfaces

3.5 Aire d’une surface

Nous allons dans cette section voir comment calculer l’aire d’une nappe paramétrée.
Encore une fois, nous allons nous inspirer du cas des courbes. Nous avions obtenu la
longueur comme un intégrale en approchant la courbe par des segments de plus en plus fins.
On peut donc imaginer qu’il suffira d’approcher la surface par des polygones de plus en plus
fins pour obtenir l’expression de l’aire. Une telle approche nécessite des hypothèses plus
restrictives que dans le cas des courbes, dues aux subtilités de l’intégration des fonctions
de deux variables. Toutefois, dans les cas où l’approximation se comporte bien, elle mène à
une expression de l’aire de la surface que nous pourrons ensuite prendre comme définition.

3.5.1 Approximation par des parallélogrammes

Dans le cas des courbes, nous avons décomposé l’intervalle de définition I de l’arc
paramétré en segments, puis nous avons considéré les segments formés par les images des
extrémités des segments de départ. Nous allons procéder de même ici en utilisant des
rectangles. Soit donc [a, b] × [c, d] un rectange inclus dans U . Il nous faudrait calculer
l’aire du quadrilatère ϕ(a)ϕ(b)ϕ(c)ϕ(d), mais cette aire n’est pas bien définie quand les
quatre points ne sont pas coplanaires. Nous allons donc utiliser le développement limité
de ϕ pour approcher cette aire. Plus précisément, soit (s0 , t0 ) ∈ U et h, k ∈ R tels que
Rh,k = [s0 , s0 + h] × [t0 , t0 + k] ⊂ U . Alors

∂ϕ ∂ϕ
ϕ(s0 + h, t0 + k) = ϕ(s0 , t0 ) + h (s0 , t0 ) + k (s0 , t0 ) + k(h, k)k→
−
ε (h, k).
∂s ∂t

En prenant h = 0 ou k = 0 dans cette expression, on obtient également :

∂ϕ
ϕ(s0 , t0 + k) = ϕ(s0 , t0 ) + k (s0 , t0 ) + k(h, k)k→
−
ε (h, k)
∂t
∂ϕ
ϕ(s0 + h, t0 ) = ϕ(s0 , t0 ) + h (s0 , t0 ) + k(h, k)k→ −
ε (h, k)
∂s

Ainsi, le quadrilatère ϕ(Rh,k ) peut être approché par un paralléogramme dans le plan
tangent engendré par les vecteurs

∂ϕ ∂ϕ
h (s0 , t0 ) et k (s0 , t0 ).
∂s ∂t

Pour pouvoir poursuivre les calculs, rappelons la formule donnant l’aire d’un parallélo-
gramme :

Proposition 3.5.1. Soient ~u et ~v deux vecteurs de l’espace. L’aire du parallélogramme P

engendré par ~u et ~v est égale à
A(P) = k~u ∧ ~v k.

Démonstration. Notons A, B, C et D les sommets du parallélogramme et considérons les

triangles ABD et BCD.
3.5. Aire d’une surface 75

Ces deux triangles sont images l’un de l’autre par la symétrie par rapport au centre Ω du
parallélogramme, donc ils sont isométriques. En particulier, A(P) est égal au double de
leur aire. Soit α l’angle (~u, ~v ). Alors, l’aire de ABD est égale à

1 1
sin(α)AB × AD = sin(α)k~ukk~v k.
2 2
Nous devons donc montrer que la norme de ~u ∧ ~v est égale à sin(α)k~ukk~v k. Considérons
d’abord la première coordonnée. En l’élevant au carré et en développant, on trouve

(uy vz − uz vy )2 = u2y vz2 − 2uy uz vy vz + u2z vy2 .

En développant de même les autres coordonnées du produit vectoriel et en additionant,

on obtient

k~u ∧ ~v k2 = u2y vz2 + u2z vx2 + u2x vy2 + vy2 u2z + vz2 u2x + vx2 u2y − 2(uy vy uz vz + uz vz ux vx + ux vx uy vy )
= (u2x + u2y + u2z )(vx2 + vy2 + vz2 )
− (u2x vx2 + u2y vy2 + u2z vz2 ) − 2(uy vy uz vz + uz vz ux vx + ux vx uy vy )
= k~uk2 k~v k2 − (ux vx + uy vy + uz vz )2
= k~uk2 k~v k2 − h~u, ~v i2
= k~uk2 k~v k2 − cos(α)2 k~uk2 k~v k2
= sin(α)2 k~uk2 k~v k2 ,

ce qui donne l’égalité voulue.

Nous utiliserons donc la formule suivante pour l’aire de ϕ(Rh,k ) :

∂ϕ ∂ϕ
A (ϕ(Rh,k )) = hk (s0 , t0 ) ∧ (s0 , t0 ) + k(h, k)kk→
−
ε (h, k)k.
∂s ∂t
76 Chapitre 3. Surfaces

Remarque 3.5.2. On pourrait également calculer l’aire de ϕ(Rh,k ) en découpant le rec-

tangle de départ en deux triangles et en additionnant l’aire de chacune des deux images.
Les développements limités précédents montrent cependant que l’aire obtenue de cette
façon coincide au premier ordre avec notre formule. On pourrait également envisager de
décomposer directement l’ouvert de départ en triangles, mais la définition de l’intégrale
d’une partie de R2 est plus facile à manipuler avec des rectangles.
Supposons dorénavant que U est borné. Il existe alors des réels a, b, c et d tels que U
soit contenu dans [a, b] × [c, d]. Pour n, m ∈ N, posons h = (b − a)/n et k = (d − c)/m et
notons Ri,j le rectangle

Ri,j = [a + ih, a + (i + 1)h] × [b + jk, b + (j + 1)k].

L’ouvert U est contenu dans la réunion de tous ces rectangles. On peut donc comparer les
deux quantités suivantes :

A−
X X
n,m (U ) = A(Ri,j ) et A+
n,m (U ) = A(Ri,j ).
Ri,j ⊂U Ri,j ∩U 6=∅

Supposons que ϕ est simple, alors les images des intérieurs des rectangles Ri,j sont deux
à deux disjointes, donc

A−
X
n,m (ϕ(U )) = ϕ(Ri,j )
Ri,j ⊂U
X ∂ϕ ∂ϕ
= hk (a + ih, b + jk) ∧ (a + ih, b + jk)
Ri,j ⊂U
∂s ∂t

k(h, k)kk→
−
X
+ ε (h, k)k
Ri,j ⊂U

et
X
A+
n,m (ϕ(U )) = ϕ(Ri,j )
Ri,j ∩U 6=∅
X ∂ϕ ∂ϕ
= hk (a + ih, b + jk) ∧ (a + ih, b + jk)
Ri,j ∩U 6=∅
∂s ∂t

k(h, k)kk→
−
X
+ ε (h, k)k
Ri,j ∩U 6=∅

Supposons que U soit une partie quarrable du plan, c’est-à-dire que

lim sup A− +
n,m (U ) = lim inf An,m (U ).
n,m→+∞ n,m→+∞

Alors, les sommes apparaissant au membre de droite dans les expressions de A− n,m (ϕ(U ))
et A+n,m (ϕ(U )) sont des sommes de Riemann convergeant toutes deux (c’est la définition
de l’intégrale double sur une partie quarrable) vers
∂ϕ ∂ϕ
ZZ
(s, t) ∧ (s, t) dsdt.
U ∂s ∂t
Quant au second terme, il est majoré en valeur absolue par

nmk(h, k)kk→
−
ε (h, k)k 6 (b − a)(d − c)k→
−
ε (h, k)k

qui tend vers 0 quand n et m tendent vers +∞. Nous avons donc trouvé, sous certaines
hypothèses techniques, une expression de l’aire de la surface. Nous allons prendre cette
expression comme définition.
3.5. Aire d’une surface 77

Définition 3.5.3. Soit ϕ : U → R3 une nappe paramétrée simple et soit S son support.
L’aire de S est définie comme
∂ϕ ∂ϕ
ZZ
(s0 , t0 ) ∧ (s0 , t0 ) dsdt.
U ∂s ∂t
Remarque 3.5.4. Il est possible de donner une justification plus générale de cette formule
en utilisant le vocabulaire des formes différentielles, mais cela sort du cadre de ce cours.
Nous nous contenterons donc de la justification précédente.

La formule de l’aire pose un problème : en un point singulier, le produit vectoriel s’an-

nule. Autrement dit, l’aire d’une nappe paramétrée ne change pas si on retire ses points
singuliers. Pour que nos calculs aient un sens, il faut pouvoir considérer que les points
singuliers sont effectivement "négligeables" par rapport à l’aire de la surface. Nous ad-
mettrons ici qu’un ensemble fini de points est toujours "négligeable" en ce sens. Avant
d’aborder quelques exemples, montrons que notre formule définit une quantité géomé-
trique, c’est-à-dire invariante par changement de paramétrage.

Proposition 3.5.5. L’aire est invariante par changement de paramétrage.

Démonstration. Nous avons déjà vu lors de la preuve de la Proposition 3.4.5 qu’un chan-
gement de paramétrage F : V → U multiplie le vecteur
∂ϕ ∂ϕ
(s0 , t0 ) ∧ (s0 , t0 )
∂s ∂t
par det(J(a0 ,b0 ) (F )). La formule de changement de variables dans les intégrales doubles
donne donc
∂ϕ ∂ϕ ∂ϕ ∂ϕ
ZZ ZZ
(s, t) ∧ (s, t) dsdt = | det(J(a,b) (F ))| ◦ F (a, b) ∧ ◦ F (a, b) dadb
U ∂s ∂t V ∂s ∂t
∂(ϕ ◦ F ) ∂(ϕ ◦ F )
ZZ
= (a, b) ∧ (a, b) dadb.
V ∂a ∂b

3.5.2 Exemples
Nous traitons maintenant deux exemples de calcul d’aire.

Exemple 3.5.6. Considérons le paramétrage de la sphère ϕ de l’Exemple 3.1.9 et restrei-

gnons son ensemble de départ à [0, 2π[×] − π/2, π/2[. On a alors un paramétrage simple
régulier dont le support est la sphère privée des pôles nord et sud, qui a par conséquent
la même aire que la sphère entière. Nous avons montré dans l’Exemple 3.2.6 que
∂ϕ ∂ϕ −−−−−→
(s, t) ∧ (s, t) = R cos(t)Cϕ(s, t).
∂s ∂t
On a donc
−−−−−→
Z 2π Z π/2
A(S) = R cos(t)kCϕ(s, t)kdsdt
0 −π/2
Z 2π Z π/2
= R2 cos(t)dsdt
0 −π/2
2 π/2
= 2πR [sin(t)]−π/2
= 4πR2 .
78 Chapitre 3. Surfaces

Exemple 3.5.7. Soient 0 < r < R des réels et soit ϕ : [0, 2π[×[0, 2π[→ R3 la nappe
paramétrée de classe C ∞ définie par

ϕ(s, t) = ((R + r cos(s)) cos(t), (R + r cos(s)) sin(t), r sin(s)).

Le support de ϕ est un tore de révolution. Le calcul des dérivées partielles donne

 

 ∂x 
 ∂x
 ∂s (s, t) = −r sin(s) cos(t)  ∂t (s, t) = −(R + r cos(s)) sin(t)

 

 

 


 

∂y ∂y
(s, t) = −r sin(s) sin(t) et  (s, t) = (R + r cos(s)) cos(t)



 ∂s 

 ∂t
 

 ∂z 
 ∂z
(s, t) = r cos(s) (s, t) = 0

 

 
∂s ∂t
On peut vérifier sur ces expressions qu’il n’y a qu’un nombre fini de points singuliers et
que par conséquent l’aire de l’ensemble des points réguliers est égale à l’aire du tore tout
entier. Le calcul du produit vectoriel donne
 
−r(R + r cos(s)) cos(s) cos(t)
∂ϕ ∂ϕ
∧ =  −r(R + r cos(s)) cos(s) sin(t)
 
∂s ∂t

−r(R + r cos(s)) sin(s) cos2 (t) − r(R + r cos(s)) sin(s) sin(t)2
 
cos(s) cos(t)
= −r(R + r cos(s))  cos(s) sin(t)  .
 
sin(s)
Remarquons que le vecteur apparaissant dans le membre de droite est de norme 1. De
plus, comme R > r, (R + r cos(s)) > 0 quel que soit s donc la norme du produit vectoriel
est égale à r(R + r cos(s)). L’aire est donc donnée par
Z 2π Z 2π
A(S) = r(R + r cos(s))dsdt
0 0
= (2π)2 rR + 2πr2 [sin(s)]2π
0
= 4π 2 rR.

Voici une représentation du tore de révolution :

3.5.3 Lien avec la première forme fondamentale

L’aire de la surface se relie naturellement à la première forme fondamentale. Pour le
voir, remarquons que par définition
2 2
∂ϕ ∂ϕ ∂ϕ ∂ϕ
 
2 2
Φ1 (h, k) = h (s, t) +k (s, t) + 2hk (s0 , t0 ), (s0 , t0 ) .
∂s ∂t ∂s ∂t
3.6. Surfaces définies par une équation 79

La première forme fondamentale est donc entièrement déterminée par ses coefficients

2

 ∂ϕ
E= (s, t)


∂s





 2
∂ϕ
F = (s, t)



 ∂t

∂ϕ ∂ϕ
  

G = (s0 , t0 ), (s0 , t0 )


∂t ∂t
Ces coefficients déterminent également l’aire de la surface :
Proposition 3.5.8. Soient E, F et G les coefficients de la première forme fondamentale
d’une surface S. Alors, l’aire de S est donnée par
ZZ p
A(S) = EG − F 2 dsdt.
U
Démonstration. Nous avons montré dans la preuve de la Proposition 3.5.1 que pour tous
vecteurs ~u et ~v de l’espace,
k~u ∧ ~v k2 = k~uk2 k~v k2 − h~u, ~v i2 .
On a donc
2 2 2 2
∂ϕ ∂ϕ ∂ϕ ∂ϕ ∂ϕ ∂ϕ

(s, t) ∧ (s, t) = (s, t) (s, t) − (s, t), (s, t)
∂s ∂t ∂s ∂t ∂s ∂t
= EG − F 2 .

Pour considérer la courbure d’une surface de façon globale, il faut d’abord s’intéresser
à la fonction définie sur S qui à chaque point associe sa première forme fondamentale.
En géométrie différentielle, cette fonction s’appelle un tenseur. Dans le cas particulier
des surfaces de R3 , ce tenseur est parfois appelé tenseur métrique, puisqu’il permet de
calculer les aires (ainsi que les longueurs de courbes tracées sur la surface) et est noté g.
En remarquant que
EG − F 2 = det(Φ1 ) = det(g),
p
on peut penser à det(g) comme à "l’élément d’aire" de la surface. p Cette idée se généralise
aux variété Riemanniennes orientables de toutes dimensions, et | det(g)| définit la forme
volume canonique de la variété. C’est par exemple cette forme volume qui intervient dans
l’expression de l’action en relativité générale (appelée action d’Einstein-Hilbert) :
c4 √
Z
S= R −g.
16πG
Ajoutons que dans le cas des courbes, l’analogue de la première forme fondamentale est
la norme de la dérivée, c’est-à-dire k→
−
γ 0 (t)k, qui d’après la formule de la Définition 1.6.3
donnant la longueur d’une courbe est bien "l’élément de longueur" de la courbe.

3.6 Surfaces définies par une équation

Nous avons jusqu’à maintenant étudié les surfaces à l’aide d’un paramétrage global.
Nous avons cependant vu dans la Section 3.2.3 avec l’exemple de la sphère que ce cadre est
insuffisant pour décrire même les surfaces les plus courantes. Nous allons donc maintenant
étudier les surfaces qui sont définies par une équation, dans un sens que nous préciserons.
L’idée sera bien sûr de se ramener à des paramétrages, et cela se fera grâce au Théo-
rème d’inversion locale. Avant d’aborder ce sujet, nous commençons par étudier un type
particulier de surfaces.
80 Chapitre 3. Surfaces

3.6.1 Graphe d’une fonction

Soit U un ouvert de R2 et soit F : U → R une fonction. On peut considérer la nappe
paramétrée ϕF : U → R3 définie par
ϕF (s, t) = (s, t, F (s, t)).
On constate que ϕF est de classe C k si et seulement si F est de classe C k . Le support de ϕF
est appelé graphe de F et noté SF . En utilisant ce que nous avons fait précédemment, il est
possible d’exprimer en fonction de F toutes les propriétés géométriques de SF . Considérons
d’abord le plan tangent.
Proposition 3.6.1. Soit F : U → R2 une fonction de classe C 1 . Alors, la nappe paramé-
trée ϕF est régulière. De plus, si (s0 , t0 ) ∈ U , alors le plan tangent au point M0 = ϕF (s0 , t0 )
a pour équation
∂F ∂F
z − F (s0 , t0 ) = (s − s0 )
(s0 , t0 ) + (t − t0 ) (s0 , t0 ).
∂s ∂t
Démonstration. Le calcul des dérivées partielles donne
   

 1 


 0 

   
∂ϕF   ∂ϕF  
(s0 , t0 ) =   et (s0 , t0 ) =  .
   
∂s  0  ∂t  1 
   
   
 ∂F   ∂F 
(s0 , t0 ) (s0 , t0 )
∂s ∂t
Ces deux vecteurs ne sont jamais colinéaires et la nappe est donc régulière. Quant à
l’équation du plan tangent, elle s’obtient en appliquant l’Équation (3.1).

Si f est de classe C 2 , on peut également calculer la courbure de Gauss de ϕF en un

point M0 .
Proposition 3.6.2. Soit F : U → R une fonction de classe C 2 , soit (s0 , t0 ) ∈ U et soit
M0 = ϕF (s0 , t0 ). Alors, la courbure de Gauss au point M0 est donnée par
!2
∂2F ∂2F ∂2F
(s0 , t0 ) (s0 , t0 ) − (s0 , t0 )
∂s2 ∂t2 ∂s∂t
K(M0 ) = 2 2 !2 .
∂F ∂F
 
1+ (s0 , t0 ) + (s0 , t0 )
∂s ∂s
Démonstration. Le calcul de la Proposition 3.6.1 donne la première forme fondamentale :
2
∂F ∂F
 
Φ1 (h, k) = h2 + k 2 + h (s0 , t0 ) + k (s0 , t0 )
∂s ∂t
2 ! 2 !
∂F ∂F ∂F ∂F
 
= h2 1+ (s0 , t0 ) 2
+k 1+ (s0 , t0 ) + 2hk (s0 , t0 ) (s0 , t0 ).
∂s ∂t ∂s ∂t
D’autre part, le calcul de la différentielle seconde donne
     

 0 


 0 


 0 

     
     
2 2
D(s ϕ (h, k) = h  + k2   + 2hk  .
    
,t
0 0 ) F 
 0   0   0 
     
 2   2   2 
∂ F  ∂ F  ∂ F 
(s0 , t0 ) s0 , t0 ) (s0 , t0 )
∂s2 ∂t2 ∂s∂t
3.6. Surfaces définies par une équation 81

Il nous reste à trouver le vecteur normal, qui s’obtient grâce au produit vectoriel :
     
 1   0   − ∂F (s0 , t0 ) 
     ∂s 
     
∂ϕF ∂ϕF     
  ∂F

(s0 , t0 ) ∧ (s0 , t0 ) =  ∧  = − .
   
∂s ∂s  0   1   ∂t (s0 , t0 ) 
     
     
 ∂F   ∂F   
(s0 , t0 ) (s0 , t0 ) 1
∂s ∂t
On a donc
∂2F 2
2∂ F ∂2F
→
− h2 (s0 , t0 ) + k (s0 , t0 ) + 2hk (s0 , t0 )
∂s2s ∂t2
D E
2
Φ2 (h, k) = D(s ϕ (h, k), N (s0 , t0 ) = ∂s∂t .
0 ,t0 ) F 2  2
∂F ∂F

1+ (s0 , t0 ) + (s0 , t0 )
∂s ∂s

Pour obtenir la courbure de Gauss, il nous suffit d’après la Proposition 3.4.15 de calculer
les déterminants de ces deux formes quadratiques. On trouve
2 ! 2 ! 2
∂F ∂F ∂F ∂F
  
det(Φ1 ) = 1+ (s0 , t0 ) 1+ (s0 , t0 ) − (s0 , t0 ) (s0 , t0 )
∂s ∂t ∂s ∂t
2 2
∂F ∂F
 
= 1+ (s0 , t0 ) + (s0 , t0 )
∂s ∂t
et
!2
∂2F ∂2F ∂2F
(s 0 , t0 ) (s0 , t0 ) − (s0 , t0 )
∂s2 ∂t2 ∂s∂t
det(Φ2 ) = 2 2
∂F ∂F
 
1+ (s0 , t0 ) + (s0 , t0 )
∂s ∂s
d’où
det(Φ2 )
K(M0 ) =
det(Φ1 )
 !2 
∂2F ∂2F ∂2F
 (s 0 , t0 ) (s0 , t0 ) − (s0 , t0 ) 
∂s2 ∂t2 ∂s∂t
= 2 2 !2 .
∂F ∂F
 
1+ (s0 , t0 ) + (s0 , t0 )
∂s ∂s

Au cours de la preuve, nous avons obtenu l’expression de vecteur normal, qui permet
de claculer l’aire de SF si l’ouvert U est borné :
s
2 2
∂F ∂F
ZZ  
A(SF ) = 1+ (s0 , t0 ) + (s0 , t0 ) dsdt.
U ∂s ∂s

Concluons en remarquant que nous aurions également pu définir des nappes paramé-
trées de coordonnées (s, F (s, t), t) ou (F (s, t), s, t). Les supports de ces nappes s’obtiennent
à partir de SF en appliquant des isométries de l’espace et ont donc les mêmes propriétés
géométriques. C’est pourquoi nous n’avons pas besoin de les étudier explicitement.
82 Chapitre 3. Surfaces

3.6.2 Paramétrage local

Les graphes de fonctions que nous avons étudiés précédemment sont des nappes para-
métrées particulières. Cependant, elles fournissent également un exemple de surface définie
par une équation, à savoir
z = F (x, y).
Nous allons maintenant voir que toute surface définie par une équation peut s’étudier
comme un graphe de fonction. Pour cela, commençons par donner une définition précise
de notre objet d’étude.

Définition 3.6.3. Soit Ω un ouvert de R3 et soit f : R3 → R une fonction. La surface

définie par l’équation
f (x, y, z) = 0
est l’ensemble des points de l’espace dont les coordonnées (x, y, z) vérifient f (x, y, z) = 0,
noté Sf .

Cet ensemble n’a a priori pas de structure particulière. Pour pouvoir l’étudier avec nos
outils, il faudra donc faire une hypothèse sur f . Cette hypothèse va nous être suggérée par
le Théorème des fonctions implicites, que nous rappelons.

Théorème 3.6.4 (Fonctions implicites). Soit Ω un ouvert de R3 et soit f : Ω → R une

fonction de classe C k . Soit (x0 , y0 , z0 ) ∈ Ω tel que

f (x0 , y0 , z0 ) = 0
∂f
(x0 , y0 , z0 ) 6= 0.
∂z
Alors, il existe
• Un ouvert U de R2 tel que (x0 , y0 ) ∈ U
• Un intervalle ouvert I de R tel que z0 ∈ I et U × I ⊂ Ω
• Une application F : U → I de classe C k
tels que
(x, y, z) ∈ U × I et f (x, y, z) = 0 ⇐⇒ z = F (x, y).

Remarque 3.6.5. Une conséquence de l’équivalence ci-dessus est que F (x0 , y0 ) = z0 .

Remarque 3.6.6. Le Théorème des fonctions implicites peut aussi se formuler pour
les variables x et y au lieu de z, en changeant l’hypothèse mais pour simplifier nous
l’appliquerons toujours par rapport à la variable z.

Autrement dit, si la dérivée partielle de f par rapport à z est non nulle alors la surface
est, au voisinage du point considéré, le graphe d’une fonction. On peut donc étudier la
géométrie de la surface en ce point grâce aux outils développés précédemment. Cela a un
sens car dans le Théorème 3.6.4, la fonction F est unique une fois les ouverts U et I fixés.
De plus, les dérivées partielles de F au point (x0 , y0 ), qui sont les informations dont nous
avons besoin, se calculent en fonction des dérivées partielles de f . Pour voir cela, il suffit
de considérer la fonctions G : U → R définie par

G(x, y) = f (x, y, F (x, y)).

Le Théorème 3.6.4 affirme que G est constante égale à 0 sur U . En particulier, toutes ses
dérivées partielles sont nulles au point (x0 , y0 ). Le calcul des dérivées partielles premières
3.6. Surfaces définies par une équation 83

donne alors
∂G ∂f ∂F ∂f
(x0 , y0 ) = (x0 , y0 , z0 ) + (x0 , y0 ) (x0 , y0 , z0 )
∂x ∂x ∂x ∂z
∂G ∂f ∂F ∂f
(x0 , y0 ) = (x0 , y0 , z0 ) + (x0 , y0 ) (x0 , y0 , z0 )
∂y ∂y ∂y ∂z
d’où l’on tire, en utilisant le fait que la dérivée partielle par rapport à z ne s’annule pas,
−1
∂F ∂f ∂f
 
(x0 , y0 ) = − (x0 , y0 , z0 ) (x0 , y0 , z0 )
∂x ∂z ∂x
−1
∂F ∂f ∂f

(x0 , y0 ) = − (x0 , y0 , z0 ) (x0 , y0 , z0 ).
∂y ∂z ∂y
En utilisant ces expressions, nous pouvons donc décrire les propriétés géométriques de la
surface Sf et en particulier son plan tangent.
Proposition 3.6.7. Soit f : Ω → R une fonction de classe C 1 et soit M0 = (x0 , y0 , z0 ) ∈ Ω
un point tel que
∂f
(x0 , y0 , z0 ) 6= 0.
∂z
Alors, le plan tangent à Sf au point M0 a pour équation
∂f ∂f ∂f
(x − x0 ) (x0 , y0 , z0 ) + (y − y0 ) (x0 , y0 , z0 ) + (z − z0 ) (x0 , y0 , z0 ) = 0.
∂x ∂y ∂z
Démonstration. Il suffit d’appliquer la Proposition 3.6.1 en exprimant les dérivées par-
tielles de F à l’aide de celles de f .

On voit ici que le plan tangent ne dépend en fait que de f et pas de la fonction implicite
F . En particulier, d’après les calculs de la section précédente le vecteur de coordonnées
∂F ∂F
 
− (x0 , y0 ), − (x0 , y0 ), 1
∂x ∂y
est normal à Sf au point M0 . Ce vecteur est colinéaire au gradient de f , qui a pour
coordonnées
−−→ ∂f ∂f ∂f
 
gradf (x0 , y0 , z0 ) = (x0 , y0 ), (x0 , y0 ), (x0 , y0 ) .
∂x ∂y ∂z
En calculant les dérivées partielles secondes de G et en les égalant à 0, on peut éga-
lement exprimer les dérivées partielles secondes de F en fonction de celles de f . La Pro-
position 3.6.2 donne alors une expression de la courbure ne dépendant que de f . Cela
dit, les expressions obtenues sont très compliquées et peu éclairantes. Il vaut mieux faire
les calcul au cas par cas en utilisant les particularités de la fonction f pour obtenir des
simplifications.

3.6.3 Exemple
Soient a, b, c trois réels non nuls, soit κ ∈ R et soit Sa,b,c (κ) la surface d’équation
x2 y 2 z 2
+ + = κ,
a b c
appelée quadrique à centre parce qu’elle est symétrique par rapport à l’origine du re-
père. Nous allons étudier le plan tangent et la courbure en un point M0 de coordonnées
(x0 , y0 , z0 ). Soit f : R3 → R la fonction définie par
x2 y 2 z 2
f (x, y, z) = + + − κ,
a b c
84 Chapitre 3. Surfaces

elle est de classe C ∞ , on a

−−→ 2x0 2y0 2z0
 
gradf (x0 , y0 , z0 ) = , ,
a b c
et ce vecteur dirige la normale à Sa,b,c en M0 . Dans le cas particulier a = b = c,
−−→ −−−→
gradf (x0 , y0 , z0 ) est colinéaire à OM0 et on retrouve le plan tangent usuel à la sphère
si κ est de même signe que a (autrement Sa,b,c (κ) est dégénérée : c’est soit un point soit
l’ensemble vide). Dans le cas général, un point M de coordonnées (x, y, z) appartient au
−−−→
plan tangent si et seulement si M0 M est orthogonal au gradient, ce qui donne l’équation
2x0 2y0 2z0
(x − x0 ) + (y − y0 ) + (z − z0 ) = 0
a b c
x0 y0 z0 x2 y 2 z 2
x+ y+ z = 0 + 0 + 0
a b c a b c
x0 y0 z0
x+ y+ z =κ
a b c
Supposons z0 6= 0 et considérons une fonction implicite F : U → R de classe C ∞ au
voisinage de M0 telle que f (x, y, F (x, y)) = 0. Ceci est possible d’après le Théorème 3.6.4
car
∂f 2z0
(x0 , y0 , z0 ) = 6= 0.
∂z c
En posant G : (x, y) 7→ f (x, y, F (x, y)) et en dérivant par rapport à x et y on obtient

x ∂F F (x, y)
0=2 +2 (x, y)
a ∂x c
y ∂F F (x, y)
0=2 +2 (x, y) ,
b ∂y c
d’où
∂F cx
(x, y) = −
∂x aF (x, y)
∂F cy
(x, y) = − .
∂y bF (x, y)
En dérivant à nouveau ces expressions on trouve
2
2 ∂2F F (x, y) ∂F 1
 
0= + 2 2 (x, y) +2 (x, y)
a ∂x c ∂x c
2 2
2 ∂ F F (x, y) ∂F 1

0 = + 2 2 (x, y) +2 (x, y)
b ∂y c ∂y c
2
∂ F F (x, y) ∂F ∂F 1
0=2 (x, y) +2 (x, y) (x, y)
∂y∂x c ∂x ∂y c
2
∂ F F (x, y) ∂F ∂F 1
0=2 (x, y) +2 (x, y) (x, y)
∂x∂y c ∂y ∂x c
On sait que F (x0 , y0 ) = z0 . En prenant les égalités précédentes au point (x0 , y0 ) on obtient
donc

∂F cx0 ∂ 2 F c c2 x20 ∂ 2 F c2 x0 y0
(x0 , y0 ) = − , (x 0 , y0 ) = − − , (x0 , y0 ) =
∂x az0 ∂x2 az0 a2 z03 ∂y∂x abz03
∂F cy0 ∂ 2 F c c2 y02 ∂ 2 F c2 x0 y0
(x0 , y0 ) = − , (x 0 , y0 ) = − − 3 , (x0 , y0 ) =
∂y bz0 ∂y 2 bz0 b2 z0 ∂x∂y abz03
3.6. Surfaces définies par une équation 85

Nous pouvons maintenant appliquer la Proposition 3.6.2 pour calculer la courbure de

Gauss au point M0 . Calculons d’abord le numérateur :
! ! !2
c c2 x2 c c2 y 2 c2 x0 y0 c2 c3 y02 c3 x20
− − 2 03 − − 2 03 − = + +
az0 a z0 bz0 b z0 abz03 abz02 ab2 z04 a2 bz04
!
c2 cx2 cy 2
= 1 + 02 + 02
abz02 az0 bz0
!
c3 x20 y02 z02
= + +
abz04 a b c
c3
= κ
abz04
et le dénominateur :
!2 !2
c2 x2 c2 y 2 c4 x20 y02 z02
1 + 2 02 + 2 02 = + 2 + 2
a z0 b z0 z04 a2 b c
c4 2
= D ,
z04
Le terme z04 sera simplifié dans le quotient, la seule quantité dépendant de M0 est donc
D, qui peut s’interpréter géométriquement. Pour cela, notons H0 le projeté orthogonal de
−−→
O sur le plan tangent au point M0 . Alors, le vecteur OH0 est colinéaire au gradient, donc
les coordonnées de H0 sont de la forme
x 0 y0 z 0
 
H0 : λ , λ , λ .
a b c
pour un certain λ ∈ R. Comme de plus H0 appartient au plan tangent, on a
!
x20 y02 z02
κ=λ + 2 + 2 = λD
a2 b c
donc λ = κD−1 . On en déduit que la distance de O au plan tangent en M0 est égale à
−−→ √ √ −1
D0 = kOH0 k = |λ| D = |κ| D .
Nous pouvons maintenant exprimer la courbure de Gauss au point M0 en fonction de D0 :
c3 z04 κ D04
K(M0 ) = = .
abz04 c4 D2 κ3 abc
Si z0 = 0 mais x0 6= 0 ou y0 6= 0, on peut appliquer le Théorème 3.6.4 à la variable
non nulle et ainsi obtenir la même expression de la courbure. Quant au point (0, 0, 0), s’il
appartient à Sf (ce qui implique que κ = 0) il est toujours singulier.
Notons que si a = b = c = 1 et κ = R2 > 0, on a D0 = K et on retrouve bien
K(M0 ) = R−2 en tout point. Plus généralement, si |a| = |b| = |c| = 1, alors D2 = κ2 et la
surface Sa,b,c (κ) est à courbure constante. Une telle surface possède d’ailleurs des symétries
supplémentaires (considérer les réflexions par rapport à certains plans).
Voici quelques exemples de quadriques à centre : l’hyperboloïde à une nappe, l’ellipsoïde
et l’hyperboloïde à deux nappes (de gauche à droite).
86 Chapitre 3. Surfaces

3.7 Variétés différentielles

Nous avons constaté à la Section 3.2.3 que la notion de nappe paramétrée était in-
suffisante pour rendre compte de la géométrie de la sphère. La description de la sphère
comme surface d’équation x2 + y 2 + z 2 = 1 est plus satisfaisante. La stratégie consiste
cependant à se ramener à des nappes paramétrées au voisinage d’un point donné et à uti-
liser les résultats développés pour les nappes paramétrées. Il est naturel de se demander
si cette technique peut s’adapter à un cadre plus général, pour étudier des surfaces qui ne
sont pas nécessairement définies par une équation. C’est ce que nous allons entreprendre
maintenant.

3.7.1 Cartes et atlas

Fixons une partie S de R3 . Pour pouvoir parler de continuité, il nous faut un analogue
des disques ouverts : le disque ouvert induit de S de centre x et de rayon R est l’ensemble
DS (x, R) = B(x, R) ∩ S,
où B(x, R) est la boule ouvert de centre x et de rayon R dans l’espace affine R3 . La défini-
tion de la continuité est alors la même que dans le cas de R2 . L’idée pour étudier S comme
une surface est de trouver, au voisinage de chaque point, une nappe paramétrée contenant
ce point et contenue dans S. Un tel paramétrage est appelé carte locale. Cependant, elle est
généralement définie par son application réciproque, c’est-à-dire comme une application
de la surface vers R2 :
Définition 3.7.1. Soit M0 un point de S. Une carte locale pour S au point M0 est donnée
par :
• Un ouvert V de S contenant M0
• Un ouvert U de R2
• Une application ϕ : V → U qui est un homéomorphisme sur son image.
Remarque 3.7.2. L’hypothèse que ϕ est un homéomorphisme garantit que S est bien
un objet de dimension 2. En effet, tout point d’une boule est par exemple contenu dans
un morceau de sphère qui est homéomorphe à un ouvert de R2 . Cependant, le morceau de
sphère lui-même n’est pas un ouvert de la boule, donc il ne définit pas une carte locale.
Soit ϕ1 : V1 → U1 une carte locale. L’application ϕ−1 1 : U1 → R3 est une nappe
paramétrée au sens où nous l’avons étudié. Si elle est suffisamment régulière, elle définit
donc un plan tangent au point M0 et une courbure de Gauss. Cependant, que se passe-t-il
si on considère une autre carte locale ϕ2 : V2 → U2 telle que M0 ∈ V2 . On aura alors un
autre plan tangent et nous ne saurons plus lequel choisir . . . à moins qu’ils ne coïncident !
Pour cela, il suffit d’après la Proposition 3.2.4 qu’il existe un changement de paramétrage
de classe C 1 entre ϕ−1 −1
1 et ϕ2 . On dispose déjà un changement de paramétrage de classe
C : il s’agit de l’application ϕ2 ◦ ϕ−1
0
1 , qui est appelée changement de carte. Il suffirait donc
qu’il soit plus régulier pour lever l’ambiguïté. C’est l’objet de la prochaine définition.
Définition 3.7.3. Deux cartes locales (U1 , V1 , ϕ1 ) et (U2 , V2 , ϕ2 ) au point M0 sont dites
C k -compatibles si l’application
ϕ2 ◦ ϕ−1
1 : ϕ1 (V1 ∩ V2 ) → ϕ2 (V1 ∩ V2 )

est un difféomorphisme de classe C k .

Remarque 3.7.4. Dire que l’application ϕ2 elle-même est de classe C k n’a a priori pas
de sens puisqu’elle est définie sur un ouvert de S, qui n’est pas un ouvert de R3 . C’est la
raison pour laquelle on ne peut étudier la régularité que pour les changements de cartes.
3.7. Variétés différentielles 87

Si deux cartes locales sont C k -compatibles, l’application ϕ2 ◦ ϕ−1

1 est donc un change-
k
ment de paramétrage de classe C pour ϕ1 et la nappe reparamétrée est ϕ2 . Il s’ensuit que
toutes les propriétés géométriques de ϕ1 et ϕ2 sont identiques. Pour pouvoir étudier une
surface, il suffit donc de se donner des cartes locales qui sont toutes compatibles et telles
que tout point de la surface est paramétré par au moins une des cartes. Donnons un nom
à un tel ensemble.

Définition 3.7.5. Un atlas de classe C k sur S est la donnée d’une famille A = (Ui , Vi , ϕi )i∈I
de cartes locales deux à deux C k -compatibles et telle que S = ∪i∈I Vi .

3.7.2 Qu’est-ce qu’une surface ?

La définition d’une surface semble maintenant claire : il s’agit d’une partie de R3 pour
laquelle on a fixé un atlas.

Définition 3.7.6. Une variété de dimension 2 et de classe C k plongée dans R3 est une
partie S de R3 munie d’un atlas de classe C k .

Exemple 3.7.7. Une nappe paramétrée simple ϕ : U → R3 de classe C k est une variété
plongée de classe C k . L’espace topologique sous-jacent est son support géométrique S et
l’atlas est composé d’une seule carte locale ϕ−1 : S → U .

Exemple 3.7.8. Soit Ω un ouvert de R3 , soit f : Ω → R une application de classe C k

et soit Sf la surface d’équation f (x, y, z) = 0. Si pour tout point de Sf , l’une au moins
des dérivées partielles de f est non nulle, alors Sf est une variétée plongée de classe C k .
Si F1 et F2 sont deux fonctions implicites décrivant la même coordonnée, le changement
de carte est simplement l’identité (par unicité de la fonction implicite). Si F1 et F2 sont
deux fonctions implicites décrivant deux coordonnées différentes, on peut aisément vérifier
que le changement de cartes est de classe C k . Si par exemple F1 décrit z et F2 décrit x, le
changement de cartes associé est

(x, y) 7→ (y, F1 (x, y)).

Étant donnée une variété plongée dans R3 , on peut étudier son plan tangent et sa
courbure de Gauss à l’aide des outils développés dans ce chapitre. Il suffit, en un point
M0 donné, de choisir n’importe quelle carte locale de l’atlas. Par contre, les courbures
principales ne sont définies qu’au signe près, puisqu’un changement de paramétrage peut
les multiplier par −1. Pour pouvoir les définir, il faut choisir des cartes locales particulières.

Définition 3.7.9. Deux cartes locales (U1 , V1 , ϕ1 ) et (U2 , V2 , ϕ2 ) au point M0 sont dites
positivement compatibles si le déterminant de la matrice jacobienne de ϕ2 ◦ ϕ−1 1 au point
M0 est positif.

Il suffit donc de se retreindre à un atlas dont les cartes sont toutes positivement com-
patibles : c’est la notion d’orientation.

Définition 3.7.10. Une orientation sur une variété plongée S est une partie A+ =
(Uj , Vj , ϕj )j∈J⊂I de l’atlas A telle que
• Les cartes locales de A+ sont deux à deux positivement compatibles.
• S = ∪j∈J Vj .
Une variété plongée munie d’une orientation est dite orientée. Une variété plongée qui
peut être munie d’une orientation est dite orientable.
88 Chapitre 3. Surfaces

Remarquons qu’une nappe paramétrée simple régulière est, par définition, orientée.
Pour une variété plongée orientée, les courbures principales sont donc bien définies. De
même, on peut définir en tout point un vecteur normal de façon continue. En effet, pour
deux cartes (U1 , V1 , ϕ1 ) et (U2 , V2 , ϕ2 ) positivement compatibles, les vecteurs
∂ϕ1 ∂ϕ1 ∂ϕ2 ∂ϕ2
∧ et ∧
∂s ∂t ∂s ∂t
sont positivement colinéaires. On peut donc définir une application continue
→
−
N : V1 ∪ V2 → R3

qui à chaque point associe un vecteur normal de norme 1. Par le même raisonnement,
→
−
on peut prolonger N en une application continue sur toute la surface S. Cette propriété
permet de montrer qu’il existe des variétés plongées non-orientables.

Exemple 3.7.11. Soit ϕ : [0, 2π[×[−1, 1] → R3 la nappe paramétrée simple définie par
t s t s t s
       
ϕ(s, t) = 1+ cos cos(s), 1 + cos sin(s), sin .
2 2 2 2 2 2
Son support géométrique S est appelé ruban de Möbius. La nappe ϕ n’est bien sûr pas
régulière mais peut être complétée en un atlas pour obtenir une variété plongée. La variété
obtenue ne sera cependant pas orientable. Supposons en effet qu’il existe un atlas A+
→
−
contenant ϕ et tel que S soit orientée. Il existe alors une fonction continue N : S → R3
donnant en tout point un vecteur normal de norme 1 et tel que pour tout point régulier
pour ϕ,
→
− 1 ∂ϕ ∂ϕ
N (ϕ(s, t)) = (s, t) ∧ (s, t).
∂ϕ ∂ϕ ∂s ∂t
(s, t) ∧ (s, t)
∂s ∂t
Calculons les dérivées partielles de ϕ :
 
 − sin s cos(s) 
 
 2   
  −y(s, t)
∂ϕ t

 1

(s, t) =  − sin s sin(s)  +  x(s, t) 
 

∂s 4 2  2



 0
s
 
 
cos
2
 
 cos s cos(s) 
 

 2 

∂ϕ 1
 
s
 
(s, t) =  cos

∂t 2 sin(s) 
 2 

 
s
 
 
sin
2
ainsi que leur produit vectoriel
 
s
   
 − sin(s) 
   x(s, t) sin
 2
   

∂ϕ ∂ϕ t   s 
(s, t) ∧ (s, t) =  cos(s)  +  y(s, t) sin
   
∂s ∂t 8
 
  2 

t s s
    
  
− 1 + cos cos

2 2 2
 
0
3.7. Variétés différentielles 89

→
−
Soit M0 = ϕ(0, −1). Alors, ϕ(s, 1) → M0 quand s → 2π. Par continuité, N (ϕ(s, 1)) devrait
→
− →
−
donc tendre vers N (M0 ). Or, pour s ∈ [0, 2π[, N (s, 1) est positivement colinéaire à
 
0
∂ϕ ∂ϕ ∂ϕ ∂ϕ
(s, 1) ∧ (s, 1) −→  1/8  = − (0, −1) ∧ (0, −1),
 
∂s ∂t s→2π ∂s ∂t
1/4

une contradiction. Voici une représentation du ruban de Möbius :

Mais pourquoi avoir choisi au départ une partie de R3 ? Les définitions de la Section
3.7.1 ont un sens pour n’importe quel espace topologique. D’ailleurs, les cartes locales
pourraient très bien avoir pour image un ouvert de Rn pour un entier n quelconque. Cette
idée mène à la notion centrale de la géométrie différentielle, celle de variété différentielle.

Définition 3.7.12. Une variété différentielle de dimension 2 et de classe C k est un espace

topologique S muni d’un atlas de classe C k .

Mais comment définir alors l’espace tangent ? Nous savons que dans le cas des variétés
plongées, l’espace tangent est l’ensemble des vecteurs tangents aux courbes tracées sur la
surface. Dans le cas général, si γ est une courbe tracée sur la surface et passant par un
point M0 , on peut considérer une carte locale ϕ et la courbe ϕ ◦ γ. Sont vecteur tangent
en M0 est bien défini et appartient à R2 . Il suffit alors de définir l’espace tangent en M0
comme l’ensemble des vecteurs ainsi obtenus pour toutes les courbes passant par M0 . Il
faut ensuite montrer que cet ensemble est un espace vectoriel de dimension 2 qui ne dépend
pas de la carte choisie.
La question de la courbure est plus complexe. En effet, les calculs nécessitent un produit
scalaire sur le plan tangent. Dans le cas d’une variété plongée, ce produit scalaire est
hérité de l’espace ambiant. Dans le cas général, il n’y a pas d’espace ambiant, il faut donc
choisir un produit scalaire sur chaque espace tangent. Bien sûr, il est préférable que ces
produits scalaire varient de façon continue, voir même différentiable sur la variété. Cette
idée se formalise à l’aide de la notion de métrique sur la variété, qui mène au domaine de
la géométrie riemannienne. De fait, toute variété différentielle de dimension 2 peut être
munie d’un métrique en vertu du remarquable résultat suivant :

Théorème 3.7.13 (Whitney). Toute variété différentielle de dimension 2 peut être plon-
gée dans R4 .

Ce qui est important dans cet énoncé, c’est qu’on ne peut pas toujours plonger la
variété dans R3 . La notion de variété différentielle est donc plus riche que la notion de
variété plongée.
90 Chapitre 3. Surfaces

Exemple 3.7.14. Soit ϕ : R2 → R4 la nappe paramétrée définie par

cos2 (u) sin2 (v) − cos2 (v)



 cos(u) sin(u) sin(v) 
ϕ(u, v) =  .
 
 cos(u) sin(u) cos(v) 
cos2 (u) cos(v) sin(v)

Son support est appelé plan projectif et on peut montrer qu’il n’est pas plongeable dans
R3 (ceci montre que le Théorème 3.7.13 est optimal). On peut toutefois la représenter dans
R3 en autorisant des auto-intersections grâce au paramétrage suivant :
 √ 
cos(s) cos(2t) + √2 sin(s) cos(t)
cos(s)
ϕ(s, t) = √  cos(s) cos(2t) − 2 sin(s) cos(t)  .
 
2 − sin(2s) sin(3v) 3 cos(s)

La surface obtenue est appelée surface de Boy, en voici une représentation :