在
高等数学中的平行线的定义是相交于无限远的两条直线为平行线,因为理论上是没有绝对的平行的。
在欧氏几何中,在两条平行线中做一条直线AB,以直线AB为半径以逆时针方向做圆,然后以直线AB为半径以顺时针方向再做一个圆,从两个圆的交点做垂线CD垂直于直线AB,若CD与AB的角的角度是90度,则说明两条平行线不会相交。
但
欧几里得不敢思考当两条平行线无限长时的情况.....
于是包括
罗素、黎曼在内的科学家假设当两条平行线无限长时,他们会在无穷远处相交。(例如:在地球的球面上,就会发现,相互垂直于赤道的经线会相交于北极点和南极点。)后来,非欧几何和黎曼空间就诞生了,该成果给了
爱因斯坦很大的启发.