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.

Version: v1 · 2026-08-30 · History
Domain-specific #: 2377
Origin domain: mathematics
Subdomain: Euclidean and projective geometry
Aliases: Bôcher nine-point conic

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. ^[1]

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.

The operative boundary is exact: The complete-quadrangle midpoint-and-diagonal conic construction remains uncovered. The abstraction is therefore not the topic named by its field, but the reusable role structure specified below.

Structural Signature¶

Sig role-phrases:

the four vertices — a nondegenerate complete quadrangle
the six side segments — all pairs of vertices and their affine midpoints
the three opposite-side pairs — the pairing that defines diagonal intersections
the three diagonal points — intersections of opposite side lines
the nine incidence points — six midpoints plus three diagonal points
the conic — the second-degree locus through the nine points
the affine structure — midpoints and ellipse/hyperbola type depend on the line at infinity
the special cases — the nine-point circle and equilateral-hyperbola configurations

Recognition test. A case qualifies only when its roles can be mapped to the declared the four vertices, the six side segments, the three opposite-side pairs, the three diagonal points, and when the characteristic boundary conditions are preserved. Surface vocabulary or a loose analogy is insufficient.

What It Is Not¶

Not always a circle. The classical nine-point circle is a special case.
Not determined by arbitrary nine points. The nine incidences arise from one complete quadrangle and are highly constrained.
Not purely projective without extra structure. Midpoints require an affine choice or a line at infinity.
Not the nine-point hyperbola only. Ellipse, hyperbola, and degenerate boundary behavior depend on configuration.
Not a conic through the four vertices. The defining nine points are midpoints and diagonal points.
Not a numerical nine-point approximation. The name denotes exact incidence geometry.

Scope of Application¶

The abstraction has a bounded but recurring habitat. These are literal applications of the same domain machinery, not cross-domain metaphors. ^[2]

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.

A useful audit proceeds in order: identify the candidate roles, verify their types and quantifiers, apply the recognition test, and then test every stated exclusion. If a case supplies only the broad parent pattern while dropping the domain accent, it is not Nine-Point Conic.

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.

The reasoning pattern is deliberately typed: definitions establish identity, calculations or constructions establish consequences, and empirical or institutional evidence establishes whether a real case instantiates the roles. One kind of support cannot silently substitute for another.

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.

Examples¶

Canonical: the nine-point circle¶

Let ABC be a triangle and choose P as its orthocenter H. The six midpoint points are the side midpoints of ABC and the midpoints of HA, HB, and HC. The three diagonal points become the feet of the altitudes. These nine points lie on the classical nine-point circle, showing the circle as the orthocenter specialization of Bôcher's conic. ^[1]

Mapped back: the four vertices; the six side segments; the three diagonal points; the nine incidence points; the special cases.

Applied / In Practice: dynamic-geometry verification¶

Construct four generic points, all six connecting lines, the six segment midpoints, and the three intersections of opposite sides. Fit a conic through five of the points and test the remaining four incidences. Moving the fourth vertex illustrates how the locus changes type while the nine-point condition persists, but a computer display is evidence for discovery rather than a proof unless the algebraic incidence is established. ^[2]

Mapped back: the affine structure; the nine incidence points; the conic; the special cases.

Structural Tensions¶

T1: Projective incidence versus affine midpoint. Complete quadrangles are projective objects, while midpoint selection depends on affine structure. Diagnostic: Which statements survive a general projective transformation?

T2: Generic theorem versus degenerate configuration. Moving vertices can send diagonal points to infinity or collapse the conic. Diagnostic: Have nondegeneracy conditions been checked?

T3: Circle familiarity versus conic generality. The famous orthocenter case can obscure the wider ellipse and hyperbola family. Diagnostic: Is circularity proved or merely inferred from the name?

T4: Visual evidence versus proof. Dynamic geometry reveals the pattern but finite screen precision cannot establish exact incidence. Diagnostic: What symbolic or synthetic argument supports the locus?

T5: Nine constraints versus conic degrees of freedom. A conic is normally fixed by five points, so the remaining incidences express the theorem's real content. Diagnostic: Which construction dependencies force the extra four points?

T6: Domain autonomy vs prime reduction. Incidence, midpoint, and locus are portable geometric ideas, but their complete-quadrangle configuration defines this named conic. Diagnostic: Would removing the six-plus-three point construction leave the same object? If not, retain the domain node.

Structural–Framed Character¶

The five-criterion aggregate is 0.05 (structural). The classification is reasoned rather than cosmetic:

Vocabulary travels — structural (0.25). The operative vocabulary retains the home-domain types named in the Structural Signature even when a thinner parent pattern travels.
Evaluative weight — structural (0.00). The score records whether applying the abstraction requires a normative or interpretive judgment in addition to structural recognition.
Institutional origin — structural (0.00). The score records whether the abstraction is constituted by a scholarly, legal, technical, or administrative convention rather than merely discovered in nature.
Human-practice bound — structural (0.00). The score records how far the named roles depend on a human practice, measurement regime, language, or institution.
Import versus recognize — structural (0.00). Beyond its home habitat, use of the name increasingly becomes import by analogy rather than recognition of the same mechanism.

The portable skeleton is: a constrained configuration generates more incidences on one low-degree locus than generic degrees of freedom would predict. That skeleton belongs to the related parent abstractions; it does not make the fully accented node a prime. Its character: structural, with a real structural core whose recognition remains bounded by domain-specific types and validity conditions.

Structural Core vs. Domain Accent¶

This section decides why Nine-Point Conic is a domain-specific abstraction rather than a prime.

Structural core: A constrained configuration generates more incidences on one low-degree locus than generic degrees of freedom would predict. This relational skeleton can recur outside the home domain and is the part legitimately carried by broader primes.

Domain accent: Complete quadrangles, opposite sides, affine midpoints, conics, triangle orthocenters, and ellipse/hyperbola cases. Remove those types and constraints and the result may still resemble the skeleton, but it is no longer recognized as this named abstraction.

Why it does not clear the prime bar: The incidence skeleton travels under geometry abstractions; the named object is exactly the nine-point quadrangle configuration. Cross-domain transfer is therefore routed through the parents, while the named entry remains available for precise in-domain diagnosis.

Carlyle Circle. is another special conic construction but encodes quadratic roots.
Coaxiality. relates circle systems rather than the defining quadrangle.
Cardinality. explains the count nine but none of the geometry.

These are prose relations only. They do not create structured DAG edges, and placement must still pass the live endpoint, redundancy, and cycle checks recorded in the bundle's placement memo.

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 (72^nd 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

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Nine-point circle. the orthocenter specialization. Tell: Is the conic proved to be a circle?
Nine-point hyperbola. a hyperbolic specialization associated with particular fourth-point positions. Tell: What configuration fixes the conic type?
Complete quadrilateral. four lines and their six intersection points, dual terminology to a complete quadrangle. Tell: Are the primitives four points or four lines?
Circumconic. a conic through a triangle's vertices. Tell: Does the conic pass through vertices or through midpoints and diagonal points?
Conic through five points. the generic determination theorem. Tell: What construction forces the four additional incidences?

References¶

[1] Maxime Bôcher, “On a Nine-Point Conic”, Annals of Mathematics 6(5) (1892). registry ↩a ↩b

[2] Michael de Villiers, “The Nine-Point Conic: A Rediscovery and Proof by Computer”, International Journal of Mathematical Education in Science and Technology 37(1) (2006), 7–14. registry ↩a ↩b