Há um teorema que diz o seguinte:

Tentei provar derivando
, mas não cheguei ao resultado que deveria dar.Fiz o seguinte:
Tentei colocar a parte da regra do quociente em latex aqui, mas deu um "error 6", mas enfim, após montar a regra do quociente e simplificar um pouco, cheguei em:
, cortando os
, chego em:
, tirando MMC:
, colocando o a em evidência (na verdade, nem sei se pode):
, cortando os a do numerador e denominador, chego em:
Sei que há erros aí, por favor me corrijam.


é uma constante, basta derivar
. Note que se
, então
, e pela definição de logaritmo natural, temos que
.
usando a regra da cadeia, portanto
.
.

![\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}} \frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}](/latexrender/pictures/981987c7bcdf9f8f498ca4605785636a.png)
e elevar ao quadrado os dois lados)