Faisceau de droites

Modèle:Ébauche En géométrie projective, un faisceau de droites d'un plan projectif est la famille de toutes les 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 $\overrightarrow{E}$, un faisceau d'hyperplans comme une famille d'hyperplans, de rang deux.

Ainsi il existe deux hyperplans $H_1$ et $H_2$ d'équation $f_1(M)=0$ et $f_2(M)=0$ tels que tout hyperplan du faisceau ait une équation de la forme $(\lambda f_1+\mu f_2)(M)=0.$ On parle alors d'un faisceau de base $H_1$ et $H_2$.

Dans la géométrie euclidienne

Cas parallèle

On appelle faisceau impropre de droites le cas dans lequel un faisceau de droites forme un ensemble de droites parallèles soit avec un même coefficient angulaire. Si $H_1$ et $H_2$ ont la même direction ($\ker \varphi ,\varphi$ étant une forme linéaire sur $\overrightarrow{E}$), il en sera de même de $H$.

Réciproquement, tout hyperplan de direction $\ker \varphi$ admet une équation de la forme $(\lambda f_1+\mu f_2)(M)=0.$

En effet, on aura par exemple $f_1(M)=\varphi (\overrightarrow{OM})+a,f_2(M)=\varphi (\overrightarrow{OM})+b,f(M)=\varphi (\overrightarrow{OM})+c$ où $a,b,c\in ℝ.$ Mais il existe toujours $\lambda \in ℝ$ tel que $c=\lambda a+(1-\lambda )b$ d'où il résulte $f=\lambda f_1+(1-\lambda )f_2$.

Cas sécant

On appelle faisceau propre de droites, le cas dans lequel un faisceau de droites forme un ensemble de droites sécantes en un même point. Si les parties linéaires de $f_1$ et $f_2$ ne sont pas proportionnelles, $H_1\cap H_2$ est de dimension n-2. Tout hyperplan contenant $H_1\cap H_2$ appartient alors au faisceau de base $H_1,H_2$.

Soit en effet $\ker {\varphi }_1$, $\ker {\varphi }_2$, $\ker \varphi$ les directions respectives de $H_1,H_2,H$. Comme $\ker {\varphi }_1\cap \ker {\varphi }_2\subset \ker \varphi$, on a $\varphi =\lambda {\varphi }_1+\mu {\varphi }_2.$

(On peut prouver ce résultat d'algèbre linéaire en considérant l'application qui à $u\in \overrightarrow{E}$ associe le triplet $({\varphi }_1(u),{\varphi }_2(u),\varphi (u))\in {ℝ}^3$; son noyau est de dimension n-2 donc elle est de rang 2 d'après le théorème du rang. Ainsi ${\varphi }_1,{\varphi }_2,\varphi$ sont liés et comme ${\varphi }_1,{\varphi }_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 plans 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

Soient les droites d'équation $2x+3y-1=0$ et $x+2y+2=0$ ; soit $A$ 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 $\lambda (2x+3y-1)+\mu (x+2y+2)=0.$ Elle passe par $(1,-2)$ si et seulement si $-5\lambda -\mu =0$. On peut prendre $\lambda =1$ et $\mu =-5$ d'où l'équation cherchée

$3x+7y+11=0.$

Voir aussi

• Faisceau (géométrie)