NUMEROS NATURALES

Y NUMEROS ENTEROS
Unidad 1
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 1
ELEMENTOS DE LOGICA
En esta primera unidad iniciamos el desarrollo de los contenidos de la asignatura haciendo una revisin de algunos
conceptos que sern fundamentales para comprender luego otros temas propios de matemtica discreta.
Algunos de esos conceptos provienen de la lgica y sirven de base para abordar los nmeros enteros; otras
nociones se refieren a los conjuntos, tema que resulta necesario para desarrollar muchos conceptos nuevos, propios
de esta materia, por ejemplo, relaciones de orden, grupos y lenguajes.
Comenzamos, entonces, con el repaso de los conceptos de lgica.
La lgica estudia mtodos de razonamiento que separan los razonamientos vlidos de los no vlidos. El inters por
el anlisis de los razonamientos se debe a que en las ciencias de la computacin deben aplicarse para lograr que
los programas realicen lo que se pretende.
Los razonamientos se basan en la enunciacin de una secuencia proposiciones, que se conocen como premisas,
para arribar a una conclusin.
Una proposicin es todo enunciado al que se le puede asignar un valor de verdad.
Es decir que son afirmaciones que pueden resultar verdaderas o falsas. Para denotarlas se utilizan letras minsculas
como p, q, r.
Por ejemplo:
p: 1 + 1 = 2
q: 1 + 1 = 3
La proposicin p es verdadera con lo que se escribir de la forma: V(p) = V
La proposicin q es falsa y se escribe: V(q) = F
Por el contrario, no son proposiciones enunciados tales como:
Hola, cmo ests?,
dado que no puede decirse nada acerca de su verdad o falsedad.
Las proposiciones pueden ser simples o compuestas.
Las proposiciones simples son las proposiciones p, q, r.
Las proposiciones compuestas se construyen con proposiciones simples y operadores que
denominamos conectivos lgicos.
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 2
Representamos los conectivos en el cuadro que sigue, con su respectivo nombre y modo de leerlo
Conectivo Se lee Nombre
No Negacin
Y Producto lgico o conjuncin
O (inclusivo) Suma lgica o disyuncin
Si ... entonces .... Condicional
Si y slo si Bicondicional
O (exclusivo) Disyuncin excluyente
Para obtener el valor de verdad de una proposicin compuesta se utilizan tablas de verdad teniendo en cuenta
como actan los conectivos lgicos, segn las siguientes definiciones:
Negacin:
La negacin p de p se define por medio de la siguiente tabla de verdad:
p p
V F
F V
Por ejemplo:
Sea p: hay un premio Nobel de ciencias de la computacin.
p: no hay un premio Nobel de ciencias de la computacin.
Conjuncin:
Sean p y q proposiciones, se llama conjuncin de p y q, y se denota p q, a la proposicin p y q, y le
corresponde la siguiente tabla de verdad:
p q p q
V V V
V F F
F V F
F F F
Por ejemplo:
Sean las proposiciones simples:
p: 1 + 1 = 3 y q: una dcada tiene 10 aos.
e
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 3
Entonces la conjuncin es:
p q: 1 + 1 = 3 y una dcada tiene 10 aos.
Disyuncin:
Sean p y q proposiciones. Se llama disyuncin de p y q, y se denota p q, a la proposicin p o q, y le
corresponde la siguiente tabla de verdad:
p q p q
V V V
V F V
F V V
F F F
Por ejemplo:
Sean las proposiciones simples:
p: 1 + 1 = 3 y q: una dcada tiene 10 aos.
Entonces la disyuncin es:
p q: 1 + 1 = 3 o una dcada tiene 10 aos.
Condicional:
Sean p y q proposiciones, la proposicin compuesta: si p, entonces q, se llama proposicin condicional y se
denota por p q.
La proposicin p se denomina hiptesis (o antecedente) y la proposicin q, conclusin (o consecuente). La tabla de
verdad que corresponde es la siguiente:
p q p q
V V V
V F F
F V V
F F V
Por ejemplo:
Sean las proposiciones simples:
p: 1 + 1 = 3 y q: una dcada tiene 10 aos.
Entonces el condicional p q es:
p q: Si 1 + 1 = 3 entonces una dcada tiene 10 aos.
Te convence el valor de verdad del condicional en los dos ltimos renglones? Si no es as, considera el siguiente
ejemplo:
e
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 4
Mara le dice a Juan: si maana llueve, salgo a pasear con vos
Las cuatro situaciones que se pueden dar son las que corresponden a los cuatro renglones de la tabla de
verdad. Analicemos uno por uno:
- en el primer caso, las dos proposiciones son verdaderas, lo cual en nuestro ejemplo significa que llueve
y que Mara pasea con Juan. No hay duda de que la promesa de Mara era cierta.
- en el segundo caso, la primera proposicin es verdadera, lo cual en nuestro ejemplo significa que llueve,
pero como la segunda es falsa, significa que Mara no sale a pasear con Juan. No hay duda de que la
promesa de Mara no se cumple.
- pero qu ocurre en el tercer y cuarto caso? Ambos tienen el antecedente falso, o sea que en nuestro
ejemplo significa que no llueve. En uno de los casos (el tercero), Mara sale a pasear con Juan, y en el
otro caso (el cuarto) no pasean. Qu podemos decir de la promesa efectuada? Tenemos elementos
para decir que no se cumpli? Por supuesto que no. Pues la promesa fue con la condicin de que
lloviera, Mara no prometi nada si no llova. As que como no tenemos evidencia suficiente para decir que
Mara no cumple su promesa, la debemos considerar inocente (como en los juicios).
Bicondicional:
Sean p y q proposiciones, la proposicin compuesta: p si y slo si q, se llama proposicin bicondicional y se
denota por p q.
El valor de veracidad de la proposicin p q est definido por la siguiente tabla de verdad:
p q p q
V V V
V F F
F V F
F F V
Por ejemplo:
Sean p: 1 + 1 = 3 y q: una dcada tiene 10 aos.
p q: 1 + 1 = 3 si y slo si una dcada tiene 10 aos.
Disyuncin excluyente:
Sean p y q proposiciones, la proposicin compuesta: p (excluyente) q, se llama proposicin disyuncin
excluyente y se denota por p q.
El valor de veracidad de la proposicin p q est definido por la siguiente tabla de verdad:
p q p q
V V F
V F V
F V V
F F F
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 5
Por ejemplo:
Sean p: 1 + 1 = 3 y q: una dcada tiene 10 aos.
p q: 1 + 1 = 3 (excluyente) si una dcada tiene 10 aos.
Un ejemplo de la vida cotidiana donde se utiliza la disyuncin excluyente es el caso de una mam que le
dice a su hijo: eleg el autito o el trencito, pero no ambos. Te voy a comprar uno solo.
O bien, otro ejemplo que viviste hace no mucho tiempo es en el recuperatorio del curso de ingreso. Los
que pueden presentarse a dar recuperatorio de parcial son los que tienen aprobado uno solo. Entonces si
consideramos las proposiciones simples:
p: el alumno aprob el primer parcial
q: el alumno aprob el segundo parcial
debemos decir que para dar el recuperatorio se debe cumplir que: p q ya que el que aprob los
dos parciales, no tiene nada que recuperar.
Algunas observaciones que vale la pena tener en cuenta.
Dada pq:
** la proposicin qp se dice recproca
** la proposicin qp se dice contrarrecproca
** la proposicin pq se dice contraria
Las tablas de verdad correspondientes a estas proposiciones son:
p q q p q p p q
V V V V V
V F V F V
F V F V F
F F V V V
Si una proposicin compuesta tiene n proposiciones simples entonces el nmero de filas en la tabla de verdad
es 2
n
.
Para continuar, veamos algunos tipos especiales de proposiciones compuestas. Ellas son: la tautologa,
la antitautologa y la contingencia.
Tautologa
Llamamos tautologa (V) a aquella proposicin compuesta cuyo valor de verdad es siempre verdadero
en forma independiente del valor de verdad de las proposiciones simples que la componen.
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 6
Por ejemplo:
p q (p q ) (p q)
V V V
V F V
F V V
F F V
Antitautologa o Contradiccin (F)
Llamamos antitautologa o contradiccin a aquella proposicin compuesta cuyo valor de verdad es
siempre falso en forma independiente del valor de verdad de las proposiciones simples que la componen.
Por ejemplo:
p q (p q ) (p q)
V V F
V F F
F V F
F F F
Contingencia
Se denomina contingencia a aquella proposicin compuesta cuyo valor de verdad depende del valor de
verdad de las proposiciones simples que la componen.
Por ejemplo:
p q p (p q)
V V V
V F V
F V F
F F V
e
e
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 7
Hasta aqu, entonces, tenemos que:
Una proposicin es todo enunciado al que se le puede asignar un valor de verdad.
Las proposiciones pueden ser simples o compuestas: las proposiciones simples son las
proposiciones p, q, r. Las proposiciones compuestas se construyen con proposiciones simples y
conectivos lgicos (negacin; producto lgico o conjuncin; suma lgica o disyuncin; condicional;
bicondicional; o excluyente)
Para obtener el valor de verdad de una proposicin compuesta se utilizan tablas de verdad
teniendo en cuenta como actan los conectivos lgicos.
Proposiciones Lgicamente Equivalentes
Estamos transitando un nuevo camino, el de la lgica; para ello, es necesario que conozcamos algunas reglas que
nos permitirn saber si estamos avanzando correctamente. Estas reglas son las equivalencias lgicas entre
proposiciones.
Cundo decimos que son equivalentes las proposiciones o, lo que es lo mismo, que las proposiciones son
lgicamente equivalentes?
Las proposiciones compuestas P = P (p
1
,....., p
n
) y Q = Q (p
1
,....., p
n
) son lgicamente equivalentes
siempre que, dados cualesquiera valores de verdad de p
1
, ....., p
n
, P y Q son ambas verdaderas o
ambas falsas. Se cumple cuando: P (p
1
, ....., p
n
) Q (p
1
, ....., p
n
) es una tautologa.
Lo denotamos P Q
Por ejemplo: p q p q
Tengamos en cuenta, adems, que si las equivalencias no nos convencen a priori podemos demostrarlas; para eso
debemos usar las tablas de verdad.
A continuacin presentamos los distintos tipos de equivalencias.
1. Involutiva: p p
2. Idempotencia: (p p) p (p p)
3. Conmutatividad:
(p q) (q p)
(p q) (q p)
(p q) (q p)
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 8
4. Absorcin:
p (p q) p p (p q)
5. Identidad:
p V p
p F F
p V V
p F p
6. Leyes de De Morgan:
(p q) p q
(p q) p q
7. Asociatividad:
p (q r) (p q) r
p (q r) (p q) r
8. Distributividad:
p (q r) (p q) (p r)
p (q r) (p q) (p r)
Ahora bien, para qu utilizaremos las equivalencias lgicas? Entre otras cosas para poder simplificar
proposiciones compuestas y otorgarles un aspecto ms amigable.
Veamos el siguiente caso:
(p q) (r r) utilizando equivalencia de proposiciones
(p q) (r r) utilizando De Morgan
( p q) (r r) utilizando involucin
( p q) (r r) utilizando contradiccin
( p q) f utilizando identidad
p q utilizando equivalencia de proposiciones
p q
Con lo cual (p q) (r r) y p q son equivalentes. Esto podemos probarlo haciendo ambas
tablas de verdad.
Les proponemos que las realicen antes de continuar. Si no lo logran, pueden consultar a los tutores.
Veamos otro ejemplo:
Dada la siguiente proposicin:
p [ (p q ) (p r )]
e
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 9
Apliquemos equivalencia del condicional en (p q ) y al mismo tiempo apliquemos De Morgan en (p r ).
Obtenemos:
p [ ((p) q ) [(p) ( r)] ]
Ahora apliquemos la ley involutiva en ( p):
p [ ( p q ) [ p ( r)] ]
Distributiva de respecto de :
p [ p ( q r) ]
Equivalencia del condicional:
p [ p ( q r) ]
Apliquemos nuevamente De Morgan:
p [ p ( q r) ]
Finalmente, por absorcin: p
Predicado o Funcin proposicional
Comencemos analizando el siguiente enunciado:
x es un nmero impar
No podemos decir que es una proposicin porque para que sea verdadera o falsa depende del valor que le
asignemos a x.
Tenemos una expresin de la forma p(x), en nuestro caso, p(x): x es un nmero impar. Esta expresin ser cierta
para todos los nmeros enteros impares y falsa para todos los pares.
Tengamos en cuenta que para asignarle un valor de verdad necesitamos recurrir a los elementos de un conjunto, en
particular, en este caso, al de los nmeros enteros.
Podemos, entonces, concluir en la siguiente definicin
Sea A un conjunto no vaco, llamamos predicado o funcin proposicional con dominio en A a toda
expresin p(x) tal que para cualquier elemento a del conjunto A se verifica que p(a) es proposicin.
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 10
Por ejemplo:
Sea A = (nmeros naturales)
p(x) : x > 3
Si x = 1 entonces p(1) : 1 > 3 entonces el valor de verdad de la proposicin p(1) es falso.
Si x = 9 entonces p(9) : 9 > 3 entonces el valor de verdad de la proposicin p(9) es verdadero.
Digamos ahora:
Todos los nmeros naturales son impares.
Podemos dar un valor de verdad: el enunciado es falso y por lo tanto es una proposicin. Ahora bien, cmo
convencemos a alguien de que esa afirmacin es falsa?; debemos mostrar un caso, por lo menos uno, que asevere
que realmente el enunciado es falso. Elegimos, por ejemplo,
el nmero 4 es par
y solucionamos nuestro problema.
La situacin que planteamos podemos escribirla utilizando los siguientes smbolos: y , que se llaman
cuantificadores. Debemos tener en cuenta que algunas veces para dar una proposicin podemos usar
cuantificadores.
El cuantificador universal ( ), significa para todo (es decir cualquiera).
Si p(x) es verdadera para todo x en A entonces decimos que x: p(x) es verdadera.
El cuantificador existencial ( ), significa que existe al menos un ...
As x A se lee existe al menos un x en A.
Entonces, para el enunciado Todos los nmeros naturales son impares: Que se denota x : x es
impar , su negacin es la siguiente:
[x : x es impar] x : x no es impar]
Veamos otro ejemplo que resolveremos juntos. Para ello te pedimos que completes los puntos suspensivos.
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 11
Supongamos que Mara dice: Todos los alumnos de este curso aprobaron el parcial
Y Hernn le responde: Eso no es verdad. Aqu hay un alumno que no aprob
Es suficiente la justificacin que da Hernn? .....
.................................................................................................................................................................
En otra ocasin, Mara dice: Algn alumno de este curso aprob el parcial y nuevamente Hernn est en
desacuerdo.
Qu debera hacer ahora para justificar su posicin?.......................................................................................
................................................................................................................................................................
Podemos dar al siguiente resultado?
[ x : p(x)] x : p(x) [ x : p(x)] x : p(x)
Otro caso:
Supongamos que queremos expresar simblicamente el siguiente enunciado:
Para todo nmero entero existe otro nmero entero que lo divide. Vemos que hay dos variables: el nmero entero
que es dividido y el que divide; podramos escribirlo as:
x: y: x|y
Podemos preguntarnos, ser lo mismo escribir y: x: x|y?; en realidad, nos estamos haciendo la siguiente
pregunta: es lo mismo x : y : p(x;y) que y : x : p(x;y)?
Analicemos algunos otros casos: en el conjunto de los nmeros enteros sabemos que el nmero 0 es neutro para la
suma. Cmo puede escribirse que el neutro para la suma es el 0 usando los cuantificadores? Veamos las
siguientes formas
1. 0 Z, z Z:0+z = z+0 = z
2. z Z, 0 Z: 0+z = z+0 = z
La correcta es la 1, donde decimos que existe el 0 y que es el elemento neutro para la suma.
En la 2 estamos diciendo que cada entero tiene su neutro y nosotros sabemos que el neutro es nico y es el 0.
Veamos otro ejemplo

a partir de las mismas expresiones:

Este ejemplo es un aporte de la Profesora Ana Mara Gmez

e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 12
Supongamos que x son las mujeres solteras, y son los varones solteros y la propiedad p(x;y) significa que x e y
son novios. La primera proposicin dice que para todas las mujeres solteras x existe un varn y, que es el novio.
La segunda proposicin, en cambio, dice que existe un varn y, tal que todas las mujeres x del mundo son sus
novias. Son afirmaciones muy diferentes, no?
Por lo tanto los cuantificadores no conmutan
Algunos ejemplos para repasar:
Consideremos el siguiente enunciado
p (x): x es un nmero par
Es una proposicin lgica? SI NO Por qu?
.................................................................................................................................................................
A este tipo de enunciados se los llama ...........................................................................................................
Son enunciados con variables que pueden convertirse en proposiciones lgicas de las siguientes formas:
1) Asignando valores a las variables (ejemplo: 3 es un nmero par)
2) Cuantificndolas (ejemplo: todos los nmeros son pares)
Ejemplos:
Sean: P(x): x es mltiplo de 5 Q(x): x es par R(x): x es impar
A = {10, 15, 20} B = {3, 6, 9, 12}
Para decir que todos los elementos del conjunto A son mltiplos de 5 escribimos:
x A : P(x)
Para decir que algunos elementos del conjunto B son pares escribimos: x B : Q(x)
Para decir que algunos elementos del conjunto A son pares y mltiplos de 5 escribimos:
x A : [ P(x) Q(x) ]
Existen elementos de B que sean impares y mltiplos de 5? ....... Cmo se escriben?
...................................................................................................................................
Es cierto que todos los mltiplos de 5 son impares? ....... Cmo se escriben?
...................................................................................................................................
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 13
Analiza el valor de verdad de las siguientes proposiciones con cuantificadores:
1. - x e : x 2 = 7 3. x e : - y e : x + y = 5
2. x e : x
2
> -1 4. - x e : y e : x y = y
Recordemos cmo negar los cuantificadores:
~[ x: p(x) ] [ x: ~p(x) ]
~[ x: p(x) ] [ x: ~p(x) ]
Nega cada una de las siguientes proposiciones:
p: x e : x
2
> 0
~ p: .....
q: - x e : ( x + 3 = 8 . x > 4 )
~ q: .....
r: - x e : y e R : x - y = y
~ r: ......
s: x e : ( x > 0 x + 2 > 3 )
~ s: ......
Consideremos ahora los siguientes predicados definidos en el conjunto de los nmeros naturales.
p(x;y) : x y: x > y
q(x;y) : x y: x > y
r(x;y) : x y: x > y
t(x;y) : x y: x > y
En cada caso la variable x y la variable y estn afectadas por un cuantificador, universal o existencial; diremos
entonces que son variables acotadas.
Si tuviramos p(x) : x-2 < 3, la variable x no est afectada por un cuantificador; decimos que la variable no
cuantificada es una variable libre.
Es decir que en el predicado p(x) a la variable x la llamamos variable libre y en x: p(x), x es variable acotada.
Cmo analizamos el valor de verdad de una proposicin dada por cuantificacin con ms de una variable?
Veamos el valor de verdad de p(x;y) : x: y: x > y en el conjunto de los nmeros reales. Consideremos
primero y: x > y, como la x no est cuantificada es una variable libre y la y es la variable acotada, sea x = 5 y
en el enunciado original queda y: 5 > y que es falso para, por ejemplo y = 8. Por lo tanto V(p(x;y)) es falso.
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 14
Veamos ahora qu pasa con el valor de verdad de t(x;y) : x: y: x y.
Si actuamos de la misma manera queda y: x y, donde x es libre e y est acotada, que es verdadera ya que
podemos elegir siempre un x que sea mayor o igual que el y propuesto.
Antes de finalizar este punto, recordemos que:
Decimos que dos proposiciones son lgicamente equivalentes siempre que dados
cualesquiera valores de verdad, ambos son V o F. Se pueden demostrar usando las
tablas de verdad.
Sea A un conjunto no vaco, llamamos predicado o funcin proposicional con
dominio en A a toda expresin p(x) tal que para cualquier elemento a del conjunto
A se verifica que p(a) es proposicin.
En algunos casos, para dar una proposicin podemos usar cuantificadores (universal
o existencial); pero es importante recordar que los cuantificadores no conmutan.
Cuando las variables x e y estn afectadas por un cuantificador, se trata de
variables acotadas; cuando una de las variables no est afectada por un
cuantificador se denomina variable libre.
Hasta aqu nuestro repaso de las nociones de lgica que aplicaremos en las prximas unidades. Avancemos ahora
con los temas que siguen: conjuntos, induccin matemtica y nmeros enteros.
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 15
CONJUNTOS
Tal como anticipamos al inicio de la unidad, los conceptos vinculados al tema conjuntos son necesarios para
abordar luego otros tales como las relaciones de orden, grupos y lenguajes que estudiaremos en las prximas
unidades.
Empezando por caracterizar un conjunto, podemos decir que simplemente es cualquier coleccin de
objetos o sea toda agrupacin de elementos.
Los conjuntos se indican con letras maysculas y los elementos con letras minsculas. Si un conjunto es finito y no
demasiado extenso se puede describir nombrando cada uno de sus elementos, es decir, por extensin o
enumeracin. Asimismo, darlo por comprensin es dar una propiedad que caracteriza a todos los elementos de ese
conjunto.
Por ejemplo:
A = {2, 4, 6, 8}
El conjunto A est definido por extensin.
B = { x tal que x es un nmero par y 2 x 8 }
El conjunto B est definido por comprensin.
Las que siguen son definiciones y relaciones entre conjuntos, que aplicaremos luego en temas posteriores, tales
como en las operaciones entre conjuntos.
Cardinalidad de un conjunto
Un conjunto A se dice finito si tiene n elementos distintos con n , en ese caso el cardinal de A es n y lo
indicamos |A| = n.
Conjunto vaco
Si el conjunto A no tiene elementos, su cardinal es 0.
El conjunto que no tiene elemento alguno se llama conjunto vaco o nulo y se denota ,
= { }.
Por ejemplo:
A = {x tal que x
2
+ 2 = 0 }
e
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1
e
16
Inclusin de conjuntos
Dados dos conjuntos A y B, decimos que A est incluido (o contenido) en B si todos los elementos de A estn
en B. Lo indicamos como A B s y slo s x A x B.
La relacin que liga a los conjuntos entre s es la inclusin.
A
B
Igualdad de conjuntos
Dos conjuntos X e Y son iguales si tienen los mismos elementos. En este caso se escribir X = Y. Dicho en
otras palabras, siempre que x X se cumple que x Y, y siempre que x X se cumple que x Y, y as
X = Y.
Por ejemplo:
A = { x tal que x
2
+ x 6 = 0 } y B = {2, -3 }, entonces A = B.
Supngase que X e Y son conjuntos. Si todo elemento de X es un elemento de Y se dice que X es un
subconjunto de Y y se expresa X Y.
Si vinculamos la nocin de igualdad con el concepto de inclusin podemos decir que A y B son iguales si
A B B A.
Conjunto Universal
Se llama conjunto referencial o universal al conjunto U que hace verdadera la siguiente proposicin:
x A x U.
En un diagrama de Venn se representa con un rectngulo
A B
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1
e
e
17
A
U

Operaciones con conjuntos
Las que siguen son operaciones que pueden realizarse con conjuntos, tales como: interseccin, unin, diferencia,
complemento y diferencia simtrica.
Dados dos conjuntos A y B llamamos interseccin entre A y B e indicamos A B al siguiente conjunto:
A B = { x tal que x A x B }
Por ejemplo:
Sea A = { 1, 3 } y B = { 1, 2, 3, 4 }
A B = { 1, 3 }
Dados dos conjuntos A y B llamamos unin entre A y B e indicamos A B al siguiente conjunto:
A B = { x tal que x A x B }
Por ejemplo:
Sea A = { 1, 3 } y B = { 1, 2, 3, 4 }
A B = { 1, 2, 3, 4 }
Dados dos conjuntos A y B llamamos diferencia entre A y B e indicamos A - B al siguiente conjunto:
A B = { x tal que x A x B }
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1
e
e
e
18
Por ejemplo:
Sea A = { 1, 3 } y B = { 1, 2, 3, 4 }
A - B =
B - A = { 2, 4 }
Dado el conjunto A llamamos complemento de A e indicamos A al siguiente conjunto:
A = { x tal que x U x A } = U - A
Por ejemplo:
Sea A = { x tal que x y x es impar } y U =
A = { x tal que x y x es par }
Dados los conjuntos A y B llamamos diferencia simtrica entre A y B e indicamos A B al siguiente
conjunto:
A B = ( A B ) ( A B )
Por ejemplo:
Sea A = { 1, 3 } y B = { 1, 2, 3, 4 }
A B = { 2, 4 }
Propiedades de las operaciones
Las operaciones anteriores cumplen las siguientes propiedades:

1. Involucin:
A = A
2. Idempotencia:
A A = A
A A = A
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 19
3. Conmutatividad:
A B = B A
A B = B A
4. Neutro y absorbente:
A U = A, A U = U
A = , A = A
5. Absorcin:
A ( A B ) = A ( A B ) = A
6. Leyes de De Morgan:
A B = A B
A B = A B
7. Asociatividad:
A ( B C ) = A ( B C )
A ( B C ) = A ( B C )
8. Distributividad:
A ( B C ) = ( A B ) ( A C )
A ( B C ) = ( A B ) ( A C )
9. Propiedades del complemento:
A A =
A A = U
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 20
Por ejemplo:
A ( A B ) = A B
A ( A B ) = ( A A ) ( A B ) por propiedad distributiva.
= ( A B )
= A B
A continuacin definiremos un conjunto de partes de un conjunto dado. Este es un concepto con el que vamos a
trabajar mucho en unidades posteriores, al tratar temas como relaciones de orden y lgebras de Boole.
Conjunto de partes
Se llama conjunto de partes o conjunto potencia de A al conjunto:
P(A) = { X tal que X A }
Tengamos en cuenta:
El conjunto potencia de A es un conjunto cuyos elementos son todos los subconjuntos de A.

Si |A| = n |P(A)| = 2
n
A: P(A)
Si A = |P(A)| = 1
Por ejemplo:
Sea A = { 1, 2, 3 }
|A| = 3 |P(A)| = 2 = 8
P(A) = { , { 1 }, { 2 }, { 3 }, { 1, 2 }, { 1, 3 }, { 2, 3 }, { 1, 2, 3 } }
Demostraciones de propiedades con conjuntos
Hay diferentes formas de demostrar propiedades de los conjuntos. Algunas de esas formas son las siguientes:
e
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 21
Demostraciones a nivel de
elementos
Sin antecedente
Con una inclusin en el consecuente
Ejemplo: A A B
Con una igualdad en el consecuente
Ejemplo:
A ( B C ) = ( A B ) C
Con antecedente y
consecuente
Demostrar a partir del 1er miembro de la
tesis
[ C A B ( C - B ) A ]
Desarrollar la hiptesis completa hasta
llegar a la tesis
( A - B = A B )
Demostraciones conjuntistas Utilizando propiedades bsicas de conjuntos demostradas previamente
Comencemos a demostrar cada uno de estos ejemplos
Empecemos por las demostraciones de elementos:
Sin antecedente y con una inclusin en el consecuente.

Es decir, debemos probar que A A B
Sabemos que por definicin de inclusin, es lo mismo probar que x: x A x A B
Debemos partir del primer miembro y luego de una cadena de implicaciones llegar al segundo miembro.
x: x A x A x B x A B
propiedad p p q definicin de unin
Sin antecedente y con una igualdad en el consecuente

Ahora tenemos que probar una igualdad A ( B C ) = ( A B ) C
Recordemos que dos conjuntos son iguales cuando se incluyen mutuamente. O sea, que en principio este
ejercicio comprende dos partes:
Primera inclusin: x: x A ( B C ) x ( A B ) C
Segunda inclusin: x: x ( A B ) C x A ( B C )
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 22
Demostremos la primera:
x: x A ( B C ) aplicamos definicin de interseccin
x A x ( B C ) aplicamos definicin de interseccin
x A ( x B x C ) por la asociatividad de la
( x A x B ) x C por definicin de interseccin
x ( A B ) x C por definicin de interseccin
x ( A B ) C con lo cual llegamos al segundo miembro
Es importante tener en cuenta que a esta altura no terminamos el ejercicio, pues nos falta la segunda
inclusin. Si nos fijamos bien, en la mayora de los casos se trata de hacer el camino inverso aunque
recordemos que no en todos ocurre esto-. Nos queda:
x: x A ( B C ) por definicin de interseccin
x A x ( B C ) por definicin de interseccin
x A ( x B x C ) por la asociatividad de la
( x A x B ) x C por definicin de interseccin
x ( A B ) x C por definicin de interseccin
x ( A B ) C
Con antecedente y consecuente realizando la demostracin a partir del primer miembro de la tesis
Debemos probar que C A B ( C - B ) A
A diferencia de los ejercicios anteriores, en este caso tenemos un antecedente o hiptesis (C A B) y un
consecuente o tesis (( C - B ) A), que es lo que hay que demostrar. Si nos fijamos en la tesis, se trata de una
inclusin y la vamos a demostrar como toda inclusin, es decir: x: x (C - B) x A
En el camino de implicaciones para llegar al segundo miembro, adems de definiciones y propiedades, podemos
utilizar la hiptesis.
Apliquemos estas demostraciones en el ejercicio que sigue:
Complet sealando en cada paso cul es la propiedad utilizada:
x: x (C - B) x C x B
x (A B) x B
( x A x B ) x B
( x A x B ) ( x B x B )
( x A x B ) F x A x B
x A
Con antecedente y consecuente desarrollando la hiptesis completa hasta llegar a la tesis
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 23
En este caso es una equivalencia o doble implicacin: A - B = C A _ B
Si lo hacemos como en caso anterior es necesario realizar dos ejercicios. En cambio, lo vamos a demostrar
desarrollando el antecedente completo hasta llegar al consecuente.
Como en el caso anterior, seal en cada paso cul es la propiedad utilizada:
A - B = C ~ - x: x e (A - B) x: ~ [ x e (A - B)] x: ~ [x e A . x e B]
x: x e A v x e B [ x: x e A x e B ] A _ B
- Sigamos con las demostraciones conjuntistas:
Por ejemplo, demostremos (A B) ( A B) = (B - A) (A - B) en forma conjuntista,
utilizando las propiedades de conjuntos bsicas, sin bajar al nivel de la lgica:
(A B) (A B) = (A A) (A B) (B A) (B B) =
= C (A - B) (B - A) C = (A - B) (B - A) = (B - A) (A - B)
Realiz las siguientes demostraciones:
1. A _ B . B C = C A C = C
2. A - (B - C) = (A - B) (A C)
3. (A B) (B A) = (A B) (A B)
4. P(A) P(B) _ P(A B)
Particin de un conjunto
Sea un conjunto A = C. Sea P = {A
1
, A
2
, ....., A
n
}
P es una particin de A 1) A
i
= C i
2) A
i
A
j
= C i =j
3) U A
i
= A
Algunas observaciones para tener en cuenta:
Las particiones estn incluidas en el conjunto de partes.
Los subconjuntos A
i
reciben el nombre de celdas de la particin.
La condicin 3 tambin se puede expresar: x e A : - A
i
e P : x e A
i
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 24
Para finalizar, te proponemos realizar algunos ejercicios sobre particiones.
1- Cules de los siguientes conjuntos son particiones de A = { a, b, c, d, e } ?
En caso negativo, indic cual de las tres condiciones no se cumple.
P
1
= { {a,b,c}, {d,e} }
P
2
= { {a,b}, {c,d}, {b,e} }
P
3
= { {a,b}, {c}, {e} }
P
4
= { {a}, {b}, {c}, {d,e} }
P
5
= { {a}, {b,c,d}, { }, {e} }
2- Cules de los siguientes conjuntos P = {A
1
, A
2
, A
3
} son particiones de ?
a) A
1
= ( - ; -2]
A
2
= ( -2 ; 0]
A
3
= (1; + )
b) A
1
= ( - ; -1)
A
2
= { -1 , 2 }
A
3
= ( -1; + ) { 2 }
c) A
1
= ( - ; -3]
A
2
= ( -3 ; 0)
A
3
=
+
d) A
1
= ( - ; 4)
A
2
= { 0 , 5 }
A
3
= [ 4; + ) { 5 }
Sintetizando:
Un conjunto puede describirse por extensin o por comprensin.
Las operaciones entre conjuntos son: interseccin, unin, diferencia, complemento,
diferencia simtrica.
Estas operaciones presentan las propiedades: involucin, idempotencia, conmutatividad,
neutro y absorbente, absorcin, leyes de De Morgan, asociatividad, distributividad,
propiedades del complemento.
Entre las diferentes formas de demostrar las propiedades de conjuntos encontramos:
Demostraciones a nivel de elementos
Sin antecedente
Con una inclusin en el consecuente
Con una igualdad en el consecuente
Con antecedente y consecuente
Demostrar a partir del 1er miembro de la tesis
Desarrollar la hiptesis completa hasta llegar a la tesis
Demostraciones conjuntistas
Utilizando propiedades bsicas de conjuntos demostradas previamente
Llamamos Particin a todo subconjunto P del conjunto de partes de A, P(A) que cumple
las siguientes condiciones: ningn componente de P es el conjunto vaco, dos
componentes distinto no tienen elementos en comn y todos los elementos de A estn
en alguno de los componentes de P.
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 25
INDUCCION MATEMATICA

En muchos casos queremos demostrar que alguna propiedad relativa a los nmeros naturales es cierta. Para
demostrarlo podemos analizar algunos casos particulares -para algunos valores naturales- pero no podemos hacerlo
con todos, pues son infinitos.
Por ejemplo, si observamos la suma de los primeros nmeros impares:
1 = 1
1 + 3 = 4
1 + 3 + 5 = 9
1 + 3 + 5 + 7 = 16
Nots algo en particular? Observ bien los resultados...
Vemos que todos son cuadrados perfectos:
1 = 1 = 1
2
1 + 3 = 4 = 2
2
1 + 3 + 5 = 9 = 3
2
1 + 3 + 5 + 7 = 16 = 4
2
Por lo tanto, si agregamos otro nmero impar seguramente obtendremos 5
2
= 25 y as sucesivamente.
Pero, podemos estar seguros de ello? Se cumplir realmente con cualquier cantidad de impares sumados? Para
poder responder con certeza a este interrogante y muchos similares vamos a utilizar la Induccin Matemtica, que
estudiaremos en esta seccin.
Para comenzar definiremos conjunto inductivo y conjunto de nmeros naturales, as como la relacin entre ambos.
Qu es un conjunto inductivo?
Sea R el conjunto de los nmeros reales, dado A , decimos que A es inductivo si:
1) 1 A
2) x A x+1 A
Qu es el conjunto de nmeros naturales?
=

R A
A tal que A es inductivo
O sea que
el conjunto de los nmeros naturales es la interseccin de todos los conjuntos inductivos. Es el ms
pequeo de los conjuntos inductivos en el sentido de la inclusin.
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 26
Una herramienta que podemos utilizar para demostrar propiedades relativas al conjunto de los naturales es la
induccin completa.
Principio de Induccin Completa (PIC)
Sea p(n) un predicado o funcin proposicional con dominio en el conjunto de los nmeros naturales.
Si: 1) v [ p(1) ] = V
2) v [ p(h) ] = V v [ p(h+1) ] = V
Entonces: todas las p(n) son verdaderas.
Tengamos presente que:
a) el paso 1) se llama PASO BASE de la induccin y consiste en evaluar la proposicin con n = 1
b) el paso 2) se llama PASO INDUCTIVO
El antecedente de 2) se llama HIPOTESIS INDUCTIVA y el consecuente es la TESIS INDUCTIVA
La hiptesis inductiva consiste en tomar como vlida la propiedad en un determinado valor de n que llamamos h. A
partir de esto, se debe probar la tesis inductiva, o sea que la propiedad es vlida para el valor siguiente de h, es
decir para h+1.
Tengamos en cuenta que este mtodo se puede usar aunque no se comience con n=1
Dado m 1:
Si : 1) v [ p(m) ] = V
2) v [ p(h) ] = V v [ p(h+1) ] = V
Entonces: p(n) es verdadera para todo n m.
Veamos algunos ejemplos del proceso de induccin
Ejemplo 1
Demostrar que:

n
1 k
k k! = ( n+1 )! 1 n
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 27
Qu significa el smbolo y el signo de admiracin?
Vayamos de a poco.
El smbolo indica sumatoria, es decir, una suma de varios trminos.
Debajo del signo hay una letra que es el contador igualado a su valor inicial. Arriba del signo se escribe el valor
final del contador; luego, se reemplaza en la expresin por los sucesivos valores del contador y se suman.
Por ejemplo:

5
1 n
n
2
= 1
2
+ 2
2
+ 3
2
+ 4
2
+ 5
2
= 1 + 4 + 9 + 16 + 25 = 55

3
1 n
n 2
n
= 1 2
1
+ 2 2
2
+ 3 2
3
Ahora veamos el signo de admiracin; este signo es el smbolo de factorial.
Qu es el factorial de un nmero?
Se llama factorial de un nmero natural a otro nmero natural que se obtiene multiplicando todos los naturales
anteriores al dado.
En forma recursiva se define: 0! = 1 n! = (n-1)! n
Ejemplos:
4! = 4 3! = 4 3 2! = 4 3 2 1! = 4 3 2 1 0! = 24
5! = 5 4! = 5 24 = 120
Solucin:
Paso base: n = 1:
p(1):

1
1 k
k k! = ( 1+1 )! 1
Vamos a analizar el valor de verdad de p(1). Para ello calculamos ambos miembros por separado y luego
comparamos:
Primer miembro de p(1): 1 1! = 1
Segundo miembro de p(1): (1+1)! - 1 = 2! - 1 = 2 - 1 = 1
Como los dos miembros son iguales, entonces v [p(1)] = V
Paso inductivo:
Hiptesis Inductiva: n = h

h
1 k
k k! = ( h+1 )! - 1
Tesis Inductiva: n = h+1

1 h
1 k
k k! = ( h+1+1 )! - 1
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 28
Demostracin: para demostrar la igualdad de la tesis partimos del primer miembro y trataremos de llegar al
segundo.

1 h
1 k
k k! =
(1)

h
1 k
k k! + (h+1) (h+1)! =
(2)
(h+1)! - 1 + (h+1) (h+1)! =
(3)
=
(4)
(h+1)! (1+h+1) -1 =
4
(h+1+1)! -1
As, llegamos al segundo miembro. Justificaciones:
(1) De los h+1 trminos dejamos aparte el ltimo de ellos
(2) Utilizamos la hiptesis inductiva
(3) Sacamos factor comn (h+1)! entre primer y tercer trminos
(4) Usamos definicin recursiva de factorial
Ejemplo 2:
Demostrar n 3 : (2n)! > 8
n-1
n
2
Solucin:
Paso base: n = 3:
(En este caso comenzamos de n=3 en vez de n=1 ya que lo dice el enunciado)
p(1): (2 3)! > 8
3-1
3
2
Veamos si p(1) es verdadera:
Primer miembro de p(1): (2 3)! = 6! = 720
Segundo miembro de p(1): 8
3-1
3
2
= 64 9 = 576
Como 720 576, entonces v [p(1)] = V
Paso inductivo:
Hip. Ind.: n = h (2h)! > 8
h-1
h
2
Tesis Ind: n = h+1 (2(h+1))! > 8
h
(h+1)
2
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 29
Demostracin: para demostrar la tesis, partimos del primer miembro de la misma y trataremos de probar
que es mayor que el segundo.
(2(h+1))! = (2h + 2)! =
(1)
(2h+2) (2h+1) (2h)!
(2)
(4h
2
+ 6 h + 2) 8
h-1
h
2

(3)

(3)
(h
2
+ 2 h + 1) 8
h
8
-1
h
2
>
(4)
8
h
(h+1)
2
8
-1
h
2
>
(5)
8
h
(h+1)
2
Con lo cual qued demostrado que: 2(h+1))! > 8
h
(h+1)
2
Justificaciones de cada paso:
(1) Usamos la definicin recursiva de factorial
(2) Distribuimos el producto de (2h+2)(2h+1) y utilizamos la hiptesis inductiva
(3) Acotamos la expresin (4h
2
+ 6h + 2) por una expresin menor (h
2
+ 2 h + 1) ya que
resulta conveniente para lo que debemos probar
(4) Escribimos el cuadrado de una suma que tenamos desarrollado
(5) Dado que como h 3 entonces h
2
9 por lo tanto h
2
8
En este momento, te proponemos resolver los ejercicios de induccin de la gua (3.1.1 y 3.1.2 )

SUCESIONES
Una sucesin es una lista de objetos, uno despus del otro, numerada en el orden creciente de los
nmeros naturales.
Formalmente, una sucesin es una funcin f:
Hay que tener en cuenta que en una sucesin:
1. Los elementos pueden o no repetirse.
2. A veces en vez de se puede tomar
0
Por ejemplo:
S
1
: 1,4,9,16,25,...,n
2
,....
S
2
:1,-1,1,-1,1,-1,1,-1,......,(-1)
n
,...
Notaciones: S: a
1
,a
2
,......,a
n
,...... S : ( a
i
)
i N
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 30
RECURSION

Una definicin es recursiva si hace referencia a ella misma.
Por ejemplo: la definicin de factorial es recursiva n! = n (n-1)! con 0! = 1
Lo mismo ocurre al dar una sucesin, es decir que tambin puede definirse en forma recursiva. Al definir el trmino
general, se puede hacer referencia a trminos anteriores.
Ejemplo:
Sea la sucesin definida por: a
n
= 2 a
n-1
con a
1
= 4
Veamos algunos elementos de la sucesin:
Ya sabemos que a
1
= 4. calculemos el siguiente: a
2
= 2 a
1
entonces: a
2
= 2 4 = 8
Y el prximo es: a
3
= 2 a
2
entonces: a
3
= 2 8 = 16
Y as sucesivamente.
En este caso es fcil darse cuenta que los elementos de la sucesin son todos potencias de 2, pero hay muchos
casos donde no es tan sencillo descubrir la regla general a simple vista.
A las sucesiones dadas en forma recursiva, se las llama relaciones o ecuaciones de recurrencia.
Qu significa resolver una relacin de recurrencia? Significa encontrar una expresin del a
n
que satisfaga la relacin
y que no sea recursiva.
Clasificacin de relaciones de recurrencia:
Orden: es la mayor diferencia entre los subndices de los elementos de la sucesin que figuran en la relacin de
recurrencia. Es decir, el orden indica cuntos trminos anteriores hay que conocer para obtener uno en particular.
Grado: es el mayor exponente al que estn elevados los elementos de la sucesin que figuran en la relacin de
recurrencia.
Ecuacin Homognea: al igual que las ecuaciones algebraicas, las homogneas son las que no tienen trminos
independientes; pero en este caso no necesariamente los trminos independientes son constantes sino que todos
aquellos en los que no figuran elementos de la sucesin. Por ejemplo los siguientes trminos son independientes:
3 n, 4, n
2
, etc.
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1
e
e
31
Ecuacin de coeficientes constantes: en estas ecuaciones ninguno de los coeficientes de los elementos de la
sucesin dependen de n. Por el contrario, si alguno depende de n, se dice que la ecuacin tiene coeficientes
variables.
Algunos ejemplos:
a) a
n
= 3 a
n-1
+ 2n
2
es de orden 1 (diferencia entre n y n-1), grado 1 o lineal (exponentes 1), no homognea
(pues figura el trmino 2n
2
) y de coeficientes constantes (1 y 3).
b) a
n
= a
n-1
+ a
n-2
es de orden 2, lineal, homognea y de coeficientes constantes.
c) a
n
3
= 2 a
n-1
1 es de orden 1, grado 3, no homognea y coeficientes constantes.
d) 2 a
n
= n a
n-2
es de orden 2, lineal, homognea y de coeficientes variables (n)
Vamos a analizar ahora las relaciones de recurrencia de orden 1 y de orden 2, homogneas con coeficientes
constantes y sus respectivas resoluciones
Relaciones de recurrencia lineales de orden 1, homogneas
Son de la forma: an = k a
n-1
siendo k una constante real no nula.
Resolucin:
Supongamos que conocemos el valor de a
0
. Cunto vale el a
1
? a
1
= k a
0
Y a
2
? a
2
= k a
1
que a su vez es a
2
= k k a
0
= k
2
a
0
Y a
3
? a
3
= k a
2
que a su vez es a
3
= k k k a
0
= k
3
a
0
O sea que pareciera que: a
n
= k
n
a
0
Pero para estar seguros de la frmula encontrada, debemos demostrarla. Vamos a hacerlo por medio de Induccin
Completa.
Qu es lo que hay que demostrar?
Dato del ejercicio: la frmula recursiva a
n
= k a
n-1
y el valor de a
0
Frmula encontrada no recursiva: a
n
= k
n
a
0
Lo que debemos probar es que la nueva frmula define la misma sucesin que la otra.
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 32
Paso base:
n = 0 (ya que el primer trmino es a
0
)
Lo calculamos con la nueva frmula: a
0
= k
0
a
0
= a
0
entonces se cumple p(0) es V
Paso inductivo:
Hip. Ind: n = h a
h
= k
h
a
0
Tesis Ind: n = h+1 a
h+1
= k
h+1
a
0
Dem./ a
h+1
= k a
h
= k k
h
a
0
=k
h+1
a
0
Por dato del ejercicio Hip. Ind. Producto de potencias de igual base
Por lo tanto, queda demostrado que n N
0
: p(n) es verdadera
Ejemplo:
La siguiente relacin de recurrencia: 3 a
n
- 5 a
n-1
= 0 con a
0
= 4
Es equivalente a: a
n
=
5
3
a
n-1
Tiene por solucin: a
n
=
n
5
3

4
Relaciones de recurrencia lineales de orden 2, homogneas
Son de la forma: c
n
a
n
+ c
n-1
a
n-1
+ c
n-2
a
n-2
= 0
Resolucin:
Supongamos que a
n
= x
n
es una solucin de la ecuacin. Por lo tanto debe satisfacerla:
c
n
x
n
+ c
n-1
x
n-1
+ c
n-2
x
n-2
= 0
Sacamos factor comn ....... y obtenemos:
x
n-2
( c
n
x
2
+ c
n-1
x + c
n-2
) = 0
Como x no puede ser cero, entonces debe ser c
n
x
2
+ c
n-1
x + c
n-2
= 0
Lo cual es una ecuacin algebraica de segundo grado que se llama ecuacin caracterstica.
e
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 33
reales y distintas
Sus races pueden ser reales e iguales (una raz doble)
complejas conjugadas
Segn sean las races de la ecuacin caracterstica, la solucin general ser:
Reales distintas: a
n
= k
1
r
1
n
+ k
2
r
2
n
Reales iguales: a
n
= k
1
r
1
n
+ k
2
n r
1
n
Complejas: dem primer caso pero se opera con De Moivre (no se consideran en esta materia)
Las constantes k
1
y k
2
se calculan con los datos iniciales
Importante: Para poder resolver una relacin de recurrencia de orden n se necesitan conocer n condiciones iniciales.
Veamos dos ejemplos:
Ejemplo 1
a
n
- 5 a
n-1
+ 6 a
n-2
= 0 con a
0
= 3 y a
1
= 5
Directamente planteamos la ecuacin caracterstica: x
2
- 5 x + 6 = 0
Calculamos sus races, que son: r
1
= 2 y r
2
= 3
Resultaron ser races REALES y DISTINTAS
Planteamos la forma de la solucin general: a
n
= k
1
r
1
n
+ k
2
r
2
n
Y ahora, teniendo en cuenta las condiciones iniciales:
a
0
= 3 entonces 3 = k
1
r
1
0
+ k
2
r
2
0
o sea k
1
+ k
2
= 3
a
1
= 5 entonces 5 = k
1
r
1
1
+ k
2
r
2
1
o sea 2 k
1
+ 3 k
2
= 5
Nos ha quedado un sencillo sistema de ecuaciones lineales. Al resolverlo obtenemos: k
1
= 4 y k
2
= -1
Por lo tanto, nuestra solucin es: a
n
= 4 2
n
- 3
n
Ejemplo 2:
a
n+2
= 4 a
n+1
- 4 a
n
con a
0
= 1 y a
1
= 5
La ecuacin caracterstica es: x
2
- 4 x + 4 = 0 que tiene como races: r
1
= 2 y r
2
= 2
O sea que son races REALES e IGUALES
Planteamos la forma de la solucin general: a
n
= k
1
2
n
+ k
2
n 2
n
Y ahora, teniendo en cuenta las condiciones iniciales:
a
0
= 1 entonces k
1
= 1
a
1
= 5 entonces 2 k
1
+ 2 1 k
2
= 5 entonces: k
2
= 1.5
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 34
Por lo tanto, nuestra solucin es: a
n
= 2
n
+ 1.5 n 2
n
Demostracin por Induccin:
Paso base:
Por ser de segundo orden hay que probar los dos datos iniciales:
n = 0: a
0
= 2
0
+ 1.5 0 2
0
= 1
n = 1: a
1
= 2
1
+ 1.5 1 2
1
= 2 + 3 = 5 se verifica
Paso inductivo:
Hip. Ind: n = h a
h
= 2
h
+ 1.5 h 2
h
a
h-1
= 2
h-1
+ 1.5 (h-1) 2
h-1
Tesis Ind: n = h+1 a
h+1
= 2
h+1
+ 1.5 (h+1) 2
h+1
Dem./
Comenzamos desarrollando el primer miembro de la tesis:
a
h+1
= 4 a
h
4 a
h-1
= 4 ( 2
h
+ 1.5 h 2
h
) 4 ( 2
h-1
+ 1.5 (h-1) 2
h-1
) =
= 4 2
h
+ 6 h 2
h
4 2
h-1
- 6 (h-1) 2
h-1
= 4 2
h
+ 6 h 2
h
2 2
h
- 3 h 2
h
+ 3 2
h
=
= 4 2
h
+ 6 h 2
h
2 2
h
- 3 h 2
h
+ 3 2
h
= 5 2
h
+ 3 h 2
h
( expresin 1)
Ahora desarrollamos el segundo miembro de la tesis:
2
h+1
+ 1.5 (h+1) 2
h+1
= 2
h
2 + 1.5 h 2
h
2 + 1.5 2
h
2 = 2 2
h
+ 3 h 2
h
+ 3 2
h
=
=5 2
h
+ 3 h 2
h
(expresin 2)
Como ambas expresiones son iguales, ha quedado probada la tesis. Y por principio de induccin: n N
0
: p(n)
es verdadera
Sintetizando:
El Principio de Induccin Completa se utiliza para demostrar propiedades relativas al
conjunto de los nmeros naturales.
El PASO BASE de la induccin consiste en evaluar la proposicin con n = 1 ( o el primer
elmento indicado). En el PASO INDUCTIVO el antecedente se llama HIPOTESIS
INDUCTIVA y el consecuente es la TESIS INDUCTIVA. Si se verifica la igualdad en el
paso base y de la hiptesis inductiva se obtiene la tesis inductiva , la propiedad es
vlida para todos los nmeros naturales
Una sucesin es una lista de objetos, uno despus del otro, numerada en el orden
creciente de los nmeros naturales. Formalmente, una sucesin es una funcin f:
Hay que tener en cuenta que en una sucesin: los elementos pueden o no repetirse; a
veces en vez de se puede tomar
0
.
Una definicin es recursiva si hace referencia a ella misma.
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 35
A las sucesiones dadas en forma recursiva se las llama relaciones o ecuaciones de
recurrencia. Resolver una relacin de recurrencia significa encontrar una expresin del a
n
que satisfaga la relacin y que no sea recursiva.
En una relacin de recurrencia se caracteriza el orden, el grado, la homogeneidad y los
coeficientes
Las relaciones de recurrencia lineales de orden 2, homogneas son de la forma: c
n
a
n
+
c
n-1
a
n-1
+ c
n-2
a
n-2
= 0
Ahora pods intentar resolver los ejercicios de recursin de la gua (3.2.1 al 3.2.6)
Una vez resueltos pasamos al ltimo de los temas de la Unidad: los Nmeros Enteros.
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 36
NUMEROS ENTEROS
Si bien en la seccin anterior estudiamos los nmeros naturales, cmo demostrar propiedades relativas a ellos y, en
particular, las sucesiones y la recursividad, no todos los modelos matemticos son con nmeros naturales. Para
muchas aplicaciones es necesario trabajar con nmeros enteros.
Recordemos que el conjunto de los nmeros enteros es: = U {0} U {-x / x }
En el conjunto , la adicin y la multiplicacin son operaciones cerradas, es decir, siempre se pueden efectuar y
devuelven un resultado entero. Pero con la divisin no pasa lo mismo, pues por ejemplo, si queremos dividir 8 por
3 ningn nmero entero coincide.
Por ello es que definimos la divisin entera, tal cual la habas aprendido en la escuela primaria. Seguramente lo
records.
Divisin entera: D d
r c
Dados dos nmeros enteros D y d, existen y son nicos otros dos enteros c y r tales que:
D = d c + r con 0 r < d
D se llama DIVIDENDO, d es el DIVISOR, c es el COCIENTE y r el RESTO de la divisin entera.
Esto se llama Algoritmo de la Divisin y se puede demostrar.
Ejemplos:
a) El cociente y el resto de la divisin entera de 17 por 3 son respectivamente:
c = 5 y r = 2 ya que 17 = 3 5 + 2 y 0 2 < 3
b) El cociente y el resto de la divisin entera de -8 por 5 son respectivamente:
c = -2 y r = 2 ya que -8 = 5 (-2) + 2 y 0 2 < 5
c) El cociente y el resto de la divisin entera de -13 por -4 son respectivamente:
c = 4 y r = 3 ya que -13 = (-4) 4 + 3 y 0 3 < 4
d) El cociente y el resto de la divisin entera de 15 por -6 son respectivamente:
c = -2 y r = 3 ya que 15 = (-6) (-2) + 3 y 0 2 < 3
Tratemos de generalizar un poco lo que hemos observado en los cuatro casos anteriores:
Si d 0 : c = ent(D/d) r = mant(D/d) d
Por ejemplo, en los casos a) y b) anteriores:
e
d
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 37
a) En reales:
17
3
= 5.66666666666666
entonces: c = ent (
17
3
) = 5 r = mant (
17
3
) 3 = 0.66666666 3 = 2
b) En reales:
-8
5
= -1.6
entonces: c = ent (
-8
5
) = -2 r = mant (
-8
5
) 5 = 0.4 5 = 2
Si d < 0: d = -d se resuelve esta divisin como en los casos anteriores obteniendo:
c = ent (D/d) r = mant (D/d) d Luego: c = - c r = r
Por ejemplo, en los casos c) y d) anteriores:
c) Resolvemos:
-13
4
en reales:
-13
4
= -3.25
entonces: c = ent (
-13
4
) = -4 r = mant (
-13
4
) 4 = 0.75 4 = 3
Por lo tanto el cociente y resto de la divisin de -13 por -4 son: c = - c = 4 r = r = 3
d) Resolvemos:
15
6
en reales:
15
6
= 2.5
entonces: c = ent (
15
6
) = 2 r = mant (
15
6
) 6 = 0.5 6 = 3
Por lo tanto el cociente y resto de la divisin de 15 por -6 son: c = - c = -2 r = r = 3
Divisibilidad
Sean a, b , con a 0: ab k / b = k a
Se lee:
a divide a b
a es divisor de b
b es mltiplo de a
b es divisible por a
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 38
Propiedades:
1) a e , a = 0: a | a
2) a, b, c e , a = 0 . b = 0: a | b . b | c entonces a | c
3) a, b, c e , a = 0: a | b . a | c entonces a | b + c
4) a, b e , a = 0 : a | b . k e entonces a | k b
Los nmeros enteros n que slo son divisibles por 1, -1, n, -n se llaman PRIMOS.
Los primeros nmeros primos son: 2, 3, 5, 7, 11, 13, 17, 19, 23, ....y sus opuestos!!!!!
Los matemticos han demostrado que existen infinitos nmeros primos, pero an no encontraron una frmula
general para obtenerlos.
Por qu son importantes los nmeros primos?
Pues cumplen muchas propiedades que no cumplen los nmeros compuestos (los que no son primos ).
Los nmeros 1, -1, 0 no son primos pero tampoco compuestos, son casos particulares.
Por ejemplo, pensemos si el siguiente condicional es verdadero o falso:
Sean, n, a, b e : Si n , a - b entonces n , a v n , b
Este condicional es FALSO, pues por ejemplo: 6 , 4 - 9 pero no es cierto que (6 , 4 v 6 , 9)
En cambio si nos dijeran que el nmero n es primo, entonces s la propiedad es cierta y se puede demostrar
fcilmente. Es la que enunciamos a continuacin:
Propiedad: Si p , a - b . p: primo p , a v p , b
Teorema fundamental de la aritmtica
Todo nmero entero distinto de 0, 1 y -1, es o bien primo o se puede escribir como producto de factores primos
de manera nica salvo el orden.
Ejemplo:
84 = 2
2
- 3 - 7 165 = 3 - 5 - 11
A continuacin demostraremos un ejercicio de divisibilidad:
5| 23
n
- 18
n
, n e
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 39
Para demostrar esta propiedad vamos a utilizar induccin completa.
Nos conviene escribir la proposicin en forma de igualdad, de esta forma:
P(n): 23
n
- 18
n
= 5 k k
Paso base:
n =1: 23
1
18
1
= 5 = 5 1 1
Paso inductivo:
Hip. Ind: 23
h
18
h
= 5 k k
Tesis Ind: 23
h+1
18
h+1
= 5 t t
Dem./ 23
h+1
18
h+1
= 23
h
23 18
h
18 = 23
h
( 5 + 18 ) 18
h
18 =
= 5 23
h
+ 18 ( 23
h
18
h
) = 5 23
h
+ 18 5 k = 5 (23
h
+ 18 k ) = 5 t
Pues 23
h
+ 18 k por ser productos y suma de enteros.
Por lo tanto, por principio de induccin, n se cumple p(n) es verdadera
MCM (mnimo comn mltiplo) y MCD (mximo comn divisor)
Sean a, b , no simultneamente nulos, y sea m
+
, entonces m = m.c.m. (a,b) si y slo si se
cumplen las siguientes condiciones:
1) a | m
2) b | m
3) Si m 0: a | m b | m m | m
Sean a, b , no simultneamente nulos, y sea d
+
, entonces d = m.c.d. (a,b) si y slo si se cumplen
las siguientes condiciones:
1) d | a
2) d | b
3) Si d 0 : d | a d | b d | d
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 40
Notaciones:
m.c.m.(a,b) = [ a, b ] m.c.d.(a,b) = ( a, b )
Tengamos en cuenta que:
Si a = 0 b = 0 entonces m.c.m.(a,b) = 0 = mcm(a,b)
Propiedad del MCD entre dos enteros: puede ser escrito como combinacin lineal entera de dichos enteros
Si d = m.c.d.(a,b) entonces k
1
, k
2
tales que d = k
1
a + k
2
b
Propiedad del MCM y MCD: el producto de ambos es igual al mdulo de a b
( a,b ) [ a,b] = a b
Por ejemplo:
Dados los enteros: a = 64 y b = 48, vamos a calcular el m.c.d.(64,48) y el m.c.m.(64,48)
Primero factoreamos ambos nmeros: 64 = 2
6
48 = 2
4
3
Entonces: m.c.d.(64,48) = 2
4
= 16 y m.c.m.(64,48) = 2
6
3 = 192
El producto: 16 192 es 3072 que es igual al producto 64 48 = 3072
Podemos escribir al 16 como combinacin lineal entera de 64 y 48: 16 = 1 64 + (-1) 48
Cmo encontramos los dos enteros s y t para escribir al m.c.d.(a,b) como combinacin lineal entera de ambos
cuando no se ven a simple vista?
Una forma es utilizando el Algoritmo de Euclides para calcular el mximo comn divisor por sucesivas divisiones.
Veamos
Algoritmo de Euclides para calcular el mximo comn divisor
Dados dos enteros a y b, el m.c.d.(a,b) = m.c.d.(b,r) siendo r el resto de la divisin de a por b. Esta propiedad
puede demostrarse.
Volvemos a aplicar esta propiedad, es decir m.c.d.(b,r) = m.c.d.(r, r
1
) siendo r
1
el resto de la divisin de b por
r. Luego m.c.d.(r, r
1
) = m.c.d.(r
1
,r
2
) siendo r
2
el resto de la divisin de r por r
1
. Y as sucesivamente hasta
llegar a un resto igual a cero. De esta manera se puede encontrar el m.c.d. entre dos enteros dados, ya que es el
ltimo resto no nulo.
Por ejemplo:
Vamos a calcular el m.c.d.(720, 224). Para ello realizamos las siguientes divisiones enteras sucesivas:
1) 720 / 224 c = 3 r = 48
2) 224 / 48 c
1
= 4 r
1
= 32
3) 48 / 32 c
2
= 1 r
2
= 16
4) 32 / 16 c
3
= 2 r
3
= 0
e
e
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 41
Entonces m.c.d.(720,224) = 16
Tambin se puede hacer en forma matricial:
Primero se coloca la matriz identidad de orden 2, y en una tercer columna los dos nmeros enteros, siendo el
mayor el de la primera fila.
1 0 720 F
1
0 1 224 F
2
La idea es ir obteniendo nuevas filas, siempre operando con las ltimas dos anteriores, de modo de restar de la
anteltima la mayor cantidad de veces que entra el trmino independiente de la ltima. En realidad es hacer la
divisin entera y restar el cociente por el elemento de la ltima fila.
Por ejemplo, en este caso, al dividir 720 por 224, se obtiene cociente 3, entonces vamos a restar 3 veces la fila 2
de la fila 1, la resta se hace en toda la fila:
1 0 720 F
1
0 1 224 F
2
1 -3 48 F
3
= F
1
3 F
2
Y luego seguimos este procedimiento hasta llegar a un valor nulo. El anterior al nulo es el mximo comn divisor.
1 0 720 F
1
0 1 224 F
2
1 -3 48 F
3
= F
1
3 F
2
-4 13 32 F
4
= F
2
4 F
3
5 -16 16 F
5
= F
3
F
4
0 F
6
= F
4
2 F
5
Obtenemos que m.c.d.(720,224) = 16 y adems: 16 = 5 720 + (-16) 16
TEOREMA DE BEZAUT
Este Teorema enuncia que:
Dados dos enteros a y b, entonces m.c.d.(a,b) = 1 1 = s a + t b con s,t
Este teorema nos sirve para demostrar que dos enteros son coprimos, o sea que su m.c.d. es 1 solamente
demostrando que 1 es combinacin lineal entera de ambos.
Ejemplo 1:
Como 1 = 3 8541 + (-2) 12811 entonces podemos asegurar que m.c.d.(8541, 12811) = 1
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 42
Ejemplo 2:
Dos enteros consecutivos siempre son coprimos. ( m.c.d.(x, x+1) = 1 )
Ya que 1 (x+1) + (-1) x = 1
Ejemplo 3:
Sabiendo que a y b son coprimos, podemos demostrar que a y a+b tambin lo son.
Podemos demostrarlo:
1 = s a + t b con s, t Z 1 = s a + t (b+a-a) 1 = s a + t (b+a) t a
1 = (s-t) a + t (b+a) 1 = k a + t (b+a) con k Z pues es resta de dos enteros.
m.c.d.(a, a+b) = 1
En la Gua de TP pods resolver los ejercicios de enteros (4.1 al 4.7). Cualquier duda, no dudes en consultar a tus
tutores.
A continuacin veremos el ltimo tema de esta primera unidad, que es la base para poder entender luego la
representacin numrica en las computadoras, as como tambin para comprender lo que vas a estudiar en otra
asignatura llamada Arquitectura de computadoras.
SISTEMAS DE NUMERACION
Desde hace mucho tiempo, el hombre ha utilizado smbolos para representar los nmeros. Un sistema de
numeracin conocido es el romano, el cual consta de los smbolos I, V, X, L, C, D, M, donde cada uno
representa una cantidad fija y hay ciertas reglas para formar los otros nmeros.
El sistema de numeracin utilizado por nosotros es posicional ya que cada smbolo tiene distinto valor segn la
posicin en la que se encuentra (unidades, decenas, centenas, etc.) Se usan 10 smbolos, por eso nuestro sistema
se llama decimal. Pero las computadoras representan los nmeros en otro sistema, que es el binario (utilizando
nicamente dos smbolos 0 y 1), o bien el hexadecimal, que utiliza 16 smbolos. Para poder comprender bien estos
otros sistemas, repasemos un poco nuestro sistema decimal.
Expresin polinmica de un nmero entero:
Pensemos en un nmero entero, por ejemplo: x = 5684379
Recordemos que podemos escribirlo de la siguiente manera:
x = 5 10
6
+ 6 10
5
+ 8 10
4
+ 4 10
3
+ 3 10
2
+ 7 10 + 9

Esta forma se denomina expresin o descomposicin polinmica en funcin de la base, que es 10 en este caso.
e
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 43
Generalizando:
Sea x un nmero decimal entero, formado por los dgitos:
x
n
x
n-1
... x
1
x
0
con x
i
{ 0,1,2,3,4,5,6,7,8,9}
Entonces dicho nmero significa: x = x
n
10
n
+ x
n-1
10
n-1
+ ... + x
1
10 + x
0
Lo mismo ocurre con otros sistemas de numeracin posicionales, que en vez de utilizar como base al 10, utilizan
otras.
Sistema Cantidad de Smbolos Smbolos
binario 2 0, 1
base 3 3 0, 1, 2
base 4 4 0, 1, 2, 3
.............
base 11 11 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A
.............
base 16 16 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B, C, D, E, F
En cada uno de ellos, la notacin posicional es equivalente a la polinmica. O sea:
x
n
x
n-1
... x
1
x
0
= x
n
b
n
+ x
n-1
b
n-1
+ ... + x
1
b + x
0
donde b es la base.
Ten en cuenta que el nmero b, la base, es un nmero distinto de 1, pods explicarlo?, pensalo en funcin de la
descomposicin factorial, donde la base, b, est elevada a distintas potencias, tiene sentido 1
m
?
Ejemplo:
Si queremos representar 5 unidades en el sistema de base 3, pensemos que 5 = 1 3
1
+ 2 3
0
, entonces, el 5
en base 3 se escribe:12
3
Si queremos representar 59 unidades en el sistema hexadecimal, pensemos que 59 = 3 16 + 11 , entonces se
escribe: 3 B
Pasaje de nmeros de otras bases a base 10
Para realizar este pasaje se desarrolla la expresin polinmica y se hace la cuenta en decimal.
Ejemplo: 20121
3
= 2 3
4
+ 0 3
3
+ 1 3
2
+ 2 3 + 1 = 178
10
Consideremos que puede utilizarse la regla de Ruffini tomando como coeficientes del dividendo a los dgitos del
nmero dado ordenados de mayor a menor y el divisor es x b (siendo b la base). El valor equivalente en decimal
es el resto de la divisin.
e
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 44
Tomando el mismo ejemplo anterior: 20121
3
2 0 1 2 1
3 6 18 57 177
2 6 19 59 178 este es el valor en decimal
Pasaje de nmeros decimales a otras bases
Si consideramos el nmero x = 3269 expresado en base 10, y queremos por ejemplo expresarlo en base 4,
podemos tratar de descomponerlo de la siguiente forma:
x = x
5
4
5
+ x
4
4
4
+ x
3
4
3
+ x
2
4
2
+ x
1
4 + x
0
Aclaramos que no consideramos potencias mayores ya que en este caso 4
6
= 4096 es mayor que nuestro
nmero,
Si sacamos factor comn 4 nos queda entre todos los trminos excepto el ltimo:
x = 4 ( x
5
4
4
+ x
4
4
3
+ x
3
4
2
+ x
2
4 + x
1
) + x
0
podemos observar que esta expresin se puede interpretar como una divisin entera de x por 4, cuyo resto es x
0
y el cociente es c = x
5
4
4
+ x
4
4
3
+ x
3
4
2
+ x
2
4 + x
1
.
Es decir que el valor de x
0
es el resto de la divisin del nmero dado por 4.
Si repetimos esto con el cociente: c = x
5
4
4
+ x
4
4
3
+ x
3
4
2
+ x
2
4 + x
1
Sacando factor comn nuevamente 4: c = 4 ( x
5
4
3
+ x
4
4
2
+ x
3
4 + x
2
) + x
1
Vemos que el valor de x
1
es el resto de la divisin del primer cociente por 4.
Nuevamente aplicamos lo mismo con el nuevo cociente obtenido:
c= x
5
4
3
+ x
4
4
2
+ x
3
4 + x
2
= 4 ( x
5
4
2
+ x
4
4 + x
3
) + x
2
con lo cual el valor de x
2
es el resto de la divisin del segundo cociente por 4.
Nuevamente aplicamos lo mismo con el nuevo cociente obtenido:
c = x
5
4
2
+ x
4
4 + x
3
= 4 ( x
5
4 + x
4
) + x
3
con lo cual el valor de x
3
es el resto de la divisin del tercer cociente por 4.
Finalmente (en este caso) consideramos el nuevo cociente obtenido:
c = x
5
4 + x
4
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 45
con lo cual el valor de x
4
es el resto de la divisin del cuarto cociente por 4 y el valor de x
5
es el cociente de esta
ltima divisin entera.
Haciendo las cuentas:
Primera divisin: 3269 = 4 817 + 1 entonces x
0
= 1
Segunda divisin: 817 = 4 204 + 1 entonces x
1
= 1
Tercera divisin: 204 = 4 51 + 0 entonces x
2
= 0
Cuarta divisin: 51 = 4 12 + 3 entonces x
3
= 3
Primera divisin: 12 = 4 3 + 0 entonces x
4
= 0 y x
5
= 3
Escribiendo el nmero: 3269 = 303011
4
Generalicemos:
Sea x un nmero decimal que deseamos escribir en base b.
x = x
n
b
n
+ x
n-1
b
n-1
+ ... + x
2
b
2
+ x
1
b + x
0
Sacamos factor comn b:
x = b ( x
n
b
n-1
+ x
n-1
b
n-2
+ ... + x
2
b + x
1
) + x
0
Se puede interpretar como la divisin de x por b, donde el cociente es c y el resto es x
0
.
Anlogamente, consideramos el cociente c:
c = b ( x
n
b
n-2
+ x
n-1
b
n-3
+ ... + x
3
b + x
2
) + x
1
con lo cual x
1
es el resto de la divisin.
Se contina as hasta que el cociente sea cero.
Ejemplo:
Expresar 4798
10
en base 4
Podemos efectuar las divisiones con la disposicin prctica:
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 46
4798 4
07 1199 4
39 39 299 4
38 39 19 74 4
2 3 3 34 18 4
2 2 4 4
0 1 4
1 0
Por lo tanto leyendo de atrs hacia delante los restos: 4798
10
= 1022332
4
Un ejercicio para que practiques:
Escrib 10423
5
en base 10 y luego expresalo en base 2.
Al final de la unidad vas a encontrar la Tabla de Equivalencias entre diferentes bases, de los
primeros 40 nmeros naturales.
Pasaje de una base a otra que sea potencia
Existen algunos casos en que se puede pasar de una base a otra sin necesidad de utilizar como intermedia la
decimal. Esos casos son aquellos en los que una de las bases es potencia de otra.
Pasaje de Base 2 a Base 4 : como 4 = 2
2
, entonces se toman los dgitos de dos en dos.
Ejemplo:
Base 2 : 1 0 1 1 0 1 1 1 0 0 1 0 1 1
Base 4 : 2 3 1 3 0 2 3
Pasaje de Base 2 a Base 8: como 8 = 2
3
, entonces se toman los dgitos de tres en tres.
Ejemplo:
Base 2 : 1 0 1 1 0 1 1 1 0 0 1 0 1 1
Base 8 : 2 6 7 1 3
e
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 47
Pasaje de Base 2 a Base 16 : como 16 = 2
4
, entonces se toman los dgitos de ......... en ..........
Ejemplo:
Base 2 : 10 1101 1100 1011
Base 16 : 2 D C B
Pasaje de Base 4 a Base 16 : como 16 = 4
2
, entonces se toman los dgitos de ....... en ..........
Ejemplo:
Base 4 : : 2 3 1 3 0 2 3
Base 16 : 2 D C B
No slo esto se puede usar para pasar de bases potencias de 2, sino para potencias de cualquier base, por
ejemplo de 3:
Pasaje de Base 3 a Base 9 : como 9 = 3
2
, entonces se toman los dgitos de tres en tres
Base 3 : 1 0 1 2 0 1 1 2 2 0
Base 9 : 3 5 1 5 6
Operaciones en las distintas bases
Si bien este tema vas a estudiarlo con ms detalle en otra asignatura (Arquitectura de computadores), te
comentamos brevemente como se realizan las operaciones en las diferentes bases. En realidad, se resuelven de la
misma manera que en el sistema decimal pero teniendo en cuenta la tabla en la base correspondiente.
Suma:
Se van sumando los dgitos desde la derecha y si nos pasamos se le pasa al de la izquierda, igual que en decimal,
pero con la correspondiente tabla.
Ejemplo de suma en binario:
1 1 0 1 0 1 0 1 0 1 (853 decimal)
+
0 1 0 1 1 0 0 1 1 1 (359 decimal)
1 0 0 1 0 1 1 1 1 0 0 (1212 decimal)
e
e
B
B
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 48
Resolv: B0C0EF
16
+ 123A0
16
+ 1453CF
16
=
1000111
2
+ 1213072
8
=
Resta:
Cmo rests en decimal?
Por ejemplo, para hacer 834 - 567, debemos pedir prestado ya que no podemos restar 7 de 4.
Lo mismo puede utilizarse para las restas en otras bases. Pero hay un procedimiento mejor para ello, que emplea
suma en vez de resta:
Resta por Suma de Complemento a la Base menos 1
Observ esto:
Mtodo tradicional Complemento a la (base -1)
8 3 4 Minuendo 8 3 4
- 5 6 7 Complemento a 9 (10-1) del sustraendo + 4 3 2
2 6 7 Agrego un 1 1
Sumo todo 1 2 6 7
Qu obtenemos? El primer uno se descarta y nos queda el resultado.
Por qu este mtodo es muy prctico en binario?
Porque en binario, el complemento a 1 es simplemente cuestin de cambiar ceros por unos y unos por ceros.
Ejemplo:
Resolvamos por medio de complemento a la base menos 1:
1 0 0 1 0 1 1 1 1 0 0
2
- 1 0 1 1 0 0 1 1 1
2
=
No lo olvides: debemos completar el sustraendo para que tenga la misma cantidad de dgitos que el minuendo.
e
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 49
1 0 0 1 0 1 1 1 1 0 0
2
se copia igual: 1 0 0 1 0 1 1 1 1 0 0
2

- 0 0 1 0 1 1 0 0 1 1 1
2
lo complemento: 1 1 0 1 0 0 1 1 0 0 0
2
Agrego un 1: 1
2
Sumamos todo: 1 0 1 1 0 1 0 1 0 1 0 1
2

Descartamos el primer 1: 0 1 1 0 1 0 1 0 1 0 1
2
Este nmero es: 1 1 1 0 1 0 1 0 1 0 1
2
= 1 + 4 + 16 + 64 + 256 + 512 = 853
Multiplicaciones y divisiones:
Se hacen teniendo en cuenta las tablas en cada base. En esta asignatura no vamos a profundizarlas.
Para finalizar resolv los siguientes ejercicios:
1) Calcula x: 1645
x
- 571
x
= 1064
x
2) Calcula x: 203
x
1010
x
= 205030
x
3) Halla b: 11
b
35
b
= 385
b
4) Halla b: 111
b
10101
b
5) Halla h: 4h3
5
= h30
9
6) Un nmero de tres cifras x
2
x
1
x
0
en base 3 representa 5/8 de lo que representa en base 4. Halla dichos
dgitos y escribe el nmero en base 2.
Con esto damos por finalizada la Unidad 1. Una vez que hayas completado todos los ejercicios de
la gua, te propondremos una autoevaluacin antes de pasar a la segunda unidad. Buena
suerte!!!!
1 0 0 1 0 1 1 1 1 0 0
2
se copia igual: 1 0 0 1 0 1 1 1 1 0 0
2

- 0 0 1 0 1 1 0 0 1 1 1
2
lo complemento: 1 1 0 1 0 0 1 1 0 0 0
2
Agrego un 1: 1
2
Sumamos todo: 1 0 1 1 0 1 0 1 0 1 0 1
2

Descartamos el primer 1: 0 1 1 0 1 0 1 0 1 0 1
2
NUMEROS NATURALES Y NUMEROS ENTEROS
Unidad 1 50
Tabla de equivalencias entre distintas bases:
Para que tengas a mano, a continuacin hay una tabla de los primeros 40 nmeros naturales, expresados en
distintas bases.
Decimal Binario Base 3 Base 4 Base 5 base 8 Base 16
1 1 1 1 1 1 1
2 10 2 2 2 2 2
3 11 10 3 3 3 3
4 100 11 10 4 4 4
5 101 12 11 10 5 5
6 110 20 12 11 6 6
7 111 21 13 12 7 7
8 1000 22 20 13 10 8
9 1001 100 21 14 11 9
10 1010 101 22 20 12 A
11 1011 102 23 21 13 B
12 1100 110 30 22 14 C
13 1101 111 31 23 15 D
14 1110 112 32 24 16 E
15 1111 120 33 30 17 F
16 10000 121 100 31 20 10
17 10001 122 101 32 21 11
18 10010 200 102 33 22 12
19 10011 201 103 34 23 13
20 10100 202 110 40 24 14
21 10101 210 111 41 25 15
22 10110 211 112 42 26 16
23 10111 212 113 43 27 17
24 11000 220 120 44 30 18
25 11001 221 121 100 31 19
26 11010 222 122 101 32 1A
27 11011 1000 123 102 33 1B
28 11100 1001 130 103 34 1C
29 11101 1002 131 104 35 1D
30 11110 1010 132 110 36 1E
31 11111 1011 133 111 37 1F
32 100000 1012 200 112 40 20
33 100001 1020 201 113 41 21
34 100010 1021 202 114 42 22
35 100011 1022 203 120 43 23
36 100100 1100 210 121 44 24
37 100101 1101 211 122 45 25
38 100110 1102 212 123 46 26
39 100111 1110 213 124 47 27
40 101000 1111 220 130 50 28