Monge's Circle Theorem

Explore three-circle tangent intersections, homothety centers and their collinear Monge line, including nested circles and points at infinity.

Monge's Circle Theorem

Concept Overview

For three circles of unequal radii with two distinct common external tangents for every pair, the three intersections of those tangent pairs lie on one straight line. This is Gaspard Monge's circle theorem. A tangent is external here when the circle centers lie on the same side of the tangent line; this is different from two circles being externally tangent to each other.

The deeper invariant concerns external similarity centers, also called direct homothety centers. It survives intersecting and nested circles, even when real tangent lines disappear. The visualization distinguishes these two statements rather than drawing imaginary tangents.

Mathematical Definition

Let circles have centers A, B, C and positive radii a, b, c. The direct homothety taking the first circle to the second has scale b/a. Solving B = H + (b/a)(A − H) gives:

H_AB = (aB − bA)/(a − b), when a ≠ b

H_AC = (aC − cA)/(a − c)

H_BC = (bC − cB)/(b − c)

The direct scale is positive: corresponding radius vectors point in the same direction. The internal similarity center, (aB + bA)/(a + b), belongs to negative-scale homothety and is outside this module's external-center construction.

Key Concepts

An algebraic proof, including infinity

Represent a finite point (x,y) by homogeneous coordinates [x:y:1]. Any nonzero scalar multiple represents the same point. A nonzero triple [u:v:0] represents a direction at infinity. Define the following unnormalized vectors:

h_AB = (aB_x − bA_x, aB_y − bA_y, a − b)

h_AC = (aC_x − cA_x, aC_y − cA_y, a − c)

h_BC = (bC_x − cB_x, bC_y − cB_y, b − c)

c h_AB − b h_AC + a h_BC = (0,0,0)

det(h_AB, h_AC, h_BC) = 0

Every coordinate cancels in the linear identity, so the three vectors are dependent. For three defined projective points, this proves collinearity. A cross product of two distinct point vectors gives the line coefficients (l,m,n), meaning lx + my + n = 0. If all three points coincide, there is no unique line. A zero vector is never a projective point.

When do real external tangents exist?

For centers A and B, let d = |B − A|. A unit normal N to a common external tangent obeys N · (B − A) = a − b. The contact points are A + aN and B + bN. Their difference is perpendicular to N, so both lie on the same tangent.

d > |a − b|: two distinct real external tangent lines, including circles whose boundaries intersect.
d = |a − b| > 0: one common tangent at internal tangency; the two external tangents have coalesced.
d < |a − b|: a strictly nested pair has no real external tangent. Unequal radii still define a similarity center.
d = 0 and a = b: coincident circles have infinitely many common tangent lines and no unique direct similarity center.

Equal radii and degeneracy

If a = b and A ≠ B, the two external tangents are parallel to B − A. Their intersection is the projective point [B_x − A_x:B_y − A_y:0], rather than a large fabricated finite point. The other two finite similarity centers lie on a line parallel to this direction.

With three equal radii and noncollinear centers, all three similarity centers lie on the line at infinity, whose equation is w = 0. There is no corresponding finite green line to draw. Distinct concentric circles have the same finite similarity center; they are algebraically collinear but do not determine a unique line. Coincident circles produce a zero homogeneous vector, so the module withholds the theorem result.

A worked example

Take A = (−3,−2), a = 2; B = (3,−2), b = 1; C = (0,3), c = 1/2. Independent substitution gives H_AB = (9,−2), H_AC = (1,14/3), H_BC = (−3,8). In each case, 5x + 6y − 33 = 0. Every center distance exceeds the corresponding radius difference, so there are six real external tangents in total.

The displayed residual is the absolute determinant after separately normalizing each homogeneous vector by its largest absolute coordinate. It is dimensionless and remains meaningful for points at infinity. Floating-point values below 10⁻¹⁵ display as zero; zero is a numerical consistency check, while the identity above is the proof. Tangent existence and multiplicity compare the computed center distance directly with the radius difference, so a strictly nested pair is never promoted to tangency by a tolerance. Extremely close degeneracies remain subject to floating-point resolution. Invalid, empty or out-of-range inputs suppress the construction.

Historical Context

The theorem bears the name of French mathematician Gaspard Monge (1746–1818), associated with descriptive geometry. Thomas Banchoff's Brown University exposition relates its circle configuration to Desargues' theorem: corresponding points on the three circles form two perspective triangles, and intersections of corresponding sides are collinear. This also explains why homothety centers are the natural objects behind the tangent picture.

Applications

Geometric constructions: locate a third external similarity center from two known centers.
Projective geometry: interpret parallel lines through points at infinity without numerical division by zero.
Computational geometry: separate line existence, tangent multiplicity and homothety invariants, preventing invalid nested-circle constructions.

Related Concepts

Euler Line: another collinearity invariant, involving triangle centers rather than circle similarity centers.
Homothety and similarity transformations: positive versus negative scale factors.
Desargues' theorem and homogeneous linear algebra: incidence expressed by a vanishing determinant.
Monge's optimal-transport problem is a different topic and is not the circle theorem explored here.

References

Thomas Banchoff, Brown University: Monge's Theorem and Desargues' Theorem, Identified.
Ermiş and Gelişgen: Does The Monge Theorem Apply To Some Non-Euclidean Geometries? (2021), for the Euclidean statement and its broader context.

Monge's Circle Theorem