有理曲线

有理曲线是为了统一表示自由曲线和圆锥曲线而发展起来的，它与普通Bezier曲线，B-Spline曲线一样，是一种逼近形式，有很好的几何直观性，通过对控制顶点的调整，即可实现对曲线形状的控制，同时有理曲线上每个顶点上的权因子又为形状控制提供了新的自由度。综合使用以权因子为基础的方法和以控制顶点为基础的方法可以对曲线形状进行更为直观、快速准确的控制，在飞机、轮船、汽车等复杂外形产品的几何设计中有实用价值。^[1]

在代数曲线中，其上的点的坐标可用一个参数的有理函数表示的曲线，称为有理曲线。已经证明，多重点至多为个的n次代数曲线是有理曲线。例如，代数曲线是以为参数由表示的有理曲线。^[2]

亏格式0的代数曲线就是有理曲线。^[3]

射影直线是有理曲线。

证明：的函数域，则。是的全部标准离散赋值。设其对应的赋值环为和，则是的极大理想的生成元，是的极大理想的生成元。因对所有的成立，因此对所有的成立。又因，得，故有，因此的亏格为零。

设X 是光滑的射影曲线，则X同构于，当且仅当存在X上两个不同点P,Q相互线性等价。

证明：设，则是上的非平凡的有理函数，和分别是的单零点和单极点，且在没有其他零点和极点。因此，线性等价于。

反之设X上两个线性等价点,，则存在，使。于是是一个有限扩张，令，则是的一个离散赋值环，并且是的极大理想的生成元，故点在之上的分歧指数。由于是在中的唯一的扩张，故有，即。

有理曲线同构于射影直线。

证明：设 X 是有理曲线，P 是 X 上任意一点，则由R-emann-Roch定理得，因此存在与线性等价，根据定理二可得X 与射影直线同构。^[3]

设是从有理曲线到光滑射影曲线上的一个态射，假定所诱导的函数域扩张是可分的，则是有理曲线。

证明：设n是的次数，则根据Hurwitz公式有，因，，故。^[3]