Given three collinear points A, B, and C. Perform the following construction:
D does not depend on the choice of E and I, but only on A, B, and C.
In other words, for the given A, B, and C, the above construction always leads to the same point D.
Point D is said to be harmonic conjugate of C with respect to the pair A, B. Clearly, if D is the harmonic conjugate of C, then C is the harmonic conjugate of D. Thus the pair C, D is often said to be (harmonically) conjugate with the pair A, B, and vice versa.
Note that H is the conjugate of D with respect to the pair I, F, and that the line CH passes through E. This leads to another important fact (and a definition.)
Given angle E. For any point D draw a secant that cuts the lines forming angle E at points A and B. The locus of points C conjugate to D with respect to A and B is a straight line through E. The latter is called the polar of D with respect to the angle E (or two lines AE, BE, or the corresponding degenerate conic section.) D is called the pole of EC.
The above theorem corroborates a straight edge only construction of harmonic conjugates and polars. Besides the line AB itself, it takes 6 more lines to obtain point C. Of these, four lines (drawn in black in the applet) form a complete quadrilateral, for which the remaining lines (drawn in blue) serve as diagonals. The harmonic conjugates of D and D itself lie at the intersection of the diagonals. The theorem then admits the following interpretation: