The recurrence relations for division polynomials of elliptic curves are well known:
$$\Psi\_{2n} = \Psi\_n \left( \Psi\_{n+2} \Psi\_{n-1}^2 - \Psi\_{n-2} \Psi\_{n+1}^2 \right) / \ 2y$$
$$\Psi\_{2n+1} = \Psi\_{n+2} \Psi\_n^3 - \Psi\_{n+1}^3 \Psi\_{n-1}$$


Who originally discovered these relations?


~~For some reason, a number of works do not cite the origin of the relations, e.g. Silverman's 2nd edition of *The Arithmetic of Elliptic Curves*, exercise 3.7 just gives them plainly.~~ See edit:


SageMath cites Appendix A from [Mazur-Tate](https://projecteuclid.org/journals/duke-mathematical-journal/volume-62/issue-3/The-p-adic-sigma-function/10.1215/S0012-7094-91-06229-0.short) from 1991 and they take a few pages to describe the discovery in full. However, they also show up in [this paper](http://www.mat.uniroma2.it/%7Eschoof/ctpts.pdf) (p.485, pdf p.4) from Schoof from 1985, citing Lang's
*Elliptic Curves; Diophantine Analysis* from 1978. Indeed, on page 37 of Lang we find the above result as Theorem 1.3, but again without a reference.


EDIT: I was wrong about Silverman not giving citations, they are just in the back of the book (p. 461) and he cites Lang, and also the same work by Cassels as given in the answer by Jeremy Rouse.



Reference request for recurrence relation of division polynomials
These recurrences are stated explicitly in Weber's *Lehrbuch der Algebra* (published in 1908). See [volume 3, section 58, page 200](https://archive.org/details/lehrbuchderalgeb03webeuoft/page/200/mode/2up). Weber doesn't give a citation to them, so it's hard to know if they were worked out by him or not.


I found the passage in Weber via J.W.S. Cassels 1949 article ''[A note on the division values of $\wp(u)$](https://doi.org/10.1017/S0305004100024683)'' which I believe is the source for the exercise in Silverman's *Arithmetic of Elliptic Curves*. Cassels gives references for these recurrences to Fricke (1922), Weber (1908) and Jordan (1913).


