跳转到内容

椭圆曲线

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

數學上,橢圓曲線(英語:Elliptic curve,縮寫為EC)為一平面代數曲線,由如下形式的方程定义

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

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

,其中P為任一沒有重根的三次或四次多項式,然後可得到一虧格1的無奇點平面曲線,其通常亦被稱為橢圓曲線。更一般化地,一虧格1的代數曲線,如兩個三維二次曲面相交,即稱為橢圓曲線。

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

椭圆曲线的形狀不是椭圆。命名為椭圆曲线的原因是此曲线原來和椭圆函数有關。在拓扑学上,複數的椭圆曲线是环面,而複數的椭圆會是球面

实数域

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

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

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

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

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

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

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

群律

射影平面上,可以定義任意光滑三次曲線的群結構。若以Weierstrass正規式表示,曲線會多一個無窮遠點O,其齐次坐标 [0:1:0],也是群的單位元。.

因為曲線的對稱軸是X軸,假定任意點P,可以在相對X軸的位置找到點−P,令−O即為O

PQ是曲線上的二點,可以用以下的方式定義唯一的第三點P + Q。先劃出通過PQ的直線,大多數的情形下,此直線會和曲線交於第三點R,令P + Q為−R,是R相對X軸的對應點。

在少數的情形下,以上的定義會不適用,分別是有關無窮遠點的情形,以及兩點重合的情形。若其中有一點是無窮遠點O,則定義P + O = P = O + P,因此O是群的單位元,若PQ是以X軸為對稱軸的對稱點,則定義P + Q = O。若P = Q,只有一個點,無法定義通過兩點的線,則改用通過該點的切線代替。大部份的心情形下,切線會和曲線有另一個交點R,因此可以找到-R。若P恰好是曲率符號改變的拐点,切線和曲線沒有其他交點,則令R等於P,因此P + P就是-P

若曲線不是Weierstrass正規式,可以定義群結構,指定九個拐點中的一個為單位元O。在射影平面上,每一條線都會和曲線有三個交點。對於一點P,−P就是通過OP的直線,和曲線相交的第三點。對於任意PQP + Q定義為−R,而R是通過PQ的直線,和曲線相交的第三點。

K是曲線定義所在的域,且令曲線為E,則EK-有理點英语rational point是曲線E上的點,且座標在K的域內,包括無窮遠點。K-有理點的集合是E(K),本身也是一個群,因為根據多項方程式的性質可得:若PE(K)內,則−P也在E(K)內,若P, QR中有兩點在E(K)內,則第三點也一樣。而且,若KL的子域,則E(K)就是E(L)的子群

上面的群可以用代數方式定義。給定域(其中的特徵值非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. 

外部連結