T_16 • The Nine-Point (Feuerbach) Circle¶
Category: Named Circles
The circle of radius R/2 centered at X5 passing through the 3 side midpoints, 3 altitude feet, and 3 Euler midpoints of triangle ABC, tangent to the incircle at X11.
Primary Construction & Central Lines¶
Key Properties & Sequenced Operations¶
Definition (PONCELET, BRIANCHON & FEUERBACH (1821–1822)):
Nine-Point Circle (Center X_5, Radius R/2) • 3 Midpoints + 3 Altitude Feet + 3 Euler Points— The Nine-Point Circle: Centered at X5, the nine-point circle circumscribes both the medial triangle M_a M_b M_c and the orthic triangle. (Dilation of the circumcircle by −1/2 at X2 or +1/2 at X4 produces the exact same nine-point circle.)Coordinate & Algebraic Law (FEUERBACH TANGENCY):
Midpoint of X_3 and X_4 • Tangency with Incircle at Feuerbach Point X_11— Dual Homothety: X5 is the complement of X3 and midpoint of X3 X4, tangent to the incircle at X11. (|X1 X5| = |R/2 − r|, proving internal tangency of the incircle and nine-point circle at X11.)Central Line Incidences (NINE-POINT NEXUS):
Euler Line {2, 3, 4, 5} ∩ Feuerbach Line {1, 5, 11, 12}— Intersection at X5: The Euler line {2, 3, 4, 5} and Feuerbach line {1, 5, 11, 12} cross at X5. (X11 always lies strictly on the nine-point circle.)Collection 1 Network (ORTHIC & MEDIAL CIRCUMCIRCLE):
X_5 • X_2 • X_3 • X_4 • X_1 • X_11 • X_12— Nine-Point Family: X5 unites X2, X3, X4 with X1, X11, X12. (Because the medial and orthic triangles share the same circumcircle, their circumcenters coincide at X5.)