此條目缺少有關有限域上的椭圆曲线的信息。 (2019年8月11日) 請擴充此條目相關信息。討論頁可能有詳細細節。

此條目已列出參考文獻，但因為沒有文內引註而使來源仍然不明。 (2018年1月29日) 请加上合适的文內引註来改善这篇条目。

在數學上，橢圓曲線（英語：Elliptic curve，縮寫為EC）為一平面代數曲線，由如下形式的方程定义

${\displaystyle y^{2}=x^{3}+ax+b\,}$，

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

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

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

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

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

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

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

${\displaystyle y^{2}=x^{3}+ax+b}$

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

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

${\displaystyle \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-有理點（英语：rational point）是曲線E上的點，且座標在K的域內，包括無窮遠點。K-有理點的集合是E(K)，本身也是一個群，因為根據多項方程式的性質可得：若P在E(K)內，則−P也在E(K)內，若P, Q和R中有兩點在E(K)內，則第三點也一樣。而且，若K是L的子域，則E(K)就是E(L)的子群。

上面的群可以用代數方式定義。給定域${\displaystyle K}$（其中${\displaystyle K}$的特徵值非2或者3）上的曲線${\displaystyle E:y^{2}=x^{3}-px-q\,}$，及非無窮遠點${\displaystyle P(x_{P},y_{P}),Q(x_{Q},y_{Q})\in E}$。先假設${\displaystyle x_{P}\neq x_{Q}}$，設${\displaystyle s={\frac {y_{P}-y_{Q}}{x_{P}-x_{Q}}}}$（因${\displaystyle K}$是域，${\displaystyle s}$有定義）。定義${\displaystyle R=P+Q\,}$。

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

${\displaystyle (sx+d)^{2}=x^{3}+ax+b}$

展開後可以得到：

${\displaystyle x^{3}-s^{2}x^{2}-2sdx+ax+b-d^{2}=0}$

${\displaystyle P,Q,R}$是两個方程式的交点，即方程的解：

${\displaystyle (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}}$

替换系数后可得：

${\displaystyle x_{R}=s^{2}-x_{P}-x_{Q}\,}$

${\displaystyle y_{R}=s(x_{P}-x_{R})\,-y_{P}}$

若${\displaystyle x_{P}=x_{Q}\,}$：

• 若${\displaystyle y_{P}=-y_{Q}\,}$，${\displaystyle P+Q=0\,}$。
• 若${\displaystyle y_{P}=y_{Q}\,}$，${\displaystyle R=2P\,}$。將${\displaystyle E}$微分後可以得到：

${\displaystyle s={\frac {3{x_{P}}^{2}+a}{2y_{P}}}\,}$

${\displaystyle x_{R}=s^{2}-2x_{P}\,}$

${\displaystyle y_{R}=-y_{P}+s(x_{P}-x_{R})\,}$

此章节尚無任何内容，需要扩充。

此章节尚無任何内容，需要扩充。

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

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

${\displaystyle y^{2}=x^{3}-px-q}$

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

${\displaystyle y^{2}=4x^{3}+b_{2}x^{2}+2b_{4}x+b_{6}}$

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

${\displaystyle y^{2}+a_{1}xy+a_{3}y=x^{3}+a_{2}x^{2}+a_{4}x+a_{6}}$

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

• 黑森曲线（英语：Hessian form of an elliptic curve）
• 爱德华曲线（英语：Edwards curve）
• 扭曲线（英语：Twists of curves）
• 扭黑森曲线（英语：Twisted Hessian curves）
• 扭爱德华曲线（英语：Twisted Edwards curve）
• 雅可比曲线（英语：Jacobian curve）

• 椭圆曲线密码学

• I. Blake; G. Seroussi, N. Smart, N.J. Hitchin. Elliptic Curves in Cryptography. Cambridge Univ. Press. 2000. ISBN 978-0-521-65374-9.  引文使用过时参数coauthors (帮助)
• 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.  引文使用过时参数coauthors (帮助) 引文格式1维护：冗余文本 (link)
• John Cremona. Alogorithms for Modular Elliptic Curves. Cambridge Univ. Press. 1992. 
• Dale Husemöller. Elliptic Curves 2nd edition. Springer. 2004.  引文格式1维护：冗余文本 (link)
• Kenneth Ireland; Michael Rosen. Chapters 18 and 19. A Classical Introduction to Modern Number Theory 2nd edition. Springer. 1990.  引文使用过时参数coauthors (帮助) 引文格式1维护：冗余文本 (link)
• 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.  引文格式1维护：冗余文本 (link)
• 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.  引文使用过时参数coauthors (帮助)
• Lawrence Washington. Elliptic Curves: Number Theory and Cryptography. Chapman & Hall/CRC. 2003. ISBN 978-1-58488-365-4. 

• The Mathematical Atlas: 14H52 Elliptic Curves
• 埃里克·韦斯坦因. Elliptic Curves. MathWorld.