Tenemos la proposición:
P(n): 2^(2n) + 15n - 1 = 3*t, con t perteneciente al conjunto de los números naturales.
Vamos con el 5° axioma de Peano:
1) P(1): 2^(2*1) + 15*1 - 1 = 4 + 15 - 1 = 18 = 3*6, y t1 = 6 pertenece a los números naturales.
2) P(h): 2^(2h) + 15h - 1 = 3*t2, y t2 pertenece al conjunto de los números naturales (Hipótesis Inductiva, que aceptamos como Verdadera).
3) P(h+1): 2^(2(h+1) + 15(h+1) - 1 = 3*t3 y t3 pertenece al conjunto de los números naturales (Tesis Inductiva que debemos demostrar que es Verdadera).
Demostración:
P(h+1):
2^(2(h+1)) + 15(h+1) - 1 = distribuimos agrupamientos de términos:
= 2^(2h + 2) + 15h + 15 - 1 = aplicamos propiedad de las potencias y reducimos términos semejantes:
= 2^(2h) * 2^2 + 15h + 14 = resolvemos el factor numérico del primer término:
= 4 * 2^(2h) + 15h + 14 = sumamos y restamos 15h - 1 y agrupamos términos en el factor que no es numérico del primer término:
= 4 * ( (2^(2h) + 15h - 1) - (15h - 1) ) + 15h + 14 = distribuimos en el primer término:
= 4*( (2^(2h) + 15h - 1 ) - 4*15h + 4 + 15h + 14 = reducimos términos semejantes y resolvemos términos numéricos:
= 4*( (2^(2h) + 15h - 1 ) - 3*15h + 18 = aplicamos la Hipótesis Inductiva (observa el agrupamiento en el primer término):
= 4*3*t2 + 3*15h + 18 = extraemos factor común 3 en todos los términos:
= 3*( 4*t2 + 15h + 6 ) = nombramos t3 al agrupamiento:
= 3*t3.
Observa que la expresión: t3 = 4*t2 + 15h + 6, corresponde a un número natural, ya que en sus dos primeros términos tienes productos entre números naturales, por lo que resulta suma de tres números naturales.
Espero haberte ayudado.