Professional Documents
Culture Documents
org/numeros
ISSN: 1887-1984
Volumen 88, marzo de 2015, pginas 55-74
Resumen Sumando nmeros impares consecutivos se puede obtener cualquier potencia de los
nmeros naturales. Adems se pueden distribuir los nmeros impares en figuras y
cuerpos geomtricos de forma que los nmeros de dichas figuras o cuerpos verifiquen la
propiedad anterior.
Abstract Adding odd consecutive numbers it is possible to obtain any power of the natural
numbers. Odd numbers also can be distributed in figures and geometric shapes so that the
numbers of the above mentioned figures or shapes check the previous property.
1. Introduccin
Un nmero natural es impar si no es divisible por 2. Los nmeros impares forman la sucesin:
1, 3, 5, 7, 9, 11, 13, ... Esta sucesin es una progresin aritmtica, con diferencia d=2, que tiene por
trmino general: an=2n-1, siendo n un nmero natural.
Es conocido que al sumar los n primeros nmeros impares, se obtiene como resultado de la
suma el cuadrado del nmero natural n. Esta propiedad se puede observar tambin geomtricamente
aadiendo filas y columnas a los distintos cuadrados que se pueden ir construyendo.
En (A. Bodin y L. Grugnetti, 2001, p. 22), aparece una distribucin de los nmeros impares en
forma triangular de forma que al sumar los elementos de cada lnea, se obtienen los cubos de los
nmeros naturales.
A partir de los dos resultados anteriores, es posible encontrar otras disposiciones de los
nmeros impares con las que obtener el resto de potencias de los nmeros naturales? La respuesta es
afirmativa. Se pueden obtener todas las potencias de los nmeros naturales sumando nmeros impares
consecutivos. Adems, de forma similar a como sucede al construir cuadrados para las potencias de
exponente 2, para obtener las otras potencias, se pueden colocar los nmeros impares en figuras
geomtricas, en los primeros casos y en cuerpos geomtricos en los siguientes, de forma que al sumar
los nmeros de estos objetos geomtricos se obtienen potencias de nmeros naturales. A partir de n 8
no es suficiente con cuerpos tridimensionales para colocarlos.
2. Potencias de exponente 2
Al calcular la suma de los n primeros nmeros impares, se obtiene como resultado el cuadrado
de n. Se puede comprobar en la siguiente tabla:
1 = 1 = 1
1 + 3 = 4 = 22
1 + 3 + 5 = 9 = 32
1 + 3 + 5 + 7 = 16 = 42
1 + 3 + 5 + 7 + 9 = 25 = 52
1 + 3 + 5 + 7 + 9 + 11 = 36 = 62
1 + 3 + 5 + 7 + 9 + 11 + 13 = 49 = 72
. . .
1 2 3
4 5
2
(2k 1) = 16 = 4 (2k 1) = 25 = 52 ...
=1 =1
(2k 1) = n2
=1
Demostracin.
Esta frmula se puede demostrar utilizando la suma de los trminos de una progresin
aritmtica:
n
((2 1 1) + (2 n 1)) n 2 n n
(2k 1) = = = n2
2 2
=1
Geomtricamente, la suma de los n primeros nmeros impares, equivale al rea de un
cuadrado de lado n (figura 1).
Figura 1.
3. Potencias de exponente 3
Al disponer los nmeros impares como se indica en el siguiente tringulo (A. Bodin y L.
Grugnetti, 2001), la suma de los nmeros de cada fila, coincide con los cubos de los nmeros
naturales.
1 3 6
10 15 21
3
(2k 1) = 64 = 4 (2k 1) = 125 = 5 3 (2k 1) = 216 = 63
=7 =11 =16
28
La sucesin formada por los lmites inferiores de las sumas: 1, 2, 4, 7, 11, 16, 22, .... , tiene
como trmino general:
2 + 2
2
La sucesin formada por los lmites superiores de las sumas: 1, 3, 6, 10, 15, 21, 28, ... , tiene
como trmino general:
2 +
2
Esta propiedad se puede expresar con la siguiente frmula, siendo k y n nmeros naturales:
2 +
2
(2k 1) = n3
2 +2
=
2
Demostracin.
Tambin se puede demostrar esta frmula con la frmula de la suma de los trminos de una
progresin aritmtica:
2 + 2 + 2
+1=n
2 2
2 + 2 + 2 2 +
2 ((2 2 1) + (2 2 1)) n
(2k 1) = =
2
2 +2
=
2
((2 + 1) + (2 + 1)) n 2 2
= = = 3
2 2
4. Potencias de exponente 4
Si se disponen los nmeros impares en cuadrados de lado n, la suma de todos los nmeros
impares utilizados en cada cuadrado es igual a n4. En cada cuadrado se empieza colocando desde el
primer nmero impar.
(2k 1) = 1 = 14
=1
(2k 1) = 16 = 24
=1
(2k 1) = 81 = 34
=1
16
(2k 1) = 256 = 44
=1
25
(2k 1) = 625 = 54
=1
...
De forma general, se puede expresar esta propiedad con la siguiente frmula, en la que k y n son
nmeros naturales:
n2
(2k 1) = n4
=1
Demostracin.
Esta propiedad se puede deducir a partir de la frmula obtenida para las potencias de exponente 2.
5. Potencias de exponente 5
Colocamos ahora todos los nmeros impares seguidos segn la distribucin indicada a
continuacin:
. . .
1 2
5
(2k 1) = 1 = 1 (2k 1) = 3
=1 =2
6 9
5
(2k 1) = 32 = 2 (2k 1) = 45
=3 =7
18 24
5
(2k 1) = 243 = 3 (2k 1) = 252
=10 =19
40 50
5
(2k 1) = 1024 = 4 (2k 1) = 900
=25 =41
75 90
5 (2k 1) = 2475
(2k 1) = 3125 = 5
=51 =76
...
En el estudio que se est realizando en este artculo, interesa la suma de los nmeros impares
situados en los cuadrados.
La sucesin formada por los lmites inferiores de las sumas: 1, 3, 10, 25, 51, 91, .... , tiene como
trmino general:
3 2 + 2
2
La sucesin formada por los lmites superiores de las sumas: 1, 6, 18, 40, 75, 126, ...., tiene
como trmino general:
3 + 2
2
Esta propiedad se puede expresar con la siguiente frmula siendo k y n nmeros naturales:
3 +2
2
(2k 1) = n5
3 2 +2
=
2
Demostracin.
3 + 2 3 2 + 2
+ 1 = 2
2 2
3 +2 3 2 + 2 3 + 2
2 ((2 2 1) + (2 2 1)) 2
(2k 1) = =
2
3 2 +2
=
2
((3 2 + 1) + (3 + 2 1)) 2 2 3 2
= = = 5
2 2
De la misma forma, la suma de los nmeros impares situados en los tringulos se puede
expresar con la frmula:
3 +22 +
2
n2 (n + 1)2 (2n + 1)
(2k 1) =
4
3 +2 +2
= 2
6. Potencias de exponente 6
Si se disponen los nmeros impares en cubos de arista n, la suma de todos los nmeros impares
utilizados en cada cubo es igual a n6. En cada cubo se empieza colocando desde el primer nmero
impar. En los siguientes grficos aparecen los cubos, los nmeros impares que se colocan en ellos y
por ltimo la suma de todos los nmeros situados en cada cubo.
(2k 1) = 1 = 16
=1
(2k 1) = 64 = 26
=1
27
(2k 1) = 729 = 36
=1
64
(2k 1) = 4096 = 46
=1
125
(2k 1) = 15625 = 56
=1
...
Esta propiedad se puede expresar con la siguiente frmula siendo k y n nmeros naturales:
n3
(2k 1) = n6
=1
Demostracin.
n3
((2 1 1) + (2 n3 1)) n3 2 n3 n3
(2k 1) = = = n6
2 2
=1
Esta propiedad se puede deducir tambin a partir de la frmula obtenida para las potencias de
exponente 2.
7. Potencias de exponente 7
Colocamos ahora todos los nmeros impares seguidos segn la distribucin indicada a
continuacin. Se completan cubos de arista n y a continuacin se completan tres pirmides de base
cuadrada. En este apartado se estudiar nicamente la suma de los nmeros impares situados en los
cubos. De la misma forma que suceda en las potencias de exponente 5, se puede estudiar la suma de
los impares situados en las pirmides, pero el estudio realizado en este artculo se centra en el
resultado de los primeros.
(2k 1) = 1 = 17
=1
12
La suma de los nmeros impares situados en el cubo: =5(2k 1) = 128 = 27
54
La suma de los nmeros impares situados en el cubo: =28(2k 1) = 2187 = 37
160
La suma de los nmeros impares situados en el cubo: =97(2k 1) = 16384 = 47
375
La suma de los nmeros impares situados en el cubo: =251(2k 1) = 78125 = 57
...
La sucesin formada por los lmites inferiores de las sumas: 1, 5, 28, 97, 251, 541, .... , tiene
como trmino general:
4 3 + 2
2
La sucesin formada por los lmites superiores de las sumas: 1, 12, 54, 160, 375, 756, ...., tiene
como trmino general:
4 + 3
2
Esta propiedad se puede expresar con la siguiente frmula, siendo k y n nmeros naturales:
4 +3
2
(2k 1) = n7
4 3 +2
=
2
Demostracin.
4 + 3 4 3 + 2
+ 1 = 3
2 2
y la suma de los nmeros impares:
4 +3 4 3 + 2 4 + 3
2 ((2 2 1) + (2 2 1)) 3
(2k 1) = =
2
4 3 +2
=
2
((4 3 + 1) + (4 + 3 1)) 3 2 4 3
= = = 7
2 2
8. Potencias de exponente 8
1 16
8
(2k 1) = 1 = 1 (2k 1) = 256 = 28
=1 =1
81 256
8
(2k 1) = 6561 = 3 (2k 1) = 65536 = 48
=1 =1
625
De forma general, esta propiedad se puede expresar con la siguiente frmula, siendo k y n
nmeros naturales:
n4
(2k 1) = n8
=1
Demostracin.
n4
((2 1 1) + (2 n4 1)) n4 2 n4 n4
(2k 1) = = = n8
2 2
=1
Esta propiedad se puede deducir tambin a partir de la frmula obtenida para las potencias de
exponente 2.
9. Potencias de exponente 9
Igual que sucede en el apartado anterior, no se pueden colocar los nmeros impares en objetos
geomtricos para poder ver la distribucin que siguen.
162 640
9
(2k 1) = 19683 = 3 (2k 1) = 262144 = 49
=82 =385
1875
La sucesin formada por los lmites inferiores de las sumas: 1, 9, 82, 385, 1251, .... , tiene como
trmino general:
5 4 + 2
2
La sucesin formada por los lmites superiores de las sumas: 1, 24, 162, 640, 1875, ...., tiene
como trmino general:
5 + 4
2
Esta propiedad se puede expresar con la siguiente frmula, siendo k y n nmeros naturales:
5 +4
2
(2k 1) = n9
5 4 +2
=
2
Demostracin.
5 +4 5 4 + 2 5 + 4
2 ((2 2 1) + (2 2 1)) 4
(2k 1) = =
2
5 4 +2
=
2
((5 4 + 1) + (5 + 4 1)) 4 2 5 4
= = = 9
2 2
243 1024
3125
Esta propiedad se puede expresar con la siguiente frmula, siendo k y n nmeros naturales:
n5
(2k 1) = n10
=1
Demostracin.
n5
((2 1 1) + (2 n5 1)) n5 2 n5 n5
(2k 1) = = = n10
2 2
=1
Esta propiedad se puede deducir tambin a partir de la frmula obtenida para las potencias de
exponente 2.
11. Generalizacin
Observando por una parte las frmulas obtenidas para las potencias de exponente par y por otra
la obtenida para las potencias de exponente impar, se aprecia que presentan cierta similitud y que
pueden agruparse cada grupo de ellas en una sola frmula.
n2 n3
(2k 1) = n2 (2k 1) = n4 (2k 1) = n6
=1 =1 =1
n4 n5
(2k 1) = n2m
=1
con n y m nmeros naturales.
Demostracin.
Esta frmula se puede demostrar con la frmula de la suma de los trminos de una progresin
aritmtica:
nm
((2 1 1) + (2 nm 1)) nm 2 nm nm
(2k 1) = = = n2m
2 2
=1
2 + 3 +2
2 2
(2k 1) = n3 (2k 1) = n5
2 +2 3 2 +2
= =
2 2
4 +3 5 +4
2 2
(2k 1) = n7 (2k 1) = n9
4 3 +2 5 4 +2
= =
2 2
...
+1
2
(2k 1) = n2m1
1 +2
= 2
Demostracin.
Tambin se puede demostrar esta frmula con la frmula de la suma de los trminos de una
progresin aritmtica:
+ 1 1 + 2
+ 1 = nm1
2 2
+1 1 + 2 + 1
2 ((2 2 1) + (2 2 1)) nm1
(2k 1) = =
2
1 +2
= 2
(( 1 + 1) + ( + 1 1)) nm1 2 1
= = = 21
2 2
Las frmulas deducidas anteriormente empiezan con n2. En la ltima frmula para potencias de
exponente impar, se especifica que m>1. Qu sucede si m=1?
+1
2
(2k 1) = n1
+1
=
2
Si n es par, los lmites inferiores y superiores son fracciones iguales y entonces la expresin
"2k-1" no es un nmero impar.
Bibliografa
Bodin A. & Grugnetti L. (April 19, 2001). Reference Levels in Mathematics in Europe at age 16.
European Mathematical SocietySocit Mathmatique Europenne, pg. 22.
Luis Barrios Calmaestra. I.E.S. Jos de Mora, Baza, Granada. Natural de Torredonjimeno, Jan.
Profesor de Secundaria y Bachillerato. Colaborador con el Proyecto Descartes. Tiene varias publicaciones
de materiales didcticos para el Proyecto Descartes y algunas unidades didcticas con calculadoras
grficas CASIO.
Email: luisbarrioscalmaestra@gmail.com