El idea de la prueba es ciertamente correcta. Hay algunas cuestiones, como la afirmación incorrecta pero innecesaria de que todos los números pares son potencias de 2 .
Volvemos a escribir la prueba que diste, haciendo pequeñas modificaciones. Después de un tiempo, no se espera que uses la notación P(n) explícitamente.
Dejemos que P(n) sea la afirmación de que an=2n . Demostramos por inducción que P(n) es verdadera para todo número entero no negativo n .
Ciertamente P(0) es cierto, ya que a0=1=20 .
Supongamos que para un determinado número entero k la afirmación P(k) es verdadera. Demostramos que P(k+1) es cierto.
Desde P(k) es cierto, tenemos ak=2k . Pero entonces ak+1=2ak=2⋅2k=2k+1, así que P(k+1) es verdadera. Esto completa el paso de inducción y la prueba.