Proof of a theorem from the theory of eliptic functions. (Q1543986)

Die Grössen \(K\) und \(K'\) sind bekanntlich durch die Werte der Integrale \[ K=\int_0^{\frac {\pi}{2}} \frac{d\varphi}{\sqrt{1-k^2\sin^2\varphi}}, \quad K'=\int_0^{\frac{\pi}{2}} \frac{d\psi}{\sqrt{1-k'^2\sin^2\psi}} \] eindeutig definirt, wenn man von dem Gebiete \(k^2\) alle reellen Werte von \(-\infty\) bis 0 und von \(+1\) bis \(+\infty\) (incl. 0 und +1) ausschliesst und jeder der Quadratwurzeln denjenigen Wert beilegt, dessen erste Coordinate positiv ist. Es wird nun ein Beweis dafür gegeben, dass \(K, K'\) immer endlich und von Null verschieden bleiben und dass \(K, K'\) und \(\frac{K'}{K}\) positive erste Coordinaten haben.