David M.

Burton
-------------------------------------------------- 1 ----------------------------------------------------

ALGUNAS CONSIDERACIONES
PRELIMINARES
“El número nació en la superstición y se crio en el misterio,... los números fueron una vez el
fundamento de la religión y la filosofía, y los trucos de las figuras han tenido un efecto maravilloso
en un pueblo crédulo”.
F. W Parker.

1.1 INDUCCIÓN MATEMÁTICA

La teoría de los números se refiere, al menos en su aspecto elemental, a las propiedades de los
números enteros y más particularmente a los enteros positivos 1, 2,3,... (También conocidos como
números naturales). El origen de este nombre incorrecto se remonta a los antiguos griegos para
quienes la palabra "número" menciona un entero positivo, y nada más. Los números naturales han
sido conocidos por nosotros durante tanto tiempo que el matemático Leopold Kronecker comentó
una vez: "Dios creó los números naturales, y todo lo demás es obra del hombre". Lejos de ser un
regalo del Cielo, la teoría de números ha tenido una evolución larga y en ocasiones dolorosa, una
historia que se cuenta en las páginas siguientes.
No haremos ningún intento de construir los enteros axiomáticamente, asumiendo que ya están
dados y que cualquier lector del libro está familiarizado con muchos hechos elementales sobre
ellos. Entre estos se encuentra el Principio de Ordenamiento Correcto. Para actualizar la memoria,
indica:
Principio De Ordenamiento Correcto.
Cada conjunto no vacío S de enteros no negativos contiene un elemento mínimo; es decir, hay un
número entero 𝑎 en S tal que 𝑎 ≤ 𝑏 para todo b que pertenece a S.
Dado que este principio jugará un papel crítico en las pruebas aquí y en los siguientes capítulos,
utilicémoslo para mostrar que el conjunto de enteros positivos tiene lo que se conoce como la
Propiedad de Arquímedes.
TEOREMA 1.1: (Propiedad de Arquímedes)
Si 𝑎 y 𝑏 son números enteros positivos, entonces existe un numero entero “𝑛” tal que 𝑛𝑎 ≥ 𝑏

Prueba: supóngase que la afirmación del teorema no es verdadera, de modo que para algunos 𝑎 y
𝑏, 𝑛𝑎 < 𝑏 para cada entero positivo 𝑛. Entonces el conjunto

𝑆 = {𝑏 − 𝑛𝑎 ⃒ 𝑛 un entero positivo}

1
Consiste enteramente de enteros positivos. Por el Principio del Ordenamiento Correcto S tendrá un
elemento mínimo, por ejemplo 𝑏 − 𝑚𝑎. Nótese que 𝑏 − (𝑚 + 1)𝑎 también se encuentra en 𝑆, ya
que 𝑆 contiene todos los enteros de esta forma. Además tenemos
𝑏 − (𝑚 + 1)𝑎 = (𝑏 − 𝑚𝑎 ) − 𝑎 < 𝑏 − 𝑚𝑎,

Contrario a la elección de 𝑏 − 𝑚𝑎 como el entero más pequeño en 𝑆. Esta contradicción surgió de

nuestra suposición original de que la Propiedad Arquimediana no se mantuvo, por lo tanto esta
propiedad es comprobada verdadera.
Con el Principio del Ordenamiento Correcto disponible, es fácil deducir el principio de inducción
finita. Este último principio proporciona una base para un método de prueba llamado “inducción
matemática”. Hablando en términos generales, el principio de inducción finita afirma que si un
conjunto de enteros positivos tiene dos propiedades específicas entonces es el conjunto de todos
los enteros positivos. Para ser menos crítico:
TEOREMA 1.2 (Principio De Inducción Finita)
Sea 𝑆 un conjunto de enteros positivos con las propiedades
i) 1 Pertenece a 𝑆, y
ii) Siempre que el entero 𝑘 esté en 𝑆, entonces el nuevo entero 𝑘 + 1 debe estar también
en 𝑆.
Entonces 𝑆 es el conjunto de todos los enteros positivos.
Prueba: Sea 𝑇 el conjunto de todos los enteros positivos que no están en 𝑆, y suponga que 𝑇 es no
vacío. El Principio del Ordenamiento Correcto nos dice que 𝑇 posee un elemento mínimo que
denotamos por 𝑎. Ya que 1 está en 𝑆, ciertamente 𝑎 > 1 y si 0 < 𝑎 − 1 < 𝑎. La elección de 𝑎 como
el entero positivo más pequeño en 𝑇 implica que 𝑎 − 1 no es un miembro de 𝑇, o equivalentemente,
que 𝑎 − 1 pertenece a 𝑆. Por hipótesis 𝑆 también debe contener (𝑎 − 1) + 1 = 𝑎, lo que contradice
el hecho de que 𝑎 se encuentra en 𝑇. Concluimos que el conjunto 𝑇 está vacío, y en consecuencia
que 𝑆 contiene todos los enteros positivos.
Aquí hay una forma típica que puede establecerse mediante la inducción matemática:
(1)
𝑛(2𝑛 + 1)(𝑛 + 1)
12 + 2 2 + 32 + ⋯ + 𝑛 2 =
6
Para 𝑛 = 1, 2, 3 … en anticipación de usar Teorema 1.2, sea 𝑆 el conjunto de todos los enteros
positivos 𝑛 para los cuales la formula (1) es verdadera. Observamos que cuando 𝑛 = 1, la formula
se convierte
1(2 + 1)(1 + 1)
12 = =1
6
Esto significa que 1 està en 𝑆. A continuación, supongamos que 𝑘 pertenece a 𝑆 (donde 𝑘 es un
entero fijo pero no especificado) de modo que

2
(2)
𝑘(2𝑘 + 1)(𝑘 + 1)
12 + 2 2 + 32 + ⋯ + 𝑘 2 =
6
Para obtener la suma de los primeros 𝑘 + 1 cuadrados, simplemente agregue el siguiente (𝑘 + 1)2
a ambos lados de la ecuación (2). Esto da
𝑘(2𝑘 + 1)(𝑘 + 1)
12 + 22 + 3 2 + ⋯ + 𝑘 2 = + (𝑘 + 1)2
6
Después de alguna manipulación algebraica, el lado derecho se convierte
𝑘(2𝑘 + 1) + 6(𝑘 + 1) 2𝑘 2 + 7𝑘 + 6
(𝑘 + 1) [ ] = (𝑘 + 1) [ ]
6 6
(𝑘 + 1)(2𝑘 + 3)(𝑘 + 2)
=
6
Que es precisamente el miembro derecho de la fórmula (1) cuando 𝑛 = (𝑘 + 1). Nuestro
razonamiento muestra que el conjunto 𝑆 contiene el número entero 𝑘 + 1 siempre que contenga el
número entero 𝑘. Según el Teorema 1.2, 𝑆 debe ser todos los enteros positivos; es decir, la formula
dada es verdadera para 𝑛 = 1, 2, 3, …
Si bien la inducción matemática proporciona una técnica estándar para intentar probar una
afirmación sobre los enteros positivos, una desventaja es que no ayuda a formular tales enunciados.
Por supuesto, si podemos hacer una “conjetura adecuada” sobre una propiedad que creemos que
podría contener en general, entonces su validez a menudo puede ser probada por el principio de
inducción matemática. Considere, por ejemplo, la lista de igualdad
1 = 1.
1 + 2 = 3,
1 + 2 + 22 = 7,
1 + 2 + 22 + 23 = 15,
1 + 2 + 22 + 23 + 24 = 31,
1 + 2 + 22 + 23 + 24 + 25 = 63.

Lo que se busca es una regla que de los enteros en el lado derecho. Después de una pequeña
reflexión, el lector puede notar que
1 = 2 − 1, 3 = 22 − 1, 7 = 23 − 1,
15 = 24 − 1, 31 = 25 − 1, 63 = 26 − 1.

3
Es difícil decir cómo se llega a esta observación, pero la experiencia ayuda. El patrón que emerge
de estos pocos casos sugiere una fórmula para obtener el valor de la expresión 1 + 2 + 22 + ⋯ +
2𝑛−1 ; es decir,
(3)
1 + 2 + 22 + ⋯ + 2𝑛−1 = 2𝑛 − 1
Para cada entero positivo 𝑛.
Para confirmar que nuestra suposición es correcta, sea 𝑆 el conjunto de enteros positivos 𝑛 para los
que se cumple la fórmula (3). Para 𝑛 = 1, (3) es ciertamente cierto, por lo que pertenece al conjunto
𝑆. Suponemos que (3) es verdadero para un entero 𝑘 fijo, de modo que para este 𝑘
1 + 2 + 22 + ⋯ + 2𝑘−1 = 2𝑘−1
E intentamos probar la validez de la fórmula para 𝑘 + 1. La adición del término 2𝑘 a ambos lados
de la última ecuación escrita lleva a
1 + 2 + 22 + ⋯ + 2𝑘−1 + 2𝑘 = 2𝑘 − 1 + 2𝑘
= 2 ∙ 2𝑘 − 1 = 2𝑘+1 − 1
Pero esto dice que formula (3) se cumple cuando 𝑛 = 𝑘 + 1, poniendo el entero 𝑘 + 1 en 𝑆; de
modo que 𝑘 + 1 está en 𝑆 siempre que 𝑘 pertenece a 𝑆. De acuerdo con el principio de inducción,
𝑆 debe ser el conjunto de todos los enteros positivos.
OBSERVACIÓN: Al dar pruebas de inducción, usualmente acortamos el argumento
eliminando toda referencia al conjunto S, y procedemos a mostrar simplemente que el
resultado en cuestión es verdadero para el entero 1, y si es verdadero para el entero k es
entonces también verdadero para k + 1
Deberíamos inyectar una palabra de precaución en este punto, a saber, que uno debe tener cuidado
de establecer ambas condiciones del Teorema 1-2 antes de sacar alguna conclusión; ninguno es
suficiente solo. La prueba de la condición (𝑖) se suele llamar la base para la inducción, mientras
que la prueba de (𝑖𝑖) se denomina etapa de inducción. Las suposiciones hechas al llevar a cabo el
paso de inducción se conocen como hipótesis de inducción. La situación de inducción se asemeja
a una fila infinita de dominós, todos de pie en el borde y dispuestos de tal manera que cuando uno
cae derriba al siguiente en la línea. Si no se empuja ninguna ficha de dominó (es decir, no hay base
para la inducción) o si el espaciado es demasiado grande (es decir, el paso de inducción falla),
entonces la línea completa no caerá.
La validez del paso de inducción no necesariamente depende de la verdad de la declaración que
uno está tratando de demostrar. Echemos un vistazo a la formula falsa
(4)
1 + 3 + 5 + ⋯ + (2𝑛 − 1) = 𝑛2 + 3
Supongamos que esto se cumple para 𝑛 = 𝑘; en otras palabras

4
 1 + 3 + 5 + ⋯ + (2𝑘 − 1) = 𝑘 2 + 3
Sabiendo esto, obtenemos
1 + 3 + 5 + ⋯ + (2𝑘 − 1) + (2𝑘 + 1) = 𝑘 2 + 3 + 2𝑘 + 1
= (𝑘 + 1)2 + 3
La cual es precisamente la forma que debería tomar la fórmula (4) cuando 𝑛 = 𝑘 + 1. Por lo tanto,
si (4) se cumple para un entero dado, entonces también se aplica al entero siguiente. Sin embargo,
no es posible encontrar un valor de 𝑛 para el cual la fórmula sea verdadera.
Existe una variante del principio de inducción que se usa a menudo cuando el Teorema 1-2 por sí
solo parece ineficaz. Al igual que con la primera versión, este Segundo Principio de Inducción
Finita da dos condiciones que garantizan que un determinado conjunto de enteros positivos en
realidad consiste en todos los enteros positivos. Lo que sucede es esto: retenemos el requisito (𝑖),
pero (𝑖𝑖) se reemplaza por
(𝑖𝑖´) 𝑘 es un entero positivo tal que 1, 2, … , 𝑘 pertenece a 𝑆, entonces 𝑘 + 1 también debe estar en
𝑆.
La prueba de que 𝑆 consiste en todos los enteros positivos es análoga a la del Teorema 1-2.
Nuevamente, dejemos que 𝑇 represente el conjunto de enteros positivos que no están en 𝑆.
Suponiendo que 𝑇 es no vacío, seleccionamos 𝑛 como el entero más pequeño en 𝑇. Entonces
𝑛 > 1 , por Supuesto (𝑖 ). La naturaleza mínima de 𝑛 nos permite concluir que ninguno de los
enteros 1, 2, … , 𝑛 − 1 se encuentra en 𝑇, o, si uno prefiere una afirmación positiva, 1, 2, … , 𝑛 − 1
todos pertenecen a 𝑆. Propiedad (𝑖𝑖´) luego pone 𝑛 = (𝑛 − 1) + 1 en 𝑆, que es una contradicción
obvia. El resultado de todo esto es hacer 𝑇 vacía.
El primer principio de inducción finita se usa con más frecuencia que el segundo, pero hay
ocasiones en que el segundo es favorecido y el lector debe ser familiar con ambas versiones. A
veces sucede que al intentar mostrar que 𝑘 + 1 es miembro de 𝑆, se requiere una prueba del hecho
de que no solo 𝑘, sino todos los enteros positivos que preceden a 𝑘, se encuentran en 𝑆. Nuestra
formulación de estos principios de inducción ha sido para el caso en que la inducción comienza
con 1. Cada forma se puede generalizar para comenzar con cualquier entero positivo 𝑛0 . En esta
circunstancia, la conclusión dice: "Entonces 𝑆 es el conjunto de todos los enteros positivos
𝑛 ≥ 𝑛0 .
La Inducción matemática a menudo se utiliza como un método de definición, así como un método
de prueba. Por ejemplo, una forma común de introducir el símbolo 𝑛! (pronunciado "𝑛 factorial")
es por medio de la definición inductiva
(𝑎) 1! = 1,
(𝑏) 𝑛! = 𝑛 ∙ (𝑛 − 1)! para 𝑛 > 1
Este par de condiciones proporciona una regla según la cual el significado de 𝑛! se especifica para
cada entero pasivo 𝑛. Por lo tanto, por (𝑎), 1! = 1; (𝑎) y (𝑏) cede

5
 2! = 2 ∙ 1! = 2 ∙ 1;
Mientras que por (𝑏) otra vez,
3! = 3 ∙ 2! = 3 ∙ 2 ∙ 1.
Continuando de esta manera, usando la condición (𝑏) repetidamente, los números 1!, 2!, 3!, … , 𝑛!,
se definen en sucesión hasta cualquier 𝑛 elegido. De hecho,
𝑛! = 𝑛 ∙ (𝑛 − 1) … 3 ∙ 2 ∙ 1.
La inducción entra para mostrar que 𝑛!, como una función en los enteros positivos, existe y es
única; sin embargo, no intentaremos dar el argumento.
Será conveniente extender la definición de 𝑛! al caso en el que 𝑛 = 0 al estipular que 0! = 1.
Ejemplo 1.1
Para ilustrar una prueba que requiere el segundo principio de inducción finita, considere la llamada
secuencia de Lucas sequense 1, 3, 4, 7, 11, 18, 29, 47, 76, ….
Excepto por los dos primeros términos, cada término de esta secuencia es la suma de los dos
anteriores, de modo que la secuencia se puede definir inductivamente por
𝑎1 = 1,
𝑎2 = 3,
𝑎𝑛 = 𝑎𝑛−1 + 𝑎𝑛−2 , para todo 𝑛 ≥ 3.
Sostenemos que la desigualdad
𝑎𝑛 < (7/4)𝑛
Se cumple para cada entero positivo 𝑛. El argumento utilizado es interesante porque en el paso
inductivo, es necesario conocer la verdad de esta desigualdad para dos valores sucesivos de 𝑛 para
establecer su verdad para el siguiente valor.
En primer lugar, para 𝑛 = 1 y 2, tenemos

7 1 7 7 2 49
𝑎1 = 1 < ( ) = y 𝑎2 = 3 < ( ) =
4 4 4 16

De ahí la causa de la desigualdad en cuestión en estos dos casos. Esto proporciona una base para
la inducción. Para el paso de inducción elige un número entero 𝑘 ≥ 3 y asume que la desigualdad
es válida para 𝑛 = 1, 2, … , 𝑘 − 1. Luego, en particular,

7 𝑘−1 7 𝑘−2
𝑎𝑘−1 < ( ) y 𝑎𝑘−2 < ( )
4 4

6
Por la forma en que se forma la secuencia de Lucas sequense, se sigue que

7 𝑘−1 7 𝑘−2
𝑎𝑘 = 𝑎𝑘−1 + 𝑎𝑘−2 <( ) +( )
4 4
7 𝑘−2 7
=( ) ( + 1)
4 4
7 𝑘−2 11
=( ) ( )
4 4
7 𝑘−2 7 2
<( ) ( )
4 4
7 𝑘
=( )
4
Dado que la desigualdad es verdadera para 𝑛 = 𝑘 siempre que sea verdadera para los enteros
7 𝑛
1, 2, … , 𝑘 − 1, concluimos por el segundo principio de Inducciòn que 𝑎𝑛 < (4) para todo 𝑛 ≥ 1

Entre otras cosas, este ejemplo sugiere que si los objetos se definen inductivamente, entonces la
inducción matemática es una herramienta importante para establecer las propiedades de estos
objetos.
PROBLEMAS 1.1
1. Probar las siguientes fórmulas mediante la inducción matemática
𝑛(𝑛+1)
(a) 1 + 2 + 3 + ⋯ + 𝑛 = 2 para todo 𝑛 ≥ 1;
(b) 1 + 3 + 5 + ⋯ + (2𝑛 − 1) = 𝑛2 para todo 𝑛 ≥ 1;
𝑛(𝑛+1)(𝑛+2)
(c) 1 ∙ 2 + 2 ∙ 3 + 3 ∙ 4 + ⋯ + 𝑛(𝑛 + 1) = para todo 𝑛 ≥ 1;
3
𝑛(4𝑛 2−1)
(d) 12 + 32 + 52 + ⋯ + (2𝑛 − 1)2 = para todo 𝑛 ≥ 1;
3
𝑛(𝑛+1) 2
(e) 13 + 23 + 33 + ⋯ + 𝑛3 = [ ] para todo 𝑛 ≥ 1.
2

2. Si 𝑟 ≠ 1 muestra que
𝑎(𝑟 𝑛+1 − 1)
𝑎 + 𝑎𝑟 + 𝑟 2 + ⋯ + 𝑎𝑟 𝑛 =
𝑟−1
Para todo entero positivo 𝑛.

3. Use el segundo principio de la Inducción Finita para probar que

𝑎𝑛 − 1 = (𝑎 − 1)(𝑎𝑛−1 + 𝑎𝑛−2 + 𝑎𝑛−3 + ⋯ + 𝑎 + 1)
Para todo 𝑛 ≥ 1.
[𝑠𝑢𝑔𝑒𝑟𝑒𝑛𝑐𝑖𝑎: 𝑎𝑛+1 − 1 = (𝑎 + 1)(𝑎𝑛 − 1) − 𝑎(𝑎𝑛−1 − 1). ]

7
4. Probar que el cubo de cualquier número entero se puede escribir como la diferencia de dos
cuadrados.
[𝑠𝑢𝑔𝑒𝑟𝑒𝑛𝑐𝑖𝑎: 𝑛𝑜𝑡𝑒𝑐𝑒 𝑞𝑢𝑒 𝑛3 = (13 + 23 + ⋯ + 𝑛3 ) − (13 + 23 + ⋯ + (𝑛 − 1)3 ). ]

5. (𝑎) Encuentre los valores de 𝑛 ≤ 7 para los cuales 𝑛! + 1es un cuadrado perfecto (se
desconoce si 𝑛! + 1 es un cuadrado para cualquier 𝑛 > 7).
(𝑏) ¿Verdadero o falso? Para enteros positivos 𝑚 y 𝑛, (𝑚𝑛)! = 𝑚! 𝑛! y (𝑚 + 𝑛)! =
𝑚! + 𝑛!.

6. Demostrar que 𝑛! > 𝑛2 ; para cada entero 𝑛 ≥ 4, mientras 𝑛! > 𝑛3 para cada entero 𝑛 ≥ 6.

7. Use la inducción matemática para derivar la fórmula

1(1!) + 2(2!) + 3(3!) + ⋯ + 𝑛(𝑛!) = (𝑛 + 1)! − 1 para todo 𝑛 ≥ 1.
8. (a) Verifique que
(2𝑛)!
2 ∙ 6 ∙ 10 ∙ 14 ∙ … ∙ (4𝑛 − 2) =
𝑛!
Para todo 𝑛 ≥ 1.
(b) Use la parte (a) para obtener la desigualdad 2𝑛 (𝑛!)2 ≤ (2𝑛)! Para todo 𝑛 ≥ 1.

9. Establezca la desigualdad de Bernoulli: si 1 + 𝑎 > 0, entonces

(1 + 𝑎)𝑛 ≥ 1 + 𝑛𝑎
Para todo 𝑛 ≥ 1.
10. Para todo 𝑛 ≥ 1, demuestre por inducción matemática que
1 1 1 1 1
a) + + + ⋯+ ≤ 2− ,
12 22 32 𝑛2 𝑛

1 2 3 𝑛 𝑛
b) 2
+ 22 + 32 + ⋯ + 2𝑛
≤ 2 − 2𝑛 .

(2𝑛)!
11. Demuestre que la expresión es un número entero para todo 𝑛 ≥ 0.
2𝑛 𝑛!

12. Considere la función definida por

3𝑛 + 1
𝑝𝑎𝑟𝑎 𝑛 𝑖𝑚𝑝𝑎𝑟
2
𝑇(𝑛 ) =
𝑛
𝑝𝑎𝑟𝑎 𝑛 𝑝𝑎𝑟
{ 2 }

8
La conjetura 3𝑛 + 1 es la afirmación de que a partir de cualquier número entero 𝑛 > 1 la
secuencia de 𝑇(𝑛), 𝑇(𝑇(𝑛)), 𝑇 (𝑇(𝑇(𝑛))) , … ., eventualmente alcanza el número entero 1, y
posteriormente se ejecuta a través de los valores I y 2. Esto ha sido verificado para todo 𝑛 ≤ 1012 .
Confirme la conjetura en los casos 𝑛 = 21 y 𝑛 = 23.
1.2 EL TEOREMA BINOMIAL
𝑛
Estrechamente conectado con la notación factorial son Los Coeficientes Binomiales ( ). Para
𝑘
cualquier entero positivo 𝑛 y cualquier número entero 𝑘 satisface 0 ≤ 𝑘 ≤ 𝑛, estos están definidos
por
𝑛 𝑛!
( )=
𝑘 𝑘! (𝑛 − 𝑘)!
𝑛
Al cancelar cualquier 𝑘! o (𝑛 − 𝑘)!, ( ) se pueden escribir como
𝑘
𝑛 𝑛 (𝑛 − 1) … (𝑘 + 1) 𝑛 (𝑛 − 1 ) … (𝑛 − 𝑘 + 1)
( )= = .
𝑘 (𝑛 − 𝑘 )! 𝑘!
Por ejemplo, con 𝑛 = 8 y 𝑘 = 3, tenemos

8 8! 8∙7∙6∙5∙4 8∙7∙6
( )= = = = 56
3 3! 5! 5! 3!
También observe que si 𝑘 = 0 o 𝑘 = 𝑛, la cantidad 0! aparece en el lado derecho de la definición
𝑛
de ( ); ya que hemos tomado 0! como1, estos valores especiales de 𝑘 dan
𝑘
𝑛 𝑛
( )=( )=1
0 𝑛
Hay numerosas identidades útiles que conectan coeficientes coeficientes binomiales. Uno que
requerimos aquí es La Regla De Pascal:
𝑛 𝑛 𝑛+1
( )+( )=( ), 1 ≤ 𝑘 ≤ 𝑛.
𝑘 𝑘−1 𝑘
Su prueba consiste en multiplicar la identidad
1 1 𝑛+1
+ =
𝑘 𝑛 − 𝑘 + 1 𝑘(𝑛 − 𝑘 + 1)
Por
𝑛!
(𝑘 − 1)! (𝑛 − 𝑘 )!
Para obtener

9
 𝑛! 𝑛! (𝑛 + 1)𝑛!
+ = .
𝑘 (𝑘 − 1)! (𝑛 − 𝑘)! (𝑘 − 1)! (𝑛 − 𝑘 + 1)(𝑛 − 𝑘)! 𝑘 (𝑘 − 1)! (𝑛 − 𝑘 + 1)(𝑛 − 𝑘)!

Recurriendo a la definición de la función factorial, esto dice que

𝑛! 𝑛! (𝑛 + 1)!
+ = ,
𝑘! (𝑛 − 𝑘)! (𝑘 − 1)! (𝑛 − 𝑘 + 1)! 𝑘! (𝑛 + 1 − 𝑘)
De la cual siguen las reglas de Pascal.
Esta relación da lugar a una configuración, conocida como Triángulo De Pascal, en la que el
coeficiente binomial (𝑛𝑘) aparece como él número (k + 1) en la enésima fila.

1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
…

La regla de formación debe ser clara. Los bordes del triángulo se componen de unos; un número
que no está en el borde es la suma de los dos números más cercanos en la fila de arriba. El llamado
Teorema Binomial es en realidad una fórmula para la expansión completa de (𝑎 + 𝑏)𝑛 , 𝑛 ≥ 1, en
una suma de potencias de a y b. esta expresión aparece con gran frecuencia en todas las fases de la
teoría de números y vale la pena nuestro tiempo para verla ahora. Por multiplicación directa, es
fácil para cada
(𝑎 + 𝑏)1 = 𝑎 + 𝑏
(𝑎 + 𝑏)2 = 𝑎2 + 2𝑎𝑏 + 𝑏2
(𝑎 + 𝑏)3 = 𝑎3 + 3𝑎3 𝑏 + 3𝑎𝑏3 + 𝑏3
(𝑎 + 𝑏)4 = 𝑎4 + 4𝑎3 𝑏 + 6𝑎2 𝑏2 + 4𝑎𝑏3 + 𝑏4 , etc.

La pregunta es cómo predecir los coeficientes. Una pista radica en la observación de que los
coeficientes de estas primeras expansiones forman las sucesivas filas del triángulo Pascal. Esto
llevaría a sospechar que la expansión binomial general tomará la forma
𝑛 𝑛 𝑛 𝑛 𝑛
(𝑎 + 𝑏)𝑛 = ( ) 𝑎𝑛 + ( ) 𝑎𝑛−1 𝑏 + ( ) 𝑎𝑛−2 𝑏2 + ⋯ + ( ) 𝑎𝑏𝑛−1 + ( ) 𝑏𝑛
0 1 2 𝑛−1 𝑛

10
O, escrito de forma más compacta
𝑛
𝑛
(𝑎 + 𝑏)𝑛 = ∑ ( ) 𝑎𝑛−𝑘 𝑏𝑘
𝑘
𝑘=0

La inducción matemática proporciona los mejores medios para confirmar esta suposición. Cuando
n = 1, la fórmula de la conjetura se reduce a
1
1 1 1
(𝑎 + 𝑏)1 = ∑ ( ) 𝑎1−𝑘 𝑏𝑘 = ( ) 𝑎1 𝑏0 + ( ) 𝑎0 𝑏1 = 𝑎 + 𝑏
𝑘 0 1
𝑘=0

Lo cual es ciertamente correcto. Suponiendo que la fórmula se mantenga para un entero fijo m,
vamos a mostrar que también debe contener la forma m + 1. El punto de partida es notar que
(𝑎 + 𝑏)𝑚+1 = 𝑎(𝑎 + 𝑏)𝑚 + 𝑏(𝑎 + 𝑏)𝑚 .
Usando la hipótesis inductiva
𝑚 𝑚
𝑚 𝑚
𝑎(𝑎 + 𝑏)𝑚 = ∑ ( ) 𝑎𝑚−𝑘+1 𝑏𝑘 = 𝑎𝑚+1 + ∑ ( ) 𝑎𝑚−𝑘+1 𝑏𝑘
𝑘 𝑘
𝑘=0 𝑘=1

Y
𝑚 𝑚
𝑚 𝑚
𝑏(𝑎 + 𝑏) = ∑ ( ) 𝑎𝑚−𝑖 𝑏𝑖+1 = 𝑎𝑚+1 + ∑ (
𝑚
) 𝑎𝑚+1−𝑘 𝑏𝑘 + 𝑏𝑚+1
𝑖 𝑘−1
𝑖=0 𝑘=1

Tras la adición de estas expresiones, obtenemos

𝑚
𝑚 𝑚
(𝑎 + 𝑏 )𝑚+1 =𝑎 𝑚+1
+ ∑ [( ) + ( )] 𝑎𝑚+1−𝑘 𝑏𝑘 + 𝑏𝑚+1
𝑘 𝑘−1
𝑘=1
𝑚+1
𝑚 + 1 𝑚+1−𝑘 𝑘
= ∑( )𝑎 𝑏
𝑘
𝑘=0

Que es la fórmula en el caso n = m + 1. Esto estableció el teorema binomial por inducción.

Antes de abandonar estas ideas, podemos observar que la formulación aceptable del método de
inducción matemática aparece en el tratado Traité de Trianglle Arithmetiqué, del matemático y
filósofo francés del siglo XVII Blaise Pascal. Este breve trabajo fue escrito en 1653, pero no fue
publicado hasta 1665 porque Pascal se había retirado de las matemáticas (a la edad de 25 años)
para dedicar sus talentos a la religión. Su cuidadoso análisis de las propiedades de los coeficientes
binomiales ayudó a sentar las bases de la teoría de la probabilidad.

11
PROBLEMAS 1.2
1. (a) Deducir la identidad de Newton

𝑛 𝑘 𝑛 𝑛−𝑟
( )( ) = ( )( ) ; 𝑛 ≥ 𝑘 ≥ r ≥ 0.
𝑘 𝑟 𝑘 𝑘−𝑟

(b) Use la parte (a) para expresar (𝑛𝑘) en términos de su predecesor

𝑛 𝑛−𝑘+1 𝑛
( )= ( ),𝑛 ≥ 𝑘 ≥ 1
𝑘 𝑘 𝑘−1

2. Si 2 ≤ 𝑘 ≤ 𝑛 − 2, pruebe que

𝑛 𝑛−2 𝑛−2 𝑛−2

( )=( )+ 2( )+( ), 𝑛 ≥ 4.
𝑘 𝑘−2 𝑘−1 𝑘

3. Para 𝑛 ≥ 1, deduzca cada una de las siguientes identidades

𝑛 𝑛 𝑛 𝑛
(𝐚) ( ) + ( ) + ( ) + ⋯ + ( ) = 2𝑛
0 1 2 𝑛
[Sugerencia: sea a = b = 1 en el teorema Binomial]
𝑛 𝑛 𝑛 𝑛
(𝐛) ( ) − ( ) + ( ) + ⋯ + (−1)𝑛 ( ) = 0
0 1 2 𝑛
𝑛 𝑛 𝑛 𝑛
(𝐜) ( ) + 2 ( ) + 3 ( ) + ⋯ + 𝑛 ( ) = 𝑛2𝑛−1
1 2 3 𝑛
[Sugerencia: después de expandir 𝑛(1 + 𝑏)𝑛−1 por el teorema Binomial, deje b = 1; Tenga
en cuenta también que
𝑛−1 𝑛
𝑛( ) = (𝑘 + 1) ( ).]
𝑘 𝑘+1
𝑛 𝑛 𝑛 𝑛
(𝐝 ) ( ) + 2 ( ) + 22 ( ) + ⋯ + 2𝑛 ( ) = 3𝑛
0 1 2 𝑛
𝑛 𝑛 𝑛 𝑛 𝑛 𝑛 𝑛
(𝐞) ( ) + ( ) + ( ) + ( ) + ⋯ = ( ) + ( ) + ( ) + ⋯ = 2𝑛−1
0 2 4 6 1 3 5
[Sugerencia: use literal (a) y (b).]
𝑛 1 𝑛 1 𝑛 (−1)𝑛 𝑛 1
( 𝐟) ( ) − ( ) + ( ) − ⋯ + ( )= .
0 2 1 3 2 𝑛+1 𝑛 𝑛+1
[Sugerencia: el lado izquierdo es igual
1 𝑛+1 𝑛+1 𝑛+1 𝑛+1
[( )−( )+( ) − ⋯ + (−1)𝑛 ( )] . ]
𝑛+1 1 2 3 𝑛+1

12
4. Probar que para 𝑛 ≥ 1
𝑛 𝑛 1
(𝐚) ( ) < ( ) si, sólo si 0 ≤ 𝑟 ≤ (𝑛 − 1)
𝑟 𝑟+1 2
𝑛 𝑛 1
(𝐛) ( ) > ( ) si, sólo si 𝑛 − 1 ≥ 𝑟 > (𝑛 − 1)
𝑟 𝑟+1 2
𝑛 𝑛 1
(𝐜) ( ) = ( ) si, sólo si 𝑛 es un entero impar 𝑦 𝑟 = (𝑛 − 1)
𝑟 𝑟+1 2
5. (a) Para 𝑛 ≥ 2, pruebe que
2 3 4 𝑛 𝑛+1
( )+( ) + ( )+ ⋯+( ) = ( )
2 2 2 2 3
[Sugerencia: Use inducción y las reglas de Pascal.]

(b) De la parte (a), y la relación 𝑚2 = 2(𝑚

2
) + 𝑚, para 𝑚 ≥ 2, deduce la fórmula

𝑛(𝑛 + 1)(2𝑛 + 1)
12 + 22 + 32 + ⋯ + 𝑛 2 =
6

(c) Aplicar la fórmula en la parte (a) para obtener una prueba de que

𝑛(𝑛 + 1)(𝑛 + 2)
1 ∙ 2 + 2 ∙ 3 + ⋯ + 𝑛 (𝑛 + 1) =
3
[Sugerencia: observe que (𝑚 − 1)𝑚 = 2(𝑚
2
).]

6. Deducir la identidad binomial

2 4 6 2𝑛 𝑛(𝑛 + 1)(4𝑛 − 1)
( )+ ( )+( ) +⋯+ ( ) = , 𝑛 ≥ 2.
2 2 2 𝑛 6

[Sugerencia: para 𝑚 ≥ 2, (2𝑚

2
) = 2(𝑚
2
) + 𝑚2 .]

7. Para 𝑛 > 1, verificar que

2𝑛 + 1
12 + 32 + 52 + ⋯ + (2𝑛 − 1)2 = ( )
3

8. Mostrar que para 𝑛 ≥ 1,

2𝑛 1 ∙ 3 ∙ 5 ∙ … ∙ (2𝑛 − 1) 2𝑛
( )= 2
𝑛 2 ∙ 4 ∙ 6 ∙ … ∙ 2𝑛

9. Establecer la desigualdad 2𝑛 < (2𝑛

𝑛
) < 22𝑛 para 𝑛 > 1
[Sugerencia: Poner 𝑥 = 2 ∙ 4 ∙ 6 ∙∙∙ (2𝑛), 𝑦 = 1 ∙ 3 ∙ 5 ∙∙∙ (2𝑛 − 1) y 𝑧 = 1 ∙ 2 ∙ 3 ∙∙∙
𝑛; Mostrar 𝑞𝑢𝑒 𝑥 > 𝑦 > 𝑧, por lo tanto 𝑥 2 > 𝑥𝑦 > 𝑥𝑧. ]

13
 10. Los números catalanes, definidos por
1 2𝑛 (2𝑛)!
𝑐𝑛 = ( )= ; 𝑛 = 0,1,2, ….
𝑛+1 𝑛 𝑛! (𝑛 + 1)!

forman la secuencia 1,1,2,5,14,42,132,429,1430,4862, ..., Aparecieron por primera vez en

1838 cuando Eugene Catalán (1814-1894) demostró que hay Cn formas entre paréntesis de
un producto no asociativo de n + 1 factores [Por ejemplo, cuando n = 3 hay cinco formas:
((ab)c)d, a((bc)d), a(b(cd)), (ab)(cd).] Para 𝑛 ≥ 1, probar que Cn puede ser deducido
inductivamente por
2(2𝑛 − 1)
𝑐𝑛 = 𝑐𝑛−1
𝑛+1

1.3 PRINCIPIOS DE LA TEORÍA DE NÚMEROS

Antes de ser agobiados por los detalles, deberíamos decir algunas palabras sobre el origen de la
teoría de los números. La teoría de los números es una de las ramas más antiguas de las
matemáticas; un entusiasta, al extender un punto aquí y allá, podría extender sus raíces a una fecha
sorprendentemente remota. Si bien parece probable que los griegos fueran en gran parte indulgentes
con los babilonios y los antiguos egipcios por el núcleo de información sobre las propiedades de
los números naturales, los primeros rudimentos de una teoría real generalmente se atribuyen a
Pitágoras y sus discípulos.
Nuestro conocimiento de la vida de Pitágoras es escaso y poco se puede decir con certeza. Según
las mejores estimaciones, nació entre 580 y 562 a. C. en la isla egea de Samos. Parece que estudió
no solo en Egipto, sino que incluso pudo haber prolongado sus viajes tan al este como Babilonia.
Cuando Pitágoras reapareció después de años de vagar, buscó un lugar favorable para una escuela,
y finalmente se estableció en Croton, un próspero colono griego en el talón de la bota italiana. La
escuela se concentró en cuatro Mathemata, o temas de estudio: Arithmetica (Aritmética, en el
sentido de la teoría de números, en lugar del arte de calcular) harmonía (música) geometria
(Geometría) y Astrología (Astronomía). Esta cuádruple división del conocimiento llegó a
conocerse en la Edad Media como el quadrivium al que se añadió el trivium de la lógica, la
gramática y la retórica. Estas siete artes liberales llegaron a ser consideradas como el curso de
estudio necesario para una persona educada.
Pitágoras divide a los que asistieron a sus conferencias en dos grupos: los probacionistas (u
oyentes) y los pitagóricos. Después de tres años en la primera clase, un oyente podría integrarse en
la segunda clase, a quien se le confiaron los principales descubrimientos de la escuela. Los
pitagóricos eran un grupo muy unido, tenían todos los bienes mundanos en común y estaban
obligados por un juramento a no revelar los secretos del fundador.
La leyenda dice que un pitagórico hablador fue ahogado en un naufragio como el castigo de los
dioses por jactarse públicamente de que había agregado el dodecaedro al número de sólidos
regulares enumerados por Pitágoras. Durante un tiempo, los pitagóricos autocráticos tuvieron éxito
al dominar a los miembros del gobierno local, y el mismo Pitágoras fue asesinado poco después.

14
Aunque la influencia política de los pitagóricos fue destruida, continuaron existiendo durante al
menos dos siglos más como una sociedad filosófica y matemática. Hasta el final, siguieron siendo
una orden secreta, no publicaron nada y, con una noble abnegación, atribuyeron todos sus
descubrimientos al Maestro.
Los pitagóricos creían que la clave de una explicación del universo estaba en el número y la forma,
y su tesis general era que "Todo es número". (Por número, significaban, por supuesto, un entero
positivo). Para una comprensión racional de la naturaleza, consideraron suficiente analizar las
propiedades de ciertos números. El propio Pitágoras, se nos dice, "parece haber otorgado una
importancia suprema al estudio de la aritmética, que él avanzó y sacó del ámbito de la utilidad
comercial".
La doctrina pitagórica es una curiosa mezcla de filosofía cósmica y misticismo numérico, una
suerte de súper numerología que asigna a todo lo material o espiritual un número entero definido.
Entre sus escritos, encontramos que 1 representaba la razón, porque la razón podía producir solo
un cuerpo consistente, de verdad; 2 representaban al hombre y 3 a la mujer; 4 era el símbolo de
Pitágoras para la justicia, siendo el primer número el producto de las escuálidas; 5 se identificó con
el matrimonio, ya que está formado por la unión de 2 y 3; Etcétera. Todos los números pares,
después del primero, fueron capaces de separarse en otros números; Sin embargo, eran prolíficos
y se los consideraba como femeninos y terrenales, y de alguna manera menos apreciados en
general. Al ser una sociedad predominantemente masculina, los pitagóricos clasificaron los
números impares, después de los dos primeros, como masculinos y divinos.
Aunque estas especulaciones sobre los números como modelos de "cosas" parecen frívolas en la
actualidad, debe tenerse en cuenta que los intelectuales del período griego clásico se absorbieron
en gran parte en la filosofía y que estos mismos hombres, debido a sus intereses intelectuales, eran
los mismos unos que se dedicaban a sentar las bases de las matemáticas como sistema de
pensamiento. Para los pitagóricos y sus seguidores, las matemáticas eran, en gran medida, un medio
para el fin de la filosofía. Solo con la fundación de la Escuela de Alejandría entramos en una nueva
fase en la cual el cultivo de las matemáticas se lleva a cabo por sí mismo.
Podríamos hacer una digresión aquí para señalar que la especulación mística sobre las propiedades
de los números no era exclusiva de los pitagóricos. Una de las formas más absurdas pero
ampliamente difundidas que tomó la numerología durante la Edad Media fue una pseudociencia
conocida como gematría o aritmología. Al asignar valores numéricos a las letras del alfabeto en
algún orden, cada nombre o palabra recibió su propio número individual. Desde el punto de vista
de gematría, dos palabras se consideraron equivalentes si los números representados por sus letras
al sumarse dieron la misma suma. Todo esto proporcionó una forma perfecta de grabar números;
α representando 1. β para 2, y así sucesivamente. Por ejemplo, la palabra "amén" es αµnv en griego;
estas letras tienen los valores 1, 40, 8 y 50, respectivamente, que suman 99. En muchas ediciones
antiguas de la Biblia, el número 99 aparece al final de la oración como un sustituto de amén. El
número más famoso fue 666, el "número de la bestia", mencionado en el Libro de las Revelaciones.
Un pasatiempo favorito entre los teólogos católicos durante la Reforma fue idear esquemas de
alfabeto en los que se demostró que 666 representaba el nombre de Martín Lutero, apoyando así su

15
contestación de que él era el Anticristo. Lutero respondió de la misma manera: conoció un sistema
en el que 666 se convirtió en el número asignado al Papa reinante, Leo X.
Fue en Alejandría, no en Atenas, donde comenzó a desarrollarse una ciencia de los números
divorciados de la filosofía mística. Durante casi mil años, hasta su destrucción por los árabes en
641 A.D., Alejandría se situó en el centro cultural y comercial del mundo helenístico. (Después de
la caída de Alejandría, la mayoría de sus eruditos emigró a Constantinopla. Durante los siguientes
80 años, mientras el aprendizaje formal en Occidente casi desaparecía, este enclave en
Constantinopla nos conservó las obras matemáticas de varias escuelas griegas). .llamado
Alexandrian Meseum, un precursor de la universidad moderna, reunió a los principales poetas y
eruditos de la época; adyacente a ella se estableció una enorme biblioteca, con la reputación de
tener más de 700,000 volúmenes, copiados a mano, en su apogeo. De todos los nombres
distinguidos relacionados con el Museo, el de Euclides (Circa 350 a. C.), fundador de la Escuela
de Matemáticas, se encuentra en una clase especial. La posteridad lo conoce como el autor de los
Elementos, el tratado griego más antiguo sobre conocimiento matemático disponible en ese
momento, organizado en trece partes o libros, como se les llama. El nombre de Euclides se asocia
tan a menudo con la geometría que uno tiende a olvidar que tres de los Libros, VII, VIII y IX, están
dedicados a la teoría de números.
Los Elementos de Euclides constituyen una de las grandes historias de éxito de la literatura
mundial. Casi ningún otro libro, salvo la Biblia, ha sido difundido o estudiado más ampliamente.
Más de mil ediciones de la misma han aparecido desde la primera versión impresa en 1482, y antes
de ese manuscrito, las copias dominaban gran parte de la enseñanza de las matemáticas en Europa
Occidental. Desafortunadamente, no se ha encontrado una copia del trabajo que en realidad data
del tiempo de Euclides; las ediciones modernas son descendientes de una revisión preparada por
Theon of Alexandria, un comentarista del siglo IV A.D.
PROBLEMAS 1.3
1. Cada uno de los números
1 = 1, 3 = 1 + 2, 6 = 1 + 2 + 3, 10 = 1 + 2 + 3 + 4+, …
Representa el número de puntos que se pueden organizar de manera uniforme en un
triángulo equilátero
•
• • •
…
• • • • • •
• • • • • • • • • •
Esto llevó a los griegos a llamar a un triángulo numérico si es la suma de enteros
consecutivos, comenzando con 1. Demuestra los siguientes hechos con respecto a los
números triangulares
𝑛(𝑛+1)
(a) Un número es triangular si, sólo si es de la forma , para algunos 𝑛 ≥ 1.
2
(Pitágoras, hacia 550 A.C)

16
 (b) El entero n es un número triangular si y solo si 8n + 1 es un cuadrado perfecto. (Plutarco,
hacia 100 D.C)
(c) La suma de cualesquiera dos números triangulares consecutivos es un cuadrado
perfecto. (Nicomachus, hacia 100 D.C)
(d) Si n es un número triangular, entonces también lo son 9n + 1, 25n + 3 y 49n + 6. (Euler,
1775)

2. Si tn denota el enésimo número triangular, prueba que en términos de los coeficientes

binomiales
𝑛+1
𝑡𝑛 = ( ) , 𝑛 ≥ 1.
2

3. Obtenga la siguiente fórmula para la suma de números triangulares, atribuida al matemático

hindú Aryabhata (hacia 500 D.C):
𝑛(𝑛 + 1)(𝑛 + 2)
𝑡1 + 𝑡2 + 𝑡3 + ⋯ + 𝑡𝑛 = , 𝑛 ≥ 1.
6
[Sugerencia: agrupe los términos en el lado izquierdo en parejas, tomando nota de la
identidad 𝑡𝑘−1 + 𝑡𝑘 = 𝑘 2 ]

4. Probar que el cuadrado de cualquier múltiplo impar de 3 es la diferencia de dos números

triangulares, específicamente, que

9(2𝑛 + 1)2 = 𝑡9𝑛−4 + 𝑡3𝑛+1

5. En la secuencia de números triangulares, encuentra

(a) Dos números triangulares cuya suma y diferencia también son números triangulares
(b) Tres números triangulares sucesivos cuyo producto es un cuadrado perfecto
(c) Tres números triangulares sucesivos cuya suma es un cuadrado perfecto

6. (a) Si el número triangular 𝑡𝑛 es un cuadrado perfecto, demuestre que 𝑡4𝑛(𝑛+1) también es

un cuadrado.
(b) Usa la parte (a) para encontrar tres ejemplos de cuadrados que también son números
triangulares.

7. Mostrar que la diferencia entre los cuadrados de dos números triangulares consecutivos es
siempre un cubo

8. Probar que la suma de los recíprocos de los primeros n números triangulares es menor que
2; es decir,
1/1 + 1/3 + 1/6 + 1/10 + ⋯ + 1/𝑡𝑛 < 2.
2 1 1
[Sugerencia: observe que = 2( − ).]
𝑛(𝑛+1) 𝑛 𝑛+1

17
9. (a) Establecer la identidad 𝑡𝑥 = 𝑡𝑦 + 𝑡𝑧 donde
𝑥 = 1/2𝑛(𝑛 + 3) + 1, 𝑦 = 𝑛 + 1, 𝑧 = 1/2𝑛(𝑛 + 3),
Y 𝑛 ≥ 1, lo que demuestra que hay infinitos números triangulares que son la suma de otros
dos números.

(b) Encuentre tres ejemplos de números triangulares que son sumas de otros dos números
triangulares.

18