Polar of (x₁, y₁) with respect to the ellipse. Coincides with the chord of contact when the point is external, and with the tangent when the point is on the ellipse. La Hire's theorem holds.
The polar of point P(x1,y1) with respect to x2/a2+y2/b2=1 is defined as the locus of points of intersection of tangents at pairs of points A, B on the ellipse such that chord AB passes through P.
Derivation: Let A(x2,y2) and B(x3,y3) be on the ellipse with chord AB passing through P(x1,y1).
The tangent at A is xx2/a2+yy2/b2=1. Its pole is A(x2,y2). The tangent at B similarly has pole B.
The intersection Q(h,k) of the tangents at A and B lies on the chord of contact from Q:
a2xh+b2yk=1
This chord passes through P(x1,y1):
a2x1h+b2y1k=1
The locus of Q(h,k) is therefore a2xx1+b2yy1=1 — the polar.
La Hire's theorem: If Q lies on the polar of P, then P lies on the polar of Q.
Pole of a line lx+my+n=0: Compare with xx1/a2+yy1/b2=1 (written as xx1/a2+yy1/b2−1=0):
lx1/a2=my1/b2=n−1⟹x1=−na2l,y1=−nb2m