La relación de Legendre

El arco seno lemniscático y el arco seno lemniscático complementario se definen de la siguiente manera:

${\displaystyle \operatorname {arcsl} (r)=\int _{0}^{r}{\frac {1}{\sqrt {1-\rho ^{4}}}}\,\mathrm {d} \rho ={\frac {1}{2}}{\sqrt {2}}\,K{\bigl (}{\tfrac {1}{2}}{\sqrt {2}}{\bigr )}-{\frac {1}{2}}{\sqrt {2}}\,E{\bigl [}\arccos(r);{\tfrac {1}{2}}{\sqrt {2}}{\bigr ]}}$

${\displaystyle \operatorname {arcsl} ^{*}(r)=\int _{0}^{r}{\frac {1+\rho ^{2}}{\sqrt {1-\rho ^{4}}}}\,\mathrm {d} \rho ={\sqrt {2}}\,E{\bigl (}{\tfrac {1}{2}}{\sqrt {2}}{\bigr )}-{\sqrt {2}}\,E{\bigl [}\arccos(r);{\tfrac {1}{2}}{\sqrt {2}}{\bigr ]}}$

Y estos derivados son válidos:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} r}}\operatorname {arcsl} (r)={\frac {1}{\sqrt {1-r^{4}}}}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} r}}\operatorname {arcsl} ^{*}(r)={\frac {1+r^{2}}{\sqrt {1-r^{4}}}}={\biggl (}{\frac {1+r^{2}}{1-r^{2}}}{\biggr )}^{1/2}}$

El caso lemniscático para la identidad de Legendre se puede demostrar de esta manera:

A continuación se presenta una fórmula que utiliza las funciones de arco lemniscático como antiderivadas:

${\displaystyle {\frac {1}{\sqrt {1-x^{4}}}}\operatorname {arcsl} ^{*}(x)-{\frac {1-x^{2}}{\sqrt {1-x^{4}}}}\operatorname {arcsl} (x)=\int _{0}^{1}{\frac {x^{3}(y^{2}+1)}{\sqrt {(1-x^{4})(1-x^{4}y^{4})}}}\,\mathrm {d} y}$

Al construir la antiderivada original en relación con x, aparece esta fórmula:

${\displaystyle \operatorname {arcsl} (x){\bigl [}\operatorname {arcsl} ^{*}(x)-\operatorname {arcsl} (x){\bigr ]}=\int _{0}^{1}{\frac {y^{2}+1}{2\,y^{2}}}{\biggl [}\operatorname {artanh} (y^{2})-\operatorname {artanh} {\bigl (}{\frac {{\sqrt {1-x^{4}}}\,y^{2}}{\sqrt {1-x^{4}y^{4}}}}{\bigr )}{\biggr ]}\mathrm {d} y}$

Al poner el valor${\displaystyle x=1}$Al introducir esa fórmula, se genera el siguiente resultado:

${\displaystyle \operatorname {arcsl} (1){\bigl [}\operatorname {arcsl} ^{*}(1)-\operatorname {arcsl} (1){\bigr ]}=\int _{0}^{1}{\frac {y^{2}+1}{2\,y^{2}}}\operatorname {artanh} (y^{2})\,\mathrm {d} y={\frac {\pi }{4}}}$

Debido a que las funciones K, F y E son idénticas, esta fórmula se puede deducir directamente de ese resultado:

${\displaystyle K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}{\bigl [}2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}{\bigr ]}={\frac {\pi }{2}}}$

Según la derivación realizada, el resultado anterior es válido y se muestra aquí de forma resumida:

${\displaystyle 2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}^{2}={\frac {\pi }{2}}}$

A continuación, se demostrará el caso general modular. Para ello, se derivan las integrales elípticas completas. Posteriormente, se determina la derivación del equilibrio de identidades de Legendre.

Demostración de la derivada de la integral elíptica de primera especie:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}K(\varepsilon )={\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\int _{0}^{1}{\frac {1}{\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})}}}\mathrm {d} x=\int _{0}^{1}{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}{\frac {1}{\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})}}}\mathrm {d} x=\int _{0}^{1}{\frac {\varepsilon x^{2}}{\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})^{3}}}}\mathrm {d} x=}$

${\displaystyle =\int _{0}^{1}{\frac {\sqrt {1-\varepsilon ^{2}x^{2}}}{\varepsilon (1-\varepsilon ^{2}){\sqrt {(1-x^{2})}}}}\mathrm {d} x-\int _{0}^{1}{\frac {1}{\varepsilon {\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})}}}}\mathrm {d} x-\int _{0}^{1}{\frac {\varepsilon (1-2x^{2}+\varepsilon ^{2}x^{4})}{(1-\varepsilon ^{2}){\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})^{3}}}}}\mathrm {d} x=}$

${\displaystyle ={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}E(\varepsilon )-{\frac {1}{\varepsilon }}K(\varepsilon )-\int _{0}^{1}{\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {\varepsilon x{\sqrt {1-x^{2}}}}{(1-\varepsilon ^{2}){\sqrt {1-\varepsilon ^{2}x^{2}}}}}\mathrm {d} x={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}E(\varepsilon )-(1-\varepsilon ^{2})K(\varepsilon ){\bigr ]}}$

Demostración de la derivada de la integral elíptica de segundo tipo:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}E(\varepsilon )={\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\int _{0}^{1}{\frac {\sqrt {1-\varepsilon ^{2}x^{2}}}{\sqrt {1-x^{2}}}}\mathrm {d} x=\int _{0}^{1}{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}{\frac {\sqrt {1-\varepsilon ^{2}x^{2}}}{\sqrt {1-x^{2}}}}\mathrm {d} x=\int _{0}^{1}{\frac {-\varepsilon x^{2}}{\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})}}}\mathrm {d} x=}$

${\displaystyle =-\int _{0}^{1}{\frac {1}{\varepsilon {\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})}}}}\mathrm {d} x+\int _{0}^{1}{\frac {\sqrt {1-\varepsilon ^{2}x^{2}}}{\varepsilon {\sqrt {(1-x^{2})}}}}\mathrm {d} x=-{\frac {1}{\varepsilon }}{\bigl [}K(\varepsilon )-E(\varepsilon ){\bigr ]}}$

Para los contramódulos pitagóricos y según la regla de la cadena, esta relación es válida:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}K({\sqrt {1-\varepsilon ^{2}}})={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}\varepsilon ^{2}K({\sqrt {1-\varepsilon ^{2}}})-E({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}E({\sqrt {1-\varepsilon ^{2}}})={\frac {\varepsilon }{1-\varepsilon ^{2}}}{\bigl [}K({\sqrt {1-\varepsilon ^{2}}})-E({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}$

Dado que la derivada de la función circular es el producto negativo de la llamada función idéntica y el recíproco de la función circular, la relación de Legendre siempre incluye productos de dos integrales elípticas completas. Para la derivación del lado de la función a partir de la ecuación de la identidad de Legendre, se aplica la regla del producto de la siguiente manera:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}E(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+\varepsilon ^{2}K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}-E(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-(1-\varepsilon ^{2})K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})-(1-2\varepsilon ^{2})K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}$

De estas tres ecuaciones, sumando las dos primeras y restando la última se obtiene este resultado:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}{\bigl [}K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}=0}$

En relación con ε, el equilibrio siempre da como resultado el valor cero.

El resultado previamente determinado se aplica al módulo.${\displaystyle \varepsilon =1/{\sqrt {2}}}$de este modo:

${\displaystyle 2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}^{2}={\frac {\pi }{2}}}$

La combinación de las dos últimas fórmulas da como resultado lo siguiente:

${\displaystyle K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})={\frac {\pi }{2}}}$

Si la derivada de una función continua siempre es cero, entonces dicha función es constante. Esto significa que el valor de la función es el mismo para cada valor de la abscisa ε, y por lo tanto, su gráfica es una línea recta horizontal.