Hyperbolic Geometry & the Poincaré Disk
Non-Euclidean geometry where parallels diverge and triangles have less than 180°.
The parallel postulate fails in hyperbolic geometry: through a point not on a given line, infinitely many lines fail to meet it. Equivalently, the angle sum of every triangle is strictly less than $\pi$; the defect equals the triangle's area (Gauss–Bonnet).
The Poincaré disk model realizes the hyperbolic plane as the open unit disk with metric
$$ds^2 = \frac{4(dx^2 + dy^2)}{(1 - x^2 - y^2)^2}.$$Distances diverge as you approach the boundary; geodesics are diameters and circular arcs perpendicular to the boundary. Hyperbolic isometries form $\mathrm{PSL}(2, \mathbb R)$.
The hyperbolic plane is the universal cover of every closed surface of genus $\geq 2$ — these surfaces inherit a constant negative-curvature metric. Thurston's geometrization (and Perelman's proof for the 3D Poincaré conjecture) shows that hyperbolic geometry dominates the topology of 3-manifolds.