Past exam of the short options course of the University of Oxford / 2017 / 3 / a / iv

The dual projective space is $\mathbb{P}(({\mathbb{R}}^3{)}^{\ast })$. A projective line with coefficients $[\alpha :\beta :\gamma ]$ becomes a projective point in this dual plane; a projective point $[a:b:c]$ becomes the dual projective line $a\alpha +b\beta +c\gamma =0$.

The point-line duality reverses incidence:Thus the dual statement is that the dual point $l^{\ast }$ lies on the dual line $P^{\ast }$. A join of projective points becomes an intersection of dual projective lines, and the converse holds too. In particular, collinear projective points correspond to concurrent dual projective lines.

The dual of Desargues's theorem is its converse: if the intersections of the three pairs of corresponding sides are collinear, then the three lines joining corresponding vertices are concurrent. In the same nondegenerate setting, perspectivity from a line therefore implies perspectivity from a point.