直线是半径无穷大的圆,平行线相交于无穷远的说法正确吗?

在数学的某些场合中,这个说法是完全正确的,比如在射影几何当中,直线是半径无穷大的圆,以及平行线相交于无穷远处都是正确的描述,而射影几何属于欧式几何的一部分。

“直线是半径无穷大的圆”——这个描述表面上看起来似乎有些道理,但是总觉得哪不对,于是很多人首先会把这个说法当成错误的。

实际上,在射影几何当中,这个结论不仅是正确的,而且还变得相当重要,类似的描述还有“平行线相交于无穷远”。

在射影几何当中,有一个非常漂亮的原理——对偶原理,指在平面射影几何当中,我们把一个定理当中的对偶元素互换,相对应的性质也替换后,得到的命题依然成立;比如“点”和“直线”、“直线”和“平面”就是对偶元素。

而“过两点只能做一条直线”和“两条线只能交于一点”就属于对偶的两个定理,对偶原理非常强大,对于射影几何中的任何定理,利用对偶原理之后都可以得到一个全新的定理,比如1640年法国数学家发现了著名的六边形定理:

Pascal六边形定理:如果一个六边形内接于一条圆锥曲线,则该六边形的三对对边的交点共线。

然后在一百多年后的1806年,一位法国大学生布列安桑,发现了另外一个著名的六边形定理:

Brianchon六边形定理:如果一个六边形的六条边都和一条圆锥曲线相切,则该六边形的三对顶点的连线相交于一点。

如果我们不使用对偶原理,那么后一个六边形定理的证明将会变得十分复杂,一旦有了对偶原理,我们利用Pascal六边形定理得到后者只需要几分钟而已,这种数学原理之间的对称性相当美妙。

但是问题在于,我们在使用对偶原理时,必须接受“平行线相交于无穷远”这个描述,如果我们不承认这个描述,那么我们使用对偶原理时将会出现很多例外,一旦我们接受了这个描述,对偶原理将没有任何例外。

同样,关于“直线是半径无穷大的圆”,也是射影几何当中使用的正确描述,我们在使用对偶原理时也必须承认这个假设成立。

射影几何只是欧式平面几何的一部分,虽然对偶原理仅限于在射影几何中使用,但是对偶原理的思想在很多地方都有遇到,比如电磁学中的“电”和“磁”,电路分析当中的“并联”和“串联”、“电容”和“电抗”等等。