defined by fixing a point O,called

[1] Point O and the points of line (a) are the only fixed points of F.

[2] F

[3] Every involutive projectivity is defined completely by two pairs of homologous points (X,Y) and (X',Y').

[4] Every

To prove [3] consider the intersection points O, O' of line-pairs (XY, X'Y') and (XX',YY') respectively. Define line (a) to be the harmonic conjugate of line OO' with respect to lines (O'X, O'Y).

The harmonic perspectivity F is completely determined by O and (a) and maps X to Y and X' to Y'. The same figure may be used to prove [4]. In fact, given the involutive projectivity G, select to points X, X' and their images Y = G(X), Y' = G(X'). Define as above the harmonic perspectivity F, mapping X to Y and X' to Y', and show that the composition F

The above figure has a worth noticing symmetry. In fact, one could interchange the symbols X' and Y and apply the same reasoning to create a unique perspectivity F', mapping X to X' and Y to Y' and having O' and (c) as center and axis. (c) being the harmonic conjugate of line OO' with respect to the pair of lines (OX, OX').

By the well known properties of complete quadrilaterals (see Harmonic.html ) (a) and (c) intersect at point O'', which is the intersection point of the diagonals of the quadrilateral XYY'X'.

remains invariant under F. See Fregier_Involutive.html for a discussion on that.

There is a third harmonic perspectivity F'' connected with the above figure, and having O'' and (b) as center and respective axis. The related configuration of the three perspectivities is discussed in FourPoints.html .

Harmonic perspectivities are special cases of

Using as model of the projective plane the projectification of the euclidean plane, the harmonic perspectivities with axis coinciding with the line at infinity, restricted on the euclidean plane,

coincide with the point-symmetries. See a use of this remark in the file ElationDecomposition.html .

ElationDecomposition.html

FourPoints.html

FourPointsCyclic.html

Fregier_Involutive.html

Harmonic.html

InvolutiveHomography.html

Perspectivity.html

Projectivity.html

PerspectivityAndPerspectiveTriangles.html

Produced with EucliDraw© |