万维百科

椭圆曲线

椭圆曲线列表。图中所示的区域为[−3,3]2 (当(a, b) = (0, 0)时函数不光滑,因此不是椭圆曲线。)

数学上,椭圆曲线(英语:Elliptic curve,缩写为EC)为一平面代数曲线,由如下形式的方程定义

且满足其是无奇点的;亦即,其图形没有尖点自相交。(当系数域的特征为2或3时,上面的方程不能涵盖所有非奇异的三次曲线;见下面的#一般域上的椭圆曲线。)

正式地,椭圆曲线是光滑的、射影的、亏格为1的代数曲线,其上有一个特定的点O。椭圆曲线是阿贝尔簇 – 也就是说,它有代数上定义的乘法,并且对该乘法形成阿贝尔群 – 其中 O即为单位元。

,其中P为任一没有重根的三次或四次多项式,然后可得到一亏格1的无奇点平面曲线,其通常亦被称为椭圆曲线。更一般化地,一亏格1的代数曲线,如两个三维二次曲面相交,即称为椭圆曲线。

运用椭圆函数理论,我们可以证明定义在复数上的椭圆曲线对应于环面复射影平面内的嵌入。环面也是一个阿贝尔群,事实上,这个对应也是一个群同构

实数域上的椭圆曲线

曲线y2 = x3xy2 = x3x + 1的图像

尽管椭圆曲线的正式定义需要一定的代数几何背景,在实数上的椭圆曲线的一些特征可以使用入门级别的代数几何来描绘。

在这种情况下,椭圆曲线是由下列方程定义的平面曲线

其中ab为实数。这类方程被称为魏尔斯特拉斯方程

椭圆曲线的定义也要求曲线是非奇异的。几何上来说,这意味着图像里面没有尖点自相交或孤立点。代数上来说,这成立当且仅当判别式

不等于0。(尽管这里的因子−16与曲线是否是非奇异的无关,这样定义判别式在对椭圆曲线进行更深入的研究时有用。)

非奇异椭圆曲线的(实)图像在判别式为正的时候有两个连通分量,在判别式为负时则有一个连通分量。例如,在本小节的图像中,第一个曲线的判别式为64,而第二个曲线的判别式为−368。

定义无穷远点0为椭圆曲线E上的一点。定义 + 运算子:取E上的两点P,Q,若两者相异,P + Q表示穿过PQ的弦和椭圆曲线相交的第三点,再经x轴反射的镜像点;若两者是同一点,P+P=2P表示以P为切点和椭圆曲线相交的点再经x轴反射的镜像点。若P和Q的弦与y轴平行,P+Q=0(无限远点)。+定义了一个E上的交换群,这个群以0为单位元。

ECClines.svg

特别地,所有有理点组成了E的子群。

上面的群可以用代数方式定义。给定域(其中的特征值非2或者3)上的曲线,及非无穷远点。先假设,设(因是域,有定义)。定义

因为共线,令该直线的方程为。直线与曲线相交,有:

是两线的交点,即方程的解。有:

替换系数后可得:

  • ,其值为:

复数域上的椭圆曲线

有理数域上的椭圆曲线

一般域上的椭圆曲线

椭圆曲线可以被定义在任意 K上;椭圆曲线的正式定义是K上的亏格为1的非奇异射影代数曲线,并具有一个定义在K特殊的点。

如果K特征不等于2或3,那么K上每个椭圆曲线都能写成如下形式

其中pqK中的元素,使得右手边的多项式x3pxq没有二重根。如果特征等于2或3,那么需要保留更多项:在特征为3的情况下,最一般的方程具有如下形式

这里常数b2, b4, b6可以任取,但需满足使得右手边的多项式无重根(写成这个形式有历史原因)。在特征为2的情况下,即使是这种形式也不够,其最一般的方程为

需满足所定义的簇是非奇异的。

椭圆曲线的其他表示

  • 黑森曲线
  • 爱德华曲线
  • 扭曲线
  • 扭黑森曲线
  • 扭爱德华曲线
  • 雅可比曲线

应用

参考文献

  • I. Blake; G. Seroussi, N. Smart, N.J. Hitchin. Elliptic Curves in Cryptography. Cambridge Univ. Press. 2000. ISBN 978-0-521-65374-9.
  • Richard Crandall; Carl Pomerance. Chapter 7: Elliptic Curve Arithmetic. Prime Numbers: A Computational Perspective 1st edition. Springer. 2001: 285–352. ISBN 978-0-387-94777-8.
  • John Cremona. Alogorithms for Modular Elliptic Curves. Cambridge Univ. Press. 1992.
  • Dale Husemöller. Elliptic Curves 2nd edition. Springer. 2004.
  • Kenneth Ireland; Michael Rosen. Chapters 18 and 19. A Classical Introduction to Modern Number Theory 2nd edition. Springer. 1990.
  • Anthony Knapp. Elliptic Curves. Math Notes 40, Princeton Univ. Press. 1992.
  • Neal Koblitz. Introduction to Elliptic Curves and Modular Forms. Springer. 1984.
  • Neal Koblitz. Chapter 6. A Course in Number Theory and Cryptography 2nd edition. Springer. 1994. ISBN 978-0-387-94293-3.
  • Serge Lang. Elliptic Curves: Diophantine Analysis. Springer. 1978.
  • Joseph H. Silverman. The Arithmetic of Elliptic Curves. Springer. 1986.
  • Joseph H. Silverman. Advanced Topics in the Arithmetic of Elliptic Curves. Springer. 1994.
  • Joseph H. Silverman; John Tate. Rational Points on Elliptic Curves. Springer. 1992.
  • Lawrence Washington. Elliptic Curves: Number Theory and Cryptography. Chapman & Hall/CRC. 2003. ISBN 978-1-58488-365-4.

外部链接


本页面最后更新于2021-06-28 13:35,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器