[[Image:EllipticCurveCatalog.svg|right|thumb|392px|椭圆曲线列表。图中所示的区域为[-3,3]^2（当(a, b) = (0, 0)时函数不光滑，因此不是椭圆曲线。）]]
在數學上，橢圓曲線（，縮寫為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。
群律
在射影平面上，可以定義任意光滑三次曲線的群結構。若以Weierstrass正規式表示，曲線會多一個無窮遠點O，其齐次坐标 [0:1:0]，也是群的單位元。.
因為曲線的對稱軸是X軸，假定任意點P，可以在相對X軸的位置找到點-P，令-O即為O。
若P和Q是曲線上的二點，可以用以下的方式定義唯一的第三點P+Q。先劃出通過P和Q的直線，大多數的情形下，此直線會和曲線交於第三點R，令P+Q為-R，是R相對X軸的對應點。
在少數的情形下，以上的定義會不適用，分別是有關無窮遠點的情形，以及兩點重合的情形。若其中有一點是無窮遠點O，則定義P+O=P=O+P，因此O是群的單位元，若P和Q是以X軸為對稱軸的對稱點，則定義P+Q=O。若P=Q，只有一個點，無法定義通過兩點的線，則改用通過該點的切線代替。大部份的心情形下，切線會和曲線有另一個交點R，因此可以找到-R。若P恰好是曲率符號改變的拐点，切線和曲線沒有其他交點，則令R等於P，因此P+P就是-P。
若曲線不是Weierstrass正規式，可以定義群結構，指定九個拐點中的一個為單位元O。在射影平面上，每一條線都會和曲線有三個交點。對於一點P，-P就是通過O和P的直線，和曲線相交的第三點。對於任意P和Q，P+Q定義為-R，而R是通過P和Q的直線，和曲線相交的第三點。
令K是曲線定義所在的域，且令曲線為E，則E的K-是曲線E上的點，且座標在K的域內，包括無窮遠點。K-有理點的集合是E(K)，本身也是一個群，因為根據多項方程式的性質可得：若P在E(K)內，則-P也在E(K)內，若P, Q和R中有兩點在E(K)內，則第三點也一樣。而且，若K是L的子域，則E(K)就是E(L)的子群。
上面的群可以用代數方式定義。給定域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 + ax + b
展開後可以得到：
:x^3 - s^2 x^2 - 2sdx + ax + b - d^2 = 0
P,Q,R是两個方程式的交点，即方程的解：
: (x - x_P) (x - x_Q) (x - x_R) = x^3 + (-x_P - x_Q - x_R) x^2 + (x_P x_Q + x_P x_R + x_Q x_R) x - x_P x_Q x_R
替换系数后可得：
:x_R = s^2 - x_P - x_Q\,
:y_R = s(x_P - x_R) \, -y_P
若x_P = x_Q\,：
- 若y_P = -y_Q\,，P+Q = 0\,。
- 若y_P = y_Q\,，R = 2P\,。將E微分後可以得到：
:s = \frac{3{x_P}^2 + a}{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^3-px-q没有二重根。如果特征等于2或3，那么需要保留更多项：在特征为3的情况下，最一般的方程具有如下形式
:y^2 = 4x^3 + b_2 x^2 + 2b_4 x + b_6
这里常数b_2, b_4, b_6可以任取，但需满足使得右手边的多项式无重根（写成这个形式有历史原因）。在特征为2的情况下，即使是这种形式也不够，其最一般的方程为
:y^2 + a_1 xy + a_3 y = x^3 + a_2 x^2 + a_4 x + a_6
需满足所定义的簇是非奇异的。
其他表示
*
*
*
*
*
*
应用
- 椭圆曲线密码学
參考文獻
*
*
*
*
*
*
*
*
*
*
*
*
*
外部連結
- [https://web.archive.org/web/20030223074754/http://www.math.niu.edu/~rusin/known-math/index/14H52.html The Mathematical Atlas: 14H52 Elliptic Curves]
*
评论 (0)