Professional Documents
Culture Documents
es la suma
de los n primeros impares, as:
6
A continuacin se presenta la demostracin de este hacho realizada por
Francesco Maurolico, siendo la primera que se hizo por induccin
matemtica:
Por lo tanto, se ha demostrado que si esto es verdadero para k tambin lo
es para k+1. Entonces es vlida para todo , por el principio de
induccin.
Otra forma de demostrarlo en mediante una prueba geomtrica como se
observa:
Figura 2.1. Nmeros cuadrados
Los nmeros cuadrados se representan mediante S
n
, que corresponde a la
cantidad de puntos en un arreglo cuadrangular n*n. Estos nmeros se
obtienen agregando un gnomon al nmero figurado anterior.
7
Figura 2. Cuadrados perfectos
2.3.1. Teorema 1 (Fermat-Euler):
Un nmero primo p puede ser escrito en la forma
con x, y Z si y
solo si ( .
2.3.2. Teorema 2:
Si n es un entero positivo tal que ( entonces n puede ser
representado como la suma de tres cuadrados.
2.3.3. Teorema 3:
Si n es un entero positivo y ( entonces npuede
representarse como la suma de tres cuadrados.
2.3.4. Teorema 4:
Si n es un nmero entero positivo tal que n 3 (mod 8), entonces n es la
suma de tres cuadrados impares.
Demostracin:
Recordemos que
(
Y si se colocan dos copias de t
n
de manera que se obtengan rectngulos se
puede concluir la formula cerrada:
2.4.1. Teorema de Gauss:
Todo nmero entero no negativo es la suma de tres nmero triangulares.
Demostracin:
Los nmeros triangulares tienen la forma
, con n N.
Si n>= 1, por el teorema 1 de los nmeros cuadrados el nmero entero
8n+3 es la suma de tres cuadrados impares y adems existen enteros
no negativos k
1
, k
2
, k
3
tales que:
9
2.5. LOS NMEROS POLIGONALES
Los nmeros poligonales son aquellos que pueden ser representados como
puntos dispuestos en forma de polgono regular.
Existe una frmula para obtener el n-simo nmero poligonal, si l es su
nmero de lados, la formula para el n-simo nmero poligonal es:
A continuacin en la tabla, se comprueba la veracidad de la formula,
reemplazando l por el nmero de lados del polgono.
Nombre Formula N=1 2 3
Triangular n(1n + 1) 1 3 6
Cuadrado n(2n - 0) 1 4 9
Pentagonal n(3n - 1) 1 5 12
Hexagonal n(4n - 2) 1 6 15
Anteriormente enunciamos los nmeros triangulares, que pertenecen a los
poligonales, al igual que los cuadrados.
10
Nmeros Hexagonales
11
2.6. NMEROS TETRADRICOS
Son los anlogos de los triangulares en 3D y se denotan Tn, Estos nmeros
son la cantidad de puntos en una pirmide tetradrica.
Figura 2.4. Puntos en pirmide tetradrica
Como la n-sima capa es un arreglo triangular de tn puntos, entonces
2.6.1. Prueba Geomtrica:
Se requiere usar cubos, en vez de puntos, de tal manera que varias copias
encajen perfectamente para formar un cuboide. Por ejemplo consideremos
T3 = 10, en la figura (2.5) se puede observar la configuracin de T3 usando
cubos. Las dos copias de T3 ajustan bien, pero no constituyen u cuboide.
Figura 2.5. Encajar dos copias de T3 = 10.
Para lograr un cuboide necesitamos seis copias de T3, como se ve en la
figura (2.6).
12
Figura 2.6. Encajando seis copias de T3 = 10.
Entonces, con seis copias de T3 obtenemos un cuboide de orden 3 X (3+1) X
(3+2), por tanto T
3
= [3(3+1) (3+2)]/6. Generalizando, si sumamos seis
copias de Tn, obtenemos es un cuboide de orden n X (n + 1) X (n + 2), es
decir:
Los nmeros tetradricos satisfacen la siguiente relacin: T
5
= T
4
+ T
3
+ T
2
+
T
1.
2.7. NMEROS PIRAMIDALES DE BASE CUADRADA.
Estos nmeros corresponden a la cantidad de objetos en una pirmide de
base cuadrada y altura n. En la figura (2.7) se muestra una configuracin
para P
4
= 30.
La K-sima capa en la pirmide es un cuadrado con S
k
= k
2
objetos, entonces
Para obtener una frmula para P
n,
Usamos la relacin entre nmeros
cuadrados y nmeros triangulares, esto nos lleva a una expresin en
trminos de T
n
.
13
Figura 2.7. P4 = 30.