Polar curve

From Wikipedia, the free encyclopedia
Jump to: navigation, search
This article is about a concept in algebraic geometry. For concept in aviation that goes by that name, see Polar curve (aviation). For curves given in polar coordinates, see Polar coordinate system § Polar equation of a curve.
The elliptic curve E : 4Y2Z = X3 − XZ2 in blue, and its polar curve (E) : 4Y2 = 2.7X2 − 2XZ − 0.9Z2 for the point Q = (0.9, 0) in red. The black lines show the tangents to E at the intersection points of E and its first polar with respect to Q meeting at Q.

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.

Definition[edit]

Let C be defined in homogeneous coordinates by f(x, y, z) = 0 where f is a homogeneous polynomial of degree n, and let the homogeneous coordinates of Q be (a, b, c). Define the operator

Then ΔQf is a homogeneous polynomial of degree n−1 and ΔQf(x, y, z) = 0 defines a curve of degree n−1 called the first polar of C with respect of Q.

If P=(pqr) is a non-singular point on the curve C then the equation of the tangent at P is

In particular, P is on the intersection of C and its first polar with respect to Q if and only if Q is on the tangent to C at P. Note also that for a double point of C, the partial derivatives of f are all 0 so the first polar contains these points as well.

Class of a curve[edit]

The class of C may be defined as the number of tangents that may be drawn to C from a point not on C (counting multiplicities and including imaginary tangents). Each of these tangents touches C at one of the points of intersection of C and the first polar, and by Bézout's theorem there are at most n(n−1) of these. This puts an upper bound of n(n−1) on the class of a curve of degree n. The class may be computed exactly by counting the number and type of singular points on C (see Plücker formula).

Higher polars[edit]

The p-th polar of a C for a natural number p is defined as ΔQpf(x, y, z) = 0. This is a curve of degree np. When p is n−1 the p-th polar is a line called the polar line of C with respect to Q. Similarly, when p is n−2 the curve is called the polar conic of C.

Using Taylor series in several variables and exploiting homogeneity, fap, λbq, λcr) can be expanded in two ways as

and

Comparing coefficients of λpμnp shows that

In particular, the p-th polar of C with respect to Q is the locus of points P so that the (np)-th polar of C with respect to P passes through Q.[1]

Poles[edit]

If the polar line of C with respect to a point Q is a line L, the Q is said to be a pole of L. A given line has (n−1)2 poles (counting multiplicities etc.) where n is the degree of C. So see this, pick two points P and Q on L. The locus of points whose polar lines pass through P is the first polar of P and this is a curve of degree n1. Similarly, the locus of points whose polar lines pass through Q is the first polar of Q and this is also a curve of degree n1. The polar line of a point is L if and only if it contains both P and Q, so the poles of L are exactly the points of intersection of the two first polars. By Bézout's theorem these curves have (n−1)2 points of intersection and these are the poles of L.[2]

The Hessian[edit]

For a given point Q=(abc), the polar conic is the locus of points P so that Q is on the second polar of P. In other words, the equation of the polar conic is

The conic is degenerate if and only if the determinant of the Hessian of f,

vanishes. Therefore, the equation |H(f)|=0 defines a curve, the locus of points whose polar conics are degenerate, of degree 3(n2) called the Hessian curve of C.

See also[edit]

References[edit]

  1. ^ Follows Salmon pp. 49-50 but essentially the same argument with different notation is given in Basset pp. 16-17.
  2. ^ Basset p. 20, Salmon p. 51