Difference between revisions of "Pascal's Theorem"

 
(wotw)
Line 1: Line 1:
 +
{{WotWAnnounce|week=March 20-27}}
 
'''Pascal's Theorem''' is a result in [[projective geometry]].  It states that if a [[hexagon]] inscribed in a [[conic section]], then the points of intersection of the pairs of its opposite sides are collinear.  Since it is a result in the projective plane, it has a dual, [[Brianchon's Theorem]], which states that the diagonals of a hexagon circumscribed about a conic concur.
 
'''Pascal's Theorem''' is a result in [[projective geometry]].  It states that if a [[hexagon]] inscribed in a [[conic section]], then the points of intersection of the pairs of its opposite sides are collinear.  Since it is a result in the projective plane, it has a dual, [[Brianchon's Theorem]], which states that the diagonals of a hexagon circumscribed about a conic concur.
  
 
== Proof ==
 
== Proof ==
  
It is sufficient to prove the result for a hexagon inscribed in a circle, for [[affine transformations]] map this circle to any ellipse while preserving collinearity and concurrence in the projective plane, and projective transformations can map an ellipse to any conic while similarly preserving collinearity and concurrence in the projective sense.  Thus we will prove the theorem for a cyclic hexagon, using directed angles mod <math> \displaystyle \pi </math>.
+
It is sufficient to prove the result for a hexagon inscribed in a circle, for [[affine transformations]] map this circle to any ellipse while preserving collinearity and concurrence in the projective plane, and projective transformations can map an ellipse to any conic while similarly preserving collinearity and concurrence in the projective sense.  Thus we will prove the theorem for a cyclic hexagon, using directed angles mod <math>\pi </math>.
  
'''Lemma.''' Let <math> \displaystyle \omega_1, \omega_2 </math> be two circles which intersect at <math> \displaystyle M, N </math>, let <math> \displaystyle AB </math> be a chord of <math> \displaystyle \omega_1 </math>, and let <math> \displaystyle C, D </math> be the second intersections of lines <math> \displaystyle AM, BN </math> with <math> \displaystyle \omega_2 </math>.  Then <math> \displaystyle AB </math> and <math> \displaystyle CD </math> are parallel.
+
'''Lemma.''' Let <math>\omega_1, \omega_2 </math> be two circles which intersect at <math>M, N </math>, let <math>AB </math> be a chord of <math>\omega_1 </math>, and let <math>C, D </math> be the second intersections of lines <math>AM, BN </math> with <math>\omega_2 </math>.  Then <math>AB </math> and <math>CD </math> are parallel.
  
''Proof.''  Since <math> \displaystyle ABNM, CDMN </math> are two sets of concyclic points and <math> \displaystyle A,M,C </math> and <math> \displaystyle B,N,D </math> are two sets of collinear points,
+
''Proof.''  Since <math>ABNM, CDMN </math> are two sets of concyclic points and <math>A,M,C </math> and <math>B,N,D </math> are two sets of collinear points,
 
<center>
 
<center>
 
<math> \angle CAB \equiv \angle MAB \equiv \angle MNB \equiv \angle MND \equiv \angle MCD \equiv \angle ACD </math>.
 
<math> \angle CAB \equiv \angle MAB \equiv \angle MNB \equiv \angle MND \equiv \angle MCD \equiv \angle ACD </math>.
 
</center>
 
</center>
This implies that <math> \displaystyle AB </math> and <math> \displaystyle CD </math> are parallel. {{Halmos}}
+
This implies that <math>AB </math> and <math>CD </math> are parallel. {{Halmos}}
  
'''Theorem.''' Let <math> \displaystyle A_1A_2A_3A_4A_5A_6 </math> be a cyclic hexagon, and let <math> P_1 = A_1A_2 \cap A_4A_5 </math>, <math> P_2 = A_2A_3 \cap A_5A_6 </math>, <math> P_3 = A_3A_4 \cap A_6A_1 </math>.  Then <math> \displaystyle P_1, P_2, P_3 </math> are collinear.
+
'''Theorem.''' Let <math>A_1A_2A_3A_4A_5A_6 </math> be a cyclic hexagon, and let <math> P_1 = A_1A_2 \cap A_4A_5 </math>, <math> P_2 = A_2A_3 \cap A_5A_6 </math>, <math> P_3 = A_3A_4 \cap A_6A_1 </math>.  Then <math>P_1, P_2, P_3 </math> are collinear.
  
''Proof.'' Let <math> \displaystyle \omega_1 </math> be the circumcircle of <math> \displaystyle A_1A_2A_3A_4A_5A_6 </math>, and let <math> \displaystyle \omega_2 </math> be the circumcircle of triangle <math> \displaystyle A_2A_5P_2 </math>.  Let <math> \displaystyle B_1 </math> be the second intersection of <math> \displaystyle \omega_2 </math> with <math> \displaystyle A_1A_2 </math>, and let <math> \displaystyle B_2 </math> be the second intersection of <math> \displaystyle A_4A_5 </math> with <math> \displaystyle \omega_2 </math>.  By lemma, <math> \displaystyle A_1P_3 = A_1A_6 </math> is parallel to <math> \displaystyle B_1P_2 </math>, and <math> \displaystyle \displaystyle A_1A_4 </math> is parallel to <math> \displaystyle B_1B_2 </math>, and <math> \displaystyle P_3A_4 = A_4A_3 </math> is parallel to <math> \displaystyle P_2B_2 </math>.  It follows that triangles <math> \displaystyle P_3A_1A_4 </math> and <math> \displaystyle P_2B_1B_2 </math> are homothetic, so the line <math> \displaystyle P_3P_2 </math> passes through the intersection of lines <math> \displaystyle A_1B_1 </math> (which is the same as line <math> \displaystyle A_1A_2 </math>) and <math> \displaystyle A_4B_2 </math> (which is the same as line <math> \displaystyle A_4A_5 </math>), which interesect at <math> \displaystyle P_1 </math>.  {{halmos}}
+
''Proof.'' Let <math>\omega_1 </math> be the circumcircle of <math>A_1A_2A_3A_4A_5A_6 </math>, and let <math>\omega_2 </math> be the circumcircle of triangle <math>A_2A_5P_2 </math>.  Let <math>B_1 </math> be the second intersection of <math>\omega_2 </math> with <math>A_1A_2 </math>, and let <math>B_2 </math> be the second intersection of <math>A_4A_5 </math> with <math>\omega_2 </math>.  By lemma, <math>A_1P_3 = A_1A_6 </math> is parallel to <math>B_1P_2 </math>, and <math>A_1A_4 </math> is parallel to <math>B_1B_2 </math>, and <math>P_3A_4 = A_4A_3 </math> is parallel to <math>P_2B_2 </math>.  It follows that triangles <math>P_3A_1A_4 </math> and <math>P_2B_1B_2 </math> are homothetic, so the line <math>P_3P_2 </math> passes through the intersection of lines <math>A_1B_1 </math> (which is the same as line <math>A_1A_2 </math>) and <math>A_4B_2 </math> (which is the same as line <math>A_4A_5 </math>), which interesect at <math>P_1 </math>.  {{halmos}}
  
 
== Notes ==
 
== Notes ==
  
In our proof, we never assumed anything about configuration.  Thus the hexagon need not even be convex for the theorem to hold.  In fact, many useful applications of the theorem occur with degenerate hexagons, i.e., hexagons in which not all of the points are distinct.  In the case that two points are the same, we consider the line through them to be the tangent to the conic through that point.  For instance, when we let a triangle <math> \displaystyle ABC </math> be a "hexagon" <math> \displaystyle AABBCC </math>, Pascal's Theorem tells us that if <math> \ell_A, \ell_B, \ell_C </math> are the tangents to the circumcircle of <math> \displaystyle ABC </math> that pass through <math> \displaystyle A,B,C </math>, respectively, then <math> \ell_A \cap BC </math>, <math> \ell_B \cap CA </math>, <math> \ell_C \cap AB </math> are collinear; the line they determine is called the [[Lemoine Axis]].  In fact, Pascal's Theorem tells us that <math> \ell_A, \ell_B, \ell_C </math> can be the tangent lines to any conic circumscribed about triangle <math> \displaystyle ABC </math> and the result still holds.
+
In our proof, we never assumed anything about configuration.  Thus the hexagon need not even be convex for the theorem to hold.  In fact, many useful applications of the theorem occur with degenerate hexagons, i.e., hexagons in which not all of the points are distinct.  In the case that two points are the same, we consider the line through them to be the tangent to the conic through that point.  For instance, when we let a triangle <math>ABC </math> be a "hexagon" <math>AABBCC </math>, Pascal's Theorem tells us that if <math> \ell_A, \ell_B, \ell_C </math> are the tangents to the circumcircle of <math>ABC </math> that pass through <math>A,B,C </math>, respectively, then <math> \ell_A \cap BC </math>, <math> \ell_B \cap CA </math>, <math> \ell_C \cap AB </math> are collinear; the line they determine is called the [[Lemoine Axis]].  In fact, Pascal's Theorem tells us that <math> \ell_A, \ell_B, \ell_C </math> can be the tangent lines to any conic circumscribed about triangle <math>ABC </math> and the result still holds.

Revision as of 21:10, 20 March 2008

This is an AoPSWiki Word of the Week for March 20-27

Pascal's Theorem is a result in projective geometry. It states that if a hexagon inscribed in a conic section, then the points of intersection of the pairs of its opposite sides are collinear. Since it is a result in the projective plane, it has a dual, Brianchon's Theorem, which states that the diagonals of a hexagon circumscribed about a conic concur.

Proof

It is sufficient to prove the result for a hexagon inscribed in a circle, for affine transformations map this circle to any ellipse while preserving collinearity and concurrence in the projective plane, and projective transformations can map an ellipse to any conic while similarly preserving collinearity and concurrence in the projective sense. Thus we will prove the theorem for a cyclic hexagon, using directed angles mod $\pi$.

Lemma. Let $\omega_1, \omega_2$ be two circles which intersect at $M, N$, let $AB$ be a chord of $\omega_1$, and let $C, D$ be the second intersections of lines $AM, BN$ with $\omega_2$. Then $AB$ and $CD$ are parallel.

Proof. Since $ABNM, CDMN$ are two sets of concyclic points and $A,M,C$ and $B,N,D$ are two sets of collinear points,

$\angle CAB \equiv \angle MAB \equiv \angle MNB \equiv \angle MND \equiv \angle MCD \equiv \angle ACD$.

This implies that $AB$ and $CD$ are parallel.

Theorem. Let $A_1A_2A_3A_4A_5A_6$ be a cyclic hexagon, and let $P_1 = A_1A_2 \cap A_4A_5$, $P_2 = A_2A_3 \cap A_5A_6$, $P_3 = A_3A_4 \cap A_6A_1$. Then $P_1, P_2, P_3$ are collinear.

Proof. Let $\omega_1$ be the circumcircle of $A_1A_2A_3A_4A_5A_6$, and let $\omega_2$ be the circumcircle of triangle $A_2A_5P_2$. Let $B_1$ be the second intersection of $\omega_2$ with $A_1A_2$, and let $B_2$ be the second intersection of $A_4A_5$ with $\omega_2$. By lemma, $A_1P_3 = A_1A_6$ is parallel to $B_1P_2$, and $A_1A_4$ is parallel to $B_1B_2$, and $P_3A_4 = A_4A_3$ is parallel to $P_2B_2$. It follows that triangles $P_3A_1A_4$ and $P_2B_1B_2$ are homothetic, so the line $P_3P_2$ passes through the intersection of lines $A_1B_1$ (which is the same as line $A_1A_2$) and $A_4B_2$ (which is the same as line $A_4A_5$), which interesect at $P_1$.

Notes

In our proof, we never assumed anything about configuration. Thus the hexagon need not even be convex for the theorem to hold. In fact, many useful applications of the theorem occur with degenerate hexagons, i.e., hexagons in which not all of the points are distinct. In the case that two points are the same, we consider the line through them to be the tangent to the conic through that point. For instance, when we let a triangle $ABC$ be a "hexagon" $AABBCC$, Pascal's Theorem tells us that if $\ell_A, \ell_B, \ell_C$ are the tangents to the circumcircle of $ABC$ that pass through $A,B,C$, respectively, then $\ell_A \cap BC$, $\ell_B \cap CA$, $\ell_C \cap AB$ are collinear; the line they determine is called the Lemoine Axis. In fact, Pascal's Theorem tells us that $\ell_A, \ell_B, \ell_C$ can be the tangent lines to any conic circumscribed about triangle $ABC$ and the result still holds.