Pascal’s theorem Carl Joshua Quines

Pascal’s theorem

Carl Joshua Quines

January 5, 2017

We set-up the projective plane (using plenty of pictures) to discuss

Pascal’s theorem. Three example problems are discussed, followed by a

problem set.

1 Motivation

In the Euclidean plane we are familiar with, any two lines intersect at a point – unless

these lines are parallel. You probably are familiar with a theorem that has “concurrent

or all parallel” as a conclusion, for example, the radical center:

Theorem (Radical center)

Given three intersecting circles ω

1

, ω

2

and ω

3

with distinct centers O

1

, O

2

and O

3

,

the common chords are either concurrent or all parallel.

O

1

O

2

O

3

O

1

O

2

O

3

Figure 1: Left: concurrent. Right: all parallel.

By failing to consider an “all parallel” case, you can lose points. The language is

clumsy, because two lines intersect at any point, unless they’re parallel. If we could

set parallel lines as intersecting in a certain pont, we could get rid of this condition.

We can’t just let parallel lines intersect at a certain point, however. If this point

is one of our regular points, then the lines wouldn’t become parallel anymore. If the

parallel lines did intersect, they must be at a new point outside of the regular plane.

Also, three lines that are parallel to each other should intersect at the same point, so

“all parallel” can be replaced with “concurrent”.

By adding these conditions to the Euclidean plane carefully, we create a new plane

called the real projective plane. We’ll discuss the properties of the real projective plane

by looking at art.

Pascal’s theorem

Carl Joshua Quines

1.1 Drawing in perspective

How do artists represent three-dimensional items on a two-dimensional piece of paper?

The way it works in theory is that if you have a three-dimensional object, place a

sheet of paper in front of it, and draw lines from your eye to the object, you’d have a

two-dimensional representation of something three-dimesnional.

Take the figure below as an example. We have a sheet of paper between our eyes

on the top and a three-by-three board below. We draw lines from the eye to the

three-by-three board and see where it intersects with the sheet of paper, which creates

a projection from the three-dimensional object to the two-dimensional sheet of paper.

This is where we get the name projective from.

Figure 2: Projecting a three-by-three board to a sheet of paper.

Now, the new figure on the sheet of paper is a representation of the three-by-three

board. Although it is quite a stretch from what it would look like if we looked at the

board straight-on from above, it is similar to what it would look like if we placed the

board near our eye level.

Below are two different ways to draw the same board. We just drew one figure from

one perspective and the other figure from another perspective. As a consequence, we

can position these two drawings in three dimensions so they look the same – just use

the above projection to the sheet of paper.

Figure 3: Two ways to look at the same board.

Let’s look at what happens to the parallel lines. In the left figure, we already see two

sets of parallel lines: the horizontal lines, which are all parallel, and the veritcal lines,

2

Pascal’s theorem

Carl Joshua Quines

which are also all parallel. But if you look at the right figure closely, the parallel lines

from the left figure suddenly aren’t parallel. They intersect at two different points.

In fact, there’s two more sets of parallel lines in the first figure. The diagonals of the

squares in the first figure have to be parallel as well, giving us two more sets of lines

which are parallel. In the right figure, the supposedly parallel diagonals also intersect

at a point.

Figure 4: Parallel lines intersect.

If we draw all the points where these supposedly parallel lines intersect, we can

notice that they all lie on a single line. Suddenly our parallel lines intersect – and

what’s more, their intersections all lie on a single line.

The real projective plane takes this idea and formalizes it. We have the regular

points of the Euclidean plane, which are called Euclidean points. Parallel lines do

intersect, at points we call points at infinity. Each parallel line in the same direction

concurs at the same point. Finally, there’s an extra line called the line at infinity, the

line which all the points at infinity lie on.

Looking at the above figure gives us an idea of what the real projective plane looks

like. All the parallel lines in the original three-by-three board intersect (at infinity),

and the intersections are all colllinear (at the line at infinity). What was all parallel in

the original three-by-three board is now concurrent (at infinity) at the real projective

plane! Now we can avoid the iffy language of “concurrent or all parallel” and just

replace it with “concurrent”.

2 Pascal’s theorem

Now we can discuss Pascal’s thoerem, whose natural setting is in the projective plane.

We need some notation: we write the intersection of lines AB and CD as AB

∩ CD,

which can be points at infinity.

Theorem (Pascal’s theorem)

Let ABCDEF be a hexagon inscribed in a conic, possibly self-intersecting. Then

the points AB

∩ DE, BC ∩ EF and CD ∩ F A are collinear.

We call the common line the Pascal line. Looking at Pascal’s theorem, we immedi-

ately observe that it is a tool for collinearities and concurrences. It handles points on

3

Pascal’s theorem

Carl Joshua Quines

a conic and their intersections. A bunch of points all lying on the same circle with a

bunch of intersections is a big hint for Pascal’s.

Pascal’s theorem can also look very different depending on what order the vertices

are around the circle. A few examples are shown below.

A

B

C

D

E

F

A

B

C

D

E

F

A

B

C

D

E

F

A

B

C

D

E

F

Figure 5: Pascal’s can look very different.

Finally, a note on Pascal’s before we start the example problems: we can degenerate

a side of a hexagon to a single pont. The side AA, then, would become the tangnet to

the conic at the point A. Think of this as the limit of the side AB by making A and

B

closer and closer together.

A

B

A

B

A

Figure 6: Degenerating AB to AA.

4

Pascal’s theorem

Carl Joshua Quines

3 Example problems

Problem 1.

Let ABCD be a cyclic quadrilateral, let the tangents to A and C intersect

in P , the tangents to B and D in Q. Let R be the intersection of AB and CD and let

S

be the intersection of AD and BC. Show that P, Q, R, S are collinear.

O

P

Q

A

C

B

D

R

S

Figure 7: Our first example problem.

What is our tip-off for Pascal’s? The very prominent circumcircle of ABCD, as

well as the multitudes of intersections based on points on this circle, tell us that using

Pascal’s might provide some information.

The first thing I do in a problem like this, where a projective solution might occur,

is to represent points as intersections of lines. For example, I’d write P = AA

∩ CC,

as well as the other intersections

Q

= BB

∩ DD, R = AB ∩ CD, S = AD ∩ BC.

If I want to use Pascal’s to show three of these points are collinear, we’d have to

pick one of these points as one intersection. Let’s pick P , which is AA

∩ CC. We fill

AA

∩ CC as the first intersection for our hexagon, which so far looks like AA CC .

The second intersection, so far, is A

∩ C . We look at our points for something that

follows this pattern, and we notice that R follows it. R is AB

∩ CD, so we try filling

in B and D for the blanks.

Now our hexagon looks like AABCCD. Using Pascal’s gives us the third intersection,

which is BC

∩ DA. However, this is point S. Thus P, R and S are collinear. This is

encouraging, and we look for another hexagon, and we see that ABBCDD gives us

AB

∩ CD = R, BB ∩ DD = Q, BC ∩ DA = S,

so Q, R and S are collinear, which ends our proof. We write it up neatly:

Proof.

Using Pascal’s on hexagon AABCCD gives us P, R and S are collinear. Simi-

larly, using Pascal’s on hexagon ABBCDD gives us Q, R and S are collinear. Thus

P, Q, R

and S are all collinear.

5

Pascal’s theorem

Carl Joshua Quines

From this problem we get our first two heuristics for Pascal’s:

• Pascal’s theorem is a tool for collinearities and concurrences. A bunch of points,

all lying on the same circle, with a bunch of intersections is a hint for Pascal’s,

especially if we want to prove a collinearity or concurrence.

• Often we want to find the points we wish to show collinear before finding the

hexagon. Then we write each point as the intersection of two lines with endpoints

at the conic, and work backwards to find the hexagon.

We present another example that involves more than just working backwards, and

this time from an actual olympiad.

Problem 2.

(Singapore TST) Let ω and O be the circumcircle and circumcenter of

right triangle ABC with ∠B = 90

◦

. Let P be any point on the tangent to ω at A

other than A, and suppose ray P B intersects ω again at D. Point E lies on line CD

such that AE

||BC. Prove that P, O, E are collinear.

O

B

A

C

P

D

E

Figure 8: A Singaporean TST.

Again, the tip-off for Pascal’s is “a bunch of points, all lying on the same circle, with

a bunch of intersections.” We want to prove P, O and E are collinear, using Pascal’s.

So let’s write the points as intersections:

P

= AA

∩ BD, O = AC ∩ . . . , E = DC ∩ . . .

Uh oh. We ran out of points. This means we have to add an additional point somewhere

so we can get O and E down.

Where is this additional point? Let’s try to use Pascal’s right now. Taking P as

the first intersection, our hexagon so far is AA BD . We have O lying on AC and E

lying on DC, so to get both of these down we can try placing C in the last spot, so

our hexagon is AA BDC. (If we place C in the middle spot, we’d get the segment

BC

, which none of our points lie on.)

Let’s think. What are the lines with endpoints on the circle passing through O?

They’re the diameters. AC is a diameter. In AA BDC, the intersection with AC

is B

∩ AC. If this has to be O, then B has to be a diameter. The unknown point

has to be the point that makes a diameter with B. Let’s try naming this point X.

6

Pascal’s theorem

Carl Joshua Quines

O

B

A

C

P

D

X

E

Figure 9: Adding in diameter BX.

So BX is a diameter, and AAXBDC is our hexagon. The remaining intersection

is AX

∩ DC, which has to be E. We only need to show that A, X and E are

collinear.However, recall the definition of E as the point on CD such that AE

||BC.

To show that A, X and E are collinear, we only need to show that AX

||BC. But

ABCX

is a rectangle, hence this is true, and we are done.

Proof.

Let X be the point on circle ω such that BX is a diameter. Since ABCX is a

rectangle, AX

||BC, so A, X and E are collinear. Finally, using Pascal’s on AAXBDC

gives us P, O and E as collinear.

The point X has a special name. It’s the antipode of B, the reflection of B over the

center of the circle. From this problem we get two more heuristics for using Pascal’s:

• The center of a circle is the intersection of two of its diameters. If you’re trying

to prove that the center of a circle is collinear to two other points, involving two

diameters can help.

• Involving a diameter is often done by adding the antipodes of points. The

antipode of a point A is its reflection A

0

over the center of the circle. Then AA

0

passes through the center of the circle, and is a diameter.

Finally, we do an ISL problem, just to show the power of Pascal’s.

Problem 3.

(ISL 2004/G2) Let Γ be a circle and let d be a line such that Γ and d

have no common points. Further, let AB be a diameter of the circle Γ; assume that

this diameter AB is perpendicular to the line d, and the point B is nearer to the line

d

than the point A. Let C be an arbitrary point on the circle Γ, different from the

points A and B. Let D be the point of intersection of the lines AC and d. One of the

two tangents from the point D to the circle Γ touches the circle at a point E; hereby

we assume that the points B and E lie in the same half-plane with respect to the line

AC

. Denote by F the intersection of the lines BE and d. Let the line AF intersect

the circle Γ at a point G different from A. Prove that the reflection of the point G in

the line AB lies on the line CF .

7

Pascal’s theorem

Carl Joshua Quines

A

B

C

D

E

G

F

G

′

Figure 10: An ISL G2.

Let’s call the reflection of G on AB as G

0

. What is our tip-off for Pascal’s? Again,

there is a prominent circle which six points pass through, A, G, C, B, E, G

0

, and a lot

of intersections involving these points.

We begin with the usual: F = AG

∩ BE and D = AC ∩ EE. We want to show that

C, G

0

and F are collinear. Our usual approach won’t work here, since two of those

points are on the circle.

Let’s try using Pascal’s on F and D to see if we can get any new points. We’re

motivated to do this because F and D have similar endpoints in the lines that define

them. Starting with point F gives us AG BE . Note that we can’t insert C and E to

get AC

∩ EE, so we try again by switching BE to EB.

Now our hexagon is AG EB , and we can insert E in the first blank and C in

the second to get AC

∩ EE. The hexagon is now AGEEBC and the new point is

GE

∩ BC. This point lies on the line d as well.

Now we have three points on the line d, F, D and GE

∩ BC. Somehow, we need

to involve the segment CG

0

to get F . Let’s try fitting in CG

0

and the new point

GE

∩ BC. Fill out the hexagon as GE BC , and add in point G

0

to the second blank

to get GE BCG

0

.

In hexagon GE BCG

0

, the third point, B

∩ G

0

G

, must also lie on d. The third

point must be the intersection of G

0

G

and d. But these two lines are parallel, as AB

is perpendicular to d. So the third point must be on the line through B parallel to d –

which is tangent to Γ.

From this we see the first point must be B, so the hexagon is GEBBCG

0

. The third

point is then EB

∩ CG

0

, which must be on the line d. But the point on line d that lies

on EB is F , so EB

∩ CG

0

= F , and C, G

0

and F are collinear.

Proof.

Let G

0

be the reflection of G over AB. Pascal’s theorem on AGEEBC shows

that BC

∩ GE lies on d. Applying Pascal’s theorem again on CG

0

GEBB

means

CG

0

∩ BE lies on d, which means the intersection must be the point F , and thus F

lies on CG

0

.

What motivated this solution? One possible reason would be the point F – we want

to show that

F

= AG

∩ BE ∩ d ∩ CG

0

,

8

Pascal’s theorem

Carl Joshua Quines

and if we have a point that lots of lines pass through, we try to involve it in Pascal’s

twice, getting the same line in the process. From this we get our final two heuristics:

• If we fill out points and our first hexagon doesn’t seem to fit, we can always try

exchanging the letters. However, sometimes we have to do trial and error on lots

of different hexagons.

• If we have a point that lots of lines pass through, we try to involve it in Pascal’s

twice and get the same line in the process. This can reveal new information

about collinearities.

4 Summary

Here’s a list of the heuristics we found for using Pascal’s theorem:

• Pascal’s theorem is a tool for collinearities and concurrences. A bunch of points,

all lying on the same circle, with a bunch of intersections is a hint for Pascal’s,

especially if we want to prove a collinearity or concurrence.

• Often we want to find the points we wish to show collinear before finding the

hexagon. Then we write each point as the intersection of two lines with endpoints

at the conic, and work backwards to find the hexagon.

• The center of a circle is the intersection of two of its diameters. If you’re trying

to prove that the center of a circle is collinear to two other points, involving two

diameters can help.

• Involving a diameter is often done by adding the antipodes of points. The

antipode of a point A is its reflection A

0

over the center of the circle. Then AA

0

passes through the center of the circle, and is a diameter.

• If we fill out points and our first hexagon doesn’t seem to fit, we can always try

exchanging the letters. However, sometimes we have to do trial and error on lots

of different hexagons.

• If we have a point that lots of lines pass through, we try to involve it in Pascal’s

twice and get the same line in the process. This can reveal new information

about collinearities.

Finally, a small tip. Pascal’s is just one of the many tools to prove collinearity

and concurrence. It plays well with other theorems like Ceva’s and Menelaus’s. It

especially plays well with projective ones like Pappus’s, Desargues’s and Brianchon’s.

5 Problems

While a lot of the problems can be solved without Pascal’s, the solutions presented is

where Pascal’s theorem is a key step. Straightforward problems usually involve one or

two applications, involved problems require a bit more ingenuity, while challenging

problems are difficult enough to be olympiad problems and will often not require

Pascal’s alone. Problems are very roughly sorted by difficulty.

9

Pascal’s theorem

Carl Joshua Quines

5.1 Straightforward

1. Let ABCDEF be a hexagon inscribed in a circle such that AB is parallel to

DE

and BC is parallel to EF . Prove that CD and AF are parallel.

2. Cyclic quadrilateral ABCD is such that the tangents to the circle from B and

D

intersect at AC. Prove that the tangents to the circle from A and C intersect

at BD.

3. (CTK [3]) Chords AB and CD are parallel, whereas P and Q are additional

points on the same circle. Let X be the intersection of BP and CQ, Y the

intersection of AQ and DP . Prove that XY is parallel to AB and CD.

4. Let ABCD be a quadrilateral whose sides AB, BC, CD, DA are tangent to a

single circle at points M, N, P, Q, respectively. Let lines BQ, BP intersect the

circle at E, F respectively. Prove that lines M E, N F, BD are concurrent.

5. (CTK [7]) Points A, B, C lie on a conic, D elsewhere. The conic meets AD, BD, CD

the second time in A

0

, B

0

, C

0

. N is also on the conic. A

0

N, B

0

N, C

0

N

cross

BC, AC, AB

in A

0

, B

0

, C

0

. Prove points A

0

, B

0

, C

0

and D are collinear.

6. Let ABC be a triangle and let B

1

, C

1

be points on the sides CA, AB. Let Γ be

the incircle of ABC and let E, F be the tangency points of Γ with the same

sides CA and AB, respectively. Furthermore, draw the tangents from B

1

and

C

1

to Γ which are different from the sidelines of ABC and take tangency points

with Γ to be Y and Z, respectively. Prove that the lines B

1

C

1

, EF,

and Y Z are

concurrent.

5.2 Involved

1. Line AB is tangent to circle ω at point Y , with Y between A and B on the line.

Point X is on circle ω such that XY is a diameter. Suppose XA and XB meet

the circle again at C and D, respectively, and that AD and BC meet the circle

again at E and F , respectively. Prove that XE = XF .

2. (Grinberg [2]) Given a cyclic quadrilateral ABCD with the circumcenter O. The

perpendicular to BD through B meets the perpendicular to AC through C at E.

The perpendicular to BD through D meets the perpendicular to AC through

A

at F . Finally, let X be the intersection of the lines AB and CD. Prove the

points O, E, F, X are collinear.

3. (Steiner [1]) Prove that the Pascal lines of the hexagons ABCDEF, ADEBCF,

and ADCF EB are concurrent.

4. (Kirkman [1]) Prove that the Pascal lines of the hexagons ABF DCE, AEF BDC,

and ABDF EC are concurrent.

5. (Mellery [8]) A circle with center O has AB as a diameter. The arbitrary points

C

and D are on one semicircle so that arc AC is within the arc AD. Pick an

arbitrary point E on the other semicircle. I is the intersection of CE with AD,

K

is the intersection of IO with BE. Prove that ∠CDK = 90

◦

.

10

Pascal’s theorem

Carl Joshua Quines

6. (CTK [4]) Given three points P, Q, R and a circle. Choose a point A on the

circle and extend AP to meet the circle in B

0

. Extend B

0

Q

to meet the circle

in C. Extend CR to meet the circle in A

0

. Extend A

0

P

to meet the circle in B.

Extend BQ to meet the circle in C

0

and, finally, extend C

0

R

to meet the circle

in X. Prove that P, Q and R are collinear if and only if X and A coincide.

7. (La Hire’s theorem) Let A, B, C, D, E and F be points on the same circle. Let

X

be the intersection of the tangents from A and D, Y be the intersection of the

tangents from B and E, and Z be the intersection of the tangents from C and

F

. Prove that X, Y and Z are collinear if and only if AD, BE and CF concur.

5.3 Challenging

1. (APMO 2013/5) Let ABCD be a quadrilateral inscribed in a circle ω, and let P

be a point on the extension of AC such that P B and P D are tangent to ω. The

tangent at C intersects P D at Q and the line AD at R. Let E be the second

point of intersection between AQ and ω. Prove that B, E, R are collinear.

2. (Nikolin [6]) Let ABC and DEF be two triangle inscribed in the same circle.

Their sides intersect in six points G, H, I, J, K, L. (G = AB

∩ F E, H = AB ∩

DF, I

= BC

∩ DF, J = BC ∩ DE, K = DE ∩ CA, L = EF ∩ CA) Prove that

the lines GJ, HK, and IL are concurrent.

3. (CTK [5]) Let O be the center of a circle with diameters BB

t

, CC

t

and M

t

N

t

and chords BA

b

and CA

c

. Assume that BA

b

intersects M

t

N

t

in M and CA

c

intersects M

t

N

t

in N . K

b

is the second point of intersection of N B

t

with the

circle. K

c

is the second point of intersection of M C

t

with the circle. Prove that

A

b

and A

c

coincide if and only if so do K

b

and K

c

.

4. A is a point not on the circle ω and M and N are on ω such that AM, AN are

tangent to it. Line x passes through M and cuts AN at P

1

and line y passes

through N and cuts AM at P

2

. P

1

P

2

intersects M N at S. The tangent at the

second intersection of x and ω intersects AM at T and The tangent at the second

intersection of y and ω intersects AN at R. Prove that S, T and R are collinear.

5. (ELMO Shortlist 2012/A10) Let A

1

A

2

A

3

A

4

A

5

A

6

A

7

A

8

be a cyclic octagon. Let

B

i

by the intersection of A

i

A

i+1

and A

i+3

A

i+4

. (Take A

9

= A

1

, A

10

= A

2

, etc.)

Prove that B

1

, B

2

, . . . , B

8

lie on a conic.

6. Triangle ABC has incenter I, circumcircle ω and circumcenter O. The circle

with diameter AI intersects ω again at Q. Let N be the midpoint of arc BAC.

Let the line tangent to ω passing through A intersect QN at another point M .

Prove that M, I and O are collinear.

7. (ISL 2007/G5) Let ABC be a fixed triangle, and let A

1

, B

1

, C

1

be the midpoints

of sides BC, CA, AB, respectively. Let P be a variable point on the circumcircle.

Let lines P A

1

, P B

1

, P C

1

meet the circumcircle again at A

0

, B

0

, C

0

respectively.

Assume that the points A, B, C, A

0

, B

0

, C

0

are distinct, and the pairwise intersec-

tions of lines AA

0

, BB

0

, CC

0

form a triangle. Prove that the area of this triangle

does not depend on P .

11

Pascal’s theorem

Carl Joshua Quines

6 Hints

6.1 Straightforward

1. This is not that hard.

2. List down the points as intersections of lines passing through two points in the

circle, and search for something that can use Pascal’s.

3. Proving that XY is parallel to AB and CD is the same as showing they all

concur at infinity.

4. Use Pascal’s as well as Brianchon’s.

5. The challenge is finding the right hexagons. Be organized!

6. Don’t consider ABC as the main triangle, consider Γ as the main circle.

6.2 Involved

1. XE = XF is not a collinear or concurrence condition, but it can be made into

one. How?

2. How do we involve the center of the circle in Pascal’s?

3. Use Desargues’s.

4. Use Desargues’s too.

5. The line through I, O and K looks suspiciously like a Pascal line.

6. What is the Pascal line?

7. A proof using only Desargues’s and Pascal’s is possible.

6.3 Challenging

1. Use the second problem from the Straightforward list.

2. Use Pascal’s and trig Ceva.

3. What is the Pascal line?

4. List down the points of intersection and try to use Pascal’s.

5. Recall that Pascal’s is an “if an only if”, so Pascal’s converse is also true.

6. Point O looks so disconnected. How can we involve it? We also need to use a

certain well-known lemma.

7. The fact that this problem appears in this handout is already a big hint. Use

the fact that the area of a triangle is

1

2

ab

sin C.

12

Pascal’s theorem

Carl Joshua Quines

References

[1] Pascal Lines:

Steiner and Kirkman Theorems. Available at http://www.

cut-the-knot.org/Curriculum/Geometry/PascalLines.shtml

[2] Pascal in a Cyclic Quadrilateral. Available at http://www.cut-the-knot.org/

Curriculum/Geometry/PascalInQuadrilateral.shtml

[3] Parallel Chords Entail Another Parallel. Available at http://www.cut-the-knot.

org/Curriculum/Geometry/ParallelChords.shtml

[4] Pascal: Necessary and Sufficient. Available at http://www.cut-the-knot.org/

Curriculum/Geometry/PascalIterations.shtml

[5] Diameters

and

Chords.

Available

at

http://www.cut-the-knot.org/

Curriculum/Geometry/DiametersAndChords.shtml

[6] Two Triangles Inscribed in a Conic. Available at http://www.cut-the-knot.

org/Curriculum/Geometry/GeoGebra/Steiner_Pascal.shtml

[7] Two Pascals Merge into One. Available at http://www.cut-the-knot.org/m/

Geometry/DoublePascalConic.shtml

[8] Surprise: Right Angle in Circle. Available at http://www.cut-the-knot.org/

m/Geometry/RightAngleInCircle.shtml

If anyone knows the sources to any problem without one, see an error, have a correc-

tion, or have a question, please do not hestitate to contact me at cj@cjquines.com.

13