para determinar
de modo que o erro da aproximação de
por
seja menor que
.Alguém tem alguma ideia ? Como obter uma expressão para
? Até agora só consegui isto abaixo ...
i) Primeiro vamos garantir que
é limitada em
.Derivando
n-vezes , vamos obter uma expressão da forma
,onde
é um polinômio
e portanto
é uma função racional e
.Sendo assim garantimos que
é contínua .Em particular , ela é contínua em qualquer intervalo fechado não degenerado contendo a vizinhança de
.Logo pelo Teorema de Weierstrass ,
é limitada neste intervalo . Assim ,
ii) Segunda parte trabalhosa, determinar
e encontrar uma cota . Pensei assim :
Seja
Daí , temos
e finalmente obtemos
. Logo ,
. Portanto
é limitada por
. Mas esta cota não ajuda , meu objetivo era obter
. iii) Encontrar
. Sabemos que
(Forma Lagrange). , então
, .Se tivéssemos demostrado que
.
e com isso
sempre que
que é a resposta do gabarito .Qualquer ajuda é bem vinda .

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