Buenas tardes Bruno: tu escrito tiene varios errores.
En la prueba del paso base las flechas de implicancia están al revés. A modo de ejemplo, como
,
y
, se sigue que
. Por lo tanto,
es cierta. Desconozco la razón, pero usaste mal el símbolo de entonces. Pones que si
entonces
. Esto es un error serio, puesto que estás utilizando la tesis, que es justamente lo que quieres probar.
En el paso inductivo pusiste que
, lo que no se cumple nunca... Por último, operas mal con exponentes (pues agregas un factor "3^n" multiplicando en un miembro sin afectar el otro miembro), y la prueba del paso inductivo es inconsistente.
Cordiales saludos,
Pablo.
En la prueba del paso base las flechas de implicancia están al revés. A modo de ejemplo, como







En el paso inductivo pusiste que

Cordiales saludos,
Pablo.