Chapter 7: Problem 9
Prove that an angle of \(\frac{1}{5} \mathrm{RA}\) exists in the hyperbolic plane.
Short Answer
Step by step solution
Key Concepts
These are the key concepts you need to understand to accurately answer the question.
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 7: Problem 9
Prove that an angle of \(\frac{1}{5} \mathrm{RA}\) exists in the hyperbolic plane.
These are the key concepts you need to understand to accurately answer the question.
All the tools & learning materials you need for study success - in one app.
Get started for free
In a semi-Euclidean plane, show that the medians of a triangle all meet in a point.
(a) Let \(\Pi_{0}\) and \(\Pi_{1}\) be two semi-Euclidean planes represented as full subplanes of Cartesian planes over Pythagorean ordered fields \(F_{1}, F_{2}\) by convex subgroups \(M_{1} \subseteq\left(F_{1},+\right)\) and \(M_{2} \subseteq\left(F_{2},+\right) .\) Show that \(\Pi_{0}\) and \(\Pi_{1}\) are isomorphic (as abstract Hilbert planes) if and only if there is an isomorphism \(\varphi: F_{1} \rightrightarrows F_{2}\) and a nonzero element \(\lambda \in F_{2}\) such that \(M_{2}=\lambda \cdot \varphi\left(M_{1}\right)\) (b) Similarly, let \(\mathrm{II}_{0}\) and \(\mathrm{II}_{1}\) be semi-hyperbolic planes represented in the Poincaré models in the unit circles over Euclidean ordered fields \(F_{1}\) and \(F_{2}\) by convex subgroups \(M_{1}\) and \(M_{2}\) of the multiplicative groups of positive elements. Show that \(\Pi_{0}\) and \(\mathrm{II}_{1}\) are isomorphic if and only if there is an isomorphism \(\varphi: F_{1} \rightarrow F_{2}\) such that \(\varphi\left(M_{1}\right)=\bar{M}_{2}\)
In a non-Archimedean hyperbolic plane, let \(\Gamma\) be a circle of infinite radius \(r\) (i.e., \(\mu(r)\) is an infinite element of the field of ends \(F\) ). (a) Show that \(\Gamma\) is not contained inside any polygon (cf. Exercises 36.3, 42.20). (b) Show that the exterior of \(\Gamma\) is not a segment-connected set (cf. Exercise 11.1).
In a semihyperbolic or a semielliptic plane, show that for any line \(l\) and any point \(A\) not on \(l,\) there are infinitely many lines through \(A\) parallel to \(l\). (Hint: Use Saccheri quadrilaterals.)
All exercises take place in the Poincaré model over a Euclidean ordered field \(F\), unless otherwise noted. Proofs should be based on the Euclidean geometry of the Cartesian plane over \(F\). In particular, do not use any of the results of Section 34 or Section 35 that depend on Archimedes' axiom. In the Poincaré model, show that if two altitudes of a triangle meet in a point, then the third altitude also passes through that point. Here is a method. Let the triangle be \(A B C,\) and suppose that the altitudes from \(A\) and \(B\) meet. By a rigid motion of the Poincaré plane we move that meeting point to the center \(O\) of the defining circle \(\Gamma\). Then those altitudes become Euclidean lines through \(O\). We must show that the line \(O C\) is orthogonal to the side \(A B\). The P-lines \(A B, A C, B C\) are Euclidean circles orthogonal to \(\Gamma\). Let \(D, E, F\) be the centers of these circles. Show that the altitudes of the P-triangle \(A B C\) are at the same time altitudes of the Euclidean triangle \(D E F\). Then use the Euclidean theorem that the altitudes of a triangle meet (Proposition 5.6) to finish the proof. Note: This is a curious method, whereby the Euclidean result is used to show (via Euclidean geometry) that the same result holds in the non-Euclidean Poincaré model. since we now know that this result holds in both Euclidean and non-Euclidean geometry, it would be nice to have a single proof in neutral geometry that applies to both cases- cf. Exercise 40.14 and Theorem 43.15 .
What do you think about this solution?
We value your feedback to improve our textbook solutions.