Trilinear polarity

From testwiki
Revision as of 20:52, 3 February 2023 by 2804:14d:5c54:8c18:c800:c1ab:1e9a:645d (talk) (Poles of pencils of lines)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Template:Short description

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."[1] 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.[1][2]

Definitions

Construction of a trilinear polar of a point Template:Mvar Template:Legend Template:Legend Template:Legend-line Template:Legend-line

Let Template:Math be a plane triangle and let Template:Mvar be any point in the plane of the triangle not lying on the sides of the triangle. Briefly, the trilinear polar of Template:Mvar is the axis of perspectivity of the cevian triangle of Template:Mvar and the triangle Template:Math.

In detail, let the line Template:Mvar meet the sidelines Template:Mvar at Template:Mvar respectively. Triangle Template:Math is the cevian triangle of Template:Mvar with reference to triangle Template:Math. Let the pairs of line Template:Math intersect at Template:Mvar respectively. By Desargues' theorem, the points Template:Mvar are collinear. The line of collinearity is the axis of perspectivity of triangle Template:Math and triangle Template:Math. The line Template:Mvar is the trilinear polar of the point Template:Mvar.[1]

The points Template:Mvar can also be obtained as the harmonic conjugates of Template:Mvar with respect to the pairs of points Template:Math respectively. Poncelet used this idea to define the concept of trilinear polars.[1]

If the line Template:Mvar is the trilinear polar of the point Template:Mvar with respect to the reference triangle Template:Math then Template:Mvar is called the trilinear pole of the line Template:Mvar with respect to the reference triangle Template:Math.

Trilinear equation

Let the trilinear coordinates of the point Template:Mvar be Template:Math. Then the trilinear equation of the trilinear polar of Template:Mvar is[3]

xp+yq+zr=0.

Construction of the trilinear pole

Construction of a trilinear pole of a line Template:Mvar Template:Legend-line Template:Legend Template:Legend Template:Legend-line

Let the line Template:Mvar meet the sides Template:Mvar of triangle Template:Math at Template:Mvar respectively. Let the pairs of lines Template:Math meet at Template:Mvar. Triangles Template:Math and Template:Math are in perspective and let Template:Mvar be the center of perspectivity. Template:Mvar is the trilinear pole of the line Template:Mvar.

Some trilinear polars

Some of the trilinear polars are well known.[4]

Poles of pencils of lines

Animation illustrating the fact that the locus of the trilinear poles of a pencil of lines passing through a fixed point Template:Mvar is a circumconic of the reference triangle.

Let Template:Mvar with trilinear coordinates Template:Math be the pole of a line passing through a fixed point Template:Mvar with trilinear coordinates Template:Math. Equation of the line is

xX+yY+zZ=0.

Since this passes through Template:Mvar,

x0X+y0Y+z0Z=0.

Thus the locus of Template:Mvar is

x0x+y0y+z0z=0.

This is a circumconic of the triangle of reference Template:Math. Thus the locus of the poles of a pencil of lines passing through a fixed point Template:Mvar is a circumconic Template:Mvar of the triangle of reference.

It can be shown that Template:Mvar is the perspector[5] of Template:Mvar, namely, where Template:Math and the polar triangle[6] with respect to Template:Mvar are perspective. The polar triangle is bounded by the tangents to Template:Mvar at the vertices of Template:Math. For example, the Trilinear polar of a point on the circumcircle must pass through its perspector, the Symmedian point X(6).

References

Template:Reflist