Trilinear polarity

Last updated February 04, 2023

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

Let $△ ABC$ be a plane triangle and let $P$ be any point in the plane of the triangle not lying on the sides of the triangle. Briefly, the trilinear polar of $P$ is the axis of perspectivity of the cevian triangle of $P$ and the triangle $△ ABC$ .

In detail, let the line $AP, BP, CP$ meet the sidelines $BC, CA, AB$ at $D, E, F$ respectively. Triangle $△ DEF$ is the cevian triangle of $P$ with reference to triangle $△ ABC$ . Let the pairs of line $(BC, EF), (CA, FD), (DE, AB)$ intersect at $X, Y, Z$ respectively. By Desargues' theorem, the points $X, Y, Z$ are collinear. The line of collinearity is the axis of perspectivity of triangle $△ ABC$ and triangle $△ DEF$ . The line $XYZ$ is the trilinear polar of the point $P$ .^[1]

The points $X, Y, Z$ can also be obtained as the harmonic conjugates of $D, E, F$ with respect to the pairs of points $(B, C), (C, A), (A, B)$ respectively. Poncelet used this idea to define the concept of trilinear polars.^[1]

If the line $L$ is the trilinear polar of the point $P$ with respect to the reference triangle $△ ABC$ then $P$ is called the trilinear pole of the line $L$ with respect to the reference triangle $△ ABC$ .

Trilinear equation

Let the trilinear coordinates of the point $P$ be $p : q : r$ . Then the trilinear equation of the trilinear polar of $P$ is^[3]

{\frac {x}{p}}+{\frac {y}{q}}+{\frac {z}{r}}=0.

Construction of the trilinear pole

Let the line $L$ meet the sides $BC, CA, AB$ of triangle $△ ABC$ at $X, Y, Z$ respectively. Let the pairs of lines $(BY, CZ), (CZ, AX), (AX, BY)$ meet at $U, V, W$ . Triangles $△ ABC$ and $△ UVW$ are in perspective and let $P$ be the center of perspectivity. $P$ is the trilinear pole of the line $L$ .

Some trilinear polars

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

The trilinear polar of the centroid of triangle $△ ABC$ is the line at infinity.
The trilinear polar of the symmedian point is the Lemoine axis of triangle $△ ABC$ .
The trilinear polar of the orthocenter is the orthic axis.
Trilinear polars are not defined for points coinciding with the vertices of triangle $△ ABC$ .

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 K is a circumconic of the reference triangle. Trilinear poles of a pencil of lines.gif — Animation illustrating the fact that the locus of the trilinear poles of a pencil of lines passing through a fixed point $K$ is a circumconic of the reference triangle.

Let $P$ with trilinear coordinates $X : Y : Z$ be the pole of a line passing through a fixed point $K$ with trilinear coordinates $x 0 : y 0 : z 0$ . Equation of the line is

{\frac {x}{X}}+{\frac {y}{Y}}+{\frac {z}{Z}}=0.

Since this passes through $K$ ,

{\frac {x_{0}}{X}}+{\frac {y_{0}}{Y}}+{\frac {z_{0}}{Z}}=0.

Thus the locus of $P$ is

{\frac {x_{0}}{x}}+{\frac {y_{0}}{y}}+{\frac {z_{0}}{z}}=0.

This is a circumconic of the triangle of reference $△ ABC$ . Thus the locus of the poles of a pencil of lines passing through a fixed point $K$ is a circumconic $E$ of the triangle of reference.

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

Related Research Articles

A triangle is a polygon with three edges and three vertices. It is one of the basic shapes in geometry. A triangle with vertices A, B, and C is denoted $.$

In Euclidean geometry, Ceva's theorem is a theorem about triangles. Given a triangle $△ ABC$ , let the lines $AO, BO, CO$ be drawn from the vertices to a common point $O$ , to meet opposite sides at $D, E, F$ respectively. Then, using signed lengths of segments,

<span class="mw-page-title-main">Bisection</span> Division of something into two equal or congruent parts

In geometry, bisection is the division of something into two equal or congruent parts, usually by a line, which is then called a bisector. The most often considered types of bisectors are the segment bisector and the angle bisector.

<span class="mw-page-title-main">Altitude (triangle)</span> Perpendicular line segment from a triangles side to opposite vertex

In geometry, an altitude of a triangle is a line segment through a vertex and perpendicular to a line containing the base. This line containing the opposite side is called the extended base of the altitude. The intersection of the extended base and the altitude is called the foot of the altitude. The length of the altitude, often simply called "the altitude", is the distance between the extended base and the vertex. The process of drawing the altitude from the vertex to the foot is known as dropping the altitude at that vertex. It is a special case of orthogonal projection.

<span class="mw-page-title-main">Nine-point circle</span> Circle constructed from a triangle

In geometry, the nine-point circle is a circle that can be constructed for any given triangle. It is so named because it passes through nine significant concyclic points defined from the triangle. These nine points are:

In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches the three sides. The center of the incircle is a triangle center called the triangle's incenter.

In geometry, an orthocentric system is a set of four points on a plane, one of which is the orthocenter of the triangle formed by the other three. Equivalently, the lines passing through disjoint pairs among the points are perpendicular, and the four circles passing through any three of the four points have the same radius.

<span class="mw-page-title-main">Euler line</span> Line constructed from a triangle

In geometry, the Euler line, named after Leonhard Euler, is a line determined from any triangle that is not equilateral. It is a central line of the triangle, and it passes through several important points determined from the triangle, including the orthocenter, the circumcenter, the centroid, the Exeter point and the center of the nine-point circle of the triangle.

<span class="mw-page-title-main">Cubic plane curve</span> Type of a mathematical curve

In mathematics, a cubic plane curve is a plane algebraic curve $C$ defined by a cubic equation

In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius.

In Euclidean geometry, the medial triangle or midpoint triangle of a triangle $△ ABC$ is the triangle with vertices at the midpoints of the triangle's sides $AB, AC, BC$ . It is the $n = 3$ case of the midpoint polygon of a polygon with $n$ sides. The medial triangle is not the same thing as the median triangle, which is the triangle whose sides have the same lengths as the medians of $△ ABC$ .

In geometry, the trilinear coordinates $x : y : z$ of a point relative to a given triangle describe the relative directed distances from the three sidelines of the triangle. Trilinear coordinates are an example of homogeneous coordinates. The ratio $x : y$ is the ratio of the perpendicular distances from the point to the sides opposite vertices $A$ and $B$ respectively; the ratio $y : z$ is the ratio of the perpendicular distances from the point to the sidelines opposite vertices $B$ and $C$ respectively; and likewise for $z : x$ and vertices $C$ and $A$ .

In geometry, the isotomic conjugate of a point $P$ with respect to a triangle $△ ABC$ is another point, defined in a specific way from $P$ and $△ ABC$ : If the base points of the lines $PA, PB, PC$ on the sides opposite $A, B, C$ are reflected about the midpoints of their respective sides, the resulting lines intersect at the isotomic conjugate of $P$ .

In Euclidean geometry, a circumconic is a conic section that passes through the three vertices of a triangle, and an inconic is a conic section inscribed in the sides, possibly extended, of a triangle.

In geometry, the mittenpunkt of a triangle is a triangle center: a point defined from the triangle that is invariant under Euclidean transformations of the triangle. It was identified in 1836 by Christian Heinrich von Nagel as the symmedian point of the excentral triangle of the given triangle.

In geometry, Napoleon points are a pair of special points associated with a plane triangle. It is generally believed that the existence of these points was discovered by Napoleon Bonaparte, the Emperor of the French from 1804 to 1815, but many have questioned this belief. The Napoleon points are triangle centers and they are listed as the points X(17) and X(18) in Clark Kimberling's Encyclopedia of Triangle Centers.

In geometry, central lines are certain special straight lines that lie in the plane of a triangle. The special property that distinguishes a straight line as a central line is manifested via the equation of the line in trilinear coordinates. This special property is related to the concept of triangle center also. The concept of a central line was introduced by Clark Kimberling in a paper published in 1994.

In triangle geometry, a triangle conic is a conic in the plane of the reference triangle and associated with it in some way. For example, the circumcircle and the incircle of the reference triangle are triangle conics. Other examples are the Steiner ellipse which is an ellipse passing through the vertices and having its centre at the centroid of the reference triangle, the Kiepert hyperbola which is a conic passing through the vertices, the centroid and the orthocentre of the reference triangle and the Artzt parabolas which are parabolas touching two sidelines of the reference triangle at vertices of the triangle. The terminology of triangle conic is widely used in the literature without a formal definition,that is, without precisely formulating the relations a conic should have with the reference triangle so as to qualify it to be called a triangle conic (see,). WolframMathWorld has a page titled "Triangle conics" which gives a list of 42 items without giving a definition of triangle conic. However, Paris Pamfilos in his extensive collection of topics in geometry and topics in other fields related to geometry defines a triangle conic as a "conic circumscribing a triangle ABC or inscribed in a triangle ". The terminology triangle circle is used to denote a circle associated with the reference triangle is some way.

<span class="mw-page-title-main">Modern triangle geometry</span>

In mathematics, modern triangle geometry, or new triangle geometry, is the body of knowledge relating to the properties of a triangle discovered and developed roughly since the beginning of the last quarter of the nineteenth century. Triangles and their properties were the subject of investigation since at least the time of Euclid. In fact, Euclid's Elements contains description of the four special points – centroid, incenter, circumcenter and orthocenter - associated with a triangle. Even though Pascal and Ceva in the seventeenth century, Euler in the eighteenth century and Feuerbach in the nineteenth century and many other mathematicians had made important discoveries regarding the properties of the triangle, it was the publication in 1873 of a paper by Emile Lemoine (1840–1912) with the title "On a remarkable point of the triangle" that was considered to have, according to Nathan Altschiller-Court, "laid the foundations...of the modern geometry of the triangle as a whole." The American Mathematical Monthly, in which much of Lemoine's work is published, declared that "To none of these [geometers] more than Émile-Michel-Hyacinthe Lemoine is due the honor of starting this movement of modern triangle geometry". The publication of this paper caused a remarkable upsurge of interest in investigating the properties of the triangle during the last quarter of the nineteenth century and the early years of the twentieth century. A hundred-page article on triangle geometry in Klein's Encyclopedia of Mathematical Sciences published in 1914 bears witness to this upsurge of interest in triangle geometry.

In triangle geometry, the Kiepert conics are two special conics associated with the reference triangle. One of them is a hyperbola, called the Kiepert hyperbola and the other is a parabola, called the Kiepert parabola. The Kiepert conics are defined as follows:

References

1 2 3 4 Coxeter, H.S.M. (1993). The Real Projective Plane. Springer. pp. 102–103. ISBN 9780387978895.
↑ Coxeter, H.S.M. (2003). Projective Geometry . Springer. pp. 29. ISBN 9780387406237.
↑ Weisstein, Eric W. "Trilinear Polar". MathWorld—A Wolfram Web Resource. Retrieved 31 July 2012.
↑ Weisstein, Eric W. "Trilinear Pole". MathWorld—A Wolfram Web Resource. Retrieved 8 August 2012.
↑ Weisstein, Eric W. "Perspector". MathWorld—A Wolfram Web Resource. Retrieved 3 February 2023.
↑ Weisstein, Eric W. "Polar Triangle". MathWorld—A Wolfram Web Resource. Retrieved 3 February 2023.

External links

Geometrikon page : Trilinear polars
Geometrikon page : Isotomic conjugate of a line

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[Coxeter-1] 1 2 3 4 Coxeter, H.S.M. (1993). The Real Projective Plane. Springer. pp. 102–103. ISBN 9780387978895.

[2] Coxeter, H.S.M. (2003). Projective Geometry . Springer. pp. 29. ISBN 9780387406237.

[3] Weisstein, Eric W. "Trilinear Polar". MathWorld—A Wolfram Web Resource. Retrieved 31 July 2012.

[4] Weisstein, Eric W. "Trilinear Pole". MathWorld—A Wolfram Web Resource. Retrieved 8 August 2012.

[5] Weisstein, Eric W. "Perspector". MathWorld—A Wolfram Web Resource. Retrieved 3 February 2023.

[6] Weisstein, Eric W. "Polar Triangle". MathWorld—A Wolfram Web Resource. Retrieved 3 February 2023.

[1]

[2]

[3]

[4]

[5]

[6]