Matpic
mathematics, in pictures
Concept

Incircle

The incircle of a triangle is the largest circle that fits inside it, touching all three sides. Its centre is where the three angle bisectors meet, and its radius is the triangle's area divided by half its perimeter.

Named by 2 essays across one field — each of them below, with the objects they name alongside it.

Five triangles between the same two circles, every one closing. An outer circle of radius 1 and an inner of radius 0.38 at Euler's distance 0.4899; five triangles inscribed in the first and circumscribed about the second, started from different points.

A triangle that fits once fits everywhere

Put one circle inside another and try to fit a triangle between them, its corners on the outer circle and its sides touching the inner. Usually no triangle fits. But if one does, then one fits starting from every point of the outer circle — and whether it does is decided by a single equation in the two radii and the distance between the centres.

geometry · Triangle centres Malfatti's three circles against the three largest, one at a time. A triangle with angles 40, 70, 70 degrees: Malfatti's circles cover 69.1% of it, the greedy choice of incircle then largest remaining circles covers 73.7%.

Three circles that touch and are not the largest

In 1803 Gian Francesco Malfatti asked how to cut three round columns from a triangular block of marble with as little waste as possible, and answered with three circles each touching the other two and two sides. The circles exist in every triangle and are found by solving three equations. They are never the answer to his question: the plain greedy rule — the inscribed circle first, then the largest circle that still fits, twice — always does better, by 1.4 per cent on the equilateral triangle and by almost double on a thin one.

geometry · Triangle centres

Named alongside it

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

Angle bisectorCircumcircleCounterexampleElliptic curveEuler relationGreedy algorithmInvariant measureNewtons methodOptimisationPoncelet porismRotation numberTangency

All concepts