Back to Projective Geometry

Exercise 4

Avg difficulty 3.0

Prove that the definition of incidence is independent of the choice of the representatives of pp and LL. That is, if p1p_{1}, p2p_{2}, p3p_{3}, and q1q_{1}, q2q_{2}, q3q_{3} are two triples of homogeneous coordinates for pp, and L1L_{1}, L2L_{2}, L3L_{3}, and M1M_{1}, M2M_{2}, M3M_{3} are two triples of homogeneous coordinates for LL, prove that p1L1+p2L2+p3L3=0p_{1}L_{1}+p_{2}L_{2}+p_{3}L_{3}=0 if and only if q1M1+q2M2+q3M3=0q_{1}M_{1}+q_{2}M_{2}+q_{3}M_{3}=0.

Hefferon, Linear Algebra, Determinants, Projective Geometry, Exercise 4

AI Tutor

Adapted from Linear Algebra © 2016 Jim Hefferon. Licensed under CC BY-SA 3.0 US. Source: Linear Algebra. Imported at revision df2262e.