Matpic
mathematics, in pictures
Concept

Reflection

A rigid motion of the plane that flips it about a line, leaving that line fixed and swapping the two sides. It preserves distances and tangency and reverses orientation, which is why reflecting a graph in the diagonal gives the inverse function.

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

Every ray from one focus arrives at the other. An ellipse with its two foci and 13 rays leaving the first. Each is reflected at the curve by the ordinary law of reflection and each passes through the second focus.

Every ray comes back to the other focus

An ellipse has two foci and one property everybody remembers: the distances to them add to a constant. What that property forces is stranger and more useful — a mirror shaped like an ellipse sends every ray leaving one focus, in every direction, through the other.

geometry · Conic sections eˣ and its inverse, reflected in the diagonal. A curve, the line y = x, and the curve reflected in it — which is the graph of the inverse function. Tangents are drawn at matched pairs of points, and the two slopes at each pair multiply to one.

The slope of the mirror image

Undoing a function is reflecting its graph in the diagonal, and a reflection turns a slope into its reciprocal. That single observation supplies the derivative of every inverse — the logarithm, the roots, the inverse trigonometric functions — without differentiating any of them.

analysis · The derivative A billiard path of slope 0.618, folded and unfolded. A ball bouncing inside a square table, and the same trajectory drawn as one straight line through reflected copies of the table, so that the bounces disappear.

A bounce is a fold of the table

Reflect the room instead of the ball and every bounce disappears — the trajectory becomes a straight line through a tiled plane, and questions about what a ball does forever become questions about the slope of that line.

dynamics · Billiards the right triangle at an eighth of a turn: 16 directions, and a surface of genus 2. A polygonal billiard table with a long trajectory drawn on it, the finite set of directions that trajectory takes, and the arithmetic of the surface it unfolds into.

A table folded into a surface

Unfolding a square billiard gives a straight line on a torus. Unfolding any table whose angles are whole fractions of half a turn gives a straight line on some surface — and which surface it is decides how hard the dynamics will be.

dynamics · Billiards A room a trajectory cannot get out of, and one it can. A mushroom-shaped billiard table with two long trajectories: one confined to the cap by a conserved quantity, and one that enters the stem.

A room that cannot be lit

Mirror the walls of a room and put a lamp inside it. Every point should be lit, since light bounces forever — and there are rooms with a dark spot no ray from the lamp ever reaches.

dynamics · Billiards A path of 4 bounces that closes, in a triangle of 100°, 40°, 40°. A triangular billiard table with a periodic path found by an exhaustive sweep of starting positions and directions.

The triangle nobody can settle

Does every triangular billiard table have a path that closes on itself? Acute triangles do, right triangles do, triangles with rational angles do — and for the rest the question has been open since it was asked.

dynamics · Billiards 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

Named alongside it

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

BilliardsConicFocusPeriodic orbitTangencyEllipseUnfoldingCausticCounterexampleEccentricityEquidistributionHyperbola

All concepts