Sumas de nmeros enteros y cuadrados

Juan Carlos Ponce Campuzano

poncecampuzanocarlos@gmail.com Universidad de Colima

1.

Suma de enteros
Cul es la suma de los primeros n nmeros? Es decir, cul es el valor de 1 + 2 + 3 + . . . + (n 1) + n Supongamos que la suma tiene un valor x. A partir del siguiente cuadro: 1 + n + n+1 + 2 + n1 + n+1 + 3 + ... n 2 + ... n + 1 + ... + + + n1 + 2 + n+1 + n = 1 = n+1 = x x 2x

De la tabla anterior, se puede deducir fcilmente que x= Por lo tanto 1 1 + 2 + 3 + . . . + (n 1) + n = n(n + 1). 2 (1) n(n + 1) 2

2.

Suma de cuadrados
A partir de la frmula (1), es posible encontrar la frmula para la suma de los cuadrados 12 + 22 + 32 + . . . + (n 1)2 + n2 Para ello utilizamos la frmula (k + 1)3 k 3 = 3k 2 + 3k + 1. 1

Para cada k = 1, 2, 3, . . . , n 1, n; tenemos 23 13 = 3 12 + 3 1 + 1 33 23 = 3 22 + 3 2 + 1 43 33 = 3 32 + 3 3 + 1 . . . n3 (n 1)3 = 3 (n 1)2 + 3 (n 1) + 1 (n + 1)3 n3 = 3 n2 + 3 n + 1 Al sumar las columnas anteriores, todos los trminos del primer miembro se reducen excepto dos y se obtiene (n + 1)3 13 = 3 12 + 22 + . . . + (n 1)2 + n2 + 3 [1 + 2 + . . . + (n 1) + n] + n. De aqu encontramos los siguiente 12 + 22 + 32 + . . . + (n 1)2 + n2 = (n + 1)3 1 n [1 + 2 + . . . + (n 1) + n] . 3 3 3

Si usamos la frmula (1), encontramos que 12 + 22 + 32 + . . . + (n 1)2 + n2 = (n + 1)3 1 n 1 n(n + 1). 3 3 3 2

Al simplicar, obtenemos la frmula para la suma de los cuadrados n3 n2 n 1 + 2 + 3 + . . . + (n 1) + n = + . 3 2 6

2 2 2 2 2

3.

Demostracin por induccin matemtica

Para demostrar que algunos resultados son vlidos para todo conjunto de nmeros naturales n, en una demostracin por induccin se verica primero el resultado para el valor ms pequeo de n. Posteriormente, a partir de un valor jo n, se demuestra su verdad para el valor superior inmediato. Esto se puede comparar con subir una escalera peldao a peldao. En primer lugar, uno se debe asegurar que se encuentra en el escaln ms bajo, y luego comprobar que no importa qu peldao hemos alcanzado, siempre se puede llegar al siguiente. En otras palabras, al sumar 1 al entero n, se obtiene n + 1. Este ltimo es mayor que n. En general, no existe ningn entero que sea el mayor de todos. Sin embargo, partiendo del nmero 1, se pueden alcanzar todos los enteros positivos, despus de un nmero nito de 2

pasos, pasando sucesivamente de n a n + 1. sta es la base de un mtodo de razonamiento que los matemticos llaman demostracin por induccin. Veamos un ejemplo. Recordemos la frmula para la suma de los primeros n nmeros. 1 + 2 + 3 + ... + n = n(n + 1) 2

Es fcil comprobar esta armacin directamente para los primeros valores de n. Pues para n = 1, 2, 3, por ejemplo, se tiene: 1(2) 2 2(3) 1+2= 2 3(4) 1+2+3= 2 Se trata de probar que la frmula es cierta para cada entero positivo n. Para ello se procede como sigue: Se supone que la armacin es vlida para un valor particular de n, sea n = k . Es decir, se supone que es vlido la siguiente identidad 1= k (k + 1) (2) 2 para k 1 jo. A lo anterior se le llama hiptesis de induccin. Partiendo de ello, se debe deducir que se cumple para k + 1, esto es, se debe demostrar que es vlida la siguiente identidad: (k + 1)(k + 2) (3) 1 + 2 + 3 + . . . + k + (k + 1) = 2 Para demostrar lo anterior utilizamos la hiptesis de induccin. Observemos que si sumamos k + 1 en ambos lados a la frmula (2) obtenemos 1 + 2 + 3 + ... + k = 1 + 2 + 3 + . . . + k + (k + 1) = k (k + 1) + (k + 1) 2 k (k + 1) + 2k + 2 = 2 k 2 + k + 2k + 2 = 2 (k + 1)(k + 2) = 2

Por lo cual, se ha demostrado para el caso k + 1 como una consecuencia del caso k . Puesto que para n = 1 se ha comprobado directamente, se sigue que tambin para n = 2 es cierto. Sabiendo que para n = 2 es cierto, se sigue que tambin lo es para n = 3, y as sucesivamente. Como cada entero positivo puede alcanzarse por este proceso, la frmula es cierta para todo valor de n. 3

4.

Principio de la induccin matemtica

Reexiona acerca del esquema de la demostracin anterior. Primero se comprueba la armacin para el caso ms simple (en este caso n = 1). Luego se prueba que si la armacin es cierta para un entero particular, tambin es cierta para el entero siguiente. De esto se concluye que la armacin es cierta para todos los enteros positivos. La idea de induccin se puede ilustrar de muchas maneras no matemticas. Por ejemplo, supngase una la de soldados de plomo consecutivamente, y dispuestos de tal forma que si uno de ellos cae, por ejemplo, el sealado con el smbolo k , choca con el siguiente sealado con el smbolo k + 1. Este ejemplo ilustra una ligera generalizacin del mtodo de induccin que puede expresarse en la forma siguiente. Mtodo de demostracin por induccin: Sea A(n) una armacin que contiene el entero n positivo. Se puede concluir que A(n) es verdadero para cada n n1 , con n1 , un nmero entero, si es posible: 1. Probar que A(n1 ) es cierta (el primer caso) 2. Probar que A(k + 1) es verdadera, suponiendo A(k ) verdadera con k n1 un entero arbitrario pero jado. Principio de buena ordenacin: Todo conjunto no vaco de enteros positivos contiene uno que es el menor.

5.

Ejercicios

Ejercicio 1. Tenemos la siguiente frmula n3 n2 n + + 1 + 2 + 3 + ... + n = 3 2 6 Se observa que es cierta para n = 1 porque
2 2 2 2

1 1 1 + + 3 2 6 Supongamos que se cumple para n = k . Es decir, 12 = k3 k2 k + + 3 2 6 Con base en esta hiptesis, falta demostrar que se cumple para k + 1 12 + 22 + 32 + . . . + k 2 = (k + 1)3 (k + 1)2 k + 1 + + . 3 2 6 Instruccin: Termina la demostracin anterior. 12 + 22 + 32 + . . . + k 2 + (k + 1)2 = 4

Ejercicio 2. Demostrar por induccin las frmulas siguientes: 1. 1 + 3 + 5 + . . . + (2n 1) = n2 2. 2 + 4 + 6 + . . . + 2n = n(n + 1) 3. 12 + 22 + . . . + n2 =

n(n+1)(2n+1) 6

4. 13 + 23 + . . . + n3 = (1 + 2 + 3 + . . . + n)2 Ejercicio 3. Observa que 1 14 14+9 1 4 + 9 16 = = = = 1 (1 + 2) 1+2+3 (1 + 2 + 3 + 4)

Encuentra la ley general y demuestra por induccin. Ejercicio 4. Observa que 1 1 = 2 2 2 1 1 1 1+ + = 2 2 4 4 1 1 1 1 1+ + + = 2 2 4 8 8 1+ Halla la ley general y demuestra por induccin. Ejercicio 5. Observa que 1 1 = 2 2 1 1 1 = 3 3 1 1 1 = 4 4 1

1 2

1 2 1 1 3 1

Encuentra la ley general y demustra por induccin Ejercicio 6. Halla la ley general que simplica el producto 1 y demustra por induccin. 5 1 4 1 1 9 1 1 16 ... 1 1 n2

En los siguientes ejercicios no se tiene que usar induccin. Ejercicio 7. Demuestra que la suma de dos nmeros impares es par y que la suma de dos pares es par. Qu puedes decir acerca de la suma de un par con un impar, el resultado ser impar o impar, demuestra tus armaciones? Ejercicio 8. Demuestra que la suma de cualesquiera tres nmeros consecutivos es divisible entre tres.

Referencias
[1] Apostol, T. M. (1967). Calculus, Volume 1, One-Variable Calculus with an Introduction to Linear Algebra, 2nd Edition. Waltham, MA: Blaisdell. [2] Spivak, M. (1994). Calculus. (Third Edition). Houston: Publish or Perish, Inc.