Voir la source de Birapport de droites

{{Ébauche|mathématiques}}
[[Image:birapport_et_projection.png|right]]
En [[géométrie]], étant donné un [[faisceau de droites|faisceau]] de quatre droites concourantes ou parallèles, on peut montrer que le [[birapport]] des quatre points que l'on obtient par intersection avec une sécante à ces 4 droites ne dépend pas de la sécante ; de plus il est égal au rapport des mesures algébriques des 3 points d'intersections (dans l'ordre adéquat)  pour une sécante à trois seulement de ces quatre droites et parallèle à la quatrième. Ce [[birapport]] de 4 points est appelé '''birapport des quatre droites'''.

Quand ce birapport égale -1 on dit que les quatre droites (concourantes ou parallèles) forment un '''faisceau harmonique'''.

Bien qu'exprimé ici en [[géométrie affine]], il s'agit fondamentalement d'une notion de [[géométrie projective]]. Les deux cas (droites concourantes et droites parallèles) sont réunis en un seul. Le cas où la sécante est parallèle à l'une des quatre droites n'existe pas (ou plutôt il est intégré au cas général). Le birapport de quatre droites concourantes est la notion [[dualité (géométrie projective)|duale]] du birapport de quatre points alignés. La notion de faisceau harmonique est la notion duale de celle de [[division harmonique]].

== Démonstration du caractère dual ==
Il s'agit de montrer que le birapport est indépendant de la sécante choisie.
 
=== Démonstration analytique ===

Les quatre droites sont données par des équations <math>f_i(M)=0</math>, (i = 1,2,3,4)
où <math>f_i</math> est une forme affine de partie linéaire <math>\phi_i</math>. Supposons la
droite <math>\mathcal D</math> définie par un point <math>A\,</math> et un vecteur directeur <math>u\,</math>.

Un point de <math>\mathcal D</math> est sur la droite <math>\mathcal D_i</math> si, et seulement si,
<math>M=A+\lambda_i u</math> avec <math>f_i(A)+\lambda_i\phi_i(u)=0</math> soit <math>\lambda_i=-\frac{f_i(A)}{\phi_i(u)}.</math>

Le [[birapport]] s'écrit alors
<center><math>\frac{\lambda_1-\lambda_3}{\lambda_2-\lambda_3}:\frac{\lambda_1-\lambda_4}{\lambda_2-\lambda_4}</math></center>
ou encore après avoir remplacé les <math>\lambda_i</math> par leur valeur et réduit les
fractions au même dénominateur
<center>
<math>\frac{f_3(A)\phi_1(u)-f_1(A)\phi_3(u)}{f_3(A)\phi_2(u)-f_2(A)\phi_3(u)}:
\frac{f_4(A)\phi_1(u)-f_1(A)\phi_4(u)}{ f_4(A)\phi_2(u)-f_2(A)\phi_4(u)}
</math>
</center>

On peut également mettre cette expression sous la forme :
<center><math>(1)\qquad\frac{\begin{vmatrix}f_3(A)&f_1(A)\\\phi_3(u)&\phi_1(u)\end{vmatrix}}{
\begin{vmatrix}f_3(A)&f_2(A)\\\phi_3(u)&\phi_2(u)\end{vmatrix}}
:\frac{\begin{vmatrix}f_4(A)&f_1(A)\\\phi_4(u)&\phi_4(u)\end{vmatrix}}
{\begin{vmatrix}f_4(A)&f_2(A)\\\phi_4(u)&\phi_2(u)\end{vmatrix}}.</math></center>

Les droites <math> D_1,D_2</math> engendrant le [[faisceau de droites]] auquel appartiennent <math>D_3</math> et <math>D_4</math>, il existe des
constantes <math>\alpha,\beta</math> telles que <math>f_3=f_1+\alpha f_2</math> et <math>f_4=f_1+\beta f_2</math>.

Notons que ce résultat est encore vrai dans le cas des droites parallèles. 

En remplaçant ces expressions dans l'égalité (1),
les déterminants se simplifient immédiatement (par combinaison de colonnes) ce qui conduit à l'égalité
<center>
<math>\alpha:\beta</math>
</center>

Ce rapport ne dépend donc que des  quatre droites du faisceau et non de <math>\mathcal D</math>
dont les éléments caractéristiques ont disparu.

=== Démonstration géométrique ===

;Cas des droites parallèles
[[Image:FaisceauParall.svg|right]]

Soit <math>\mathcal D,\mathcal D'</math> deux sécantes. Le théorème de Thalès permet d'affirmer
que tous les quotients <math>\frac{\overline{M_iM_j}}{ \overline{M'_iM'_j} }</math> sont égaux. 

Il en résulte immédiatement que <math>\frac{\overline{M'_3M'_1}}{\overline{M'_3M'_2} }:\frac{\overline{M'_4M'_1}}{\overline{M'_4M'_2}}=
\frac{\overline{M_3M_1}}{\overline{M_3M_2} }:\frac{\overline{M_4M_1}}{\overline{M_4M_2}}</math>

Le birapport est donc conservé.
{{clr}}

;Cas des droites issues d'un point

[[Image:Birraport_Faisceau.svg|right]]

Quite à translater la droite <math>\mathcal D'</math>, ce qui ne change pas le birapport des quatre points, on peut supposer que <math>\mathcal D'\cap\mathcal D_1=\mathcal D\cap\mathcal D_1=M_1</math>.

On mène ensuite les parallèles à <math>\mathcal D_1</math> issues de <math>M_3</math> et <math>M'_3</math> qui coupent <math>\mathcal D_2</math> en <math>N_2</math> et <math>N'_2</math> et <math>\mathcal D_4</math> en <math>N_4</math> et <math>N'_4</math>.

Le [[théorème de Thalès]] affirme <math>\frac{\overline{M_2M_1}}{\overline{M_2M_3}}=\frac{\overline{OM_1}}{\overline{N_2M_3}}</math> 
et <math>\frac{\overline{M_4M_1}}{\overline{M_4M_3} }=\frac{\overline{OM_1}}{ \overline{N_4M_3}}</math>;


Par quotient, il vient <math>\frac{\overline{M_2M_1}}{\overline{M_2M_3}}:\frac{\overline{M_4M_1}}{\overline{M_4M_3} }=\frac{\overline{N_4M_3}}{\overline{N_2M_3}}</math> 

De même on a <math>\frac{\overline{M'_2M'_1}}{\overline{M'_2M'_3}}:\frac{\overline{M'_4M'_1}}{\overline{M'_4M'_3} }=\frac{\overline{N'_4M'_3}}{\overline{N'_2M'_3}}</math>

Le théorème de Thalès permet de prouver l'égalité <math>\frac{\overline{N_4M_3}}{\overline{N_2M_3}}=\frac{\overline{N'_4M'_3}}{\overline{N'_2M'_3}}</math>

Les birapports [''M{{ind|1}}''; ''M{{ind|3}}''; ''M{{ind|2}}''; ''M{{ind|4}}''] et [''M'{{ind|1}}''; ''M'{{ind|3}}''; ''M'{{ind|2}}''; ''M'{{ind|4}}''] sont donc égaux, et par permutation, il en est de même des birapports [''M{{ind|1}}''; ''M{{ind|2}}''; ''M{{ind|3}}''; ''M{{ind|4}}''] et [''M'{{ind|1}}''; ''M'{{ind|2}}''; ''M'{{ind|3}}''; ''M'{{ind|4}}''].

== Faisceau harmonique ==
{{article détaillé|Division harmonique}}
Lorsque le birapport des droites vaut -1, les 4 droites forment un faisceau harmonique.

Un faisceau de  quatre droites concourantes est harmonique si et seulement si une parallèle à l'une des droites est coupée par les trois autres suivant un segment et son milieu.

Dans un parallélogramme (ABCD) , les deux diagonales (d{{ind|1}}) et (d{{ind|2}}) et les deux médianes (m{{ind|1}}) et (m{{ind|2}}) forment un '''faisceau harmonique''' {(d{{ind|1}}), (d{{ind|2}}),(m{{ind|1}}),  (m{{ind|2}})}. 

Pour un faisceau de 4 droites parallèles {(d{{ind|1}}), (d{{ind|2}}), (d{{ind|3}}), (d{{ind|4}})}, si (d{{ind|1}}) et (d{{ind|2}}) sont symétriques l'une de l'autre par rapport à (d{{ind|2}}) et si (d{{ind|4}}) est envoyée à l'infini, le faisceau de droites est harmonique.

[[File:Harmonic set of lines.svg|thumb|Les droites (d{{ind|1}}), (d{{ind|2}}), (OM),  et (ON) forment un faisceau harmonique.]]
Si (d{{ind|1}}) et  (d{{ind|2}}) sont deux droites sécantes en O et si M est un point du plan, il est possible de construire le point N tel que le système  {(d{{ind|1}}), (d{{ind|2}}), (OM), (ON)} constitue un faisceau harmonique. Les droites (ON) et (OM) sont alors dites conjuguées l'une de l'autre par rapport à (d{{ind|1}}) et  (d{{ind|2}}). 
{{retrait|Pour ce faire, il suffit de construire par M deux transversales, la première rencontrant (d{{ind|1}}) en A et (d{{ind|2}}) en C, la seconde rencontrant (d{{ind|1}}) en B et (d{{ind|2}}) en D. On prend alors pour point N , le point d'intersection des droites (AD) et (BC). Cette propriété sert parfois de définition pour le faisceau harmonique<ref>A.J. Chevillard, «Note sur le faisceau harmonique, ''Nouvelles annales de mathématique, série 1, tome 1 (1842), pp. 312-319 ({{lire en ligne|url=http://www.numdam.org/item?id=NAM_1842_1_1__312_0}})</ref>.}}
{{retrait| Une démonstration consiste à remarquer que les droites (AB), (BC), (CD), (DA) dessinent un [[quadrilatère complet]] avec les points O et N.  Ce quadrilatère complet est l'image par [[projection centrale]] d'un parallélogramme (A'B'C'D'). Le système {(d{{ind|1}}), (d{{ind|2}}), (OM), (ON)} est alors l'image du système {(A'B'), (C'D'), (m{{ind|1}}), (d)} de 4 droites parallèles (les deux côtés du parallélogramme, la médiane, et la droite à l'infini) formant un faisceau harmonique. La [[projection centrale]] conservant le birapport,  le premier faisceau est aussi harmonique.}}

Deux droites sécantes et leurs bissectrices forment un faisceau harmonique.

== Birapport de points sur une conique ==
Soient 4 points sur une conique ''M{{ind|1}}'', ''M{{ind|2}}'', ''M{{ind|3}}'', ''M{{ind|4}}'' et ''M'' un cinquième point de la conique, on peut démontrer<ref>Ce résultat se déduit par [[projection centrale]] du résultat sur le [[Birapport#Birapport_sur_un_cercle|birapport de 4 points sur un cercle]]</ref> que le birapport des droites (''MM{{ind|1}}''),  (''MM{{ind|2}}''), (''MM{{ind|3}}''),(''MM{{ind|4}}'') est indépendant de ''M''. Il est appelé birapport des 4 points de la conique.

== Notes et références ==
{{références}}

{{Portail|géométrie}}

[[Catégorie:Géométrie affine]]
[[Catégorie:Géométrie projective]]