- #1
Lee33
- 160
- 0
Homework Statement
Given a line ##l## and a point ##B\in l## in a protractor geometry, there exists a unique line ##l'## that contains ##B## such that ##l\perp l'.##
Homework Equations
None
The Attempt at a Solution
I am not sure how to prove uniqueness or existence in this theorem.
We say lines ##l## and ##m## in a protractor geometry are perpendicular, denoted ##l\perp m##, if ##l\cup m## contains a right angle.