- Faisceau De Droites
-
Faisceau de droites
En géométrie projective, un faisceau de droites est un ensemble de droites passant par un point.
En géométrie affine, on distinguera un ensemble de droites parallèles (le point commun est à l'infini) et un ensemble de droites passant par un point.
On peut également définir dans un espace affine de direction , un faisceau d'hyperplan comme une famille d'hyperplans, de rang deux.
Ainsi il existe deux hyperplans H1 et H2 d'équation f1(M) = 0 et f2(M) = 0 tels que tout hyperplan du faisceau ait une équation de la forme (λf1 + μf2)(M) = 0. On parle alors d'un faisceau de base H1 et H2.
Cas parallèle
Si H1 et H2 ont la même direction ( étant une forme linéaire sur ), il en sera de même de H.
Réciproquement, tout hyperplan de direction kerφ admet une équation de la forme (λf1 + μf2)(M) = 0.
En effet, on aura par exemple où Mais il existe toujours tel que c = λa + (1 − λ)b d'où il résulte f = λf1 + (1 − λ)f2.
Cas sécant
Si les parties linéaires de f1 et f2 ne sont pas proportionnelles, est de dimension n-2. Tout hyperplan contenant appartient alors au faisceau de base H1,H2.
Soit en effet kerφ1, kerφ2, kerφ les directions respectives de H1,H2,H. Comme , on a φ = λφ1 + μφ2.
(On peut prouver ce résultat d'algèbre linéaire en considérant l'application qui à associe le triplet ; son noyau est de dimension n-2 donc elle est de rang 2 d'après le théorème du rang. Ainsi φ1,φ2,φ sont liés et comme φ1,φ2 sont indépendants le résultat en découle.)
Cas particuliers
C'est bien entendu le cas des droites parallèles dans le plan, celui des droites passant par un point (défini comme intersection de deux droites qui fournissent alors une base de ce faisceau).
C'est encore le cas des plan parallèles de l'espace ou des plans contenant une droite donnée (définie comme intersection de deux plans qui fournissent une base du faisceau)
application élémentaire
Soit les droites d'équation 2x + 3y − 1 = 0 et x + 2y + 2 = 0; soit leur point d'intersection. Trouver l'équation de la droite passant par A et le point (1, − 2)
La droite cherchée appartient au faisceau des droites passant par A.
Son équation est de la forme λ(2x + 3y − 1) + μ(x + 2y + 2) = 0. Elle passe par (1, − 2) si et seulement si − 5λ − μ = 0. On peut prendre λ = 1 et μ = − 5 d'où l'équation cherchée
3x + 7y + 11 = 0.
orthocentre de trois tangentes à une parabole
- Portail de la géométrie
Catégories : Géométrie projective | Géométrie affine
Wikimedia Foundation. 2010.