3

Coniques
Cest une leon de type large , cest--dire une leon de synthse.
On se place dans le plan ane euclidien P.


On note le produit scalaire des vecteurs et .
u v
u
v

Si A, B sont deux points de P, on notera d (A, B) , AB ou AB la distance de A B, [AB]

le segment dextrmits A et B et pour A = B, (AB) la droite passant par A et B.
Si A est un point de P et D une droite de P, on note :

d (A, D) = inf AM
M D

la distance de A D. En dsignant par H la projection orthogonale de A sur D, on a d (A, D) =

AH (gure 3.1). On a d (A, D) = 0 si, et seulement si, A D.

Fig. 3.1 Projection orthogonale

On rappelle que le barycentre dune famille de points pondrs {(Ai , i ) ; 1 i n} , la

somme

i=1

i tant non nulle, est le point dni par :

n

i GAi = 0

i=1

63

64

Coniques

Ce point G est aussi dni par :

n

M P,

MG =

i=1

3.1

i M Ai

i=1

Dnition par directrice, foyer et excentricit

On se donne une droite D, un point F D et un rel e > 0.

/
lorigine les sections coniques ont t dnies dans lespace comme intersection dun plan
avec un cne, do leur nom.
Nous donnons dans ce paragraphe une premire dnition mtrique des coniques.
Dnition 3.1 On appelle conique de directrice D, de foyer F et dexcentricit e lensemble :
= {M P | d (M, F ) = e d (M, D)}
pour e < 1, on dit que est une ellipse ;
pour e = 1, on dit que est une parabole ;
pour e > 1, on dit que est une hyperbole.
La distance d (M, D) tant nulle si, et seulement si M D, on aura d (M, D) > 0 pour tout
M puisque F nest pas sur D et on peut crire que :
=

M P \D |

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

ou encore, en dsignant par H la projection orthogonale dun point M du plan sur D :

=

M P \D |

MF
=e
MH

MF
dnie sur P \ D.
MH
On dit que la perpendiculaire D passant par F est laxe focal de la conique (le mot
focal signie qui est relatif au(x) foyers(s) ).
Le point K lintersection de D et est le projet orthogonal de F sur D.
La distance d = KF est non nulle et le rel p = ed est appel paramtre de la conique.
Dans ce qui suit, on se donne une conique de directrice D, de foyer F et dexcentricit e
et est son axe focal.
On peut aussi dire que est une ligne de niveau de la fonction M

Lemme 3.1 Laxe focal est un axe de symtrie de la conique.

Dmonstration. En eet, on notant la symtrie orthogonale par rapport , on a
(F ) = F et en remarquant que pour M P, la projection orthogonale de M = (M ) sur D
est H = (H) o H est la projection orthogonale sur D de M, on a :
(M ) (F )
MF
d ( (M ) , F )
=
=
d ( (M ) , D)
(M ) (H)
MH
et en consquence M est sur si, et seulement si, (M ) est sur (gure 3.2).
Le rsultat qui suit nous conrme quune conique nest pas vide.

Dnition par directrice, foyer et excentricit

65

Fig. 3.2 Laxe focal est une axe de symtrie

Thorme 3.1

1. Lintersection dune parabole avec son axe focal est rduite un point qui est le milieu
du segment [F K] .

2. Lintersection dune ellipse ou dune hyperbole avec son axe focal est rduite aux deux
points A, A o A est le barycentre du systme de points pondrs {(F, 1) , (K, e)} et A le
barycentre de {(F, 1) , (K, e)} .
Dmonstration.

1. On suppose que est une parabole, cest--dire que e = 1.

Dire M quivaut dire que M et M F = d (M, D) , ce qui quivaut M
et M F = M K (les points de se projettent sur K), ce qui revient dire que M est
lintersection de la mdiatrice de [KF ] et de , cest donc le milieu de [KF ] .
2. On suppose que e = 1.
Dire M quivaut dire que M et M F 2 = e2 M H 2 , ce qui quivaut :

M F eM K M F + eM K

les points M, K, F tant aligns (ils sont tous sur ), ce qui quivaut M F + eM K = 0

ou M F eM K = 0 (de manire gnrale, on a = cos ( , ) et ici
u v
u
v
u v

( , ) 0 modulo ) encore quivalent dire que M le barycentre de {(F, 1) , (K, e)}
u v
(on a 1 + e = 0) ou celui de {(F, 1) , (K, e)} (on 1 e = 0).
Le rsultat suivant nous donne au autre dnition de la parabole comme lieu gomtrique.
On rappelle que si C est un cercle de centre O et de rayon R > 0 et D une droite, on a alors,
en notant d = d (O, D) :

si d > R
{H} si d = R
CD =

{M1 , M2 } si d < R

66

Coniques

o H est la projection orthogonale de O sur D et M1 = M2 pour d < R. Le cas o cette

intersection est rduite un point est quivalent dire que le cercle et la droite sont tangents,
ce qui quivaut encore dire que O D et la droite D est perpendiculaire la droite (OH) .
/

Lemme 3.2 La parabole de directrice D et foyer F est aussi le lieu des centres des cercles
tangents D et passant par F (gure 3.3).

Fig. 3.3 Parabole comme lieu des centres des cercles ...

Dmonstration. Si M , la condition M F = M H nous dit alors que le cercle C de centre

M et de rayon M F (donc passant par F ) est tangent la droite D.
Rciproquement si M P est le centre dun cercle C tangent D et passant par F, on a
alors R = M F = M H et M .

3.2

quation rduite dune conique

Le lemme 3.1 nous incite prendre laxe focal pour axe des abscisses (ou des ordonnes)
puisque cest un axe de symtrie.

Thorme 3.2 Il existe un repre orthonorm (O, , ) dans lequel la conique a pour

quation :
(3.1)
1 e2 x2 + y 2 2 xF e2 xK x = e2 x2 x2
F
K

Dmonstration. On se donne un repre orthonorm (O, , ) , o lorigine O est sur

est un vecteur directeur unitaire de On note (x, y) les

laxe focal et est prciser et

.

quation rduite dune conique

67

coordonnes dun point M P dans ce repre. Les coordonnes du point F sont (xF , 0) et
lquation de la droite D est x = xK . On a alors les quivalences :
(M ) M F 2 = e2 M H 2 (x xF )2 + y 2 = e2 (x xK )2
1 e2 x2 + y 2 2 xF e2 xK x = e2 x2 x2
K
F

Les points dintersection de la conique avec laxe focal sont les points M (x, y) tels
que y = 0, ce qui donne :
1 e2 x2 2 xF e2 xK x = e2 x2 x2
K
F
Pour e = 1, on obtient :
2 (xF xK ) x = x2 x2
K
F
avec xF = xK puisque F D, ce qui donne :
/
x=

xF + xK
2

et on retrouve le milieu du segment [F K] comme unique point dintersection.

Pour e = 1, on a une quation polynomiale de degr 2 de discriminant rduit :
= xF e2 xK

+ 1 e2

e2 x2 x2
K
F

= e2 x2 + x2 2xF xK = e2 (xK xF )2 = (ed)2 = p2

F
K
et on a les deux solutions :
x1 =

xF e2 xK ed
xF e2 xK + ed
et x2 =
1 e2
1 e2

ce qui scrit aussi, compte tenu de d = |xK xF | :

x1 =

xF exK
xF + exK
et x2 =
1e
1+e

ou :

xF exK
xF + exK
et x2 =
1+e
1e
et on retrouve les deux points dintersection, A barycentre de {(F, 1) , (K, e)} et A barycentre
de {(F, 1) , (K, e)} .
De ce rsultat on dduit une reprsentation polaire de .
x1 =

Thorme 3.3 Dans un repre orthonorm (F, , ) , o =

F K, la conique a pour
FK
quation polaire :
ed
=
1 + e cos ()
avec R et R. (gure 3.4).

Dmonstration. Prenant pour origine O = F et pour premier vecteur de base =

1
F K, on a xF = 0, xK = F K = d et une quation cartsienne de est :
FK
1 e2 x2 + y 2 + 2e2 dx e2 d2 = 0.

68

Coniques

Fig. 3.4 Conique en coordonnes polaires

En posant pour M = (x, y) P \ {F } (on a M = F pour M ), x = cos () et

y = sin () avec > 0 et R, on a :
M F = x2 + y 2 =
M H = |xH x| = |xK x| = |d x| = |d cos ()|

et lgalit M F = eM H quivaut = e |d cos ()| , soit = e (d cos ()) ou =

e (d cos ()) , cest--dire :
=

ed
ed
ou =
1 + e cos ()
1 e cos ()

Rciproquement lquation = e |d cos ()| entrane M F = eM H.

En dsignant par 1 [resp. 2 ] la courbe dquation polaire = 1 () =

ed
], on a = 1 2 .
1 e cos ()
En remarquant que :
R, 2 ( + ) = 1 ()

= 2 () =

ed
[resp.
1 + e cos ()

en en dduit, en notant k une paramtrisation de k , que :

2 ( + ) = 2 ( + ) (cos ( + ) , sin ( + ))
= 1 () (cos () , sin ()) = 1 ()
et 1 = 2 , donc = 1 .
Nous allons maintenant revenir la reprsentation cartsienne (3.1) en distinguant les cas
e = 1 et e = 1.

quation rduite dune conique

3.2.1

69

Les paraboles

quation rduite dune parabole

Si est une parabole, on a alors e = 1 et :
(M ) y 2 2 (xF xK ) x = (xF xK ) (xF + xK )
ce qui nous conduit choisir lorigine O de sorte que xF = xK , cest--dire que O est le milieu

de [F K] , soit lunique point dintersection de avec son axe focal. En prenant =

OF ,
OF
KF
p
on a alors xF = OF =
= , xK = xF et xF xK = p, de sorte que dans ce repre une
2
2
quation de la parabole est y 2 = 2px.
On dit que le point O, milieu de [KF ] , est le sommet de la parabole.
Rciproquement si est une courbe dquation y 2 = 2px dans un repre orthonorm

(O, , ) avec p > 0, en remontant les calculs prcdents, on vrie que est une para
p
p
p
bole de directrice D dquation x = et de foyer F
, 0 . En eet, en posant xF = et
2
2
2
xK = xF , on a :
y 2 = 2px (x xF )2 + y 2 = (x xK )2 (M F = M H) .

Cette quation nous permet un trac de la parabole dans le repre orthonorm (O, , ) .

1 2
Avec la parit de y y , on tudie cette courbe pour y 0, puis on complte le graphe
2p
obtenu par symtrie par rapport laxe = Ox. Cette fonction est strictement croissante de
x
R+ sur R+ avec
+, on a donc une branche parabolique de direction Ox (cest la
y y+
dnition). En O on a une tangente verticale. Le trac du graphe de sen suit.
Paramtrisation et tangentes une parabole

De cette quation cartsienne de la parabole dans un repre orthonorm (O, , ) , on peut

dduire la paramtrisation :
t2
:tR
,t
2p
Le vecteur driv (t) =

t
,1
p

ne sannulant jamais, on dduit que la parabole admet

une tangente en chacun de ces points (t0 ) =

(t0 ) =

t2
0
, t0 , cette tangente tant dirige par
2p

t0
, 1 . Une reprsentation paramtrique de cette tangente est donc :
p

t2
t0

x= 0 +
2p
p R

y = t0 +

Une quation cartsienne est obtenue en crivant que :

t2

0
0
x 2p tp
(y t0 ) 1

=x

t2
t0
0
(y t0 ) = 0
2p
p

70

Coniques

ce qui donne :
p (x x0 ) y0 (y y0 ) = 0.
Cette quation cartsienne peut aussi tre obtenue partir de lquation implicite f (x, y) =
2px y 2 = 0 de . La direntielle de f ne sannulant jamais, la tangente en M0 (x0 , y0 ) a
pour quation :
f
f
(M0 ) (x x0 ) +
(M0 ) (y y0 ) = 0
x
y
soit :
p (x x0 ) y0 (y y0 ) = 0.
2
Ce qui peut aussi scrire, compte tenu de y0 = 2px0 :

px y0 y + px0 = 0.
On peut remarquer que les tangentes une parabole ne sont jamais parallles laxe focal
(laxe des abscisses) puisque une telle droite serait dquation ax + by + c = 0 avec a = 0 et le
coecient p est strictement positif.
Si une telle tangente est parallle la directrice D, elle est alors perpendiculaire laxe focal
2
donc dquation x = x0 et y0 = 0 dans lquation ci-dessus, ce qui donne x0 = 0 (y0 = 2px0 ) et
M0 est le sommet O de la parabole.
Construction la rgle et au compas dune parabole
Des considration gomtriques lmentaires nous fournissent un procd de construction de
la parabole la rgle et au compas.
Pour H D on dsigne par DH la perpendiculaire D passant par H et par DH la mdiatrice
du segment [HF ] (comme F D, on a H = F ). On a alors :
/
(M DH ) (M DH et M F = M H) (M DH DH )
Lintersection DH DH tant bien rduite un point puisque DH nest pas parallle DH
(sinon (HF ) serait perpendiculaire et F serait sur D).
Les points de la parabole sont donc les points dintersection de la perpendiculaire DH D
passant par H avec la mdiatrice DH du segment [HF ] .
Remarque 3.1 En notant DH DH = {MH } , lapplication H MH nous donne une pa
ramtrisation de la parabole dans un repre orthonorm (O, , ) , o O est le sommet de la

parabole.
p
p
En notant M0 (x0 , y0 ) = MH un point de la parabole ainsi construit, on a H( , y0 ), F
,0 ,
2
2

HF = (p, y0 ) et la mdiatrice DH a pour quation :

HF M0 M = p (x x0 ) y0 (y y0 ) = 0
cest donc la tangente en M0 . Cette tangente coupe [HF ] en son milieu IH (p, 0) .
Thorme 3.4 Soient une parabole, M un point de et H le projet orthogonal de M sur
la directrice D. La tangente en M est la mdiatrice de [HF ] . Si M nest pas sur laxe
focal , cette tangente est aussi la hauteur issue de M dans le triangle F M H et la bissectrice
intrieure de langle en M (gure 3.5).

quation rduite dune conique

71

H (t)

M (t)

H (t)

Fig. 3.5 Tangente une parabole

Dmonstration. On vient de voir que la tangente en M est la mdiatrice de [HF ] .

Considrant que le triangle M F H est isocle en M (M F = M H), cette mdiatrice est aussi la
hauteur issue de M et la bissectrice intrieure de langle en M.
On peut aussi montrer ce rsultat en utilisant une paramtrisation rgulire :
: t M (t) = (x (t) , y (t))

de dans un repre orthonorm (F, , ) , o =

F K.
FK
En notant H (t) la projection orthogonale de M (t) sur D et en drivant lgalit :

F M (t)
on a :

M (t) H (t)

= 0,

F M (t) F M (t) M (t) H (t) F H (t) F M (t) = 0.

Comme M (t) H (t) est orthogonal D et les points F, H (t) sont sur laxe des y qui est

parallle D (on a H (t) = (xk , y (t)) et H (t) = (0, y (t))), les vecteurs M (t) H (t) et F H (t)
sont orthogonaux, de sorte que :

F M (t) F M (t) + M (t) H (t) F M (t) = 0
soit :

F M (t) + M (t) H (t) F M (t) = 0

72

Coniques

cest--dire :

F H (t) F M (t) = 0

La tangente en M (t) qui est la droite passant par M (t) et dirige par F M (t) est donc
perpendiculaire [F H] , ce qui signie que cest la hauteur issue de M = M (t) dans le triangle
M F H. Le triangle tant isocle en M, on a les autres rsultats.
De ce thorme, on dduit que tout rayon lumineux parallle laxe focal se rchi en
un rayon qui passe par le foyer. Cest le principe des miroirs paraboliques.
Exercice 3.1 Soit une parabole. Pour tout M qui nest pas sur laxe focal, on dsigne
par T le point dintersection de la normale en M avec et par P la projection orthogonale
de M sur . Montrer que la longueur P T est constante. On dit que cette longueur est la
sous-normale de la parabole.
Un exemple de parabole

Considrons par exemple, dans le plan euclidien R2 muni de sa base canonique (, , ) la
e1 e2
parabole ayant pour directrice la droite D dquation X + Y = 0 et pour foyer le point F (2, 2) .

La droite D est dirige par = (1, 1) et pour M (X, Y ) R2 la projection orthogonale

v
H (XH , YH ) de M sur D est dnie par :
XH + YH = 0 (H D)
(X XH ) + (Y YH ) = 0
ou encore :

HM = 0
v

XH + YH = 0
XH YH = X Y

Y X
.
2
En particulier, pour M = F, cette projection est K (0, 0) = .
La condition M F = M H se traduit alors par :

ce qui donne YH = XH =

(X 2)2 + (Y 2)2 =

(X + Y )2
2

ou encore :
X 2 + Y 2 2XY 8 (X + Y ) + 16 = 0
(3.2)

(cest lquation de la parabole dans le repre (, , )).
e1 e2
Sur la gure 3.6, on reprsente cette parabole avec la construction du point intersection de
la perpendiculaire DH D passant par H (1, 1) et de la mdiatrice de [HF ] .

Le paramtre p de cette parabole est p = KF = F = 2 2, le sommet est le milieu

O (1, 1) de [KF ] (cest aussi le point dintersection de la parabole avec laxe focal dquation
Y = X, ce qui donne 2X 2 2X 2 16X +16 = 0) et dans un repre adapt, une quation est y 2 =

1
1

e1 e2

e1 e2
2px = 4 2x. Ce repre est (O, , ) , o O (1, 1) , = ( + ) et = ( + ) .
2
2
Nous verrons plus loin comment trouver la directrice et le foyer dune parabole dnie par
une quation du type 3.2.

quation rduite dune conique

73

Fig. 3.6 Parabole : X 2 + Y 2 2XY 8 (X + Y ) + 16 = 0

Intersection dune parabole et dune droite

Soit une parabole et y 2 = 2px une quation rduite dans un repre adapt.
Les points dintersection de cette parabole avec une droite dquation ax + by + c = 0 o
(a, b) = (0, 0) sont obtenus en rsolvant le systme de deux quations deux inconnues suivant :
ax + by + c = 0
y 2 = 2px

Si la droite est parallle laxe focal (laxe des abscisses), on a alors a = 0, b = 0 et le

systme dquations prcdent nous donne :

y=

b 2
2
x= y = c

2p
2pb2
c
c2
,
.
2pb2 b
On peut remarquer quon a une innit de telles droites coupant en un seul point et aucune
de ces droites nest tangente .
Si cette droite nest pas parallle laxe focal, on a alors a = 0 et une quation de la droite
est x = y + et du systme :
x = y +
y 2 = 2px

ce qui donne un unique point dintersection, savoir M =

74

Coniques

on dduit que y est solution de lquation de degr 2 :

y 2 2py 2p = 0
qui peut avoir 0, 1 ou 2 solutions relles.
On aura un unique solution si, et seulement si, = p2 2 + 2p = 0, ce qui quivaut
p2
p2
=
et lquation de la droite est x = y
, le point dintersection tant M0 =
2
2
2
p
(x0 , y0 ) =
, p . La droite a donc pour quation :
2
x=

y0
y0
y2
y0
y x0 =
(y y0 ) + 0 x0 =
(y y0 ) + 2x0 x0
p
p
p
p

ou encore p (x x0 ) y0 (y y0 ) = 0 et cette droite est la tangente en M0 .

Rciproquement, les tangentes sont les droites non parallles laxe focal qui coupent
en un seul point.

3.2.2

Les coniques centres, ellipses et hyperboles

On suppose pour ce paragraphe que e = 1, cest--dire que est une ellipse ou une hyperbole.

Dans un repre orthonorm (O, , ) on a une quation :

(M )

1 e2 x2 + y 2 2 xF e2 xK x = e2 x2 x2
K
F

(3.3)

quation rduite des coniques centre

On choisit lorigine O sur laxe focal de sorte que xF e2 xK = 0, ce qui quivaut

OF e OK = 0 et revient dire que O est le barycentre de {(F, 1) , (K, e2 )} (on a 1e2 = 0).
En dsignant par A et A les points dintersection de la conique avec son axe focal , on
a:
xF + exK
xF exK
xA =
= exK et xA =
= exK
1+e
1e
cest--dire que O est le milieu de [AA ] .
a
En notant a = xA labscisse de A dans ce repre, on a K
, 0 , F (ea, 0) et (3.3) devient :
e
1 e2 x2 + y 2 = a2 a2 e2
ou encore :

y2
x2
+ 2
= 1.
a2 a (1 e2 )

Avec cette quation, on retrouve le fait que est un axe de symtrie et on constate aussi que
le point O, milieu de [AA ] est un centre de symtrie et laxe des y, savoir la perpendiculaire
passant par O est un axe de symtrie.
Prcisment, on dduit de cette quation le rsultat suivant.
Thorme 3.5 Si est une conique dexcentricit e = 1, alors :
1. a un unique centre de symtrie qui est le milieu O de [AA ] , o A est le barycentre de
{(F, 1) , (K, e)} et A celui de {(F, 1) , (K, e)} ;

quation rduite dune conique

75

2. est aussi la conique de directrice D , de foyer F et dexcentricit e, o D [resp. F ] est

le symtrique de D [resp. F ] par rapport O.
On dit que le point O est le centre de la conique et que est une conique centre.
Exercice 3.2 Montrer que les paraboles nont pas de centre de symtrie.
Pour e > 1, est une hyperbole et en posant b2 = a2 (e2 1) , elle a pour quation rduite

dans (O, , ) :

x2 y 2
2 = 1.
a2
b
On dit que a est le demi axe (ou que 2a est laxe) de lhyperbole.
On peut remarquer que laxe des x (laxe focal) coupe lhyperbole en A (a, 0) et A (a, 0)
et que laxe des y ne coupe pas .
On dit que les points A, A sont les sommets de lhyperbole.

a2 + b2
a
a2
Lexcentricit est e =
, la directrice D a pour quation x = xk = =
et
a
e
a2 + b2

le foyer est F (xF , 0) avec xF = ea = a2 + b2 .

x2
y2
Rciproquement une courbe dquation 2 2 = 1 dans un repre orthonorm est une
a
b
hyperbole dexcentricit, directrice et foyer dnis ci-dessus (il sut de remonter les calculs).
x2
y2
De 2 = 1 + 2 1, on dduit que x2 a2 et lhyperbole est strictement contenu dans
a
b
a
P priv de la bande dlimit par les droites D (dquation x = xK = ) et D (dquation
e
a
x = ).
e
On dduit de cette quation implicite que la tangente lhyperbole en M0 (x0 , y0 ) a pour
quation :
x0
y0
(x x0 ) 2 (y y0 ) = 0
2
a
b
2
2
x0 y0
ce qui peut encore scrire compte tenu de 2 2 = 1 :
a
b
x0
y0
x 2 y = 1.
a2
b
Pour e < 1, est une ellipse et en posant b2 = a2 (1 e2 ) , elle a pour quation dans

(O, , ) :

x2 y 2
+ 2 =1
a2
b
avec 0 < b < a.

a2 b2
a
a2
et
Lexcentricit est e =
, la directrice D a pour quation x = xk = =
a
e
a 2 b2

le foyer est F (xF , 0) avec xF = ea = a2 b2 .

x2
y2
Rciproquement une courbe dquation 2 + 2 = 1 avec 0 < b < a dans un repre
a
b
orthonorm est une ellipse dexcentricit, directrice et foyer dnis ci-dessus (il sut de remonter
les calculs).
x2 y 2
+ 2 = 1 dnit un cercle qui nest pas une ellipse
a2
b
dnie par directrice foyer et excentricit (on verra quun cercle peut tre vu comme une ellipse
dexcentricit nulle et de directrice rejete linni).

Remarque 3.2 Pour a = b, lquation

76

Coniques

On dit que a est le demi grand axe (ou que 2a est le grand axe) et que b est le demi petit
axe (ou que 2b est le petit axe) de lellipse.
On peut remarquer que laxe des x coupe lellipse en A (a, 0) et A (a, 0) et que laxe des y
la coupe en B (0, b) et B (0, b) .
On dit que les points A, A , B, B sont les sommets de lellipse.
Remarque 3.3 En utilisant le thorme de Pythagore, on a :
F B 2 = OB 2 + OF 2 = b2 + e2 a2 = a2 .
Il en rsulte que :
FB = FB = F B = F B = a
y2
a2
a
x2
a
= 1 2 1, on dduit que x2 a2 < 2 , soit < x < et lellipse est strictement
2
a
b
e
e
e
a
contenu dans la bande dlimit par les droites D (dquation x = xK = ) et D (dquation
e
a
x = ).
e
On dduit de cette quation implicite que la tangente lellipse en M0 (x0 , y0 ) a pour
quation :
x0
y0
(x x0 ) + 2 (y y0 ) = 0
2
a
b
2
2
x0 y 0
ce qui peut encore scrire compte tenu de 2 + 2 = 1 :
a
b
x0
y0
x + 2 y = 1.
2
a
b
De

x2 y 2

Exercice 3.3 Soit une ellipse dquation 2 + 2 = 1 dans un repre orthonorm (O, , ) ,

a
b
avec 0 < b < a.
Montrer que le produit des distances des foyers de une tangente quelconque est constant
gal b2 (le carr du demi petit axe).

Solution 3.1 On a F (xF , 0) et F (xF , 0) avec xF = ea = a2 b2 et la tangente T0 en

M0 (x0 , y0 ) a pour quation :
x0
y0
x + 2 y = 1.
2
a
b
2
2
x0 y 0
avec 2 + 2 = 1.
a
b
La distance dun point M T0 est donne par :
x0
y0
x+ 2y 1
2
b
d (M, T0 ) = a
2
2
x0 y 0
+ 4
a4
b
et :
x2 2
0
x0
x0
x 1
xF 1
xF + 1
4 F
a
a2
a2
d (F, T0 ) d (F , T0 ) =
=
2
2
2
x2 y0
x2 y0
x2 y0
0
0
0
+ 4
+ 4
+ 4
a4
b
a4
b
a4
b
2
2
4
2
2 2
|x (a b ) a4 |
|x x a |
= b4 4 0 2 F 4 2 = b4 0 4 2
2
b x0 + a y 0
b x0 + a4 y0

quation rduite dune conique

ce qui scrit, compte tenu de

77

2
x2 y0
0
+ 2 =1:
a2
b

|x2 (a2 b2 ) a4 |
0
x2
0
b4 x2 + a4 b2 1 2
0
a
|x2 (a2 b2 ) a4 |
0
= b2 2 2
= b2 .
b x0 + a4 a2 x2
0

d (F, T0 ) d (F , T0 ) = b4

Paramtrisation des coniques centre

Ces quations implicites de permettent dobtenir des paramtrisation.
Pour lhyperbole, en posant y = b sh (t) avec t R (sh est bijective de R sur R), on a

x2
= 1 + sh2 (t) = ch2 (t) et x = a ch (t) o est le signe de x. Rciproquement tout point
a2
(a ch (t) , b sh (t)) est sur lhyperbole. On a donc = 1 2 , o 1 et 2 sont les courbes
dquations paramtriques respectives :
t R 1 (t) = (a ch (t) , b sh (t))
et :
t R 2 (t) = (a ch (t) , b sh (t))

1 et 2 sont les deux branches de lhyperbole.

De 2 (t) = 1 (t) , on dduit que 2 est limage de 1 par la symtrie de centre O.
Ces paramtrisations nous permettent un trac de . Pour ce faire, il sut de tracer 1 .
Letude de 1 se fait pour t 0 puis on complte le graphe obtenu par symtrie par rapport

laxe Ox. Les fonctions ch et sh sont strictement croissante, avec 1 (0) = b , on dduit quon

b et et
b
y1 (t)
=

, on dduit que la droite

a une tangente verticale en A (a, 0) et avec
x1 (t)
a et + et t+ a
dquation ay bx = 0 est asymptote linni.
y1 (t)
b
De mme avec
, on dduit que la droite dquation ay +bx = 0 est asymptote
x1 (t) t a
linni.
Les tracs de 1 , 2 et sen suivent.
Pour a = b, les diagonales dquations y = x et y = x sont asymptotes et on dit que
est une hyperbole quilatre
(les asymptotes sont perpendiculaires). Dans ce cas, de b2 =
a2 (e2 1) , on dduit que e = 2.

Une hyperbole quilatre est donc une conique dexcentricit 2.

Une autre paramtrisation peut sobtenir comme suit.


(tan est bijective de ,
sur R), on a
En posant y = b tan (t) avec t ,
2 2
2 2
x2
1
a
a
= 1+tan2 (t) =
et x =
. Rciproquement tout point
, b tan (t) est
2
2 (t)
a
cos
cos (t)
cos (t)
sur lhyperbole. On a donc = 1 2 , o 1 et 2 sont les courbes dquations paramtriques
respectives :
a

1 (t) =
, b tan (t)
t ,
2 2
cos (t)
et :

t ,
2 (t) =
2 2

a
, b tan (t)
cos (t)

78

Coniques
En posant u = tan

trisations :

t
2

, on a u ]1, 1[ , cos (t) =

u ]1, 1[

1 u2
2u
, tan (t) =
et les param2
1+u
1 u2

1 + u2
2u
,b
2
1 u 1 u2

Pour lellipse, le rsultat qui suit nous conduit une paramtrisation.

Thorme 3.6 Si x, y sont deux rels tels que x2 + y 2 = 1, il existe alors un unique rel
t [, [ tel que x = cos (t) et y = sin (t) .
Dmonstration. Comme x2 + y 2 = 1, x est dans [1, 1] et il existe un unique rel
[0, ] tel que x = cos () . Avec y 2 = 1 x2 = sin2 () , on dduit que y = sin () , soit
y = sin () . Avec la parit de la fonction cos, on peut crire que x = cos () et on aboutit
(x, y) = (cos (t) , sin (t)) avec t [, [ (pour (x, y) = (cos () , sin ()) = (1, 0) , on crit
(x, y) = (cos () , sin ())).
Si t [, [ est une autre solution, de cos (t) = cos (t ) , on dduit que t = t. Si t = t,
cest termin, sinon t = t et de sin (t) = sin (t ) = sin (t) , on dduit que t vaut 0 ou , 0
tant la seule solution puisque t = [, [ . Do lunicit.
/
On en dduit la paramtrisation de lellipse :
t [, [ (t) = (a cos (t) , b sin (t))

2
puis on complte par symtrie par rapport aux axes. On a des tangentes verticales en A, A et
des tangentes horizontales en B, B .
L encore, cette paramtrisation permet un trac de lellipse. Ltude se fait pour t 0,

Un exemple dhyperbole

Considrons dans le plan euclidien R2 muni de sa base canonique (, , ) lhyperbole
e1 e2
ayant pour excentricit e = 2, pour directrice la droite D dquation X + Y = 0 et pour foyer

le point F (2, 2) . La droite D est dirige par = (1, 1) et pour M (X, Y ) R2 on a dj vu

v
Y X
que la projection orthogonale H (XH , YH ) de M sur D est dnie par YH = XH =
.
2
En particulier, pour M = F, cette projection est K (0, 0) = .
La condition M F = 2M H se traduit alors par :
(X 2)2 + (Y 2)2 = 2 (X + Y )2
ou encore :
X 2 + Y 2 + 4XY + 4 (X + Y ) 8 = 0
(3.4)

(cest lquation de lhyperbole dans le repre (, , )).
e1 e2
Les sommets de cette hyperbole sont les points dintersection avec laxe focal dquation
2
2 2
Y = X, ce qui donne lquation 3X 2 + 4X 4 = 0 de racines 2 et et les sommets A
,
3
3 3
et A (2, 2) .
2 2
Le centre est le milieu de [AA ] , soit O ,
.
3 3

x2 y 2
4 2
et dans un repre adapt, une quation est 2 2 = 1 o b =
Le demi axe est a = OA =
3
a b

1
4 2
3
, ) , o O 2 , 2 , = = ( + ) ,

OA
a e2 1 = . Ce repre est (O,
e1 e2

3 3
3
4 2
2

quation rduite dune conique

79

1
= ( + ) et lquation est :

e1 e2
2

9x2 3y 2 = 32.

(gure 3.7).

Fig. 3.7 Hyperbole : X 2 + Y 2 + 4XY + 4 (X + Y ) 8 = 0

Un exemple dellipse

Considrons aussi, dans le plan euclidien R2 muni de sa base canonique (, , ) lellipse
e1 e2
1
ayant pour excentricit e = , pour directrice la droite D dquation X + Y = 0 et pour foyer
2

le point F (2, 2) . La droite D est dirige par = (1, 1) et pour M (X, Y ) R2 la projection
v
Y X
orthogonale H (XH , YH ) de M sur D est dnie par YH = XH =
.
2
En particulier, pour M = F, cette projection est K (0, 0) = .
1
La condition M F = M H se traduit alors par :
2
(X + Y )2
(X 2) + (Y 2) =
8
2

ou encore :

7X 2 + 7Y 2 2XY 32 (X + Y ) + 64 = 0

(cest lquation de lellipse dans le repre (, , )).
e1 e2

(3.5)

80

Coniques

Les sommets de cette ellipse sont les points dintersection de lellipse avec laxe focal dqua4
tion Y = X, ce qui donne lquation 3X 2 16X + 16 = 0 de racines et 4 et les sommets
3
4 4
A (4, 4) et A
,
.
3 3
8 8
Le centre est le milieu de [AA ] , soit O
,
.
3 3
4
x2 y 2
Le demi axe est a = OA =
2 et dans un repre adapt, une quation est 2 + 2 = 1 o
3
a
b

2 2
1
8 8
1

b = a 1 e2 = . Ce repre est (O, , ) , o O

OA = ( + ) ,
e1 e2
,
, =

3 3
OA
3
2
1
= ( + ) et lquation est :

e1 e2
2

9x2 + 12y 2 = 32.

(gure 3.8).

Fig. 3.8 7X 2 + 7Y 2 2XY 32 (X + Y ) + 64 = 0

Intersection dune ellipse et dune droite

Soit une ellipse. Dans un repre orthonorm adapt (O, , ) , cette ellipse a pour qua
tion :
x2 y 2
+ 2 =1
a2
b

quation rduite dune conique

81

avec 0 < b < a.

On se donne une droite D dquation :
ux + vy + w = 0
avec (u, v) = (0, 0) .

Un vecteur directeur de D est V = (v, u) et dsignant par M0 (x0 , y0 ) un point quelconque

de D, une paramtrisation de cette droite est :
x = x0 v
y = y0 + u
Lintersection D est non vide si, et seulement si, il existe un rel tel que :

x = x0 v

y = y0 + u
x2 y 2

+ 2 =1
a2
b
ce qui entrane que est solution de lquation :
b2 (x0 v)2 + a2 (y0 + u)2 = a2 b2
qui est quivalente :
2
a2 u2 + b2 v 2 2 + 2 a2 uy0 b2 vx0 + a2 y0 + b2 x2 a2 b2 = 0.
0

Cette quation est de degr 2 puisque a2 u2 + b2 v 2 = 0 du fait que a > 0, b > 0 et (u, v) = (0, 0) .
Elle a donc 0, 1 ou 2 solutions relles.
Le discriminant de cette quation est :
2

= a2 uy0 b2 vx0

a2 u2 + b2 v 2

2
a2 y0 + b2 x2 a2 b2
0

2
= a2 b2 a2 u2 + b2 v 2 u2 x2 2uvx0 y0 v 2 y0
0

= a2 b2 a2 u2 + b2 v 2 (ux0 + vy0 )2
soit en tenant compte de ux0 + vy0 = w (M0 D) :
= a2 b2 a2 u2 + b2 v 2 w2 .
On en dduit alors que :
si a2 u2 + b2 v 2 < w2 , alors < 0 et D ne coupe pas ;
si a2 u2 + b2 v 2 = w2 , alors = 0 et D coupe en un unique point. Prenant ce point comme
origine M0 de D, on a M0 D et :
2
a2 y0

b 2 x2
0

2 2

2 2

a b =a b

2
x2 y 0
0
+ 2 1
a2
b

de sorte que :
0 = = a2 uy0 b2 vx0
et :
a2 uy0 b2 vx0 = a2 b2 u

=0

y0
x0
v 2
b2
a

x0 y 0
ce qui signie que V = (v, u) est orthogonal au vecteur
,
a2 b2
la tangente en M0 . La droite D est donc tangente .

qui est orthogonal

82

Coniques
si a2 u2 + b2 v 2 > w2 , alors > 0 et D coupe en deux points distincts. En prenant pour
2
origine M0 de D lun de ces points de contact, on a = (a2 uy0 b2 vx0 ) > 0, donc le

x0 y 0
produit scalaire de V avec le vecteur
,
qui est orthogonal la tangente en M0
a2 b2
nest pas nul et D nest pas tangente en M0 .
On a donc montr le rsultat suivant.

Thorme 3.7 Soit D une droite dquation ux + vy + w = 0 avec (u, v) = (0, 0) .

si a2 u2 + b2 v 2 < w2 , alors D ne coupe pas ;
si a2 u2 + b2 v 2 = w2 , alors D coupe en un unique point M0 et est tangente en ce
point ;
si a2 u2 + b2 v 2 > w2 , alors D coupe en deux points distincts et nest pas tangente .
Les droites tangentes une ellipse sont donc celles qui coupent cette ellipse en un unique
point (un point double). On peut remarquer que ce rsultat est faux pour la parabole.
Les thormes dAppolonius
Soit une ellipse de paramtrisation :
t (t) = (a cos (t) , b sin (t))

dans un repre orthonorm adapt (O, , ) .

Thorme 3.8 (premier thorme dAppolonius) Soient M et N tel que la
tangente en N soit parallle (OM ) . Laire du triangle OM N est alors constante gale
ab
et OM 2 + ON 2 = a2 + b2 .
2
Dmonstration. En notant M = (t) , dire que la tangente en N = (t ) est parallle
OM quivaut dire que :
det ( (t) , (t )) =

a cos (t) a sin (t )

b sin (t) b cos (t )

= ab (cos (t) cos (t ) + sin (t) sin (t ))

= ab cos (t t ) = 0

ce qui est encore quivalent t = t modulo 2 et donne deux possibilits pour N.

2
Laire du triangle OM N est alors :
1
1
a cos (t) a cos (t )
|det ( (t) , (t ))| = det
b sin (t) b sin (t )
2
2
1
= ab |cos (t) sin (t ) sin (t) cos (t )|
2
1
1
= ab |sin (t t)| = ab.
2
2

A=

On a aussi :
OM 2 + ON 2 = a2 cos2 () + cos2 ( ) + b2 sin2 () + sin2 ( )
= a2 cos2 () + sin2 () + b2 sin2 () + cos2 ()
= a2 + b2 .

quation rduite dune conique

83

Thorme 3.9 (deuxime thorme dAppolonius) En gardant les notations du thorme

prcdent, on dsigne par I la projection de M sur laxe focal (laxe des abscisses) et par J celle
de N. On a alors :
OI 2 + OJ 2 = a2 .
Dmonstration. On a :
OI 2 + OJ 2 = a2 cos2 () + cos2 ( )
= a2 cos2 () + sin2 () = a2 .

Projection orthogonale dun cercle de lespace sur un plan

Les ellipses peuvent aussi tre vues comme les projections orthogonales dun cercle de lespace
euclidien sur un plan.
Thorme 3.10 Soient P et P deux plans non orthogonaux de lespace et C un cercle inclus
dans P. La projection orthogonale de C sur P est une ellipse ou un cercle.
Si les plan P et P sont orthogonaux, cette projection est alors un segment que lon peut
voir comme une ellipse crase.

3.2.3

Construction des tangentes une conique

Un procd de construction de la tangente une conique en point M qui nest pas sur laxe
focal est donn par le rsultat suivant.
Thorme 3.11 Soient une conique et M un point de qui nest pas sur laxe focal . La
tangente en M coupe la directrice D en un point T tel que le triangle M F T soit rectangle
en F (gure 3.9).
Dmonstration. Soit : t M (t) une paramtrisation rgulire de dans un repre

orthonorm (F, , ) , o =

F K.
FK

En drivant lgalit M F = e M H , on a :

e d
1 d
M F dt M F = M H dt M H.

MF
MH

avec M H = puisque ces deux vecteurs sont colinaires et de norme 1 et en notant

MH

1
u (t) = M F , on a :

MF
d

d
u (t) M F = e M H,

dt
dt
avec :

d = d + d

MH

MF

FH
dt
dt
dt

84

Coniques

Fig. 3.9 Tangente en un point dune conique

et :

d = d = d + = d = 0

FH
F K KH
FK

FH

dt
dt
dt
dt

et = ne dpend pas de t. On a donc :

FK
du fait que KH est orthogonal

FK
d

u (t) M F = e M F .
dt
dt

d
Si T est le point dintersection de la tangente en M avec la directrice D, on a M T = M F
dt
et :
d

u (t) M T = u (t) M F = e () M F = e ( ) M T
dt
dt
ce qui entrane :

F M F T = F M F M + M T = M F M F u (t) M T

M F e ( ) M T
= MF
avec :

= + = = ,
M T M H HT M H
MH

ce qui donne en dnitive :

F M FT = MF

MF e MH

cest--dire que le triangle M F T est rectangle en F.

= 0,

Dnition bifocale des coniques centre

3.3

85

Dnition bifocale des coniques centre

On a vu quune conique centre a deux foyers et deux directrices (thorme 3.5).

De ce rsultat nous allons dduire une autre caractrisation mtrique des coniques centre.
Thorme 3.12 Soit une ellipse de directrice D, de foyer F et dexcentricit e < 1. En
dsignant par F le deuxime foyer de (le symtrique de F par rapport au centre O de ) et
par 2a le grand axe, on a :
{M P | M F + M F = 2a}
avec 2a > F F .

Dmonstration. On se place dans un repre orthonorm (O, , ) , o O est le centre de

a
1

OA. Dans ce repre, en notant a = OA, on a K

et =

, 0 , F (ea, 0) , F (ea, 0) et
OA
e
pour tout point M (x, y) de lellipse, on a :
M F 2 = (x ea)2 + y 2 = e2 M H 2 = e2 x
soit :
MF = e x

a
e

a
e

et :
2

(M F ) = (x + ea)2 + y 2 = e2 (M H ) = e2 x +
soit :
MF = e x +
Sachant que x2 a2 <

a
e

a
e

a2
x2 y 2
a
a
(dduit de 2 + 2 = 1 et e < 1), on dduit que < x < et :
2
e
a
b
e
e
MF + MF = e

a
a
x +e x+
= 2a.
e
e

De plus F F = 2ea < 2a puisque e < 1.

a
a
On peut aussi remarquer que lencadrement < x < pour M (x, y) nous dit que
e
e
lellipse est strictement contenue dans la bande verticale limite par les directrices D et D
a
a
(dquations respectives x = et x = ). Il en rsulte que tout point M de lellipse est
e
e
lintrieur du segment [HH ] et en consquence :
M F + M F = e (M H + M H ) = eHH = eKK = 2a.
Rciproquement, on a le rsultat suivant.
Thorme 3.13 Si F, F sont deux points distincts de P et a un rel tel que 2a > F F , alors
lensemble :
= {M P | M F + M F = 2a}
est une ellipse de foyers F, F et de grand axe 2a.

86

Coniques

Dmonstration. On note O le milieu de [F F ] et on se place dans un repre orthonorm

(O, , ) , o =

OF . Les calculs prcdents nous conduisent poser xF = OF = ea,

OF
OF
FF
a
soit e =
=
< 1 et dnir la droite D dquation x = .
a
2a
e
De M F + M F = 2a, on dduit que :
2

M F 2 (M F ) = (M F + M F ) (M F M F ) = 2a (M F M F )
avec :

M F 2 = (x ea)2 + y 2 et (M F ) = (x + ea)2 + y 2

ce qui donne :
2a (M F M F ) = 2eax
et de :

M F + M F = 2a
M F M F = 2ex

on dduit que :
M F = a ex > 0.
a
Le projet orthogonal de M sur D tant H
, y , on a :
e
MH =

a
1
x = (a ex)
e
e

et M F = eM H. Donc est contenu dans lellipse de foyers F, F et de grand axe 2a.

La rciproque a t tablie avec le thorme prcdent.

On peut aussi travailler analytiquement toujours dans le mme repre orthonorm (O, , ) .

2
2
2
La condition M F + M F = 2a quivaut M F + M F + 2M F M F = 4a , soit :
(x ea)2 + y 2 + (x + ea)2 + y 2 + 2M F M F = 4a2
ou encore :
x2 + y 2 + e2 a2 + M F M F = 2a2
ce qui peut aussi scrire :
M F M F = 2a2 x2 y 2 e2 a2
On a donc :
(M ) M F 2 M F

= 2a2 x2 y 2 e2 a2

(x ea)2 + y 2

(x + ea)2 + y 2 = 2a2 x2 y 2 e2 a2

1 e2 x2 + y 2 = a2 1 e2

avec 0 < e < 1 et est contenu dans lellipse de foyers F, F et de grand axe 2a.
Rciproquement si M est un point de lellipse de foyers F, F et de grand axe 2a, ses coory2
donnes vrient lquation x2 +
= a2 , ce qui quivaut :
1 e2
MF 2 MF

= 2a2 x2 y 2 e2 a2

Dnition bifocale des coniques centre

et avec x2 a2 ,

87

y2
a2 , on dduit que :
1 e2

2a2 x2 y 2 e2 a2 = a2 x2 + 1 e2

a2

y2
1 e2

et M F M F = 2a2 x2 y 2 e2 a2 , ce qui quivaut M F + M F = 2a.

Remarque 3.4 Dans le cas o les foyers F et F sont confondus, on obtient le cercle dquation
M F = a que lon peut voir comme une ellipse dexcentricit nulle et de directrice rejete
linni.
Remarque 3.5 Si M P est tel que M F + M F = 2a o a > 0 est donn, en utilisant
lingalit triangulaire, on dduit que :
F F F M + M F = 2a
lingalit tant stricte si M [F F ] , en consquence lensemble {M P | M F + M F = 2a}
/
est vide si 2a < F F et pour 2a = F F cest le segment [F F ] .
Pour ce qui est des hyperboles, ont on des rsultats similaires.
Thorme 3.14 Soit une hyperbole de directrice D, de foyer F et dexcentricit e > 1. En
dsignant par F le deuxime foyer de (le symtrique de F par rapport au centre O de ) et
par 2a le grand axe, on a :
{M P | |M F M F | = 2a}
avec 2a < F F .

Dmonstration. On se place dans un repre orthonorm (O, , ) , o O est le centre de

= 1 Dans ce repre, en notant a = OA, on a K a , 0 , F (ea, 0) et F (ea, 0)

et
OA.
OA
e
et pour tout point M (x, y) de lhyperbole, on a :
M F 2 = (x ea)2 + y 2 = e2 M H 2 = e2 x
soit :
MF = e x

a
e

a
e

et :
2

(M F ) = (x + ea)2 + y 2 = e2 (M H ) = e2 x +
soit :
MF = e x +

a
e

a
e

x2 y 2
a
a
a2
Sachant que x a > 2 (dduit de 2 2 = 1 et e > 1), on dduit que x < ou x >
e
a
b
e
e
et :

a
a
e
x +e x+
= 2a

e
e
ou
MF MF =
.

a
a

e x
e x+
= 2a
e
e
soit |M F M F | = 2a
De plus F F = 2ea > 2a puisque e > 1.
2

88

Coniques

Thorme 3.15 Si F, F sont deux points distincts de P et a un rel tel que 0 < 2a < F F ,
alors lensemble :
= {M P | |M F M F | = 2a}
est une hyperbole de foyers F, F et de grand axe 2a.
Dmonstration. Dmonstration analogue celle concernant lellipse.
Remarque 3.6 Si M P est tel que |M F M F | = 2a o a > 0 est donn, en utilisant
lingalit triangulaire, on dduit que :
2a = |M F M F | F F
lingalit tant stricte si M [F F ] , en consquence lensemble {M P | |M F M F | = 2a}
/
est vide si 2a > F F et pour 2a = F F , on a :

MF MF = FF
ou
|M F M F | = 2a = F F

MF MF = FF
ce qui quivaut dire que est la doite (F F ) prive du segment ouvert ]F F [ .
En utilisant la dnition bi-focale des coniques centres, on a les rsultats suivants sur les
tangentes.
Thorme 3.16 Soient une ellipse de foyers F, F et M un point de . La tangente en
M est la bissectrice extrieure issue de M du triangle M F F .
Dmonstration. Soit M : t M (t) une paramtrisation rgulire de . En drivant

lgalit M F + M F = 2a, on a :

1 d
1 d
M F M F + M F M F = 0.

dt
dt
MF
MF
En remarquant que :

d
d d
d
MF = MF + FF = MF
dt
dt
dt
dt

1
1
et en posant u (t) = M F et v (t) = M F on a :

MF
MF

d
u (t) + v (t) M F = 0
dt

d
M F est orthogonal au vecteur u (t) + v (t) qui dirige la
dt
bissectrice intrieure issue de M du triangle M F F , encore quivalent dire que la tangente
en M est la bissectrice extrieure issue de M du triangle M F F .
Une dmonstration analogue donne le rsultat suivant pour lhyperbole.
ce qui signie que le vecteur tangent

Thorme 3.17 Soient une hyperbole de foyers F, F et M un point de . La tangente

en M est la bissectrice intrieure issue de M du triangle M F F .

Lieu orthoptique dune conique

3.4

89

Lieu orthoptique dune conique

tant donne une conique , on sintresse au lieu des points M du plan euclidien P do
lon peut mener deux tangentes qui sont orthogonales.

3.4.1

Lieu orthoptique dune ellipse

Soit une ellipse dans le plan euclidien P dquation :

x2 y 2
+ 2 =1
a2
b

(3.6)

dans un repre orthonorm (O, , ) , o 0 < b < a.

On rappelle que la tangente en M1 (x1 , y1 ) est la droite dquation :
x1
y1
x + 2 y = 1.
2
a
b
De lquation cartsienne (3.6) , on dduit la paramtrisation :
: t R (a cos (t) , b sin (t))
et la tangente en (t) est dirige par (t) = (a sin (t) , b cos (t)) . Une quation de cette
tangente est donc donne par :
x a cos (t) a sin (t)
y b sin (t) b cos (t)

= b cos (t) (x a cos (t)) + a sin (t) (y b sin (t))

= b cos (t) x + a sin (t) y ab = 0

Lemme 3.3 Soit M0 (x0 , y0 ) P.

2
x2
y0
0
1. Si 2 + 2 < 1 (i. e. M0 est extrieur ), il ne passe alors aucune tangente par
a
b
M0 ;
2
x2 y0
0
2. si 2 + 2 = 1 (i. e. M0 sur ), il passe alors une seule tangente par M0 ;
a
b
2
2
x0 y 0
3. si 2 + 2 > 1 (i. e. M0 est intrieur ), il passe alors exactement deux tangentes
a
b
par M0 .

Dmonstration. Une droite D0 passant par M0 a une quation de la forme :

u (x x0 ) + v (y y0 ) = 0
o (u, v) = (0, 0) et elle est tangente si, et seulement si :
a2 u2 + b2 v 2 = (ux0 + vy0 )2
ce qui est encore quivalent :
2
a2 x2 u2 2x0 y0 uv + b2 y0 v 2 = 0
0

qui signie que (u, v) est dans le cne isotrope de la forme quadratique q dnie par :
2
q (X, Y ) = a2 x2 X 2 2x0 y0 XY + b2 y0 Y 2 .
0

(3.7)

90

Coniques

Le discriminant de cette forme quadratique est :

a2 x2 x0 y0
0
= a2 x2
2
0
x0 y0 b2 y0
2
x2 y0
0
= a2 b2
+ 2 1 =
a2
b

2
2
b2 y0 x2 y0
0

2
( est le discriminant des quations de degr au plus gal 2, (a2 x2 ) t2 2x0 y0 t + (b2 y0 )
0
2
2
2
2 2
et (a x0 ) 2x0 y0 t + (b y0 ) t ).
2
x2
y0
0
2
Pour 2 + 2 < 1, on a > 0, donc (a2 x2 ) (b2 y0 ) = 0 et les quations de degr 2
0
a
b
2
2
(a2 x2 ) t2 2x0 y0 t + (b2 y0 ) et (a2 x2 ) 2x0 y0 t + (b2 y0 ) t2 nont pas de racine relle
0
0
(puisque < 0), ce qui entrane que le cne isotrope de q est rduit {(0, 0)} et il ne passe
pas de tangente par M0 .
2
x2 y 0
0
2
Pour 2 + 2 = 1, on a = = 0, donc (a2 x2 ) (b2 y0 ) = 0 et les quations de degr 2
0
a
b
2
2
(a2 x2 ) t2 2x0 y0 t + (b2 y0 ) et (a2 x2 ) 2x0 y0 t + (b2 y0 ) t2 ont une unique racine relle,
0
0
ce qui entrane que le cne isotrope de q est une droite vectorielle et il passe une seule tangente
par M0 .
2
x2 y 0
0
Pour 2 + 2 > 1, on a < 0.
a
b
2
Si (x2 , y0 ) = (a2 , b2 ) , lquation (3.7) devient :
0

2x0 y0 uv = 0
et u = 0 ou v = 0, de sorte que D0 est une droite passant par (a, b) parallle lun des
axes. Cette droite et sa perpendiculaire en M0 sont alors tangentes (par exemple pour
M0 = (a, b) , la tangente en A (a, 0) est la droite dquation x = a et la tangente en B (0, b)
est la droite y = b).
2
2
Si (x2 , y0 ) = (a2 , b2 ) , alors lune des quations de degr 2 (a2 x2 ) t2 2x0 y0 t + (b2 y0 ) ou
0
0
2
(a2 x2 ) 2x0 y0 t + (b2 y0 ) t2 ( > 0) a deux racines relles distinctes et le cne isotrope de q
0
est la runion de deux droites vectorielles distinctes. Il passe donc exactement deux tangentes
par M0 .
Remarque 3.7 On peut aussi utiliser la signature de q dans la dmonstration prcdente.
Si sgn (q) = (2, 0) ou (0, 2) , son discriminant est strictement positif et la forme q est
dnie (positive ou ngative), donc son cne isotrope est rduit {(0, 0)} .
Si sgn (q) = (1, 0) ou (0, 1) , son discriminant est nul, donc q se rduit q (X) = 2 (X)
1
et son cne isotrope est la droite dquation 1 (X) = 0.
Si sgn (q) = (1, 1) , son discriminant est strictement ngatif, donc q se rduit q (X) =
2
2
1 (X) 2 (X) et son cne isotrope est la runion des deux droites distinctes dquations
respectives 1 (X) 2 (X) = 0 et 1 (X) + 2 (X) = 0.
Thorme 3.18 Le lieu des points M du plan euclidien P do lon peut mener deux tangentes
lllipse qui sont orthogonales est le cercle dquation :
x2 + y 2 = a2 + b2 .
(gure 3.10).

Lieu orthoptique dune conique

91

M0
T2

T1

Fig. 3.10 Cercle orthoptique une llipse

Dmonstration. Notons ce lieu orthoptique.
Si M0 (x0 , y0 ) , il passe alors par M0 exactement deux tangentes . Ces tangentes T1
et T2 ont pour quation :
uk (x x0 ) + vk (y y0 ) = 0 (k = 1, 2)
o (u1 , v1 ) et (u2 , v2 ) sont deux solutions linairement indpendantes de lquation :
2
a2 x2 u2 2x0 y0 uv + b2 y0 v 2 = 0
0

et dire quelles sont orthogonales signie que :

u1 u2 + v 1 v 2 = 0

(3.8)

(le vecteur (uk , vk ) est orthogonal Tk pour k = 1, 2).

Supposons dabord a2 = x2 . Si vk = 0, on a alors (a2 x2 ) u2 = 0 et uk = 0, ce qui est
0
0
k
uk
impossible. Donc vk = 0 pour k = 1, 2 et mk =
sont les deux solutions relles de :
vk
2
a2 x2 t2 2x0 y0 t + b2 y0 = 0
0

et le produit de ces racines dune quation de degr 2 est :

m1 m2 =

2
b2 y0
,
a 2 x2
0

92

Coniques

mais en divisant (3.8) par v1 v2 , on a :

m1 m2 =

u1 u2
= 1
v1 v2

2
b2 y0
2
et 2
= 1, ce qui quivaut x2 + y0 = a2 + b2 .
0
a x2
0
2
Si a2 = x2 et b2 = y0 , (u1 , v1 ) et (u2 , v2 ) sont deux solutions linairement indpendantes de
0
lquation :
2
2x0 y0 u + b2 y0 v v = 0

et uk = 0 pour k = 1, 2. Avec u1 u2 + v1 v2 = 0, on dduit que vk = 0 pour k = 1, 2 et (u1 , v1 ) et

(u2 , v2 ) sont solutions de :
2
2x0 y0 u + b2 y0 v = 0
2
donc sur une mme droite, ce qui nest pas possible. On a donc b2 = y0 pour a2 = x2 et encore
0
2
x2 + y0 = a2 + b2 .
0
On donc montr que est contenu dans le cercle dquation x2 + y 2 = a2 + b2 .
Rciproquement soit M0 (x0 , y0 ) sur le cercle dquation x2 + y 2 = a2 + b2 . On a alors :
2
2
2
x2 y0
a2 + b2 y0 y0
a2 + b2
0
2
+ 2 =
+ 2 =
+ y0
2
2
2
a
b
a
b
a

1
1
2
2
b
a

>1

et il passe par M0 exactement deux tangentes T1 et T2 .

Si x2 = a2 , on a alors y0 = b2 , soit M0 (a, b) (ce sont les sommets dun rectangle)
0
et ces deux tangentes sont lune parallle laxe Ox et lautre parallle laxe Oy, donc
perpendiculaires. Par exemple pour M0 (a, b) , T1 est la tangente en M1 (0, b) dquation
x1
y1
x1
y1
x + 2 y = 1, soit y = b et T2 est la tangente en M1 (a, 0) dquation 2 x + 2 y = 1, soit
2
a
b
a
b
x = a.
2
Si x2 = a2 , alors lquation (a2 x2 ) t2 2x0 y0 t + (b2 y0 ) a deux racines relles distinctes
0
0
2
b2 y0
= 1 nous dit
m1 et m2 qui sont les pentes de ces tangentes et la relation m1 m2 = 2
a x2
0
que ces tangentes sont orthogonales.

3.4.2

Lieu orthoptique dune hyperbole

Soit une hyperbole dans le plan euclidien P dquation :

x2 y 2
2 =1
a2
b

(3.9)

dans un repre orthonorm (O, , ) , o 0 < b < a.

Thorme 3.19 Le lieu des points M du plan euclidien P do lon peut mener deux tangentes
lhyperbole qui sont orthogonales est le cercle dquation :
x2 + y 2 = a2 b2 .

3.4.3

Lieu orthoptique dune parabole

Soit une parabole et y 2 = 2px une quation rduite dans un repre adapt.
Thorme 3.20 Le lieu des points M du plan euclidien P do lon peut mener deux tangentes
p
la parabole qui sont orthogonales est la directrice D dquation x = .
2

Cocyclicit de 4 points sur une conique

3.5
3.5.1

93

Cocyclicit de 4 points sur une conique

Cocyclicit de 4 points sur une parabole

Soit une parabole et y 2 = 2px une quation rduite dans un repre adapt.
Dire que les quatre points Mk (xk , yk ) de sont cocycliques quivaut dire quil existe un
point M0 (x0 , y0 ) de P et un rel R > 0 tels que :
2
yk = 2pxk
(xk x0 )2 + (yk y0 )2 = R2

et les 4 rels yk sont ncessairement racines du polynme de degr 4 :

Q (t) =

1 2
t x0
2p

+ (t y0 )2 R2

soit de :
2
P (t) = t4 + 4p (p x0 ) t2 8p2 y0 t + 4p2 x2 + y0 R2 .
0

On a donc :
2
P (t) = t4 + 4p (p x0 ) t2 8p2 y0 t + 4p2 x2 + y0 R2
0
4

(t yk ) = t4 1 t3 + 2 t2 3 t + 4

=
k=1

avec :

4
=
1
yk = 0

k=1

=
yi yj = 4p (x0 p)
2
1i<j4

3 =
yi yj yk = 8p2 y0

1i<j<k4

2
4 = y1 y2 y3 y4 = 4p2 (x2 + y0 R2 )
0

(fonctions symtriques lmentaires des racines).

4

Une condition ncessaire de cocyclicit est donc 1 =

yk = 0, les rels yk tant deux

k=1

deux distincts.
Rciproquement, tant donns des rels y1 , y2 , y3 , y4 deux deux distincts tels que 1 =
4

yk = 0, on dnit les rels x0 et y0 par :

k=1

4p (x0 p) = 2 =

yi yj
1i<j4

8p2 y0 = 3 =

yi yj yk
1i<j<k4

et le rel r par :
2
4p2 x2 + y0 r = 4 = y1 y2 y3 y4 .
0

Il sagit alors de vrier que r > 0. Les conditions imposes nous disent que les yk sont racines
de :
P (t) = t4 1 t3 + 2 t2 3 t + 4
2
= t4 + 4p (p x0 ) t2 8p2 y0 t + 4p2 x2 + y0 r
0

94

Coniques

et en remarquant que P (y1 ) = 0 quivaut :

1 2
y x0
2p 1

Q (y1 ) =

1 2
y x0
2p 1

r=

on dduit que :

+ (y1 y0 )2 r = 0,

+ (y1 y0 )2 > 0

1 2
1 2
y1 =
y , soit M0 , ce qui nest pas ) et peut poser
2p
2p 0
r = R2 avec R > 0. Les conditions Q (yk ) = 0 pour 1 k 4 nous disent alors que les points
Mk sont cocycliques.
On a donc montr le rsultat suivant.
(r = 0 donnerait y1 = y0 et x0 =

Thorme 3.21 Les points deux deux distincts Mk (xk , yk ) , pour 1 k 4, sont cocycliques
sur la parabole dquation y 2 = 2px si, et seulement si,

yk = 0.

k=1

3.5.2

Cocyclicit de 4 points sur une ellipse

Soit une ellipse de paramtrisation :

: t R (a cos (t) , b sin (t))

dans un repre orthonorm (O, , ) , o 0 < b < a.

Thorme 3.22 (Joachminstal) Les points deux deux distincts Mk (xk , yk ) , pour 1 k
4, sont cocycliques sur lellipse de paramtrisation (x, y) = (a cos (t) , b sin (t)) si, et seulement
si,

yk 0 modulo 2.

k=1

3.6

quations des coniques dans un repre quelconque

On peut dnir une conique dans un repre cartsien (non ncessairement orthonorm) par
une quation implicite (x, y) = 0 o = q + h est la somme dune forme quadratique non
nulle et dune fonction ane, soit :
q (x, y) = ax2 + 2bxy + cy 2 et h (x, y) = 2dx + 2ey + f
avec (a, b, c) R3 \ {0} et (d, e, f ) R3 .
Le rel = b2 ac est le discriminant (rduit) de la forme quadratique q.
On dsigne par une telle courbe dquation (x, y) = 0.
Thorme 3.23
1. Si < 0, alors est soit vide, soit une ellipse, soit un cercle ventuellement rduit un
point.
2. Si = 0, alors est soit vide, soit une droite, soit la runion de deux droites parallles,
soit une parabole.
3. Si > 0, alors est soit la runion de deux droites scantes, soit une hyperbole.

quations des coniques dans un repre quelconque

95

Dans le cas o = 0 et est une conique, les valeurs propres de la matrice A de q dnissent
les directions principales (ou les axes) de la conique. Cette conique est centre et les coordonnes
du centre sobtiennent en rsolvant le systme :

f (x, y) = 0

x
f (x, y) = 0

y
soit :

ax + by + d = 0
bx + cy + e = 0