Cercle Tangent
Cercle Tangent
Cercle Tangent
Daniel Perrin
1 Introduction
Le but de ce texte est d’examiner la construction de cercles du plan
euclidien P donnés par trois conditions. Cet objectif est essentiellement
géométrique, mais pour comprendre la problématique du sujet (et notam-
ment le pourquoi du nombre 3 de conditions) il faut se souvenir qu’un cercle
du plan a une équation de la forme :
x2 + y 2 − 2αx − 2βy + γ = 0
où le point O = (α, β) est le centre du cercle et où le rayon est donné par
la formule R2 = α2 + β 2 − γ. Cela montre que l’espace des cercles est (une
variété) de dimension 3, précisément, c’est l’ouvert Ω de R3 formé des triplets
(α, β, γ) tels que α2 + β 2 − γ > 0.
Les conditions auxquelles peut être soumis un cercle peuvent être de
différentes natures. Nous nous limiterons ici à deux types de conditions :
• le cercle passe par un point donné,
• le cercle est tangent à une droite donnée.
On peut en imaginer bien d’autres (par exemple être tangent à un cercle
donné, voire à une courbe donnée, etc.).
1
α2 = γ. Cette équation étant de degré 2 est celle d’une quadrique (ici un
cylindre à base parabolique). Tout point de cette quadrique vérifiant β 6= 0
donne un cercle convenable.
1.2 Remarque. On montre que l’ensemble des cercles tangents à un cercle
donné est l’intersection de Ω et d’une quadrique. Par exemple, si le cercle
donné est de centre (0, 0) et de rayon R les cercles tangents sont donnés par
4R2 (α2 + β 2 − γ) = (γ − R2 )2 .
1.3 Commentaire. L’ensemble des cercles vérifiant trois conditions du type
ci-dessus est donc l’intersection de trois surfaces (plans ou quadriques) et il
est, en général, fini (et de cardinal ≤ 8). On peut donc légitimement se poser
la question de construire (à la règle et au compas) le ou les cercles vérifiant
trois de ces conditions.
2
Démonstration. Le ressort de la preuve est l’analogue du lemme 2.2 :
3.2 Lemme. Les centres des cercles tangents à deux droites distinctes sont :
• Les points de la parallèle équidistante si les droites sont parallèles.
• Les points des bissectrices des deux droites si elles sont sécantes.
Pour un centre donné il y a un unique cercle convenable.
3
O"
O' B
T' T"
C D
4
A
T
A"
D1
A' O"
O'
O
I !0
D2