Seja g: R -> R uma função derivável tal que g'(x) = g(x) para todo x em R. Mostre que existe um c em R tal que g(x) = c * e^x para todo x em R. ( Sugestão: considere a função h(x) = g(x) * e^(-x) e use (a)).

Passo 1

Então, temos a função que é derivável e satisfaz a condição para todo real. Nosso objetivo aqui é mostrar que existe uma constante real tal que para todo . Para resolver isso, vamos precisar usar conceitos de cálculo diferencial, especialmente equações diferenciais simples e propriedades das funções exponenciais.

Passo 2

Primeiro, vamos considerar a função sugerida no enunciado: . A ideia aqui é simplificar a equação diferencial dada transformando-a em algo mais fácil de resolver.

Passo 3

Agora, vamos calcular a derivada de . Usando a regra do produto para derivadas, temos:

Passo 4

Sabemos que pela condição do problema. Substituindo isso na expressão da derivada, ficamos com:

Passo 5

Simplificando a expressão acima, percebemos que os termos se anulam:
Isso significa que a derivada de é zero para todo , indicando que é uma função constante.

Passo 6

Se é constante, podemos escrever:
onde é uma constante real.

Passo 7

Lembrando que , substituímos de volta para encontrar :

Passo 8

Isolando , multiplicamos ambos os lados por :

Resposta

Portanto, existe uma constante real tal que para todo .

Exercícios relacionados