Demonstre usando indução: para todo n ≥ 1,
1 / (2 n) <= (1 * 3 * ... * (2 n - 1)) / (2 * 4 * ... * (2 n)) <= 1 / raiz(n + 1)

Passo 1

Beleza, vamos lá! O exercício pede para a gente demonstrar, usando indução matemática, que para todo número natural , a seguinte desigualdade vale:
Aqui, vamos precisar entender o que é indução matemática e como aplicá-la para provar desigualdades envolvendo produtos de números ímpares e pares.

Passo 2

Primeiro, vamos verificar se a desigualdade funciona para o caso base, que é . A indução matemática exige que a gente prove que a afirmação é verdadeira para antes de assumir que é válida para algum e, então, provar para .

Passo 3

Para , temos:
E o lado esquerdo do produto fica:
O lado direito do produto também é , e . Então, temos:
Que é verdade. Assim, o caso base está confirmado.

Passo 4

Agora, vamos assumir que a desigualdade vale para algum , ou seja:
Essa é a nossa hipótese de indução. Precisamos usar isso para provar que a desigualdade também vale para .

Passo 5

Para , o produto fica:
Pela hipótese de indução, sabemos que:
Então, multiplicando ambos os lados por , temos:
Precisamos agora mostrar que:

Passo 6

Simplificando a expressão, temos:
Multiplicando ambos os lados por , obtemos:
Isso pode ser simplificado para:
Observando que , a desigualdade se mantém verdadeira para todo .

Resposta

Assim, por indução matemática, mostramos que para todo ,
é válida.

Exercícios relacionados

Demonstre usando indução: para todo n ≥ 3, (n+1)ⁿ < nⁿ⁺¹.
Demonstre usando indução: para todo n ≥ 1, Se x1, x2, ..., xn são números reais então
|x1 + x2 + ... + xn| <= |x1| + |x2| + ... + |xn|
Prove usando indução que se n ≥ 3 pontos distintos sobre um círculo são conectados consecutivamente com segmentos de reta, então a soma dos ângulos internos do polígono resultante é ( n 2) 180 graus.
Calcule a área da região D do plano x y definida por D = {(x, y) em R^2 : x^2 + (y - 2)^2 <=} 4 e x² + y² ≥ 4.
Respostas: 1. (a) 64 pi / 5 (b) (pi / 2) * (b^2 - a^2) © (9 / 2) * (raiz(2) + ln(raiz(2) + 1)) (d) (pi / 2) * (1 - e^(-a^2)) (e) ln(raiz(2) + 1) (f) (g) 1 / 120 (h) (pi / 4) * (1 - e^(-4)) * 2. (a) 256 pi / 3 (b) 64 / 9 © (128 / 9) * (3 * pi - 4)
(d) 625 pi / 2 (e) 4 pi (f) 4 * pi * a^3 / 3 (g) (pi / 3) * (2 - raiz(2)) (h) (8 pi / 3)(64 - 24 raiz(3)) + 4.4 pi / 3 + 2 raiz(3)