双曲几何又名罗氏几何,是非欧几里德几何的一种特例。与欧几里德几何的差别在于第五条公理-平行公设。在欧几里德几何中,若平面上有一条直线R和线外的一点P,则存在唯一的一条线满足通过P点且不与R相交。但在双曲几何中,至少可以找到两条相异的直线,且都通过P点,并不与R相交,因此它违反了平行公设。然而,取代欧几里德几何中的平行公设的双曲几何本身并无矛盾之处,仍可以推得一系列属于它的定理,这也说明了平行公设独立于前四条公设,换句话说,无法由前四条公设推得平行公设。
双曲几何又名罗氏几何,是非欧几里德几何的一种特例。与欧几里德几何的差别在于第五条公理-平行公设。在欧几里德几何中,若平面上有一条直线R和线外的一点P,则存在唯一的一条线满足通过P点且不与R相交。但在双曲几何中,至少可以找到两条相异的直线,且都通过P点,并不与R相交,因此它违反了平行公设。然而,取代欧几里德几何中的平行公设的双曲几何本身并无矛盾之处,仍可以推得一系列属于它的定理,这也说明了平行公设独立于前四条公设,换句话说,无法由前四条公设推得平行公设。