PPT Slide
Given an elliptic curve E with point P = (0,0,1) and
gcd(a3,a4) = 1, then for all k ɭ
Zk+2Zk-2 = Zk+1Zk-1Z22 - Z1Z3Zk2
An elliptic divisibility sequence is a sequence of integers {h} which is a particular solution of
hm+nhm-n = hm+1hm-1hn2 - hn+1hn-1hm2
and such that hn|hm whenever n|m.
It follows that the Zk form an elliptic divisibility sequence.