Concept

Hyperbola

The conic section obtained by cutting a cone at an angle steeper than its own side, giving two separate branches. Its points are those whose distances to two foci differ by a fixed amount, and the whole-number points on one branch are what Pell's equation asks for.

Named by 11 essays across 3 fields — each of them below, with the objects they name alongside it.

Four conic sections from one cone. Circle, ellipse, parabola and hyperbola, produced by tilting a single cutting plane further and further.

One cone, four curves

The circle, the ellipse, the parabola and the hyperbola look like four separate objects with four separate equations. They are one object, cut at four angles.

geometry · Conic sections
Whole-number points on x² − 2y² = 1. The branch of the hyperbola x² − 2y² = 1 in the first quadrant, with the whole-number points on it marked and labelled, and the lattice drawn faintly behind.

One solution that makes all the others

The equation x² − 2y² = 1 has infinitely many whole-number solutions, and every one of them is a power of the smallest. The multiplication that produces them is what multiplying two numbers of the form a + b√2 comes to when the √2 terms are collected — so an equation about a hyperbola turns out to carry a group.

number · Pell
The area that names the number. The curve 1/x with the area under it from 1 to 2.7183 shaded, measuring 1.0000.

The area that names the number

The number e can be defined without mentioning slopes at all. Slide right along the curve 1/x until the area underneath reaches exactly one, and stop. That is where e is, and the reason logarithms turn multiplication into addition is visible in the same picture.

analysis · The exponential
Every ray aimed at one focus is turned towards the other. A hyperbola with its two foci and 13 rays aimed at the far one. Each strikes the near branch from outside and is turned towards the near focus — which is the property a Cassegrain telescope's secondary mirror uses.

Aimed at one focus, turned towards the other

An ellipse sends every ray leaving one focus through the other. A hyperbola does something that sounds like the same sentence and is not — it takes a ray aimed at the far focus and turns it towards the near one, which is what the second mirror of a telescope is for.

geometry · Conic sections
Two families of conics, crossing at right angles. 4 ellipses and 3 hyperbolas with the same pair of foci. Every ellipse meets every hyperbola at a right angle, checked at all 12 crossings.

Two families that cross at right angles

Fix two points and draw every ellipse with those foci, then every hyperbola with the same two. Each curve of the first family meets each of the second at a right angle, so between them they are a coordinate system — and the reason is one sentence about angle bisectors.

geometry · Conic sections
One sign decides which curve it is. 3 conics drawn from the general quadratic, each labelled with its discriminant B² − 4AC and the curve that sign names, checked against how many times the curve meets a large circle.

One sign decides which curve

The general quadratic in two variables has six coefficients and draws a conic. Which of the four it draws is settled by a single combination of three of them, and the other three cannot change the answer however they are chosen.

geometry · Conic sections
Six points on an ellipse, and the line their opposite sides meet on. A hexagon with its six corners on an ellipse. Its three pairs of opposite sides are extended until they meet, and the three meeting points lie on one straight line. Moving one corner off the ellipse breaks the alignment.

Six points on a conic, and the line they share

Put six points on an ellipse, join them into a hexagon, and extend each pair of opposite sides until they meet. The three meeting points always lie on one straight line. The statement uses no length, no angle and no focus — which is why it holds for every conic at once, and why a straightedge alone can draw the curve through any five points.

geometry · Conic sections
Two confocal ellipses, two confocal hyperbolas, and equal diagonals of 1.399. Two ellipses and two hyperbolas with the same foci cut out a four-sided region with curved sides. Its two diagonals, drawn as straight segments, both measure 1.3987.

Equal diagonals in a curved quadrilateral

Two ellipses and two hyperbolas sharing the same foci cut out a four-sided region with curved sides and no symmetry to speak of. Its two diagonals are nevertheless exactly equal. The reason is a stretch that carries one ellipse onto the other and moves every pair of points so that crossed distances match — a property only confocal curves have.

geometry · Conic sections
A circular sector of area 1.10 and a hyperbolic sector of area 0.80. On the left, the unit circle with the sector from (1, 0) to (cos 2.2, sin 2.2), of area 1.100. On the right, the hyperbola x² − y² = 1 with the sector from (1, 0) to (cosh 1.6, sinh 1.6), of area 0.800. In both, the parameter is twice the shaded area.

The angle that is really an area

On a unit circle the angle t is the length of arc the point has walked, and it is also twice the area of the slice it has swept. The two readings agree on the circle and part company on the hyperbola — where arc length leads nowhere and area leads straight to cosh, sinh, and the exponential.

analysis · Circular functions
The solutions of x² − 2y² = N, class by class. Rows for several right-hand sides N, each marking the solutions of x² − 2y² = N at the logarithm of x + y√2, coloured by class, over alternately shaded windows one unit-step wide.

Two families of solutions, and a box that holds both

Replace the 1 in Pell's equation by 7 and x² − 2y² = 7 still has infinitely many solutions — but they fall into exactly two families, each one an orbit of the same multiplication, and every family has a member inside a box whose size is fixed in advance. How many families there are is then a count of factors, and 3 has none.

number · Pell
Billiards in an ellipse: every path keeps touching one confocal conic. Two billiard trajectories in the ellipse x² + y²/0.49 = 1, one tangent to a confocal ellipse and one to a confocal hyperbola.

The caustics only an ellipse keeps

A billiard ball in an elliptical table touches the same confocal ellipse or hyperbola with every segment of its path, for ever. Bend the table by a percent and a half and most of those curves survive, but the one turning a quarter-turn per bounce breaks into a chain of four islands whose width grows like the square root of the bend. Birkhoff asked in the 1920s whether the ellipse is the only table that keeps them all; it is still not known.

geometry · Conic sections

Named alongside it

The objects these essays reach for when they reach for this one.

EllipseConicFocusTangencyReflectionAreaCoordinatesDegenerate conicDiscriminantFundamental solutionLogarithmOrthogonality

All concepts