Equivalence of Definitions of Complete Elliptic Integral of the First Kind

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

Let $v := \sin \phi$.

Then we have:

Hence:

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