Não existe outras soluções pois 2^x>x²para qualquer x >4.O gráfico acima também ilustra isso .
Qualquer dúvida comente .
0 votes Thanks 0
Lukyo
Na verdade, as soluções inteiras são x = 2 e x = 4.
fmpontes93
Obrigado pela resposta, Marcelo. Entretanto, além da consideração feita pelo Lukyo, não houve demonstração de que não há outras soluções possíveis.
fmpontes93
Vi que uma (aparente) maneira de se demonstrar isso é por monotonicidade. Tomemos a função f(x) = 2^x - x^2, definida em R. Sua primeira derivada é f'(x) = 2^x * ln(2) - 2x. Já sua segunda derivada é: f''(x) = [ln(2)]^2 * 2^x - 2. Todas essas funções são contínuas em R. Notemos que f'' tem no máximo uma raiz. Assim, f' tem no máximo duas raízes, porque é uma função monótona antes e depois da raiz de f''. De modo análogo, f tem no máximo três raízes.
Lukyo
A ideia referente a monotonicidade parece boa, só parece um pouco trabalhoso demonstrar.. vou me debruçar sobre esta tarefa amanhã
Lista de comentários
Explicação passo-a-passo:
Duas das três soluções, são triviais .
constata-se logo que x=1 e x=2 são soluções da equação.
A terceira è uma solução não inteira .E para achá-la vamos usar o função W de Lambert , função W de Lambert diz que:
[tex]\sf{ \omega\left(e^u*u\right)=~u} \\[/tex]
Então temos que [tex]\sf{ 2^x~=~x^2}\\[/tex]
vamos aplicar logaritmos para ambos membros:
[tex]\iff\sf{ x\ln(2)~=~2\ln(x) }\\[/tex]
[tex]\iff\sf{\dfrac{\ln(2)}{2}~=~x^{-1}\ln(x)}\\[/tex]
vejamos que [tex]\sf{ x^{-1}=e^{\ln\left(x^{-1}\right)}~=~e^{-\ln(x)}}\\[/tex] substituindo vamos ter :
[tex]\iff\sf{ \ln(x)*e^{-\ln(x)}~=~\dfrac{\ln(2)}{2}}\\[/tex]
multiplique ambos membros por (-1):
[tex]\iff\sf{\red{-\ln(x)}*e^{\red{-\ln(x)}}~=~-\dfrac{\ln(2)}{2}}\\[/tex]
Agora vamos aplicar a função W em ambos membros:
[tex]\iff\sf{ \omega\left( \red{-\ln(x)}*e^{\red{-\ln(x)}} \right)~=~\omega\left(- \dfrac{\ln(2)}{2}\right) } \\[/tex]
por definição têm-se:
[tex]\iff\sf{ -\ln(x)~=~\omega\left(-\dfrac{\ln(2)}{2}\right) } \\[/tex]
[tex]\blue{ \iff \boxed{\boxed{\sf{ x~=~e^{-\omega\left(-\frac{\ln(2)}{2}\right)} } } } } \\[/tex]
Não existe outras soluções pois 2^x>x² para qualquer x > 4 . O gráfico acima também ilustra isso .
Qualquer dúvida comente .