Pole, Polar and Conjugate Elements

1. Pole and Polar of a Conic Section

In analytical geometry, the concepts of pole and polar are fundamental when dealing with conic sections, particularly circles and ellipses. The polar of a point with respect to a conic is a line, and the pole of a line is a point. These concepts are closely related and provide powerful tools for analyzing geometric properties and solving problems related to conics.

1.1 Definition of Polar

The polar of a point P with respect to a conic section is the locus of points Q such that the line segment PQ is harmonically divided by the conic. In simpler terms, if a line through P intersects the conic at points A and B, and Q is a point on this line such that P, Q, A, and B form a harmonic range, then the locus of Q is the polar of P.

1.2 Definition of Pole

Conversely, the pole of a line L with respect to a conic section is the point P such that the polar of P is the line L.

1.3 Equation of the Polar

Let the equation of a conic section be given by S = ax² + 2hxy + by² + 2gx + 2fy + c = 0. If P(x₁, y₁) is a point, the equation of the polar of P with respect to the conic S = 0 is given by replacing x² with xx₁, y² with yy₁, 2xy with (xy₁ + yx₁), 2x with (x + x₁), and 2y with (y + y₁) in the equation of the conic. So, the equation of the polar of P(x₁, y₁) is: ax x₁ + h(xy₁ + yx₁) + by y₁ + g(x + x₁) + f(y + y₁) + c = 0

This equation can be rewritten in a more organized form:

x(ax₁ + hy₁ + g) + y(hx₁ + by₁ + f) + (gx₁ + fy₁ + c) = 0

1.4 Special Cases for the Polar

• If the point P(x₁, y₁) lies outside the conic, its polar is the chord of contact of tangents drawn from P to the conic.
• If the point P(x₁, y₁) lies on the conic, its polar is the tangent to the conic at P.
• If the point P(x₁, y₁) lies inside the conic, its polar is a line that does not intersect the conic.

1.5 Properties of Pole and Polar

• Reciprocity: If the polar of point P is line L, then the pole of line L is point P. This is a key property of reciprocity between points and lines with respect to a conic.
• Conjugate Points: Two points P and Q are said to be conjugate with respect to a conic if each lies on the polar of the other.
• Conjugate Lines: Two lines L and M are said to be conjugate with respect to a conic if the pole of L lies on M, and the pole of M lies on L.

Example: Find the polar of the point (2, 3) with respect to the circle x² + y² = 13.

Here, the equation of the circle is x² + y² - 13 = 0. Comparing with ax² + 2hxy + by² + 2gx + 2fy + c = 0, we have a=1, b=1, h=0, g=0, f=0, c=-13. The point is (x₁, y₁) = (2, 3). The equation of the polar is xx₁ + yy₁ - 13 = 0. Substituting x₁=2 and y₁=3, we get: 2x + 3y - 13 = 0. This is the equation of the polar of the point (2, 3).

Example: Find the pole of the line 3x + 4y - 5 = 0 with respect to the circle x² + y² = 1.

Let the pole be (x₁, y₁). The polar of (x₁, y₁) with respect to x² + y² - 1 = 0 is xx₁ + yy₁ - 1 = 0. This equation must be identical to the given line 3x + 4y - 5 = 0. Comparing the coefficients, we have: x₁ / 3 = y₁ / 4 = -1 / -5 x₁ / 3 = y₁ / 4 = 1/5 x₁ = 3/5 y₁ = 4/5 So, the pole of the line 3x + 4y - 5 = 0 is (3/5, 4/5).

2. Conjugate Elements of a Conic Section

The concepts of conjugate points and conjugate lines are direct extensions of the pole and polar relationships. They describe pairs of points or lines that are related in a special symmetric way with respect to a conic.

2.1 Conjugate Points

Two points P(x₁, y₁) and Q(x₂, y₂) are said to be conjugate with respect to a conic S = ax² + 2hxy + by² + 2gx + 2fy + c = 0 if P lies on the polar of Q, or equivalently, if Q lies on the polar of P.

The condition for P(x₁, y₁) and Q(x₂, y₂) to be conjugate is derived from the polar equation.

The polar of Q(x₂, y₂) is:

x(ax₂ + hy₂ + g) + y(hx₂ + by₂ + f) + (gx₂ + fy₂ + c) = 0

If P(x₁, y₁) lies on this polar, then:

x₁(ax₂ + hy₂ + g) + y₁(hx₂ + by₂ + f) + (gx₂ + fy₂ + c) = 0

Rearranging this equation symmetrically for both points, the condition for conjugate points is:

ax₁x₂ + h(x₁y₂ + x₂y₁) + by₁y₂ + g(x₁ + x₂) + f(y₁ + y₂) + c = 0

Note: If the conic is centered (i.e., g=0, f=0), the condition simplifies to ax₁x₂ + h(x₁y₂ + x₂y₁) + by₁y₂ = 0.

2.2 Conjugate Lines

Two lines L₁: l₁x + m₁y + n₁ = 0 and L₂: l₂x + m₂y + n₂ = 0 are said to be conjugate with respect to a conic S = 0 if the pole of L₁ lies on L₂, or equivalently, if the pole of L₂ lies on L₁.

Let the conic be ax² + 2hxy + by² + 2gx + 2fy + c = 0. We need to find the pole of a line. This is usually done by considering the general equation of a line in tangential coordinates or by using the property that if the line is tangent to the conic, its pole is the point of contact.

A more direct approach involves using the condition for conjugate diameters. For a central conic, two diameters are conjugate if the tangents at their extremities are parallel to each other.

Let's use the property of poles. If the pole of l₁x + m₁y + n₁ = 0 is (x₀, y₀), then this point (x₀, y₀) must lie on l₂x + m₂y + n₂ = 0.

To find the pole of a line l x + m y + n = 0 with respect to the general conic S = 0, we can use the condition for tangency. If the line is tangent at (x₁, y₁), then the polar xx₁ + ... = 0 is the same as the line lx + my + n = 0. This implies that the point of contact (x₁, y₁) is the pole of the line.

The condition for conjugate lines can be derived using the invariant theory of conics, but for exam purposes, understanding the definition and the geometric interpretation is often sufficient. For a central conic, conjugate diameters are a key example of conjugate lines in a broader sense.

Example: Show that the points (1, 2) and (3, -1) are conjugate with respect to the conic 2x² - y² + 5x - 3y + 1 = 0.

Here, a=2, h=0, b=-1, g=5/2, f=-3/2, c=1. P(x₁, y₁) = (1, 2) Q(x₂, y₂) = (3, -1) We need to check if ax₁x₂ + h(x₁y₂ + x₂y₁) + by₁y₂ + g(x₁ + x₂) + f(y₁ + y₂) + c = 0.

Substituting the values:

2(1)(3) + 0(1(-1) + 3(2)) + (-1)(2)(-1) + (5/2)(1 + 3) + (-3/2)(2 + (-1)) + 1

= 6 + 0 + 2 + (5/2)(4) + (-3/2)(1) + 1

= 6 + 2 + 10 - 3/2 + 1

= 19 - 3/2 = (38 - 3) / 2 = 35/2

Since the result is not 0, the points (1, 2) and (3, -1) are NOT conjugate with respect to the given conic. Let's re-check the formula or assume there was a typo in the question and proceed with the method.

Let's assume the conic was x² - y² = 3 and points are (2,1) and (-2,1).

a=1, h=0, b=-1, g=0, f=0, c=-3.

x₁=2, y₁=1, x₂=-2, y₂=1.

1(2)(-2) + 0(...) + (-1)(1)(1) + 0(...) + 0(...) - 3

= -4 - 1 - 3 = -8. Not zero.

Let's take a standard example for conjugate points. Conic: x² + y² = 1. Points (x₁, y₁) and (x₂, y₂). Condition: x₁x₂ + y₁y₂ = 0. Example: Point P(1,0). Its polar is x = 1. Let Q(x₂, y₂) be a point on the polar of P. So x₂ = 1. For P and Q to be conjugate, Q must lie on the polar of P. Polar of Q(1, y₂) is x(1) + y(y₂) = 1 => x + y₂y = 1. P(1,0) must lie on this line. So 1 + y₂(0) = 1 => 1 = 1. This is always true.

So, P(1,0) and Q(1, y₂) are conjugate if P lies on the polar of Q. Polar of Q(1, y₂) is x + y₂y - 1 = 0. P(1,0) lies on this line. 1 + y₂(0) - 1 = 0 => 0 = 0. This means any point on the line x=1 is conjugate to (1,0). Let's use the formula: x₁x₂ + y₁y₂ = 0 for x²+y²=1. If P=(1,0), then 1*x₂ + 0*y₂ = 0 => x₂ = 0. So, any point (0, y₂) is conjugate to (1,0). Let's verify. Polar of (0, y₂) is x(0) + y(y₂) = 1 => y₂y = 1 => y = 1/y₂. Does P(1,0) lie on y = 1/y₂? Only if 1/y₂ is not defined or if y=0. This implies y₂ is infinite or 0. There seems to be a misunderstanding in applying the definition or formula.

Let's re-state the definition of conjugate points:

Two points P and Q are conjugate with respect to a conic if P lies on the polar of Q.

Conic: x² + y² = 1. P=(1,0). Q=(x₂, y₂).

Polar of Q(x₂, y₂) is xx₂ + yy₂ - 1 = 0.

P(1,0) lies on this line. So, (1)x₂ + (0)y₂ - 1 = 0 => x₂ - 1 = 0 => x₂ = 1.

So, any point (1, y₂) is conjugate to (1,0). This matches the formula x₁x₂ + y₁y₂ = 1 when the conic is x²+y²=1. If P=(1,0) and Q=(1, y₂), then 1*1 + 0*y₂ = 1. This holds true. So, the points (1, y₂) are conjugate to (1,0) for the circle x² + y² = 1. This means all points on the line x=1 are conjugate to (1,0). This is geometrically sound: the line x=1 is the polar of (1,0).

Example: Find the point conjugate to (3, 4) with respect to the ellipse 2x² + 3y² = 5.

Let the conjugate point be (x₂, y₂). The conic is 2x² + 3y² - 5 = 0. Here, a=2, h=0, b=3, g=0, f=0, c=-5. The condition for conjugate points (x₁, y₁) and (x₂, y₂) is ax₁x₂ + by₁y₂ + c = 0 (for central conics with no xy term). So, 2(3)x₂ + 3(4)y₂ - 5 = 0. 6x₂ + 12y₂ - 5 = 0.

This equation gives a linear relation between x₂ and y₂. There are infinitely many points conjugate to (3, 4). This is because the set of points conjugate to a given point P forms a line, which is the polar of P.

Let's verify this. The polar of (3, 4) with respect to 2x² + 3y² - 5 = 0 is:

2x(3) + 3y(4) - 5 = 0

6x + 12y - 5 = 0.

This is the same equation we got for (x₂, y₂). This means that any point (x₂, y₂) lying on the polar of (3, 4) is conjugate to (3, 4).

2.3 Conjugate Diameters

For central conics (ellipse and hyperbola), a pair of diameters are said to be conjugate if the tangents at the extremities of one diameter are parallel to the other diameter.

Let the conic be ax² + 2hxy + by² = 1. Let y = m₁x be a diameter. The extremities of this diameter are given by solving the equation of the conic with y = m₁x.

Consider a point P(x₁, y₁) on the conic. The diameter through P has slope m₁ = y₁/x₁.

The tangent at P(x₁, y₁) is axx₁ + h(xy₁ + yx₁) + byy₁ = 1.

The slope of this tangent is m_t = - (ax₁ + hy₁) / (hx₁ + by₁).

If y = m₂x is the conjugate diameter, then the tangent at the extremity of y=m₂x should be parallel to y=m₁x. This is not the definition.

The correct definition: If y = m₁x is a diameter, its conjugate diameter y = m₂x is such that m₂ is related to m₁ by a specific formula.

For the conic ax² + 2hxy + by² = 1, the relationship between the slopes m₁ and m₂ of conjugate diameters is:

b m₁m₂ + h(m₁ + m₂) + a = 0

Example: Find the equation of the diameter conjugate to the diameter y = 2x of the ellipse 3x² + 4y² = 12.

First, rewrite the ellipse equation in the form ax² + 2hxy + by² = 1:

3x² + 4y² = 12

Divide by 12: (3/12)x² + (4/12)y² = 1

x²/4 + y²/3 = 1

Here, a = 1/4, h = 0, b = 1/3.

The given diameter is y = 2x, so its slope m₁ = 2.

Let the slope of the conjugate diameter be m₂.

Using the formula: b m₁m₂ + h(m₁ + m₂) + a = 0

(1/3)(2)m₂ + 0(2 + m₂) + (1/4) = 0

(2/3)m₂ + 1/4 = 0

(2/3)m₂ = -1/4

m₂ = (-1/4) * (3/2) = -3/8.

The equation of the conjugate diameter is y = m₂x, which is y = (-3/8)x. Or, 8y = -3x, which is 3x + 8y = 0.

2.4 Pole of a Line and Conjugate Lines

The concept of conjugate lines is directly related to the pole of a line.

Two lines L₁ and L₂ are conjugate with respect to a conic if the pole of L₁ lies on L₂.

Consider the conic ax² + 2hxy + by² + 2gx + 2fy + c = 0.

Let L₁ be the line lx + my + n = 0.

Let the pole of L₁ be (x₀, y₀).

The polar of (x₀, y₀) is x(ax₀ + hy₀ + g) + y(hx₀ + by₀ + f) + (gx₀ + fy₀ + c) = 0.

This must be the same line as lx + my + n = 0.

Comparing coefficients:

(ax₀ + hy₀ + g) / l = (hx₀ + by₀ + f) / m = (gx₀ + fy₀ + c) / n = k (say)

This gives a system of linear equations for x₀ and y₀ in terms of l, m, n, a, b, c, h, g, f.

If L₂ is the line l'x + m'y + n' = 0, then for L₁ and L₂ to be conjugate, the pole (x₀, y₀) of L₁ must lie on L₂.

So, l'x₀ + m'y₀ + n' = 0.

This condition can be expressed in a more symmetric form using matrix representation of conics, but for manual calculations, finding the pole and substituting it into the second line's equation is the way.

Example: Show that the lines x + 2y - 1 = 0 and 2x - y + 3 = 0 are conjugate with respect to the circle x² + y² = 5.

The circle equation is x² + y² - 5 = 0. Here, a=1, b=1, h=0, g=0, f=0, c=-5.

Let L₁ be x + 2y - 1 = 0. So, l=1, m=2, n=-1.

Let the pole of L₁ be (x₀, y₀).

The polar of (x₀, y₀) with respect to x² + y² - 5 = 0 is xx₀ + yy₀ - 5 = 0.

Comparing xx₀ + yy₀ - 5 = 0 with x + 2y - 1 = 0:

x₀ / 1 = y₀ / 2 = -5 / -1

x₀ / 1 = y₀ / 2 = 5

x₀ = 5

y₀ = 10

So, the pole of L₁ is (5, 10).

Now, check if this pole (5, 10) lies on the second line L₂: 2x - y + 3 = 0.

Substitute x=5 and y=10 into L₂:

2(5) - (10) + 3 = 10 - 10 + 3 = 3.

Since 3 ≠ 0, the point (5, 10) does not lie on the line 2x - y + 3 = 0.

Therefore, the lines x + 2y - 1 = 0 and 2x - y + 3 = 0 are NOT conjugate with respect to the circle x² + y² = 5.

Let's correct the example to show they ARE conjugate. Suppose the second line is L₂: 2x - y + k = 0. We need 2(5) - 10 + k = 0 => 10 - 10 + k = 0 => k = 0. So, the lines x + 2y - 1 = 0 and 2x - y = 0 are conjugate with respect to x² + y² = 5.

3. Applications and Importance

The concepts of pole and polar, and conjugate elements, are not merely theoretical constructs. They have significant applications in:

• Solving problems involving tangents and chords of contact.
• Understanding the geometric properties of conics. For instance, the locus of the intersection of tangents drawn from points on a given line is the polar of that line.
• Transformations in geometry. Pole-polar relationships can be used in projective geometry.
• Analysis of systems of conics.

For example, if you have a point P outside an ellipse, its polar line contains the points of tangency of the two tangents from P to the ellipse. This is a powerful geometric interpretation.