em
ela pode ser reescrita como
sse
,onde
e
.Primeiro ,supus (por absurdo) que
e mostrei que esta suposição é falsa para que hipótese
seja verdadeira . Agora preciso mostrar se
tem-se
.Posso definir
e com isso obter que
com
em particular
que são subespaços vetoriais de
(isto foi provado no item (a) do mesmo exercício e também já foi demonstrado em outro exercício do mesmo livro que
é espaço vetorial) ??Obrigado .

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