DOC PREVIEW
UCR MATH 133 - Solved exercises in neutral and hyperbolic geometry

This preview shows page 1 out of 2 pages.

Save
View full document
View full document
Premium Document
Do you want full access? Go Premium and unlock all 2 pages.
Access to all documents
Download any document
Ad free experience
Premium Document
Do you want full access? Go Premium and unlock all 2 pages.
Access to all documents
Download any document
Ad free experience

Unformatted text preview:

1 Solved exercises in neutral and hyperbolic geometry Here are some further examples of problems similar to the exercises for Unit V with complete solutions. PROBLEM 1. Suppose that we are given a right triangle ABC in the hyperbolic plane P with a right angle at C, and let E denote the midpoint of [AB]. Prove that the line L perpendicular to AC through E contains a point D on (AB) and that d(B, D) is greater than d(A, D) = d(C, D). SOLUTION. First of all, by Pasch’s Theorem we know that the perpendicular bisector L either contains a point of [BC] or of (AB). However, since AC is perpendicular to both BC and L we know that the first option cannot happen, and therefore the line L must contain some point D of (AB). By SAS we have DEA ≅≅≅≅ DEC, and therefore it follows that d(A, D) = d(C, D). Furthermore, we have | ∠∠∠∠DAE | = | ∠∠∠∠DCE | . By the additivity property for angle measurements, we have |∠∠∠∠DAE | + |∠∠∠∠DCB | = |∠∠∠∠DCE | + |∠∠∠∠DCB | = 90° and if we combine this with ∠∠∠∠DAE = ∠∠∠∠BAC, ∠∠∠∠CBD = ∠∠∠∠CBA, and the hyperbolic angle – sum property |∠∠∠∠BAC | + |∠∠∠∠CDB | < 90° we see that |∠∠∠∠DBC | < |∠∠∠∠CDB |. Since the larger angle is opposite the longer side, it follows that d(B, D) > d(C, D) = d(A, D). PROBLEM 2. In the setting of the previous problem, determine whether |∠∠∠∠BAC | is less than, equal to or greater than ½ |∠∠∠∠BDC |. SOLUTION. We have |∠∠∠∠ADC | = |∠∠∠∠CDE | + |∠∠∠∠EDA | because the midpoint E lies in the interior of ∠∠∠∠ADC, and since DEA ≅≅≅≅ DEC it also follows that |∠∠∠∠ADC | = 2 |∠∠∠∠EDA |. By the supplement property for angle measures we have |∠∠∠∠BDC | + |∠∠∠∠ADC | = 180°. Therefore we also have ½ |∠∠∠∠BDC | + |∠∠∠∠EDA | = 90°. On the2 other hand, hyperbolic angle – sum property implies that |∠∠∠∠BAC | + |∠∠∠∠EDA | < 90°. Therefore we have |∠∠∠∠BAC | + |∠∠∠∠EDA | < ½ |∠∠∠∠BDC | + |∠∠∠∠EDA | , and if we subtract the second term from each side of this inequality we conclude that |∠∠∠∠EDA | < ½ |∠∠∠∠BDC |. PROBLEM 3. Suppose that we are given a right triangle ABC in the neutral plane P with a right angle at C, and let F denote the midpoint of [AB]. Show that if F is equidistant from the vertices, then P is Euclidean. SOLUTION. If F is equidistant from the vertices, then EF is the perpendicular bisector of [AC], and hence we must have F = D. However, by the first problem we know D is not equidistant from the vertices if the plane P is hyperbolic, and therefore P must be Euclidean. PROBLEM 4. Suppose that we are given an isosceles triangle ABC in the neutral plane P with d(A, B) = d(A, C) and |∠∠∠∠BAC | > 60°. Prove that d(B, C) > d(A, C) = d(A, B). Discussion. The drawing depicts an isosceles right triangle. As such, we know that its hypotenuse is longer than either of its legs, and this is in fact true in neutral geometry. The object of the exercise is to prove a more general result which is also true in neutral geometry. SOLUTION. By the Saccheri – Legendre Theorem we have |∠∠∠∠BAC | + |∠∠∠∠ABC | + |∠∠∠∠ACB | = |∠∠∠∠BAC | + 2 |∠∠∠∠ABC | ≤ 180° and since |∠∠∠∠BAC | > 60° it follows that 2 |∠∠∠∠ABC | < 120° so that |∠∠∠∠ABC | < 60°. Since the larger angle of a triangle is opposite the longer side, we have d(B, C) > d(A, B), and the final part of the conclusion follows because the right hand side is equal to d(A, C) . Note. In Euclidean geometry there is a companion result for isosceles triangles: If |∠∠∠∠BAC | < 60°, then d(B, C) < d(A, C) = d(A, B). — This is true because the angle – sum property in Euclidean geometry implies that |∠∠∠∠ABC | > 60° if |∠∠∠∠BAC | < 60°. However, the companion result does not hold in hyperbolic geometry. In fact, under these conditions for a fixed value of |∠∠∠∠BAC | it is possible to construct triangles in a hyperbolic plane for which |∠∠∠∠ABC | = |∠∠∠∠ACB | is arbitrarily


View Full Document
Download Solved exercises in neutral and hyperbolic geometry
Our administrator received your request to download this document. We will send you the file to your email shortly.
Loading Unlocking...
Login

Join to view Solved exercises in neutral and hyperbolic geometry and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Solved exercises in neutral and hyperbolic geometry 2 2 and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?