Clase 26 de Febrero Inducción matemática¶

Inducción matemática¶

Definiciones

Comprobar una propiedad, teorema, enunciado, etc mediante

\[ \forall n P(n) \]

Vamos a trabajar n en el dominio de los números naturales (incluido el 0 aveces)

Paso base

Reemplaza n por el valor que representa el caso trivial
Por ejemplo en una suma el primer término

Paso inductivo

\[ P(k) \rightarrow P(k+1) \]

La idea es usar que P(k) es cierto para demostrar P(k+1), la estrategia es buscar la forma P(k) dentro de P(k+1) y validar así el teorema/propiedad/etc