This figure shows two P-lines in the Poincaré disk model (one of the P-lines is a Euclidean segment). Construct the P-line m orthogonal to both of these lines.
Note drawing erratum: The P-line that is the segment is a segment of the longer line shown, not the line itself.
Answer ONE of these questions.
a) If a plane contains both a defective right triangle and a rectangle, explain how the addition of defect produces a contradiction.
b) If m is a P-line and A is a P-point, let B the inversion of A in the support circle of m. Explain why B is also a P-point. (In other words, why is B inside the P-disk and not outside?)