Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Carnot's Theorem

Geometry

Carnot's Theorem relates the signed distances from a triangle's circumcenter to each of its three sides, stating that their sum equals the sum of the triangle's circumradius and its inradius, with a sign convention that turns negative for a side beyond which the circumcenter lies. Named for Lazare Carnot, it is a classical result of triangle geometry connecting a triangle's two principal associated circles.

Facts
Statement
For any triangle ABC, the signed sum of the perpendicular distances from the circumcenter to the three sides equals the sum of the circumradius and the inradius. 1
Classification
Statement Form
Identity or Equation 1
Connections

Has Statement Form

Equation, Concepts

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

Identity, Concepts

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

In Branch

Source Carnot's theorem (inradius, circumradius) (Wikipedia)
Sources
1. Carnot's Theorem - MathWorld
Main entry
Quote, Main entry
Carnot's theorem states that, given any triangle ABC, the signed sum of perpendicular distances from the circumcenter O to the sides (i.e., signed lengths of the pedal lines from O) is OO_A+OO_B+OO_C=R+r, where r is the inradius and R is the circumradius.
View the Source
Carnot's theorem (inradius, circumradius) (Wikipedia)
In Branch: Geometry, Lead sentence
Quote, In Branch: Geometry, Lead sentence
In Euclidean geometry, Carnot's theorem (English: kar-NOH, French: [kaʁno]) states that the sum of the signed distances from the c
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.