Unformatted text preview: through P. Proof: Let l be any line and let P be a point not on line l . By the "Drop a Perpendicular" Theorem, there is a unique line t such that t passes through P and l ⊥ t . By the "Drop a Perpendicular" Theorem, there is unique line m such that m passes through P and t ⊥ m . Therefore, l and m share the common perpendicular t . Q E D P l t P l m t P l...
View
Full Document
 Spring '10
 Shirley
 Quantification, Euclidean geometry, Axiom

Click to edit the document details