"离经叛道”的非欧几何（上）

欧氏几何的公理系统包括五大公理和五大公设，其中第五公设——在直线外一点做已知直线的平行线有且只有一条——看着不太像公理，于是数学家们总想试图证明它。而罗巴切夫斯基却反其道而行之，竟然声称：过直线外一点可以做出两条平行线，由此缔造出一种非欧几何——双曲几何，引发数学史上的一场革命。