1) Pruche qne la férmula a(n +1)(n 42 1-242-343-44..4n (+1) = Ree Ver) es vilida para todo natural n. Demostracién. Sea p(n), 1-242-345-44..4n-(n 41) = See Entonces p(1), 1-2= 48= Hipétesis Inductiva: p(k) verdadera, es decir _ kG + Ae +2) TT es verdadera, 1:242-343-44..4h-(k 41) Tesis: Por demostrar p(k + 1), es decir k+IE+ (Rt) 3 Sumando (k+1)-(k+2) a ambos Indos a Io ignaldad de In hipétesis inductive 2H2Q-B+S-4t +h (REI + (h+1)- (R42) = se obtiene: k(k + 1)(k +2) ~ 3 QE2-B+S-44 4h (R41) 4 (+1) (k+2) +(k+1)-(k+2) Inego sélo resta probar que Hk+1(k+2 RANK +2 R+S ( dG D4) (+2) ( ( it ) 3 3 Factorizando por (k+1)(k +2), se tiene (k+1)(k +2)(1+ &) = evenly) | qne es jnstamente In tesis deseada. y lo que prucba que p(n) es vertladera para todo natural n 2) Pruche que para todo nimero natural n > 1 , el ultimo digito del mimero 2" +1es7. Demostracién. Denotando por p(n) la proposicién a demostrar, podemos observar que para n=2,2" +1=17y la propo nes verdadera Nuestra hipdtesis inductiva es para n = k, es decir aceptamos que el tiltimo digito de 2” 4+ 1es 7. Tesis: Por demostrar que el ultimo digito de 2?""’ + 1 es 7 Notando que 22°" + 1 = (2”" + 1)? — 2(2?" + 1) +2 podemos concluir con la inductiva que el diltimo digito de (2? +1)? es 9, el iltimo ayuda de Ia hipstes digito de 2(2” +1) es 4 que luego al restarlos y sumarle 2, se demuestra Ta preposicién.3) Demuestre que para todo natural n > 2 ryt vi v2 V3 Demostracin Sea p(n) la proposicin dada, luego para n = 2, se tiene que 1+ Jy > V2. La proposicién verdade: Hipotesis de inducei ni n=k 1 1 = Wat a Tesis: n =k +1, Por demostrar que E 1 di i A: se concluye la, demostracién. 4) Demuestre que para todo natural n, n° — nes di Demostracién. ble por 5 Sea p(n) la proposicién dada, luego para n = 1 se tiene que 0 = 5-0 lo cual es verdadero. Hip tosis de induceién: n =k, k® — k es divisible por Tesis: n =k +1, Por demostrar que (k +1)’ — (k +1) es divisible por 5 Dado que nuestra tinica informacién es la hipdtesis debemos hacer que la expresién k> — k, aparezea en nuestro desarrollo En efecto, (b+) — (R41) =k? 45k 4 1089 + 10K? + 4k y es igual a KO kh + Sk(kS + 2k? + 2k +1) de donde ambos sumandos son divisibles por 5, luego para todo natural n, n° — nes divisible por 5.