Conjugate Diameters¶
A conic-indexed symmetric relation that pairs distinct diameter directions when each bisects real chords parallel to the other, equivalently when their quadratic-form pairing is zero.
Core Idea¶
Conjugate diameters is a relation between distinct directions through the centre of a declared real ellipse or hyperbola.[1] One direction bisects real chords parallel to the other, and the bisection works in reverse.[1] The rule selects eligible pairs; a single pair is an instance of the relation, not its definition. Lehmer also expresses the pairing projectively: each diameter is the polar of the other's point at infinity.[1]
For a centered conic \(q(x)=x^{\mathsf T}Ax=1\), use the symmetric form \(B(u,v)=u^{\mathsf T}Av\). On distinct non-asymptotic directions, \(B(u,v)=0\) is the algebraic membership test. The midpoint calculation follows by expanding \(q(m+tu)\): the two real intersections have parameter mean \(-B(m,u)/q(u)\), so their midpoint lies on the partner line exactly when \(B(u,v)=0\).[1] Symmetry of \(B\) makes the relation symmetric. The conic form, not the ordinary Euclidean angle, determines the pairing.
Scope of Application¶
The declared curve must be a real nonsingular ellipse or hyperbola with a finite centre and real chords.[1] A parabola does not supply this proper central-diameter pair.[1] The chord test concerns lines with two real intersections; it is not a claim that every parallel line meets the curve. In a hyperbola, a conjugate direction can meet the conjugate hyperbola instead of the original curve.[1][2] Null asymptote self-pairs are excluded from this distinct-direction relation.[1]
Derived geometric consequences.
For one fixed ellipse, Besant states that the tangents at a conjugate pair's four endpoints form equal-area parallelograms.[2] If \(q(a)=q(b)=1\) and \(B(a,b)=0\), direct calculation gives area \(4|\det[a\ b]|=4/\sqrt{\det A}\), the rectangle on the full principal axes. Four unlabeled tangent sides alone do not uniquely specify an ellipse: the ellipses \((x^2-2txy+y^2)/(1-t^2)=1\) for \(|t|<1\) all touch the same square \(|x|\leq1,|y|\leq1\).
The endpoint vectors parametrize the ellipse as \(a\cos t+b\sin t\). On a hyperbola, take \(q(a)=1\), \(q(b)=-1\), \(B(a,b)=0\); then \(a\cosh t+b\sinh t\) covers the branch through \(a\), and its negative covers the opposite branch. These formulas follow by substitution and require the endpoint and sign conditions. For a rectangular hyperbola \(x^2-y^2=1\), reflection in \(y=x\) exchanges it with its conjugate and sends each non-asymptotic direction to a conjugate one: \(q(y,x)=-q(x,y)\) and \(B((x,y),(y,x))=0\). This reflection is special to the rectangular case.
Lehmer gives the general involution separation criterion and identifies conjugate diameters as an involution with hyperbola asymptotes as its double rays.[1] Combining those results with the absence of real ellipse asymptotes yields this deduction: in projective cyclic order, two conjugate pairs with four distinct directions interleave for an ellipse and do not interleave for a hyperbola. Identical, reversed or overlapping pairs are outside the four-point comparison.
Derived constructions using conjugacy. Given an ellipse centre and two specified, nonparallel conjugate semidiameter endpoint vectors \(a,b\), including their positions and lengths, with \(q(a)=q(b)=1\) and \(B(a,b)=0\), the principal axes can be reconstructed. If \(M=[a\ b]\), then \(M^{\mathsf T}AM=I\), so \(A=M^{-\mathsf T}M^{-1}\). Diagonalizing this positive-definite \(A\) gives the axis directions; its eigenvalues \(\lambda_1,\lambda_2\) give semiaxis lengths \(1/\sqrt{\lambda_1},1/\sqrt{\lambda_2}\). For \(a=(2,0)\) and \(b=(1,1)\), \(A=\left(\begin{smallmatrix}1/4&-1/4\\-1/4&5/4\end{smallmatrix}\right)\), and direct substitution checks both endpoint equations and conjugacy. This matrix proof is a modern reconstruction derived from the relation, not the historical geometric construction itself. Pappus gives an axis construction from a conjugate pair in Book VIII §XVII; Mossbrugger's 1845 construction uses the given diameters' positions and lengths and credits Rytz.[3][4] An unlabeled tangent square is insufficient, as the ellipse family above demonstrates. If the ellipse is a circle, its semiaxis lengths are determined but principal-axis orientation is not unique.
For a centered hyperbola \(q(x)=B(x,x)=1\) of signature \((1,1)\), take a point \(Q\) on its real locus and a nonzero tangent direction \(u\) at \(Q\). Tangency means \(B(Q,u)=0\). In this signature \(q(u)<0\), so \(E=u/\sqrt{-q(u)}\) lies on the conjugate hyperbola \(q(E)=-1\) and \(B(Q,E)=0\). By symmetry, the tangent at \(E\) is parallel to the centre line \(OQ\). For \(q(x,y)=x^2-y^2\), \(Q=(\cosh t,\sinh t)\) and \(u=(\sinh t,\cosh t)\) give \(q(u)=-1\) and \(E=u\). This is a derived coordinate construction of a conjugate partner; \(\pm E\) give the same direction. It assumes a nonzero tangent on the original real hyperbola and does not transfer the ellipse's four-endpoint tangent parallelogram to the original hyperbola. No historical Apollonius wording is inferred from this calculation.
Clarity¶
Name the conic and two centre directions, then compute \(B(u,v)\). Zero selects a conjugate pair; a nonzero value rejects it. The selected directions must be distinct and non-asymptotic. Real-chord midpoint claims need actual two-endpoint chords. The circle reduces this test to ordinary perpendicularity, but a noncircular ellipse need not.[1]
Manages Complexity¶
A single bilinear test summarizes infinitely many eligible chord families for one conic. It also keeps a hyperbola's valid partner direction from being rejected merely because that centre line has no endpoints on the original real branch. Besant's treatment pairs the hyperbola with its conjugate hyperbola.[2]
Abstract Reasoning¶
Fix an eligible non-null direction \(u\) and solve \(B(u,v)=0\). A nonsingular two-dimensional form gives one partner direction up to scale. If \(u\) is a null hyperbolic asymptote, its orthogonal complement is its own line, so it fails this entry's distinct-pair boundary. The result is a strict instance of Symmetric relation: for each eligible conic, reversing a related pair preserves membership; the bilinear-zero and reciprocal chord-bisection tests distinguish this relation from other symmetric relations.
Knowledge Transfer¶
The same membership calculation works for an ellipse and a hyperbola, although an ellipse's form is positive definite and a hyperbola's is indefinite. Reciprocal bisection transfers to existing real chords in each case.[1][2] A four-tangent parallelogram using endpoints on the original ellipse does not transfer as a universal hyperbola picture, since a hyperbola partner may meet only its conjugate curve.[1][2]
Examples¶
Skew ellipse pair. For \(x^2/4+y^2=1\), take \(u=(1,1/2)\) and \(v=(-2,1)\). Here \(B(u,v)=(-2)/4+(1/2)(1)=0\), while \(u\cdot v=-3/2\). Both centre lines meet the real ellipse. This checked coordinate example illustrates Lehmer's geometric relation, rather than reproducing a historical diagram.[1] Mapped back: the ellipse is the carrier, \(u\) and \(v\) are distinct directions, zero bilinear pairing selects the pair, and reciprocal chord bisection follows.
Hyperbola pair. For \(x^2-y^2=1\), take \(u=(2,1)\) and \(v=(1,2)\). Then \(B(u,v)=2-2=0\), while \(q(u)=3\) and \(q(v)=-3\). The first centre line meets the original hyperbola; the second meets \(y^2-x^2=1\), its conjugate hyperbola. This is a checked coordinate example of the historical rule.[1][2] Mapped back: the declared hyperbola supplies the form, the directions pass the distinct/non-asymptotic and zero-pairing tests, and only existing real chords carry midpoint claims.
Relationships to Other Abstractions¶
Current abstraction Conjugate Diameters Domain-specific
Parents (1) — outgoing typed relations
-
Conjugate Diameters is a kind of Symmetric relation Domain-specific
For each eligible real central conic, conjugacy is a symmetric binary relation on its non-asymptotic diameter directions, distinguished by bilinear-zero pairing and reciprocal real-chord bisection.
Condition / exception The article restricts to distinct non-asymptotic directions of real central conics with a nonempty one-dimensional real locus; null asymptote self-pairs are a projective boundary, not members of R_C.
Hierarchy path (1) — routes to 1 parentless root
- Conjugate Diameters → is a kind of Symmetric relation → is a kind of Relation
Neighborhood in Abstraction Space¶
Conjugate Diameters sits in a sparse region of the domain-specific corpus (79th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (2769 abstractions)
Nearest neighbors
- Circular arc — 0.83
- Vertex (curve) — 0.83
- Nine-Point Conic — 0.83
- Ellipse — 0.83
- Laguerre Formula — 0.82
Computed from structural-signature embeddings · 2026-10-25
Not to Be Confused With¶
Ellipse is one carrier, not the relation. Pole and polar is a wider point-line correspondence, while Conjugate diameters selects centre-direction pairs under the declared conic.[1] Ordinary perpendicular diameters agree only in the circle case.[1] Axis reconstruction is a separate procedure. The broader Prime Duality has a two-side structural signature that these conic examples do not establish.
References¶
[1] Derrick Norman Lehmer. An Elementary Course in Synthetic Projective Geometry. Ginn and Company, 1917, printed pp. 62–64, §§107–115; pp. 85–86, §§143–144; and p. 89, §148. Original geometry textbook; Project Gutenberg full-text transcription. https://www.gutenberg.org/files/17001/17001-h/17001-h.htm registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p
[2] William Henry Besant. Conic Sections: Treated Geometrically. George Bell and Sons, 1895, printed p. 73, art. 87, and pp. 108–109, art. 123. Original geometry text; Project Gutenberg re-typeset transcription of Cornell source images. https://gutenberg.org/files/29913/29913-pdf.pdf registry ↩a ↩b ↩c ↩d ↩e ↩f
[3] Pappus. Collection, Book VIII, §XVII, in Friedrich Hultsch, ed., Pappi Alexandrini Collectionis quae supersunt, vol. 3, 1878, printed p. 1083. Original Greek and Latin edition, consulted at https://www.wilbourhall.org/pdfs/collection/Hultsch_1876_Pappos-3-1_S.pdf. The edition's §XIV begins a different construction; no unqualified proposition-14 locator is used here. registry ↩
[4] Leopold Mossbrugger. Grösstentheils neue Aufgaben aus dem Gebiete der Géométrie descriptive. Zürich: Meyer und Zeller, 1845, printed pp. 123–125. Original text and figure; p. 125 credits Professor Rytz with the ellipse-axis construction from two given conjugate diameters. https://doi.org/10.3931/e-rara-54897 registry ↩