Consider the filled hyperbolic triangle with vertices . Every point is on some geodesic segment with : for instance, in the Beltrami-Klein model these are the ordinary straight segments filling a convex triangle. For any other point of the triangle, apply part (b) first on and then on :Applying the same argument to , with each vertex held fixed, bounds every term on the right by the maximum of the three side lengths. The endpoints of a longest side attain that bound. Thus the diameter is exactly the longest side length:
Articles by others on the same topic
There are currently no matching articles.