• Anúncio Global
    Respostas
    Exibições
    Última mensagem

[Indução] Para todo n maior igual que 2

[Indução] Para todo n maior igual que 2

Mensagempor +danile10 » Dom Fev 17, 2013 13:07

Seja x um inteiro positivo.Demonstre que:

(1+x)^n > 1 + nx, para todo n \geq 2


Não estava conseguindo resolver este exercício, então fui olhar nas respostas do meu material:

Comecemos com verificar a condição PIF 1

P (2) = "(1+x)² > 1 + 2x"
P (2) = "1 + 2x + x² > 1 + 2x"
como x > 0, P(2) é verdadeira.

Logo, P(2) é verdadeira. Para verificar a condição PIF 2, devemos tomar um número natural positivo qualquer k \epsilon N e mostrar que vale a implicação
p (k) -> p(k+1). Em outras palavras, devemos supor que P(k) é verdadeira (hipótese indutiva) e mostrar que P(k+1) é verdadeira. Logo, a nossa hipótese indutiva é:

(1+x)^k > 1 + kx

Até aqui tudo bem, depois não entendi direito como proceder:

Usando a hipótese de indução, queremos demonstrar P(k+1), reescrevendo P(k+1) e usando a hipótese indutiva temos:

(1+x)^k+1 = (1+x)[(1+x)^k]
\geq (1+x)(1+ kx)
\geq 1 + kx + x + kx²
\geq 1 + (k + 1) x


Algúem poderia me ajudar a entender essa parte?
+danile10
Novo Usuário
Novo Usuário
 
Mensagens: 7
Registrado em: Dom Fev 03, 2013 19:24
Formação Escolar: GRADUAÇÃO
Área/Curso: Curso de Bases Matemáticas
Andamento: cursando

Re: [Indução] Para todo n maior igual que 2

Mensagempor DanielFerreira » Dom Fev 17, 2013 13:54

Hipótese de indução: \boxed{(1 + x)^k > 1 + kx}

Quando P(k + 1), então:

\\ (1 + x)^{(k + 1)} > 1 + (k + 1)x \\\\ (1 + x)^k \cdot (1 + x)^1 > 1 + kx + x \\\\ (1 + x) \cdot \boxed{(1 + x)^k > 1 + kx} + 1

Podemos notar que (1 + x) > 1. Cqd!
"Sabedoria é saber o que fazer;
habilidade é saber como fazer;
virtude é fazer."
(David S. Jordan)
--------------------------------------------------------------------------------
DanielFerreira
Colaborador - em formação
Colaborador - em formação
 
Mensagens: 1728
Registrado em: Qui Jul 23, 2009 21:34
Localização: Engº Pedreira - Rio de Janeiro
Formação Escolar: GRADUAÇÃO
Área/Curso: Licenciatura em Matemática - IFRJ
Andamento: formado

Re: [Indução] Para todo n maior igual que 2

Mensagempor e8group » Dom Fev 17, 2013 14:40

Respodendo a sua dúvida ,devemos chegar em (1+x)^{k+1} >  1 + (k+1)x para mostra que o resultado também é verdadeiro p/k+1 . OK ?

Sabemos que (1+x)^{k+1} = (1+x)(1+x)^k . OK ?

Além disso ,como estamos supondo que P(k) é verdadeiro , isto é , (1+x)^k > 1 + kx ;multiplicando-se ambos membros da desigualdade por (1+x) ,(note que x é natural ,portanto (1+x) é sempre positivo ,então o 'sinal' da desigualdade se conserva )

segue que :


\hspace{10}        (1+x)\cdot (1+x)^n > (1+x)(1 + kx) .


Lembrando que (1+x)^{k+1} = (1+x)(1+x)^k


Teremos então :


\hspace{10}        (1+x)^{k+1} > (1+x)(1 + kx)


Aplicando a propriedade distributiva em (1+x)(1 + kx) ,


(1+x)(1 + kx)   =  1(1+kx) + x(1+kx) =  1 + kx + x + kx^2

Claramente 1 + kx + x + kx^2 > 1 + kx + x OK ? (note que kx^2 é positivo )

Sendo assim ,

\hspace{10}        (1+x)^{k+1} > (1+x)(1 + kx) 1 + kx + x + kx^2 > 1 + kx + x

Conclusão :

(1+x)^{k+1} >  1  + (1+k)x .
e8group
Colaborador Voluntário
Colaborador Voluntário
 
Mensagens: 1400
Registrado em: Sex Jun 01, 2012 12:10
Formação Escolar: GRADUAÇÃO
Área/Curso: Engenharia Elétrica
Andamento: cursando


Voltar para Lógica

 



  • Tópicos relacionados
    Respostas
    Exibições
    Última mensagem

Quem está online

Usuários navegando neste fórum: Nenhum usuário registrado e 2 visitantes

 



Assunto: Conjunto dos números racionais.
Autor: scggomes - Sex Fev 18, 2011 10:38

Olá ! Tenho essa dúvida e não consigo montar o problema para resolução:

Qual é o racional não nulo cujo o quadrado é igual à sua terça parte ?

Grata.


Assunto: Conjunto dos números racionais.
Autor: MarceloFantini - Sex Fev 18, 2011 12:27

x^2 = \frac{x}{3}


Assunto: Conjunto dos números racionais.
Autor: scggomes - Sex Fev 18, 2011 12:55

também pensei que fosse assim, mas a resposta é \frac{1}{3}.

Obrigada Fantini.


Assunto: Conjunto dos números racionais.
Autor: MarceloFantini - Sex Fev 18, 2011 13:01

x^2 = \frac{x}{3} \Rightarrow x^2 - \frac{x}{3} = 0 \Rightarrow x \left(x - \frac{1}{3} \right) = 0

Como x \neq 0:

x - \frac{1}{3} = 0 \Rightarrow x = \frac{1}{3}

O que você fez?


Assunto: Conjunto dos números racionais.
Autor: scggomes - Sex Fev 18, 2011 16:17

eu só consegui fazer a igualdade, não consegui desenvolver o restante, não pensei em fatoração, mas agora entendi o que vc fez.

Obrigada.