双曲几何

罗巴切夫斯基几何，也称双曲几何，波利亚-罗巴切夫斯基几何或罗氏几何，是一种独立于欧几里得几何的一种几何公理系统。双曲几何的公理系统和欧氏几何的公理系统不同之处在于欧几里得几何的“第五公设”（又称平行公理，等价于“过直线之外一点有唯一的一条直线和已知直线平行”）被代替为“双曲平行公理”（等价于“过直线之外的一点至少有两条直线和已知直线平行”）。在这种公理系统中，经过演绎推理，可以证明一系列和欧氏几何内容不同的新的几何命题，比如三角形的内角和小于180度。