Chapter III: Properties of the Triangle — Commentary

Constructive Analysis, Historical Provenance & GEOMETOR Notes (0072–0142, pp. 53–123)

Mathematical Architecture & Classical Triangle Canon

Spanning 186 articles (§§ 54–239, pp. 53–123), Chapter III is the monumental heart of the first half of College Geometry:

  1. Harmonic Preliminaries (§§ 54–67): Early introduction of harmonic division and the Apollonian circle, honoring the pedagogical innovation announced in the 1952 Preface.

  2. Circumcircle & Medians (§§ 68–110): Antipodal chords, Simson/Johnson precursors, the Problem of Pappus (§ 84), Apollonius’ median formula, the centroid \(G = X(2)\), and the complementary and anticomplementary triangles.

  3. Tritangent Circles (§§ 111–174): The incircle and three excircles \((I, I_a, I_b, I_c)\), Carnot's theorem (§ 146), Chapple–Euler distance formula \(OI^2 = R(R - 2r)\) (§ 152, Euler 1765), and semiperimeter contact identities (\(s - a, s - b, s - c\)).

  4. Altitudes, Euler Line & Nine-Point Circle (§§ 175–219): Concurrency at the orthocenter \(H = X(4)\), minimum-perimeter property of the orthic triangle (Fagnano, § 194), collinearity of \(O, G, N, H\) on the Euler line (§ 202), the nine-point circle (§ 206, Brianchon & Poncelet), and Feuerbach's theorem (§ 215, Feuerbach 1822).

  5. Orthocentric Group (§§ 220–239): Symmetric quadruple \(\{A, B, C, H\}\) (orthocentric quadrilateral) sharing a common nine-point circle.

GEOMETOR Ecosystem Connections

  • `geometor/etc` & :cite:`Kimberling’s ETC <kimberling:etc>`: Establishes exact synthetic constructions for \(X(1)\) (incenter), \(X(2)\) (centroid), \(X(3)\) (circumcenter), \(X(4)\) (orthocenter), \(X(5)\) (nine-point center), and \(X(11)\) (Feuerbach point).

  • `geometor/model`: Every center and circle in §§ 54–239 is quadratic constructible over \(\mathbb{Q}(A, B, C)\) and verifiable symbolically in SymPy without floating-point drift.