GEOMETOR feuerbach

Multi-Treatise Bilingual Book Codex & Exact Symbolic Triangle-Center Architecture

This Digital Scriptorium edition unites in a single computational and philological codex the two foundational treatises that transformed classical Euclidean triangle geometry into a unified science of collinear centers, symmetric polynomial invariants, and circle tangencies:

  1. Leonhard Euler — Solutio facilis problematum quorumdam geometricorum difficillimorum (Novi Commentarii Academiae Scientiarum Imperialis Petropolitanae, Tom. XI pro Anno 1765, publ. 1767, pp. 103–123, Eneström E325): verbatim 1767 St. Petersburg Latin alongside an original GEOMETOR English translation, deriving the six mutual quadrances among the orthocenter \(E = X(4)\), centroid \(F = X(2)\), incenter \(G = X(1)\), and circumcenter \(H = X(3)\), discovering the Euler Line, and reconstructing the triangle via the side-length cubic \(z^3 - pz^2 + qz - r = 0\).

  2. Karl Wilhelm Feuerbach — Eigenschaften einiger merkwürdigen Punkte des geradlinigen Dreiecks (Nürnberg: Riegel und Wießner, 1822, pp. I–XVI, 1–62, with Karl Buzengeiger’s Vorrede): verbatim 1822 German alongside an original GEOMETOR English translation, introducing the orthic inradius \(\rho = 2R\cos\alpha\cos\beta\cos\gamma\), establishing the Nine-Point Circle centered at \(L = X(5)\), proving in § 57 its internal tangency to the incircle at the Feuerbach Point \(X(11)\) and external tangency to all three excircles, and concluding with a pure Euclidean Book I/III/VI synthetic Anhang (1.–9. Satz).

Feuerbach's Theorem (1822, § 57): Nine-Point Circle Tangent to the Incircle and Three Excircles A B C S L S′ (Jₐ) S″ (Jb) S‴ (Jc) X₁₁ Feₐ Feb Fec

Every algebraic identity across both treatises is verified to exact symbolic zero in sympy (prove_euler_1765_identities()), and every geometric center and tangency locus is constructed without floating-point numbers on the canonical Heronian (15, 13, 14) triangle A = (0, 0), B = (14, 0), C = (5, 12) (construct_feuerbach_tangency()), where X5 = (6, 63/16) and X11 = (6, 8). For cevian concurrency and projective transversal duality, see the companion codices Ceva (1678) and Menelaus (Sphaerica).

Scholarly Apparatus