Hyperbolic geometry is a consistent geometry in which space curves negatively, like a saddle rather than a flat sheet. It matters because the rules for lines, triangles, and distance change in surprising but precise ways. Ideas from hyperbolic geometry appear in art, networks, relativity, and models of curved surfaces.
It also shows that Euclid's parallel postulate is not the only possible foundation for geometry.
In hyperbolic space, a line means the shortest path within that curved geometry, called a geodesic. In the Poincaré disk model, the entire infinite hyperbolic plane is drawn inside a finite circle, with geodesics shown as circular arcs that meet the boundary at right angles. Triangles in hyperbolic geometry always have angle sums less than 180 degrees, and the missing angle is related to the triangle's area.
Escher's circle-limit art uses this disk model to show repeated shapes that shrink toward the edge while representing equal hyperbolic sizes.
Key Facts
- Hyperbolic geometry has constant negative curvature, often written K < 0.
- Through a point not on a given line, there are infinitely many hyperbolic lines parallel to the given line.
- For every hyperbolic triangle, A + B + C < 180 degrees.
- Angular defect = 180 degrees - (A + B + C).
- For curvature K = -1, triangle area = pi - (A + B + C), when angles are measured in radians.
- In the Poincaré disk, geodesics are diameters or circular arcs that meet the boundary circle at 90 degrees.
Vocabulary
- Hyperbolic geometry
- A non-Euclidean geometry with negative curvature where the Euclidean parallel postulate is replaced by infinitely many parallels.
- Geodesic
- The shortest path between nearby points within a given geometry or surface.
- Poincaré disk
- A model of the infinite hyperbolic plane drawn inside a circle, preserving angles but distorting distances.
- Negative curvature
- Curvature shaped locally like a saddle, bending in opposite directions along perpendicular paths.
- Angular defect
- The amount by which a hyperbolic triangle's angle sum falls short of 180 degrees.
Common Mistakes to Avoid
- Treating Poincaré disk arcs as ordinary Euclidean circles only, which is wrong because they represent hyperbolic straight lines called geodesics.
- Assuming every triangle has angle sum 180 degrees, which is wrong in hyperbolic geometry because negative curvature makes triangle angle sums less than 180 degrees.
- Thinking shapes near the edge of the Poincaré disk are physically smaller, which is wrong because the disk model distorts distance and equal hyperbolic shapes appear smaller near the boundary.
- Using Euclidean distance measurements inside the disk, which is wrong because hyperbolic distance grows rapidly as points approach the boundary circle.
Practice Questions
- 1 A hyperbolic triangle has angles 50 degrees, 60 degrees, and 40 degrees. Find its angle sum and angular defect.
- 2 For curvature K = -1, a hyperbolic triangle has angles pi/3, pi/4, and pi/6 radians. Use area = pi - (A + B + C) to find its area.
- 3 In the Poincaré disk model, why can many different geodesics through one point avoid intersecting a given geodesic, even though this cannot happen in Euclidean geometry?