Nota: estoy haciendo esta pregunta como una simple pregunta introductoria para las pruebas por inducción, a la que voy a dar también mi respuesta formal (que debe ser la correcta, si no, por favor comente) para los futuros visitantes de este sitio web.
Sé que para demostrar algo por inducción, necesitamos formalmente en 3 pasos (2, si se nos considere inductivo hipótesis inductivas y paso juntos):
Caso Base o de la base:
Determinamos lo que es el caso base para nuestra instrucción $P(n)$, y de inmediato nos lo demuestran.
Inductivo hipótesis:
Asumimos nuestra declaración de $P(n)$ es cierto para $n$.
Inductivo paso:
Tratamos de demostrar que nuestra afirmación también es cierto para $P(n + 1)$. Si podemos demostrar que, también podemos demostrar que nuestra afirmación es verdadera para $n + 2$ (no necesitamos para hacerlo), y así sucesivamente.
Este paso suele ser la parte más difícil, porque implica cierta manipulación algebraica, o un poco de imaginación, de alguna manera. Por esta última razón, puede ser útil ver otros similares pruebas por inducción para resolver la actual.
Por ejemplo, supongamos que nuestro $P(n)$ es la siguiente:
$$\frac{n(n + 1)(2n + 1)}{6} = 0^2 + 1^2 + 2^2 + 3^2 + ... + n^2$$
que es, básicamente, diciendo que la suma de todos los cuadrados de los números naturales a partir de $0$ $n$puede ser determinada por la fórmula en el lado izquierdo de la ecuación.
¿Cómo podemos demostrar $P(n)$ es cierto para todos los $n \in \mathbb{N}$?
Para obtener más información acerca de la prueba por inducción, consulte la Wikipedia página acerca de la inducción de la llamada inducción Matemática.