雙曲幾何

双曲几何又名罗氏几何（罗巴切夫斯基几何），是非欧几里德几何的一种特例。與欧几里德几何的差別在於第五條公理（公設）－平行公設。在欧几里德几何中，若平面上有一條直線R和線外的一點P，則存在唯一的一條線滿足通過P點且不與R相交（即R的平行線）。但在雙曲幾何中，至少可以找到兩條相異的直線，且都通過P點，並不與R相交，因此它違反了平行公設。然而，取代欧几里德几何中的平行公設的雙曲幾何本身並無矛盾之處，仍可以推得一系列屬於它的定理，這也說明了平行公設獨立於前四條公設，換句話說，無法由前四條公設推得平行公設。 到目前為止，數學家對雙曲幾何中平行線的定義尚未有共識，不同的作者會給予不同的定義。这里定義兩條逐漸靠近的線為漸近線，它們互相漸進；兩條有共同垂直線的線為超平行線，它們互相超平行，並且兩條線為平行線代表它們互相漸進或互相超平行。雙曲幾何還有一項性質，就是三角形的內角和小於一個平角（180°）。在極端的情況，三角形的三邊長趨近於無限，而三內角趨近於0°，此時該三角形稱作。 双曲几何专门研究当平面变成鞍马型之后，平面几何到底还有哪些可以适用，以及会有甚麼特別的现象產生。在双曲几何的环境裡，平面的曲率是負数。