Google Classroom
GeoGebraClasse GeoGebra

Coxeter- Theorem 7.13

The line is non-selfconjugate, the projectivity , where transforms any non-selfconjugate point into another point whose polar is . This same projectivity transforms A into B. Since it interchanges and , it must be an involution.