JOSEFINA HERNNDEZ LPES Matrcula: ES1410902923

Realizando las operaciones en el lado derecho para poder hacer la induccin

Su resolucin es la siguiente

(1)

Verificamos que (1) se cumple para

( ( ( ) ) )

Entonces se cumple para Suponemos que (1) es valida para

( )( )( ) ( ) ( )

Si esto es verdadero entonces la expresin (1) debe cumplirse cuando

( (

)( )(

)( )(

) )

( (

) )

( ( )

Si sustituimos ..(2) en ..(3) tenemos

( ( ( ( ) ) ) )

Con lo cual se cumple la expresin..(1) para todo n en el natural

(1) Verificamos que (1) se cumple para

Entonces se cumple para n=1

Suponemos que (1) es valida para ( ) Si esto es verdadero entonces la expresin (1) debe cumplirse cuando

( ) Si sustituimos ..(2) en ..(3) tenemos

Con lo cual se cumple la expresin..(1) para todo n en el natural

Desarrollando la sumatoria del lado izquierdo para demostrar la induccin matemtica

(1) Verificamos que (1) se cumple para ( ( ) ) ( )

Entonces se cumple para n=1 Suponemos que (1) es valida para ( ) ( ) ( ) ( ) ( )

Si esto es verdadero entonces la expresin (1) debe cumplirse cuando

( ) ( )

( ) ( )

( ) ( )

(( (

) )

( ( )

Si sustituimos ..(2) en ..(3) tenemos

( ( ( ( ( ( ( ( )( )( )( )( )( ) ) ) ) ) ) )

Con lo cual se cumple la expresin..(1) para todo n en el natural

Desarrollando la sumatoria del lado izquierdo para demostrar la induccin matemtica ( ) ( ) ( ) ( )

Verificamos que (1) se cumple para ( ( ( ) ) ) ( )

Entonces se cumple para n=1

Suponemos que (1) es valida para ( ) ( ) ( ) ( )

Si esto es verdadero entonces la expresin (1) debe cumplirse cuando ( ( ) ) ( ( ) ) ( ( )

( )

) ( )

Si sustituimos ..(2) en ..(3) tenemos ( )

Con lo cual se cumple la expresin..(1) para todo n en el natural

Desarrollando la sumatoria del lado izquierdo para demostrar la induccin matemtica ( )

( )

Verificamos que (1) se cumple para

( )

No se cumple para n=1 porque son valores distintos entonces para generalizar que se cumpla en los naturales se realiza lo siguiente Suponemos que (1) es valida para

( )

Si esto es verdadero entonces la expresin (1) debe cumplirse cuando

((

( )

Si sustituimos ..(2) en ..(3) tenemos

( (

) )

((

((

((

((

(((

))

((

((

((

Con lo cual se cumple la expresin..(1) para todo n en el natural

Sea S(n) una proposicin abierta con las condiciones a) Si S(1) es verdadero b) Siempre que S(k) es verdadera para algn S(K+1) es verdadera

positivos entonces

{ ( ) } queremos mostrar que Entonces sea asi para que obtengamos una contradiccin entonces supongamos que Entonces por el principio del buen orden F tiene un elemento mnimo

Como S(1) es verdadera Como

por lo que

y en consecuencia

tenemos que (

) es verdadera

Asi por contradiccin si siempre que ( ) sea verdadera para algn k entero positivo implica entonces ( ) es verdadera Se sigue que (( . ) ) ( ) es verdadera lo que contradice que

La contradiccin surge de la hiptesis

que por lo tanto es