Mathematics
Hyperbolic Geometry and the Poincaré Disk Model
Quick fact
In the Poincaré disk, the 'straightest' lines are actually circular arcs that meet the boundary at right angles, and the sum of a triangle's angles is always less than 180°—famously, the bigger the triangle, the smaller its angle sum.
Why this is interesting
You’ve probably learned that parallel lines never meet. But what if they could? In a curved world, the rules change—and the Poincaré disk lets you see how.
Read the full explanation
Understanding Hyperbolic Geometry and the Poincaré Disk Model
Imagine drawing on a rubber sheet that is stretched and pinched into a saddle shape, curving up at the front and back, and down at the sides. This is a surface with constant negative curvature. On such a surface, the usual rules of flat geometry break down. For example, a triangle drawn on a saddle has angles that add up to less than 180°. The Poincaré disk is a clever way to portray this infinite saddle-like surface in a finite circle on a flat page. It works like a fisheye lens: everything near the boundary is heavily compressed, so the farther you go, the smaller things appear. To see an object at the edge of the disk, you have to be compressed infinitely small, which lets the disk contain an infinite amount of space. In this model, 'straight lines' (geodesics) are not straight in the usual sense. They are either diameters of the disk or arcs of circles that meet the boundary circle at right angles. This distortion is the price for cramming an infinite space into a finite picture. But the model is exact: all the geometric relationships, like distances and angles, are defined so that the properties of hyperbolic geometry are faithfully reproduced.
A deeper explanation
The Poincaré disk model is built on a specific way of measuring distances. The actual distance between two points is not the Euclidean distance you would measure with a ruler; instead, it is a special formula that makes the space uniform in its negative curvature. The closer points are to the boundary, the larger the distance between them appears in the Euclidean picture. This is why the boundary is 'at infinity'—you can never actually reach it. This distortion preserves angles, meaning the angle between two geodesics in the model is exactly the Euclidean angle between their circular arcs. This property makes the model convenient for studying hyperbolic tessellations and geometric transformations. Hyperbolic geometry is the geometry of constant negative curvature, and the Poincaré disk is one of its standard models. It reveals that space need not be Euclidean; it can be curved, and the rules of geometry change accordingly. This insight is foundational for general relativity, where gravity is treated as curvature of spacetime, and it also has surprising connections to art, such as in M.C. Escher's circle limit prints, and to number theory and topology.