Pascal's theorem

Last updated
Pascal line GHK of self-crossing hexagon ABCDEF inscribed in ellipse. Opposite sides of hexagon have the same color. Pascaltheoremgenericwithlabels.svg
Pascal line GHK of self-crossing hexagon ABCDEF inscribed in ellipse. Opposite sides of hexagon have the same color.
Self-crossing hexagon ABCDEF, inscribed in a circle. Its sides are extended so that pairs of opposite sides intersect on Pascal's line. Each pair of extended opposite sides has its own color: one red, one yellow, one blue. Pascal's line is shown in white. Pascal'sTheoremLetteredColored.PNG
Self-crossing hexagon ABCDEF, inscribed in a circle. Its sides are extended so that pairs of opposite sides intersect on Pascal's line. Each pair of extended opposite sides has its own color: one red, one yellow, one blue. Pascal's line is shown in white.

In projective geometry, Pascal's theorem (also known as the hexagrammum mysticum theorem, Latin for mystical hexagram) states that if six arbitrary points are chosen on a conic (which may be an ellipse, parabola or hyperbola in an appropriate affine plane) and joined by line segments in any order to form a hexagon, then the three pairs of opposite sides of the hexagon (extended if necessary) meet at three points which lie on a straight line, called the Pascal line of the hexagon. It is named after Blaise Pascal.

Contents

The theorem is also valid in the Euclidean plane, but the statement needs to be adjusted to deal with the special cases when opposite sides are parallel.

This theorem is a generalization of Pappus's (hexagon) theorem, which is the special case of a degenerate conic of two lines with three points on each line.

Euclidean variants

The most natural setting for Pascal's theorem is in a projective plane since any two lines meet and no exceptions need to be made for parallel lines. However, the theorem remains valid in the Euclidean plane, with the correct interpretation of what happens when some opposite sides of the hexagon are parallel.

If exactly one pair of opposite sides of the hexagon are parallel, then the conclusion of the theorem is that the "Pascal line" determined by the two points of intersection is parallel to the parallel sides of the hexagon. If two pairs of opposite sides are parallel, then all three pairs of opposite sides form pairs of parallel lines and there is no Pascal line in the Euclidean plane (in this case, the line at infinity of the extended Euclidean plane is the Pascal line of the hexagon).

Pascal's theorem is the polar reciprocal and projective dual of Brianchon's theorem. It was formulated by Blaise Pascal in a note written in 1639 when he was 16 years old and published the following year as a broadside titled "Essay pour les coniques. Par B. P." [1]

Pascal's theorem is a special case of the Cayley–Bacharach theorem.

A degenerate case of Pascal's theorem (four points) is interesting; given points ABCD on a conic Γ, the intersection of alternate sides, ABCD, BCDA, together with the intersection of tangents at opposite vertices (A, C) and (B, D) are collinear in four points; the tangents being degenerate 'sides', taken at two possible positions on the 'hexagon' and the corresponding Pascal line sharing either degenerate intersection. This can be proven independently using a property of pole-polar. If the conic is a circle, then another degenerate case says that for a triangle, the three points that appear as the intersection of a side line with the corresponding side line of the Gergonne triangle, are collinear.

Six is the minimum number of points on a conic about which special statements can be made, as five points determine a conic.

The converse is the Braikenridge–Maclaurin theorem, named for 18th-century British mathematicians William Braikenridge and Colin Maclaurin ( Mills 1984 ), which states that if the three intersection points of the three pairs of lines through opposite sides of a hexagon lie on a line, then the six vertices of the hexagon lie on a conic; the conic may be degenerate, as in Pappus's theorem. [2] The Braikenridge–Maclaurin theorem may be applied in the Braikenridge–Maclaurin construction, which is a synthetic construction of the conic defined by five points, by varying the sixth point.

The theorem was generalized by August Ferdinand Möbius in 1847, as follows: suppose a polygon with 4n + 2 sides is inscribed in a conic section, and opposite pairs of sides are extended until they meet in 2n + 1 points. Then if 2n of those points lie on a common line, the last point will be on that line, too.

Hexagrammum Mysticum

If six unordered points are given on a conic section, they can be connected into a hexagon in 60 different ways, resulting in 60 different instances of Pascal's theorem and 60 different Pascal lines. This configuration of 60 lines is called the Hexagrammum Mysticum. [3] [4]

As Thomas Kirkman proved in 1849, these 60 lines can be associated with 60 points in such a way that each point is on three lines and each line contains three points. The 60 points formed in this way are now known as the Kirkman points. [5] The Pascal lines also pass, three at a time, through 20 Steiner points. There are 20 Cayley lines which consist of a Steiner point and three Kirkman points. The Steiner points also lie, four at a time, on 15 Plücker lines. Furthermore, the 20 Cayley lines pass four at a time through 15 points known as the Salmon points. [6]

Proofs

Pascal's original note [1] has no proof, but there are various modern proofs of the theorem.

It is sufficient to prove the theorem when the conic is a circle, because any (non-degenerate) conic can be reduced to a circle by a projective transformation. This was realised by Pascal, whose first lemma states the theorem for a circle. His second lemma states that what is true in one plane remains true upon projection to another plane. [1] Degenerate conics follow by continuity (the theorem is true for non-degenerate conics, and thus holds in the limit of degenerate conic).

A short elementary proof of Pascal's theorem in the case of a circle was found by van Yzeren (1993), based on the proof in ( Guggenheimer 1967 ). This proof proves the theorem for circle and then generalizes it to conics.

A short elementary computational proof in the case of the real projective plane was found by Stefanovic (2010).

We can infer the proof from existence of isogonal conjugate too. If we are to show that X = ABDE, Y = BCEF, Z = CDFA are collinear for concyclic ABCDEF, then notice that EYB and CYF are similar, and that X and Z will correspond to the isogonal conjugate if we overlap the similar triangles. This means that CYX = ∠CYZ, hence making XYZ collinear.

A short proof can be constructed using cross-ratio preservation. Projecting tetrad ABCE from D onto line AB, we obtain tetrad ABPX, and projecting tetrad ABCE from F onto line BC, we obtain tetrad QBCY. This therefore means that R(AB; PX) = R(QB; CY), where one of the points in the two tetrads overlap, hence meaning that other lines connecting the other three pairs must coincide to preserve cross ratio. Therefore, XYZ are collinear.

Another proof for Pascal's theorem for a circle uses Menelaus' theorem repeatedly.

Dandelin, the geometer who discovered the celebrated Dandelin spheres, came up with a beautiful proof using "3D lifting" technique that is analogous to the 3D proof of Desargues' theorem. The proof makes use of the property that for every conic section we can find a one-sheet hyperboloid which passes through the conic.

There also exists a simple proof for Pascal's theorem for a circle using the law of sines and similarity.

Proof using cubic curves

The intersections of the extended opposite sides of simple cyclic hexagon ABCDEF (right) lie on the Pascal line MNP (left). THPascal.svg
The intersections of the extended opposite sides of simple cyclic hexagon ABCDEF (right) lie on the Pascal line MNP (left).

Pascal's theorem has a short proof using the Cayley–Bacharach theorem that given any 8 points in general position, there is a unique ninth point such that all cubics through the first 8 also pass through the ninth point. In particular, if 2 general cubics intersect in 8 points then any other cubic through the same 8 points meets the ninth point of intersection of the first two cubics. Pascal's theorem follows by taking the 8 points as the 6 points on the hexagon and two of the points (say, M and N in the figure) on the would-be Pascal line, and the ninth point as the third point (P in the figure). The first two cubics are two sets of 3 lines through the 6 points on the hexagon (for instance, the set AB, CD, EF, and the set BC, DE, FA), and the third cubic is the union of the conic and the line MN. Here the "ninth intersection" P cannot lie on the conic by genericity, and hence it lies on MN.

The Cayley–Bacharach theorem is also used to prove that the group operation on cubic elliptic curves is associative. The same group operation can be applied on a conic if we choose a point E on the conic and a line MP in the plane. The sum of A and B is obtained by first finding the intersection point of line AB with MP, which is M. Next A and B add up to the second intersection point of the conic with line EM, which is D. Thus if Q is the second intersection point of the conic with line EN, then

Thus the group operation is associative. On the other hand, Pascal's theorem follows from the above associativity formula, and thus from the associativity of the group operation of elliptic curves by way of continuity.

Proof using Bézout's theorem

Suppose f is the cubic polynomial vanishing on the three lines through AB, CD, EF and g is the cubic vanishing on the other three lines BC, DE, FA. Pick a generic point P on the conic and choose λ so that the cubic h = f + λg vanishes on P. Then h = 0 is a cubic that has 7 points A, B, C, D, E, F, P in common with the conic. But by Bézout's theorem a cubic and a conic have at most 3 × 2 = 6 points in common, unless they have a common component. So the cubic h = 0 has a component in common with the conic which must be the conic itself, so h = 0 is the union of the conic and a line. It is now easy to check that this line is the Pascal line.

A property of Pascal's hexagon

Again given the hexagon on a conic of Pascal's theorem with the above notation for points (in the first figure), we have [7]

Degenerations of Pascal's theorem

Pascal's theorem: degenerations Pascal-3456.png
Pascal's theorem: degenerations

There exist 5-point, 4-point and 3-point degenerate cases of Pascal's theorem. In a degenerate case, two previously connected points of the figure will formally coincide and the connecting line becomes the tangent at the coalesced point. See the degenerate cases given in the added scheme and the external link on circle geometries. If one chooses suitable lines of the Pascal-figures as lines at infinity one gets many interesting figures on parabolas and hyperbolas.

See also

Notes

  1. 1 2 3 Pascal 1640, translation Smith 1959 , p. 326
  2. H. S. M.Coxeter and Samuel L. Greitzer  ( 1967 )
  3. Young 1930 , p. 67 with a reference to Veblen and Young, Projective Geometry, vol. I, p. 138, Ex. 19.
  4. Conway & Ryba 2012
  5. Biggs 1981
  6. Wells 1991 , p. 172
  7. "A Property of Pascal's Hexagon Pascal May Have Overlooked". 2014-02-03.

Related Research Articles

<span class="mw-page-title-main">Parabola</span> Plane curve: conic section

In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.

<span class="mw-page-title-main">Triangle</span> Shape with three sides

A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the sides connecting them, also called edges, are one-dimensional line segments. The triangle's interior is a two-dimensional region. Sometimes an arbitrary edge is chosen to be the base, in which case the opposite vertex is called the apex.

<span class="mw-page-title-main">Ceva's theorem</span> Geometric relation between line segments from a triangles vertices and their intersection

In Euclidean geometry, Ceva's theorem is a theorem about triangles. Given a triangle ABC, let the lines AO, BO, CO be drawn from the vertices to a common point O, to meet opposite sides at D, E, F respectively. Then, using signed lengths of segments,

<span class="mw-page-title-main">Nine-point circle</span> Circle constructed from a triangle

In geometry, the nine-point circle is a circle that can be constructed for any given triangle. It is so named because it passes through nine significant concyclic points defined from the triangle. These nine points are:

In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting, projective space, and a selective set of basic geometric concepts. The basic intuitions are that projective space has more points than Euclidean space, for a given dimension, and that geometric transformations are permitted that transform the extra points to Euclidean points, and vice versa.

<span class="mw-page-title-main">Desargues's theorem</span> Two triangles are in perspective axially if and only if they are in perspective centrally

In projective geometry, Desargues's theorem, named after Girard Desargues, states:

In algebraic geometry and computational geometry, general position is a notion of genericity for a set of points, or other geometric objects. It means the general case situation, as opposed to some more special or coincidental cases that are possible, which is referred to as special position. Its precise meaning differs in different settings.

<span class="mw-page-title-main">Degenerate conic</span> 2nd-degree plane curve which is reducible

In geometry, a degenerate conic is a conic that fails to be an irreducible curve. This means that the defining equation is factorable over the complex numbers as the product of two linear polynomials.

<span class="mw-page-title-main">Pappus's hexagon theorem</span> Geometry theorem

In mathematics, Pappus's hexagon theorem states that

<span class="mw-page-title-main">Brianchon's theorem</span> The 3 long diagonals of a hexagon tangent to a conic section meet in a single point

In geometry, Brianchon's theorem is a theorem stating that when a hexagon is circumscribed around a conic section, its principal diagonals meet in a single point. It is named after Charles Julien Brianchon (1783–1864).

<span class="mw-page-title-main">Concurrent lines</span> Lines which intersect at a single point

In geometry, lines in a plane or higher-dimensional space are concurrent if they intersect at a single point.

<span class="mw-page-title-main">Cayley–Bacharach theorem</span> Statement about cubic curves in the projective plane

In mathematics, the Cayley–Bacharach theorem is a statement about cubic curves in the projective plane P2. The original form states:

In geometry, collinearity of a set of points is the property of their lying on a single line. A set of points with this property is said to be collinear. In greater generality, the term has been used for aligned objects, that is, things being "in a line" or "in a row".

<span class="mw-page-title-main">Simson line</span> Line constructed from a triangle

In geometry, given a triangle ABC and a point P on its circumcircle, the three closest points to P on lines AB, AC, and BC are collinear. The line through these points is the Simson line of P, named for Robert Simson. The concept was first published, however, by William Wallace in 1799, and is sometimes called the Wallace line.

<span class="mw-page-title-main">Homothetic center</span> Point from which two similar geometric figures can be scaled to each other

In geometry, a homothetic center is a point from which at least two geometrically similar figures can be seen as a dilation or contraction of one another. If the center is external, the two figures are directly similar to one another; their angles have the same rotational sense. If the center is internal, the two figures are scaled mirror images of one another; their angles have the opposite sense.

<span class="mw-page-title-main">Conic section</span> Curve from a cone intersecting a plane

A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though it was sometimes called as a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties.

In Euclidean and projective geometry, five points determine a conic, just as two (distinct) points determine a line. There are additional subtleties for conics that do not exist for lines, and thus the statement and its proof for conics are both more technical than for lines.

<span class="mw-page-title-main">Braikenridge–Maclaurin theorem</span> Converse to Pascals theorem In geometry

In geometry, the Braikenridge–Maclaurin theorem, named for 18th-century British mathematicians William Braikenridge and Colin Maclaurin, is the converse to Pascal's theorem. It states that if the three intersection points of the three pairs of lines through opposite sides of a hexagon lie on a line L, then the six vertices of the hexagon lie on a conic C; the conic may be degenerate, as in Pappus's hexagon theorem.

The terminology of algebraic geometry changed drastically during the twentieth century, with the introduction of the general methods, initiated by David Hilbert and the Italian school of algebraic geometry in the beginning of the century, and later formalized by André Weil, Jean-Pierre Serre and Alexander Grothendieck. Much of the classical terminology, mainly based on case study, was simply abandoned, with the result that books and papers written before this time can be hard to read. This article lists some of this classical terminology, and describes some of the changes in conventions.

<span class="mw-page-title-main">Extended side</span> Line containing one side of a polygon

In plane geometry, an extended side or sideline of a polygon is the line that contains one side of the polygon. The extension of a finite side into an infinite line arises in various contexts.

References