Elliptic collinearity determinant
ID: elliptic-collinearity-determinant
The determinant of the columns , and vanishes identically. Its apparent cubic poles at have order at most two because the coefficient multiplying the cubic-pole entry vanishes linearly. Column coincidences give six zeros, unless is a lattice point, when they give four zeros with one multiple zero. In the half-period case, the two apparent zero locations at poles are removable zeros: and the two terms cancel, leaving . Thus the zero count exceeds possible pole order in every case. The argument principle proves the identity, which expresses collinearity of the three points on the Weierstrass equation of an elliptic curve.
New to topics? Read the docs here!