F.39 Pole and Polar with Respect to a Triangle

Trilinear Polar Line, Desargues Perspectivity, and Metric Distance Questions

Given a triangle ABC and a point P with cevian traces A’, B’, C’, the intersections X = BC cap B’C’, Y = CA cap C’A’, and Z = AB cap A’B’ are collinear on the trilinear polar L of the pole P.

Interactive GEOMETOR construction for F.39 (Pole and Polar with Respect to a Triangle). Hover any geometric label in the text or figure to highlight the corresponding element.

A : Point B : Point C : Point P : Point ===== A_p = intersection(line(B, C), line(A, P)) B_p = intersection(line(C, A), line(B, P)) C_p = intersection(line(A, B), line(C, P)) X = intersection(line(B, C), line(B_p, C_p)) Y = intersection(line(C, A), line(C_p, A_p)) polar = line(X, Y)

Mathematical Synthesis

Dated May 6, 2015 (SeeligNotebooks), Seelig’s study POLE & :term:`POLAR <pole and polar>` W.r.t. A TRIANGLE (projective geometry) constructs the trilinear polar polar (line \(L\)) of a perspector/pole P with respect to \(\triangle ABC\). Drawing the cevians through P to their traces Ap, Bp, Cp (\(A', B', C'\)), the harmonic conjugates X \(= BC \cap B'C'\), Y \(= CA \cap C'A'\), and \(Z = AB \cap A'B'\) are collinear by Desargues’s Theorem along the trilinear polar \(L\).

In the lower half of the folio, Seelig formulates a program of metric research questions linking projective duality to Euclidean triangle centers: determining the perpendicular distance \(d(P, L)\) and the distances \(OP, IP, OL, IL\) from the circumcenter O and incenter I to the pole P and polar \(L\) in terms of barycentric coordinates.

Key Algebraic Identities

\[P = (u : v : w) \iff L:\; \frac{x}{u} + \frac{y}{v} + \frac{z}{w} = 0\]

\[(B, C;\, A', X) = (C, A;\, B', Y) = (A, B;\, C', Z) = -1\]

Cross-Repository Canon & Archival Provenance

Seelig Archive Folios	F.39 Pole and Polar with Respect to a Triangle — Folios (Folios 0238–0238, 1 scanned manuscript page in resources/seelig/39_pole-polar)
Euclid’s Elements	VI.2, VI.3 (EuclidElements)
GEOMETOR Elements (G-Index)	G.5 surface
Encyclopedia of Triangle Centers	X(1) — Incenter, X(2) — Centroid, X(3) — Circumcenter (Kimberling1998)
Seelig Spreadsheets	Pole & Polar, Harmonic Conjugates (Spreadsheets)

Constructive Dependency Graph

Prerequisites: F.7 Ceva and Menelaus, F.25 Harmonic Conjugates