Pole and polar

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

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:

  • If a point P lies on the line l, then the pole L of the line l lies on the polar p of point P.
  • If a point P moves along a line l, its polar p rotates about the pole L of the line l.
  • If two tangent lines can be drawn from a pole to the conic section, then its polar passes through both tangent points.
  • If a point lies on the conic section, its polar is the tangent through this point to the conic section.
  • If a point P lies on its own polar line, then P is on the conic section.
  • Each line has, with respect to a non-degenerated conic section, exactly one pole.

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.

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

Main page: Correlation (projective geometry)
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
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

[math]\displaystyle{ A_{xx} x^2 + 2 A_{xy} xy + A_{yy} y^2 + 2 B_{x} x + 2 B_{y} y + C = 0 }[/math]

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

[math]\displaystyle{ D x + E y + F = 0\, }[/math]

where D, E and F are likewise constants that depend on the pole coordinates (ξ, η)

[math]\displaystyle{ \begin{align} D &= A_{xx} \xi + A_{xy} \eta + B_{x} \\ E &= A_{xy} \xi + A_{yy} \eta + B_{y} \\ F &= B_{x} \xi + B_{y} \eta + C \end{align} }[/math]

Calculating the pole of a line

The pole of the line [math]\displaystyle{ D x + E y + F = 0 }[/math], relative to the non-degenerated conic section [math]\displaystyle{ A_{xx} x^{2} + 2 A_{xy} xy + A_{yy} y^{2} + 2 B_{x} x + 2 B_{y} y + C = 0 }[/math] can be calculated in two steps.

First, calculate the numbers x, y and z from

[math]\displaystyle{ \begin{bmatrix} x \\ y \\ z \end{bmatrix} = \begin{bmatrix} A_{xx} & A_{xy} & B_{x} \\ A_{xy} & A_{yy} & B_{y} \\ B_{x} & B_{y} & C \end{bmatrix}^{-1} \begin{bmatrix} D \\ E \\ F \end{bmatrix} }[/math]

Now, the pole is the point with coordinates [math]\displaystyle{ \left( \frac{x}{z} , \frac{y}{z} \right) }[/math]

Tables for pole-polar relations

conic equation polar of point [math]\displaystyle{ P = (x_0,y_0) }[/math]
circle [math]\displaystyle{ x^2 + y^2 = r^2 }[/math] [math]\displaystyle{ x_0 x + y_0 y = r^2 }[/math]
ellipse [math]\displaystyle{ \left(\frac{ x } { a }\right)^2 + \left(\frac{ y } { b }\right)^2 = 1 }[/math] [math]\displaystyle{ \frac{ x_0 x } { a^2 } + \frac{ y_0 y } { b^2 } = 1 }[/math]
hyperbola [math]\displaystyle{ \left(\frac{ x } { a }\right)^2 - \left(\frac{ y } { b }\right)^2 = 1 }[/math] [math]\displaystyle{ \frac{ x_0 x } { a^2 } - \frac{ y_0 y } { b^2 } = 1 }[/math]
parabola [math]\displaystyle{ y = a x^2 }[/math] [math]\displaystyle{ y+y_0 = 2ax_0x }[/math]


conic equation pole of line u x + v y = w
circle [math]\displaystyle{ x^2 +y^2 = r^2 }[/math] [math]\displaystyle{ \left( \frac{ r^2 u } { w }, \; \frac{ r^2 v } { w } \right) }[/math]
ellipse [math]\displaystyle{ \left(\frac{ x } { a }\right)^2 + \left(\frac{ y } { b }\right)^2 = 1 }[/math] [math]\displaystyle{ \left( \frac{ a^2 u } { w }, \; \frac{ b^2 v } { w } \right) }[/math]
hyperbola [math]\displaystyle{ \left(\frac{ x } { a }\right)^2 - \left(\frac{ y } { b }\right)^2 = 1 }[/math] [math]\displaystyle{ \left( \frac{ a^2 u } { w }, \; -\frac{ b^2 v } { w } \right) }[/math]
parabola [math]\displaystyle{ y = a x^2 }[/math] [math]\displaystyle{ \left( -\frac{ u} { 2av }, \; -\frac{ w} { v } \right) }[/math]

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

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". http://www.ajur.uni.edu/v3n1/Gisch%20and%20Ribando.pdf. Retrieved 2013-06-04. 
  4. John Alexiou Thesis, Chapter 5, pp. 80–108

External links