椭圆曲线

在数学上，椭圆曲线（英语：Elliptic curve，缩写为EC）为一平面代数曲线，由如下形式的方程定义

y^2=x^3+ax+b\,

，

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

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

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

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

实数域上的椭圆曲线

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

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

y^2 = x^3 + ax + b

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

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

\Delta = -16(4a^3 + 27b^2)

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

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

群

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

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

上面的群可以用代数方式定义。给定域 $K$ （其中 $K$ 的特征值非2或者3）上的曲线 $E: y^2 = x^3 - px - q\,$ ，及非无穷远点 $P(x_P,y_P), Q(x_Q, y_Q) \in E$ 。先假设 $x_P \ne x_Q$ ，设 $s = \frac{y_P - y_Q}{x_P - x_Q}$ （因 $K$ 是域， $s$ 有定义）。定义 $R = P+Q\,$ 。

因为 $P,Q,R$ 共线，令该直线 $F$ 的方程为 $y = sx + d\,$ 。直线 $F$ 与曲线 $E$ 相交，有：

(sx + d)^2 = x^3 - px - q\, \Rightarrow 0 = x^3 - s^2 x^2 - 2xd - px - q - d^2

$P,Q,R$ 是两线的交点，即方程的解。有：

0 = (x - x_P) (x - x_Q) (x - x_R) = x^3 + x^2 (-x_P - x_Q - x_R) + x (x_P x_Q + x_P x_R + x_Q x_R) - x_P x_Q x_R

替换系数后可得：

x_R = s^2 - x_P - x_Q\,

y_R = -y_P + s(x_P - x_R) \,

若 $x_P = x_Q\,$ ：

若 $y_P = -y_Q\,$ ， $P+Q = 0\,$ 。
若 $y_P = y_Q\,$ ， $R = 2P\,$ ，其值为：

s = \frac{3{x_P}^2 - p}{2y_P}\,

x_R = s^2 - 2x_P\,

y_R = -y_P + s(x_P - x_R)\,

复数域上的椭圆曲线

有理数域上的椭圆曲线

一般域上的椭圆曲线

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

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

y^2 = x^3 - px - q

其中p和q为K中的元素，使得右手边的多项式x³ − px − q没有二重根。如果特征等于2或3，那么需要保留更多项：在特征为3的情况下，最一般的方程具有如下形式

y^2 = 4x^3 + b_2 x^2 + 2b_4 x + b_6

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

y^2 + a_1 xy + a_3 y = x^3 + a_2 x^2 + a_4 x + a_6

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

椭圆曲线的其他表示

应用

椭圆曲线密码学

参考文献

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.

外部链接