Nine-Point Conic¶
The conic through the six side midpoints and three diagonal points determined by a complete quadrangle, with circle and hyperbola cases governed by the quadrangle geometry.
Core Idea¶
Nine-Point Conic is the conic through the six side midpoints and three diagonal points determined by a complete quadrangle, with circle and hyperbola cases governed by the quadrangle geometry.
A complete quadrangle consists of four vertices with no three collinear, the six joining side lines, and three diagonal points formed by intersections of opposite sides. The nine-point conic is the conic through those three diagonal points and the six midpoints of the segments joining vertex pairs. In triangle language, choose triangle ABC and a fourth point P: the six midpoints lie on the three triangle sides and the three segments PA, PB, PC, while the diagonal points are the intersections of PA, PB, PC with the opposite sides.
Scope of Application¶
The abstraction has a bounded but recurring habitat. These are literal applications of the same domain machinery, not cross-domain metaphors.
- Complete-quadrangle geometry. the conic packages midpoint and diagonal incidences.
- Triangle geometry. a triangle plus fourth point gives an equivalent construction.
- Nine-point circle generalization. choosing the orthocenter as the fourth point produces the familiar circle.
- Affine conic classification. the fourth point's region controls ellipse or hyperbola behavior.
- Dynamic geometry. the construction supports exploratory proofs and locus investigations.
- Historical projective geometry. the theorem connects nineteenth-century conic and quadrangle methods.
Clarity¶
Count the points by role, not by a picture: six vertex-pair midpoints plus three intersections of opposite side lines. A diagram can merge or send points to infinity in degenerate positions, so the no-three-collinear and finite-midpoint assumptions should be made explicit before invoking the ordinary form.
Manages Complexity¶
The conic compresses nine separately constructed incidences into one locus. Once the quadrangle is fixed, properties of the conic translate relations among triangle centers, midpoint configurations, and line intersections into conic geometry rather than nine independent calculations.
The compression remains accountable because every simplification has a named validity condition. A user can ask which role is missing, which assumption fails, and which neighboring abstraction should replace the candidate instead of treating the label as an unanalyzed bundle.
Abstract Reasoning¶
R1. Verify that the four vertices form a nondegenerate complete quadrangle.
R2. List all six unordered vertex pairs before taking midpoints.
R3. Pair opposite sides correctly to obtain three diagonal points.
R4. Distinguish affine statements involving midpoints from projective incidence statements.
R5. Treat circle and hyperbola results as special configurations, not the definition.
Knowledge Transfer¶
The construction transfers literally across affine planes where complete quadrangles, midpoints, and conics are defined with suitable characteristic restrictions. 'Nine-point' analogies elsewhere are naming coincidences; the portable skeleton is constrained incidence determining a locus.
The transfer boundary follows from the classification test: The construction recurs across projective and triangle geometry, while complete-quadrangle incidence, affine midpoints, diagonal points, conic uniqueness, and degeneracy conditions remain constitutive. The safe portable move is to name the broader parent when the home-domain machinery is absent and to retain the domain name only when literal recognition succeeds.
Relationships to Other Abstractions¶
Current abstraction Nine-Point Conic Domain-specific
Parents (1) — more general patterns this builds on
-
Nine-Point Conic presupposes Constraint Prime
The accepted reference-grade review places Nine-Point Conic under Constraint because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Hierarchy path (1) — routes to 1 parentless root
- Nine-Point Conic → Constraint
Neighborhood in Abstraction Space¶
Nine-Point Conic sits in a sparse region of the domain-specific corpus (72nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Algebraic Geometry & Bundle Structure (14 abstractions)
Nearest neighbors
- Uniform space — 0.84
- Metric dimension (graph theory) — 0.84
- Rhombus — 0.84
- Algebraic stack — 0.84
- Linear fractional transformation — 0.84
Computed from structural-signature embeddings · 2026-09-08