Content deleted Content added
Why speak about specific models? Right angles can be recognized in every model, or synthetically without any model |
Citation bot (talk | contribs) Add: date. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles containing proofs | #UCB_Category 263/409 |
||
Line 15:
If not, we may suppose AB < CB' without loss of generality. Let E be a point on the line s on the opposite side of A from C. Take A' on CB' so that A'B' = AB. Through A' draw a line s' (A'E') on the side closer to E, so that the angle B'A'E' is the same as angle BAE. Then s' meets s in an ordinary point D'. Construct a point D on ray AE so that AD = A'D'.
Then D' ≠ D. They are the same distance from r and both lie on s. So the perpendicular bisector of D'D (a segment of s) is also perpendicular to r.<ref>{{cite book|last1=H. S. M. Coxeter|author1-link=H. S. M. Coxeter|title=Non-euclidean Geometry|date=17 September 1998|isbn=978-0-88385-522-5|pages=190–192}}</ref>
(If r and s were asymptotically parallel rather than ultraparallel, this construction would fail because s' would not meet s. Rather s' would be asymptotically parallel to both s and r.)
| |||