Pular para o conteúdo principal

Mostre que, se $(X_n)$ é uma progressão aritmética de termos positivos então

$\dfrac{1}{\sqrt{x_1} + \sqrt{x_2}} +\dfrac{1}{\sqrt{x_2} + \sqrt{x_3}} + \cdots + \dfrac{1}{\sqrt{x_{n-1}} + \sqrt{x_n}} = \dfrac{n-1}{\sqrt{x_1} + \sqrt{x_n}}$

Uma dica (pode haver outras formas de resolver) é usar uma indução sobre $n$

Então, começamos verificando que a expressão é verdadeira para $n=2$ (verifica!)

Agora, vamos nos ver com uma hipótese: a de que se a expressão é válida para $n$ então será válida para $n + 1$.

Se a expressão é válida para $n$ podemos verificar se a seguinte expressão é verdadeira:

$\dfrac{n-1}{\sqrt{x_1} + \sqrt{x_n}} + \dfrac{1}{\sqrt{x_n} + \sqrt{x_{n+1}}} =  \dfrac{n}{\sqrt{x_1} + \sqrt{x_{n+1}}}$

 

Agora podemos fazer:

 

$\dfrac{n}{\sqrt{x_1} + \sqrt{x_n}} - \dfrac{n}{\sqrt{x_1} + \sqrt{x_{n+1}}} = \dfrac{1}{\sqrt{x_1} + \sqrt{x_n}} - \dfrac{1}{\sqrt{x_n} + \sqrt{x_{n+1}}}$


$\dfrac{n(\sqrt{x_{n+1}} - \sqrt{x_{n})}}{(\sqrt{x_1} + \sqrt{x_n}) (\sqrt{x_1} + \sqrt{x_{n+1}})} = \dfrac{(\sqrt{x_{n+1}} - \sqrt{x_{1})}}{(\sqrt{x_1} + \sqrt{x_n}) (\sqrt{x_n} + \sqrt{x_{n+1}})} $

 

Corta-se e teremos:

  $\dfrac{n(\sqrt{x_{n+1}} - \sqrt{x_{n})}}{(\sqrt{x_1} + \sqrt{x_{n+1}})} = \dfrac{(\sqrt{x_{n+1}} - \sqrt{x_{1})}}{(\sqrt{x_n} + \sqrt{x_{n+1}})} $

 

Multiplicando em X, chegamos então a: 

$n(x_{n+1} - x_n) = x_{n+1} - x_1$

Neste momento usamos a característica das PA:

$n(x_1 + nr - x_ 1 - nr + r) = x_1 + nr - x_ 1$

$nr = nr$

Comentários

Postagens mais visitadas deste blog

Curso de Análise (Elon) - Cap. 3 Questão 4

Capítulo 3 - Questão 4 Livro Curso de Análise - Vol.1 - Elon Capítulo 3 - Questão 4 Fernando Francisco de Sousa Filho 12 de novembro de 2013 Sejam K ,  L corpos. Uma função f : K  →  L chama-se um homomorfismo quando se tem f ( x  +  y ) =  f ( x ) +  f ( y ) e f ( x ⋅ y ) =  f ( x )⋅ f ( y ) , quaisquer que sejam x ,  y  ∈  K . i) Dado um homomorfismo f : K  →  L , prove que f (0) = 0 . Prova : f (0) =  f (0 + 0) =  f (0) +  f (0) ⇒  f (0) = 2 f (0) . Se f (0) ≠ 0,  pela lei do corte, chegamos a 1 = 2 (Absurdo!). Logo, f (0) = 0 . ■ ii) Prove também que ou f ( x ) = 0 para todo x  ∈  K ou então f (1) = 1 e f é injetiva. Prova : Suponhamos f ( x ) = 0 para todo x  ∈  K , então teremos a) f ( x  +  y ) = 0 , mas f ( x  +  y ) =  f ( x ) +  f ( y ) = 0 + 0 = 0. b) f ( xy ) = 0 , mas f ( xy ) =  f ( x )⋅ f ( y ) = 0⋅0 = 0 . Logo, confirma-se a primeira possibilidade. Vamos mostrar, então, que, se f (1) ≠ 0 então f (1) = 1 .Suponhamos f (1...

Explicando a tabela lógica do Se... então

 Eu sempre me incomodei bastante com a tabela do Se... então (implicação). Afinal, a tabela do "e" e a tabela do "ou" são bastante lógicas, se é que eu posso usar este termo numa disciplina que se chama lógica! Poderia dizer também que são tabelas que fazem sentido, afinal, o "e" só resulta "V" se ambos forem "V"; e o "ou" só resulta "F" se ambos forem "F". Mas, e quanto à implicação? Tive minha curiosidade atendida no livro de DAVID J. HUNTER, Fundamentos da Matemática Discreta, em um breve trecho. Esta postagem é uma adaptação minha do que consta lá! Então, podemos usar diversos exemplos! Eu vou usar dois que eu inventei ao escrever esta postagem, e, depois, vou repetir o exemplo do livro citado. Suponha que uma mãe diga o seguinte a seu filho Mateus: Filho, se você fizer todos os exercícios de Matemática, vai tirar nota boa na prova. Suponha então que Mateus quisesse negar este conselho de sua mãe, prova...