Dado: y para , .
Pruebalo .
¿Comenzarías con la configuración ?
Entonces, para el caso base, dejemos LHS y derecho entonces el caso base se mantiene.
Entonces la hipótesis inductiva: Supongamos
:
Paso inductivo: Por hipótesis inductiva
Entonces = . Como se iba a demostrar.
¿Es esto correcto o necesitaba mostrar más álgebra en mi paso inductivo?
Sugerencia _ El paso inductivo es bastante
Esta es la parte central del argumento inductivo (omitiré los comentarios: intente reconstruir cómo funciona cada paso y comente si algo no está claro):
jasonm
izq.