In geometry, a pole and polar are respectively a point and a line that have a unique reciprocal relationship with respect to a given conic section.
Polar reciprocation in a given circle is the transformation of each point in the plane into its polar line and each line in the plane into its pole.
Pole and polar have several useful properties:
The pole of a line L in a circle C is a point Q that is the inversion in C of the point P on L that is closest to the center of the circle. Conversely, the polar line (or polar) of a point Q in a circle C is the line L such that its closest point P to the center of the circle is the inversion of Q in C.
The relationship between poles and polars is reciprocal. Thus, if a point A lies on the polar line q of a point Q, then the point Q must lie on the polar line a of the point A. The two polar lines a and q need not be parallel.
There is another description of the polar line of a point P in the case that it lies outside the circle C. In this case, there are two lines through P which are tangent to the circle, and the polar of P is the line joining the two points of tangency (not shown here). This shows that pole and polar line are concepts in the projective geometry of the plane and generalize with any nonsingular conic in the place of the circle C.
The concepts of a pole and its polar line were advanced in projective geometry. For instance, the polar line can be viewed as the set of projective harmonic conjugates of a given point, the pole, with respect to a conic. The operation of replacing every point by its polar and vice versa is known as a polarity.
A polarity is a correlation that is also an involution.
For some point P and its polar p, any other point Q on p is the pole of a line q through P. This comprises a reciprocal relationship, and is one in which incidences are preserved. [1]
The concepts of pole, polar and reciprocation can be generalized from circles to other conic sections which are the ellipse, hyperbola and parabola. This generalization is possible because conic sections result from a reciprocation of a circle in another circle, and the properties involved, such as incidence and the cross-ratio, are preserved under all projective transformations.
A general conic section may be written as a second-degree equation in the Cartesian coordinates (x, y) of the plane
where Axx, Axy, Ayy, Bx, By, and C are the constants defining the equation. For such a conic section, the polar line to a given pole point (ξ, η) is defined by the equation
where D, E and F are likewise constants that depend on the pole coordinates (ξ, η)
The pole of the line , relative to the non-degenerated conic section can be calculated in two steps.
First, calculate the numbers x, y and z from
Now, the pole is the point with coordinates
conic | equation | polar of point |
---|---|---|
circle | ||
ellipse | ||
hyperbola | ||
parabola |
conic | equation | pole of line u x + v y = w |
---|---|---|
circle | ||
ellipse | ||
hyperbola | ||
parabola |
In projective geometry, two lines in a plane always intersect. Thus, given four points forming a complete quadrangle, the lines connecting the points cross in an additional three diagonal points.
Given a point Z not on conic C, draw two secants from Z through C crossing at points A, B, D, and E. Then these four points form a complete quadrangle, and Z is at one of the diagonal points. The line joining the other two diagonal points is the polar of Z, and Z is the pole of this line. [2]
Poles and polars were defined by Joseph Diaz Gergonne and play an important role in his solution of the problem of Apollonius. [3]
In planar dynamics a pole is a center of rotation, the polar is the force line of action and the conic is the mass–inertia matrix. [4] The pole–polar relationship is used to define the center of percussion of a planar rigid body. If the pole is the hinge point, then the polar is the percussion line of action as described in planar screw theory.
In mathematics, analytic geometry, also known as coordinate geometry or Cartesian geometry, is the study of geometry using a coordinate system. This contrasts with synthetic geometry.
In mathematics, an ellipse is a plane curve surrounding two focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. It generalizes a circle, which is the special type of ellipse in which the two focal points are the same. The elongation of an ellipse is measured by its eccentricity , a number ranging from to .
In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.
In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.
A sphere is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. Formally, a sphere is the set of points that are all at the same distance r from a given point in three-dimensional space. That given point is the center of the sphere, and r is the sphere's radius. The earliest known mentions of spheres appear in the work of the ancient Greek mathematicians.
In mathematics, a stereographic projection is a perspective projection of the sphere, through a specific point on the sphere, onto a plane perpendicular to the diameter through the point. It is a smooth, bijective function from the entire sphere except the center of projection to the entire plane. It maps circles on the sphere to circles or lines on the plane, and is conformal, meaning that it preserves angles at which curves meet and thus locally approximately preserves shapes. It is neither isometric nor equiareal.
An ellipsoid is a surface that can be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.
In geometry, the nine-point circle is a circle that can be constructed for any given triangle. It is so named because it passes through nine significant concyclic points defined from the triangle. These nine points are:
In mathematics, the matrix representation of conic sections permits the tools of linear algebra to be used in the study of conic sections. It provides easy ways to calculate a conic section's axis, vertices, tangents and the pole and polar relationship between points and lines of the plane determined by the conic. The technique does not require putting the equation of a conic section into a standard form, thus making it easier to investigate those conic sections whose axes are not parallel to the coordinate system.
In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicist Hendrik Lorentz.
An osculating circle is a circle that best approximates the curvature of a curve at a specific point. It is tangent to the curve at that point and has the same curvature as the curve at that point. The osculating circle provides a way to understand the local behavior of a curve and is commonly used in differential geometry and calculus.
In Euclidean geometry, the radical axis of two non-concentric circles is the set of points whose power with respect to the circles are equal. For this reason the radical axis is also called the power line or power bisector of the two circles. In detail:
In projective geometry, a dual curve of a given plane curve C is a curve in the dual projective plane consisting of the set of lines tangent to C. There is a map from a curve to its dual, sending each point to the point dual to its tangent line. If C is algebraic then so is its dual and the degree of the dual is known as the class of the original curve. The equation of the dual of C, given in line coordinates, is known as the tangential equation of C. Duality is an involution: the dual of the dual of C is the original curve C.
In algebraic geometry, the first polar, or simply polar of an algebraic plane curve C of degree n with respect to a point Q is an algebraic curve of degree n−1 which contains every point of C whose tangent line passes through Q. It is used to investigate the relationship between the curve and its dual, for example in the derivation of the Plücker formulas.
In Euclidean geometry, a circumconic is a conic section that passes through the three vertices of a triangle, and an inconic is a conic section inscribed in the sides, possibly extended, of a triangle.
In projective geometry, the harmonic conjugate point of a point on the real projective line with respect to two other points is defined by the following construction:
A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though it was sometimes called as a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties.
In geometry, the unit hyperbola is the set of points (x,y) in the Cartesian plane that satisfy the implicit equation In the study of indefinite orthogonal groups, the unit hyperbola forms the basis for an alternative radial length
In Euclidean and projective geometry, five points determine a conic, just as two (distinct) points determine a line. There are additional subtleties for conics that do not exist for lines, and thus the statement and its proof for conics are both more technical than for lines.
In Euclidean geometry, trilinear polarity is a certain correspondence between the points in the plane of a triangle not lying on the sides of the triangle and lines in the plane of the triangle not passing through the vertices of the triangle. "Although it is called a polarity, it is not really a polarity at all, for poles of concurrent lines are not collinear points." It was Jean-Victor Poncelet (1788–1867), a French engineer and mathematician, who introduced the idea of the trilinear polar of a point in 1865.