l

INTRODUCCIN.- aproximadamente hacia el ao 4000 a.c. en los inicios de la

historia escrita, las personas comenzaron a pensar en los nmeros como conceptos
abstractos. Esto es se percataron de que dos frutas y dos piedras tenan algo en
comn, una cantidad llamada dos, la cual era independiente de los objetos. La
percepcin de esta cantidad estaba probablemente auxiliada por el proceso de
contar; un ejemplo del concepto matemtico de la correspondencia uno a uno.
Con la finalidad de definir una correspondencia uno a uno entre conjuntos de
objetos, el hombre prehistrico seal con una marca cada objeto o evento
registrado.
En distintas culturas se han ideado diferentes mtodos de conteo, as por ejemplo
los incas hacan nudos en una cinta o cuerda para levantar el censo; los chinos
usaban guijarros o varitas en sus clculos y los ingleses utilizaban pequeos palos
con marcas como comprobantes de los impuestos recibidos.
Como resultado del esfuerzo humano de mantener un registro de las cantidades se
inventaron los primeros numerales que reflejaban el proceso de conteo.
Los babilonios y egipcios conciben, alrededor del ao 2000 a.c. una aritmtica en
la que ya utilizan fracciones. Con Pitgoras en el ao 525 a.c. los griegos descubren
la necesidad de adoptar nmeros irracionales como 2. En el ao 375 a.c. Eudoxio
presenta la teora de los inconmensurables para representar irracionales como
lmite de magnitudes racionales.
Los nmeros negativos, que aparecen en la solucin de diversos problemas se
consideran como absurdos, y solo se manejan libremente a partir del siglo XVII. No
es sino hasta la segunda mitad del siglo XIX que Cantor, Dedekind y Weistrass
desarrollan teoras rigurosas del nmero real, incluyendo racionales e irracionales.
DESCRIPCIN DE LOS DIVERSOS CONJUNTOS DE NMEROS.- Los Hindes fueron los
inventores de los smbolos que hoy los conocemos como nmeros; los cuales
colocados de la siguiente forma:
1, 2, 3, 4, 5, 6, 7, se lo conoce como la sucesin de nmeros naturales; donde los
puntos suspensivos sealan que la sucesin se prolonga en forma indefinida hacia
la derecha.
Si dicha sucesin la colocamos entre llaves: { 1, 2, 3, 4, 5, 6, 7, . . . } obtenemos el
conjunto de los nmeros naturales, el cual fue el primer conjunto de nmeros
conocido por el hombre. Y se lo nombra as:
N = { 1,2,3,4,5,...}
Este conjunto descrito de esta manera posee las siguientes caractersticas:
1. La sucesin no termina ni se ramifica, es decir el conjunto N es infinito.
2. Comienza con un elemento que es conocido como uno, Elemento neutro
multiplicativo.
3. No se cierra la sucesin sobre si misma; como ocurre con los nmeros de la
esfera de un reloj.
4. En la sucesin de nmeros naturales no existe elemento que siga
inmediatamente a dos distintos.

5. No existen nmeros naturales intercalados entre los de la sucesin, peor an

excluidos de ella; es decir que partiendo de 1 y pasando en forma reiterada al
elemento siguiente se obtienen todos los nmeros naturales.
Ahora si tomamos de la sucesin dos nmeros cualesquiera como: a N y b N,
donde a=2 y b=5 y realizamos las operaciones bsicas, se tiene que:
Adicin

Multiplicacin

Sustraccin

Divisin

2+5=7N

2 . 5 = 10 N

2 5 = -3 N

2:5N

Se observa que en la adicin y multiplicacin los resultados son nmeros que

pertenecen a la sucesin, es decir son tambin nmeros naturales. Mientras que en
la sustraccin o diferencia si el minuendo es menor que el sustraendo el resultado
no pertenece a los nmeros naturales. El caso, que pertenezca a los nmeros
naturales ocurre nicamente cuando el minuendo es mayor que el sustraendo, as
por ejemplo: 8 - 3 = 5 N.

Entonces se puede generalizar, diciendo; que no siempre la diferencia ocurre en los

nmeros naturales.
De modo similar se presenta en la divisin. nicamente cuando el numerador es
10
mltiplo del denominador el resultado ser un nmero natural, como = 2 N y en
5

caso contrario no ser nmero natural. Luego como ocurre en la diferencia,

tambin no siempre es posible la divisin en los nmeros naturales.
Regresando a la adicin y multiplicacin; se tiene que estas operaciones siempre
sern posibles en el conjunto N, ya que en sus resultados se obtienen tambin
nmeros naturales. Cuando esto ocurre, a dichas operaciones se las conoce como
operaciones binarias.
En el caso del conjunto N sern operaciones binarias la adicin y multiplicacin;
mientras que la diferencia y la divisin no lo sern.
Entonces, en general, cuando se tiene una operacin binaria se puede representar
por:
a * b se lee: a operacin binaria b.
donde a y b son nmeros.
Definicin de Operacin Binaria.- Para un conjunto cualquiera S={ a, b, a . . . } la
operacin " * " es una operacin binaria en S , si y solamente si a cada par
ordenado ( a, b ), donde a y b S le corresponde un solo elemento que es a * b
" a operacin binaria b " que pertenece tambin a S.
Es decir: ( a, b ) a * b

Donde a y b S y a * b S.

Caractersticas de la Operacin Binaria.1. El orden de a y b es muy importante, porque ( a, b ) es un par ordenado distinto
de ( b, a ) y ocurre entonces que: a * b b * a
2. La operacin binaria tiene que estar definida para todos los pares ordenados
( a, b ); donde a y b S.
3. El elemento resultante a* b debe pertenecer a S.
Propiedades de las Operaciones Binarias:
1. Propiedad Conmutativa: Para todo par ordenado de elementos ( a, b ) S, se
tiene :
a. Adicin.a+b=b+a
3+5=5+3
8=8

Si a= 3 y b= 5

b. Multiplicacin.a.b=b.a
3.5=5.3
15=15

Luego: La operacin binaria es conmutativa en el conjunto S si y solo si para cada

par ordenado de elementos ( a, b ) se cumple que: a * b = b * a
2. Propiedad Asociativa: Para toda terna ordenada de elementos ( a, b, c) S,
entonces:
a. Adicin
b. Multiplicacin
a+(b+c)=(a+b)+c
a.(b.c)=(a.b).c
Si a = 3 , b = 5 y c = 4
3+(5+4) = (3+5)+4
3.(5.4) = (3.5).4
3+9 = 8+4
3 . 20 = 15 . 4
12 = 12
60 = 60
Luego: La operacin binaria es asociativa en el conjunto S si y solo si para cada
terna de elementos ( a, b, c ) se cumple q u e : a * ( b * c ) = ( a * b ) * c
3. Propiedad Conmutativa General:
a. a * (b * c) = (a * b) * c
= c * (a * b)
= (c * a ) * b tambin
b. a * (b * c) = (a * b) * c
= (b * c)* a
= b * (c * a)
Entonces: La operacin binaria en el conjunto S posee la propiedad conmutativa
general si y solo si todas las expresiones siguientes existen, estn definidas y son
iguales:
a*b*c
a*c*b
b*q*c
b*c*a
c*a*b
c*b*a

Conclusin General: Si * es una operacin binaria del conjunto S y posee la

propiedad conmutativa, la propiedad asociativa, entonces posee tambin la
propiedad conmutativa general.
Propiedades de los Nmeros Naturales.P1: La suma y la multiplicacin son operaciones binarias en el conjunto de los
nmeros naturales: es decir que la suma y la multiplicacin son operaciones
cerradas dentro del conjunto de los nmeros naturales.
P2: La suma y la multiplicacin son operaciones binarias conmutativas.
P3: La suma y la multiplicacin son operaciones binarias asociativas.
P4: Para todo nmero n N, existe y es nico un nmero llamado el uno ( 1 N ) que
cumple con la siguiente condicin: De que n . 1 = 1 . n = n ; propiedad que es
conocida como: Propiedad de idntico multiplicativo.
P5: Propiedad distributiva ( de la multiplicacin con respecto a la suma ).- Para toda
terna de elementos ( a, b, c ) donde , a N , b N y c N se cumple que
a.(b+c)=a.b+a.c
As, s i : a = 3 , b = 2 y c = 5 se tiene: 3 . ( 2 + 5 ) = 3 . 2 + 3 . 5
3.7 = 6 + 15
21 = 21
La operacin de distribucin de la suma con respecto al producto, no se cumple. Es
decir: a + (b . c) (a + b) . (a + c)
As, s i : a = 3 , b = 2 y c = 5 se tiene :

3 + (2 . 5) (3 + 2) . (3 + 5)
3+10 5 . 8
13 40

P 6 : Propiedad de cerradura de la suma.- Si se suman dos nmeros naturales, se

obtiene como resultado otro nmero natural. Es decir el conjunto de los nmeros
naturales, es un conjunto cerrado ante la suma.
P 7 : Propiedad de cerradura de la multiplicacin.- Si se multiplican dos nmeros
naturales, se obtiene como resultado otro nmero natural. Es decir el conjunto de
los nmeros naturales, es un conjunto cerrado ante la operacin multiplicacin.
Representacin geomtrica.- Para representar un nmero natural en la escala
numrica o en el eje llamado de abscisas, se sigue el siguiente proceso:
1. Se coloca horizontal un eje o escala numrica, llamado de abscisas.
.
2. Se toma como referencia o como segmento unidad el segmento AB

3. Se escoge un punto sobre la escala, que ser el punto designado como 0

cero; que ser el origen, desde donde comenzarn a aparecer en la escala
los nmeros naturales.
4. Se une A con cero , y luego por B trazamos una paralela al segmento
A0 , y
el punto donde que corte dicha paralela al eje de abscisas, representara a
nmero uno 1 que ser el primer natural en la recta numrica.

5. Luego, unimos A con 1, y trazamos una paralela por el punto B del segmento
unidad al segmento
A1 , y el punto donde corte esta paralela al eje de
abscisas, representar al nmero dos 2 . Y as iremos colocando, todos los
nmeros naturales hacia la derecha en la recta numrica.

B
AB = 01 = 12 = 23

Eje de las abscisas (x)

Recta numrica

3
a Cuntos naturales hay b

Para un par de nmeros naturales ( a, b ) se verifica necesariamente:

a<b, a=b a>b
Lo cual se interpreta en la recta numrica como:
1. Si a < b, entonces el punto que corresponde a a est a la izquierda del punto
que corresponde a b. Es decir que b a es un nmero natural (positivo).
2. Si a = b , entonces los puntos que corresponden a a y a b coinciden.
3. Si a > b , entonces el punto que corresponde a a est a la derecha del punto
que corresponde a b. Es decir que a b es un nmero natural (positivo).
Obsrvese que la relacin es menor o igual que definida en el conjunto N, es una
relacin de orden. Se dice entonces que el conjunto N est totalmente
ordenado por la relacin .
Cuntos nmeros naturales hay entre dos de ellos: Se consideran los siguientes
casos:
1. Si a N est a la izquierda de b N, ( a < b )y adems son consecutivos:
Entonces no hay nmeros naturales entre ellos. O sea n(N) = 0
2. Si a N est a la izquierda de b N, ( a < b )y adems no son consecutivos:
Entonces el nmero de nmeros naturales, se calcula con la siguiente
relacin: n(N) = b a 1
Ejemplos:
1. Si a = 1 y b = 7 ; entre a y b existen 5 nmeros naturales; que lo confirmamos
con la relacin obtenida antes, es decir: n(N) = 7 1 1 = 5.
2. Si a = 125 y b = 13537 , entonces, el nmero de naturales entre estos dos
nmeros ser:
n(N) = 13537 125 1 = 13411 nmeros naturales, que hay entre los dos dados
como datos.
Conclusin: Siempre entre dos nmeros naturales existe un nmero definido de
naturales, es decir hay un nmero finito de nmeros naturales; por esta razn se
dice que el conjunto de los nmeros naturales es un conjunto DISCRETO.

7
Principio de Divisibilidad.- Un nmero a N es divisible para b N , tambin se
dice, a N es mltiplo de b N , que se representa as ( a = b * ) ; si y solo si existe
otro x N tal que a = b . x . El principio de divisibilidad se representa de la siguiente
forma:
a = b* x N/ a = b . x

Ejemplo: 1. 36 es divisible para 4 porque existe un x = 9 tal que 36 = 4 . 9

2. 36 no es divisible por 5 porque: x N , 36 5 . x

Nmeros Primos.- Un nmero x N es primo si y solo si es divisible para si mismo y

para la unidad, excepto x = 1; as entonces el conjunto de los nmeros primos que
representamos por Np estar formado por:
Np ={2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, ... }
Caractersticas de los nmeros primos:
1. Es un conjunto infinito.
2. El nico nmero primo par es el 2.
Nmeros Compuestos.- Son aquellos que adems de ser divisibles para si mismos y
para la unidad, son divisibles para otros nmeros naturales; y se los representa por
N c , donde:
N c = { 4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20, 21, 22, 24, 25, 26, 27, 28, 30, ... }
Caractersticas de los nmeros compuestos:
1. Es un conjunto infinito.
2. Est formado por nmeros pares e impares.
Conclusiones:
1. Los conjuntos de nmeros primos y compuestos son mutuamente disjuntos, por
lo que: N p N c =

2. Si se unen los siguientes conjuntos Np , Nc y {1} se obtiene en conjunto de los

nmeros naturales N. Luego:
Np Nc {1} = N

Descomposicin de un nmero natural en factores primos.- Un nmero natural

distinto de 1 se puede descomponer en factores primos, los cuales pueden variar o
diferenciarse nicamente en el orden. Ejemplo: Descomponer en factores primos el
nmero 15120
15120 2 Luego: 15120 = 24. 33. 5. 7= 33. 24. 5. 7= 24. 5. 7. 33
7560 2
3780 2
1890 2
945 3
315 3
105 3
35 5
7 7
1

Continuando con la descripcin de los conjuntos numricos; ya se ha indicado que

la adicin y multiplicacin se pueden realizar siempre dentro del conjunto de los
nmeros naturales, no as la diferencia que no siempre se puede realizar en el
conjunto N de los nmeros naturales. Pero nuestro objetivo es determinar conjuntos
ms amplios, donde se pueda efectuar siempre en este caso la operacin
diferencia.
Entonces para que sea siempre posible la operacin diferencia, se crea o se idea
otro conjunto que se llama el conjunto de los nmeros Enteros I. Para tal efecto
debemos partir de lo que ya conocemos previamente, as:
Para cada uno de los n N , existe y es nico, un elemento que es n que se
llama el opuesto de n ; que cumple con la propiedad de que:
n + (- n ) = (- n ) + n = 0
Donde al elemento 0 se le conoce como el elemento cero, que es el que
aparece en este momento y adems se llama idntico aditivo o neutro para la
suma. Que lo colocaremos dentro de llaves y lo llamaremos el conjunto M; luego
M = { 0 } . Donde este elemento a su vez debe cumplir con la propiedad de que:
n + 0 = 0+ n = n que se llama Propiedad de neutro
aditivo de idntico aditivo.
El siguiente cuadro, muestra los opuestos para cada nmero natural.
nN
1
2
3
4
5
.
.
.
.

Opuesto de n (- n )
1
2
3
4
5
.
.
.
.

Si colocamos estos nuevos nmeros de la siguiente forma:

. . . -4, -3, -2, -1 se obtiene lo que se conoce como la sucesin de nmeros enteros
negativos. Y si los colocamos dentro de llaves, se obtiene el conjunto de los
nmeros enteros negativos, y que se los representa por I.
As: I = {... 4, 3, 2, 1 }

Entonces se ha creado el conjunto de los nmeros

enteros negativos.

Este conjunto, si lo unimos al conjunto de los naturales o enteros positivos y al

conjunto formado por el elemento cero, es decir el conjunto M, se obtiene el
conjunto llamado el de los enteros I, que es:
I = I M N = {... 4, 3, 2, 1, 0, 1, 2, 3, 4, . . .} , donde en este nuevo conjunto, ya
se puede realizar siempre la operacin diferencia; y adems las operaciones que
son binarias en el conjunto de los nmeros naturales.
As, si se toma el par (a, b) de este conjunto, donde por ejemplo: a= - 3 I, b = 7 I,
y si realizamos las operaciones de suma, multiplicacin y diferencia, tendremos:
Suma
Multiplicacin
Diferencia
a + b = -3 + 7 = 4 I
a . b =( - 3 ). 7 = - 21 I
a - b = (- 3 )( 7 )=-10 I

Donde se pueden observar, que tambin los nuevos nmeros obtenidos, son
nmeros enteros, es decir estn como elementos, dentro del conjunto I.
Consecuentemente la diferencia, se puede efectuar siempre en este conjunto
numrico; y las operaciones de suma, multiplicacin y diferencia ahora son
operaciones Binarias. Es decir que estas tres operaciones son conocidas como
operaciones enteras.
Definicin de Diferencia.- Con lo explicado antes, ya podemos definir la operacin
diferencia.
La diferencia entre dos elementos a I, y b I, que se representa por a b es la
suma del entero a ms el opuesto del entero b.
O sea: a b = a + (- b )
Caractersticas del conjunto de los nmeros enteros.1. El conjunto I es infinito.
2. La diferencia es operacin binaria en el conjunto I.
3. El conjunto de los nmeros naturales N es subconjunto de los enteros I; luego las
operaciones que se presentan en los naturales, tambin sern operaciones de
los enteros; es decir las operaciones de suma y multiplicacin.
Propiedades de los nmeros enteros.- Como el conjunto de los nmeros naturales N
es subconjunto de los I, entonces las 7 propiedades de los naturales, tambin sern
vlidas en el conjunto de los nmeros enteros, es decir que las 7 propiedades en
mencin, sern propiedades de los nmeros enteros.
Adems, se considerarn en este conjunto las siguientes:
P8: Propiedad de Idntico Aditivo.- Existe y es nico el elemento 0 cero, que es
llamado como elemento idntico aditivo o neutro aditivo; que cumple con la
propiedad de que: n + 0 = 0 + n = n
P9: Propiedad de Opuesto.- Para todo n I, existe y es nico otro nmero que
tambin es entero (-n ) I, llamado el opuesto de n, que cumple con la
propiedad, de que: n + (-n) = (-n)+n = 0
P10: Lev de Tricotoma.- Para todo entero n I, se debe cumplir una y solo una de las
siguientes proposiciones:
a.- n es positivo: es decir n > 0,
b.- -n es positivo; es decir n < 0,
c.- n = 0
As, entonces los enteros tendrn tres conjuntos disjuntos, que sern: I , I +, y el
conjunto M formado por el elemento cero.
Luego; I I + M = ; y si realizamos la unin entre ellos se tendr el conjunto de
todos los enteros I.
I = I I+ M
Representacin geomtrica de los nmeros enteros.- La representacin
geomtrica, se lo realiza igual a la de los nmeros naturales indicada
anteriormente, sino que siguiendo el mismo procedimiento, tambin se deben

10

representar en la recta numrica, a la izquierda del cero y as se completan todos

los enteros.
Para un par de nmeros enteros ( a, b ) se verifica necesariamente:
a<b , a = b a>b
Lo cual se interpreta en la recta numrica como:
1. Si a < b, entonces el punto que corresponde a a est a la izquierda del punto
que corresponde a b. Es decir que b a es un nmero entero positivo. O
tambin que b est a la derecha de a, es decir b > a .
2. Si a = b , entonces los puntos que corresponden a a y a b coinciden.
3. Si a > b , entonces el punto que corresponde a a est a la derecha del punto
que corresponde a b. Es decir que a b es un nmero entero positivo. O
tambin b est a la izquierda de a, es decir b < a .
Obsrvese que la relacin es menor o igual que, definida en el conjunto I es una
relacin de orden. Se dice entonces que el conjunto I est totalmente ordenado
por la relacin .
Cuntos nmeros enteros hay entre dos de ellos: Se consideran los siguientes casos:
1. Si a I est a la izquierda de b I, (a<b) y adems son consecutivos: entonces
no hay nmeros enteros entre ellos. O sea n( I ) = 0
2. Si a I est a la izquierda de b I, (a<b) y adems no son consecutivos:
Entonces el nmero de nmeros enteros, se calcula con la siguiente relacin:
n(I) = b a 1
Ejemplos:
1. Si a = - 3 y b = 7 ; entre a y b existen 9 nmeros enteros; que lo confirmamos
con la relacin obtenida antes, es decir. n(I)= 7 ( -3) 1 = 9.
2. Si a = -251 y b = 15337 , entonces, el nmero de enteros entre estos dos
nmeros ser:
n(I) = 15337 (-251) 1 = 15587 nmeros enteros, que hay entre los dos dados
como datos.
Conclusin: Siempre entre dos nmeros enteros existe un nmero definido de
enteros, es decir hay un nmero finito de nmeros enteros; por este motivo se dice
que el conjunto de los nmeros enteros es un conjunto DISCRETO.
Teorema en los enteros: Para cada par de nmeros enteros ( a, b ), existe y es nico
otro nmero entero x tal que a + x = b ; es decir:
Si a I, b I, (a,b) ; x I / a + x = b

Demostracin: La demostracin de este teorema, tiene dos partes que son: 1. La

existencia del elemento entero x y 2. Que este elemento entero es nico, es decir
debe cumplir el Principio de Unicidad.
1. Existe un x: Partimos de la relacin a + x = b; luego:
Demostracin
Justificacin
Dato
a+x =b
suma del opuesto de a
a + x + (- a) = b + (- a)
propiedad conmutativa y asociativa
[a+ (-a)]+x = b + (- a)
propiedad de opuesto
0 + x = b + (- a)
definicin de diferencia
0+x =ba
propiedad de idntico aditivo
x =ba

11
Luego si existe un x que es igual a b a y adems es entero.
2. Principio de unicidad.- x es nico: Suponemos que existen dos x ; un x1 y un x2 , y
debemos probar que estos x son los mismos, y as se dir que es nico.
Luego; si en la relacin a + x = b reemplazamos los x1 y x2 entonces se tiene:
Demostracin
a + x1 =b y a+x2=b
a+x1 = a + x2
a + (-a) + x1 = a + (- a) + x2
[a + (-a)] + x1 = [a + (- a )] + x2
0 + x1 = 0 + x2
x1 = x2

Justificacin
Sustitucin
Igualdad
suma del opuesto de a y p. conmutativa
propiedad asociativa
propiedad de opuesto
propiedad de idntico aditivo

Luego: x1 = x2 = x , que es nico.

Los enteros poseen otro principio que es de mucha importancia, especialmente
para realizar ciertas demostraciones de frmulas que se cumplen solamente dentro
del conjunto de los nmeros enteros, y es:
Principio de Induccin Matemtica: Que consiste en: Dado un conjunto de enteros
A = { n / n a } y una frmula de la forma: Para todo n de A , P(n). Podemos
demostrar la verdad de esta frmula estableciendo los siguientes pasos:
1. P(a) es verdadera. ( Empleamos el smbolo P(a) para denotar la proposicin
que se obtiene cuando se sustituye n por a)
2.
Para todo k de A, Si P(k) es verdadera, implica que P(k + 1) tambin sea
verdadera.
Entonces, si se cumple estos dos pasos, se dice que la frmula o proposicin dada
es correcta, y as se ha demostrado sta aplicando el principio o mtodo de
demostracin de Induccin Matemtica dentro del conjunto de los enteros.
A continuacin, se ilustra el proceso, mediante algunos ejemplos.
Ejemplos:
1. Demostrar que: Para todo entero n 1 se cumple que:
P(n): 1+2+3+4+5+6+7+.....+n =

n(n+1)
2

Demostracin:
Pasos:
1.

Si a = 1 entonces P(I) : 1=

1(1+1)

Si a = 2 entonces P(2): 1+2 =

=1

2(2+1)
2

Si a = 5 entonces P(5): 1+2+3+4+5=

=3
5(5+1)
2

En consecuencia, el primer paso si se cumple.

= 15

12

2.

Si P(k): 1+2+3+4+5+6+7+....+ k=

k(k+1)

P(k+1): 1+2+3+4+5+6+7+....+ k+1 =

es verdadera, entonces

(k+1)(n+2)
2

tambin debe ser Verdadera.

Entonces, para demostrar lo anotado, se debe partir de P(k) y llegar a P(k+1).

As:
A P(k) sumamos k+1 en los dos miembros, luego se tiene
1+2+3+4+5+6+7+....+ k + k+1 =

k(k+1)
2

+ k+1

k(k+1)+2(k+1)

k2 +k+2k+2

k2 +3k+2

(k+1)(k+2)
2

que es el segundo miembro

de P(k+1); luego P(k+1)es tambin verdadera.

Consecuentemente la frmula dada se ha demostrado que es verdadera. Si por

ejemplo n = 3543, entonces la suma de los 3543 trminos ser igual a:
1+2+3+4+5+6+7+8+............ +3543 =

3543 (3543+1)
2

=6278196

2. Demostrar que: Para todo entero n 1, se cumple:

P(n): 1+4+7+10+13+....+(3n - 2) =
Demostracin:

n(3n1)
2

Pasos:
1. a= 1

P(1): 1 =

1(31)
2

=1

3(3 . 31)

a=3

P(3): 1+4+7 =

a=4

P(4): 1+4+7+10 =

El primer paso, si se cumple.

= 12

4(3 . 41)
2

= 22

2. S i P (k): 1+4+7+10+13+....+(3k 2) =
P(k+1):

k(3k1)
2

1+4+7+10+13+....+(3k-2)+(3k+1)

verdadera.

es verdadera,

(k+1)(3k+2)
2

debe

ser

tambin

Luego, demostramos: A P(k) sumamos 3k+1 a los dos miembros, entonces se tiene:

13

1+4+7+10+13+.+(3k 2)+(3k+1)

k(3k1)

k(3k1)+2(3k+1)

(3k2 k+6k+2)

(3k)2 +5(3k)+6

(3k+3)(3k+2)

(k+1)(3k+2)

+ 3k+1

2. 3

2. 3
2

Lo cual prueba que P(k+1) es verdadera, y as queda demostrada que la frmula

dada es correcta.
3. Demostrar que: Para todo entero n 1 ; se cumple que:
P(n): 32n 1 es divisible para 8.
Demostracin:
Pasos:
1. a = 1 P(1 ): 32 1 = 8 que es divisible para 8.
a = 3 P(3): 3 6 1 = 728 que es divisible para 8.
a = 5 P(5): 310 1 = 59048 que es divisible para 8.
El primer paso, se cumple.
2. Para todo entero k1, Si P(k): 32k -1 es divisible para 8,
entonces P(k+1): 32(k+1) 1 es divisible para 8.
Partimos de P(k) para llegar a probar P(k+1); as:
P(k) ser divisible para 8 si 32k 1 = 8x , donde x es cualquier entero, operamos, y
32k = 8x + 1 , ahora para tener el primer miembro de P(k+1), multiplicamos la
expresin anterior por 32 ambos miembros, entonces:
32. 32k = 32.(8x + 1)
32k+2 = 9 . 8x + 9 = 9 . 8x + 8 + 1
pasamos el 1 al miembro de la izquierda, y as tendremos P(k+1) que tambin debe
ser divisible para 8.
32k+2 -1 =9. 8x + 8 = 8(9x+l)
32k+2 -1 = 8y ; donde y = 9x + 1 y adems y es entero,
ya que x al ser entero, tambin lo ser 9x + 1. Luego concluimos que P(k+1)
tambin es divisible para 8.
Con lo cual se ha probado que la expresin, 32n - 1 es divisible para 8.

Entonces:

Continuando con la ampliacin de los conjuntos numricos, sintetizando podemos

manifestar que: La operacin divisin sigue siendo an imposible en el conjunto de

14

los enteros; solamente ocurrir esta operacin dentro del conjunto de los enteros, si
el numerador es mltiplo positivo o negativo del denominador.
Pero si en la divisin, el numerador y el denominador no cumplen con esta
caracterstica el resultado no es un nmero entero. Pero nuestro afn es el que
deseamos que la operacin divisin siempre sea posible efectuarla, razn por la
cual debemos crear o idear un nuevo conjunto numrico, que lo llamaremos como
el de los nmeros racionales.
Partiendo de lo que conocemos hasta el momento; es decir de los enteros, que lo
representamos generalizados como n I , obtenemos otros nmeros que se los
llama inversos de n, que se los representar como
n 1 =

. Estos nmeros deben cumplir con la siguiente propiedad:

n 1 . n =

. n = n . n 1 = 1

Donde el elemento 1 es conocido como idntico multiplicativo, el cual a su vez

cumple con la propiedad, de que: n . 1 = 1 . n = n
Entonces, partiendo de los n I conocidos, obtenemos los n 1 as:
nI
.
.
.
-5
-4
-3
-2
-1
0
1
2
3
4
.
.
.

n 1 (Inversos de n)
.
.
.
1

5
1

4
1

3
1

2
1
= 1
1
No hay como (ya que no hay el inverso
de cero; por definicin). Entonces como
consecuencia, no hay divisin para
cero.
1
=1
1
1
2
1
3
1
4
.
.
.

15

Y al colocarlos de la siguiente forma:

1

1 1 1 1

, , , , 1, 1, , , , ,
5

2 3 4 5

Se obtiene una sucesin de una parte de

este gran conjunto llamado de los racionales.

a

A partir de esta sucesin podemos encontrar todos los nmeros de la forma ,

b

donde tanto a como b son nmeros enteros.

a

Entonces al conjunto formado por todos los nmeros de la forma , se lo conoce

b

como El conjunto de los nmeros Racionales. Y se los representa con Q. El cul por
comprensin queda determinado como:

Q = {x/x = , a, b l, b0 }

Entonces, la operacin divisin siempre ser ahora posible dentro del conjunto de
los nmeros racionales, excepto divisin para cero.
Definicin de Divisin.- La divisin entre dos elementos a y b que pertenecen al
a
conjunto de los enteros, que se representa por es la multiplicacin de a por el
inverso de b , es decir:

=a.

Caractersticas de los racionales.1. El conjunto Q es infinito

2. El conjunto Q tiene cuatro operaciones binarias, a saber: adicin, diferencia,
multiplicacin y divisin, excepto divisin para cero. Consecuentemente se
dice que las cuatro operaciones son racionales.
Propiedades de los nmeros racionales.- Como los conjuntos de los nmeros
naturales y enteros son subconjuntos de los racionales, entonces las 10 propiedades
dadas para los enteros, se cumplirn automticamente en los racionales. Entonces
el conjunto de los nmeros racionales Q cumple con las 10 propiedades ya vistas, y
adems con la siguiente:
P11: Propiedad de inverso.- Para todo nmero racional n , existe y es nico otro
1
1
nmero tambin racional, que es n 1 = , tal que n . n 1 = n . = 1
CONCLUSIONES:

1. Cualquier conjunto que cumpla con las propiedades dadas, excepto las
propiedades P6, P7 y P10 , se llama un CAMPO o CUERPO.
2. Cualquier conjunto que cumpla con las 11 propiedades que se han indicado,
se llama CAMPO o CUERPO ORDENADO. Entonces el conjunto de los nmeros
racionales Q es un Campo o Cuerpo Ordenado.
Tipos de Racionales.1. Racionales que son enteros: Por ejemplo, todos los nmeros de la forma
a

q = , donde q sea un entero; as: si a = 1 5 y b = 5 , entonces

q=

15
5

= 3 que es un entero.

16
2. Racionales que son nmeros decimales finitos: Por ejemplo:

q1 = = 0.75

q2 = = 1.25

3. Racionales que son nmeros decimales infinitos y peridicos: As por ejemplo:

q3 =

= 3.3333333...,

3 despus del punto se repite en forma indefinida, es

decir el 3 es peridico.

q4 = = 0.16666666...
q5 =

, ya que el
que se puede representar tambin as q 3 = .

= .

= 0.9230769230769230... = .

Teoremas de los nmeros racionales.1. Para todo a y b I, existe y es nico un x Q , talque b x = a

a

2. Si y
b
a

3. Si y
b

d
c

son nmeros racionales, entonces + =

b

a c

son nmeros racionales, entonces . =

b d

ad+bc

ac

bd

bd

Representacin geomtrica de nmeros racionales.- Para representar nmeros

racionales, es imprescindible conocer previamente lo que son rectas concurrentes.
Rectas concurrentes.- Son aquellas rectas que tienen un mismo origen, es decir se
intersecan, formando entre ellas un ngulo entre cero y noventa grados.
Si a una recta horizontal, la llamamos A1 y a otra recta inclinada y concurrente con
la anterior la llamamos A 2 , entonces representamos un nmero racional
geomtricamente de la forma siguiente: Sealamos el numerador del nmero en el
eje o recta A1 y luego sealamos el denominador del nmero en el eje o recta A 2 ,
luego unimos con una recta los dos puntos sealados, a continuacin por el punto
que representa a la unidad en el eje A2 y empleando regla y escuadra y trazando
paralelas a la recta anterior, vamos representando los nmeros racionales que se
deseen.
Nmero de racionales entre dos de ellos.- Si m y n Q y adems m<n y si
suponemos que un q1 est en la mitad entre m y n entonces se tiene que
m+n
q 1 m = n q1 donde q1=
tambin es otro nmero racional.
2

Si seguimos as, en adelante suponiendo que un q2 est entre q 1 y n , un q3 entre q2

y n y as sucesivamente se tendra en cada caso:
q2=

q3=

hasta llegar a qn=

donde todos ellos son tambin nmeros

racionales. De modo similar, se iran obteniendo muchos racionales en el resto de

intervalos entre m y n .
Luego, como consecuencia se llega a establecer la siguiente conclusin: Que
entre dos nmeros racionales cualesquiera existe un nmero indefinido o infinito de

17

nmeros racionales, motivo por el cual el conjunto de los nmeros racionales es un

conjunto DENSO.
Siguiendo con la ampliacin de los conjuntos numricos, tenemos ahora lo
siguiente: Si queremos resolver la ecuacin por ejemplo: x2 - 2 = 0 dentro del
conjunto de los nmeros racionales, se observa que dicha ecuacin no tiene
solucin en el conjunto numrico indicado.
Para probar esto, suponemos que la ecuacin x2 - 2 = 0 si tiene solucin en el
conjunto de los nmeros racionales, es decir que:
2

2 2 = = 2 2 = 2 2 2 es un numero par y a=2p1 ( el cuadrado de

los nmeros enteros pares es par) a2 = (2p1)2 = 4p12 4p12=2b2 ( 2p12= b2 b

es un nmero entero par) entonces a y b son nmeros primos entre s, lo cual
contradice la hiptesis, por tanto 2 Q.

Los nmeros como 2, que no se pueden escribir como el cociente de dos nmeros
enteros, se llaman Nmeros Irracionales.
El conjunto de los nmeros irracionales se representa as: Q', por tanto:

Q' = { x / x , a, b I }

x pertenece al conjunto de los nmeros irracionales, si y slo si para todo nmero a

y todo nmero b, elementos del conjunto de los enteros, tales que b es diferente de
cero, se cumple que x no se puede expresar como cociente de enteros.
Segn se enunci anteriormente los nmeros racionales se caracterizan porque su
escritura posicional termina, o si no termina, es peridica. Los nmeros irracionales
se caracterizan porque su escritura posicional no termina y no es peridica.
3

Los nmeros y son nmeros racionales; la escritura posicional de que es 0.75

4

termina; la escritura posicional de

peridica.

1
3

que es 0.3333. . . . no termina, pero es

2 = 1.41421356 . . . ..

= 3.14159265358979323846. . ..

Los nmeros 2 y son nmeros irracionales y su escritura posicional es indefinida y

no peridica,
La proposicin = 3.14159 es falsa, porque es un nmero irracional y 3.14159 es
un nmero racional cuya escritura posicional termina. Se dice entonces que
3.14159 es una aproximacin racional del nmero hasta los cienmilsimos.
Los nmeros irracionales no se pueden escribir en forma posicional; cualquier
escritura posicional de un nmero irracional es una mera aproximacin racional.

18

Representacin geomtrica de los nmeros irracionales.- La representacin de los

nmeros irracionales sobre una recta se puede obtener por medio de
construcciones geomtricas de tringulos rectngulos y trasportando sobre la lnea
recta la medida de la hipotenusa de cada tringulo que se construya; as por
ejemplo, si el primer tringulo que se construye tiene como medida de sus catetos 1
y 1 , el valor de la medida de la hipotenusa es ; si para otro tringulo sus catetos
son y 1 , entonces la medida de su hipotenusa es , que tambin es un nmero
irracional.

El conjunto de los nmeros racionales Q y el conjunto de los nmeros irracionales Q'

son conjuntos disjuntos, por lo que Q Q' = . Pero la unin del conjunto de los
nmeros racionales Q , con el conjunto de los nmeros irracionales Q' se llama El
Conjunto de los Nmeros Reales y se denota por la letra mayscula R. Por
consiguiente: R = Q Q'
Definicin de Nmeros Reales.- Son todos los nmeros, que son decimales finitos o
infinitos, positivos, negativos o el nmero cero.
Caractersticas del conjunto de los nmeros reales.1. El conjunto de los nmeros reales R , es un conjunto infinito.
2. Las cuatro operaciones bsicas, excepto divisin para cero, son operaciones
binarias en el conjunto R de los nmeros reales.
3. Entre dos nmeros reales, existen infinitos nmeros reales.
4. El conjunto de los nmeros reales es superconjunto de los conjuntos numricos
estudiados anteriormente. Consecuentemente todas las propiedades que se
cumplen en dichos conjuntos sern tambin propiedades de los nmeros reales.
Propiedades.- Las 11 propiedades dadas anteriormente son propiedades de los
nmeros reales; luego este conjunto es un CAMPO ORDENADO. Al conjunto de los
nmeros reales se le conoce como un conjunto COMPLETO.
Teoremas sobre los nmeros reales,1.

Para todos los nmeros reales a, b y c ; si a = b entonces:

a.
b.
c.
d.

a+c=b+c
ac=bc
a.c=b.c
a/c = b/c , c 0

2.

Para todo nmero real a , se cumple que a . 0 = 0

3.

Para todos los reales a y b ; si a . b = 0 entonces a = 0 b = 0

4.

Para todo nmero real a , se cumple que (-1) . a = - a

5.

a, b R , y si a = b -a = -b

6.

a R , y si a0

=0

19
7.
8.
9.

a, b, c R , y si a+c = b+c a = b

a, b R , y si a + b = 0 b = -a

b R , a R, si (a . b=1 a0) b =

10. a R, -(-a) = a

11. (-1)(-1) = 1

12. a R, (-1)(-a) = a

13. a, b R y si a0 y b0,

14. a, b R, (-a) . b = (-b) . a

15. a, b R, -(a b) = -a + b