In geometry, two diameters of a conic section are said to be conjugate if each chord parallel to one diameter is bisected by the other diameter. For example, two diameters of a circle are conjugate if and only if they are perpendicular.
For an ellipse, two diameters are conjugate if and only if the tangent line to the ellipse at an endpoint of one diameter is parallel to the other diameter. Each pair of conjugate diameters of an ellipse has a corresponding tangent parallelogram, sometimes called a bounding parallelogram (skewed compared to a bounding rectangle). In his manuscript De motu corporum in gyrum, and in the 'Principia', Isaac Newton cites as a lemma proved by previous authors that all (bounding) parallelograms for a given ellipse have the same area.
It is possible to reconstruct an ellipse from any pair of conjugate diameters, or from any bounding parallelogram. For example, in proposition 14 of Book VIII of his Collection, Pappus of Alexandria gives a method for constructing the axes of an ellipse from a given pair of conjugate diameters. Another method is using Rytz's construction, which takes advantage of the Thales’ theorem for finding the directions and lengths of the major and minor axes of an ellipse regardless of its rotation or shearing.
Similar to the elliptic case, diameters of a hyperbola are conjugate when each bisects all chords parallel to the other. In this case both the hyperbola and its conjugate are sources for the chords and diameters.
In the case of a rectangular hyperbola, its conjugate is the reflection across an asymptote. A diameter of one hyperbola is conjugate to its reflection in the asymptote, which is a diameter of the other hyperbola. As perpendicularity is the relation of conjugate diameters of a circle, so hyperbolic orthogonality is the relation of conjugate diameters of rectangular hyperbolas.
Conjugate diameters of hyperbolas are also useful for stating the principle of relativity in the modern physics of spacetime. The concept of relativity is first introduced in a plane consisting of a single dimension in space, the second dimension being time. In such a plane, one hyperbola corresponds to events a constant space-like interval from the origin event, the other hyperbola corresponds to events a constant time-like interval from it. The principle of relativity can be formulated "Any pair of conjugate diameters of conjugate hyperbolas can be taken for the axes of space and time". This interpretation of relativity was enunciated by E. T. Whittaker in 1910.
- Barry Spain (1957) Analytical Conics, page 49, from Hathi Trust
- Osgood, William F. & Graustein, William C. (1921). Plane and solid analytic geometry. The Macmillan Company. p. 307.
- * Whittaker, E.T. (1910), 1. Edition: A History of the theories of aether and electricity, Dublin: Longman, Green and Co., p. 441 External link in
- ‹See Tfm› Conjugate Diameters of Ellipse at PlanetMath.org.
- Conjugate Diameters in Ellipse at cut-the-knot.org.
- W. H. Besant (1895) Conic sections treated geometrically, page 109 "Properties of Conjugate Diameters", from Cornell University Historical Math Monographs.
- Michel Chasles (1865) Traité des sectiones-coniques, Diamètres conjugués, pp 116–23, Gauthier-Villars, from University of Michigan.
- William Kingdon Clifford (1878) Elements of Dynamic, page 90, London: MacMillan & Co; on-line presentation by Cornell University Historical Math Monographs.
- H. S. M. Coxeter (1955) The Real Projective Plane, 2nd ed., pp 130–5, Cambridge University Press.
- George Salmon (1900) A Treatise on Conic Sections, page 165, London: Longmans, Green & Co..