Equivalence of Definitions of Complete Elliptic Integral of the Second Kind

Proof
Let $\map E k$ be the complete elliptic integral of the second kind by definition $1$.

Let $v := \sin \phi$.

Then we have:

Hence:

Thus $\map E k$ is the complete elliptic integral of the second kind by definition $2$.