Supongamos que [math] n \ in \ mathbb {N} [/ math] (principalmente porque no sé cómo hacerlo de otra manera) y abordemos el problema con inducción.
Antes de comenzar, hagamos un poco de simplificación en el lado derecho de la ecuación que facilitará nuestras vidas durante la prueba.
[matemáticas] n (1 + \ frac {1} {n}) = n (\ frac {n} {n} + \ frac {1} {n}) = n (\ frac {n + 1} {n} ) = n + 1 [/ matemáticas]
Por lo tanto, queremos demostrar que para todos los números naturales [matemática] n \ geq 2 [/ matemática]:
- Ecuación simultánea: [matemática] a + b = 3n [/ matemática], [matemática] ab = n [/ matemática], ¿cuál es el valor de [matemática] (ab) ^ 2 [/ matemática] en términos de [matemática] n [/ matemáticas]?
- Para la función z = 2xy-x-y + 1, y para x, y como enteros, ¿cuántos conjuntos de (x, y) son menores que un valor dado de z?
- ¿Qué función satisface [matemáticas] f (0) = 1, f (1) = – i ^ 2, f (2) = – 1, f (3) = – i [/ matemáticas]?
- ¿Qué es 2x + 24 = 12?
- Pregunta de tarea: ¿Qué es x si [matemáticas] x ^ x [/ matemáticas] = xxx?
[matemáticas] (1 + \ frac {1} {n + 1}) ^ {n + 1} = n + 1 [/ matemáticas]
Caso base: Nuestro caso más pequeño es cuando [matemáticas] n = 2 [/ matemáticas].
[matemáticas] (1 + \ frac {1} {2}) ^ 2 <2 + 1 \ rightarrow (\ frac {3} {2}) ^ 2 <2 + 1 \ rightarrow \ frac {9} {4} < 3 [/ matemáticas]
¡Nuestro caso base es cierto!
Hipótesis inductiva: Asumiremos que, para algunos [math] n \ in \ mathbb {N} [/ math] donde [math] n \ geq 2 [/ math], nuestro reclamo es verdadero.
Paso inductivo: debemos demostrar que nuestro reclamo es válido para [matemática] n + 1 [/ matemática], o que:
[matemáticas] (1 + \ frac {1} {n + 1}) ^ {n + 1} <(n + 1) + 1 [/ matemáticas]
Vamos a concentrarnos primero en el lado izquierdo.
[matemáticas] (1 + \ frac {1} {n + 1}) ^ {n + 1} = (1 + \ frac {1} {n + 1}) (1 + \ frac {1} {n + 1 }) ^ {n} [/ matemáticas]
Veamos [matemáticas] (1 + \ frac {1} {n + 1}) ^ {n} [/ matemáticas] en particular. Sabemos que [matemáticas] \ frac {1} {n + 1} <\ frac {1} {n} [/ matemáticas], por lo que debe significar que [matemáticas] (1 + \ frac {1} {n + 1 }) ^ n <(1 + \ frac {1} {n}) ^ n [/ math]. Y a través de nuestra hipótesis inductiva, podemos decir que [matemáticas] (1 + \ frac {1} {n + 1}) ^ n <(1 + \ frac {1} {n}) ^ n <n + 1 \ rightarrow (1 + \ frac {1} {n + 1}) ^ n <n + 1 [/ math].
Ahora, volvamos al lado izquierdo de nuestra ecuación y apliquemos esta desigualdad.
[matemáticas] (1 + \ frac {1} {n + 1}) (1 + \ frac {1} {n + 1}) ^ {n} <(1 + \ frac {1} {n + 1}) (n + 1) = (\ frac {n + 1} {n + 1} + \ frac {1} {n + 1}) (n + 1) = (\ frac {n + 2} {n + 1} ) (n + 1) = n + 2 = n + 1 + 1 [/ matemáticas]
¡Hemos demostrado con éxito que [matemáticas] (1 + \ frac {1} {n + 1}) ^ {n + 1} <(n + 1) + 1 [/ matemáticas]! Esto prueba nuestro paso inductivo y concluye nuestra prueba.