No entiendo bien esto, pero tengo esto para el b)
Spoiler
b) \( 2+4+6+...+2n=n^2+n \)
\( Para n=k --> 2+4+6....2k=k(k+1) \)
\( Para n=k+1 --> 2+4+6....2(k+1)=(k+1)(k+2) \)
Demostramos la tesis en base a la hipótesis:
\( k(k+1) +2(k+1)=(k+1)(k+2) \)
\( k^2+k+2k+2=(k+1)(k+2) \)
\( k^2+3k+2=(k+1)(k+2) \)
\( (k+1)(k+2)=(k+1)(k+2) \) Es verdad LQQD
¿Estaría bien?
Hola.
Veamos qué has hecho:
Ponlo así
\( Para\, n=k+1-->2+4+6+...+{\color{blue}2k}+2(k+1)=(k+1)(k+2)
\)
sin comerte el 2k.
La hipótesis es que hasta 2k la suma es
\( 2+4+6+...+2k=k^{2}+k
\)
Luego sustituimos todos esos sumandos, hasta 2k incluido, por \( (k^{2}+k)
\) para ver si es verdad (lo que comprobaremos después viendo si la igualdad es cierta).
\( (k^{2}+k)+2(k+1)=(k+1)(k+2)
\)
Que es, en efecto, lo que has hecho
\( k^{2}+k+2k+2=(k+1)(k+2)
\)
Es correcto.
Y entonces operas y llegas a que la igualdad es verdad
\( k^{2}+3k+2=(k+1)(k+2)
\)
Así que la respuesta es sí. Está bien.
Lo has entendido, al menos lo que hay que hacer.
La cuestión teórica es que si se cumple para “n=1”, ya tienes un resultado. A partir de ahí, podría cumplirse para el siguiente “n=2”, para el siguiente a este último, “n=3”... y no cumplirse, por ejemplo, qué sé yo, para “n=4”. Si fuera así, entonces existiría algún “n” para el que por primera vez, en el orden seguido, no es cierta la igualdad (cumpliéndose para los “n” menores que ése y pudiendo cumplirse o no cumplirse para los mayores que ése; da igual eso, si falla por primera vez, ya es mentira en general). En dicho caso, al no cumplirse en general, no llegarías a una igualdad cierta, porque la “n” está representando a todos los números, a los más grandes y también a los más pequeños. De tal forma, si no es cierta para algún “n”, la relación que encuentres no puede decirte nunca que es verdad, pues implicaría decirte que es verdad para algún o algunos “n” que no cumplen la condición.
Saludos.