This book is designed for a semester-long course in Foundations of Geometry and meant to be rigorous, conservative, elementary and minimalistic.
- This chapter contains long proofs of intuitively evident statements. It is okay to skip it, but make sure you know definitions of positive/negative angles.
- Triangle geometry is the study of the properties of triangles, including associated centers and circles. We discuss the most basic results in triangle geometry, mostly to show that we have developed sufficient machinery to prove things.
- In this chapter, we use inversive geometry to construct the model of a hyperbolic plane — a neutral plane that is not Euclidean. Namely, we construct the so-called conformal disc model of the hyperbolic plane. This model was discovered by Beltrami and is often called the Poincaré disk model.
- The projective model is another model of hyperbolic plane discovered by Beltrami; it is often called Klein model. The projective and conformal models are saying exactly the same thing but in two different languages. Some problems in hyperbolic geometry admit simpler proof using the projective model and others have simpler proof in the conformal model. Therefore, it is worth knowing both.