Abstract:We revisit the group structure on elliptic curves and give a simple and elementary proof of the associativity of the addition. We do this by providing an explicit formula for the sum of three points, only using the explicit definition of the group structure. In the process we find a nice geometric interpretation of the sum of three points on the elliptic curve.
What problem does this paper attempt to address?
This paper attempts to solve the problem of associativity of the group law on elliptic curves. Specifically, the author Sander Zwegers re - examined the group structure on elliptic curves and provided a simple and elementary proof method to verify the associativity of addition. This proof only uses the explicit definition of the group structure and avoids complex computer - aided calculations.
### Main Problems
1. **Associativity of the Group Law on Elliptic Curves**:
The set of points on an elliptic curve \(E\) forms an Abelian group under the addition operation, where the point at infinity \(O\) serves as the zero element. However, the associativity of the addition operation (i.e., for any three points \(P_1, P_2, P_3\in E\), \((P_1 + P_2)+P_3 = P_1+(P_2 + P_3)\)) is the most complex part of the proof.
2. **Limitations of Existing Methods**:
Previous methods usually rely on the theory of elliptic functions in complex analysis (such as the Weierstraß ℘ - function) or advanced algebraic geometry (such as the Riemann - Roch theorem, the Cayley - Bacharach theorem, and the Bézout theorem). Although these methods are effective, they are relatively complex and not easy to understand.
### Main Contributions of the Paper
- **Elementary Proof**: The author provided a completely elementary proof method, avoiding complex computer - aided calculations.
- **Explicit Formulas**: Gave the explicit coordinate formulas for the sum of three points and simplified the proof of associativity through geometric interpretation.
- **Geometric Interpretation**: Discovered a new geometric interpretation, that is, a parabola is determined by three points, and the fourth intersection point of this parabola and the elliptic curve is exactly the opposite point of the sum of these three points.
### Key Formulas
For three points \(P_1=(x_1, y_1), P_2=(x_2, y_2), P_3=(x_3, y_3)\) on an elliptic curve \(E\), the coordinates of their sum \(P_4=(x_4, y_4)\) are given by the following formulas:
\[
x_4=-x_1 + x_2 - x_3+\frac{1}{c_2^2}-\frac{2c_1}{c_2}
\]
\[
y_4=-y_2-(x_4 - x_2)(c_1 + x_4c_2)
\]
where
\[
c_1=\frac{x_1\alpha(P_2, P_3)-x_3\alpha(P_1, P_2)}{x_1 - x_3}
\]
\[
c_2=\frac{\alpha(P_1, P_2)-\alpha(P_2, P_3)}{x_1 - x_3}
\]
Here, \(\alpha(P_i, P_j)\) is the slope parameter, defined as:
\[
\alpha(P_i, P_j)=
\begin{cases}
\frac{y_j - y_i}{x_j - x_i}, & \text{if }x_i\neq x_j\\
\frac{3x_i^2 + a}{2y_i}, & \text{if }x_i = x_j
\end{cases}
\]
### Geometric Interpretation
The author also provided a geometric interpretation: a parabola is determined by three points \(P_1, P_2, P_3\) on an elliptic curve, and the fourth intersection point of this parabola and the elliptic curve is exactly the opposite point of \(-(P_1 + P_2 + P_3)\).
### Summary
This paper solves the problem of proving the associativity of the group law on elliptic curves by providing an elementary and intuitive method and gives a concise geometric interpretation, making this complex problem easier to understand and apply.