The theorem that the following nine points of a triangle are concyclic: the midpoints of the three sides, the feet of the three altitudes, and the midpoints of the segments from the orthocenter to each vertex; the resulting circle is called the nine-point circle, its center N is the midpoint of the orthocenter–circumcenter segment and its radius equals half the circumradius.

Principle

An organizing fact about triangle structure: certain natural midpoint and foot constructions lie on a single circle whose center and radius are simply related to classical centers (circumcenter and orthocenter), revealing symmetry and scale relations inside the triangle.

Demonstration

Given triangle ABC with circumcenter O and orthocenter H, the midpoint of AH, the midpoint of BC, and the foot of the altitude from A are three of the nine points; reflecting classical congruences or similarity arguments shows these and the corresponding points for B and C share a common circle. Algebraically one shows the nine-point center N = (H+O)/2 and radius R/2 if R is circumradius.

Misapplication

Assuming the nine-point circle passes through the original vertices, or conflating it with the circumcircle; or applying the Euclidean nine-point construction in a non-Euclidean plane without adapting distances and perpendicularity notions.

Consequence

Provides many derived equalities and simplifications: midpoints and feet are concyclic, N's location gives easy constructions, and relationships like radius = R/2 allow transfer of circumcircle information to the nine-point circle for further metric deductions.

Reversal

The converse statement—points lying on the nine-point circle imply they must be midpoints or feet of altitudes—is not automatic without checking triangle relations. A contrasting structure is the circumcircle, which passes through vertices rather than the nine specific midpoints and feet.

Boundary

Valid in Euclidean plane geometry for nondegenerate triangles; degenerate triangles (collinear vertices) destroy the perpendicular construction and the notion of circumradius. The theorem requires the standard Euclidean definitions of midpoint and foot of altitude.

Semantic Tension

Tension between the nine-point circle and the circumcircle or incircle: each circle selects a different canonical set of points (midpoints/feet vs vertices vs tangent/contact points) and thus leads to different invariant properties and uses.

Synthesis

The nine-point circle theorem packages a set of midpoint and altitude-foot constructions into one concise circular locus: nine canonical, easily constructed points lie on a circle whose center and radius are simple linear and scaling functions of the triangle's circumcenter and circumradius, yielding compact metric and synthetic consequences.