
Como faria?
Fiz assim, primeiro:

Segundo:
(Hipótese)

Provando:

Para qualquer número natural não nulo essa proposição é verdadeira.
Seria assim? Me parece que ficou meio vago provar dessa forma, apesar de realmente a última proposição ser verdadeira.
Outra questão é a seguinte:

Essa eu estou me embolando... Não estou conseguindo iniciar a questão
O ruim dos livros do Iezzi é que o gabarito é muito incompleto...










![\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)