Weierstrass addition formula

ID: weierstrass-addition-formula

For generic fixed , regard the right side as an elliptic function of . The apparent pole at zero cancels, giving limiting value . At the slope ratio is finite. At , its squared slope has the same double principal part as and no simple pole term. These exhaust the possible poles because the Weierstrass elliptic function has degree two. The difference is therefore an entire elliptic function, hence constant by Liouville theorem, and its value at zero is zero. Meromorphic continuation extends the identity to the exceptional parameters.

New to topics? Read the docs here!