Ewing, John H. (ed.) et al., Paul Halmos. Celebrating 50 years of mathematics. New York: Springer-Verlag. 305-315 (1991).
be the complete elliptic integrals of first or second kind, with parameter
, respectively. Legendre’s relation asserts that
. Author presents three proofs. The first is by Legendre’s method of evaluating elliptic integrals, the second via hypergeometric equations and the third based upon elliptic functions rather than integrals. While the author’s favorite seems to be the third, this reviewer prefers the second:
are solutions of the same (hypergeometric) linear differential equation of second-order, so they satisfy a Wronskian relation which (after short but skillful calculations) turns out to be the Legendre relation.