Abstract
For our proof of the fundamental formula of Bolyai — Lobachevsky geometry we shall need a lemma concerning ratios of lengths of certain arcs of horocircles. After extending the domain of definition for the critical function ∏ to the set of reals, the rest of this section is devoted to proving this lemma, our Theorem 31.17. For this extension, ∏(0) will be defined to be π/2 since ∏(x) approaches π/2 as x approaches 0. Then (0, π/2) will be made a point of symmetry for the graph of ∏ in the Cartesian plane. So the midpoint of (x,∏,(x)) and (-x,∏(-x)) will be (0, π/2). See Figure 31.1. Then for all real x, we will have ∏(x) + ∏(-x) = π.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer-Verlag New York, Inc.
About this chapter
Cite this chapter
Martin, G.E. (1975). Horocircles. In: The Foundations of Geometry and the Non-Euclidean Plane. Undergraduate Texts in Mathematics. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-5725-7_31
Download citation
DOI: https://doi.org/10.1007/978-1-4612-5725-7_31
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-5727-1
Online ISBN: 978-1-4612-5725-7
eBook Packages: Springer Book Archive