THE LABORATORY / GEOMETRY

SIX POINTS.
ONE HIDDEN LINE.

A theorem is more interesting
when you can move it.

Drag six points. Follow three intersections.
See what stays true.

Enter the experiment

PASCAL LAB

A live mathematical construction

EXPERIMENT 001
Six points on an ellipseCONDITION: ON THE CONIC
An interactive construction of Pascal’s theorem Six points A to F lie on an ellipse. Opposite sides meet at P, Q, and R. Drag a point or focus it and use the arrow keys to change its angle. DRAG A POINT. TEST THE INVARIANT.ℝP²

Drag a letter · Arrow keys move a focused point

GO A LITTLE DEEPERWhy a conic? Why infinity?

The condition is precise.

For six distinct points on a nondegenerate conic, the three intersections of opposite sides of the resulting hexagon are collinear in the projective plane. The labels need not run around the ellipse in order.

This lab uses an ellipse. An ellipse, a parabola, and a hyperbola are all nondegenerate conics. Projective geometry relates these different affine shapes.

Parallel is not a dead end.

Projective geometry adds points at infinity. Parallel lines share a direction, and meet at the corresponding point at infinity. In the symmetric preset, all three intersections lie at infinity: their Pascal line is the line at infinity, which cannot be drawn as an ordinary finite line.

Coincident points can make this construction undefined. The lab reports these configurations rather than inventing a line.

The computation stays honest.

Each point is represented in homogeneous coordinates. Cross products compute every side and intersection. A reference line is formed from two intersections; the third is tested independently.

Read a projective proof
Explore a university proof worksheet

MAKE THE REASONING YOURS

Predict. Test. Explain.

YOUR NEXT MOVE

01 / MAKE A PREDICTION

Move C. What should stay true?

Keep all six points distinct and on the ellipse, with the construction defined. Imagine dragging C to a new position.

What do you expect of P, Q, and R?

02 / TRY A FRESH SETTING

Carry the idea to a parabola.

Make a prediction on the left to open a new setting.

AI as a workbench. Use it to explore questions, examples, and constructions. Keep your reasoning in charge: predict, test, explain. A convincing animation is a starting point for a proof.

TWO MORE WAYS IN

Small experiments. Serious ideas.

THE WORKBENCH
002 / LIMITS

A circle, approached.

Fit a regular polygon inside a unit circle.
What happens to its area as the sides increase?

A regular polygon inscribed in a circler = 1
POLYGON AREA2.828430.31317 below π

An = n/2 sin(2π/n) → π

003 / CALCULUS

A slope, up close.

Bring two points on y = x² together.
Watch a secant approach the tangent.

A secant line approaching the tangent of y equals x squared at x equals 0.6y = x²
SECANT SLOPE1.800Tangent slope: 1.200

[f(0.6 + h) − f(0.6)] / h → 1.2

Less watching.
More finding out.

Try another arrangement