Voir la source de Théorème de Pascal

{{À recycler|thème=mathématiques|date=avril 2008}}

[[Image:Hexagrammum_Mysticum.svg|vignette|Théorème de Pascal pour une [[Ellipse (mathématiques)|Ellipse]].]]

[[Image:PascalHyperbolique.svg|vignette|Théorème de Pascal pour une [[Hyperbole (mathématiques)|hyperbole]] dans une situation « croisée » : non seulement l'hexagone n'est pas convexe, mais les côtés se croisent.]]

En [[géométrie projective]], le '''théorème de [[Blaise Pascal|Pascal]]''' est un théorème concernant un hexagone inscrit dans une conique <ref>Pour de plus amples informations et de nombreuses constructions géométriques, voir [http://www-cabri.imag.fr/abracadabri/GeoPlane/Puissance/TheoPascal.html « Théorème de Pascal (dit de "l'hexagramme mystique") »], sur cabri.imag. [http://www-cabri.imag.fr/abracadabri/Coniques/CAffines/CAffBary/PasPreuv.html « Coniques en coordonnées barycentriques Ì.2 - Théorème de Pascal - Premières consèquences »] propose une autre démonstration qui n'utilise pas la transformée par polaires réciproques, mais l'écriture barycentrique d'une conique. Le résultat s'obtient alors par annulation d'un [[Déterminant (mathématiques)|déterminant]].</ref>.

== Théorème de Pascal (direct et réciproque), version projective ==
Étant donné un [[hexagone]] d'un [[plan projectif]] sur un [[corps commutatif]] quelconque, il y a équivalence entre les deux propositions suivantes :{{énoncé|
# l'hexagone est inscrit dans une conique ;
# les points d'intersection des trois paires de côtés opposés sont [[alignement (géométrie)|alignés]] (la droite joignat ces points est parfois appelée '''droite de Pascal''').
|# l'hexagone est inscrit dans une conique ;
# les points d'intersection des trois paires de côtés opposés sont [[alignement (géométrie)|alignés]] (la droite joignant ces points est parfois appelée '''droite de Pascal''').
}}

Les "côtés" de l'hexagone sont les ''droites'' joignant deux points consécutifs de l'hexagone.

Si deux côtés opposés sont confondus, leur intersection est une droite. Le théorème s'interprète alors par exemple en écrivant la seconde condition sous la forme :
{{énoncé|Il existe une droite contenant trois points appartenant aux intersections respectives des paires de côtés opposés.}}

Cependant cette disposition ne peut exister dans le cas d'une [[conique]] ''propre'' puisque l'intersection d'une telle conique et d'une droite comporte au plus deux points.

{{démonstration|1=
On note M<sub>1</sub>, M<sub>2</sub>, M<sub>3</sub>, M<sub>4</sub>, M<sub>5</sub> et M<sub>6</sub> désignant les six sommets de l'hexagone, les paires de côtés opposés sont {M<sub>1</sub>M<sub>2</sub>, M<sub>4</sub>M<sub>5</sub>}, {M<sub>2</sub>M<sub>3</sub>, M<sub>5</sub>M<sub>6</sub>}, {M<sub>3</sub>M<sub>4</sub>, M<sub>6</sub>M<sub>1</sub>}. On désigne les intersections respectivement A, B et C.

;Sens direct
Il résulte des propriétés des [[homographie sur une conique|homographies sur une conique]] que le [[rapport anharmonique|birapport]] du faisceau de droites SM<sub>2</sub>, SM<sub>4</sub>, SM<sub>5</sub>, SM<sub>6</sub> est indépendant du point S pris sur la conique. Par suite on a l'égalité des birapports de droites [[concourant]]es :
: [M<sub>1</sub>M<sub>2</sub>, M<sub>1</sub>M<sub>4</sub>, M<sub>1</sub>M<sub>5</sub>, M<sub>1</sub>M<sub>6</sub>] = [M<sub>3</sub>M<sub>2</sub>, M<sub>3</sub>M<sub>4</sub>, M<sub>3</sub>M<sub>5</sub>, M<sub>3</sub>M<sub>6</sub>].

En considérant respectivement les intersections de ces deux faisceaux par les droites M<sub>4</sub>M<sub>5</sub> et M<sub>5</sub>M<sub>6</sub>, on en déduit l'égalité des birapports de points alignés :
: [A, M<sub>4</sub>, M<sub>5</sub>, P] = [B, Q, M<sub>5</sub>, M<sub>6</sub>], (1)
les droites M<sub>4</sub>Q et PM<sub>6</sub> se coupent en C. La projection de sommet C de la droite M<sub>4</sub>M<sub>5</sub> sur M<sub>5</sub>M<sub>6</sub> transforme M<sub>4</sub> en Q, P en M<sub>6</sub> et laisse M<sub>5</sub> invariant. Cette projection transforme A en un point B' de la droite M<sub>5</sub>M<sub>6</sub> tel que
: [A, M<sub>4</sub>, M<sub>5</sub>, P] = [B', Q, M<sub>5</sub>, M<sub>6</sub>] (2)
puisque cette projection est une application projective et conserve donc les birapports. Les 2 égalités (1) et (2) entraînent
: [B, Q, M<sub>5</sub>, M<sub>6</sub>] = [B', Q, M<sub>5</sub>, M<sub>6</sub>] et donc B = B'. Ainsi B est l'image de A dans cette projection de sommet C, ce qui montre bien l'alignement de A, B, C.

;Sens réciproque

Par hypothèse, on a une projection de sommet C de la droite M<sub>4</sub>M<sub>5</sub> sur M<sub>5</sub>M<sub>6</sub> qui transforme M<sub>4</sub> en Q, P en M<sub>6</sub>, laisse M<sub>5</sub> invariant et transforme A en B. Il en résulte l'égalité des birapports :
: [A, M, M<sub>5</sub>, P] = [B, Q, M<sub>5</sub>, M<sub>6</sub>]
et par suite celle des birapports de faisceaux :
: [M<sub>1</sub>M<sub>2</sub>, M<sub>1</sub>M<sub>14</sub>, M<sub>1</sub>M<sub>5</sub>, M<sub>1</sub>M<sub>6</sub>] = [M<sub>3</sub>M_2, \ M<sub>3</sub>M<sub>4</sub>, M<sub>3</sub>M<sub>5</sub>, M<sub>3</sub>M<sub>6</sub>].

Là encore, les propriétés des homographies sur une conique montrent que les six points M<sub>1</sub>, M<sub>2</sub>, M<sub>3</sub>, M<sub>4</sub>, M<sub>5</sub> et M<sub>6</sub> appartiennent à une même conique.
}}

===Théorème de Pappus-Pascal===

Le [[théorème de Pappus]] est un cas particulier du théorème (direct) de Pascal, lorsque la conique est ''dégénérée en deux droites distinctes'' D et D'. De plus, pour obtenir un résultat non trivial (vérification immédiate), on suppose que les deux sommets de chaque côté appartiennent à des droites D, D' distinctes.

On peut remarquer en reprenant la démonstration dans ce cas que les résultats généraux d'homographie sur une conique ne sont pas réellement utilisés. Les théorèmes invoqués sont plus simplement ceux concernant les divisions de points alignés et les faisceaux de droites.
{{Clr}}
<!--
'''Grâce à l'aimable autorisation de Mr. Yves Martin, nous donnons ci-dessous la démonstration proposée sur le site [http://www-cabri.imag.fr/abracadabri/GeoPlane/Puissance/TheoPascal.html Cabri.imag]'''
-->

==Théorème de Pascal, version euclidienne==

{{Théorème|nom=Théorème de Pascal|1=|énoncé=Étant donné un hexagone inscrit dans un cercle, les points d'intersections des côtés opposés sont alignés.}}

On veut prouver l'alignement de <math>M,N,P</math> ; on utilisera donc le [[théorème de Ménélaüs]]. Un triangle envisageable pour ce théorème est obtenu avec les droites <math>(BC),(DE),(FA)</math> qui donnent les points <math>I,J,K</math> (un autre
celui construit avec <math>(AB),(CD),(EF)</math>). Les côtés non utilisés de l'hexagone fournissent des points alignés avec <math>M,N,P</math>, d'où des utilisations possibles de Menelaüs qui traduisent en fait la façon dont la figure est construite. Il suffit alors d'utiliser le fait que tous ces points sont sur un même cercle, ce qui justifie l'utilisation de la [[Puissance d'un point par rapport à un cercle|puissance d'un point]].

[[Image:THPascal.svg|center]]

On veut donc calculer <math>\Pi=\frac{\overline{MI}}{\overline{MJ}}\,\frac{\overline{PJ}}{\overline{PK}}\,\frac{\overline{NK}}{\overline{NI} }</math>.

En utilisant le théorème de Ménélaüs dans le triangle <math>IJK</math> et le fait que <math>M,A,B</math> soient alignés, on tire <math>\frac{\overline{MI}}{\overline{MJ}}\,\frac{\overline{BJ}}{\overline{BK}}\,\frac{\overline{AK}}{\overline{AI}
}=1</math>

d'où <math>\frac{\overline{MI}}{\overline{MJ}}=\frac{\overline{BK}}{\overline{BJ}}\,\frac{\overline{AI}}{\overline{AK}}. </math>
On a également des relations similaires en écrivant que <math>N,D,C</math> et
<math>P,E,F</math> sont alignés. Tout ceci donne
:<math>\Pi=\left(\frac{\overline{BK}}{\overline{BJ}}\,\frac{\overline{AI}}{\overline{AK}}\right)
\left(\frac{\overline{EJ}}{\overline{EI}}\,\frac{\overline{FI}}{\overline{FK}}\right)
\left(\frac{\overline{CK}}{\overline{CJ}}\,\frac{\overline{DJ}}{\overline{DI}}\right).</math>

En utilisant la puissance de <math>I,J,K</math> par rapport au cercle, on tire
<math>\overline{BK}\,\overline{CK}=\overline{AK}\,\overline{FK}</math>, <math>\overline{AI}\,\overline{FI}=\overline{EI}\,\overline{DI}</math>
et finalement <math>\overline{EJ}\,\overline{DJ}=\overline{BJ}\,\overline{CJ}</math> si bien que
<math>\Pi=1</math>.

La droite que forme cet alignement est appelée « droite de Pascal ». La figure obtenue par la construction est appelée « [[hexagramme de Pascal]] ».
:<small> Nota bene : tout dépend du système d'axiomes choisis, mais les points d'intersection de deux droites existent toujours si on adopte les axiomes de la [[géométrie projective]] qui ignore le parallélisme. </small>

En prenant la [[polaire réciproque|polaire]] de cet énoncé par rapport au cercle lui-même, on obtient l'énoncé dit « dual » du précédent

{|
|+
!Énoncé initial
!Énoncé « polarisé »
|-----
| six points
| six tangentes
|-----
| point d'intersection
| droite joignant
|-----
| côté opposé
| sommet opposé
|-----
| aligné
| concourante
|}
{{ancre|théorème de Braikenridge–Maclaurin}}
{{Théorème|nom=Théorème de Brianchon|1=Étant donné un hexagone circonscrit à un cercle, les diagonales sont concourantes.}}

Ci-dessous le dessin dual du précédent. Les points ont été remplacés par les tangentes correspondantes ; le point de concours est le pôle de la droite précédente, ce qui est mis en évidence avec la tangente au cercle issue du projeté sur la droite du centre du cercle (en pointillé).

[[Image:THBranchion.svg|center]]

Prenant maintenant la [[polaire réciproque|polaire]] de ces deux énoncés par rapport à un cercle quelconque, on en déduit que ces deux énoncés restent valables sur une
conique quelconque au lieu d'un cercle.

La réciproque de ce théorème est vraie également : si les trois points A, B, C d'intersection des côtés opposés de l'hexagone sont alignés alors l'[[hexagone]] est inscrit dans une [[conique]]<ref>Dans son texte d'essai, Pascal mentionne cette propriété comme un petit lemme secondaire, on peut supposer qu'il n'avait pas perçu l'aspect fondamental de ce théorème qui est l'un des principaux de la géométrie projective.</ref>. Ce résultat est aussi connu comme le [[théorème de Braikenridge–Maclaurin]].

== Démonstration élémentaire du théorème de Pascal dans un cas très particulier ==
[[Fichier:Pascal parallele.png|vignette|300x300px]]
Nous allons montrer que si deux paires de côtés opposés d'un hexagone inscrit dans un cercle sont parallèles, alors le troisième aussi, en utilisant le [[Théorème de l'angle inscrit et de l'angle au centre#Version relative aux angles orientés 2|théorème de l'angle inscrit]]. Par [[transformation projective]], ceci permet d'obtenir le théorème de Pascal direct dans sa généralité<ref>{{Ouvrage|langue=en|auteur1=Jeremy GRAY|titre=Worlds Out of Nothing: A Course in the History of Geometry in the 19th Century|éditeur=Springer|année=2010|passage=34|isbn=978-0857290595}}</ref>.

Hypothèse : <math>A,B,C,D,E,F</math> sont trois points distincts d'un cercle vérifiant <math>(AB)\parallel(DE),(BC)\parallel(EF)</math>.

Conclusion : <math>(CD)\parallel(FA)</math>.

Démonstration : Nous montrons les égalités successives d'[[Angle#Angle orienté de deux droites|angles orientés de droites]] :

<math>\theta=\widehat{(AB,AF)}\overset {1}=\widehat{(CB,CF)}\overset{2}=
\widehat{(FE,FC)}\overset{3}=\widehat{(DE,DC)}\overset{4}=\widehat{(AB,DC)}</math>.

L'égalité 1 provient du théorème de l'angle inscrit, la 2 vient de ce que <math>(BC)\parallel(EF)</math>, la 3 vient du théorème de l'angle inscrit, et la 4 de ce que <math>(AB)\parallel(DE)</math>. On en déduit bien que <math>(AF)\parallel(DC)</math>.

==Réciproque du théorème de Pascal==

Le [[théorème de Brianchon]] admet une réciproque qui permet de définir les coniques d'une façon purement formelle en géométrie projective formelle. On en propose ici une totalement analytique.

On se donne six points <math>A,B,C,A',B',C'</math>. 
On prend comme repère <math>A,B,C</math>. Une conique passant par <math>A,B,C</math> admet une équation de la forme
:<math>(1)\qquad aX(X-1)+2bXY+cY(Y-1)=0.</math>

On note <math>\alpha,\alpha'</math> les coordonnées de <math>A'</math> (etc).

Le point <math>M = (AB)\cap(B'C')</math> a pour ordonnée <math> \frac{\beta\gamma'-\gamma\beta'}{ \beta-\gamma}</math> ; le point <math>N = (AC)\cap(A'B')</math> a pour abscisse <math> \frac{\alpha\beta'-\alpha'\beta}{ \beta'-\alpha'}</math>.

Au lieu de calculer les coordonnées de <math>(CC')\cap(BA')</math> et de vérifier l'alignement, on vérifie que les trois droites <math>(MN)</math>, <math>(CC')</math>, et <math>(BA')</math> sont concourantes.

L'équation de <math>(CC')</math> s'obtient par <math>\quad(\gamma-1)Y=\gamma'(X-1)</math> et celle de la droite <math>(BA')</math> avec <math>\,\quad\alpha Y=(\alpha'-1)X+\alpha</math>.
On obtient l'équation de <math>(MN)</math> par résolution de
:<math>\quad \begin{vmatrix}
\frac{\alpha\beta'-\alpha'\beta}{ \beta'-\alpha'}&0   &X                \\
0                        &\frac{\beta\gamma'-\gamma\beta'}{ \beta-\gamma}&Y  \\
1                        &1                      &  1
\end{vmatrix}=0=\begin{vmatrix}
\alpha\beta'-\alpha'\beta&  0          & X  \\
0           & \beta\gamma'-\gamma\beta'& Y  \\
\beta'-\alpha'    &  \beta-\gamma     &  1
\end{vmatrix}</math>

Le concours des droites se traduit par la nullité du déterminant
:<math>D_1=\begin{vmatrix}
-\gamma' &   1-\alpha'& (\beta'-\alpha')(\beta\gamma'-\gamma\beta')\\
\gamma-1  &  \alpha   & -(\beta-\gamma)(\alpha\beta'-\alpha'\beta)   \\
\gamma'    &-\alpha   &  (\beta\gamma'-\gamma\beta)'(\alpha\beta'-\alpha'\beta)
\end{vmatrix}</math>

Maintenant, le fait que les points <math>A',B',C'</math> soient sur la conique d'équation (1) se traduit par un système de trois équations (une par point) d'inconnues <math>a, b, c</math> et qui admet une solution non triviale. Ceci se traduit par la nullité du déterminant
:<math>D_2=\begin{vmatrix}
\alpha(\alpha-1) & \alpha\alpha' &\alpha'(\alpha'-1)\\
\beta(\beta-1) & \beta\beta' &\beta'(\beta'-1)\\
\gamma(\gamma-1) & \gamma\gamma' &\gamma'(\gamma'-1)
\end{vmatrix}</math>

Ces deux déterminants sont égaux. Le calcul des déterminants peut se faire classiquement par la méthode de Sarrus, mais on peut aussi observer que dans <math>D_2</math>, le terme <math>\alpha\alpha'</math> (etc) n'apparaît que dans la deuxième colonne son facteur valant
:<math>\begin{vmatrix}
\beta(\beta-1) &\beta'(\beta'-1)\\
\gamma(\gamma-1) &\gamma'(\gamma'-1)
\end{vmatrix}</math>

On calcule ce facteur dans <math>D_1</math> en utilisant la deuxième colonne :
* <math>\quad(\gamma-1)\beta'(\beta\gamma'-\gamma\beta')+\gamma'\beta'(\beta-\gamma)</math> pour la première ligne ;
* <math>\quad\gamma'(\beta\gamma'-\gamma\beta')\beta+\gamma'(\beta\gamma'-\gamma\beta')</math> pour la deuxième ;
* <math>\quad\gamma'\beta(\beta-\gamma)+(\gamma-1)(\beta\gamma'-\gamma'\beta)</math> pour la troisième.

La somme donne la même expression que dans <math>D_2</math>.

En échangeant <math>\alpha'</math> et <math>\gamma</math>, <math>\beta,\beta'</math> et <math>\alpha,\gamma'</math> les déterminants ne changent pas ce qui permet d'affirmer l'égalité des coefficients de <math>\gamma\gamma'</math>.

Reste celui de <math>\beta\beta'</math>, qui vaut
:<math>\gamma'\begin{vmatrix}\gamma-1&\alpha\\\gamma'&-\alpha\end{vmatrix}
+\alpha\begin{vmatrix}\gamma'&1-\alpha'\\\gamma'&-\alpha\end{vmatrix}
+(\alpha\gamma'+\alpha'\gamma)\begin{vmatrix}-\gamma'&1-\alpha'\\\gamma-1&-\alpha\end{vmatrix}
; </math>

soit finalement le même que dans <math>D_1</math>.

==Le développement du théorème==
Après Pascal, on continue à expliquer et développer ce théorème, ce qui prouve sa pertinence en géométrie projective. Le mathématicien suisse [[Jakob Steiner]] (1796-1863) étudie la figure qui s'obtient par la formation d'hexagones de toutes les formes possibles à partir de six points fixes dans une conique, et observe soixante ''droites de Pascal''. Plus tard, en 1828, le même Steiner découvre que les soixante ''droites de Pascal'' coïncident, par groupes de trois, en vingt points, appelés ''points de Steiner''. 

En 1830, le mathématicien et physicien allemand [[Julius Plücker]] démontre que les ''points de Steiner'' sont alignés, quatre par quatre, sur quinze droites appelées ''droites de Plücker''. 

Enfin, le théorème est généralisé en 1847 par le mathématicien et astronome allemand [[August Ferdinand Möbius]], connu pour l'invention du [[ruban de Möbius]]<ref>{{Ouvrage| prénom1=Jordi|nom1=Deulofeu Piquet|prénom2=Roger|nom2=Deulofeu Batllori|prénom3=Philippe|nom3=Garnier|responsabilité3=trad.|sous-titre=Le fondateur de la théorie des probabilités|titre=Pascal|éditeur={{Lien|lang=es|trad=RBA|Groupe RBA|texte=RBA}}|lieu=Barcelone|année=2018|pages totales=157|isbn=978-84-473-9564-4|page=32}}.</ref>.

== Notes et références ==
{{Références}}
== Voir aussi == 
=== Articles connexes ===

* [[Plan projectif arguésien]]
* [[Hexagramme de Pascal]]

=== Liens externes ===

* {{Dictionnaires}}

* [http://jellevy.yellis.net/Classes/terminale/Coniques/Exercices/exo1_prop_conique.htm Une démonstration du théorème de Pascal dans le cas général à l'aide des coordonnées barycentriques sur Math Web]
* [http://www-cabri.imag.fr/abracadabri/GeoPlane/Puissance/TheoPascal.html Théorème de Pascal (dit de "l'hexagramme mystique")] sur [https://www-cabri.imag.fr/abracadabri/index.html abraCAdaBRI]
* [https://www.mathouriste.eu/Quatuor_Sorbonne/Pascal/Pascal_et_La_Pascale.html Cinq preuves du théorème de Pascal] sur [https://www.mathouriste.eu/ www.mathouriste.eu]

{{Portail|Géométrie}}

{{DEFAULTSORT:Théorème Pascal}}
[[Catégorie:Théorème de mathématiques|Pascal]]
[[Catégorie:Conique]]
[[Catégorie:Géométrie projective]]
[[Catégorie:Nommé d'après Blaise Pascal]]