In
geometryGeometry arose as the field of knowledge dealing with spatial relationships. Geometry was one of the two fields of pre-modern mathematics, the other being the study of numbers ....
, two
diameterIn geometry, a diameter of a circle is any straight line segment that passes through the center of the circle and whose endpoints are on the circle. The diameters are the longest chords of the circle...
s of a
conic sectionIn mathematics, a conic section is a curve obtained by intersecting a cone with a plane. In analytic geometry, a conic may be defined as a plane algebraic curve of degree 2...
are said to be
conjugate if each
chordA chord of a circle is a geometric line segment whose endpoints both lie on the circumference of the circle.A secant or a secant line is the line extension of a chord. More generally, a chord is a line segment joining two points on any curve, such as but not limited to an ellipse...
parallelParallelism is a term in geometry and in everyday life that refers to a property in Euclidean space of two or more lines or planes, or a combination of these. The assumed existence and properties of parallel lines are the basis of Euclid's parallel postulate. Two lines in a plane that do not...
to one diameter is
bisectedIn geometry, bisection is the division of something into two equal or congruent parts, usually by a line, which is then called a bisector. The most often considered types of bisectors are the segment bisector and the angle bisector In geometry, bisection is the division of something into two equal...
by the other diameter. For example, two diameters of a
circleA circle is a simple shape of Euclidean geometry consisting of those points in a plane that are a given distance from a given point, the centre. The distance between any of the points and the centre is called the radius....
are conjugate if and only if they are
perpendicularIn geometry, two lines or planes are considered perpendicular to each other if they form congruent adjacent angles . The term may be used as a noun or adjective...
.
For an
ellipseIn geometry, an ellipse is a plane curve that results from the intersection of a cone by a plane in a way that produces a closed curve. Circles are special cases of ellipses, obtained when the cutting plane is orthogonal to the cone's axis...
, two diameters are conjugate if and only if the tangent line to the ellipse at one endpoint of a diameter is parallel to the tangent at the second endpoint. Each pair of conjugate diameters of an ellipse has a corresponding tangent
parallelogramIn Euclidean geometry, a parallelogram is a convex quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equal measure...
, sometimes called the
bounding parallelogram. In his manuscript
De motu corporum in gyrumDe motu corporum in gyrum is the title of a manuscript by Isaac Newton sent to Edmond Halley in November 1684...
, and in the 'Principia',
Isaac NewtonSir Isaac Newton PRS was an English physicist, mathematician, astronomer, natural philosopher, alchemist, and theologian, who has been "considered by many to be the greatest and most influential scientist who ever lived."...
cites as a
lemmaIn mathematics, a lemma is a proven proposition which is used as a stepping stone to a larger result rather than as a statement in-and-of itself...
proved by previous authors that all (bounding) parallelograms for a given ellipse have the same
areaArea is a quantity that expresses the extent of a two-dimensional surface or shape in the plane. Area can be understood as the amount of material with a given thickness that would be necessary to fashion a model of the shape, or the amount of paint necessary to cover the surface with a single coat...
.
It is possible to reconstruct an ellipse from any pair of conjugate diameters, or from any bounding parallelogram. For example, in
propositionIn logic and philosophy, the term proposition refers to either the "content" or "meaning" of a meaningful declarative sentence or the pattern of symbols, marks, or sounds that make up a meaningful declarative sentence...
14 of Book VIII of his
Collection,
Pappus of AlexandriaPappus of Alexandria was one of the last great Greek mathematicians of Antiquity, known for his Synagoge or Collection , and for Pappus's Theorem in projective geometry...
gives a method for constructing the axes of an ellipse from a given pair of conjugate diameters.
Two
hyperbolaIn mathematics a hyperbola is a curve, specifically a smooth curve that lies in a plane, which can be defined either by its geometric properties or by the kinds of equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, which are mirror...
s are conjugate if they are images of each other in a
reflectionIn mathematics, a reflection is a mapping from a Euclidean space to itself that is an isometry with a hyperplane as set of fixed points; this set is called the axis or plane of reflection. The image of a figure by a reflection is its mirror image in the axis or plane of reflection...
across an
asymptoteIn analytic geometry, an asymptote of a curve is a line such that the distance between the curve and the line approaches zero as they tend to infinity. Some sources include the requirement that the curve may not cross the line infinitely often, but this is unusual for modern authors...
. A diameter of one hyperbola is conjugate to its reflection in the asymptote, which is a diameter of the other hyperbola. They are
hyperbolic-orthogonalIn plane geometry, two lines are hyperbolic orthogonal when they are reflections of each other over the asymptote of a given hyperbola.Two particular hyperbolas are frequently used in the plane: x y = 1 with y = 0 as asymptote.Two particular hyperbolas are frequently used in the plane: x y = 1 ...
to each other.
Conjugate diameters of hyperbolas are useful for stating the
principle of relativityIn physics, the principle of relativity is the requirement that the equations describing the laws of physics have the same form in all admissible frames of reference....
in the modern physics of
spacetimeIn physics, spacetime is any mathematical model that combines space and time into a single continuum. Spacetime is usually interpreted with space as being three-dimensional and time playing the role of a fourth dimension that is of a different sort from the spatial dimensions...
. 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
distanceDistance is a numerical description of how far apart objects are. In physics or everyday discussion, distance may refer to a physical length, or an estimation based on other criteria . In mathematics, a distance function or metric is a generalization of the concept of physical distance...
from the origin event, the other hyperbola corresponds to events a constant
proper timeIn relativity, proper time is the elapsed time between two events as measured by a clock that passes through both events. The proper time depends not only on the events but also on the motion of the clock between the events. An accelerated clock will measure a smaller elapsed time between two...
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. WhittakerEdmund Taylor Whittaker FRS FRSE was an English mathematician who contributed widely to applied mathematics, mathematical physics and the theory of special functions. He had a particular interest in numerical analysis, but also worked on celestial mechanics and the history of physics...
in 1910.