F.4 Carnot’s Theorem

Signed Distances from the Circumcenter to the Sides and the Japanese Theorem

In any triangle ABC, the sum of the signed perpendicular distances from the circumcenter O to the three sides BC, CA, AB equals the sum of the circumradius R and the inradius r: d_a + d_b + d_c = R + r.

Interactive GEOMETOR construction for F.4 (Carnot’s Theorem). Hover any geometric label in the text or figure to highlight the corresponding element.

A : Point B : Point C : Point ===== O = circumcenter(A, B, C) I = incenter(A, B, C) M_A = midpoint(B, C) M_B = midpoint(C, A) M_C = midpoint(A, B) d_a = segment(O, M_A) d_b = segment(O, M_B) d_c = segment(O, M_C)

Mathematical Synthesis

Attributed to Lazare Carnot (1753–1823), Carnot's theorem links the perpendicular distances da, db, dc from the circumcenter O \(= X(3)\) to the side midpoints MA, MB, MC directly to the circumradius \(R\) and inradius \(r\) around the incenter I \(= X(1)\).

Seelig highlights the signed distance convention: \(d_m\) is positive when \(O M_m\) lies wholly inside \(\triangle ABC\) and negative when O lies outside the corresponding side (as in an obtuse triangle where \(-OH_A + OH_B + OH_C = R + r\)). As an immediate corollary, Seelig illustrates the Japanese Theorem for cyclic polygons: the sum of the inradii of the triangles in any triangulation of a cyclic polygon is invariant.

Key Algebraic Identities

\[\sum_{m \in \{A, B, C\}} d_m = d_a + d_b + d_c = R(\cos\alpha + \cos\beta + \cos\gamma) = R + r\]

Cross-Repository Canon & Archival Provenance

Seelig Archive Folios	F.4 Carnot’s Theorem — Folios (Folios 0020–0020, 1 scanned manuscript page in resources/seelig/04_carnots-theorem)
Euclid’s Elements	III.20, IV.4, IV.5 (EuclidElements)
GEOMETOR Elements (G-Index)	G.3 extremities of a segment
Encyclopedia of Triangle Centers	X(1) — Incenter, X(3) — Circumcenter (Kimberling1998)
Seelig Spreadsheets	General Reference, Circumcircle-Circumcenter, Incircle-Incenter (Spreadsheets)

Constructive Dependency Graph

Prerequisites: F.3 Biquadratic Forms in Heron’s Formula, F.11 Circumcenter, F.28 Incenter

Required for: F.19 Equal Incircles Theorem, F.32 Markowski’s Theorem, F.38 Pedal Triangles, F.45 Squares, Subdivided Lattices, and the Japanese Theorem