Faisceau de cercles

Un article de Wikipédia, l'encyclopédie libre.

En géométrie, un faisceau de cercles est un ensemble complet de cercles tels que deux quelconques d'entre eux ont le même axe radical.

Faisceau lié à un cercle et un point[modifier | modifier le code]

Étant donnés un cercle (c0) et une droite (d), il existe une infinité de cercles (c) tels que l'axe radical de chacun d'eux et du cercle (c0) soit la droite (d). On dit que ces cercles (et le cercle c0) forment un faisceau.

Un faisceau est déterminé par deux cercles (c1) et (c2) non concentriques.

Les centres des cercles (c) sont situés sur la droite (Δ) perpendiculaire à (d) passant par le centre de (c0). (Δ) est la droite des centres du faisceau.

Deux cercles quelconques (c1) et (c2) du faisceau admettent (d) comme axe radical.

Faisceau liés à deux cercles[modifier | modifier le code]

Un faisceau est déterminé par deux cercles (c1) et (c2) non concentriques.

Faisceau à points de base[modifier | modifier le code]

Si les deux cercles sont concourants, alors le faisceau de cercles est l'ensemble des cercles passant par ces deux points A et B. La droite (AB) est l'axe radical.

La droite des centres des cercles du faisceau est alors la médiatrice du segment [AB].

Faisceau de cercles tangents[modifier | modifier le code]

Si les deux cercles sont tangents en un point I, alors le faisceau de cercles est l'ensemble des cercles tangents à la droite perpendiculaire en I à la droite O1O2 et passant par I. Cette droite est l'axe radical.

Faisceau à points limites (points de Poncelet)[modifier | modifier le code]

Si les deux cercles ne sont pas concourants, on parle de faisceau de Poncelet.

Les deux points limites (cercles de rayon nul du faisceau) U et V sont les projections orthogonales des points d'intersection des tangentes aux cercles (c1) et (c2) sur la droite O1O2. Ces deux points sont appelés points limites ou points de Poncelet.

Faisceaux de cercles orthogonaux[modifier | modifier le code]

Étant donnés deux cercles (c) et (c1) non concentriques, il existe une infinité de cercles (γ) orthogonaux à (c) et (c1), ils sont aussi orthogonaux à tous les cercles du faisceau déterminé par (c) et (c1).

Les cercles (γ) orthogonaux aux cercles (c) d'un faisceau F forment un faisceau Φ conjugué de F. L'axe radical d'un des faisceaux est la droite des centres de l'autre.

Si l'un des faisceaux est formé de cercles tangents, il en est de même de l'autre. Sinon si l'un des faisceaux est à points de base, l'autre est à points limites, et il y a identité entre ces couples de points.

Interprétation analytique[modifier | modifier le code]

Dans un repère orthonormé, l'équation cartésienne d'un cercle peut se mettre sous la forme  ; si le second cercle a pour équation , on voit que l'axe radical aura pour équation , et que tous les cercles d'équation auront le même axe radical ; cette famille d'équations définit un faisceau de cercles (pour les valeurs de pour lesquelles l'équation possède des solutions réelles).

Plus généralement, étant données deux courbes algébriques d'équations et , le faisceau (linéaire) de base est l'ensemble des courbes d'équation ( et étant des polynômes) ; on se place souvent dans le cadre projectif, prenant alors des polynômes homogènes de la forme .

Voir aussi[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

Lien externe[modifier | modifier le code]

La géométrie du cercle, applications avec GéoPlan