Pole and Polar with Respect to a Triangle
What is this about?
A Mathematical Droodle
Pole and Polar with respect to a Triangle
The applet illustrates a variant of Desargues' theorem.
In ΔABC cevians AA', BB', CC' meet in point P. The lines AB, A'B' meet in C0, AC, A'C' meet in B0 and BC and B'C' meet in A0. Then the points A0, B0, C0 are collinear.
The converse is also true.
The fact that the given cevians are concurrent, tells us that the triangle ABC and A'B'C' are perspective from a point (P in our notations. A'B'C' is a cevian triangle of P.) By Desargues' theorem, the triangles are also perspective from a line. In other words, the points A0, B0, C0 of intersection of the corresponding sides of the two triangles are collinear. The line they lie on is called the polar of point P with respect to ΔABC. Point P is known as the pole of that line with respect to ΔABC. Sometimes they are referred to as trilinear pole and polar with respect to the triangle.
(This is just a generalization of the statement concerning Gergonne point and Gergonne line.)
It was noted by Maj/Cpt/Lt Pestich that the above statement highlights the relationship between the Ceva and Menelaus theorems. From the construction, the pairs A0 and A', B0 and B', C0 and C' are harmonic conjugate with respect to (B, C), (C, A), (A, B), respectively. Formally, using the cross-ratio (and signed segments)
(UVWX) = WU/WV : XU/XV,
we directly obtain
(ABC'C0) = C'A/C'B : C0A/C0B = -1,
(BCA'A0) = A'B/A'C : A0B/A0C = -1,
(CAC'BB) = B'C/B'A : B0C/B0A = -1.
In other words,
AC'/C'B = -AC0/C0B,
BA'/A'C = -BA0/A0C,
CB'/B'A = -CB0/B0A.
These we multiply:
|(1)||AC'/C'B · BA'/A'C · CB'/B'A = - AC0/C0B · BA0/A0C · CB0/B0A.|
So that if one of the products equals 1, the other equals -1 such that the two statements below are equivalent:
AC'/C'B · BA'/A'C · CB'/B'A = 1 and
AC0/C0B · BA0/A0C · CB0/B0A = -1.
Thus, if three points on the sides of a triangle satisfy Ceva's concurrency condition, their harmonic conjugates with respects to the vertices of the triangle satisfy Menelaus' collinearity condition, and vice versa. The two theorems are indeed equivalent.
In terms of cross-ratios (1) can be rewritten as
(ABC'C0)·(BCA'A0)·(CAB'B0) = -1.
Poles and Polars
[an error occurred while processing this directive]