Este es uno de los ejercicios que aparecen en el Cálculo I de Apostol.
- Dejemos que $n_1$ sea el menor número entero positivo $n$ para la cual la desigualdad $(1+x)^n > 1 + nx+nx^2$ es cierto para todos los $x > 0$ . Calcula $n_1$ y demostrar que la desigualdad es verdadera para todos los enteros $n \geq n_1$ .
Lo primero que supuse fue que el primer número para el que se cumple la desigualdad era $x=1$ . Entonces:
$$2^n > 2n + 1$$
Después de un poco de inspección, uno puede notar que la desigualdad es verdadera para todos los enteros positivos $n \geq 3$ . Así que $n_1 = 3$ .
Prueba (por inducción):
$$P(n): (1+x)^n > 1 + nx+nx^2\qquad \text{for all}\ n \geq 3$$
Caso base: $P(3)$
$$(1+x)^3 > 1 + 3x+3x^2$$ $$x^3+3x^2+3x+1 > 3x^2+3x+1$$
lo cual es cierto.
Hipótesis inductiva: Supongamos que $P(k)$ es verdadera para un número entero positivo $k\geq 3$ :
$$(1+x)^k > 1 + kx + kx^2\qquad (1)$$
Paso inductivo: Prueba $P(k+1)$ :
$$(1+x)^{k+1} > \underbrace{1 + (k+1)x + (k+1)x^2}_\text{a}$$
Si multiplicamos la desigualdad $(1)$ por $(1+x)$ nos encontramos con que:
$$(1+x)^{k+1} > (1+x)[1 + kx + kx^2]$$
$$(1+x)^{k+1} > \underbrace{kx^3+2kx^2+kx+x+1}_\text{b}$$
Desde $a<b$ y $b < (1+x)^{k+1}$ por transitividad tenemos que $a < (1+x)^{k+1}$ y por lo tanto $P(n)$ es verdadera como se afirma.
¿Es correcto asumir que mi primer número es $x=1$ aunque el problema dice que es cierto para todos $x >0$ ?
0 votos
$x$ es un real mayor que $0$ Así que no hay un "más pequeño". $x$ para los que se cumple la desigualdad". Aunque dejando $x=1$ es una buena estrategia para determinar el número entero positivo $n_1$ .
2 votos
Yo empezaría la prueba de la siguiente manera: "La desigualdad no se cumple para $n=2$ desde entonces para $x=1$ dice $2^2 > 1 + 2 + 2$ . Ahora demostramos que la desigualdad es válida para todo $n \geq 3$ , demostrando así que $n_1=3$ ..."
0 votos
@Workaholic Sí. $x>0$ pero no existe el más pequeño $n$ para el que se cumple la desigualdad?
0 votos
@Jazz Acabas de demostrar que tal $n_1$ existía y que era igual a $3$ .
1 votos
@Jazz El error es la frase, "la primera ... fue $x=1$ ." No tiene sentido decir $x=1$ es "primero". Lo que puede es: "Supongamos que la desigualdad es válida para $x=1$ ." No se menciona lo que es la "primera" $x$ es necesario.
0 votos
@user133281 Cierto. Lo que escribí ahí no parece una buena forma de empezar la prueba (:.
0 votos
Tiene un error al multiplicar su igualdad por $(1+x)$ . Deberías multiplicar $1+kx+kx^2$ por $(1+x)$ no $1+(k+1)x+(k+1)x^2$ -- en esencia estás olvidando un factor de $(1+x)$ en el lado izquierdo.
0 votos
@Arkamis Gracias por señalarlo. Lo he arreglado.