Projective harmonic conjugate

The four points are sometimes called a harmonic range (on the real projective line) as it is found that D always divides the segment AB internally in the same proportion as C divides AB externally. That is:

$${\displaystyle {\overline {AC}}:{\overline {BC}}={\overline {AD}}:{\overline {DB}}\,.}$$

If these segments are now endowed with the ordinary metric interpretation of real numbers they will be signed and form a double proportion known as the cross ratio (sometimes double ratio)

${\displaystyle (A,B;C,D)={\frac {\overline {AC}}{\overline {AD}}}\left/{\frac {\overline {BC}}{-{\overline {DB}}}}\right.,}$

for which a harmonic range is characterized by a value of −1. We therefore write:

${\displaystyle (A,B;C,D)={\frac {\overline {AC}}{\overline {AD}}}\times {\frac {\overline {BD}}{\overline {BC}}}=-1.}$

The value of a cross ratio in general is not unique, as it depends on the order of selection of segments (and there are six such selections possible). But for a harmonic range in particular there are just three values of cross ratio: {−1, 1/2, 2}, since −1 is self-inverse – so exchanging the last two points merely reciprocates each of these values but produces no new value, and is known classically as the harmonic cross-ratio.

In terms of a double ratio, given points a, b on an affine line, the division ratio[2] of a point x is

$${\displaystyle t(x)={\frac {x-a}{x-b}}.}$$

Note that when a < x < b, then t(x) is negative, and that it is positive outside of the interval. The cross-ratio ${\displaystyle (c,d;a,b)={\tfrac {t(c)}{t(d)}}}$ is a ratio of division ratios, or a double ratio. Setting the double ratio to minus one means that when t(c) + t(d) = 0, then c and d are harmonic conjugates with respect to a and b. So the division ratio criterion is that they be additive inverses.

Harmonic division of a line segment is a special case of Apollonius' definition of the circle.

In some school studies the configuration of a harmonic range is called harmonic division.

Midpoint and infinity are harmonic conjugates.

When x is the midpoint of the segment from a to b, then

$${\displaystyle t(x)={\frac {x-a}{x-b}}=-1.}$$

By the cross-ratio criterion, the harmonic conjugate of x will be y when t(y) = 1. But there is no finite solution for y on the line through a and b. Nevertheless,

$${\displaystyle \lim _{y\to \infty }t(y)=1,}$$

thus motivating inclusion of a point at infinity in the projective line. This point at infinity serves as the harmonic conjugate of the midpoint x.

Another approach to the harmonic conjugate is through the concept of a complete quadrangle such as KLMN in the above diagram. Based on four points, the complete quadrangle has pairs of opposite sides and diagonals. In the expression of harmonic conjugates by H. S. M. Coxeter, the diagonals are considered a pair of opposite sides:

D is the harmonic conjugate of C with respect to A and B, which means that there is a quadrangle IJKL such that one pair of opposite sides intersect at A, and a second pair at B, while the third pair meet AB at C and D.[3]

It was Karl von Staudt that first used the harmonic conjugate as the basis for projective geometry independent of metric considerations:

...Staudt succeeded in freeing projective geometry from elementary geometry. In his Geometrie der Lage, Staudt introduced a harmonic quadruple of elements independently of the concept of the cross ratio following a purely projective route, using a complete quadrangle or quadrilateral.[4]

P₁ = A, P₂ = S, P₃ = B, P₄ = Q, D = M
(ignore green M).

To see the complete quadrangle applied to obtaining the midpoint, consider the following passage from J. W. Young:

If two arbitrary lines AQ, AS are drawn through A and lines BS, BQ are drawn through B parallel to AQ, AS respectively, the lines AQ, SB meet, by definition, in a point R at infinity, while AS, QB meet by definition in a point P at infinity. The complete quadrilateral PQRS then has two diagonal points at A and B, while the remaining pair of opposite sides pass through M and the point at infinity on AB. The point M is then by construction the harmonic conjugate of the point at infinity on AB with respect to A and B. On the other hand, that M is the midpoint of the segment AB follows from the familiar proposition that the diagonals of a parallelogram (PQRS) bisect each other.[5]

A conic in the projective plane is a curve C that has the following property: If P is a point not on C, and if a variable line through P meets C at points A and B, then the variable harmonic conjugate of P with respect to A and B traces out a line. The point P is called the pole of that line of harmonic conjugates, and this line is called the polar line of P with respect to the conic. See the article Pole and polar for more details.

In Galois geometry over a Galois field GF(q) a line has q + 1 points, where ∞ = (1,0). In this line four points form a harmonic tetrad when two harmonically separate the others. The condition

${\displaystyle (c,d;a,b)=-1,\ {\text{ equivalently }}\ \ 2(cd+ab)=(c+d)(a+b),}$

characterizes harmonic tetrads. Attention to these tetrads led Jean Dieudonné to his delineation of some accidental isomorphisms of the projective linear groups PGL(2, q) for q = 5, 7, 9.[9]

If q = 2ⁿ, and given A and B, then the harmonic conjugate of C is itself.[10]

Let P₀, P₁, P₂ be three different points on the real projective line. Consider the infinite sequence of points P_n, where P_n is the harmonic conjugate of P_n-3 with respect to P_n-1, P_n-2 for n > 2. This sequence is convergent.[11]

For a finite limit P we have

${\displaystyle \lim _{n\to \infty }{\frac {P_{n+1}P}{P_{n}P}}=\Phi -2=-\Phi ^{-2}=-{\frac {3-{\sqrt {5}}}{2}},}$

where ${\displaystyle \Phi ={\tfrac {1}{2}}(1+{\sqrt {5}})}$ is the golden ratio, i.e. ${\displaystyle P_{n+1}P\approx -\Phi ^{-2}P_{n}P}$ for large n. For an infinite limit we have

${\displaystyle \lim _{n\to \infty }{\frac {P_{n+2}P_{n+1}}{P_{n+1}P_{n}}}=-1-\Phi =-\Phi ^{2}.}$

For a proof consider the projective isomorphism

${\displaystyle f(z)={\frac {az+b}{cz+d}}}$

with

${\displaystyle f\left((-1)^{n}\Phi ^{2n}\right)=P_{n}.}$

• Juan Carlos Alverez (2000) Projective Geometry, see Chapter 2: The Real Projective Plane, section 3: Harmonic quadruples and von Staudt's theorem.
• Robert Lachlan (1893) An Elementary Treatise on Modern Pure Geometry, link from Cornell University Historical Math Monographs.
• Bertrand Russell (1903) Principles of Mathematics, page 384.
• Russell, John Wellesley (1905). Pure Geometry. Clarendon Press.