I have an understanding problem that I want to geometrically solve regarding elliptic curves.
It is clear how two points are added: Draw the line that passess through the points (if it is the same point, just draw the tangent) and reflect the third point that intersects this line with the elliptic curve.
Let me go to the special cases:
- If one wants to add one point $P$ to itself and it happens that the tangent line does not intersect to any other point that means that $P + P = 2P = \mathcal{O}$. In other words, the point is inverse to itself (is it this statement true?). This usually happens when the $y$-coordinate of this point is $y_P = 0$.
- Now comes the main problem: There are points such that the line that passess trhough them does not intersect (geometrically) a third point (look at the following image). What is going on (both geometrically and analytically) with these points? What would happen if I substitute the line equation $y = cm +d$ to the equation of the curve $y^2 = x^3 + ax +b$? They are clearly not inverse points, but they aswell sum to the infinity point $\mathcal{O}$.
