AI for mathematics

Six circles in a rectangle

The red segment is exactly as long as the rectangle is tall: a proof by classical geometry alone.

New proof of a known result

Six circles in a rectangle

Six circles in a rectangle: a proof by pure geometry

A rectangle holds six circles, tangent wherever they look tangent. The segment joining the centres of the two largest circles is exactly as long as the rectangle is high. The note gives a proof using only tangent lengths, the angle bisector theorem, a homothety, equal tangents and isosceles triangles.

The problem is Dan’s, from Mathematics Stack Exchange (question 5112314) and MathOverflow (question 515498). A longer version of the proof is the author’s MathOverflow answer, whose figures are in six-circles-rectangle.

Preprint, 8 October 2026. The author used AI tools in developing this proof and takes full responsibility for its content.