Sea [matemática] S (n) [/ matemática] la declaración: [matemática] n + 1 <n ^ {2} [/ matemática]; [matemáticas] n \ leq2 [/ matemáticas]
Paso básico: [matemática] S (2) [/ matemática]:
LHS: [matemáticas] (2) +1 [/ matemáticas]
[matemáticas] = \ hspace {7 mm} 3 [/ matemáticas]
- ¿Cómo se puede encontrar la función potencial para [matemáticas] F (x, y) = \ frac {2} {\ sqrt {x ^ 2 + y ^ 2}} [/ matemáticas]?
- ¿Cuáles son las características del grupo de [matemáticas] O (n, k) [/ matemáticas]?
- ¿Qué se entiende por polinomios son exactos hasta el grado 2 o 3 en interpolación y cuál es el orden de la regla 1/3 de Simpson y cómo verificarlo?
- Si x + a es un factor de x ^ 3 + ax ^ 2-2x + a + 4, entonces a es igual?
- Álgebra lineal, ¿qué podemos decir sobre la base B1 en comparación con la base B2?
RHS: [matemáticas] (2) ^ {2} [/ matemáticas]
[matemática] = \ hspace {7.5 mm} 4 [/ matemática]
[math] \ hspace {47.5 mm} [/ math] LHS [math] <[/ math] RHS (verificado)
Paso inductivo:
Suponga que [math] S (k) [/ math] es verdadero, es decir, suponga que [math] k + 1 <k ^ {2} [/ math]; [matemáticas] k \ leq2 [/ matemáticas]
[matemática] \ Estrella derecha \ hspace {58.75 mm} k + 1 + 1 <k ^ {2} +1 [/ matemática]
[matemática] \ Estrella derecha \ hspace {58.75 mm} k + 2 <k ^ {2} +1 [/ matemática]
[matemáticas] S (k + 1) [/ matemáticas]: [matemáticas] (k + 1) +1 <(k + 1) ^ {2} [/ matemáticas]
[matemáticas] \ hspace {13.5 mm} = k + 2 <k ^ {2} + 2k + 1 [/ matemáticas]
Entonces, [matemática] S (k + 1) [/ matemática] es verdadera siempre que [matemática] S (k) [/ matemática] sea verdadera.
Por lo tanto, [matemáticas] n + 1 <n ^ {2} [/ matemáticas]; [matemáticas] n \ leq2 [/ matemáticas].