Documento Discreto Sobre Teoría de Números

Curiosidades sobre los nmeros, y algo ms
David Camilo Molano Valbuena

2013-2014
ii
ndice general
Introduccin VII
Temas Bsicos y Mtodos de Demostracin 1
1.1. Lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Lgica Proposicional . . . . . . . . . . . . . . . . . . . . . 1
1.1.2. Cuanticadores . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.3. Lgica Probabilstica . . . . . . . . . . . . . . . . . . . . . 7
1.2. Demostracin Directa . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3. Demostracin por contrapositiva y reduccin al absurdo . . . . . 11
1.4. Tricotoma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5. Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.6. Sumatorias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.7. Induccin matemtica . . . . . . . . . . . . . . . . . . . . . . . . 19
1.8. Recursividad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.9. Tringulo de Pascal y Teorema del Binomio . . . . . . . . . . . . 30
1.10. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.11. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.11.1. Funciones Inyectivas, sobreyectivas, y biyectivas . . . . . . 37
1.12. Estructuras Algebricas . . . . . . . . . . . . . . . . . . . . . . . 39
1.12.1. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.12.2. Anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.12.3. Campos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.12.4. Espacios Vectoriales . . . . . . . . . . . . . . . . . . . . . 41
Nmeros 43
2.1. Nmeros Poligonales . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.1.1. Nmeros Triangulares . . . . . . . . . . . . . . . . . . . . 43
2.1.2. Nmeros Cuadrados . . . . . . . . . . . . . . . . . . . . . 45
2.1.3. Nmeros Pentagonales . . . . . . . . . . . . . . . . . . . . 46
2.1.4. Nmeros Poligonales de | lados . . . . . . . . . . . . . . . 47
2.2. Nmeros Piramidales . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.2.1. Nmeros Piramidales . . . . . . . . . . . . . . . . . . . . 51
2.2.2. Nmeros Piramidales de base triangular . . . . . . . . . . 51
2.2.3. Nmeros Piramidales cuadrados . . . . . . . . . . . . . . 52
iii
iv NDICE GENERAL
2.2.4. Nmeros Piramidales Pentagonales . . . . . . . . . . . . . 54
2.2.5. Nmeros Piramidales de l lados . . . . . . . . . . . . . . . 57
2.3. Tringulo Trinomial . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.4. Divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.4.1. Nmeros pares e impares . . . . . . . . . . . . . . . . . . 64
2.5. Nmeros primos y compuestos . . . . . . . . . . . . . . . . . . . 67
2.6. Congruencia mdulo : . . . . . . . . . . . . . . . . . . . . . . . . 68
Apndice: 69
.1. Apndice I: Induccin Matemtica en los Enteros. . . . . . . . . 69
Afterword 71
Prefacio
En matemticas hay una gran cantidad de clases de nmeros, slo hablando
en el conjunto de los naturales o los enteros. O ms an, los nmeros naturales
se pueden clasicar u ordenar, usando ciertos criterios, como ser un nmero
triangular, cuadrado, pentagonal, poligonal, piramidal, por un lado, ser divisible
por ciertos nmeros, o ser divisor de otros nmeros, ser un nmero primo, entre
otras bastantes condiciones.
Este pequeo documento tratar sobre ciertas clases de nmeros, y sobre
particularidades sobre ellos.
v
vi Prefacio
Introduccin
En este documento se tratarn ciertos aspectos de varios tipos de nmeros o
arreglos de nmeros. Pero estableceremos ciertos criterios, para poder hablar sin
ambiguedades. Para acortar ciertas armaciones, usaremos los cuanticadores \
(Para todo) y (Existe), y los conectores lgicos . (y), . (o), (Entonces), .
De este modo, cuando hablamos de (\r)(1
x
), el cuanticador universal, estamos
hablando que la proposicin denotada 1
x
se relaciona a todos los elementos r
de un cierto conjunto de referencia, que en este texto por lo general sern los
nmeros naturales y los nmeros enteros. Si escribimos (r)((1
x
) . (Q
x
)) esta-
mos diciendo que para algn elemento del conjunto de referencia, ambas proposi-
ciones se relacionan a l mediante el conector lgico .. Tambin estableceremos
ciertos criterios para los conjuntos de referencia.
Por ejemplo, el conjunto de los nmeros naturales, denotado N, se conside-
rar (No porque no pueda considerarse de otro modo) como:
N = 0, 1, 2, 3, 4, ...
Hay otros modos de denir este mismo conjunto, como por ejemplo, ex-
cluyendo al 0 de l. En este caso no lo haremos, ms que nada por simple
capricho.
As mismo, el conjunto de los nmeros enteros, denotado Z, ser considerado
como:
Z = ..., 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, ...
De este modo, denimos a los conjuntos de los nmeros naturales y de los
nmeros enteros, que sern los conjuntos con los que trabajaremos en este pe-
queo documento.
Usaremos algunos conceptos bsicos como el de Sumatoria denotada me-
diante
n
k=m
a
k
, donde a
k
es una expresin algebrica con variable /, el / = : es
el lmite inferior de la sumatoria, y el : es el lmite superior.
vii
viii INTRODUCCIN
Entonces
16
k=12
(2/ +1) = (2(12) +1) +(2(13) +1) +(2(14) +1) +(2(15) +1) +(2(16) +1)
= 145.
Deniremos
n
_
k=1
k
como la unin de varios conjuntos, es decir :
1
'
2
'
3
' ... '
n
.
Introduciremos tambin la suma y multiplicacin de matrices.
Deniremos las matrices como arreglos rectangulares de nmeros, la suma
de matrices 2 2 (2 las y 2 columnas)como:
_
a /
c d
_
+
_
c )
q /
_
=
_
a + c / + )
c + q d + /
_
La multiplicacin de matrices 2 2 como:
_
a /
c d
__
c )
q /
_
=
_
ac + /q a) + //
cc + dq c) + d/
_
De este modo, al sumar matrices sumamos los elementos correspondientes,
a con c, / con ), c con q, y d con /. Para hacer esto, las matrices tendrn que
ser del mismo tamao.
Para, por otro lado, multiplicar matrices, lo que haremos es multiplicar la
primera la de la primera, con la primera columna de la segunda, es decir, a
lo multiplicamos por c, / por q y sumamos el resultado. Siendo primera la y
columna, el resultado lo pondremos en el espacio que est en la primera la
y columna del resultado. Luego multiplicamos primera la de la primera por
segunda columna de la segunda, segunda la de la primera por primera columna
de la segunda, y por ltimo segunda la de la segunda por segunda coumna de
la segunda. En este caso la cantidad de columnas de la primera matriz tiene
que ser igual a la cantidad de las de la segunda matriz, para poder realizar
la multiplicacin, y el resultado sera una matriz con la cantidad de las de la
primera, y la cantidad de columnas de la segunda.
Un ejemplo sera:
_
2 1
3 1
__
3 1
1 1
_
=
_
7 3
10 4
_
La multiplicacin la haramos del siguiente modo, para llegar al resultado:
ix
En n, ahora continuaremos, profundizando un poco ms con algunos con-
ceptos necesarios, como algo de lgica, sumatorias y mtodos de demostracin.
x INTRODUCCIN
Temas Bsicos y Mtodos
de Demostracin
1.1. Lgica
1.1.1. Lgica Proposicional
La lgica matemtica es una parte de la lgica que se dedica al estudio
matemtico de la misma. Para lo que nos concierne ser la base de las demostra-
ciones rigurosas. Deniremos a las proposiciones, y los conectores lgicos como
base de la lgica. Y ac en la lgica, usaremos dos valores de verdad posibles
para las proposiciones. Verdadero, y falso. Una proposicin siempre tendr que
tener un solo valor de verdad. Entonces, usando las tablas de verdad, los posi-
bles valores de verdad de las proposiciones 1 y Q, los conectores lgicos ., .,
, , , que denotan a y, o, entonces, no, si y solo si, crearemos las tablas
de verdad para cada composicion de 1 y Q mediante los conectores dados.
1 Q 1 . Q 1 . Q 1 Q 1 Q 1
\ \ \ \ \ \ 1
\ 1 1 \ 1 1 1
1 \ 1 \ \ 1 \
1 1 1 1 \ \ \
Cuando hay dos proposiciones, haba 16 conectores lgicos posibles, aho-
ra, en la tabla mostramos slo 7, sin embargo, mediante combinaciones de las
proposiciones dadas, y los conectores dados, se podr construir cualquier tabla
de verdad restante (En realidad, slo usando los conectores . y , se puede
construir cualquier otra tabla de verdad). Tambin podemos ver ciertos requisi-
tos para que una composicion sea verdadera, o falsa. Por ejemplo 1 .Q slo es
verdadera cuando tanto 1 como Q son verdaderas. 1 . Q slo es falsa cuando
tanto 1 como Q son falsas. 1 Q slo es falsa cuando 1 es verdadera y Q es
falsa. 1 slo es verdadera cuando 1 es falsa, y slo es falsa cuando 1 es ver-
dadera. 1 Q es verdadera cuando 1 y Q tienen el mismo valor de verdad,
y falsa en otro caso. Una proposicin que siempre sea verdadera sin importar el
valor de verdad de sus partes, se llamar Tautologa. Una que siempre sea falsa
se llamar contradiccin.
1
2 TEMAS BSICOS Y MTODOS DE DEMOSTRACIN
Ahora deniremos un argumento lgico de esta forma:
1. 1
1
Premisa 1
2. 1
2
Premisa 2
3. 1
3
Premisa 3
...
n. 1
n
Premisa n
C Conclusin
Un argumento lgico escrito de esta forma sera una proposicin de la forma
(1
1
. 1
2
. 1
3
. ... . 1
n
) C.
Las condiciones las llamaremos premisas, y a C la llamaremos conclusun.
Un argumento lgico es vlido cuando, siempre que las premisas sean verdaderas,
la conclusin tambin lo es, si mediante su tabla mostramos que es tautologa,
o si la conclusin se puede deducir de las premisas. El argumento es invlido si
encontramos algn caso en que las premisas sean verdaderas y la conclusin no.
Hay argumentos que son vlidos y que sin embargo tienen las premisas
inconsistentes.
Ejemplo 1.1.1 Sea 1 = Est lloviendo y Q = Me mojo.
Entonces el siguiente argumento lgico es vlido:
1. (1 . 1) Q
2. 1
Q
Demostracin. Podemos hacer la tabla de verdad para demostrar que es cierto.
O en su defecto usar reduccin al absurdo (Ejemplo mostrado ms adelante).
1 Q 1 ((((1 . 1) Q) .1) Q)
\ \ \ \ \ \ \
\ \ 1 \ \ \ \
\ 1 \ \ 1 1 \
\ 1 1 \ 1 1 \
1 \ \ \ \ 1 \
1 \ 1 1 \ 1 \
1 1 \ \ 1 1 \
1 1 1 1 \ 1 \
Debido a que la tabla de verdad nos muestra que
((((1 .1) Q) .1) Q) es una tautologa, el argumento es vlido.
Hay mltiples argumentos vlidos en la lgica, entre los ms usados estn:
Modus Ponens:
1.1. LGICA 3
1. 1 Q
2. 1
Q
Modus Tollens:
1. 1 Q
2. Q
1
Modus Tollendo Ponens:
1. 1 . Q
2. 1
Q
Condicional - Bicondicional
1. 1 Q
2. Q 1
1 Q
Bicondicional-Condicional:
1. 1 Q
1 Q
Q 1
Silogismo hipottico:
1. 1 Q
2. Q 1
1 1
Dilema constructivo:
1. 1 Q
2. 1 o
3. 1 . 1
Q. o
Doble negacin:
1. 1
1
Repeticin:
1. 1
1
Simplicacin:
1. 1 . Q
1
Adjuncin:
1. 1
2. Q
1 . Q
Adicin:
1. 1
1 . Q
Contrapositiva:
1. 1 Q
Q 1
Leyes de Morgan:
1. (1 . Q)
1 . Q
1. (1 . Q)
1 . Q
Los argumentos lgicos anteriores pueden ser usados para realizar demostra-
ciones, ms an, los mtodos de demostracin estn basados en los argumentos
lgicos. Ahora seguimos, con cuanticadores.
1.1. LGICA 5
1.1.2. Cuanticadores
Frecuentemente queremos lidiar con proposiciones que no son simplemente
verdaderas o falsas, sino que son verdaderas para algunos miembros de un con-
junto de referencia, o que son verdaderas para todos los miembros de un con-
junto de referencia. Debido a eso introduciremos, en los argumentos lgicos,
los cuanticadores \ (Para todo) y (Existe), llamados cuanticador universal
y existencial respectivamente. Introduciremos ahora cuatro argumentos lgicos
con respecto a estos cuanticadores.
Ejemplicacin universal:
1. (\r)1
x
1
a
Donde a puede ser absolutamente cualquier miembro del conjunto de refer-
encia. Es decir, que como la proposicin se cumple para todos los miembros del
conjunto de referencia, entonces se cumple en particular para a, un miembro
arbitrario del conjunto de referencia.
Generalizacin universal:
1. 1
a
(\r)1
x
En este caso no nos referimos a que si demostramos que para un miembro del
conjunto de referencia se cumple la proposicin, demostramos tambin que se
cumple para todos. En este caso nos referimos a que si escogemos un miembro
del conjunto de referencia que podra ser cualquiera (O que los representa a
todos), y la proposicin se cumple para ste, entonces la proposicin se cumple
para todos los miembros del conjunto de referencia.
Ejemplicacin existencial:
1. (r)1
x
1
b
Ac, / no es un elemento cualquiera del conjunto de referencia. / es el miem-
bro para el que se cumple la proposicin. Es decir que, siendo que la proposicin
slo se cumple para algunos miembros del conjunto de referencia, / no es un
miembro arbitrario del mismo, sino uno de los pocos miembros para los que se
cumple la proposicin.
Generalizacin existencial:
1. 1
b
(r)1
x
Ac simplemente nos referimos a que, si encontramos un miembro del con-
junto de referencia para el que se cumple la proposicin dada, podemos decir
que existe un r del conjunto de referencia para el que se cumple la proposicin.
Sobre lo anterior, hay que tener cuidado con el orden en el que se usan los
argumentos lgicos. La idea es ejemplicar primero los cuanticadores existen-
ciales antes de los universales.
Ejemplo 1.1.2 Demostrar que el siguiente argumento es vlido:
1. (\r)1
x
Q
x
2. (r)1
x
(r)Q
x
Demostracin. La proposicin 1
x
se cumple para algn miembro del conjun-
to de referencia. Sea / uno de ellos (Ejemplicacin existencial). Ahora, como
1
x
Q
x
se cumple para todos los miembros del conjunto, tambin se cumple
para /. Entonces tenemos que 1
b
es verdadero y que 1
b
Q
b
tambin lo es.
Por 'odn: 1o:c:: tenemos que Q
b
tambin tiene que ser verdadera, para al
menos un miembro del conjunto de referencia. Por lo tanto, existe un r tal que
Q
x
, lo que se escribe como (r) Q
x
.
Ejemplo 1.1.3 Demuestre que el siguiente argumento es invlido.
1. (\r)1
x
'
x
2. (\r)G
x
'
x
(r)1
x
G
x
Demostracin. En este caso algo que nos servira realizar sera razonarlo y
aplicarlo algn ejemplo real.
Sean 1
x
= r es un perro, '
x
= r es un mamfero y G
x
= r es un gato.
La primera premisa nos dice que todos los perros son mamferos. La segunda
nos dice que todos los gatos son mamferos. Y la conclusin deseada es que existe
un perro que es gato. Desde un principio esto es absurdo, si cogemos todos los
perros del mundo, nos daremos cuenta que ninguno es un gato, puesto que son
diferentes especies. Entonces el argumento no es vlido.
1.1. LGICA 7
Para negar una proposicin del tipo (\r) 1
x
, lo que hacemos es cambiar el
cuanticador por un existencial, y negar la proposicin como si no estuviera
cuanticada. Esto es,((\r) 1
x
) (r) 1
x
. Lo anterior debido a que para
demostrar que una proposicin no se cumple para todos los elementos de un
conjunto de referencia, slo debemos mostrar un ejemplo de que esto es falso. As
mismo, para negar una proposicin del tipo (r) 1
x
, cambiamos el cuanticador
por un universal y negamos la proposicin como si no estuviera cuanticada.
De este modo ((r) 1
x
) (\r) 1
x
. Debido a que para demostrar que una
proposicin con un cuanticador existencial es falsa, tenemos que demostrar que
no se cumple para ningn elemento del conjunto de referencia.
Este tipo de razonamiento puede ayudar a encontrar una manera de invalidar
un argumento.
1.1.3. Lgica Probabilstica
Ac se la llamar Lgica probabilstica, debido a que la probabilidad funciona
del mismo modo.
Sea 1 una proposicin, cuyo valor de verdad, denotado j es un nmero real
del intervalo [0, 1]. Se dice que es 0 si la proposicin es totalmente falsa, que es
1 si la proposicin es totalmente verdadera, y entre 0 y 1 si no es ni totalmente
verdadera ni totalmente falsa.
Ahora, dadas las proposiciones 1 y Q, con valores de verdad denotados j y
, se denirn las siguientes operaciones.
Denicin 1.1.4 Sea un conector lgico que niega una proposicin, y j el
valor de verdad de una proposicin 1. Entonces, el valor de verdad de 1,
denotado |1| ser igual a 1 j.
Denicin 1.1.5 Sea . un conector lgico llamado y, que es acerca del hecho
de que dos proposiciones sean ciertas a la vez, y j y los valores de verdad de
las proposiciones 1 y Q, respectivamente. Entonces el valor de verdad de 1 .Q,
denotado |1 . Q| ser igual a j.
Denicin 1.1.6 Sea . un conector lgico llamado o, que es acerca del hecho
de que dadas dos proposiciones, al menos una de ellas sea cierta, y j y los
valores de verdad de las proposiciones 1 y Q, respectivamente. Entonces el valor
de verdad de 1 . Q ser igual al valor de verdad de (1 . Q) debido a
la llamada Ley de Morgan. Entonces, el valor de verdad de 1 . Q, denotado
|1 . Q| ser igual a 1 ((1 j)(1 )). Esto es:
|1 . Q| = 1 ((1 j)(1 )) = 1 (1 j + j) = + j j.
Tambin se podra decir, que |1 . Q| = |1| +|Q| |1 . Q|
Denicin 1.1.7 Sea un conector lgico llamado entonces, que es acerca
del hecho de que dadas dos proposiciones, la una implique a la otra, y j y
los valores de verdad de las proposiciones 1 y Q, respectivamente. Entonces el
valor de verdad de 1 Q ser igual al valor de verdad de 1 . Q, que a su
vez ser el mismo valor de verdad que (1 . Q). Esto es:
|1 Q| = 1 (j(1 )) = j j + 1.
Denicin 1.1.8 Sea un conector lgico llamado si y solo si, que es acer-
ca del hecho de que dadas dos proposiciones, estas sean equivalentes. Por normas
de la lgica proposicional, 1 Q es lo mismo que (1 Q) . (Q 1),
entonces deniremos su valor de verdad anlogamente.
|1 Q| = (j j + 1)(j + 1)
Ejemplo 1.1.9 Sean 1 y Q proposiciones con valor de verdad j = 0,4 y =
0,8.
Entonces:
|1 . Q| = (0,4)(0,8) = 0,32
|1 . Q| = (0,4) + (0,8) 0,32 = 0,88
|1 Q| = (0,4)(0,8) (0,4) + 1 = 0,92
|Q 1| = (0,4)(0,8) (0,8) + 1 = 0,52
|1 Q| = (0,52)(0,92) = 0,478
Una duda que surge, es...Cmo interpretar este valor de verdad?
El valor de verdad de una proposicin se asignar en funcin de qu tan cierto
sea. Una manera fcil de verlo sera con cuestiones estadsticas y probabilsticas.
Si alguien dice Voy a lanzar una moneda y me saldr cara, el valor de verdad
depender de dos cosas. Que realmente lance la moneda (cosa que depende de
l), y que le salga cara, cosa que tiene
1
2
de probabilidad. Entonces el valor
de verdad de esa armacin, ser precisamente de
1
2
. Si la persona dice Voy a
lanzar dos monedas y ambas me saldrn cara, entonces la probabilidad de que
eso sea cierto es de
1
4
(Ver tabla), y ese ser su valor de verdad.
C C Dos caras
C S Cara y Sello
S C Cara y Sello
S S Ninguna Cara
1.1. LGICA 9
O por ejemplo, si en una muestra de 100 personas encuestadas, 70 re-
spondieron con "Sna cierta pregunta, digamos, Te gustan los nmeros pri-
mos?, y el encuestador dijera A la gente le gustan los nmeros primos, entonces
su valor de verdad sera de 0,7, claro, con respecto a la encuesta dada, no a
la realidad (Debido a que en la realidad puede que a casi nadie le gusten ni le
interesen los nmeros primos).
Sobre los distintos conectores lgicos, usaremos los mismos conceptos de las
lgicas anteriores, para interpretarlos.
La proposicin 1 . Q perder parte de su valor de verdad si alguna de las
proposiciones que la conforman, 1, o Q, pierde parte de su valor de verdad,
y se puede interpretar como la probabilidad de que sucedan dos eventos a la
vez. Por su parte, la proposicin 1 . Q perder parte de su valor de verdad
si tanto 1 como Q pierden parte de su valor de verdad. Y en caso de que ni
1 ni Q sean totalmente ciertas, el valor de verdad podr bajar si una de las
proposiciones pierde parte de su valor de verdad aunque la otra mantenga el
suyo, una interpretacin ser la probabilidad de que suceda al menos uno de
dos eventos. 1 Q mantendr o aumentar su valor de verdad en tanto
Q mantenga el suyo o lo aumente, o si 1 pierde el suyo. No habr problema,
mientras el valor de verdad de Q sea mayor o igual que el de 1. 1 Q
aumentar su valor de verdad entre ms similares sean los valores de verdad de
1 y de Q.
Ahora seguiremos con los mtodos de demostracin.
1.2. Demostracin Directa
ste es un mtodo de demostracin, que consiste en demostrar una proposi-
cin, llendo de manera directa. Es decir que si tenemos una proposicin del tipo
Si ocurre r cosa, entonces ocurre j cosa, entonces lo que haremos ser partir
de la condicin Supongamos que ocurre r cosa , y llegar, utilizando deniciones,
axiomas, o teoremas previos ya demostrados, a la conclusin entonces ocurre
j cosa. Este mtodo de demostracin es bastante simple de entender, y por lo
general se usa para las demostraciones ms simples. La demostracin directa
sigue el esquema del argumento lgico llamado Modus Ponens.
Ejemplo 1.2.1 Si a < / y / < c entonces a < c.
Demostracin. Sean a, / y c nmeros enteros. Supongamos que a < / y / <
c. Entonces / a 0 y c / 0. Entonces (/ a) + (c /) 0. Ahora
(/ a) + (c /) = / a +c / = a +c = c a, y por consiguiente c a 0.
Por ende a < c.
Ejemplo 1.2.2 Demuestre que el siguiente argumento lgico es vlido:
1. (1 . Q) (1 . ')
2. o 1
3. 1 1
4. ' 1
5. o
1 . 1
Demostracin. La demostracin se suele hacer por las, pero ac se har
de manera escrita, para dejar ms claro el razonamiento usado. Supongamos
que las premisas son verdaderas. Como tenemos o 1 y sabemos que o
es verdadero, entonces 1 tambin es verdadero, por Modus Ponens. Como 1 es
verdadero, por adicin 1 .Q tambin es verdadero, y por lo anterior, la primera
premisa y Modus Ponens, 1.' es cierto tambin. Como 1.' es verdadero,
tanto 1 como ' son verdaderas (Simplicacin). Y con las premisas 3 y 4,
y Modus Ponens, tendramos entonces que tanto 1 como 1 son verdaderas. Y
como ambas son verdaderas, 1.1 tambin lo es (Adjuncin). Con esto concluye
la demostracin.
1.3. DEMOSTRACIN POR CONTRAPOSITIVA Y REDUCCIN AL ABSURDO11
1.3. Demostracin por contrapositiva y reduc-
cin al absurdo
ste es un mtodo de demostracin, en el que, teniendo una proposicin del
tipo Si ocurre r cosa, entonces ocurre j cosa, suponemos que j cosa no ocurre,
que r cosa s ocurre y entonces llegamos a una contradiccin, usando axiomas,
teoremas, deniciones previas. Las soportan los argumentos lgicos del Modus
Tollens, y un argumento no mencionado an, que lo llamaremos el argumento
de reduccin al absurdo. Es el siguiente:
1. 1 Q
2. 1
3. Q
Co:tradicci o:
Claramente se puede ver que por Modus Ponens, premisa 1 y 2, tenemos
que Q es verdadero, lo que no puede ser, mientras el argumento sea vlido. Las
premisas son contradictorias, y por ende el argumento (Que nos dice que de las
premisas se deriva una contradiccin) es vlido.
Ejemplo 1.3.1 El siguiente argumento es invlido:
1. 1 Q
2. Q
1
Demostracin. Supongamos que 1 Q es verdadera, que Q tambin lo es, y
que 1 es falsa. Si 1 es falsa, entonces la proposicin 1 Q es verdadera para
cualquier valor de verdad de Q (Ver tabla de verdad). Y el valor de verdad de Q
no se ve afectado por el valor de verdad de 1. Entonces el argumento es invlido,
porque an suponiendo que la conclusin sea falsa es imposible demostrar que las
premisas son falsas (O que si suponemos a las premisas ciertas y a la conclusin
falsa es imposible llegar a una contradiccin).
Ejemplo 1.3.2 Demuestre que el siguiente argumento lgico es vlido:
1. 1 Q
2. Q 1
3. 1
4. o 1
5. o T
T
Demostracin. Supongamos que las premisas son verdaderas y que la con-
clusin es falsa. Como 1 es verdadera, por Modus Ponens Q tambin sera
verdadera. Debido a que T es falsa o es verdadera, por Modus Tollens. Debido
a que Q es verdadera, por Modus Ponens 1 es verdadera. Y por Modus Tol-
lens, entonces o es verdadera, lo que signica que o es falsa. Pero eso es una
contradiccin. Por ende el argumento es vlido.
Estos mtodos se usan bastante para demostrar unicidad.
Ejemplo 1.3.3 Si dos rectas diferentes se intersecan, su interseccin contiene
un punto solamente (Requerido conocer un axioma de la Geometra elemental,
que dice que por dos puntos pasa una y solo una recta).
Demostracin. Supongamos las rectas se intersecan, y su interseccin es vaca.
No hay que ser un genio para saber que en este caso ya hay una contradiccin,
porque estamos suponiendo que se intersecan y que no se intersecan.
Ahora, supongamos que las rectas se intersecan, y la interseccin contiene a
dos puntos, y 1. Pero si fuera as, habra dos rectas que contienen tanto a
como a 1. Pero los axiomas de la geometra elemental nos dicen que esa recta
es nica, por ende es una contradiccin.
1.4. TRICOTOMA 13
1.4. Tricotoma
Esto no es exactamente un mtodo de demostracin, es una demostracin
directa si lo que se quiere probar es que algo se cumple para todos los casos y
es indirecta cuando lo que intentamos es demostrar que a menos que se cumpla
un tipo especco de casos, la proposicin es falsa. Todo esto cuando los casos
se pueden clasicar en 3 distintos casos (Por ejemplo, ser cero, ser mayor que
cero, y ser menor que cero). Claro, se puede generalizar a : cantidad de casos.
Aunque al usar la tricotoma, o las demostraciones por casos, se suele usar la
reduccin al absurdo (Para concluir que solo hay una cierta cantidad de casos
posible), las demostraciones por casos se basan en el argumento lgico Modus
Tollendo Ponens.
Ahora, antes de pasar al siguiente mtodo de demostracin, trataremos dos
temas llamados "Sumatorias", y onjuntos".
1.5. Conjuntos
Hablando de una teora intuitiva de conjuntos, dejaremos tres trminos como
indenidos, porque no podemos dar una denicin exacta sobre ellos. Sern,
onjunto", .
E l
emento
2
"Pertenencia". Diremos que un conjunto es, ms o menos,
una agrupacin de cosas, y esas cosas sern llamadas elementos. Si un elemento
est en un conjunto se dir que el elemento pertenece al conjunto. Denotaremos
que un elemento pertenezca a un conjunto como a , siendo a el elemento,
el conjunto, y el smbolo de pertenencia. Los conjuntos se pueden escribir
mediante una caracterstica en comn que posean los elementos, o listndolos,
todo esto entre los smbolos "".
Ejemplo 1.5.1 Sea = 1, 2, 3, 4, 5, 6, 7, 8, 9, 10. Entonces 10 .
Ejemplo 1.5.2 Sea 1 = a, /, c. Entonces d , 1.
Ejemplo 1.5.3 Sea C = Los nmeros j tal que j = r
2
para algn r N.
Entonces 9 = 3
2
, por ende 9 C. Pero 8 ,= r
2
para todo r N, por ende 8 , C.
Ejemplo 1.5.4 Sea O el conjunto que no tiene elementos. Naturalmente 1 , O.
Ahora, deniremos ontenencia".
Denicin 1.5.5 Sean y 1 dos conjuntos. Decimos que est contenido en
1 si y solo si todos los elementos de estn en 1.
Lo anterior se denotar de este modo: ( _ 1) ((\r) ((r ) (r 1)))
Ejemplo 1.5.6 Sea O el conjunto sin elementos y un conjunto cualquiera.
Entonces O _ .
Demostracin. Sea a O. Absurdo, O no tiene elementos. Entonces no podemos
encontrar un elemento de O que no est en . Por ende O _ .
Ejemplo 1.5.7 Sea un conjunto cualquiera. Entonces _ (Esto se llama
reexividad de la contenencia de conjuntos).
Demostracin. Sea a . Entonces a . Todos los elementos de estn
en , naturalmente. Entonces _ .
1.5. CONJUNTOS 15
Ejemplo 1.5.8 Sean , 1, C conjuntos cualesquiera. Si _ 1 y 1 _ C,
entonces _ C (Esto se llama transitividad de la contenencia de conjuntos).
Demostracin. Sea r . Por denicin de contenencia y debido a que _ 1,
r 1. Por denicin de contenencia, y debido a que 1 _ C, a C. Entonces
_ C.
Ahora deniremos un conjunto bastante particular, que es T(), llamado
Partes de . Es el conjunto de todos los subconjuntos de .
Ejemplo 1.5.9 Sea = 1, 2, 3. Entonces T() = O, 1, 2, 3, 1, 2, 1, 3, 2, 3, 1, 2, 3.
De manera intuitiva, podemos ver que si tiene : elementos, T() tiene 2
n
elementos. La demostracin se har ms adelante.
Ahora deniremos la igualdad entre conjuntos del siguiente modo.
Denicin 1.5.10 Sean y 1 conjuntos. Decimos que es igual a 1 si y
solo si est contenido en 1 y 1 est contenido en . Lo que se esctibe como:
( = 1) (( _ 1) . (1 _ )).
Una particularidad de esta denicin es que (( _ 1) . (1 _ )) ( = 1).
Esto se llama la antisimetra de la igualdad de conjuntos.
Ejemplo 1.5.11 Sea = 0, 1, 2, 3 y 1 = r N[ (3 r) N. Demostrar
que los dos conjuntos son iguales.
Demostracin. Sea : = 1, entonces 3 1 = 2 y 2 N. Entonces 1 est en 1.
Sea : = 2. Entonces (3 2) = 1, y 1 N. Sea : = 3. Entonces 3 3 = 0, y
0 N (Contando en 0 entre los naturales). Entonces 3 1. Sea : = 0, entonces
30 = 3, y 3 N, por ende 0 1. Por ende _ 1. Ahora sea r 1. Entonces
(3 r) N. Los nmeros naturales que cumplen esa ecuacin son precisamente
0, 1, 2, 3, que pertenecen a , por ende 1 _ . Como _ 1 y 1 _ , entonces
= 1.
Deniremos rpidamente dos operaciones entre conjuntos, llamadas nin"(')
e "Interseccin" ().
' 1 = r[(r ) . (r 1)
1 = r[(r ) . (r 1)
Entonces, 1, 2 ' 2, 3, 4 = 1, 2, 3, 4 y 1, 2 2, 3, 4 = 2.
Deniremos una operacin entre conjuntos bastante importante, llamada el
producto cartesiano.
Denicin 1.5.12 Dados los conjuntos y 1, el producto cartesiano de y
1, denotado 1, se dene como:
1 = (a, /) [ a y / 1. Denimos ahora la igualdad entre parejas
ordenadas del siguiente modo.
(a, /) = (c, d) a = c y / = d.
1.6. SUMATORIAS 17
1.6. Sumatorias
La notacin de sumatoria nos sirve para abreviar sumas largas, por lo general
caracterizadas. Por ejemplo, si queremos realizar la suma:
1 + 2 + 3 + 4 + ... + 98 + 99 + 100
En lugar de escribir los 100 nmeros, y luego ponerlos a sumar, simplemente
escribimos esto:
n
k=1
/
Esta notacin tiene bastantes ventajas, porque nos reduce mucho espacio.
Ejemplo 1.6.1
9
k=1
(3/ 1) = 2 + 5 + 8 + 11 + 14 + 17 + 20 + 23 + 26 = 126
Ahora, diremos algunas propiedades de las sumatorias.
Teorema 1.6.2 Las sumatorias cumplen con las siguientes propiedades.
1.
n
k=1
: = ::
2.
n
k=1
:a
k
= :
n
k=1
a
k
3.
n
k=1
(a
k
+ /
k
) =
n
k=1
a
k
+
n
k=1
/
k
4.
m1
k=1
a
k
+
n
k=m
a
k
=
n
k=1
a
k
, siendo 1 < : _ :
Demostracin. Se realizarn las demostraciones de manera directa.
1.
n
k=1
: = (: + : + ... + :) (n veces), es decir ::.
2.
n
k=1
:a
k
= :a
1
+ :a
2
+ ... + :a
n1
+ :a
n
= :(a
1
+ a
2
+ ... + a
n1
+ a
n
) = :
n
k=1
a
k
.
3.
n
k=1
(a
k
+ /
k
) = a
1
+ /
1
+ a
2
+ /
2
+ ... + a
n
+ /
n
= (a
1
+ a
2
+ ... + a
n
) + (/
1
+ /
2
+ ... + /
n
)
=
n
k=1
a
k
+
n
k=1
/
k
4.
m1
k=1
a
k
+
n
k=m
a
k
= (a
1
+ a
2
+ ... + a
m1
) + (a
m
+ a
m+1
+ ... + a
n
)
= a
1
+ a
2
+ ... + a
m1
+ a
m
+ a
m+1
+ ... + a
n
=
n
k=1
a
k
Hay un tipo de sumatorias llamado sumatorias indexadas, que consiste en
sumar los elementos de conjuntos.
Ejemplo 1.6.3 Denotamos el conjunto 1 = 1, 2, 4, 6. Entonces:
k2I
/ = 1 + 2 + 4 + 6.
As mismo, se pueden poner condiciones a los elementos a sumar.
1.7. INDUCCIN MATEMTICA 19
1.7. Induccin matemtica
La induccin matemtica es un mtodo de demostracin, aplicable a muchas
ramas de las matemticas, en el que para demostrar una proposicin usual-
mente relacionada a los nmeros naturales (O a los enteros). En este captulo se
mostrarn ejemplos de demostraciones por induccin, pero se insertarn otros
temas ligeros de una manera supercial, como el lgebra lineal, la geometra, y
temas posteriores de este documento, para que la lista de ejemplos sea bastante
variada.
Las demostraciones por induccin sirven para demostrar que un cierta proposi-
cin se cumple para todos los elementos de los nmeros naturales, o para todos
los naturales a partir de cierto nmero, o para intervalos de nmeros enteros
dado un lmite inferior. No se detendra ah, diramos que tambin se puede usar
para demostrar que una proposicin se cumple para todos los enteros menores
que cierto nmero, o incluso para demostrar que una proposicin es falsa para
todos los naturales (O variantes mencionadas). Pero ambos casos se pueden
demostrar usando los casos anteriores, el smbolo , y el smbolo (Que niega
proposiciones).
Entonces, la demostracin por induccin consiste en dos pasos, para demostrar
que una proposicin se cumple para todos los naturales.
Sea 1
n
una proposicin. Para demostrar que 1
n
es verdadera para todos los
naturales debemos demostrar que:
1. 1
1
es verdadera.
2. En el caso que 1
k
fuera verdadera para algn / _ 1, 1
k+1
tambin sera
verdadera.
De una manera ms fcil de entender seran las condiciones:
1. Demostrar que la proposicin se cumple para 1.
2. Y demostrar que en el caso en que se cumpliera para algn nmero, tam-
bin se cumplira para el siguiente.
Este resultado es comprensible, y lo podemos razonar de los modos sigu-
ientes. Por la condicin 1 sabemos que la proposicin se cumple para 1. Por la
condicin 2 sabemos que en caso que se cumpliera para algn nmero tambin
se cumplira para el siguiente. Pero como se cumple para 1, tambin se cumple
para el siguiente, 2. Y como se cumple para 2, por la condicin 2 se cumple
para 3. Y como se cumple para 3, por la condicin 2 se cumple para 4. Y as
indenidamente.
Ahora daremos algunos ejemplos sobre la induccin matemtica.
Ejemplo 1.7.1 Demostrar que
n
k=1
/ =
n(n+1)
2
.
Demostracin. Sea : = 1. Entonces
1
k=1
/ = 1 =
12
2
.
Ahora supongamos que para : = ,,
j
k=1
/ =
j(j+1)
2
.
Ahora
j+1
k=1
/ =
j
k=1
(/) + , + 1 =
j(j+1)
2
+ , + 1 =
j(j+1)+2j+2
2
=
j
2
+j+2j+2
2
=
j
2
+3j+2
2
=
(j+1)(j+2)
2
, que es lo que se quera
probar.
La anterior suma nos genera una sucesin de nmeros as:
1, 3, 6, 10, 15, 21, 28, ...
Ejemplo 1.7.2 Demostrar que
n
k=1
/
2
=
n(n+1)(2n+1)
6
1
k=1
/
2
= 1 =
16
6
=
123
6
=
1(1+1)(2+1)
6
.
Supongamos que para : = ,,
j
k=1
/
2
=
j(j+1)(2j+1)
6
.
Ahora
j+1
k=1
/
2
=
j
k=1
/
2
+ (, + 1)
2
=
j(j+1)(2j+1)
6
+ (, + 1)
2
=
j(j+1)(2j+1)
6
+ (, + 1)
2
=
j(j+1)(2j+1)+6(j+1)
2
6
=
(j+1)(j(2j+1)+6j+6)
6
=
(j+1)(2j
2
+j+6j+6)
6
=
(j+1)(2j
2
+7j+6)
6
=
(j+1)(2j
2
+7j+6)
6
=
(j+1)(j+2)(2j+3)
6
=
(j+1)(j+2)(2(j+1)+1)
6
Que es lo que se quera probar.
Ejemplo 1.7.3 Demostrar que para todo conjunto ,
n
_
k=1
= (Requerido
algn conocimiento de teora de conjuntos y uniones generalizadas).
2
_
k=1
= '. Pero ' es el conjunto
que tiene a todos los elementos que estn en o estn en , pero esto es
redundante, as que quedamos con los elementos que estn en . Lo que es que
' = .
Ahora, supongamos que para : = /,
k
_
k=1
= . Entonces
k+1
_
k=1
=
_
k
_
k=1
_
'
. Pero hemos supuesto que
k
_
k=1
= , por lo que tendramos que
_
k
_
k=1
_
'
= ' = , que es lo que se quera probar.
Ejemplo 1.7.4 Todo polgono es triangulable (Requeridos conocimientos bsi-
cos de Geometra Elemental).
Demostracin. Que un polgono sea triangulable, es que se puede partir en
tringulos.
Sea
1
3
un polgono de 3 lados. Siendo un tringulo es triangulable, de
manera trivial.
Ahora supongamos que para algn /, todo polgono de / lados es triangula-
ble. Ahora, sea
1
3
...
k1
k+1
un polgono de / +1 lados. Tracemos el
segmento
k1
k+1
. El polgono
k1
k+1
es un tringulo. Y por su parte,
el polgono restante,
1
3
...
k1
k+1
tiene / lados. Pero supusimos que los
polgonos de / lados son triangulables, lo que nos resulta en un polgono trian-
gulable y un tringulo. Por ende el polgono de / + 1 sera triangulable, que es
lo que queramos demostrar.
Ejemplo 1.7.5 Sea la matriz 2 2 denida como
_
a 0
0 /
_
. Demuestre que
_
a 0
0 /
_
n
=
_
a
n
0
0 /
n
_
(Requeridos conceptos bsicos de lgebra Lineal).
Demostracin. Sea : = 1.
_
a 0
0 /
_
1
=
_
a 0
0 /
_
=
_
a
1
0
0 /
1
_
, y con esto
concluye la primera parte de la prueba.
Ahora, sea : = /. Supongamos que
_
a 0
0 /
_
k
=
_
a
k
0
0 /
k
_
.
Ahora
_
a 0
0 /
_
k+1
=
_
a 0
0 /
_
k
_
a 0
0 /
_
. Por nuestra suposicin tenemos que
esto es
_
a 0
0 /
_
k+1
=
_
a
k
0
0 /
k
__
a 0
0 /
_
=
_
aa
k
0
0 //
k
_
=
_
a
k+1
0
0 /
k+1
_
, que
es lo que se quera demostrar.
Ejemplo 1.7.6 Demuestre que todos los argumentos lgicos de la siguiente for-
ma son vlidos.
1. 1
1
2. 1
1
1
2
3. 1
2
1
3
4. 1
3
1
4
...
n. 1
n1
1
n
1
n
Demostracin. Sea : = 2. Entonces nuestro argumento ser:
1. 1
1
2. 1
1
1
2
1
2
Demostracin. Pero por Modus Ponens eso es cierto.
Ahora supongamos que para : = / el argumento es vlido. Entonces, para
: = / + 1 tenemos:
1. 1
1
2. 1
1
1
2
3. 1
2
1
3
4. 1
3
1
4
...
k. 1
k1
1
k
k+1. 1
k
1
k+1
Por hiptesis de induccin, de las premisas 1, 2, 3, 4, ..., / se deduce 1
k
.
Ahora, por la premisa /+1, porque 1
k
es verdadero, y por Modus Ponens, 1
k+1
es verdadero, que es lo que se quera demostrar.
Ejemplo 1.7.7 Sea 1
n
una familia de conjuntos de nmeros cuadrados, que se
denen de este modo:
1
1
= 1
1
2
= 2
2
, 3
2
1
3
= 4
2
, 5
2
, 6
2
1
4
= 7
2
, 8
2
, 9
2
, 10
2
1
5
= 11
2
, 12
2
, 13
2
, 14
2
, 15
2
1
6
= 16
2
, 17
2
, 18
2
, 19
2
, 20
2
, 21
2
1
7
= 22
2
, 23
2
, 24
2
, 25
2
, 26
2
, 27
2
, 28
2

Y as seguimos. Lo que sabemos es que un conjunto de este tipo tiene :
nmeros cuadrados, de esta forma:
1
k
= a
2
, (a + 1)
2
, ..., (a + / 1)
2
Donde a
2
es simplemente el primer miembro del conjunto y (a + / 1)
2
es
el ltimo miembro.
Tambin sabemos que el siguiente conjunto 1
k+1
, empezar, entonces, desde
(a + /)
2
, y terminar, luego de sumar 1 / + 1 veces, en (a + 2/)
2
. Esto es:
1
k+1
= (a + /)
2
, (a + / + 1)
2
, ...(a + 2/)
2
Hallar una frmula para la suma de los elementos del conjunto, denotada
o
n
.
1
Realizaremos una denicin del conjunto de manera intuitiva, llegaremos a
la frmula, y luego demostraremos por induccin matemtica.
Si nos jamos en los elementos nales de los conjuntos, son los cuadrados de
los nmeros 1, 3, 6, 10, 15, 21, 28.
Parece razonable suponer que el ltimo elemento de 1
n
corresponde a
_
n
k=1
/
_
2
,
por el Ejemplo 1 de esta seccin. Supongamos que sea as. Ahora, por el mismo
ejemplo, este elemento correspondera a
_
n(n+1)
2
_
2
. Para hallar el anterior ele-
mento slo tendramos que restar 1, y tendramos
_
n(n+1)
2
1
_
2
. Y as, para hal-
lar el primero, le tendramos que restar : 1, y tendramos
_
n(n+1)
2
: + 1
_
2
.
Corroborando, si ese fuera el primer elemento, el segundo sera
_
n(n+1)
2
: + 2
_
2
,
y el ltimo sera
_
n(n+1)
2
: + :
_
2
=
_
n(n+1)
2
_
2
, con lo que conrmamos que
la cuenta para atrs est bien hecha.
Entonces, nuestro conjunto estara formado as:
1
n
=
_
n(n+1)
2
: + 1
_
2
,
_
n(n+1)
2
: + 2
_
2
, ...,
_
n(n+1)
2
_
2
.
La suma de los elementos sera:
n
k=1
_
n(n+1)
2
: + /
_
2
=
n
k=1
(/
2
+ /:
2
/: +
1
4
:
4
1
2
:
3
+
1
4
:
2
).
1
Este ejemplo no requiere mucho conocimiento de asignaturas, ms an, se puede realizar
con ejemplos previos, pero requiere bastantes clculos, as que al realizarlo, hay que tener
mucho cuidado.
Ac simplemente se ha resuelto la expresin, para retirar el elevado al cuadra-
do. Ahora, tenemos:
=
n
k=1
/
2
+
n
k=1
/:
2
k=1
/:+
1
4
n
k=1
:
4
1
2
n
k=1
:
3
+
1
4
n
k=1
:
2
, usando propiedades
de las sumatorias.
=
n(n+1)(2n+1)
6
+
n
3
(n+1)
2

n
2
(n+1)
2
+
n
5
4

n
4
2
+
n
3
4
, usando los ejemplos 1 y
2, y propiedades de sumatorias.
=
2n(n+1)(2n+1)+6n
3
(n+1)6n
2
(n+1)+3n
5
6n
4
+3n
3
12
=
(n+1)(2n(2n+1)+6n
3
6n
2
)+3n
5
6n
4
+3n
3
12
=
(n+1)(4n
2
+2n+6n
3
6n
2
)+3n
5
6n
4
+3n
3
12
=
4n
3
+2n
2
+6n
4
6n
3
+4n
2
+2n+6n
3
6n
2
+3n
5
6n
4
+3n
3
12
=
4n
3
+2n
2
+6n
4
6n
3
+4n
2
+2n+6n
3
6n
2
+3n
5
6n
4
+3n
3
12
=
3n
5
+7n
3
+2n
12
Ac hemos resuelto la primera parte, en la que encontramos una frmula.
Fue todo lo anterior vlido? No, a menos que demostremos, que esta forma
realmente es la de nuestra familia de conjuntos:
1
n
=
_
n(n+1)
2
: + 1
_
2
,
_
n(n+1)
2
: + 2
_
2
, ...,
_
n(n+1)
2
_
2
Sabemos que por principio el conjunto 1

n
est formado como un conjunto
de : nmeros cuadrados sucesivos.
Ahora, realizaremos la demostracin por induccin.
Demostracin. Sea : = 1. Entonces 1
1
= 1 =
_
1(2)
2
1 + 1
_
2
.
Ahora supongamos que para : = ,:
1
j
=
_
j(j+1)
2
, + 1
_
2
,
_
j(j+1)
2
, + 2
_
2
, ...,
_
j(j+1)
2
_
2
Como normalmente sabemos que:

1
j
= a
2
, (a + 1)
2
, ..., (a + , 1)
2
Entonces sabemos que:

a
2
=
_
j(j+1)
2
, + 1
_
2
, lo que implica que a =
j(j+1)
2
, + 1
Ahora, tambin sabemos que:
1
j+1
= (a + ,)
2
, (a + , + 1)
2
, ..., (a + 2,)
2
Pero como a =
j(j+1)
2
, + 1, tenemos:
1
j+1
= (
j(j+1)
2
, +1+,)
2
, (
j(j+1)
2
, +1+, +1)
2
, ..., (
j(j+1)
2
, +1+2,)
2
= (
j(j+1)
2
+ 1)
2
, (
j(j+1)
2
+ 2)
2
, ..., (
j(j+1)
2
+ , + 1)
2
= (
j
2
+j+2
2
)
2
, (
j
2
+j+4
2
)
2
, ..., (
j
2
+j+2j+2
2
)
2
= (
j
2
+j+2
2
)
2
, (
j
2
+j+4
2
)
2
, ..., (
j
2
+3j+2
2
)
2
= (
j
2
+j+2+2j2j
2
)
2
, (
j
2
+j+4+2j2j
2
)
2
, ..., (
j
2
+3j+2
2
)
2
= (
j
2
+3j+22j
2
)
2
, (
j
2
+3j+2+22j
2
)
2
, ..., (
j
2
+3j+2
2
)
2
= (
(j+1)(j+2)2j
2
)
2
, (
(j+1)(j+2)+22j
2
)
2
, ..., (
(j+1)(j+2)
2
)
2

= (
(j+1)(j+2)
2
,)
2
, (
(j+1)(j+2)
2
, + 1)
2
, ..., (
(j+1)(j+2)
2
)
2
= (
(j+1)(j+2)
2
(, + 1) + 1)
2
, (
(j+1)(j+2)
2
(, + 1) + 2)
2
, ..., (
(j+1)(j+2)
2
)
2

Ejemplo 1.7.8 Sea
n
un conjunto con : elementos. Entonces T(
n
) tiene
2
n
elementos.
Demostracin. Sea : = 1. Entonces sea a
1
el nico elemento de
1
, es decir
1
= a
1
. Entonces T(
1
) = O, a
1
, y tiene 2 elementos.
Ahora supongamos que T(
k
) tiene 2
k
elementos, para algn conjunto
k
que posee / elementos.
Sea
k+1
= a
1
, a
2
, ..., a
k
, a
k+1
. Entonces el conjunto T(
k+1
) tiene 2
k
elementos sin contar los que poseen a a
k+1
. Entonces a cada uno de esos conjun-
tos le tenemos que aadir a
k+1
para armar los subconjuntos restantes. Entonces
aadiendo a
k+1
a cada uno de los 2
k
conjuntos creamos 2
k
conjuntos ms. La
cantidad de subconjuntos ser entonces 2
k
+ 2
k
= 2 2
k
= 2
k+1
.
Los casos anteriores son casos en los que se puede usar la induccin matemti-
ca para demostrarlos. No en todas las demostraciones se puede usar la induccin
matemtica, y de las restantes, no en todas es conveniente, a veces sobra una
demostracin directa, y en casos es necesario usar reduccin al absurdo.
1.8. Recursividad
La recursividad es un mtodo de resolucin de problemas. Es una herramien-
ta que genera una sucesin, conociendo el trmino inicial de la sucesin, y la
regla para pasar de un trmino de la sucesin al siguiente.
Hay varios ejemplos conocidos, como un problema de los apretones de manos.
Hay : invitados en una esta. Cada persona se da la mano con todas las dems
exactamente una vez. Cuntos apretones de manos hay en total?
Lo podemos resolver de este modo. Si hubiera dos invitados en la esta,
Cuntos apretones de manos habra? Claramente la respuesta es 1. Ahora, si
llega alguien ms, slamente le tiene que dar la mano a los dos que ya estn, lo
que signica que para 3 invitados hay 1+2 = 3 apretones de manos. Si llega otra
persona, habiendo ahora 4, el nuevo invitado tendra que dar tres apretones de
manos, por lo que tendramos 1+2+3 = 6 apretones de manos. Entonces vemos
que cuando hay : personas, y llega una ms, sta tendr que dar : apretones
de manos. As, tendramos:
Ejemplo 1.8.1 Sea /
n
la cantidad de apretones de manos que habr en una
esta con : personas. Entonces /
1
= 0 y /
n
= /
n1
+ : 1.
Ejemplo 1.8.2 Por ejemplo, el mnimo de varios nmeros, denotado mn(a
1
, a
2
, ..., a
n
)
lo podemos denir como:
Si : = 2, mn(a
1
, a
2
) =
a
1
+ a
2
[a
2
a
1
[
2
, y si : 2, mn(a
1
, a
2
, ..., a
n
) =
mn(a
k
, mn(a
1
, a
2
, ..., a
n1
).
Ejemplo 1.8.3 :! puede ser denido por la frmula recursiva 0! = 1 y :! =
:(: 1)!
Ejemplo 1.8.4 El problema de la torre de Hanoi es un juego que se basa en la
siguiente imagen:
1.8. RECURSIVIDAD 27
El juego consiste en pasar todos los discos de la primera torre a la tercera,
teniendo en cuenta que solo se puede mover un disco a la vez, y que al mover
un disco, slo puede quedar encima de un disco ms grande, o del suelo.
Una pregunta sera...Cuntos movimientos se requieren, como mnimo, para
resolver el juego? Podemos observar que si la torre es de un solo disco, solo se
necesita un movimiento. Si es de dos discos, se necesitan 3. Si es de 3 discos se
necesitan 7 movimientos. As, podramos ver que para 4 discos se necesitaran
15 movimientos. Entonces, deniramos la frmula recursiva, como:
Ejemplo 1.8.5 Sea H
n
la cantidad mnima de movimientos para resolver el
problema de la torre de Hanoi. Entonces:
H
1
= 1 y H
n
= H
n1
+ 2
n1
.
De este modo, H
3
= H
2
+ 2
n1
= H
1
+ 2
31
+ 2
32
= 1 + 2
2
+ 2
1
= 7, cosa
que ya sabemos.
Ejemplo 1.8.6 La sucesin de Fibonacci est denida de manera recursiva, de
este modo:
Sea 1
n
el :-simo trmino de la sucesin de bonacci. Entonces 1
1
= 1,
1
2
= 1 y 1
n
= 1
n1
+ 1
n2
.
A continuacin se demostrarn ciertas frmulas para las sucesiones men-
cionadas.
Teorema 1.8.7 Sea /
n
la cantidad de apretones de manos que habr en una
esta con : personas. Entonces /
n
=
n(n1)
2
.
Demostracin. A simple vista se puede ver que la cantidad de apretones es
0 en caso de que haya una sola persona, 1 en caso que haya 2, 1 + 2 en caso
que haya 3, 1 + 2 + 3 en caso que haya 4...y previamente demostramos que
n
k=1
/ =
n(n+1)
2
.
La demostracin se realizar por Induccin matemtica.
Sea : = 1. Entonces /
1
= 0 =
10
2
por denicin recursiva de la sucesin.
Ahora supongamos que para : = /, /
k
=
k(k1)
2
.
Entonces /
k+1
= /
k
+ / =
k(k1)
2
+ / =
k(k1)+2k
2
=
k(k+1)
2
que es lo que
se quera probar.
Teorema 1.8.8 Sea H
n
la cantidad mnima de pasos para resolver la torre de
Hanoi. Entonces H
n
= 2
n
1.
Demostracin. Podemos ver que la funcin aumenta en potencias de 2, y todos
los casos son impares, as que es razonable. Sea : = 1. entonces la cantidad de
movimientos necesarios es 1 = 2 1 = 2
1
1.
Ahora, supongamos que para : = /, H
k
= 2
k
1. Entonces H
k+1
= H
k
+
2
k
, por denicin recursiva de la sucesin. Ahora, por hiptesis de induccin,
H
k+1
= 2
k
1 + 2
k
= 2 2
k
1 = 2
k+1
1, que es lo que se quera probar.
Teorema 1.8.9 Sea 1
n
el :-simo nmero de la sucesin de Fibonacci. En-
tonces 1
n
=
__
0 1
1 1
_
n
_
0
1
__
_
1
0
_
(Requeridos conceptos bsicos de lgebra
lineal, sistemas de ecuaciones, y producto punto de vectores).
Demostracin. El razonamiento para encontrar este resultado es:
Sabemos que:
1
n
= 1
n
1
n1
+ 1
n
= 1
n+1
Entonces ac tenemos una matriz:
_
0 1
1 1
__
1
n1
1
n
_
=
_
1
n
1
n
+ 1
n1
_
=
_
1
n
1
n+1
_
, por denicin recursiva.
Aplicando el producto con 1
0
= 0 y 1
1
= 1 : veces, deberamos ser capaces
de encontrar el trmino que deseemos Entonces tenemos que demostrar nuestra
frmula. Usaremos induccin matemtica.
Sea : = 1. Entonces
_
0 1
1 1
__
0
1
_
=
_
1
1
_
=
_
1
1
1
2
_
.
Ahora, supongamos que para : = /,
_
1
k
1
k+1
_
=
_
0 1
1 1
_
k
_
0
1
_
.
Entonces
_
0 1
1 1
_
k+1
_
0
1
_
=
_
0 1
1 1
__
0 1
1 1
_
k
_
0
1
_
Y entonces tenemos
_
0 1
1 1
__
1
k
1
k+1
_
=
_
1
k+1
1
k
+ 1
k+1
_
=
_
1
k+1
1
k+2
_
, que es
lo que se quera probar.
Entonces 1
n
=
__
0 1
1 1
_
n
_
0
1
__
_
1
0
_
La sucesin de bonacci tiene una frmula explcita, que no usa matrices.
Lema 1 Sea la ecuacin r
2
r1 = 0. Entonces sus soluciones son r =
1+
2
p
5
2
y r =
1
2
p
5
2
.
Demostracin. La demostracin es simple, se puede realizar usando frmula
cuadrtica. Pero de cualquier modo:
(r
1+
2
p
5
2
)(r
1
2
p
5
2
) = r
2
r 1.
Corolario 1.8.1 Sean c =
1+
2
p
5
2
y , =
1
2
p
5
2
. c y , son los nicos nmeros
reales que satisfacen que c
2
= c + 1 y que ,
2
= , + 1.
1.8. RECURSIVIDAD 29
Demostracin. La prueba es simple, son los nicos nmeros reales que satis-
facen la ecuacin r
2
r 1 = 0, que es lo mismo que satisfacer r
2
= r + 1.
Teorema 1.8.10 Sean 1
n
el :-simo nmero de la sucecin de Fibonacci, c =
1+
2
p
5
2
y , =
1
2
p
5
2
. Entonces 1
n
=
c
n
,
n
c ,
.
c ,
c ,
= 1. Sea : = 2. Entonces
c
2
,
2
c ,
=
(c ,)(c + ,)
c ,
=
1+
2
p
5
2
+
1
2
p
5
2
= 1.
Ahora, supongamos que para : = / y para : = / 1, 1
k
=
c
k
,
k
c ,
y
1
k1
=
c
k1
,
k1
c ,
.
Ahora, 1
k+1
= 1
k
+ 1
k1
. Por hiptesis de induccin, tenemos que
1
k+1
=
c
k
,
k
+ c
k1
,
k1
c ,
=
(c
k
+ c
k1
) (,
k
+ ,
k1
)
c ,
=
c
k1
(c + 1) ,
k1
(, + 1)
c ,
Pero por el Corolario 1.7.1., tenemos:
1
k+1
=
c
k1
c
2
,
k1
,
2
c ,
=
c
k+1
,
k+1
c ,
, que es lo que se quera probar.
El teorema anterior fue demostrado usando la induccin matemtica, pero en
particular el tipo de induccin usada algunos libros lo llaman induccin fuerte.
En este caso, probamos que para el primer elemento se cumple, suponemos que
para todos los elementos desde el primero hasta cierto elemento / se cumple, y
luego probamos con ello que para / +1 tambin se cumple...pero por lo general
da igual, se hace exactamente lo mismo, slo que para algn caso puede que se
requiera suponer para / 1, o para / 2, por ejemplo, pero slo es suponerlo,
y aplicarlo.
1.9. Tringulo de Pascal y Teorema del Binomio
Ac se tratar sobre el Tringulo de Pascal y el teorema del binomio.
Deniremos el coeciente binomial, denotado
_
n
k
_
.
Denicin 1.9.1 Sea
_
n
k
_
el coeciente binomial de : y /. Entonces
_
n
k
_
=
n!
k!(nk)!
, con / _ :.
Ahora se mostrarn algunos teoremas sobre el coeciente binomial.
Teorema 1.9.2 Sea
_
n
k
_
el coeciente binomial de : y /, con / _ :. Entonces
_
n
k
_
=
_
n
nk
_
.
Demostracin. Por denicin,
_
n
k
_
=
n!
k!(nk)!
,
y
_
n
nk
_
=
n!
(nk)!(n(nk)!
=
n!
(nk)!(nn+k)!
=
n!
(nk)!(k)!
.
Corolario 1.9.1 Sea
_
n
k
_
el coeciente binomial de : y /, con / _ :. Entonces
_
n
0
_
= 1 =
_
n
n
_
.
Demostracin.
_
n
0
_
=
n!
0!n!
= 1. Por el teorema anterior
_
n
n
_
= 1, tambin.
Teorema 1.9.3 Sea
_
n
k
_
el coeciente binomial de : y /, con / < :. Entonces
_
n1
k1
_
+
_
n1
k
_
=
_
n
k
_
.
Demostracin.
_
n1
k1
_
+
_
n1
k
_
=
(n1)!
(k1)!(n1k+1)!
+
(n1)!
k!(n1k)!
=
(n1)!
(k1)!(nk)!
+
(n1)!
k!(nk1)!
=
k!(nk1)!(n1)!
k!(nk1)!(k1)!(nk)!
+
(k1)!(nk)!(n1)!
k!(nk1)!(k1)!(nk)!
=
k!(nk1)!(n1)!+(k1)!(nk)!(n1)!
k!(nk1)!(k1)!(nk)!
=
k(k1)!(nk1)!(n1)!+(k1)!(nk)(nk1)!(n1)!
k!(nk1)!(k1)!(nk)!
=
(k1)!(n1)!(nk1)!(k+(nk))
k!(nk1)!(k1)!(nk)!
=
(n1)!(k+(nk))
k!(nk)!
=
(n1)!(k+nk)
k!(nk)!
=
(n1)!n
k!(nk)!
=
n!
k!(nk)!
=
_
n
k
_
Ahora, deniremos el tringulo de pascal como sigue:
1.9. TRINGULO DE PASCAL Y TEOREMA DEL BINOMIO 31
Denicin 1.9.4 El tringulo de pascal es un tringulo cuya :-sima la tiene
: + 1 nmeros, y en la :-sima la se muestran los coecientes binomiales de
: y /, siendo / un nmero desde 1 hasta :.
Fila 0
_
0
0
_
Fila 1
_
1
0
_ _
1
1
_
Fila 2
_
2
0
_ _
2
1
_ _
2
2
_
Fila 3
_
3
0
_ _
3
1
_ _
3
2
_ _
3
3
_
Fila 4
_
4
0
_ _
4
1
_ _
4
2
_ _
4
3
_ _
4
4
_
Fila 5
_
5
0
_ _
5
1
_ _
5
2
_ _
5
3
_ _
5
4
_ _
5
5
_
Fila 6
_
6
0
_ _
6
1
_ _
6
2
_ _
6
3
_ _
6
4
_ _
6
5
_ _
6
6
_
Y tambin se puede ver como sigue:
Fila 0 1
Fila 1 1 1
Fila 2 1 2 1
Fila 3 1 3 3 1
Fila 4 1 4 6 4 1
Fila 5 1 5 10 10 5 1
Fila 6 1 6 15 20 15 6 1
Ahora daremos un teorema, que es clave para las expansiones de binomios
(a + /)
n
. Este teorema es usado muy a menudo incluso en el bachillerato. El
teorema del binomio.
Teorema 1.9.5 Sean a y / nmeros reales, y : un entero no negativo. Entonces
(a + /)
n
=
n
k=0
_
n
k
_
a
nk
/
k
.
Demostracin. Se realizar la demostracin por induccin. Sea : = 1. En-
tonces
1
k=0
_
1
k
_
a
1k
/
k
=
_
1
0
_
a
1
/
0
+
_
1
1
_
a
0
/
1
= a + / = (a + /)
1
.
Ahora supongamos que para : = r, (a + /)
r
=
r
k=0
_
r
k
_
a
rk
/
k
.
Entonces (a + /)
r+1
= (a + /)(a + /)
r
.
Por hiptesis de induccin tenemos que:
(a + /)(a + /)
r
= (a + /)
r
k=0
_
r
k
_
a
rk
/
k
= a
r
k=0
_
r
k
_
a
rk
/
k
+ /
r
k=0
_
r
k
_
a
rk
/
k
=
r
k=0
_
r
k
_
a
r+1k
/
k
+
r
k=0
_
r
k
_
a
r+1k
/
k
=
r
k=0
_
r
k
_
a
r+1k
/
k
+
r
k=0
_
r
k
_
a
rk
/
k+1
=
_
r
0
_
a
r+1
+
r
k=1
_
r
k
_
a
r+1k
/
k
+
r1
k=0
_
r
k
_
a
rk
/
k+1
+
_
r
r
_
/
r+1
=
_
r+1
0
_
a
r+1
+
r
k=1
_
r
k
_
a
r+1k
/
k
+
r1
k=0
_
r
k
_
a
rk
/
k+1
+
_
r+1
r+1
_
/
r+1
, por corolario
anterior.
=
_
r+1
0
_
a
r+1
+
r
k=1
_
r
k
_
a
r+1k
/
k
+
r
k=1
_
r
k
_
a
r+1k
/
k+1
+
_
r+1
r+1
_
/
r+1
=
_
r+1
0
_
a
r+1
+
r
k=1
_
r
k
_
a
r+1k
/
k
+
r
k=1
_
r
k
_
a
r+1k
/
k+1
+
_
r+1
r+1
_
/
r+1
=
_
r+1
0
_
a
r+1
+
r
k=1
_
_
r
k
_
a
r+1k
/
k
+
_
r
k1
_
a
r+1k
/
k+1
_
+
_
r+1
r+1
_
/
r+1
=
_
r+1
0
_
a
r+1
+
r
k=1
_
a
r+1k
/
k
_
_
r
k
_
+
_
r
k1
_
__
+
_
r+1
r+1
_
/
r+1
, pero por el Teo-
rema anterior, tenemos
=
_
r+1
0
_
a
r+1
+
r
k=1
a
r+1k
/
k
_
r+1
k
_
+
_
r+1
r+1
_
/
r+1
=
r+1
k=0
a
r+1k
/
k
_
r+1
k
_
Corolario 1.9.2
n
k=0
_
n
k
_
= 2
n
Demostracin. Sabemos que (a + /)
n
=
n
k=0
_
n
k
_
a
nk
/
k
.
Ahora supongamos que a = 1 = /. Tenemos que:
2
n
= (1 + 1)
n
=
n
k=0
_
n
k
_
1
nk
1
k
=
n
k=0
_
n
k
_
Lo anterior signica que sumar los nmeros de la :-sima la del tringulo
de pascal, equivale a elevar 2 a la :-sima potencia.
1.9. TRINGULO DE PASCAL Y TEOREMA DEL BINOMIO 33
Y tambin, podemos denir al tringulo de pascal de una manera ms laxa,
poniendo 1 en la primera la, y deniendo cada nmero de una la como la
suma de los dos que estn inmediatamente arriba. Esto est soportado por el
teorema 1.8.3.
1.10. Relaciones
En esta seccin se hablar de una manera muy supercial, sobre las rela-
ciones, y dos tipos de relaciones bastante importantes. Se denir de manera
intuitiva una relacin entre dos cosas, si tienen algo en comn. Por ejemplo, ten-
er la misma estatura o la misma edad. O ser mayor o menor que otra persona.
As deniremos intuitivamente las relaciones. Para denotar una relacin entre
dos elementos a y / se le entregar un smbolo cualquiera, por ejemplo a, y se
escribir "a est relacionado con /omo "aa/".
Ejemplo 1.10.1 Sean a y / enteros. Deniremos la relacin =, de manera que
a = / si a / = 0
La anterior relacin es un tanto redundante, pero la podramos dejar as.
Podemos ver que en esta relacin se cumplen varias caractersticas.
1. a a = 0, entonces a = a.
2. Si a / = 0, entonces a + / = 0, pero a + / = / a, por ende
(a = /) (/ = a).
3. Si a / = 0, y / c = 0, entonces a / + / c = 0 + 0 = 0, pero
a / + / c = a c. Entonces ((a = /) . (/ = c)) (a = c)
4. Supongamos que a = / y que / = a. Por redundancia a = /.
Las caractersticas anteriores se llaman, reexividad, simetra, transitividad
y antisimetra. Mencionaremos un teorema sobre esto.
Teorema 1.10.2 La igualdad es la nica relacin simtrica y antisimtrica a
la vez.
Demostracin. Supongamos que 1 es una relacin simtrica y antisimtrica
y a y / dos elementos de un conjunto de referencia. Entonces a1/ /1a, y
(a1/ . /1a) a = /. Supongamos que a1/. Entonces /1a, por simetra. Y
debido a que a1/ y /1a, a = /, por la antisimetra.
Entonces esta relacin tiene que ser la de la igualdad, porque a1/
(a = /).
Las relaciones que cumplen con las primeras tres caractersticas se llaman
relaciones de equivalencia. Las relaciones que cumplen con la primera, con la
tercera y con la cuarta caracterstica, se llaman relaciones de orden. Dicho de
1.10. RELACIONES 35
una manera muy supercial, las relaciones de equivalencia parten el conjunto
de referencia en las clases de equivalencia (que son subconjuntos disyuntos del
conjunto de referencia que al unirlos lo completan). Y las relaciones de orden,
lo ordenan.
Ejemplo 1.10.3 La relacin dada
~
=, en el plano, nos dice que un segmento
denotado como 1, y otro segmento, denotado C1, son congruentes (Se es-
cribe 1
~
= C1) si y solo si [1[ = [C1[, donde [[ se reere a la longitud del
segmento (En distintos libros esta relacin puede estar denida de muchas man-
eras distintas, ac la deniremos as, para mantener una relacin ms estrecha
con las matemticas comunes).
Entonces:
1. 1
~
= 1 debido a que [1[ = [1[, por ende la relacin es reexiva.
2. ([1[ = [C1[) ([C1[ = [1[), por ende (1
~
= C1) (C1
~
= 1),
por ende la relacin es simtrica.
3. ([1[ = [C1[) . ([C1[ = [11[) implica por transitividad de la igualdad
que [1[ = [11[, por lo que (1
~
= C1) .(C1
~
= 11) (1
~
= 11).
Por ende la congruencia de segmentos es una relacin de equivalencia.
En este caso la relacin parte al plano en innitos conjuntos de segmentos
clasicados por su longitud.
Ntese que en este caso la antisimetra no se cumple. Geomtricamente
podemos trazar dos segmentos con la misma longitud que no sean el mismo.
Y si deniramos la congruencia de segmentos, de manera que un segmento
fuera congruente con otro en caso que fueran el mismo, sta sera la misma
relacin de igualdad, y no la que hemos denido.
Ejemplo 1.10.4 Sea la relacin denida como a / si a / es un mltiplo
de 4, lo que se escribira como (a /) (a / = 4/) para algn / entero.
Entonces:
1. a a = 0 = 4 0, por ende a a, para todo a entero. Entonces la relacin
es reexiva.
2. Supongamos que a / = 4/, entonces a + / = 4/, y por consiguiente
/ a = 4(/), entonces (a /) (/ a). Entonces la relacin es
simtrica.
3. Supongamos que a/ = 4/ y que /c = 4,, entonces a/+/c = 4/+4,,
pero esto es a c = 4(/ + ,), por ende ((a /) . (/ c)) (a c).
Entonces la relacin es transitiva.
Por ende la relacin es una relacin de equivalencia.
Intuitivamente podemos ver que la relacin parte al conjunto de los
nmeros enteros en 4 clases de equivalencia. Aquellos que al restarles 1 dan
un mltiplo de 4, es decir el 1, el 5, el 9, y entre los enteros negativos el 3, el
7...aquellos que al restarles 2 dan un mltiplo de 4 (6, 2, 2, 6, 10, 14... por
ejemplo), aquellos que al restarles 3 dan un mltiplo de 4, y aquellos que al
restarles 4 dan un mltiplo de 4.
Ejemplo 1.10.5 Sea _ la relacin denida como a _ / si (/ a) (R
+
'0),
con a y / nmeros reales.
Entonces:
1. a a = 0, y 0 (R
+
' 0), por ende a _ a, por ende la relacin _ es
reexiva.
2. Supongamos que (/ a) (R
+
' 0), y que (c /) (R
+
' 0). En-
tonces, por cerradura ante la suma de nmeros no negativos (1o:itio +
1o:itio = 1o:itio, 1o:itio+0 = 1o:itio y 0+0 = 0), (c/+/a)
(R
+
'0). Pero lo anterior es igual a ca, por ende ((a _ /) . (/ _ c))
(a _ c), por ende la relacin _ es transitiva.
3. a _ / implica que / a = c para algn c perteneciente a los reales no
negativos. As mismo / _ a implica que a/ = d para algn d perteneciente
a los reales no negativos. Pero /a = (a/), por ende c = d. Entonces
c + d = 0. Entonces tanto c como d deben ser 0, porque si c fuera mayor
que 0 entonces c+d tambin sera mayor que 0, y anlogamente si d fuera
mayor que 0, por ende la relacin _ es antisimtrica.
Entonces la relacin _ es una relacin de orden.
La relacin anterior ordena el conjunto, de modo que a precede a / si a _ /.
Y nos permite comparar los elementos a y / del conjunto de los nmeros reales.
Una relacin de orden se llama de orden parcial si pueden existir elementos
que no sean comparables (Un ejemplo ser la relacin de contenencia entre
conjuntos, que es una relacin de orden, pero dos conjuntos disyuntos no pueden
ser comparados mediante ella), y se llama de orden total si todos los elementos
son comparables (Un ejemplo es la relacin _ en los reales, donde al escoger a
y /, o a _ /, o / _ a).
1.11. FUNCIONES 37
1.11. Funciones
Entre las relaciones, hay unas bastante particulares, llamadas funciones. In-
tuitivamente, podemos observar una relacin, que a los elementos de un conjunto
(Llamado dominio), les asigna elementos de otro conjunto (Llamado codominio).
Si en esta relacin, todo elemento del dominio tiene al menos un correspondiente
en el codominio, y no tiene ms de uno (En pocas palabras, que cada elemento
del dominio tiene una y solo una pareja en el codominio), entonces esta relacin
se llamar funcin. Llamamos imagen, al elemento del codominio al cual es en-
viado un elemento del dominio. Llamamos al rango de una funcin, el conjunto
de los elementos del codominio que son imagen de algn elemento del dominio.
Podemos escribir que ) es una funcin con dominio y codominio 1 tal que
a un elemento a , lo enva a un elemento )(a) 1 como sigue:
) : 1, a )(a).
Ahora daremos una denicin ms formal de funcin.
Denicin 1.11.1 Sea ) : 1 una relacin, tal que a)/ si y solo si
/ = )(a). Entonces decimos, que ) es funcin, si y solo si se cumplen las dos
caractersticas siguientes.
1. \r , j 1 [ j = )(r). Esto es, que todos los elementos del dominio
tienen al menos una imagen en el codominio.
2. \r, . , )(r) ,= )(.) r ,= .. Esto es que un elemento no puede
tener dos imgenes distintas.
1.11.1. Funciones Inyectivas, sobreyectivas, y biyectivas
Entre las funciones, hay unas bastante importantes, que son las funciones
biyectivas. La denicin formal es bastante similar, informalmente la men-
cionaremos de este modo. Una funcin es inyectiva o no a uno"si todo ele-
mento del codominio tiene al menos uno al que corresponde, en el dominio, y
es sobreyectiva si no tiene ms de uno (De manera simple, todo elemento del
codominio tiene exactamente una preimagen (Un elemento del que es imagen)).
Una denicin formal sera:
Denicin 1.11.2 Sea ) : 1 una funcin dada. Entonces decimos que
) es inyectiva si y solo si:
\r, . , r ,= . )(r) ,= )(.). Esto es, que dados dos elementos distintos
del dominio, sus imgenes sern distintas.
Decimos que ) es sobreyectiva si y solo si:
\j 1, r [ j = )(r). Esto es, que todos los elementos del codominio
tienen al menos una preimagen.
Decimos que ) es biyectiva si y solo si ) es inyectiva y sobreyectiva.
1.12. ESTRUCTURAS ALGEBRICAS 39
1.12. Estructuras Algebricas
Las estructuras algebricas son conjuntos denidos bajo ciertas operaciones,
que cumplen con ciertas caractersticas. Ac se tratarn de manera supercial
las siguientes estructuras algebricas:
1. Grupos
2. Anillos
3. Campos
4. Espacios Vectoriales
Empezaremos por la ms simple de todas, la estructura de los Grupos.
1.12.1. Grupos
Dado un conjunto con una operacin (binaria) dada, ste es un grupo si
la esta operacin cumple con varias caractersticas que sern listadas a contin-
uacin.
Denicin 1.12.1 Sea un conjunto, una operacin dada, y a, /, c elemen-
tos de . Entonces decimos que es un grupo si y solo si:
1. a / . Esto se llama, cerradura ante la operacin.
2. a (/ c) = (a /) c. Esta es la ley asociativa.
3. 0 [ a 0 = a. Esto es, que existe un idntico con respecto a la
operacin. Este idntico no tiene que ser el 0 numrico.
4. \a , a
1
[ a a
1
= 0. Esto es, que todos los elementos de
tienen un inverso con respecto a la operacin.
Entonces, un grupo es aquel conjunto con una operacin cerrada, asociativa,
que posee un idntico con respecto a la operacin, y tambin un inverso. Las
propiedades dadas son llamadas .
A
xiomas de Grupo", aunque slo son la deni-
cin de lo que es un grupo. En realidad una vez dados, tenemos que vericar que
se cumplen para cada conjunto que creamos que es un grupo, con el objetivo de
conrmar que lo es. Sin embargo se puede construir un conjunto sin vericarlos,
suponiendo que se cumplen
Ejemplo 1.12.2 El conjunto = 0 es un grupo bajo la operacin dada como:
0 0 = 0.
Demostracin. En este caso es la nica posibilidad, dado que si 0 0 ,= 0,
entonces la operacin no sera cerrada. Vericaremos que los axiomas de grupo
se cumplen para este conjunto.
1. Sabemos que 0 0 = 0, pero no hay ningn otro elemento en aparte de
0 as que la operacin es cerrada.
2. Como 0 0 = 0, entonces (0 0) 0 = 0 0 = 0. Por otra parte 0 (0 0) =
0 0 = 0, por lo que la operacin es asociativa.
3. Debido a que 0 0 = 0, entonces 0 es el idntico aditivo.
4. Debido a que 0 0 = 0, y a que 0 es el idntico aditivo, 0
1
= 0, es decir,
que 0 es su propio inverso.
Por lo anterior, el conjunto es un grupo. Es llamado Grupo trivial.
Ejemplo 1.12.3 El conjunto Z es un grupo, bajo la axiomatizacin que se hace
del mismo. Se dene en los enteros una operacin de adicin denotada +, y se
deja como axioma que es binaria, que es asociativa, que es conmutativa (Esto no
es necesario para que sea un grupo), que existe el idntico aditivo en los enteros
(El 0), y que dado un entero a, existe el inverso aditivo, denotado a.
Ejemplo 1.12.4 Otro conjunto conocido, que se dene mediante axiomas, co-
mo grupo (Aunque no es solo un grupo), es el conjunto de los nmeros reales,
denotado R.
Ejemplo 1.12.5 El conjunto R R es un grupo bajo la operacin de adicin
denida como:
Sean (a, /), (c, d) RR. Entonces (a, /) + (c, d) = (a +c, / +d), donde a,
/, c, d R.
Demostracin. Sean (a, /), (c, d), (c, )) R R.
Para probar la cerradura, tenemos que (a, /) + (c, d) = (a + c, / + d), pero
a + c es un nmero real, y / + d tambin, por lo que (a + c, / + d) R R.
Para probar la asociatividad, tenemos que
((a, /) + (c, d)) + (c, )) = (a + c, / + d) + (c, ))
= ((a + c) + c, (/ + d) + )).
Pero dado que la suma es asociativa en los nmeros reales, tenemos que
((a + c) + c, (/ + d) + )) = (a + (c + c), / + (d + )))
= (a, /) + (c + c, d + ))
= (a, /) + ((c, d) + (c, ))).
Ahora debemos encontrar un elemento idntico. Sospechamos que es el (0, 0),
pero para encontrarlo sera mejor aplicar la denicin de suma, puesto que no
siempre el idntico es tan fcil de ver. Debemos encontrar un elemento (r, j),
tal que (a, /) + (r, j) = (a, /).
1.12. ESTRUCTURAS ALGEBRICAS 41
1.12.2. Anillos
1.12.3. Campos
1.12.4. Espacios Vectoriales
Nmeros
En este captulo se tratarn distintas maneras de construir nmeros, y los
nmeros que pueden ser construidos de estas maneras. O incluso, los nmeros
que pueden ser construidos de manera falible. En las secciones del captulo
anterior, vimos ciertos temas, mediante los cuales se podan construir algunos
tipos de nmeros. Por ejemplo, los nmeros de la forma
n(n+1)
2
en este captulo
se pasarn a llamar nmeros triangulares. En la sucesin de Fibonacci, pues
simplemente a los miembros los llamaremos los nmeros de Fibonacci. Estn
tambin nmeros cuadrados, pentagonales, poligonales, piramidales, nmeros
primos, divisibles por cierto nmero, congruentes con cierto nmero modulo
otro nmero, y as.
2.1. Nmeros Poligonales
Los nmeros poligonales son enteros positivos que pueden ser representa-
dos grcamente por arreglos poligonales regulares. Hay naturalmente innitos
nmeros poligonales para cada tipo de polgono.
2.1.1. Nmeros Triangulares
Los nmeros triangulares son los la cantidad de puntos que se da al expandir
un tringulo equiltero de esta forma (Poniendo el lado del tringulo de 3 puntos
como una medida de referencia, y poniendo puntos en los lados de los tringulos
ms grandes de modo que los segmentos entre esos puntos queden con la medida
de referencia):
43
44 NMEROS
Y as sucesivamente. De este modo los primeros nmeros triangulares se
pueden dar sumndole un lado de : puntos al tringulo de tamao : 1, y
as hasta el orden del tringulo que queramos. Ahora daremos unos axiomas y
teoremas.
Axioma 2.1.1 Sea
n
el n-simo nmero triangular. Entonces
1
= 1 y
n
=
n1
+ :, siendo : N.
Esto lo podemos ver claramente en los primeros 4 casos. Para llegar del tercer
nmero triangular, el seis, al cuarto, el diez, toca sumar un cuatro. Para llegar
del segundo, el tres, al tercero, el seis, toca sumar un tres. As que supondremos
que esto es cierto. Basndonos en esto, llegaremos a un teorema, que nos da la
frmula general para los nmeros triangulares.
Teorema 2.1.2 Sea
n
el n-simo nmero triangular :. Entonces
n
=
n(n+1)
2
.
Demostracin. La demostracin se realizar por induccin matemtica.
Sea : = 1. Entonces
1
= 1 =
12
2
. Entonces la frmula funciona para : = 1.
Ahora sea : = /. Supongamos que en este caso tambin se cumple, lo que
es:
k
=
k(k+1)
2
.
Ahora, para : = / + 1.
Por el Axioma anterior
k+1
=
k
+ / + 1 y por hiptesis de induccin
k
=
k(k+1)
2
, entonces
k+1
=
k(k+1)
2
+ / + 1 =
k
2
+k+2k+2
2
=
k
2
+3k+2
2
=
(k+1)(k+2)
2
, que es lo que
queramos probar.
Teorema 2.1.3 Sea
n
el nmero triangular n-simo. Entonces
n
=
n
k=1
/.
2.1. NMEROS POLIGONALES 45
Demostracin. Por el Teorema anterior,
n
=
n(n+1)
2
, pero sabemos que
n
k=1
/ =
n(n+1)
2
, por ejemplos dados en el captulo anterior.
Estos nmeros son los numeros de la forma
_
n+1
2
_
, por lo que aparecern en
el tringulo de pascal.
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
1 7 21 35 35 21 7 1
2.1.2. Nmeros Cuadrados
Son los nmeros resultantes al expandir cuadrados como se muestra, o al
aumentar la medida del lado de un cuadrado de lado 1 en un nmero.
Y as sucesivamente. Vemos que a cada cuadrado le aadimos dos lados para
llegar al siguiente, pero a los dos lados le quitamos su interseccin. Entonces
para llegar del tercero, que es 9, al cuarto, que es 16 le aadimos dos lados de 4,
y le quitamos un punto que queda repetido (La interseccin de los dos lados).
As del segundo, que es 4 al tercero, que es 9, sumamos dos lados de medida
3 y quitamos un punto que se repite. As, para llegar del primero al segundo
sumamos 3, para llegar del segundo al tercero sumamos 5, para llegar del tercero
al cuarto sumamos 7, y as...formularemos un axioma para expresar esto:
Axioma 2.1.4 Sea 1
n
el n-simo nmero cuadrado. Entonces 1
1
= 1, 1
n
=
1
n1
+ 2: 1, siendo : N.
46 NMEROS
As,
3
=
2
+ 6 1 =
2
+ 5 =
1
+ 3 + 5 = 1 + 3 + 5 = 9. As, podemos
ver que funciona. A continuacin demostraremos un teorema para tener una
frmula explcita.
Teorema 2.1.5 Sea 1
n
n
= :
2
.
Demostracin. Sea : = 1. Entonces 1
1
= 1 = 1
2
.
Ahora supongamos que para : = /, 1
k
= /
2
.
Entonces 1
k+1
= 1
k
+2(/+1)1 = /
2
+2/+21 = /
2
+2/+1 = (/+1)
2
.
Corolario 2.1.1 Sea 1
n
n
=
n
k=1
(2/ 1).
Demostracin.
n
k=1
(2/ 1) =
n
k=1
2/
n
k=1
1 = :(: + 1) : = :
2
.
Ahora daremos otro teorema, que nos dar una relacin entre nmeros tri-
angulares y cuadrados.
Teorema 2.1.6 Sea
n
el n-simo nmero triangular y 1
n
el n-simo nmero
cuadrado. Entonces 1
n
=
n
+
n1
.
Demostracin. Por Teoremas anteriores tenemos que,
n
+
n1
=
n(n+1)
2
+
n(n1)
2
=
n(n+1)+n(n1)
2
=
n(n+1+n1)
2
=
n(2n)
2
= :
2
, y que :
2
= 1
n
, lo que
concluye nuestra demostracin.
El anterior Teorema, junto con otros, nos dar un axioma posterior sobre la
triangulacin de nmeros poligonales.
2.1.3. Nmeros Pentagonales
Anlogamente a los nmeros cuadrados, los nmeros pentagonales se podran
expresar como la cantidad de puntos al expandir un pentgono de este modo:
Y as sucesivamente. Ac, para llegar del segundo pentgono al tercero, le
aadimos 3 lados de 3 puntos, y le quitamos los dos puntos extra en que se
cortan dos de esos 3 lados. As llegaremos a un axioma.
Axioma 2.1.7 Sea C
n
el n-simo nmero pentagonal. Entonces C
1
= 1 y C
n
=
C
n1
+ 3: 2.
Entonces, del segundo pentgono, con 5 puntos, le sumamos para llegar al
tercero, 332 puntos, es decir 7 puntos, y 5+7 = 12. El teorema correspondiente
a los anteriores nmeros poligonales sera:
Teorema 2.1.8 Sea C
n
el n-simo nmero pentagonal. Entonces C
n
=
n(3n1)
2
.
Demostracin. Sea : = 1. Entonces C
1
= 1 =
12
2
=
1(31)
2
=
1(311)
2
.
Ahora, para : = /, supongamos que C
k
=
k(3k1)
2
.
Entonces C
k+1
= C
k
+ 3/ + 1 =
k(3k1)+6k+2
2
=
3k
2
k+6k+2
2
=
3k
2
+5k+2
2
=
(k+1)(3k+2)
2
=
(k+1)(3(k+1)1)
2
Hay otro teorema:
Teorema 2.1.9 Sea 1
n
el n-simo nmero cuadrado n-simo y C
n
el n-simo
nmero pentagonal. Entonces C
n
= 1
n
+
n(n1)
2
.
Demostracin. Dado 1
n
, 1
n
= :
2
. Entonces :
2
+
n(n1)
2
=
2n
2
+n(n1)
2
=
2n
2
+n
2
n
2
=
3n
2
n
2
=
n(3n1)
2
, pero por Teorema 2.1.8
n(3n1)
2
= C
n
y as
concluye la prueba.
Corolario 2.1.2 Sea C
n
el n-simo nmero pentagonal, 1
n
el nmero n-simo
cuadrado de orden y
n
n-simo nmero triangular. Entonces C
n
=
n
+2
n1.
Demostracin. Por teorema 2.1.9 C
n
= 1
n
+
n(n1)
2
. Por teorema 2.1.6 1
n
=
n
+
n1
. Y por teorema 2.1.2,
n(n1)
2
=
n1
.
Entonces C
n
=
n
+
n1
+
n1
=
n
+ 2
n1.
2.1.4. Nmeros Poligonales de l lados
Generalizando a los : lados, los nmeros poligonales son nmeros que se
obtienen al expandir un cierto polgono de la manera vista. Tambin, hablando
de generalizar, tomaremos como axioma la frmula recursiva y con base en l
demostraremos unos cuantos teoremas.
48 NMEROS
Axioma 2.1.10 Sea 1
l
n
el n-simo nmero poligonal de | lados. Entonces 1
l
1
=
1 y 1
l
n
= 1
l
n1
+ (| 2): (| 3).
En este caso el primer nmero poligonal ser 1, y para llegar al siguiente
le aadimos | 2 lados de tamao :, y le quitamos los puntos repetidos, que
seran | 3.
Teorema 2.1.11 Sea 1
l
n
el nmero poligonal de | lados y orden :. Entonces
1
l
n
=
n(n(l2)(l4))
2
.
1(1(l2)(l4))
2
=
((l2)(l4))
2
=
l2l+4
2
=
2
2
= 1.
Ahora supongamos que para : = /, la frmula se cumple.
Entonces para : = / + 1, tenemos que:
1
l
k+1
= 1
l
k
+ (| 2)(/ + 1) (| 3), y por hiptesis de induccin tenemos
que
1
l
k+1
=
k(k(l2)(l4))
2
+ (| 2)(/ + 1) (| 3)
=
k(k(l2)(l4))+2(l2)(k+1)2(l3)
2
=
k(k(l2)(l4))+2(lk+l2k2)2(l3)
2
=
k(k(l2)(l4))+2lk+2l4k42l+6
2
=
k(kl2kl+4)+2lk+2l4k42l+6
2
=
k
2
l2k
2
lk+4k+2lk+2l4k42l+6
2
=
k
2
l2k
2
lk+4k+2lk+2l4k42l+6
2
=
k
2
l2k
2
+lk+2
2
Por otro lado:
(k+1)((k+1)(l2)(l4))
2
=
(k+1)(lk+l2k2l+4)
2
=
(k+1)(lk2k+2)
2
=
(k+1)((l2)k+2)
2
=
(k+1)(l2)k+2(k+1)
2
=
(lk+l2k2)k+2(k+1)
2
=
lk
2
+lk2k
2
2k+2k+2
2
=
k
2
l2k
2
+lk+2
2
l
n
el n-simo nmero poligonal de | lados. Entonces
1
l
n
= 1
l1
n
+
n(n1)
2
.
Demostracin. Tenemos que 1
l
n
=
n(n(l2)(l4))
2
, y que 1
l1
n
=
n(n(l3)(l5))
2
.
Entonces
n(n(l3)(l5))
2
+
n(n1)
2
=
n(n(l3)(l5))+n(n1)
2
=
n((n(l3)(l5))+(n1))
2
=
n((nl3n(l5))+n1))
2
=
n((nl2n(l5))1))
2
=
n(nl2nl+51)
2
=
n(nl2nl+4)
2
=
n(n(l2)(l4))
2
l
n
el n-simo nmero poligonal de | lados y
n
el n-
simo nmero triangular. Entonces 1
l
n
=
n
+ (| 3)
n1
.
Demostracin. Sea | = 3. Entonces 1
3
n
=
n
=
n
+ (0)
n1
=
n
+ (3
3)
n1
.
Ahora, supongamos que para | = /, 1
k
n
=
n
+ (/ 3)
n1
.
Entonces, por el axioma anterior, 1
k+1
n
= 1
k
n
+
n(n1)
2
= 1
k
n
+
n1
. Pero
1
k
n
=
n
+ (/ 3)
n1
, por hiptesis de induccin.
Entonces 1
k
n
+
n1
=
n
+(/ 3)
n1
+
n1
=
n
+
n1
(/ 3 +1) =
n
+ (/ + 1 3)
n1
, que es lo que se quera demostrar.
Hay una analoga interesante que se podra encontrar a la hora de triangular
polgonos (Que es partirlos en tringulos).
Lo miraremos con el teorema siguiente, que se demuestra ms que nada
usando geometra elemental e induccin matemtica. La demostracin se hizo
en secciones anteriores, pero de todos modos la pondremos.
Ejemplo 2.1.14 Todo polgono es triangulable.
Demostracin. Que un polgono sea triangulable, es que se puede partir en
tringulos.
Sea
1
3
un polgono de 3 lados. Siendo un tringulo es triangulable, de
manera trivial.
Ahora supongamos que para algn /, todo polgono de / lados es triangula-
ble. Ahora, sea
1
3
...
k1
k+1
un polgono de / +1 lados. Tracemos el
segmento
k1
k+1
. El polgono
k1
k+1
es un tringulo. Y por su parte,
el polgono restante,
1
3
...
k1
k+1
tiene / lados. Pero supusimos que los
polgonos de / lados son triangulables, lo que nos resulta en un polgono trian-
gulable y un tringulo. Por ende el polgono de / + 1 sera triangulable, que es
lo que queramos demostrar.
Esto es una analoga, que nos da un algoritmo para triangular un nmero
poligonal gracamente. Mediante la demostracin, la clave era convertir el pol-
gono de / + 1 lados en uno de / lados (Usando los vrtices opuestos de dos
lados adyacentes para crear un tringulo y un polgono de / lados). Para tri-
angular el de / lados lo convertimos en uno de / 1 lados mediante el mismo
procedimiento, y as, hasta llegar a 3 lados.
50 NMEROS
Para triangular nmeros cuadrados haramos lo siguiente:
Para triangular nmeros pentagonales:
Y para triangular nmeros hexagonales haramos lo siguiente:
Con lo anterior hemos encontrado el modo de expresar el n-simo nmero
poligonal de | lados en la base:
De manera recursiva.
Con una frmula explcita.
En trminos del n-simo nmero poligonal de | lados y el triangular (:1)-
simo.
En trminos de nmeros triangulares.
2.2. NMEROS PIRAMIDALES 51
2.2. Nmeros Piramidales
2.2.1. Nmeros Piramidales
Anlogamente a los nmeros poligonales, que surgan al hacer arreglos trian-
gulares de cierto tamao, los nmeros piramidales surgen al construir arreglos
piramidales de un modo especco. Y a su vez, cumplen con ciertas propiedades
anlogas a las de los nmeros poligonales.
2.2.2. Nmeros Piramidales de base triangular
Estos nmeros surgen al hacer arreglos piramidales de base triangular como
los siguientes.
Los primeros 10 nmeros piramidales triangulares son:
1, 4, 10, 20, 35, 56, 84, 120, 165, 220
En estos nmeros, para llegar de la primera pirmide a la segunda aadimos
una base triangular, para llegar de la segunda a la tercera aadimos una base
triangular ms grande, y as.
Entonces tomamos esto como axioma:
Axioma 2.2.1 Sea c
n
el n-simo nmero piramidal triangular. Entonces c
1
= 1
y c
n
= c
n1
+
n(n+1)
2
.
Este axioma nos da una frmula recursiva para los nmeros piramidales
triangulares. As podemos mirar que c
1
= 1, c
2
= 1 +
2(3)
2
= 4, que c
3
=
4 +
3(4)
2
= 10 y as.
Ahora daremos un teorema.
52 NMEROS
Teorema 2.2.2 Sea c
n
el n-simo nmero piramidal triangular, y d
n
el n-simo
nmero triangular. Entonces c
n
=
n
i=1
d
i
.
Demostracin. Sea : = 1. Entonces c
1
= 1 = d
1
=
1
i=1
d
i
.
Ahora supongamos que para : = /, c
k
=
k
i=1
d
i
. Entonces c
k+1
= c
k
+
(k+1)(k+2)
2
. Pero por hiptesis de induccin c
k
=
k
i=1
d
i
, entonces c
k+1
=
k
i=1
d
i
+
(k+1)(k+2)
2
. Pero por Teoremas de nmeros poligonales, d
i
=
i(i+1)
2
, y por ende
tenemos que c
k+1
=
k
i=1
i(i+1)
2
+
(k+1)(k+2)
2
=
k+1
i=1
i(i+1)
2
probar.
Corolario 2.2.1 Sea c
n
el n-simo nmero piramidal triangular, y d
n
el n-
simo nmero triangular. Entonces c
n
=
n(n+1)(n+2)
6
.
Demostracin. Por Teorema anterior, c
n
=
n
i=1
d
i
, pero por Teoremas de
nmeros poligonales, d
i
=
i(i+1)
2
.
Entonces c
n
=
n
i=1
i(i+1)
2
=
1
2
n
i=1
i
2
+ i =
1
2
n
i=1
i
2
+
1
2
n
i=1
i
=
1
2
_
n(n+1)(2n+1)
6
+
n(n+1)
2
_
=
1
2
_
n(n+1)(2n+1)+3n(n+1)
6
_
=
1
2
_
n(n+1)((2n+1)+3)
6
_
=
1
2
_
n(n+1)(2n+4)
6
_
=
n(n+1)(n+2)
6
2.2.3. Nmeros Piramidales cuadrados
Son los nmeros que surgen al formar pirmides de base cuadrada de esta
forma:
Los diez primeros nmeros piramidales de base cuadrada son
1, 5, 14, 30, 55, 91, 140, 204, 285, 385
Para llegar de un nmero piramidal cuadrado al siguiente ponemos una base
cuadrada construida como el n-simo nmero cuadrado. Lo dejaremos como
axioma.
Axioma 2.2.3 Sea -
n
el n-simo nmero piramidal cuadrado. Entonces -
1
= 1
y -
n
= -
n1
+ :
2
.
Con este axioma tenemos una frmula recursiva para los nmeros piramidales
cuadrados. As, -
1
= 1, -
2
= 1 + 2
2
= 5, -
3
= 5 + 3
2
= 14 y as en adelante.
Ahora deniremos una serie de teoremas.
Teorema 2.2.4 Sea -
n
el n-simo nmero piramidal cuadrado y c
n
el n-simo
nmero cuadrado. Entonces -
n
=
n
i=1
c
n
.
Demostracin. Por teorema de los nmeros poligonales sabemos que c
i
= i
2
.
Ahora sea : = 1. Entonces -
1
= 1 = c
1
=
1
i=1
c
i
. Entonces supongamos que para
: = /, -
k
=
k
i=1
c
i
. Entonces -
k+1
= -
k
+ (/ + 1)
2
. Por hiptesis de induccin
tenemos que eso es igual a
k
i=1
c
i
+ (/ + 1)
2
. Pero por Teoremas de nmeros
poligonales esto es
k
i=1
i
2
+ (/ + 1)
2
=
k+1
i=1
i
2
=
k+1
i=1
c
i
probar.
Corolario 2.2.2 Sea -
n
el n-simo nmero piramidal cuadrado. Entonces -
n
=
n(n+1)(2n+1)
6
.
54 NMEROS
Demostracin. Por la demostracin del teorema anterior tenemos que -
n
=
n
i=1
c
i
=
n
i=1
i
2
. Pero
n
i=1
i
2
=
n(n+1)(2n+1)
6
, y as concluye la demostracin.
Ahora mostraremos una particularidad de los nmeros piramidales cuadra-
dos. Que se pueden descomponer en nmeros piramidales triangulares.
Teorema 2.2.5 Sea -
n
el n-simo nmero piramidal cuadrado y c
n
el n-simo
nmero piramidal triangular. Entonces -
n
= c
n
+ c
n1
.
Demostracin. Sabemos que c
n
=
n(n+1)(n+2)
6
y que c
n1
=
(n1)(n)(n+1)
6
.
Entonces c
n
+ c
n1
=
n(n+1)(n+2)+(n1)(n)(n+1)
6
=
n(n+1)((n+2)+(n1))
6
=
n(n+1)(2n+1)
6
= -
n
2.2.4. Nmeros Piramidales Pentagonales
Son los nmeros que se forman al crear pirmides de base pentagonal como
estos:
Los primeros 10 nmeros piramidales pentagonales son:
1, 6, 18, 40, 75, 126, 196, 288, 405, 550
Para llegar de un nmero piramidal pentagonal al siguiente ponemos una
base pentagonal construida como el n-simo nmero pentagonal. Lo dejaremos
como axioma.
Axioma 2.2.6 Sea
n
el n-simo nmero piramidal pentagonal . Entonces
1
=
1 y
n
=
n1
+
n(3n1)
2
.
Siendo
n(3n1)
2
el n-simo nmero pentagonal es razonable el axioma.
Con este axioma tenemos entonces una frmula recursiva para los nmeros
piramidales pentagonales. As,
1
= 1,
2
= 1 + 5 = 6,
3
= 6 + 12 = 18 y as
en adelante. Ahora deniremos una serie de teoremas.
Teorema 2.2.7 Sea
n
el n-simo nmero piramidal pentagonal de y )
n
el n-
simo nmero pentagonal. Entonces
n
=
n
k=1
)
k
.
Demostracin. Sabemos, por teoremas de nmeros poligonales que )
k
=
k(3k1)
2
Sea
: = 1. Entonces
1
= 1 =
1
k=1
)
k
.
Ahora supongamos que para : = ,,
j
=
j
k=1
)
k
.
Entonces
j+1
=
j
+
j(3j+2)
2
=
j
k=1
)
k
+ )
j+1
=
j+1
k=1
)
k
, que es lo que se
quera probar.
Corolario 2.2.3 Sea
n
el n-simo nmero piramidal pentagonal y )
n
el n-
simo nmero pentagonal. Entonces
n
=
n(n+1)(3n)
6
Demostracin. Por el teorema anterior,
n
=
n
k=1
)
k
=
n
k=1
k(3k1)
2
.
Ahora,
n
k=1
k(3k1)
2
=
1
2
n
k=1
/ (3/ 1)
=
3
2
n
k=1
/
2
1
2
n
k=1
/
=
3
2
n(n+1)(2n+1)
6

1
2
n(n+1)
2
=
3n(n+1)(2n+1)
12

n(n+1)
4
=
3n(n+1)(2n+1)3n(n+1)
12
=
3n(n+1)((2n+11)
12
=
3n(n+1)(2n)
12
=
6n(n+1)(n)
12
=
3n(n+1)n
6
Teorema 2.2.8 Sea
n
el n-simo nmero piramidal pentagonal :, -
n
el n-
simo nmero piramidal cuadrado y c
n
el n-simo nmero piramidal triangular.
Entonces
n
= -
n
+ c
n1
.
56 NMEROS
Demostracin. El n-simo nmero piramidal pentagonal se escribe mediante
la frmula
3n(n+1)n
6
. El n-simo nmero piramidal cuadrado se escribe medi-
ante la frmula
n(n+1)(2n+1)
6
. El n-simo nmero piramidal triangular se escribe
mediante la frmula
n(n+1)(n+2)
6
.
Entonces:
-
n
+ c
n1
=
n(n+1)(2n+1)
6
+
(n1)(n)(n+1)
6
=
n(n+1)(2n+1)+(n1)(n)(n+1)
6
=
n(n+1)((2n+1)+(n1))
6
=
n(n+1)(2n+1+n1)
6
=
n(n+1)(3n)
6
=
n
Corolario 2.2.4 Sea
n
el n-simo nmero piramidal pentagonal : y c
n
el n-
simo nmero piramidal triangular. Entonces
n
= c
n
+ 2c
n1
.
Demostracin. Por el teorema anterior,
n
= -
n
+c
n1
. Pero -
n
= c
n
+c
n1
.
Entonces
n
= c
n
+ c
n1
+ c
n1
= c
n
+ 2c
n1
.
2.2.5. Nmeros Piramidales de l lados
Ac generalizamos los nmeros piramidales. Cuando tiene | lados la base,
tambin se debern cumplir ciertas regularidades. Mencionaremos algunos ax-
iomas al respecto, y posteriormente varios teoremas.
Axioma 2.2.9 Sea
l
n
el n-simo nmero piramidal de | lados en su base.
Entonces
l
1
= 1 y
l
n
=
l
n1
+ 1
l
n
.
Ac el primer nmero piramidal de | lados en su base ser 1, y para llegar
al siguiente aadimos como base el siguiente nmero poligonal de | lados.
Teorema 2.2.10 Sea
l
n
el n-simo nmero piramidal de | lados en su base y
1
l
n
el n-simo nmero poligonal de | lados. Entonces
l
n
=
n
i=1
1
l
i
.
Demostracin. Sabemos que
l
1
= 1 =
n
i=1
1
l
i
. Ahora supongamos que para
: = /,
l
k
=
k
i=1
1
l
i
.
Entonces
l
k+1
=
l
k
+ 1
l
k+1
Pero por hiptesis de induccin:
l
k+1
=
k
i=1
1
l
i
+ 1
l
k+1
=
k+1
i=1
1
l
i
, que era lo que se quera demostrar.
Ac se puede ver una curiosa analoga a la geometra (Aunque se basa en
el clculo integral). El volumen de una pirmide es, partindola en secciones
transversales paralelas a su base, la suma de todas las secciones, cuando el
grosor de las secciones tiende a 0. Algo similar a lo siguiente:
58 NMEROS
Se dice que entonces que el volumen de una pirmide de base cuadrada de
lado a, con altura / sera (Sin entrar en detalles) la suma de las innitas reas
de las innitas secciones transversales dadas. El asunto es que en los nmeros
piramidales se trata de una suma en un conjunto contable (Los naturales), no
de una suma en un conjunto como los reales, que no se puede contar. Seguimos.
Teorema 2.2.11 Sea
l
n
Entonces
l
n
=
n(n+1)((l2)n(l5))
6
.
Demostracin. Por la frmula de los nmeros poligonales, y por el teorema
anterior,
l1
n
=
n
i=1
1
l
i
=
n
i=1
i(i(l2)(l4))
2
.
Pero tenemos que
n
i=1
i(i(l2)(l4))
2
=
1
2
n
i=1
i(i(| 2) (| 4))
=
1
2
n
i=1
i(i| 2i | + 4)
=
1
2
n
i=1
(i
2
| 2i
2
|i + 4i)
=
1
2
_
n
i=1
i
2
|
n
i=1
2i
2
i=1
|i +
n
i=1
4i
_
=
1
2
_
n
i=1
_
i
2
| 2i
2
_
i=1
|i +
n
i=1
4i
_
=
1
2
_
(| 2)
n
i=1
i
2
i=1
|i +
n
i=1
4i
_
=
1
2
_
n(n+1)(2n+1)(l2)
6

n(n+1)l
2
+
4n(n+1)
2
_
=
1
2
_
(| 2)
n(n+1)(2n+1)
6
|
n(n+1)
2
+ 4
n(n+1)
2
_
=
n(n+1)
2
_
(l2)(2n+1)
6

l
2
+
4
2
_
=
n(n+1)
2
_
(l2)(2n+1)
6
+
4l
2
_
=
n(n+1)
2
_
2nl+l4n2
6
+
4l
2
_
=
n(n+1)
2
_
2nl+l4n2+123l
6
_
=
n(n+1)
2
_
2nl4n+l3l2+12
6
_
=
n(n+1)(2nl4n2l+10)
12
=
n(n+1)(nl2nl+5)
6
=
n(n+1)(n(l2)(l5))
6
Teorema 2.2.12 Sea
l
n
Entonces
l
n
=
l1
n
+
(n1)(n)(n+1)
6
o
l
n
=
l1
n
+
3
n1
.
Demostracin.
l1
n
=
n(n+1)(n(l3)(l6))
6
. Entonces:
l1
n
+
3
n1
=
n(n+1)(n(l3)(l6))
6
+
(n1)(n)(n+1)
6
=
n(n+1)(n(l3)(l6))+(n1)(n)(n+1)
6
=
n(n+1)((n(l3)(l6))+(n1))
6
=
n(n+1)(nl3nl+6+n1)
6
=
n(n+1)(nl2nl+5)
6
=
n(n+1)(n(l2)(l5))
6
Teorema 2.2.13 Sea
l
n
Entonces
l
n
=
n(n+1)(n+2)
6
+ (| 3)
(n1)(n)(n+1)
6
o
l
n
=
3
n
+ (| 3)
3
n1
.
Demostracin.
3
n
+ (| 3)
3
n1
=
n(n+1)(n+2)
6
+ (| 3)
(n1)(n)(n+1)
6
=
n(n+1)(n+2)+(l3)(n1)(n)(n+1)
6
=
n(n+1)((n+2)+(l3)(n1))
6
=
n(n+1)(n+2+nll3n+3)
6
=
n(n+1)(2n+nll+5)
6
=
n(n+1)(2n+nll+5)
6
=
n(n+1)(n(2+l)(l5))
6
=
n(n+1)(n(l2)(l5))
6
60 NMEROS
Con lo anterior hemos encontrado el modo de expresar el n-simo nmero
pirmidal de | lados en la base:
De manera recursiva.
Con una frmula explcita.
En trminos del n-simo nmero piramidal de | lados y el piramidal trian-
gular (: 1)-simo.
En trminos de nmeros poligonales.
En trminos de nmeros piramidales triangulares.
2.3. TRINGULO TRINOMIAL 61
2.3. Tringulo Trinomial
Qu ocurre si creamos otros arreglos como el Tringulo de pascal, pero en
lugar de que cada nmero sea los dos de arriba, que sea la suma de los tres de
arriba? Es decir, algo como esto:
1
1 1 1
1 2 3 2 1
1 3 6 7 6 3 1
1 4 10 16 19 16 10 4 1
1 5 15 30 45 51 45 30 15 5 1
Pues estos seran los coecientes de la expansin del trinomio (1 +r +r
2
)
n
.
Demostraremos esto con un teorema. Entonces tenemos en un principio dos
teoremas a demostrar.
1. (1 + r + r
2
)
n
=
n
k=0
k
m=0
_
n
k
__
k
m
_
r
km
(r
2
)
m
2.
n
k=0
k
m=0
_
n
k
__
k
m
_
= 3
n
(Esto se demuestra cuando r = 1 en el teorema
anterior).
Teorema 2.3.1 Sea $
n
= (1 + r + r
2
)
n
. Entonces
$
n
=
n
k=0
k
m=0
_
n
k
__
k
m
_
r
km
(r
2
)
m
Demostracin. Usaremos el teorema del binomio. Para dejarlo ms claro hare-
mos una sustitucin. Sea a = r
2
+ r.
Entonces tenemos que$
n
= (1 + a)
n
. Esto es, por el teorema del binomio,
$
n
=
n
k=0
_
n
k
_
(a)
k
Esto es:
$
n
=
n
k=0
_
n
k
_
(r + r
2
)
k
=
n
k=0
_
n
k
_
k
m=0
_
k
m
_
r
km
(r
2
)
m
=
n
k=0
k
m=0
_
n
k
__
k
m
_
r
km
(r
2
)
m
62 NMEROS
Corolario 2.3.1
n
k=0
k
m=0
_
n
k
__
k
m
_
= 3
n
Demostracin. Aplicamos el teorema anterior cuando r = 1. Entonces tenemos
que:
3
n
= (1 + 1 + 1
2
)
n
=
n
k=0
k
m=0
_
n
k
__
k
m
_
1
km
1
m
=
n
k=0
k
m=0
_
n
k
__
k
m
_
.
Teorema 2.3.2 Sea $
n
=
n
k=0
k
m=0
_
n
k
__
k
m
_
r
km
(r
2
)
m
. Entonces
Entonces deniremos al tringulo como sigue:
2.4. DIVISIBILIDAD 63
2.4. Divisibilidad
Un nmero a divide a /, o un nmero / es divisible por a, o es un mltiplo de
a si al dividirlos del modo / a el residuo es 0. Se denota a [ /. Decimos que no
lo es si
b
a
= +
r
a
, o si / = a + r. Se dice que dados dos nmeros a y / existen
siempre enteros nicos y r tal que / = a + r, con r un entero no negativo
menor que a. Esto es un teorema llamado el algoritmo de la divisin (Que ac
se expondr muy supercialmente). r es llamado el residuo, y el cociente. De
este modo podremos encontrar otra manera de clasicar a los nmeros enteros.
Daremos unos cuantos teoremas y seguiremos con nmeros pares e impares.
Teorema 2.4.1 Principio del palomar.
Interpretacin 1: Si a los elementos de un conjunto de al menos :+1 elemen-
tos, le asignamos los elementos de un conjunto de : elementos, algn elemento
del segundo conjunto tendr dos parejas en el primer conjunto, o algn elemento
del primer conjunto se quedar sin pareja.
Interpretacin 2: Si al menos : + 1 palomas son asignadas a : palomares,
entonces al menos dos palomas deben ocupar el mismo palomar.
Interpretacin 3 (Muy similar a la 1): No pude haber una funcin sobreyecti-
va de un conjunto con : elementos a un conjunto con al menos :+1 elementos,
as como no puede haber una funcin inyectiva de un conjunto con al menos
: + 1 elementos a un conjunto de : elementos.
Demostracin. Demostracin de la interpretacin 2 (Sera anloga la de las
dems interpretaciones): Si suponemos que es falso, y que a cada paloma le toca
su propio palomar, o queda alguno vaco, entonces :+1 _ 1, cosa que no puede
ser.
Teorema 2.4.2 Sea [, la relacin dada de modo que a divide a /, denotado
a [ /, si y solo si existe un entero / tal que / = /a. Entonces esta relacin es
una relacin de orden.
Demostracin. Debemos probar que esta relacin es reexiva, antisimtrica y
transitiva.
1. Para todo nmero entero a, a [ a. Esto quiere decir que todos los enteros
se dividen a s mismos.
Para demostrar esto, basta con ver que a = a = /a para / = 1.
2. ((a [ /) . (/ [ a)) (a = /). Esto es la propiedad antisimtrica, quiere
decir que si a divide a / y si / divide a a, entonces a = /.
Para demostrar esto observamos que / = /a para algn /, y a = ,/
para algn , (/ y , enteros). Con eso tenemos que a = /,a, por lo que
/, = 1, entonces / y , deben ser ambos 1. Se puede demostrar lo ltimo,
suponiendo que / 1, de lo que se deduce que 1
1
l
. Ahora, para que
,/ = 1, , =
1
k
. Pero no hay nmeros enteros entre 0 y 1, as que / = 1 = ,,
y por ende / = a.
64 NMEROS
3. ((a [ /) . (/ [ c)) (a [ c). Esto es la propiedad transitiva.
Suponemos que a [ / y que / [ c. Entonces / = /a y c = ,/. Entonces
reemplazamos / por /a en la segunda ecuacin y tenemos que c = ,(/a) =
(,/)a, que es lo que se quera probar.
Para el siguiente Teorema, daremos una denicin rpida.
Denicin 2.4.3 Sean a
1
, a
2
, a
3
, a
4
, ..., a
n
enteros (Podemos decir enteros, o
podemos decir cualquier cosa que se pueda sumar y multiplicar por nmeros,
ya sean polinomios, vectores en el plano, nmeros reales, nmeros naturales,
nmeros complejos, matrices entre otros). Entonces una combinacin lineal de
a
1
, a
2
, a
3
, a
4
, ..., a
n
, denotada c sera c = `
1
a
1
+`
2
a
2
+`
3
a
3
+`
4
a
4
+... +`
n
a
n
,
donde `
1
, `
2
, `
3
, `
4
, ..., `
n
son nmeros enteros cualesquiera (De hecho en este
caso decimos enteros porque nos interesan los enteros, pero realmente podemos
decir que son nmeros racionales o reales sin ningn problema, seguir siendo
una combinacin lineal de a
1
, a
2
, a
3
, a
4
, ..., a
n
, slo que podr no ser entera).
Teorema 2.4.4 Sean a y / enteros. Entonces, si a [ /, a [ /c, para cualquier
entero c.
Demostracin. Sabemos que / = /a, entonces /c = c/a = (c/)a, que es lo que
se quera probar.
Teorema 2.4.5 Sean a, /, c enteros. Entonces, si a [ /, y a [ c, entonces a
divide a cualquier combinacin lineal de / y c. Esto es, que a [ c/ + ,c, con c
y , enteros.
Demostracin. Tenemos que / = /a y que c = ,a. Entonces c/ = c/a y
,c = ,,a.
Por ende c/+ ,c = c/a+,,a = a (c/ + ,,), que es lo que se quera probar.
2.4.1. Nmeros pares e impares
Los nmeros pares son todos los nmeros que son divisibles por 2. Y los
impares son todos los nmeros que no son divisibles por 2. Tambin se puede
decir que son aquellos nmeros a los que al restarles 1 da un mltiplo de 2. Los
nmeros pares son los nmeros de la forma 2:, y los impares los de la forma
2: + 1 o 2: 1, para algn : entero.
Ahora enunciaremos un teorema.
2.4. DIVISIBILIDAD 65
Teorema 2.4.6 Sean a y / nmeros pares cualesquiera, : un entero cualquiera,
y c y d nmeros impares cualesquiera.
1. a + / es un nmero par.
2. a/ es un nmero par.
3. c + d es un nmero par.
4. cd es un nmero impar.
5. a + c (O / + d, a + d, / + c) es un nmero impar.
6. ac (O /d, ad, /c) es un nmero par.
7. Para algn : entero, si :
2
es par, entonces : es par.
8. Para algn : entero, si :
2
es impar, entonces : es impar.
Demostracin. Son demostraciones bastante fciles de realizar, y todas sur-
gen de manera directa, excepto las dos ltimas, que surgen ms fcilmente por
Reduccin al absurdo.
1. Sabemos que a = 2/ y que / = 2,, para algn entero ,, y para algn
entero /.
Entonces a + / = 2, + 2/ = 2(, + /), que es lo que se quera probar.
2. Tenemos que a/ = (2,)(2/) = 2(,(2/)), que es lo que se quera probar.
3. Tenemos que c = 2/ 1 para algn / entero, y d = 2, 1 para algn
entero ,.
Entonces c +d = 2, +2/ 2 = 2(, +/ 1), que es un nmero par, como
se quera probar.
4. Vemos que cd = (2/1)(2, 1) = 4,/2/2, +1 = 2(2,//,) +1 =
2(2,/ / , + 2) 1, que es lo que se quera probar.
5. Podemos ver que a + c = (2/ 1) + 2, = 2/ + 2, 1 = 2(/ + ,) 1.
6. Observamos que ac = 2/(2, 1) = 2(/(2, 1)), que es lo que se quera
probar.
7. Supongamos que :
2
es par, y que : es impar. Entonces por la parte 4. del
teorema, :
2
sera impar, cosa que no puede ser.
8. Anlogamente a la parte 7. del teorema, si :
2
fuera impar y : par, entonces
por la parte 2 del teorema :
2
sera par, cosa imposible.
66 NMEROS
Corolario 2.4.1 Si un nmero cuadrado es par, entonces tambin es un mlti-
plo de 4.
Demostracin. Sabemos que para un nmero cuadrado :
2
, si :
2
es par, en-
tonces : es par. Eso signica que : = 2/ para algn / entero. Por lo anterior,
:
2
= 4/
2
, por ende :
2
es par.
2.5. NMEROS PRIMOS Y COMPUESTOS 67
2.5. Nmeros primos y compuestos
Se considera que un nmero entero es primo si solo es divisible por s mismo
y por 1 (Cuando el entero no es 1). Un nmero es compuesto si es mltiplo
de algn otro entero (Y por ende posee factores). No se profundizar mucho
este tema, se mencionar porque el tema que sigue, congruencias, tiene algunos
resultados basados en esto.
Teorema 2.5.1 Todo entero mayor que 2 tiene un factor primo.
Demostracin. Sea : = 2. Pero 2 es divisible por s mismo.
Ahora, supongamos que para : _ / todo nmero entero tiene un factor
primo. Entonces, para /+1, si es primo, es factor de s mismo. Y si es compuesto,
tiene algn factor menor que /+1, que por hiptesis de induccin posee factores
primos, y por transitividad de la divisibilidad entonces / + 1 tambin poseer
ese factor primo.
Teorema 2.5.2 Hay innitos nmeros primos.
Demostracin. La demostracin es bastante antigua, y fue realizada por Euclides.
Se supone que es una demostracin por reduccin al absurdo, pero no es nece-
saria. Tenemos nuestro primer primo, el 2, y tambin est el 3. Ahora suong-
amos que hay cierta secuencia de todos los nmeros primos hasta el /simo,
j
1
, j
2
, j
3
, j
4
, ..., j
k
. Entonces j
1
j
2
j
3
j
4
...j
k
+1 = a. Pero a posee un factor primo,
que tendra que ser alguno de los primos hasta j
k
. Sin embargo j
1
j
2
j
3
j
4
...j
k
+1
no es divisible por ninguno de esos primos, por ende a es primo, que es lo que
se quera probar.
68 NMEROS
2.6. Congruencia mdulo n
Entre las relaciones de equivalencia, en particular hay una bastante usada,
llamada congruencia numrica, o congruencia mdulo : (Donde : es un entero
positivo). Se considera que para dos enteros a y /, que a es congruente con /
mdulo : si : [ a /. Esto se denota a = /(mod:) a / = /: para algn
entero /.
Teorema 2.6.1 Sean a, / y c nmeros enteros. Entonces la relacin de con-
gruencia mdulo : es una relacin de equivalencia.
Tenemos que probar que la relacin es simtrica, reexiva y transitiva, es
decir que:
1. Para todo a entero, a = a(mod:).
2. a = /(mod:) / = a(mod:).
3. (a = /(mod:) . / = c(mod:)) (a = c(mod:)).
Demostracin. La demostracin es bastante simple. Se realizar de manera
directa.
1. a a = 0 = 0(:), por ende a = a(mod:).
2. Supongamos que a / = /:. Entonces a + / = (/): = / a.
3. Ahora supongamos que a / = /: y que / c = ,:. Entonces:
a / + / c = ,: + /:. Pero esto es a c = (, + /):, que es lo que se
quera probar.
Apndice:
Ac se tratarn algunos temas ligeramente, un repaso a la "Induccin Matemtica
2
otros modos de aplicarla, y algo sobre lmites y derivadas, visto muy por encima.
.1. Apndice I: Induccin Matemtica en los En-
teros.
La induccin matemtica puede aplicarse en un conjunto contable, es decir,
un conjunto tal que se puede establecer una funcin biyectiva entre los naturales
y ste, es decir, que a cada natural se le tiene que asignar un elemento del
conjunto dado, ni ms, ni menos. Los enteros son uno de ellos.
Teorema .1.1 Sea la funcin ) : N Z denida como
)(:) =
_
n+1
2
si : es impar.
n
2
si : es par.
_
Entonces )(:) es biyectiva.
De cualquier modo, si tenemos una cierta proposicin denida en los en-
teros, y queremos probar que se cumple para todos, entonces podemos aplicar
el principio de induccin matemtica, probando que se cumple para 0 y que si
se cumple para algn / entero entonces tambin se cumple para / + 1, y luego
probando que si se cumple para algn , entero, tambin se cumple para , 1.
Dado esto, podemos probar que se cumple para todos los enteros.
Para aplicarla a otros conjuntos, por el estilo de los Racionales, ms com-
plicado no podra ser, debido a que no podemos encontrar fcilmente cul es el
siguiente elemento (En este caso no basta con decir / + 1, porque hay innitos
elementos entre / y / + 1), teniendo un / =
a
b
.
69
70 APNDICE:
Afterword
The back matter often includes one or more of an index, an afterword, ac-
knowledgements, a bibliography, a colophon, or any other similar item. In the
back matter, chapters do not produce a chapter number, but they are entered
in the table of contents. If you are not using anything in the back matter, you
can delete the back matter TeX eld and everything that follows it.
71

Documento Discreto Sobre Teoría de Números

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Documento Discreto Sobre Teoría de Números

Hochgeladen von

Copyright:

Verfügbare Formate

Curiosidades sobre los nmeros, y algo ms

David Camilo Molano Valbuena

1.7. INDUCCIN MATEMTICA 23

Sabemos que por principio el conjunto 1

Como normalmente sabemos que:

Entonces sabemos que:

1.7. INDUCCIN MATEMTICA 25

Que es lo que se quera probar.

Das könnte Ihnen auch gefallen