Pole and polar

Last updated
The polar line q to a point Q with respect to a circle of radius r centered on the point O. The point P is the inversion point of Q; the polar is the line through P that is perpendicular to the line containing O, P and Q. Pole and polar.svg
The polar line q to a point Q with respect to a circle of radius r centered on the point O. The point P is the inversion point of Q; the polar is the line through P that is perpendicular to the line containing O, P and Q.

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.

Contents

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.

Properties

Pole and polar have several useful properties:

Special case of circles

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.

If a point A lies on the polar line q of another point Q, then Q lies on the polar line a of A. More generally, the polars of all the points on the line q must pass through its pole Q. Conjugate points and lines.svg
If a point A lies on the polar line q of another point Q, then Q lies on the polar line a of A. More generally, the polars of all the points on the line q must pass through its pole Q.

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.

Polar reciprocation

Illustration of the duality between points and lines, and the double meaning of "incidence". If two lines a and k pass through a single point Q, then the polar q of Q joins the poles A and K of the lines a and k, respectively. Incidence poles polars.svg
Illustration of the duality between points and lines, and the double meaning of "incidence". If two lines a and k pass through a single point Q, then the polar q of Q joins the poles A and K of the lines a and k, respectively.

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]

General conic sections

Line p is the polar line to point P, l to L and m to M Pool poollijn.svg
Line p is the polar line to point P, l to L and m to M
p is the polar line to point P ; m is the polar line to M Pool poollijn eig.svg
p is the polar line to point P ; m is the polar line to M

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.

Calculating the polar of a point

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 (ξ, η)

Calculating the pole of a line

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

Tables for pole-polar relations

conicequationpolar of point
circle
ellipse
hyperbola
parabola


conicequationpole of line u x + v y = w
circle
ellipse
hyperbola
parabola

Via complete quadrangle

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 with Z 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]

Applications

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.

See also

Bibliography

Related Research Articles

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.

<span class="mw-page-title-main">Ellipse</span> Plane curve: conic section

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 .

<span class="mw-page-title-main">Hyperbola</span> Plane curve: conic section

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.

<span class="mw-page-title-main">Parabola</span> Plane curve: conic section

In mathematics, a parabola (/pɛər’əbəʊlə/) 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.

<span class="mw-page-title-main">Sphere</span> Set of points equidistant from a center

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.

<span class="mw-page-title-main">Stereographic projection</span> Particular mapping that projects a sphere onto a plane

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.

<span class="mw-page-title-main">Ellipsoid</span> Quadric surface that looks like a deformed sphere

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.

<span class="mw-page-title-main">Nine-point circle</span> Circle constructed from a triangle

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.

<span class="mw-page-title-main">Hopf fibration</span> Fiber bundle of the 3-sphere over the 2-sphere, with 1-spheres as fibers

In the mathematical field of differential topology, the Hopf fibration describes a 3-sphere in terms of circles and an ordinary sphere. Discovered by Heinz Hopf in 1931, it is an influential early example of a fiber bundle. Technically, Hopf found a many-to-one continuous function from the 3-sphere onto the 2-sphere such that each distinct point of the 2-sphere is mapped from a distinct great circle of the 3-sphere. Thus the 3-sphere is composed of fibers, where each fiber is a circle — one for each point of the 2-sphere.

<span class="mw-page-title-main">Pedal curve</span> Curve generated by the projections of a fixed point on the tangents of another curve

In mathematics, a pedal curve of a given curve results from the orthogonal projection of a fixed point on the tangent lines of this curve. More precisely, for a plane curve C and a given fixed pedal pointP, the pedal curve of C is the locus of points X so that the line PX is perpendicular to a tangent T to the curve passing through the point X. Conversely, at any point R on the curve C, let T be the tangent line at that point R; then there is a unique point X on the tangent T which forms with the pedal point P a line perpendicular to the tangent T – the pedal curve is the set of such points X, called the foot of the perpendicular to the tangent T from the fixed point P, as the variable point R ranges over the curve C.

<span class="mw-page-title-main">Osculating circle</span> Circle of immediate corresponding curvature of a curve at a point

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.

<span class="mw-page-title-main">Radical axis</span> All points whose relative distances to two circles are same

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:

<span class="mw-page-title-main">Dual curve</span> Curve in the dual projective plane made from all lines tangent to a given curve

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.

<span class="mw-page-title-main">Polar curve</span>

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.

<span class="mw-page-title-main">Projective harmonic conjugate</span> Point found separated from another, given a point pair

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:

<span class="mw-page-title-main">Conic section</span> Curve from a cone intersecting a plane

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 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.

References

  1. Edwards, Lawrence; Projective Geometry, 2nd Edn, Floris (2003). pp. 125-6.
  2. G. B. Halsted (1906) Synthetic Projective Geometry, page 25 via Internet Archive
  3. "Apollonius' Problem: A Study of Solutions and Their Connections" (PDF). Retrieved 2013-06-04.
  4. John Alexiou Thesis, Chapter 5, pp. 80–108 Archived 2011-07-19 at the Wayback Machine