1

LGEBRA Y LGICA
LGEBRA I


APUNTES DE CLASE




Escritos por la Profesora Nora Andrada

2

Teas

El C!lc"lo Proposicional

l#e$ra de Con%"ntos

Co$inatoria

N&eros Enteros

N&eros Cople%os

Polinoios


3

EL CLCULO PROPOSICIONAL

Introduccin

En la vida diaria, y en el desarrollo de cualquier ciencia deductiva, por ejemplo
las matemticas, se utilizan ciertas construcciones gramaticales denominadas
enunciados o proposiciones, es decir una oracin declarativa que es verdadera o falsa,
por ejemplo:

(a) 2+2=4
(b) Todos los hombres son mortales.
(c) La vida es hermosa.
(d) Existen infinitos enteros primos.

Algunas de estas afirmaciones se consideran a veces vlidas a priori, es decir sin
demostracin previa, y son los denominados axiomas :
Por un punto exterior a una recta pasa una y slo una paralela, es un axioma de la
geometra euclideana.
Es decir, entendemos por una proposicin a una sentencia del lenguaje que es
verdadera (V) o falsa (F). La verdad o falsedad de una proposicin es su valor de
verdad. Denotaremos la proposiciones con las letras P , Q , R, etc. Naturalmente,
nosotros estamos ms interesados en proposiciones como la de los ejemplos (a) y (d) ,
que corresponden al terreno de las matemticas, si bien (b) y (c) son ejemplos legtimos
de proposiciones. Podra argirse que (c) no es exactamente una proposicin en virtud
de que su validez depende de una interpretacin individual. Pero nuestro objetivo aqu
es sintctico, es decir cmo obtener nuevas proposiciones a partir de otras
proposiciones.
Las proposiciones pueden ser combinadas entre ellas formando proposiciones
compuestas, mediante nexos llamados conectivos lgicos. En este sentido las
proposiciones:
Si la vida es hermosa entonces 2+2 = 4.
Si Juan tiene 16 aos, entonces no termin el secundario.
se obtienen combinando otras proposiciones mediante un formato comn que se puede
sintetizar: ''Si P entonces Q ''

En una ciencia deductiva, la verdad o falsedad de ciertas proposiciones permite
hacer inferencias o tomar decisiones posteriores.

Si todo hombre es mortal y Scrates es hombre, entonces Scrates es mortal,
es una inferencia tpicamente filosfica.
Si es ab>0 entonces debe ser a>0 y b>0, o debe ser a<0 y b<0 , es una
inferencia tpicamente matemtica.
Si c>0 y x<1 entonces continuar el procedimiento, si c=0 o si 1<x entonces
finalizar el procedimiento, es una instruccin tpica de un programa de computacin.

El clculo proposicional es un mtodo algebraico de clculo con
proposiciones, donde los valores de verdad de ciertas proposiciones llamadas
compuestas se deducen de los valores de verdad de otras proposiciones ms simples. En
este sentido, para construir dicho clculo PROPOSICIONAL, slo estamos interesados
en los dos posibles valores de verdad: V , F que puede tomar ciertas proposiciones P,
4

Q, R , ect. que intervienen en una determinada construccin. Entonces, si consideramos
a P, Q, R como variables que toman los valores en = {V , F }, podemos definir
operaciones entre estas variables. Estas operaciones pueden ser 1-arias , 2-arias, 3-
arias, etc.
Nosotros slo definiremos una operacin 1-aria (unaria) y todas las 2-arias
(binarias).

Negacin lgica:
Esta es una operacin 1-aria, que consiste en, dada un proposicin P negar lo
que ella afirma. Obtenemos as una nueva proposicin que indicaremos P. Es claro
que si P es verdadera P ser falsa.
La siguiente Tabla define P , la negacin de P:

P P
F V
V F

Ahora definiremos las operaciones binarias. Si llamamos = {V , F }, hay 4
elementos en x , a saber (F,F), (F,V), (V,F) y (V,V) . Cualquier funcin de x en
debe asignar un valor, o F o V , a cada uno de esos elementos. Como a cada uno de
esos cuatro elementos se le puede asignar uno de los dos valores F o V, hay 16 posibles
funciones de x en . En la siguiente tabla mostramos todas las funciones posibles:

P Q 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
F F F F F F F F F F V V V V V V V V
F V F F F F V V V V F F F F V V V V
V F F F V V F F V V F F V V F F V V
V V F V F V F V F V F V F V F V F V

Tabla 1

En la Tabla 1 estn representadas todas las asignaciones posibles de valores de
verdad para dos argumentos P y Q, luego, no importa cuan compleja sea una
proposicin construida a partir de dos proposiciones bsicas, siempre ser posible
calcular su valor de verdad, si podemos verificar leyes.
Observando esta Tabla encontramos la representacin para las operaciones o
conectivos que queremos definir.

Columna 1:
Conjuncin lgica: responde a P y Q . Intuitivamente es claro que esta nueva
proposicin es cierta o verdadera s, y slo s, tanto P como Q son verdaderas.
Definimos entonces la conjuncin de P y Q , que indicaremos PQ , mediante la
siguiente tabla:

P Q PQ
F F F
F V F
V F F
V V V
5

Columna 7:
Disyuncin Lgica : Es una operacin binaria que corresponde a la
expresin P o Q , pensando la palabra o en sentido incluyente, lo cual significa que
P o Q es verdadera si P es verdadera o Q es verdadera o ambas lo son. La siguiente
Tabla define entonces la disyuncin P o Q , que indicaremos PQ :


P Q PQ
F F F
F V V
V F V
V V V



Columna 6:
Inequivalencia Lgica: esta operacin binaria corresponde al o excluyente ,
el nombre de inequivalencia responde al hecho de que la proposicin compuesta P o Q
tiene valor de verdad V cuando P y Q tienen valores de verdad distintos, y F cuando
tienen el mismo valor de verdad. La siguiente tabla define entonces la inequivalencia,
que indicaremos P Q
P Q P Q
F F F
F V V
V F V
V V F


Se observa tambin que P est representada en la columna 3 , P en la columna
12 , Q en la columna 5 y Q en la columna 10. La columna 15 es universalmente
verdadero y la columna 0 universalmente falsos .
En general, dada una columna n de la Tabla, la columna 15 - n , corresponde a
su negacin.
As: la columna 7 representa la disyuncin (PQ) y la columna 8, su negacin ( ni ).

Columna 13:
esta una nueva operacin entre proposiciones, la llamamos condicional o
implicacin e indicamos PQ. que responde a la expresin si P entonces Q o P
implica Q. La tabla de valor de verdad del condicional, es:

P Q P Q
F F V
F V V
V F F
V V V


La columna 15 - 13 = 2 representa la negacin de P implica Q .

6

De igual modo, la columna 9 responde a la expresin P si y slo si Q,
operacin que denominamos bicondicional o equivalencia, e indicamos P Q . Luego
la tabla de valor de verdad de esta operacin es:

P Q P Q
F F V
F V F
V F F
V V V

La columna 15-9 = 6 representa la negacin de P si, y slo si Q, que no es sino
la inequivalencia.
Observemos que la columna 11 representa la operacin Q P .



POLINOMIOS BOOLEANOS

Las sumas, productos y diferencias de variables x y z , , ,..., bajo las reglas usuales
del lgebra ordinaria, constituyen los Polinomios en esas variables.
Por ejemplo: f (x, y) = x.x.y + x.y.y - y.y.y
= x
2
y + x y
2
- y
3

Si en ese polinomio se reemplaza cada una de las variables por nmeros reales
x
0
, y
0
,... , la expresin f(x
0
, y
0
) es ella misma un nmero real.

De igual modo, si P, Q, R, ... son variables proposicionales, combinando estas
variables con los conectivos , , ~, , , se obtienen expresiones llamadas
Polinomios Booleanos.

Ejemplo: A (P, Q ) = (P Q ) (~P )
B ( P, Q, R ) = ( P Q ) R
son polinomios booleanos en dos y tres variables, respectivamente.

Tambin puede operarse con polinomios booleanos, de modo que puede hablarse
de conjuncin, negacin, disyuncin, etc., de polinomios booleanos.

Ejemplo: A (P, Q) B ( P, Q, R ) = [(P Q ) (~P )] [ ( P Q ) R ]

Reemplazando las variables P, Q, R, ... de un polinomio booleano A (P, Q, R,
...)
por valores particulares P
0
, Q
0
, R
0 ,. . .
la expresin

A (P
0
, Q
0
, R
0
, ...) tiene valor F o V,
luego es ella misma una proposicin.

Ejemplo: A (P, Q) = ~(P ~ Q )
Sean P
0
= 2 x es impar. y Q
0
= 3 es un nmero primo.

no es cierto que 2x es par y 3 no es un nmero primo resulta verdadera.

7

Sean P
0
, Q
0
, R
0
, ... proposiciones particulares cuyo valor de verdad coinciden,
respectivamente con los de las proposiciones P
1
, Q
1
, R
1
, ..., entonces A (P
0
, Q
0
, R
0
, ...)
tiene el mismo valor de verdad que A (P
1
, Q
1
, R
1
, ...).
Por ello, el valor de verdad de un Polinomio Booleano evaluado sobre
enunciados particulares depende slo de los valores de verdad de los enunciados y no de
los enunciados mismos. As hablamos del valor de verdad de cada una de las variables
P, Q, R, ... y del valor de verdad del Polinomio.
El modo de determinar el valor de verdad de un Polinomio Booleano es a travs
de los valores de verdad de las variables que lo integran, mediante la construccin de
una Tabla de valor de verdad.

Ejemplo: A (P, Q, R ) = (P Q ) [ ( ~Q P) R ]


P Q R P Q ~Q ~Q P (~Q P) R (P Q ) [ ( ~Q P) R ]
F F F F V F F V
F F V F V F V V
F V F F F F F V
F V V F F F V V
V F F F V V V V
V F V F V V V V
V V F V F F F F
V V V V F F V V

En la columna final se dan los valores de verdad para el Polinomio booleano
dado.
Una Tabla de Valor de Verdad es, entonces, un cuadro que muestra el valor de
verdad de un polinomio booleano para cada valor de veradd de las proposiciones
componenetes.

Definicin: Si para toda asignacin de valores de verdad de sus variables, un
polinomio booleano tiene valor V, entonces diremos que ese polinomio es una
tautologa.

Definicin: de igual modo, si para todo asignacin de valores de verdad de sus
variables, un polinomio booleano tiene valor de verdad F, diremos que es una
contradiccin.

Observemos entonces que si un polinomio booleano A (P, Q, R, ...) es una
tautologa, entonces ~ A (P, Q, R, ...), es una contradiccin.

Equivalencia lgica y Consecuencia lgica

Definicin: Dos polinomios booleanos en las variables P, Q, R, ...; A (P, Q, R,
...)
B ( P, Q, R ), son lgicamente equivalentes si y slo si tienen la misma tabla de valor
de verdad. Indicaremos A B.

Que dos polinomios booleanos sean equivalentes no significa que sean la misma
cosa. Por ejemplo: Si hoy es lunes entonces tengo clase, y Si x es par, entonces x es
8

divisible por dos. Ambas expresiones tienen la misma forma lgica ( P Q) y son
lgicamente equivalentes.

Teorema: Un polinomio booleano A(P, Q,...) es equivalente a otro B(P, Q,...) si
y slo si al establecer el bicondicional entre ellos se obtiene una tautologa.
Esto es, A B si y slo si A(P, Q,...) B(P, Q,...) es tautologa.

Demostracin: supongamos que A(P, Q,...) B(P, Q,...) es tautologa, entonces, para
todo valor de verdad de las variables P, Q, .. , A(P, Q,...) B(P, Q,...) es siempre V.
Esto significa que si A es V, debe ser B tambin V, y si A es F, debe ser el valor de
verdad de B tambin F. Luego ambos tienen la misma tabla de valor de verdad y, por lo
tanto, son equivalentes.
Recprocamente:
supongamos que A B , esto significa que ambos polinomios tienen la misma
tabla de valor de verdad. Consideremos un asignacin particular para las variables de A
y supongamos que A(P
0
, Q
0
,...) es V, entonces B (P
0
, Q
0
,...) debe ser V, luego AB es
V, pues ambos lo son. De igual modo, si A(P
0
, Q
0
,...) es F, debe ser B (P
0
, Q
0
,...)
tambin F por tener la misma tabla de valor e verdad, luego AB es V.
Resulta entonces que AB es tautolgico.


Propiedades de los conectivos lgicos

Mediante la equivalencia lgica, pueden expresarse las ms importantes
propiedades de los conectivos lgicos y leyes del clculo proposicional, demostrables
por las Tablas de Valor de Verdad correspondientes.

En la siguiente Tabla se resumen las propiedades del lgebra de Proposiciones:


LEYES DEL LGEBRA DE PROPOSICIONES
Leyes de Idempotencia
1a. PP P 1b. PP P

Leyes Asociativas
2a. (P Q ) R P (Q R) 2b. (PQ) R P(QR)

Leyes Conmutativas
3a. PQ Q P 3b. PQ Q P

Leyes Distributivas
4a. P(QR) (PQ) (PQ) 4b. P(QR) (PQ)(PR)

Leyes de Identidad
5a. PF P 5b. PV P
6a. P V V 6b. P F F

Leyes del Complemento
7a. P P V 7b. P P F
9

8a. P P 8b. V F , F V

Leyes de De Morgan
9a. (PQ) P Q 9b. (PQ) P Q


A ttulo de ejemplo, consideremos la siguiente propiedad de la Conjuncin:
Propiedad Distributiva respecto de la disyuncin: P (Q R) (PQ) (P R )


P Q R P
(QR) (PQ) (PR)
F F F F F V F F F
F F V F V V F F F
F V F F V V F F F
F V V F V V F F F
V F F F F V F F F
V F V V V V F V V
V V F V V V V V F
V V V V V V V V V

Como se observa, el bicondicional establecido entre P (Q R) y (PQ) (P R )
resulta tautolgico, luego P (Q R) (PQ) (P R ).

Consecuencia o implicacin lgica

Definicin: Diremos que A (P, Q, R, ...) implica lgicamente a B ( P, Q, R,...),
o que B ( P, Q, R,...) es consecuencia lgica de A (P, Q, R, ...), si para toda asignacin
de valores P
0
, Q
0
,... tales que A(P
0
, Q
0
,...) es V, resulta tambin que B (P
0
, Q
0
,...) es
V.
Indicaremos A (P, Q, R, ...) B ( P, Q, R,...), para indicar que el polinomio booleano
A implica lgicamente a B, o que B es consecuencia lgica de A.

Teorema: Un polinomio booleano A (P, Q, R, ...) implica formalmente el
polinomio booleano B ( P, Q, R,...) si y slo si A B es una tautologa.

Demostracin:
supongamos que A (P, Q, R, ...) B ( P, Q, R,...) es tautolgico,
entonces para todo valor de verdad de las variables P, Q, R,.. , A (P, Q, R, ...)
B ( P, Q, R,...) es verdadero. Luego, si A (P, Q, R, ...) es V, debe ser tambin V el valor
de verdad de
B ( P, Q, R,...), as resulta A (P, Q, R, ...) B ( P, Q, R,...) , esto es, B es consecuencia
lgica de A.
Recprocamente:
supongamos que B es consecuencia lgica de A, esto es A B, lo que significa
que para toda asignacin de valores de las variables de A, toda vez que A tiene valor de
verdad V, B tambin tiene valor de verdad V. Entonces resulta A B (por definicin
de ).

10

Puede generalizarse el concepto del teorema anterior, reemplazando el
polinomio A (P, Q, R, ...) por A
1

A
2
... A
n
, con A
i
polinomios booleanos en varias
variables, para todo subndice i = 1, 2, ..,n.
As: A
1

A
2
... A
n
B si y slo si siempre que A
1

A
2
... A
n
sean todos V, es B
tambin cierta.



11


q p (~p ~q)
12


13


14


M.T
por M.T
15


16



CUANTIFICADORES

Funciones proposicionales o funciones lgicas:

Sea A un conjunto cualquiera, explcita o implcitamente dado. Una funcin
proposicional sobre A es una expresin que denotamos por P(x), que tiene la propiedad
de que P(a) es Verdadera o Falsa para todo elemento a A.
Esto es, P(x) es una funcin proposicional sobre A si al reemplazar la variable x por un
elemento a A, se convierte en proposicin.

Ejemplo: P(x) : x es un nmero primo
P(x) es una funcin proposicional sobre Z.
As, 8 Z , entonces P(8): 8 es un nmero primo es una proposicin P. En
este caso el valor de verdad de P es F.

Si P(x) es una funcin proposicional sobre un conjunto A, entonces el conjunto
de elementos a A, tales que P(a) es verdadera, se llama Conjunto de validez de P(x),
que indicaremos V
P
.
V
P
= {x / x A, P(x) es verdadera}
V
P
= {x / P(x)}

Ejemplo 1: sea P(x): x + 2 < 7 est definida en N
entonces V
P
= {x N / x + 2< 7 }
V
P
= { 1, 2, 3, 4, 5, 6 } es su conjunto de validez.

Ejemplo 2: sea P(x): x + 5 < 2 definida sobre N.
Entonces su V
P
= { x N / x + 5 < 2 } =
Como se ve, el conjunto de validez de P(x), definida sobre A, puede ser todo A, algunos
elementos de A o ningn elemento de A.

Cuantificador Universal:

Sea P(x) una funcin proposicional sobre un conjunto A. Entonces,
anteponiendo a P(x) la expresin para todo elemento de A, obtenemos la proposicin:
para todo x en A, P(x) es verdadero
Simblicamente: xA, P(x) o x, P(x) y se lee para todo x en A se verifica
P(x).
es el Cuantificador Universal.
La expresin x, P(x), significa en definitiva que el conjunto de validez de
P(x) es todo A: V
P
= {x / P(x)} = A
Obsrvese que P(x) es una funcin proposicional y no tiene valor de verdad. En
cambio, precedindola de : x, P(x) es una proposicin y por lo tanto tiene un valor
de verdad.
Si {x / x A, P(x)} = A , entonces x, P(x) es V.
Si {x / x A, P(x)} A , entonces x, P(x) es F.


17

Cuantificador existencial:

De modo equivalente, si a P(x) le anteponemos la expresin existe un x en A,
resulta: existe un x en A tal que P(x) se verifica o para algn x, P(x)
En smbolos: x A, P(x) .
se lee existe y se denomina cuantificador existencial.

Si P(x): x + 4 7 definida sobre N, entonces x en N tal que P(x)
x N, tal que x + 4 7 es un proposicin V.
Si {x / x A, P(x) } entonces x A, P(x) es V.
Si {x / P(x) }= entonces x A, P(x) es F.

En el ejemplo: {x / x + 4 7} = {1, 2, 3 }, luego x N tal que P(x) es verdadero.



















18

LGEBRA DE CONJUNTOS
Ante la seguridad de que el tema de conjuntos ya es conocido, recordaremos aqu los
conceptos bsicos para su aplicacin y relacin con el Clculo Proposicional.
Conjuntos - Introduccin

Intuitivamente podramos decir que un conjunto es una clase bien definida de
objetos. El concepto bien definido significa que cualquiera sea el objeto considerado,
se puede determinar si est o no en el conjunto dado.
Los elementos que estn en el conjunto se llaman elementos del conjunto, y se
dice que pertenecen al conjunto. As, si a es un objeto que est en el conjunto A,
escribiremos aA (y se lee a pertenece a A ) y en caso contrario aA (y se lee a no
pertenece a A).
Un conjunto puede definirse enumerando los objetos que lo forman, como por
ejemplo:
A = { 1, 2, 3, 4, 5, 6} B = { 3, 5, 7}
En este caso se dice que el conjunto se ha definido por extensin. Solo los
conjuntos finitos pueden definirse por extensin.
Otra forma de definir un conjunto es indicando la propiedad que caracteriza los
objetos que estn en l, esto es los elementos que lo forman. Por ejemplo:
C = { x / x es nmero entero primo}
D = { x / x es nmero real tal que x
2
+ 4 x -1 = 0 }
En ente caso decimos que el conjunto ha sido definido por comprensin.
Por lo ya visto, la expresin x es un nmero entero primo es una funcin
proposicional, por lo que podramos simbolizarla por P(x). As C = {x/ P(x)}. En
general los conjuntos definidos por comprensin quedan caracterizados a travs de una
funcin proposicional. Recprocamente, dada una funcin proposicional Q(x) queda
determinado un conjunto A={x/ Q(x)}. Entonces aA es equivalente a decir Q(a), esto
es aA es verdadero es equivalente a decir Q(a) es proposicin verdadera.
Igualdad de conjuntos
Dos conjuntos son iguales cuando tienen los mismos elementos, es decir A = B,
si
para todo x, x A es equivalente a x B.
Inclusin
Sean A y B dos conjuntos, diremos que A est incluido en B, o que A es
subconjunto de B, si todo elemento de A lo es tambin de B. Esto es, A est incluido en
B si xA entonces xB. Simblicamente escribiremos AB para indicar que el
conjunto A est incluido en el conjunto B.
As, siendo B y C los conjuntos arriba definidos: B C.
Si un conjunto A est includo en otro B, diremos que A es un subconjunto de B.
19

Observacin: algunos autores definen la igualdad de conjuntos de la siguiente manera:
A = B si AB y BA.
Otra observacin: todo conjunto es subconjunto de si mismo, ya que siempre que xA,
entonces xA.

Algunos conjuntos especiales

Como los elementos que pueden estar en un conjunto pueden ser de cualquier
tipo, es oportuno introducir un conjunto universal. Habitualmente se trabaja con
subconjuntos de un conjunto al que llamaremos referencial o conjunto universal e
indicaremos simblicamente con U. Un conjunto universal U no contiene todo, sino que
es el universo del discurso en un momento determinado.
As, observando los conjuntos A, B, C y D definidos en los ejemplos anteriores,
vemos que los elementos de todos ellos son nmeros reales, esto es, el conjunto
universal es entonces U = R. En cambio, no podra considerarse para estos ejemplos,
que U = N.
Sea A ={ x / x entero, 2 x = 7 }. Se observa que A no tiene ningn elemento,
pues para todo valor de x, resulta 2x par y por lo tanto de 7.
Se ve entonces la necesidad de otro conjunto especial , llamado Conjunto
Vaco o Conjunto Nulo, que es el conjunto que no tiene elemento alguno. Podra
caracterizarse como = {x / x x}.
OPERACIONES CON CONJUNTOS
Complementacin
Sea U un conjunto universal y A U, un conjunto cualquiera.
Definicin : El complemento de A , indicado por A, est definido por
A = { x / x U y xA}
Ejemplo: Sea U={ x / x nmero dgito } , A = { 2, 4, 6, 8, 10} , B={ 1, 6}
entonces A = { 1, 3, 5, 7, 9} , B = { 2, 3, 4, 5, 7, 8, 9, 10 }

Definicin : Si A y B son conjuntos, el complemento relativo de A respecto de B
es B-A = { x / x B y x A }.
Si A = { x / x es un nmero entero primo} B= { x / x es nmero natural primo}
entonces A-B = { x / x es nmero primo negativo}.


Interseccin

Sea U un conjunto referencial y AU , BU ;llamaremos interseccin de A con
B al conjunto que denotaremos A B formado por los elementos comunes a ambos
conjuntos, es decir:
20

A B = { x U/ xA xB }

Ejemplo:
Si U = N , A ={ x / x es nmero natural / x 18 } y B = { x / x N , x es primo }
entonces A B = {x N/ x es un nmero primo x 18 }
A B = { 2, 3, 5, 7, 11, 13, 17 }

Si los conjuntos A y B estn definidos por comprensin por las funciones
proposicionales P(x) y Q(x), respectivamente, resulta que el conjunto AB est
definido por la funcin proposicional P(x) Q(x).
Es decir, si A={xU / P(x)}; B= {xU / Q(x)} entonces AB= {xU / P(x)
Q(x)}
Esto muestra que relacin existe entre la interseccin de conjuntos y la
disyuncin, relacin que permite probar las propiedades de la interseccin mediante las
propiedades de la disyuncin.

Si dos conjuntos no tienen elementos comunes, se dice que son disjuntos,
entonces podemos dar la siguiente definicin: A y B son disjuntos si AB = .


Unin

Sea U un conjunto referencial y AU, BU; llamaremos unin de A con B al
conjunto que denotaremos AB, formado por los elementos comunes y no comunes de
ambos conjuntos, es decir: AB = {xU/ xA xB}

Ejemplo: U = Z , A ={xU/ -2< x 7 } , B={ xU/ x es natural par x 12}
Entonces AB ={ -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12}

Si los conjuntos A y B estn definidos por comprensin por las funciones
proposicionales P(x) y Q(x), respectivamente, resulta que el conjunto AB est
definido por comprensin por la funcin proposicional P(x) Q(x), es decir:
Si A = { xU/P(x) } ; B= { xU/ Q(x) } entonces AB ={ xU/ P(x)
Q(x)}.

Como en la operacin anterior, esto muestra una relacin entre la unin y la
conjuncin, de modo que pueden probarse las propiedades de la primera mediante las
propiedades de la segunda.


Diferencia simtrica de conjuntos

Sea U un conjunto referencial y AU, BU. Llamaremos diferencia simtrica
de A con B al conjunto que denotaremos AB formado por los elementos de A o de B
pero no de ambos, es decir:
AB = { xU / xA xB }

Ejemplo:
Sea U = {xN/ x 12}, A = { xU/ x es par } , B={ xU/ x es mltiplo de 3}
21

Entonces AB = { xU /x es par x es mltiplo de 3} o tambin:
AB = {2, 3, 4, 8, 9, 12}

Si los conjuntos A, B estn definidos como antes, por las funciones
proposicionales P(x) y Q(x) respectivamente, entonces AB queda definido por la
funcin proposicional P(x) Q(x).

Si A = { xU/P(x) } ; B= { xU/ Q(x) } entonces AB ={ xU/ P(x) Q(x)}.


La siguiente Tabla muestra las propiedades de las operaciones de conjuntos:



LEYES DEL LGEBRA DE CONJUNTOS

Leyes de Idempotencia
1a. AA = A 1b. AA = A

Leyes Asociativas
2a. (A B)C = A(BC) 2b. (AB)C = A(BC)

Leyes Conmutativas
3a. AB = BA 3b. AB = B A

Leyes Distributivas
4a. A(BC) = (AB)(AC) 4b. A(BC) = (AB)(AC)

Leyes de Identidad
5a. A = A 5b. AU = A
6a. AU = U 6b. A =

Leyes de Complemento
7a. AA = U 7b. AA =
8a. (A) = A 8b. U = , = U

Leyes de De Morgan
9a. (AB) = AB 9b. (AB) = AB

Observando la similitud de las leyes que son vlidas en el lgebra de Conjuntos
y en el lgebra de Proposiciones y considerando la siguiente correspondencia entre
operaciones:

lgebra Proposiciones lgebra de Conjuntos
Negacin Complementacin
Conjuncin Interseccin
Disyuncin Unin

22

analizamos la posibilidad de considerar una estructura abstracta con operaciones que
verifiquen ciertos axiomas, de modo que cualquier propiedad vlida para esta estructura,
sea vlida tanto para el Clculo Proposicional como en el lgebra de Conjuntos.

En el cuadro siguiente se muestra el paralelismo entre las Leyes del lgebra de
Conjuntos y las del Clculo Proposicional.


Leyes del lgebra de Conjuntos

Leyes del Clculo Proposicional

De Idempotencia
1.a- AA = A
1.b- AA = A

De Idempotencia
1.a- PP P
1.b- PP P

Asociativas
2.a- A(BC) = (AB)C
2.b- A(BC) = (AB)C


Asociativas
2.a- P(QR) (PQ)R
2.b- P(QR) (PQ)R


Conmutativas
3.a- AB = BA
3.b- AB = BA

Conmutativas
3.a- PQ QP
3.b- PQ QP


Distributivas
4.a- A(BC) = (AB)(AC)
4.b- A(BC) = (AB)(AC)

Distributivas
4.a- P(QR) (PQ)(PR)
4.b- P(QR) (PQ)(PR)


De Identidad
5.a- A = A
5.b- AU = A


De Identidad
5.a- P F P
5.b- P V P
6.a- A U = U
6.b- A =

6.a- P V V
6.b- P F F


De Complemento
7.a- AA = U
7.b- AA =


De Complemento
7.a- P P V
7.b- P P F

8.a- (A) = A involucin
8.b- U = ; = U


8.a- (P) P involucin
8.b- V F ; F V

de De Morgan
9.a- (A B) = A B
9.b- (AB) = A B


de De Morgan
9.a- (PQ) P Q
9.b- (PQ) P Q

23

COMBINATORIA

Contar es hallar el cardinal de un conjunto. Si el conjunto es pequeo y sin regla de
formacin fija, el nico procedimiento viable para contar sus elementos es hacer la enumeracin
de los mismos.
Para contar las provincias argentinas, ir enumerndolas una a una: Jujuy, Salta,
Misiones, . . . , Chubut, Tierra del Fuego. Las provincias son 24. Oralmente, la mayora
lo har tocndose la punta de los dedos.
Puede ser que los conjuntos a contar tengan muchos elementos para enumerarlos
exhaustivamente. Pero si sus elementos obedecen a una regla de formacin fija, pueden
construirse artificios que permitan conocer cuantos son sin necesidad de hacer la lista. A
menudo estos artificios son ingeniosos y poner de manifiesto la estructura del conjunto.
La Combinatoria es la parte de la Matemtica que estudia los problemas sobre
cuntas combinaciones diferentes sometidas o no a otras condiciones- se pueden
formar con objetos dados.
La Combinatoria surgi en el siglo XVI. En la vida de las capas sociales
privilegiadas de entonces, ocupaban un lugar importante los juegos de azar: cartas,
dados, loteras de lo ms variadas. Es comprensible entonces que, al principio, los
problemas combinatorios trataran fundamentalmente sobre juegos de azar, tratando de
averiguar de cuntas maneras puede obtenerse un nmero determinado de puntos al
arrojar dos o tres dados juntos, o de cuntas formas se pueden obtener dos reyes en un
juego de cartas. Estos y otros problemas fueron la fuerza motriz del progreso de la
Combinatoria y de la Teora de Probabilidades, que se desarroll paralelamente.
Uno de los primeros en ocuparse del recuento del nmero de combinaciones
diferentes en el juego de los dados fue el matemtico italiano Tartaglia. El estudio
terico de los problemas combinatorios fue abordado en el siglo XVII por los cientficos
franceses Pascal y Fermat.
La Combinatoria es el arte de contar sin hacer enumeraciones. Es contar
usando la cabeza en lugar de los dedos.
En este captulo veremos algunos procedimientos para contar.

Primer mtodo para contar

El primer mtodo consiste en establecer una correspondencia biunvoca entre los
elementos del conjunto en cuestin y un conjunto de la forma {1, 2, 3, ,n}, lo que
permite afirmar que ambos conjuntos son coordinables; sabemos entonces que el
cardinal del conjunto dado es n.

Ejemplo 1: Cuntos nmeros enteros hay entre 3 y 25, incluidos ambos?

Establecemos entonces la correspondencia:
3 4 5 . . . 24 25

1 2 3 . . . 22 23
La funcin aplicada consiste en asignar a cada nmero del conjunto, el que se obtiene
restndole 2.Luego hay 23 nmeros.
En forma general: si m n, el conjunto {m, m+1, m+2, . . ., n-1, n} de los
enteros comprendidos entre m y n, ambos incluidos, se puede poner en correspondencia
24

con el conjunto {1, 2, 3, . . . , n-m+1} mediante la relacin restar m-1 unidades a cada
elemento.

Entonces tenemos:

m m-(m-1) = 1, m+1 (m+1)-(m-1) = 2, . . . , n-1 (n-1)-(m-1) = n-m,
n n-(m-1) = n-m+1
As, entre m y n hay n-m+1 enteros, o, dicho de otra manera, el conjunto de los enteros
{m, m+1, m+2, , n} tiene n-m+1 elementos.

Ejemplo 2: El cardinal del conjunto {-7, -6, -5, , 10, 11} es 11-(-7) +1= 19
Aqu se podra haber enumerado los elementos del conjunto pues son pocos, pero en el
caso de tener que determinar, por ejemplo, cuntos enteros hay entre 14.576 y 74.531,
incluidos ambos, tendramos: 74.531 - 14.576 + 1 = 59.956
Aqu se nota claramente la ventaja de tener un mtodo general.

Razonamientos equivalentes pueden emplearse en muchas situaciones similares.
Ejemplo3: Cuntos nmeros pares hay entre 1 y 75?
Aqu la relacin posible de tomar es divida cada elemento del conjunto por 2 y
tome el cociente: 2: 2 = 1 luego al 2 le asigno el 1
4 : 2 = 2 4 2
6 : 2 = 3 6 3
..
74 : 2 = 37 74 37
Hay entonces 37 nmeros pares entre 1 y 75.

A veces no es tan evidente que transformacin biyectiva usar.
Ejemplo 4: En cada eliminatoria de un campeonato de tenis, se forma el nmero de
parejas posible y, tras jugar el correspondiente partido, el ganador clasifica para la
siguiente ronda y el perdedor, queda eliminado. Si en alguna de las instancias el nmero
de jugadores es impar, uno de ellos (elegido de alguna manera, por ejemplo por sorteo)
pasa directamente a la siguiente ronda sin jugar. Cuntos partidos se jugarn en un
campeonato con 37 inscriptos?

Para simplificar el problema y poder esquematizar la situacin, pensemos en que
son slo 9 los inscriptos. As, el esquema de los partidos ser:
1 Ronda:
3 2 1

* *
3 2 1

* *
3 2 1

* *
3 2 1

* * *
2 Ronda:
4 4 3 4 4 2 1
* * *
4 4 3 4 4 2 1
* *
3 Ronda:
4 4 3 4 4 2 1
* * *
4 Ronda :
4 4 3 4 4 2 1
* *
* ganador

Luego, en la primera ronda se juegan 4 partidos, se eliminan 4 jugadores y pasan
5 a la ronda siguiente. En la segunda ronda se juegan 2 partidos, se eliminan 2 jugadores
y pasan 3 a la siguiente. En la tercera ronda se juega un partido, se elimina 1 jugador y
paran 2 a la final o cuarta ronda, en la que se juega el ltimo partido en el que se elimina
25

1 jugador y queda el ganador. As, habiendo 9 jugadores, se han jugado 9 1 = 8
partidos.
Siguiendo el mismo esquema, al tener 37 jugadores inscriptos, se tendr:

1 Ronda: se juegan 18 partidos, se eliminan 18 jugadores y pasan 19 a la siguiente.
2 Ronda: se juegan 9 partidos, se eliminan 9 jugadores y pasan 10 a la siguiente.
3 Ronda: se juegan 5 partidos, se eliminan 5 jugadores y pasan 5 a la
4 Ronda: se juegan 2 partidos, se eliminan 2 jugadores y pasan 3 a la
5 Ronda: se juega 1 partido, se elimina 1 jugador y pasan dos a la
6 Ronda: se juega 1 partido final, se elimina 1 jugador y resulta otro ganador.
Entonces: 18 + 9 + 5 + 2 + 1 + 1 = 36 partidos jugados.
Esto en realidad es tambin contar con los dedos pero, analicemos:
. para que se juega cada partido?
- Para eliminar 1 jugador.
. Todo jugador es eliminado en algn partido, salvo el ganador.
entonces: la transformacin que a cada jugador le asigne el partido en el que fue
eliminado, es una biyeccin. Luego hay que jugar tantos partidos como jugadores se
pretende eliminar.

En general: si hay n jugadores, se jugarn n-1 partidos.

Segundo mtodo para contar

En ocasiones, el conjunto cuyo cardinal se quiere determinar no es coordinable
con ningn conjunto de estructura ms simple, ni est ordenado, ni puede ordenarse
para facilitar el recuento, de modo que deber escribirse exhaustivamente, elemento a
elemento y luego contar.

Ejemplo 5:Cuntos anagramas distintos (esto es palabras, tengan o no sentido) se
pueden formar con las letras de la palabra TEMO, de modo que tengan 4 letras distintas
y la primera sea vocal?
Este sera el caso de escribirlas todas y contar, lo que no es muy inteligente. De
cualquier manera, habra que hacerlo con mucho cuidado para no olvidar ninguna
posibilidad. Esto obligara a escribirlas siguiendo un orden o alguna regla que permita
consignar todas las posible:
1) como deben comenzar con vocal, la 1 letra ser E u O. Luego hay 2 posibilidades de
elegirla : E _ _ _ O _ _ _
2) como no se pueden repetir las letras, para las que comienzan con E habr 3
posibilidades de elegir la segunda letra: E T _ _ , E M _ _ , E O _ _
3) elegida la segunda letra, por ejemplo la T, para elegir la tercera quedan 2
posibilidades:
E T M _ , E T O _
4) elegida la tercera letra, queda slo una posibilidad de elegir la ltima: E T M O ,
E T O M

Luego hay 2 anagramas que comienzan con ET, de igual modo hay 2 que comienzan con EM, y
hay otras 2 que comienzan con EO. Hay entonces 6 anagramas que comienzan con E.
Razonando anlogamente, resulta que hay 6 anagramas que comienzan con O, en total,
hay 12 anagramas de cuatro letras distintas que pueden armarse con las letras de la
palabra temo.
26

Este proceso de construir da la pauta para hacer el recuento de anagramas sin
escribirlos todos. Todo consiste en recorrer mentalmente los pasos a seguir, anotando
las bifurcaciones que se pueden elegir en cada paso:

d posibilida 1 : 4 Paso
des posibilida 2 : 3 Paso
des posibilida 3 : 2 Paso
des posibilida 2 : 1 Paso
2 . 3 . 2 . 1 = 12 posibilidades
Esto obedece a la siguiente:

Regla de la multiplicacin: si un conjunto A tiene n elementos y el conjunto B tiene m
elementos, el nmero de elecciones distintas de un elemento en A y otro en B en n.m.-

En el caso de que el nmero de elecciones posibles en cada caso depende de qu
elementos fueron elegidos antes, resulta cmodo representar el proceso de confeccin o
armado de los distintos casos en forma de rbol.
Primero se trazan, a partir de un punto, tantos segmentos como elecciones
distintas se pueden hacer en el primer paso, as, cada segmento corresponde a un
elemento. A partir del extremo de cada segmento, se trazan tantos segmentos como
elecciones posibles hay para el segundo paso, si la primera vez fue elegido el elemento
dado. As se contina hasta el ltimo elemento dado. Como resultado de esta
construccin resulta un rbol cuyo anlisis da fcilmente en nmero de soluciones a
nuestro problema.
El diagrama de rbol correspondiente al problema anterior, es:
M O
T
O M
O T
E M
T O
M T
O
T M

M E
T
E M
E T
O M
T E
M T
E
T M

Ejemplo 5: Cuntos nmeros capicas se pueden formar con 5 cifras significativas?

La primera cifra la podemos elegir de 9 maneras distintas, ya que los nmeros no
podrn comenzar con cero. La segunda cifra puede elegirse de 10 maneras, lo mismo
27

que la tercera cifra, pero una vez elegida la segunda, hay una nica manera de elegir la
cuarta y lo mismo con la quinta cifra, ya que el nmero ha de ser capica, de modo que:

}
-
9
}
-
10
}
-
10
}

1
}

1 9 . 10 . 10 . 1 . 1 = 900

Cuntos de esos nmeros son impares?

}
_
5
}
-
10
}
-
10
}

1
}

1 Luego 5 . 10 . 10 . 1 .1 = 500 son impares,

ya que la primera cifra puede ser slo un dgito impar para que la ltima tambin lo sea.

Ejemplo 6: De cuntas maneras se pueden escoger dos fichas de domin, de las 28 que
hay en el juego, de modo que se puedan aplicar una en la otra (es decir, de modo que se
encuentre el mismo nmero de tantos en ambas fichas)?

Al elegir una ficha se lo puede hacer de 28 maneras distintas:
1) en 7 casos la ficha elegida puede ser doble,
2) en los 21 casos restantes la ficha ser simple.
En el 1 caso, la segunda ficha puede elegirse de 6 maneras distintas, entonces hay 7 . 6
= 42 posibles elecciones de una ficha doble y otra que se aplica en ella.
En el 2 caso, la segunda ficha se puede elegir de 12 maneras distintas (6 por cada punta
de la primera ficha), luego habr 21 . 12 = 252 posibles elecciones de dos fichas simples
que se apliquen una en otra.
Luego, el nmero total de posibles elecciones del par de fichas es: 42 + 252 = 294.
Esto lleva a la:

Regla de la suma: si cierto objeto A puede elegirse de m maneras y otro objeto B
puede elegirse de n maneras, la eleccin de o A o B se puede hacer de m + n
maneras.

Debe cuidarse que ninguna forma de elegir A coincida con alguna forma de
elegir B. Si existiera esa coincidencia, la regla de la suma pierde validez y se obtienen
m + n k modos de eleccin distintos, siendo k en nmero de coincidencias.

Algunos importantes modelos

Los mtodos anteriores permiten resolver una infinidad de problemas de
recuento; pero entre ellos hay algunos que se presentan con mucha frecuencia y por eso
han merecido un nombre propio y una simbologa particular.
Nota: Ante un problema concreto no es conveniente tratar de ajustarse a uno de esos
modelos, es preferible razonar directamente empleando el mtodo constructivo y
ajustndose al enunciado propuesto.

Permutaciones o Sustituciones

Ejemplo 7: De cuantas maneras distintas pueden ordenarse en fila 8 personas?
Usando el mtodo de seleccin anterior, podemos resolver fcilmente:
{
8
__
{
7
__
{
6
__
{
5
__
{
4
__
{
3
__
{
2
__
{
1
__

28

La primera persona se puede elegir de 8 maneras distintas; por cada eleccin de la
primera, la segunda puede elegirse entre las 7 restantes; elegida esa, hay 6 posibilidades
para elegir la tercera; y as sucesivamente. Luego, segn la regla del producto, hay:
8 . 7 . 6 . 5 . 4 . 3 . 2 . 1 = 40.320 maneras distintas de ordenar 8 personas en fila.

Esas ordenaciones se denominan Permutaciones o sustituciones.

Definicin: Dado un conjunto de m elementos, se llama permutacin de orden m a cada
uno de los distintos ordenamientos de esos elementos.
As, dos permutaciones son distintas slo cuando difieren en el orden en que ha sido
considerado al menos uno de sus elementos.
Indicaremos con P
m
el nmero total de permutaciones de m elementos, que
calcularemos mediante el producto de enteros positivos consecutivos decrecientes a
partir de m, hasta 1.
Para simplificar su escritura, se emplea la siguiente notacin: m!
En el caso del ejemplo: 8! = 8.7.6.5.4.3.2.1

Definicin: Sea m Z , m 0, se llama factorial de m y se representa por m! al nmero
definido por recurrencia de la siguiente manera:
0! = 1
m! = m. (m-1)!
Es decir que: m! = m.(m-1)!
(m-1)! = (m-1)(m-2)!
(m-2)! = (m-2)(m-3)!
. . . . . . . . . . . . . . . . .
entonces m! = m.(m-1) (m-2) . . . 2.1


Ejemplo 8: Un padre ha comprado para regalar a sus tres hijos, una caja de lpices de
colores, una pelota y un libro. De cuntas maneras puede repartir los regalos entre sus
hijos?


{
3
__
{
2
__
{
1
__ 3! = 3. 2. 1 = 6
Entonces, existen 3! = 6 formas distintas de repartirlos. En cambio, si hubiera trado
dos pelotas idnticas y un libro, cmo podra ahora repartir los regalos?
1 2 3
L P P
P L P
P P L esta construccin nos permite ver que slo hay 3
repartos posibles. Esto muestra que la regla enunciada antes slo es aplicable si los
elementos son distinguibles.
Analicemos otra situacin que nos permitir generalizar una respuesta cuando hay
objetos repetidos entre los que se debe ordenar.

Ejemplo 9: En un bar, cinco amigos han pedido tres cafs y dos cervezas. De cuntas
maneras distintas puede el mozo distribuir las cinco bebidas?

29

Si los cafs fueran distintos (solo, con crema , cortado) y las cervezas fueran de
distintas marcas, entonces es claro que las posibles distribuciones podran hacerse de 5!
=120 maneras distintas.
Pero siendo los 3 cafs iguales y las dos cervezas idnticas, una vez hecho un reparto,
los 3 cafs podran permutarse entre s sin que cambie el resultado. Esto significa que
los 120 resultados pueden agruparse en 3! = 6 grupos que no presentan diferencias.
Quedan pues 20
6
120
= resultados distintos.
Anlogamente, cada reparto idntico a aquel en que se intercambian las cervezas. Por lo
tanto, hay slo
2
20
maneras distintas de distribuir las bebidas.
En resumen, el nmero de repartos posibles es: 10
2 . 6
120

! 2 ! 3
! 5
= =

Luego:
Una coleccin de n objetos, clasificados en grupos de objetos idnticos entre s, el
primero con k
1
objetos, el segundo con k
2
, etc., se pueden ordenar de
! !... !
!
2 1 r
k k k
n

maneras distintas. En este caso estamos frente a permutaciones con repeticin de n
objetos, con k
1
, k
2
, ,k
r
iguales entre s.



Subconjuntos ordenados o Variaciones

Veamos ahora otra situacin:
Ejemplo 10: En una carrera de 7 atletas, de cuntas maneras distintas pueden
adjudicarse las medallas dorada, de plata y de bronce?
Aqu no interesa la lista completa de llegada, sino los nombres de los tres
primeros. Mediante el mtodo constructivo obtenemos la respuesta:
El atleta que recibir la medalla dorada puede ser cualquiera de los 7
participantes de la carrera, adjudicada esa, la medalla de plata puede obtenerla
cualquiera de los 6 restantes y la de bronce, alguno de los 5 que quedaron. Esto es:
{ { {
5 6 7
3 2 1 luego hay 7 . 6 . 5 =210 formas distintas de adjudicar las tres
medallas.
Obsrvese que son 7! Los rdenes de llegada de los 7 atletas, pero para los
efectos de la adjudicacin de las medallas, los 4 ltimos da lo mismo que lleguen en el
lugar 4 que en el lugar 7. Entonces, todas las listas de llegada se pueden dividir en
grupos de 4! Listas, obtenidas permutando sus cuatro ltimos nombres. Entonces, el
nmero de listas con diferencia en la entrega de medallas es: 7.6.5
4!
7.6.5.4!

! 4
! 7
= =
En general:
Dado un conjunto A, de n elementos, el nmero de subconjuntos
ordenados de r elementos que pueden elegirse entre los n, es:
)! (
!
r n
n

.
Obviamente, se consideran subconjuntos ordenados distintos aquellos que difieren en al
menos un elemento o en el orden en que han sido considerados.
30

Usualmente el nmero de subconjuntos ordenados de r elementos, de un
conjunto de n elementos, se denominan Variaciones de n elementos de orden r.
Siempre n > r.
El nmero de Variaciones de n elementos de orden r (o tomas de a r) lo
indicamos:
1) r - 2)...(n - 1).(n - n.(n
r)! - (n
n!
+ = =
r
n
V

Ejemplo 11: Consideremos el conjunto {1, 2, 3, 4}, las Variaciones de esos 4 elementos
de orden 2, o tomados de a 2, son: 12 3 . 4
2
4
= = V Ellas son:
1 2 2 1 3 1 4 1
1 3 2 3 3 2 4 2
1 4 2 4 3 4 4 3

Si ahora quisiramos construir las variaciones de esos elementos tomados de a 3, bastar
agregar a cada una de las anteriores otro elemento a elegir de entre los restantes. As,
para cada una de las anteriores habr 2 nuevas:
3 3 2
1 2 2 1 3 1 . . .
4 4 4
2
1 3 . . .
4
Luego: 2 .
2
4
3
4
V V = 24 4.3.2
2
4
= = V

Proposicin: El nmero de variaciones de n elementos tomados de a r (r n) est dado
por la expresin: 1) r - 2)...(n - 1).(n - n.(n V
r
n
+ = , esto es, r factores decrecientes a
partir de n.

Demostracin: Por Induccin sobre r:
1) Sea r = 1: n V
1
n
= pues hay n maneras distintas de elegir 1 elemento entre los n.
2) Sea r > 1 y supongamos que la expresin es verdadera para (r-1) elementos:
[ ] 1 1) - (r - n 1)... - n(n V
1 - r
n
+ =
= n (n-1) (n r + 2)
3) Probaremos que tambin es verdadera para r:
De acuerdo al ejemplo anterior, una vez formadas las variaciones de orden (r-1), para
formar las de orden r podremos agregar a cada una de las anteriores un nuevo elemento
elegido entre los restantes n-(r-1) que no estn considerados en ella. Con eso, por cada
variacin de orden (r 1) tendremos
n-r+1 variaciones de orden r. Luego:
1) r - 2)(n r - 1)...(n - n.(n V
) 1 .( V V
r
n
1 - r
n
r
n
+ + =
+ = r n

lo que prueba la proposicin.

Variaciones con repeticin

31

Definicin: dado un conjunto finito A de n elementos, se llama variacin con
repeticin de orden r de esos n elementos, a toda sucesin de r trminos formada por
elementos de A, no necesariamente distintos entre s. Indicaremos:
r '
n
V .

Ejemplo 12: Cuntas sucesiones de tres elementos pueden formarse con los elementos
0 y 1?
Armemos esas sucesiones: 0 0 0 0 1 1
0 0 1 1 0 1
0 1 0 1 1 0
1 0 0 1 1 1
Luego: 8 V
'3
2
=

Proposicin: El nmero
r '
n
V de variaciones con repeticin de n elementos tomados de a
r, est dado por la expresin:
r r '
n
n V = .

Demostracin: Por Induccin sobre r.
1) Sea r = 1, es inmediato que
1 '1
n
n n V = =
2) Sea r > 1 y supongamos que la expresin es verdadera para (r-1) elementos:

1 - r 1) - (r '
n
n V =
3) Probemos que la expresin es verdadera para r.
Razonando como en la Proposicin anterior, una vez construidas las variaciones con
repeticin de orden (r-1) para obtener las de orden r, deberemos agregar un elemento a
cada una de las anteriores, que puede ser cualquiera de los n elementos de A. Por lo
tanto, de cada una de las anteriores obtendremos n, de orden r:
n . V V
1) - (r '
n
r '
n
=
= n
r-1
. n
= n
r
con lo que queda demostrada la validez de la Proposicin.



Subconjuntos o Combinaciones

Ejemplo 13: De cuntas maneras distintas pueden seleccionarse los 6 nmeros de la
boleta del Quini 6?
Sabemos que hay que elegir los 6 nmeros entre los 36 primeros nmeros
naturales y que han de ser distintos entre s. Constructivamente calcularamos los
subconjuntos ordenados as:
{
36
__
{
35
__
{
34
__
{
33
__
{
32
__
{
31
__
6)! - (36
36!
V
6
36
=

Pero, en esta situacin, el orden en que elegimos los nmeros no distingue dos tarjetas,
as es que ese nmero de posibilidades se puede dividir en 6! grupos, lo que deja un
total de
! 6 !. 30
! 36
posibles elecciones o tarjetas distintas.
32

Esto es, se eligen 6 elementos de 36, pero dos tarjetas son distintas si difieren al
menos en un nmero. Esto es, se eligen subconjuntos de 6 elemento, no subconjuntos
ordenados.
Luego, de un conjunto de n elementos, pueden formarse
)! r n ( ! r
! n

subconjuntos de r elementos.
Los subconjuntos de r elementos de un conjunto de n elementos se denominan
Combinaciones de n elementos tomados de a r (o de orden r). Indicaremos:
r)! - (n r!
n!
C
r
n
=
Ejemplo 14: Sea A = {a, e, i, o, u }, de cuantas maneras pueden elegirse conjuntos de
tres vocales?
Construyamos las posibilidades:
aei aeo aeu aio aiu aou eio eiu eou iou Son:
10 C
3
5
=

Obsrvese que si ahora formamos las
3
5
V , tendramos:

aei aeo aeu aio aiu aou eio eiu eou iou
aie aoe aue aoi aui auo eoi eui euo iuo
eai eao eau iao iau oau ieo ieu oeu oiu
eia eoa eua ioa iua oua ioe iue oue oui
iae oae uae oai uai uao oei uei ueo uio
iea oea uea oia uia uoa oie uie uoe uoi


Esto es, por cada una de las combinaciones obtenidas antes, permutando sus elementos,
obtenemos todas las variaciones de orden 3.

3
3
5
3
5
P . C V =
3
3
5 3
5
P
V
C =
3! 3)! - (5
5!
C
3
5
=
En general, el nmero de combinaciones de n elementos tomados de a r, est
dado por la expresin:

r! r)! - (n
n!
C
P
V
C
r
n
r
r
n r
n
= =

Como el nmero
r
n
C aparece con frecuencia en muchos tipos de clculos, existe
una notacin especial para indicarlo:
|
|

\
|
=
r
n
C
r
n
que llamamos nmero combinatorio
n sobre r.

Definicin: Se llama nmero combinatorio n sobre r al nmero que indicamos:
r! r)! - (n
n!
=
|
|

\
|
r
n


33

As: 15
4
6

2!4!
6.5.4!

! 4 )! 4 6 (
! 6
4
6
=
|
|

\
|
=

=
|
|

\
|


792
5! 5)! - (12
12!

5
12
= =
|
|

\
|



Propiedades de los nmeros combinatorios

Los nmeros combinatorios verifican interesantes propiedades y relaciones entre
ellos. Entre las ms simples:

P.1.-
|
|

\
|
=
|
|

\
|
r - n
n

r
n
Estos nmeros combinatorios se dicen complementarios.
Definicin: Dos nmeros combinatorios se dicen complementarios si tienen igual
numerador y sus denominadores suman ese numerador.

Verificacin de P.1.:

[ ]! r) - (n - n r)! - (n
n!

r - n
n
=
|
|

\
|

=
r)! n - (n )! r - n (
! n
+

=
r! )! r - n (
! n

=
|
|

\
|
r
n


P.2.-
|
|

\
|
+
|
|

\
|
=
|
|

\
|
1 - r
1 - n

r
1 - n

r
n


Verificacin a cargo del lector.

P.3.-
n
n
0
2
k
n
=
|
|

\
|

= k

Esto es:
n
2
n
n
. . .
2
n

1
n

0
n
=
|
|

\
|
+ +
|
|

\
|
+
|
|

\
|
+
|
|

\
|


Cmo verificarlo?
Obsrvese que el primer miembro expresa el nmero total de subconjuntos de un
conjunto de n elementos, pues es la suma del nmero de subconjuntos de cero
elementos, ms el nmero de subconjuntos de un elemento, ms Pero el nmero total
de subconjuntos puede calcularse directamente. Para identificar un subconjunto
arbitrario, se puede sealar con X los elementos elegidos y con 0 los descartados. Hay
34

dos posibilidades de eleccin (X o 0) para el primer elemento del conjunto, las mismas
para el segundo elemento, y las mismas para cualquiera de los n elementos:

{ { { {
2 2 2 2
__ . . . __ __ __
Luego, el nmero total de subconjuntos es 2
n
.

La propiedad P.2. permite el clculo rpido de los nmeros combinatorios de
numerador n, conociendo los de denominador n-1. Suelen escribirse en filas sucesivas,
as:


n=0 1
n=1 1 1
n=2 1 2 1
n=3 1 3 3 1
n=4 1 4 6 4 1
n=5 1 5 10 10 5 1
n=6 1 6 15 20 15 6 1


Este es el llamado Tringulo Aritmtico, atribuido a Tartaglia, aunque parece
que su origen es mucho ms antiguo. Este Tringulo ofrece mltiples relaciones
interesantes y curiosas entre sus elementos.

Obsrvese que, escritas las dos oblicuas 1, 1, , 1, los elementos de cada lnea
se forman aplicando P.2., que en definitiva expresa: cada elemento es la suma de los dos
que figuran encima de l; la P.1. expresa la igualdad de los nmeros colocados
simtricamente respecto del eje vertical de simetra del tringulo.




Potencia de un binomio

Una aplicacin interesante de los nmeros combinatorios es su empleo en la
frmula que permite calcular expresiones del tipo (a + b)
n
, con n Z, n 0, esto es, el
desarrollo de la potencia n-sima de un binomio.
Las expresiones correspondientes a n = 1, n =2 y n = 3, son conocidas por los
alumnos, expresiones que escribimos:

n = 1 (a + b)
1
= a + b = b
1
1
a
0
1
|
|

\
|
+
|
|

\
|

n = 2 (a + b)
2
= a
2
+ 2 ab + b
2
=
2 2
b
2
2
ab
1
2
a
0
2
|
|

\
|
+
|
|

\
|
+
|
|

\
|

n = 3 (a + b)
3
= a
3
+ 3 a
2
b + 3 a b
2
+ b
3

=
3 2 2 3
b
3
3
b a
2
3
b a
1
3
a
0
3
|
|

\
|
+
|
|

\
|
+
|
|

\
|
+
|
|

\
|

35


En general demostraremos el siguiente

Teorema: Cualesquiera sea el entero no negativo n, es:

( )
n 0 k k - n 2 2 - n 1 - n 0 n n
b a
n
n
... b a
k
n
... b a
2
n
b a
1
n
a
0
n
b a
|
|

\
|
+ +
|
|

\
|
+ +
|
|

\
|
+
|
|

\
|
+
|
|

\
|
= + b
(a + b)
n
=
k k - n
n
0 k
b a

=
|
|

\
|
k
n


Demostracin: se har por Induccin sobre n:
1) sea n = 1 ( )
k k - 1
1
0 k
1
b a
k
1
b a

=
|
|

\
|
= +
= b a
1
1
b a
0
1
0 0
|
|

\
|
+
|
|

\
|

= a + b luego es vlida la expresin para n = 1.

2) Supongamos vlida la expresin para el exponente (n1), esto es:
( )
k k - 1 - n
1 - n
0 k
1 - n
b a
k
1 - n
b a

=
|
|

\
|
= +

y 3) probemos su validez para exponente n:
(a + b)
n
= (a + b)
n-1
(a + b)
(a + b)
n
= (a + b) .
k k - 1 - n
1 - n
0 k
b a
k
1 - n

=
|
|

\
|
(aplicando propiedad
distributiva)
(a + b)
n
=
1 k k - 1 - n
1 - n
k
k k - n
1 - n
0 k
b a
k
1 - n
b a
k
1 - n

+
=

|
|

\
|
+
|
|

\
|


Sacando fuera de la primera sumatoria el primer sumando (que corresponde a k = 0) y
en la segunda sumatoria, sacamos el ltimo sumando (que corresponde a k = n-1),
resulta:

(a + b)
n
=
n 0 1 k 1 - k - n
2 - n
0 k
k k - n
1 - n
1 k
0 n
b a
1 - n
1 - n
b a
k
1 - n
b a
k
1 - n
b a
0
1
|
|

\
|
+
|
|

\
|
+
|
|

\
|
+
|
|

\
|
+
= =

n

En la segunda sumatoria haciendo un cambio en el ndice de la variable k, por k-1,
resulta:


k k - n
1 - n
1 k
1 k 1 - k - n
2 - n
0 k
b a
1 - k
1 - n
b a
k
1 n

=
+
=
|
|

\
|
=
|
|

\
|

Luego:
(a + b)
n
=
n 0 k k - n
1 - n
1 k
1 - n
1 k
k k - n 0 n
b a
1 - n
1 - n
b a
1 - k
1 - n
b a
k
1 - n
b a
0
1 n
|
|

\
|
+
|
|

\
|
+
|
|

\
|
+
|
|

\
|

= =


36

En ambas sumatoria hay trminos semejantes que podemos agrupar, con lo que quedar:

(a + b)
n
=
n 0
1 - n
1 k
k k - n 0 n
b a
1 - n
1 - n
b a
1 - k
1 - n
k
1 - n
b a
0
1 n
|
|

\
|
+
(

|
|

\
|
+
|
|

\
|
+
|
|

\
|

=

(a + b)
n
= a
n
+
n k k - n
1
1
b b a
k
n
+
|
|

\
|

=
n
k

(a + b)
n
=
k k - n
n
0 k
b a
n

=
|
|

\
|
k
con lo que queda probado el teorema.

Esta expresin general recibe el nombre de Frmula del binomio de Newton.

Ejemplo 15: Desarrollar (x
2
+ 3y)
6
.

(x
2
+ 3y)
6
= ( ) ( )
k
k 6
2
6
0 k
3y x
k
6

|
|

\
|

(x
2
+ 3y)
6
=
|
|

\
|
0
6
(x
2
)
6
(3y)
0
+
|
|

\
|
1
6
(x
2
)
5
3y +
|
|

\
|
2
6
(x
2
)
4
(3y)
2
+
|
|

\
|
3
6
(x
2
)
3
(3y)
3
+
+
|
|

\
|
4
6
(x
2
)
2
(3y)
4
+
|
|

\
|
5
6
x
2
(3y)
5
+
|
|

\
|
6
6
(x
2
)
0
(3y)
6

(x
2
+ 3y)
6
= x
12
+ 6 x
10
3y + 15 x
8
9 y
2
+ 20 x
6
27 y
3
+ 15 x
4
81 y
4
+ 6 x
2
243 y
5
+ 729 y
6

(x
2
+ 3y)
6
= x
12
+ 18 x
10
y + 35 x
8
y
2
+ 540 x
6
y
3
+ 1215 x
4
y
4
+ 1458 x
2
y
5
+ 729 y
6


Veamos ahora cmo calcular un trmino dado, correspondiente al desarrollo de
la potencia n-sima de un binomio.

Ejemplo 16: Calcular el sexto trmino del desarrollo de (3x + 2y)
8
.

De acuerdo a la frmula de Newton, el desarrollo correspondiente es:
(3x + 2y)
8
= ( ) ( )
k k 8
8
0 k
2y 3x
k
8

|
|

\
|

Luego, el sexto trmino corresponde a k=5, con lo que ser:

T
5
=
|
|

\
|
5
8
(3x)
3
(2y)
5
=
5 3
y 32 x 27 .
! 3 !. 5
! 5 . 6 . 7 . 8

T
5
= 48382 x
3
y
5


Ejemplo 17: Desarrollar (1 a
2
)
5

( )
k 2 5
5
0 k
5
2
) a (-1/2 1
k
5
a 2 / 1 1
k
=

|
|

\
|
=
=
|
|

\
|
0
5
1
5
+
|
|

\
|
1
5
1
4
(-1/2 a
2
) +
|
|

\
|
2
5
1
3
(-1/2 a
2
)
2
+
|
|

\
|
3
5
1
2
(-1/2 a
2
)
3
+
37

+
|
|

\
|
4
5
1 (-1/2 a
2
)
4
+
|
|

\
|
5
5
(-1/2 a
2
)
5


(1 a
2
)
5
= 1 5/2 a
2
+ 5/2 a
4
5/4 a
6
+ 5/16 a
8
1/32 a
10


Obsrvese que, tratndose de un binomio diferencia, esto es de la forma (a b)
n
,
resultan siempre, en el desarrollo, los signos alternados.


38

Los nmeros enteros


En el conjunto Z de los nmeros enteros estn definidas dos operaciones binarias: la
suma y el producto. Esas operaciones verifican las siguientes propiedades:

S
1
.- Asociatividad. a, b, c Z : (a+b) + c = a + (b+c)
S
2
.- Conmutatividad. a, b Z : a + b = b + a
S
3
.- Existencia de elemento neutro. 0 Z : 0 + a = a a Z
S
4
- Existencia de elemento opuesto. a Z, b Z : a + b = 0
Notacin: b = -a, luego: a + (-a) = 0 y decimos que (-a) es opuesto de a y
viceversa.

P
1
.- Asociatividad. a, b, c Z : (a b) c = a (b c)
P
2
.- Conmutatividad. a, b Z : a b = b a
P
3
.- Existencia de elemento neutro. 1 Z : 1 a = a a Z

D.- Distributividad del producto respecto de la suma. a, b, c Z :
a (b+c) = a b + a c y tambin (b+c) a = b a + c a

Estas propiedades de la suma y el producto dan a Z su estructura caracterstica
de anillo.

En base a estas propiedades o leyes de las operaciones de suma y producto, se
pueden probar otras propiedades tales como:
a) a Z: a (-1) = -a Esto es, el opuesto de a es igual a (-1) a
b) -(-a) = a a Z
c) Si a + b = 0 entonces b = -a
d) -(a+b) = (-a) + (-b)

Notacin: escribimos a + (-b) = a - b y a ese elemento le llamamos a menos b

e) (a-b) = b a

En Z se define tambin una relacin binaria < de modo que se verifican las
siguientes leyes:
1.- Ley de Tricotoma: a, b Z se verifica una y slo una de las siguientes relaciones:
a < b , a = b b < a

2.- Ley Transitiva: si a < b y b < c a < c
3.- Ley de monotona de la suma. a < b y c Z a + c < b + c
4.- Ley de Monotona del producto: a < b y c Z , c > 0 a c < b c
a < b y c Z , c < 0 a c > b c

Notacin: Si a < b entonces b > a
a b si y slo si a = b a < b


39

El tema central de esta Unidad es analizar otras dos propiedades importantes y
caractersticas del conjunto Z, que son:

1.- La existencia del algoritmo de la divisin.
2.- La Factorizacin de enteros.
Antes de llegar a ellas, hemos de analizar la relacin divide en Z.

Definicin: Se dice que un entero a 0 es divisor de un entero b, si k Z : b = k a.
En tal caso decimos que a es divisor de b o a divide a b y escribimos
a/b.

Ejemplos: -3 / 15 pues existe -5 Z : (-5) (-3) = 15
9 / 9 pues existe 1 Z : 9 1 = 9
-1 / -4 pues existe 4 Z : 4 (-1) = -4

Propiedades:

1.- Propiedad reflexiva. a Z : a / a

2.- a Z : a / 0

3.- Si a / b a / -b ; -a / b ; -a / -b

4.- Propiedad transitiva. Si a / b y b / c a / c

5.- Si a / b y a / c a / x b + y c x, y Z
Esto es, a divide a cualquier combinacin lineal de b y c.

6.- Si a / b a c / b c c Z
Recprocamente: si c 0 y ac / b c a / b.

A modo de ejemplo desarrollaremos la demostracin de alguna de estas propiedades,
quedando las restantes a cargo del lector.

Propiedad 3.
Demostracin: Si a / b k
1
Z: b = k
1
a
Como k
1
Z -k
1
Z, luego, multiplicando por (-1) la igualdad
anterior, resulta: (-1) b = (-1) k
1
a
-b = [(-1) k
1
] a
-b = -k
1
a a / -b

A partir de esta demostracin, pruebe el lector que -a / b y que -a / -b.


Propiedad 5.
Demostracin: Si a /b b = k
1
a con k
1
Z
Sea xZ : x = x .
b x = (x k
1
) a (*)

40

Si a / c c = k
2
a con k
2
Z
Sea yZ : y = y .
c y = (y k
2
) a (**)

Sumando (*) y (**) resulta: b x + c y = (x k
1
+ y k
2
) a
Como (x k
1
+ y k
2
) Z, entonces a / b x + cy

Propiedad 6.
Demostracin: Si a /b b = k
1
a con k
1
Z. Sea c Z :
c b = c k
1
a aplicando propiedad conmutativa:
c b = k
1
c a c a / c b

Recprocamente. Sea c 0, c Z c
-1
Q
Si a c / bc b c = k a c multiplicando por c
-1
:
b = k a c c
-1

b = k a a / b.


Importancia de la relacin divide en Z

300 aos antes de Cristo, ya Euclides y sus contemporneos conocan y
manejaban muchos resultados sobre el tema.
Es claro que si a Z, a0, entonces a / b, bZ si y slo si el resto de dividir a
por b es cero. En cambio si se piensa en el conjunto Q de los racionales, no existe
problema para dividir, ya que cualquier racional es divisible por cualquier otro distinto
de cero.

Divisin entera

Es bien conocido el procedimiento por el que, dados dos enteros positivos a y b
se determina el cociente q y el resto r, de la divisin de a por b.
Si a = 1543 y b = 25 1543 | 25 .
043 61
18 q = 61 y r = 18
1543 = 25 61 + 18

En general: a = b q + r

Teorema: Para todo par de enteros a y b, con b0, existen enteros q y r, llamados
cociente y
resto de dividir a por b, unvocamente determinados, tales que
a = q b + r con 0 r < b

Demostracin: Por razones de simplicidad probemos primero que si q y r existen,
entonces
son nicos.
Supongamos, por Absurdo, que adems del par de enteros q y r, existen q y r Z, tales
que:
a = q b + r con 0 r < b
41

a = q b + r con 0 r < b
entonces ser: q b + r = q b + r q b - q b = r - r

(q q) b = r r y tomando valor absoluto, resulta:
q q b = r - r

Entonces, si r r r - r 0 y si q q q q 0

tenemos: q qb = r - r ( )
b q q b = r - r b r - r (*)

Pero, siendo r < b y r< b b>r - r lo que contradice la
expresin (*).
Esta contradiccin provino de suponer que r r, luego r = r y entonces, como b0, en
( ) debe ser: q q = 0 q = q, lo que prueba la unicidad del cociente y del resto.

Probemos ahora que, efectivamente existen los enteros q y r en las condiciones del
teorema.
1) Obsrvese primero que si a es mltiplo de b, entonces: a = k b , para algn kZ,
entonces tomando q = k y r = 0, se tiene el par de enteros en las condiciones
exigidas.

2) Supongamos que a no es mltiplo de b, esto es xZ, a x b (o, dicho de otro
modo,
no existe ningn xZ, tal que a = x b)
Consideremos entonces el conjunto S de todos los enteros positivos de la forma a
x b
con xZ. Por lo dicho anteriormente, a x b 0, pero habra que ver si existe xZ
de tal
modo que esa diferencia sea positiva; en caso contrario, S sera vaco.

Veamos que S :
Sea

<
>
=
0 a si 1 -
0 a si 1

<
>
=
0 b si 1 -
0 b si 1


Entonces a= a y b= b

Consideremos xZ, x de las forma : x = - a
Entonces: a x b = a (- a) b
a x b = a + a b
a x b = a + a b
a x b = a+a b
a x b = a(+b) siendo b> 1, pues b 0 y a

b
Entonces: (+b) > 0 (+b) a> 0 , por lo tanto a x b > 0, esto es,
es un entero positivo, luego S .
Significa entonces que S es un subconjunto no vaco de N, luego S tiene primer
elemento.
42

Sea r el primer elemento de S, que se obtiene cuando x asume el valor q: r = a
q b
Entonces:
a = q b + r

Veamos ahora que r < b.

Que r >0, lo hemos dicho al indicar que rS y SN.
Supongamos que r b r > r - b 0
Como r - b = a q b - b = a (q+)b > 0 pues a

b , entonces
r - b tiene la forma a x b (para x = q + ) con lo que r -bS.
Luego resulta r - b< r, un elemento de S. Absurdo! Pues r es el primer elemento
de S.
Por lo tanto, r < b.

Con lo que queda demostrado el teorema.

Ejemplos:
Si a = 3 y b = 9 q = 0 y r = 3 ya que 3 = 0 9 + 3
Si a = 18 y b = -4 q = -4 y r = 2 18 = (-4) (-4) + 2
Si a = -1548 y b = 12 q = -129 y r = 0 -1548 = (-129) 12 + 0

Una interesante aplicacin del Algoritmo de la divisin entera es la de
representar un entero positivo cualquiera en base b >1:

Representacin b-dica de un entero, o representacin en base b.

El problema es el siguiente:
Representar el entero positivo a 0 en forma de polinomio en b, cuyos coeficientes c
i

satisfagan las relaciones:

a = c
0
+ c
1
b + c
2
b
2
+ c
3
b
3
+ . . . + c
n
b
n
b >1, 0 c
i
< b , para i = 0, 1,
2, , n
Esto es: a =
i
n
0 i
i
b c

=

El problema radica en determinar los c
i
, que llamaremos cifras, siendo b la base de
representacin.
Una vez determinados los c
i
, se conviene en escribir el entero a de la siguiente manera:
a = c
n
c
n-1
. . . c
2
c
1
c
0
(base b)

Veamos un ejemplo: sea a= 1536 y b= 10 (b es la base de la representacin)

a = 1530 + 6
a = 153 10 + 6
a = (150+3) 10 +6
a = (15 10 +3) 10+ 6
a = {[(10 +5) 10] +3} 10 + 6
a = [(5 10 + 10 10) +3] 10+6
a = 5 10
2
+ 10
3
+ 3 10 + 6
43

a = 6 + 3 10 + 5 10
2
+ 110
3
Descomposicin 10-dica o decimal de a.

Cmo resolver el problema en forma general?
Simplemente procediendo como en el ejemplo, usando sucesivamente el algoritmo de
la divisin:
a = b q
1
+ r
1
con 0 r
1
< b
Obsrvese que por ser a > 0, 0 q
1
< a

Si q
1
< b, ya est la solucin, tomando: c
0
= r
1
, c
1
= q
1
y entonces n = 1 : a = c
1
b +
c
0
entonces a = c
1
c
0
Si q
1
b, entonces lo dividimos por b:
q
1
= q
2
b + r
2
0 r
2
< b ; 0 q
2
< q
1
Entonces: a = b (q
2
b + r
2
) + r
1

a = q
2
b
2
+ r
2
b + r
1

Si q
2
< b c
0
= r
1
; c
1
= r
2
; c
2
= q
2
, n = 2
a = c
0
+ c
1
b + c
2
b
2
a = c
2
c
1
c
0
(b)

Si q
2
b q
2
= b q
3
+ r
3
0 r
3
< b ; q
3
<q
2

a = (b q
3
+ r
3
) b
2
+ r
2
b + r
1

a = q
3
b
3
+ r
3
b
2
+ r
2
b + r
1

a = c
3
b
3
+ c
2
b
2
+ c
1
b + c
0
con c
3
= q
3
; c
2
= r
3
; c
1
= r
2
; c
0
=r
1
n =
3

Entonces a = c
3
c
2
c
1
c
0
(b)

Si q
3
b iteramos el proceso.
Este proceso concluye en un nmero finito de pasos pues q va disminuyendo,
llegndose a
q
n
< b q
n-1



Probablemente el alumno haya trabajado representando enteros en base b = 2, en
ese caso, se usan slo dos cifras: 0, 1.

Ejemplo: 417 = 110100001 (2)

417 2 .
17 208 2 .
1 008 104 2 .
0 04 52 2 .
0 12 26 2 .
0 06 13 2 .
0 1 6 2 .
0 3 2 .
1 1 = c
n

417 = 1 + 0 2 + 0 2
2
+ 0 2
3
+ 0 2
4
+ 1 2
5
+ 0 2
6
+ 1 2
7
+ 1 2
8



44


Ejemplo: Expresar 117 en base 5

117 5 .
17 23 5 . As, 117 = 432(5)
2 3 4
Cmo constatar? Escribiendo el polinomio: 2 5
0
+ 3 5 + 4 5
2
= 117

Observaciones:

1.- Nuestro sistema de numeracin es decimal, esto es, en base 10. Las cifras son 0, 1,
2, . . .,9
El nmero 3429 = 9 + 2 10 + 4 10
2
+ 3 10
3

El 756 es: 6 + 5 10 + 7 100

2.- En base b, las cifras son 0, 1, 2, , b-1 b 10
Los nmeros menores que b se representan mediante una nica cifra .

3.- El nmero b se representa siempre como : b = 10 (b)
As, 6 = 10 (6) En efecto: 6 6 . entonces 6 = 0 + 1 6
0 1

4.- Para representar nmeros en base b>10, se necesitan ms smbolos para indicar las
cifras
que siguen al 9.

Por ejemplo, para b = 13, las cifras pueden ser: 0, 1, 2, , 9, , ,

As 1493 = 8 (13) ya que 1493 13 .
19 114 13 .
63 8

1493 = + 13 + 813
2

Ejemplos:

1. Qu nmero decimal es N = 233 (13) ?

N = 2 13
4
+ 13
3
+ 313
2
+ 13 + 3
N = 2 28561 + 10 2197 + 3 . 169 + 12 13 + 3
N =57122 + 21970 + 507 + 156 + 3
N = 79758

2. Representar en base 9 el nmero 2534 (7)
2534 (7) = 2 7
3
+ 57
2
+ 3 7 + 4

= 956
= 1272 (9)

45

3. Considerando el entero positivo cuya representacin en base 6 es: n = 342x
(6),determinar
la cifra x para que dicho nmero sea divisible por 5.
n = 342x (6) n = 3 6
3
+ 4 6
2
+ 2 6 + x
n = 648 + 144+12 + x
n = 804 + x

Luego, si x = 1 n = 805 por lo tanto es divisible por 5


Nmeros primos

Hemos dicho que si a0 y a/b, entonces b es mltiplo de a y al dividir b por a, el
resto es cero.
Es claro que, aZ, a es divisible por 1, -1, a y -a. Estos son los llamados
divisores triviales de a. Cualquier divisor de a, distinto de ellos, se llamar divisor
propio de a.

Ejemplo: sea a = 48, entonces los divisores triviales de 48 son: 1, -1, 48 y -48.
Son divisores propios de 48: 2, -2, 3, -3, 4, -4, 6, -6, 8, -8, 12, -12, 16, -16, 24
y -24


Definicin: un entero p, distinto de 0, 1 y -1 se dice primo, si no admite mas divisores
que
los triviales. Esto es: pZ es primo si sus nicos divisores son: 1, -1, p y -
p.

Si aZ no es primo, entonces a se dice compuesto.


Ejemplos: son enteros primos: 17, 43, -7, -61
Son enteros compuestos: -96, 28, 100, -65

As, Z queda dividido en tres subconjuntos disjuntos dos a dos, no vacos:
{0, 1, -1 }
P = { pZ : p es primo}
C = {a Z : a es compuesto} Z C
P
Constituyen esos tres subconjuntos una particin de Z?

Vemos cmo son los divisores de un entero dado.

Teorema: Sea aZ, a 0 y sea c/a, entonces 1 c a
Si c es divisor propio de a, entonces 1 < c < a
46


Demostracin:
Si c/a a = k c con c 0 y k0 a=k c siendo k
1
pues k0 ac 1 ( )

Si c es divisor propio de a c 1 c 1 y c a c a
Luego la expresin ( ) se reduce a : a>c > 1 con lo que queda probado el
Teorema.

Esto nos dice que dado aZ, a0, a tiene un nmero finito de divisores. Estos
divisores forman un subconjunto del conjunto de los enteros cuyo valor absoluto est
comprendido entre a y 1.
Si a es compuesto, entonces es de la forma a = b c siendo b y c divisores
propios 1 < b< a y 1 < c < a


Proposicin: Cualesquiera sean a, b Z, las siguientes proposiciones son
equivalentes:
1) a y b tienen los mismos divisores
2) a y b difieren en un factor unitario, esto es, a = b
3) a/b y b/a

Demostracin:
Recordemos que los nicos enteros que tienen inverso multiplicativo en Z son 1
y -1. A ellos se los llama enteros unitarios. Respecto de la divisin, los enteros
unitarios tienen la particularidad de dividir a cualquier otro entero.

1 2: Supongamos que a y b tienen los mismos divisores, entonces como a / a ,a
Z,
debe darse tambin que a / b b = k
1
a con k
1
Z.
De igual modo, como b / b y a tiene los mismos divisores que b, entonces b / a
a = k
2
b con k
2
Z.
Luego: b = k
1
(k
2
b) b = (k
1
k
2
) b
Entonces, si b 0, por la ley cancelativa, resulta: k
1
k
2
= 1 k
1
= k
2
= 1
k
1
= k
2
= -1 con lo que resulta b = a
Si b = 0, siendo a = k
2
b a = 0 y obviamente se verifica la
proposicin.

2 3 : Suponiendo que a = b, entonces b / a pues existe (1) Z, tal que : a = 1 b
y si a = b b = a a / b

3 1: Si a /b y b/ a veremos que a y b tienen los mismos divisores:
Sea cZ tal que c / a, entonces como a / b c / b. Esto es, cualquier divisor
de a
lo es tambin de b.
De igual modo, si k / b como b /a k /a. Luego, todo divisor de b
tambin
divide a a.
47



Definicin: Dos enteros a y b que verifican las condiciones de la Proposicin anterior se
dicen
enteros asociados.
Evidentemente el asociado de un entero a es a.

Ejercicio: Probar que la relacin ser asociado de definida sobre Z es una relacin
de
equivalencia.


Divisor Comn Mayor

Sea aZ, indicaremos con D(a) el conjunto de todos los divisores de a.
D(a) = {xZ : x /a }

Ejemplos: D(12) = {1, 2, 3, 4, 6, 12 }
D(-27) = {1, 3, 9, 27}
D(1) = {1} D(p) = {1, p} D(0)= Z

D(12) D(-27) = {1, 3}

En general, el conjunto de los divisores comunes de dos enteros no
simultneamente nulos, es distinto de vaco y finito. Entonces, como subconjunto de Z
finito y distinto de , tiene ltimo elemento. Esto es, existe un divisor comn de a y de
b que es mayor que los dems y adems, ese es positivo, pues si c/x -c/x de modo
que c D(a)D(b) -c D(a)D(b).

Definicin: Dados dos enteros a y b, no simultneamente nulos, se llama Divisor
Comn
Mayor de a y b al mayor de los divisores comunes.

Indicaremos el divisor comn mayor de los enteros a y b con: (a, b).
Ejemplo: (12, -27) = 3

Observacin:
Si b/a (a, b) =b b0
En particular: (0, a) = a

Proposicin: Si a, b Z, b0 y r es el resto de dividir a por b, entonces a y b tienen los
mismos divisores que b y r.

Demostracin:
Sean q y r Z: a = q b + r , con 0 r <b, entonces r = a - q b
Sea c un divisor comn de a y de b, entonces c / xa + yb x, y Z, en particular:
c / a - q b c / r
Luego, c es divisor comn de b y de r. Esto es, cualquier divisor de a y b, es tambin
divisor de b y r.
48

Recprocamente: Sea t un divisor de b y de r t/b y t/r t / q b + r t / a
Luego t es divisor de a y de b.

Corolario: (a, b) = (b, r) Esto es, el divisor comn mayor entre a y b es igual al
divisor
comn mayor entre b y r.

Probar el Corolario anterior como ejercicio.

Ejemplo: consideremos el problema de calcular el divisor comn mayor de los nmeros
342 y
126.
342 126 12690 90 36 36 18
90 2 36 1 18 2 0 2

As: (342, 126) = (126, 90) = (90, 36) = (36, 18) = 18


Clculo del divisor comn mayor Algoritmo de EUCLIDES

Vamos a organizar las divisiones sucesivas realizadas en el ejemplo anterior, a
travs del siguiente cuadro:

2 1 2 2
342 126 90 36 18
90 36 18 0

Obsrvese que el divisor comn mayor entre 342 y 126 es el ltimo resto no nulo
obtenido luego de las sucesivas divisiones.

Veamos en general: Sean a , b Z , b0
Efectuamos divisiones sucesivas como indica el cuadro. Se observa que los restos que
se obtienen son positivos y estrictamente decrecientes, por ello el procedimiento podr
repetirse un nmero finito de veces. El ltimo resto ser siempre nulo.

q
1
q
2
q
3
q
n-2
q
n-1
q
n
q
n+1
a b r
1
r
2
r
n-3
r
n-2
r
n-1
r
n
r
1
r
2
r
3
r
n-1
r
n
0

Formalizamos ahora en el siguiente:


Teorema: si a , bZ , b0, el ltimo resto no nulo que se obtiene en el Algoritmo de
Euclides, es el divisor comn mayor d de a y b.
Adems d = x a + y b , x, y Z.


Demostracin:
1) Si el primer resto obtenido es cero d = (a, b) = b y este puede escribirse:
b= 0 a + (1) b con lo que se verifica el teorema.
49


2) Si el resto es 0 al cabo de n+1 divisiones, n>1, se tiene:
a = q
1
b + r
1
0 r
1
< b
b = q
2
r
1
+ r
2
0 r
2
< r
1

r
1
= q
3
r
2
+ r
3
0 r
3
< r
2
. . . . . . . . . . . . . . . .
r
n-2
= q
n
r
n-1
+ r
n
0 r
n
< r
n-1

r
n-1
= q
n+1
r
n
+ 0

De esta ltima igualdad resulta que: r
n
/r
n-1
(r
n-1
, r
n
) = r
n

Por el Corolario de la Proposicin anterior, resulta:
r
n
= (r
n-1
, r
n
) = (r
n-2
, r
n-1
) = . . . = (r
1
, r
2
) = (b, r
1
) = (a, b)
Esto es,
r
n
= (a, b) = d

Por otra parte, de las igualdades anteriores, resulta:
r
1
= a q
1
b r
1
= a + (-q
1
) b
r
2
= b q
2
r
1


r
2
= b q
2
(a + (-q
1
) b) r
2
= (-q
2
) a + (1 + q
1
q
2
) b
r
3
= r
1
q
3
r
2
r
3
= a + (-q
1
) b q
3
[(-q
2
) a + (1 + q
1
q
2
) b]
r
3
= (1 + q
2
q
3
) a + (-q
1
q
3
q
1
q
2
q
3
) b
. . . . . . . . . . . . . . . . . . . . . . .

Sea observa que todo resto se puede escribir como un mltiplo de a ms un mltiplo
de b, en particular:
r
n
= d = x a + y b con x, y Z

En el ejemplo anterior, expresaremos (342, 126) = 18 como un mltiplo de 342
ms un mltiplo de 126:
342 = 2 126 + 90 90 = 342 + (-2) 126
126 = 1 90 + 36 36 = 126 + (-1) 90
90 = 2 36 + 18 18 = 90 + (-2) 36

18 = [342+(-2) 126]+ (-2)[126 + (-1)90]
18 = 342 + (-4) 126 + 290 18 = 342 + (-4) 126 + 2 [342 + (-2) 126]
18 = 3 342 + (-8)126 donde se ve que x = 3 , y = -8

Observaciones:
1.- Como a y a tienen los mismos divisores, entonces por la definicin de divisor
comn
mayor, resulta:
(a, b) = (-a, b) = (a, -b) = ( -a, -b)

Luego, para el clculo del divisor comn mayor, d, de dos enteros cualesquiera, no
simultneamente nulos, se puede suponer a ambos positivos.



Enteros relativamente primos.

50

Definicin: se dice que el entero a es primo con el entero b, o que a y b son coprimos o
primos relativos, si (a, b) = 1

Proposicin: Si (a, b) = 1 entonces existen enteros s, t, tales que a s + b t = 1 y
Recprocamente, si tales enteros existen, entonces a y b son coprimos.

Demostracin: A cargo del alumno


Proposicin: Sean a, bZ, (a, b) = 1 y a / b c entonces a/c.

Demostracin:
(a, b) = 1 1 = s a + t b multiplicando ambos miembros por
cZ:
c = s a c + t b c y como por hiptesis a/ bc y a/a a / (sc) a + t (bc)
a/c.


Corolario: Si p es un entero primo y p/ bc, entonces p/b p/c.

Demostracin:
1) Si p/b entonces es obvio que se verifica el corolario.
2) Supongamos que p no divide a b y probaremos entonces que p/c.
Como p es primo y no divide a b (p, b) = 1, luego, por la proposicin anterior,
resulta
que: p/ bc y (p, b) = 1 p/c


Corolario: Si p/ a
1
a
2
a
r
y p es primo, entonces p/ a
i
para algn i =1, 2, .., r.


Proposicin: Si a, b, c Z y (a, b) = 1 entonces existen x
0
, y
0
Z tales que:
a.x
0
+ b.y
0
= c. Es decir, la ecuacin a.x + b.y = c admite al menos una
solucin entera.

Demostracin: Si (a, b) = 1 s a + t b = 1 y multiplicando por c y asociando,
es:
(cs) a + (ct) b = c con lo que x
0
= cs , y
0
= c t, probando la
existencia
de soluciones x
0
, y
0
.


Proposicin: la condicin necesaria y suficiente para que la ecuacin de coeficientes
enteros
a x + b y = c tenga solucin entera, es que el divisor comn mayor de a y
b sea
divisor de c. Esto es: (a, b) /c.
Demostracin:
1) Probaremos primero que si (a, b) =d y d/c entonces la ecuacin a x + b y = c admite
solucin entera:
51

Sea d= (a, b) tal que d/c, entonces existe kZ : c = k d
Por otra parte, existen enteros s, t: d = s a + t b multiplicando por k:
k d = k s a + k t b c = (ks) a + (kt) b
Tomando x
0
= ks Z y y
0
= kt Z resulta que (x
0
, y
0
) es solucin de la ecuacin
dada.
2) Recprocamente: si a x + b y = c tiene solucin, probaremos que d/c.
Sea (x
1
, y
1
) una solucin de la ecuacin a x + b y = c a x
1
+ b y
1
= c
Si d = (a, b) a = ad y b = bd, reemplazando en la expresin anterior:
adx
1
+ bdy
1
= c d (ax
1
+by
1
) = c d/c.


Ecuaciones DIOFNTICAS

Las ecuaciones Diofnticas son ecuaciones de coeficientes enteros, para las que
interesa determinar, si existen, las soluciones enteras.
El matemtico Diofanto (siglo III a.C) se ocup de estudiar las soluciones
enteras de ciertas ecuaciones, de ah el nombre dado a estas ecuaciones.
Las ecuaciones planteadas en las Proposiciones anteriores, son de ese tipo, en
particular, son ecuaciones diofnticas lineales de dos incgnitas como las siguientes:
3 x + 5 y = 8 137 x 25 y = 1 12 x + 81 y = 3

Veamos que una ecuacin Diofntica del tipo ax + by = c, no tiene solucin
entera o admite infinitas soluciones enteras:

1) Si a = b = c = 0 es obvio que todo para de enteros (x
0
, y
0
) es solucin de la
ecuacin, ya que 0 x
0
+ 0 y
0
= 0

2) Si a = b = 0 y c 0, entonces no existe solucin posible.

3) Si a y b no son simultneamente nulos, la proposicin anterior nos indica que la
ecuacin admite al menos una solucin si (a, b) / c.
La siguiente Proposicin muestra que si hay solucin, entonces existen infinitas
soluciones.

Proposicin: Si ax + b y = c , con a, b, c Z, tiene solucin entera y (x
0
,y
0
) es una
solucin
cualquiera, entonces todas las soluciones de esa ecuacin son de la forma:
*
t
d
a
y y
t
d
b
- x x
0
0

+ =
=
siendo d = (a, b) y tZ

Demostracin:
1. Veamos que cualquier par de enteros de las forma indicada en * es solucin de la
ecuacin ax + by = c
Reemplazando en la ecuacin, segn *, resulta:
= |

\
|
+ + |

\
|
t
d
a
y b t
d
b
- x a
0 0
a x
0
- a
d
b
t + b y
0
+ b
d
a
t
52

= a x
0
+ b y
0
siendo (x
0
, y
0
) una solucin
= c

Luego, efectivamente la forma indicada en * es solucin de la ecuacin.

2. Veamos ahora que toda solucin de la ecuacin ax + b y = c se escribe de la forma
indicada en *:

Supongamos que a 0 y sea (m, n ) otra solucin, entonces tenemos:
a x
0
+ b y
0
= c
a m + b n = c
restando, miembro a miembro, a la segunda expresin la primera:
a ( m - x
0
) + b (n - y
0
) = 0 a ( m - x
0
) = - b (n - y
0
)

Como d = (a, b) a = a' d y b = b' d siendo a' y b' coprimos

Remplazando en la expresin anterior: a' d (m - x
0
) = - b' d (n -y
0
)
cancelamos d en ambos miembros: a' (m - x
0
) = - b' (n -y
0
)
Esto muestra que: a' / -b (n - y
0
) a' / n -y
0
n - y
0
= t a'
n = y
0
+ a' t
n = y
0
+ t
d
a


De igual forma, tomando n - y
0
= t
d
a
a' (m - x
0
) = - b' t
d
a
con
a 0
m - x
0
= - t
d
b

m = x
0
- t
d
b


Luego, una solucin (m, n) cualquiera, est dada por la forma * , con tZ, lo que hace
que entonces existan infinitas soluciones, una para cada t elegido.
En resumen, conociendo una solucin de la ecuacin ax + by = c, se pueden conocer
todas.


Ejemplo 1: Consideremos la ecuacin lineal diofntica 3 x + 12 y = 6
Como (3, 12 ) = 3 y 3/6, entonces existen infinitas soluciones.
Fcilmente se observa que el par (-2, 1) es una solucin ya que : 3 (-2) + 12 1 = 6
Luego las restantes soluciones sern del tipo:

+ =
=
t
3
3
1 y
t
3
12
- 2 - x

+ =
=
t 1 y
t 4 - 2 - x
t Z

Luego tambin son soluciones, por ejemplo:
53

Para t = 1 el par (-6, 2)
Para t = 3 el par ( -14, 4)
Para t = -1 el par ( 2, 0)
Etc., etc.

Ejemplo 2: 8 x + 12 y = 5
Como ( 8, 12) = 4 y 4 no divide a 5 no existen soluciones para
esta ecuacin.

Ejemplo 3: Sea la ecuacin: 11 x + 4 y = 120
Como (11, 4) = 1
Expresamos d = 1, como combinacin lineal de 11 y 4.
11 = 4 2 + 3 3 = 11 - 4 2
4 = 3 1 + 1 1 = 4 - 3 1 1 = 4 - 11 + 4 2
1 = 3 4 - 11
1 = (-1) 11 + 3 4 u = -1 y
v = 3

Por otro lado, como d = 1 c' = c, en este caso c' = 120
Luego la solucin obtenida es: x
0
= (-1) 120 = -120
y
0
= 3 120 = 360
esto es:

=
=
360 y
120 - x
0
0


Verificacin:
11 (-120) + 4 360 = -1320 + 1440 = 120

Cualquier otra solucin de la ecuacin dada ser de la forma:

+ =
=
t 11 360 y
t 4 - 120 - x
siempre
t Z


Mltiplo comn menor

Teorema: Dados a, b Z
+
, existe un m Z
+
, tal que:
1) m es mltiplo de a y de b,
2) si m' es mltiplo de a y de b, entonces m' es mltiplo de m.

Demostracin:
Sea d = (a, b) a = d a', b = d b' siendo (a', b') = 1
Sea m = a b' m es mltiplo de a, pero m = a' d b' m es mltiplo de b
Luego m rene la condicin 1)
Supongamos que m' Z
+
: m' es mltiplo de a y es tambin mltiplo de b
m' = k
1
a , m' = k
2
b con k
1
, k
2
Z m' = k
1
d a' , m' = k
2
d b'
k
1
d a' = k
2
d b' , esto es k
1
a' = k
2
b' a' /k
2
b'
pero siendo (a', b') = 1 a'/ k
2
luego existe cZ : k
2
= a' c
m' = a' d b' c
m' = a' c b y como a' b = m
54

m' = m c m/m' m' es mltiplo de m.


Definicin: El entero m de la proposicin anterior es el mltiplo comn menor de a y b.
Lo indicamos: m = [a, b]

De acuerdo a la proposicin anterior m = a b' y b' =
d
b
, reemplazando entonces, es:
m =
d
b a
[a, b] =
b) (a,
b a


Ejemplo: [128, 36] =
36) (128,
36 128
[128, 36] =
2
4608
[128, 36] =
2304


Como todo mltiplo de un entero a , lo es tambin de (-a), claramente se verifica:

[a, b] = [a, -b] = [-a, b] = [-a, -b]

Otra definicin : dados dos enteros no nulos, el menor mltiplo comn de ambos, es el
menor entero positivo m, tal que es mltiplo de los dos enteros dados.

M(a) ={n a, n Z} M
+
(a) = {n a, nZ
+
}
M(b) ={n b, n Z} M
+
(b) = {nb, nZ
+
}

M
+
(a) M
+
(b) pues al menos ab = a b M
+
(a) M
+
(b)
As, el mltiplo comn menor es el primer elemento del conjunto [M
+
(a) M
+
(b)].


De modo equivalente a como hemos definido el mltiplo comn menor de dos enteros
dados, es posible definir el divisor comn mayor:

Definicin: dados dos enteros a y b, un nmero entero d se dice un divisor comn
mayor de a
y b si verifica las siguientes propiedades:
1) d/a y d/b
2) Si d' es un entero tal que: d'/a y d'/b, entonces d'/d.

Ntese que si d y d' son dos divisores comunes mayores entre a y b, entonces d/d' y
d'/d, por lo cual son asociados, esto es: d = d'. Luego, segn esta definicin, el divisor
comn mayor de a y b es nico, salvo el signo.


Teorema Fundamental de la Aritmtica:
Todo entero distinto de 1 y 0, se puede escribir como producto de 1 por
enteros primos positivos y esa descomposicin es nica, salvo el orden.

Demostracin:
55

Basta hacer la demostracin para enteros positivos. Entonces: sea a Z, a >1
Si a = 2 a es primo a = 1 2, luego 2 se escribe de la forma indicada.

Sea a > 2 y supongamos por Hiptesis Inductiva que la descomposicin en factores
primos existe para todo m, 2 m < a, probemos entonces que tambin existe para a:

Si a es primo, no hay nada que probar.
Si a no es primo, entonces admite al menos un divisor no trivial, supongamos
entonces que
a = b c con b, c Z y adems, 1 < b < a , 1 < c < a
Por la hiptesis inductiva, tanto b como c pueden escribirse como producto de primos
positivos, luego a tambin.

Probaremos ahora que esa descomposicin es nica:

Supongamos que a = p
1
.p
2
. p
3
. p
n
con p
i
primos, y que tambin
a = q
1
. q
2
. q
3
q
r
q
i
primos
Probaremos por induccin sobre n, el nmero de factores de la primera descomposicin.
Si n = 1: a = p
1
entonces q
1
. q
2
. q
3
q
r
debe tener un solo factor, podemos
suponer que es q
1
: p
1
= q
1
y n = r = 1
Por Hiptesis inductiva supongamos que la descomposicin es nica para (n-1) factores,
probaremos que lo es para n factores

p
1
.p
2
. p
3
. p
n
= q
1
. q
2
. q
3
q
r

(*)
p
1
/ q
1
. q
2
. q
3
q
r

siendo p
1
un nmero primo p
1
/q
i
para algn i = 1, 2,, r. Podemos suponer i =1

p
1
/ q
1
p
1
= q
1
. Entonces la expresin
(*)
se reduce a : p
2
. p
3
. p
n
= q
2
.
q
3
q
r
con lo cual ahora tenemos (n-1) factores en la descomposicin, por lo que se cumple la
proposicin por la H.I. Luego, ordenando los factores de la derecha, resultan
respectivamente iguales a los de la izquierda y p
2
= q
2
, p
3
= q
3
, .. y n = r

Este Teorema Fundamental de la Aritmtica, era ya conocido por Euclides que,
aunque es razonable suponer que conoca la demostracin de la unicidad, pues est
implcita en su obra, slo dio la de la descomposicin.
La demostracin general basada en las ideas de Euclides fue hecha recin por
Gauss (1777 - 1855). Otras demostraciones no basadas en el concepto de divisor comn
mayor, fueron dadas recin a principios del siglo XX. O sea, pasaron 22 siglos antes que
se diera una demostracin distinta a la esbozada por Euclides.


Veamos ahora cuntos nmeros enteros primos hay:

Proposicin: Existen infinitos nmeros primos.

Demostracin:
Bastar probar que existen infinitos primos positivos.
Supongamos, por absurdo, que el nmero de primos es finito. Entonces la lista de los
primos existentes ser: p
1
, p
2
, p
3
, , p
n
56

Consideremos el nmero entero: a = p
1
p
2
p
3
p
n
+1
Como a > 1, puede descomponerse en 1 por primos positivos, al menos un factor
primo p.
Ese p debe ser alguno de los primos de la lista, supongamos p = p
k
.
Luego p
k
/a y como p
k
/ p
1
p
2
p
3
p
n
p
k
/ a - p
1
p
2
p
3
p
n

p
k
/1
Absurdo!
Luego existen infinitos enteros primos.

Ahora sabemos que hay infinitos primos. Pero los conocemos realmente? es fcil
reconocer si un entero dado es o no primo?
Si queremos determinar la primalidad de un nmero natural n, la forma ms
ingenua es verificar que no es divisible por ningn nmero entero menor que l, a partir
del 2. Pero obsrvese que podemos limitar la bsqueda de posibles divisores a los
nmeros primos menores que n. De todas maneras habr que realizar muchos clculos y
debemos contar previamente con una buena lista de primos. Podemos aliviar un poco
mas la situacin, a partir del siguiente resultado:

Proposicin: Si n es compuesto, n es divisible por algn primo menor o igual que su
raz cuadrada.

Demostracin:
sea n >1, por el Teorema Fundamental, puede descomponerse en primos. Sea p el
menor de esos factores: n = p b
Si n no es primo p b , pues p es el menor divisor propio de n.
Entonces : p p p b p
2
n p n .
Esto es, n es primo o admite un divisor primo menor que n .

Entonces podemos reducir la bsqueda de eventuales divisores primos de un nmero, a
aquellos menores o iguale que su raz cuadrada. Si ninguno de ellos lo divide, entonces
el nmero es primo.

Criba de Eratstenes

El mtodo de la Criba de Eratstenes permite confeccionar tablas de primos. Es
llamado as por Eratstenes de Cirene (278-194 a.C), matemtico griego que construy
la primera tabla de primos conocida.
Supongamos que queremos hacer la tabla de todos los primos menores o iguales que un
cierto m. Para ello se escriben todos los nmeros naturales entre 1 y m y procedemos
as: primero suprimimos el 1 (tachamos); luego, a partir de 2, sin incluirlo, tachamos
todos sus mltiplos hasta llegar a m. A continuacin, y a partir del 3, que no qued
tachado, tachamos todos sus mltiplos hasta llegar a m. Y as siguiendo, por cada
nmero que no se tacha, se tachan sus mltiplos.
Por ejemplo, para obtener la tabla de primos menores o iguales que 50:

1 2 3 4 5 6 7 8 9 10
11 12 13 14 15 16 17 18 19 20
21 22 23 24 25 26 27 28 29 30
31 32 33 34 35 36 37 38 39 40
41 42 43 44 45 46 47 48 49 50
57

Tenemos as los primos menores que 50 y observamos que son 15.

Cmo encontrar la descomposicin en factores primos de un entero a dado?
No hay un mtodo general de factorizacin. Tericamente todos los primos que dividen
a un a>1 se pueden determinar directamente dividiendo a a por los primos menores que
l o aplicando la Proposicin anterior, bastar con probar con primos p a .
Supongamos que as obtenemos los primos p
1
, p
2
, , p
s
tales que p
i
/a, p
i
a , i =
1, 2, , s
Entonces: a = p
1
p
2
p
s
c
Si c 1, razonamos anlogamente a lo que hicimos con a y observamos entonces que c
es primo ( c > a ) c admite un divisor primo p c . Siendo c < a . As
obtenemos todos, eventualmente todos excepto el c, que es el cociente de a por
p
1
p
2
p
s
.

Ejemplo: Descomponer en factores primos : -3540.
Como 3540 =59,49 debemos probar de dividir 3540 por los primos
menores o iguales que 59: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59


Los divisores primos de 3540 son: 2, 3, 5 y 59

3540 2 3540 = 2
2
3 5 59
1770 2
885 5
177 3
59 59
1

En general aZ se escribe entonces como. a =
s 2 1
e
s
e
2
e
1
p ... p . p con p
i

primos positivos, i = 1, 2, , s y e
i
Z , i = 1, 2, , s.

Ejemplo: Escribir 7320 como producto de primos positivos.
Es obvio que 10 / 7320 luego 7320 = 732 10 = 732 2 5
Los factores primos divisores de 732 son los p 732 = 27.0, luego p< 27.
Esto es: 2, 3, 5, 7, 11, 13, 17, 19 y 23 podran ser divisores de 732. Se observa que
2/732 y 3/732 732 = 2 3 c
732 = 2 3 122 732 = 2 3 2 61 7320 =
2
3
3 5 61

Cuntos divisores tiene 7320?
En general, si a =
s 2 1
e
s
e
2
e
1
p ... p . p , cualquier divisor b de a, debe ser de la forma:
b =
n 2 1
f
n
f
2
f
1
p p p con 0 f
i
e
i
Entonces a = b (
n
f f f
n 2 2 1 1
e
n
e
2
e
1
p p p ) 0 e
i
-f
i
e
i
.
Veamos cuales y cuantos son entonces los divisores de 7320 = 2
3
3 5 61.
Si b/ 7320 b =
4 3 2 1
f f f
61 5 3 2
f
con: 0f
1
3; 0f
2
1; 0f
3
1; 0f
4
1
58

Entonces, son divisores de 7320:

(1) 2
1
3
0
5
0
61
0
= 2 (1) 2
2
3
0
5
0
61
0
= 4 (1) 2
3
3
0
5
0
61
0

= 8
(1) 2
1
3
1
5
0
61
0
= 6 (1) 2
2
3
1
5
0
61
0
= 12 (1)
2
3
3
1
5
0
61
0
= 24
(1) 2
1
3
0
5
1
61
0
= 10 (1) 2
2
3
0
5
1
61
0
= 20 (1)
2
3
3
0
5
1
61
0
= 40
(1) 2
1
3
0
5
0
61
1
= 122 (1) 2
2
3
0
5
0
61
1
= 244 (1) 2
3
3
0
5
0
61
1

= 488
(1) 2
1
3
1
5
1
61
0
= 30 (1) 2
2
3
1
5
1
61
0
= 60 (1) 2
3
3
1
5
1
61
0

= 120
(1) 2
1
3
1
5
0
61
1
= 366 (1) 2
2
3
1
5
0
61
1
= 732 (1) 2
3
3
1
5
0
61
1

= 1464
(1) 2
1
3
1
5
1
61
1
= 1830 (1) 2
2
3
1
5
1
61
1
= 3660 (1) 2
3
3
1
5
1
61
1

= 7320
(1) 2
1
3
0
5
1
61
1
= 610 (1) 2
2
3
0
5
1
61
1
= 1220 (1) 2
3
3
0
5
1
61
1

= 408
(1) 2
0
3
0
5
0
61
1
= 61 (1) 2
0
3
1
5
0
61
0
= 3 (1) 2
0
3
0
5
1
61
0

= 5
(1) 2
0
3
1
5
1
61
0
= 15 (1) 2
0
3
0
5
1
61
1
= 305 (1) 2
0
3
1
5
1
61
1

= 915 (1) 2
0
3
1
5
0
61
1
= 183 (1) 2
0
3
0
5
0
61
0
= 1

se observa que son 64 divisores.
En general, el nmero de divisores positivos de un entero a =
s 2 1
e
s
e
2
e
1
p ... p . p , es:
(e
1
+1) (e
2
+1) (e
s
+ 1)
En el ejemplo: (3+1) (1+1) (1+1) (1+1) = 32


Congruencias

Hemos definido la relacin de congruencia mdulo m en Z: a b (m) a b = k . m
Esto es, dos enteros a y b son congruentes mdulo m si la diferencia entre ambos es un
mltiplo de m.

Observacin: es claro que si a b (m) a b (-m)

Sea : Z Z la relacin definida por: a b si a y b arrojan el mismo resto al
dividirlos por m ( tomando un m fijo, m 2), esto es:
a = k
1
. m + r con 0 r < m
b = k
2
. m + r con 0 r < m

Veamos que esta relacin recin definida y la congruencia mdulo m son la misma
relacin.
59

En efecto: a b (m) a b = k . m a = k . m + b con b<m o bm

1) si b < m b = 0 . m + b de modo que a y b arrojan en mismo resto b, al
dividir por m.

2) si b m b = k.m + r y 0 r < m
como a = k.m + b a = k . m + (k.m + r)
a = (k+k).m + r
luego a arroja el mismo resto que b al dividirlos por m.

Observaciones:
1) a b (m) a b (-m) entonces podemos tomar siempre m 0

2) si m = 0 a b (m) a = b

Proposicin: Cada a Z es congruente mdulo m con uno y slo uno de los enteros
0, 1, 2, , m-1.

Demostracin: a = k . m + r a r (m) siendo 0 r < m 0 r m-1
Adems, los enteros 0, 1, 2, , m-1 no son congruentes entre s mdulo m
C
a
= C
r
y r {0, 1, 2, 3, , m-1}

Proposicin: Si a b (m) y c d (m) entonces:
1) a + c b + d (m)
2) a . c b . d (m)

Demostracin:
1) si a b (m) entonces a = q
1
m + r
1
y b = q
2
m + r
1

si c d (m) entonces c = q
3
m + r
2
y d = q
4
m + r
2


Luego a + c = (q
1
+ q
3
) m + (r
1
+ r
2
)
b + d = )q
2
+ q
4
) m + (r
1
+ r
2
) a + c b + d (m)
2) a .c = (q
1
m + r
1
) (q
3
m + r
2
)
a . c = q
1
q
3
m
2
+ q
1
m r
2
+ r
1
q
3
m + r
1
r
2

a . c = (q
1
q
3
m + q
1
r
2
+ r
1
q
3
) m + r
1
r
2
(*)

por otra parte: b . d = (q
2
m + r
1
) (q
4
m + r
2
)
b . d = q
2
q
4
m
2
+ r
1
q
4
m + q
2
m r
2
+ r
1
r
2

b . d = (q
2
q
4
m + r
1
q
4
+ q
2
r
2
) + r
1
r
2
(**)

De (*) y (**) resulta a . c b. d (m)

As la congruencia mdulo m es compatible con la suma y con el producto.

Corolario 1: Si a
i
b
i
(m) i = 1, , s
Entonces
=
s
1 i
i
a
=
s
1 i
i
b (m) y
=
s
1 i
i
a
=
s
i
i
1
b (m)
(Puede probarse por induccin sobre s)
60


Corolario 2: Si a b (m) a
n
b
n
(m)

Corolario 3: Si a + c b + c (m) a b (m)
Esto es: vale la Ley de Cancelacin en la suma de congruencias.
Demostracin: si a + c b + c (m) (a + c) (b + c) = k m a b = k m
a b (m)

Observacin: En cambio, no vale la Ley de Cancelacin en el producto de congruencias.
El siguiente contraejemplo lo muestra: 3 . 4 6 . 3 (6) sin embargo 4 no es
congruente con 6 mdulo 6.

La siguiente proposicin muestra en que condiciones particulares es posible cancelar un
factor en una congruencia:

Proposicin: a . c b .c (m) si y slo si a b (m/d) siendo d = (c, m)

Demostracin:
1) Sea a .c b.c (m)
a .c = q
1
(m) + r
b.c = q
2
(m) + r a.c b.c = k.m c (a b) = k.m (*)
Por otra parte , siendo d = (c,m) es : c= c.d y m = m.d
Dividiendo entonces (*) por d, resulta:
c (a-b) = k.m
luego m/ c.(a-b) m/ a-b m.h = a-b con hZ
a b (m) a b |

\
|
d
m

2) Si a b |

\
|
d
m
a-b = k.m
multiplicando por c: c.(a-b) = c.k.m c.(a-b) = c.d.k.m
asociando convenientemente: c (a-b) = k.c.m c.a c.b = (k.c)m
ac bc (m)


Corolario: Si c.a c.b (m) y (c,m) = 1 a b (m)
(Probarlo como ejercicio)

Esto nos dice que en una congruencia se pueden cancelar factores que son coprimos con
el mdulo m.

Proposicin: Si a, b son enteros positivos, entonces a b (m) si y slo si a(m) = b(m)

Demostracin:
1) Si a b (m) es, por definicin a b = k . m con kZ
Si a = q
1
. m + r
1
con r
1
< m a(m) = r
1

Si b = q
2
. m + r
2
con r
2
< m b(m) = r
2

a b = (q
1
q
2
) m + (r
1
r
2
)

61

Por la unicidad del cociente y el resto, (r
1
r
2
) = h . m con h Z
Pero r
1
r
2
< m por lo tanto h = 0 r
1
r
2
= 0 r
1
= r
2

Esto es, a (m) = b(m)

2) Recprocamente, supongamos que a(m) = b(m) entonces ambos enteros arrojan
el mismo resto al dividir en m: a = q
1
m + r y b = q
2
m + r
a b = (q
1
q
2
) m a b (m)
Con lo que queda probada la proposicin.


Aplicaciones

Problema 1.- Multiplicar, mdulo 5 los nmeros 7421 y 124592.
Solucin:
En lugar de hacer la multiplicacin directamente, tomamos los restos mdulo 5:
7421 = 1484 5 + 1 7421 1 (5)
124592 = 24918 5 + 2 124590 2 (5)
Luego 7421 124590 = 1 2 2 (5)

Problema 2.- Demostrar que el entero a.(a
2
1) es mltiplo de 3.
Solucin:
Obsrvese que los restos que es posible obtener al dividir un entero por 3 son: 0, 1 2,
entonces a 0 (3) a 1 (3) a 2 (3)
1) si a 0 (3) a es mltiplo de 3, luego a (a
2
-1) es mltiplo de 3.
2) si a 1 (3) a.a 1.1 (3) a
2
1 (3) a
2
1 es mltiplo de 3,
luego se verifica la proposicin.
3) si a 2 (3) a
2
2
2
(3) a
2
4 (3) 1 (3) a
2
1 3s mltiplo de 3,
lo que verifica tambin la proposicin.

Problema 3.- El resto de dividir el entero a en 7 es 5.
Cul es el resto de dividir (a 15) en 7?
Solucin:
Por hiptesis a = q
1
. 7 + 5 a 5 (7)
Debemos calcular r : a 15 = k . 7 + r con 0 r < 7
O, lo que es lo mismo, r a 15 (7)

Veamos: como a 5 (7) y , siendo
-15 -8 (7) es
a 15 -3 (7) pero 3 4 (7)
luego a 15 4 (7) r = 4

Por lo tanto, el resto de dividir (a-15) en 7 es 4.

Problema 4.- Probar que 106
24
es divisible por 16.
Solucin:
Dividiendo 106 entre 16 se obtiene: 106 = 16 x 6 + 10 106 10(16)
106
2
10
2
(16) 4 (16)
106
3
4 x 10 (16) 8 (16)
106
6
8
2
(16) 0 (16)
62

(106
6
)
4
0 (16)
106
24
0 (16) por lo tanto 16 / 106
24


As resulta que efectivamente 16 es divisor de 106
24
.

Hemos abierto el campo de la aritmtica modular. Podemos hacer operaciones ( sumas
y productos) mdulo m. Tiene tambin sentido plantear ecuaciones de congruencia del
tipo c x b(m).

Proposicin: Si (c,m) = 1, la congruencia c x b (m) tiene solucin entera y dos
soluciones cualesquiera, x
1
, x
2
, son congruentes entre s mdulo m.

Demostracin: como (c,m) = 1 1 = s.c + t.m con s, t Z
multiplicando por b: b.s.c + b.t.m = b b bsc = (b.t) m
Esto es: b b s c (m) c.(bs) b (m) luego x = bs es solucin de la
ecuacin c x b (m).
Por otra parte si x
1
y x
2
son soluciones de la ecuacin, entonces:
c x
1
b (m) y c x
2
b (m) por lo tanto c x
1
c x
2
(m) siendo
(c,m) = 1 por lo que vale la Ley de Cancelacin, entonces x
1
x
2
(m)

As queda demostrada la proposicin.

Ejemplo: Sea la congruencia: 3 x 2 (5)

Esta congruencia tiene solucin entera, ya que c =3 y b =5 son relativamente primos.
1 1 2 5 = 1 3 + 2 2 = 5 + (-1) 3
5 3 2 1 3 = 1 2 + 1 1 = 3 - 2 = 3 -5 +3 1 = 2 3 + (-1) 5
2 1 0 s = 2 y t = -1

x = b s x = 2 2 x= 4 es solucin.
En efecto: 3 4 2 (5)
Cualquier otra solucin ser: x
1
4(5)

, por ejemplo x
1
= 24


Ejercicio: 4 x + 3 4 (5)
A cargo del lector.



63

Nmeros Complejos

Definicin: Un nmero complejo es un par ordenado (a,b) de nmeros reales. El
conjunto C
de los nmeros complejos coincide, por lo tanto, con el conjunto R
2
de
todos los pares ordenados de nmeros reales y, geomtricamente, un complejo puede
verse como un punto o como un vector en el plano cartesiano.
Aunque como conjuntos C y R
2
sean iguales, desde el punto de vista algebraico, son
diferentes. En R
2
estamos interesados en la suma de vectores y en la multiplicacin de
stos por un nmero real. En C interesa esa misma suma de complejos (vectores) y la
multiplicacin de complejos, como veremos ms adelante.

Mdulo de un complejo

Definicin: el mdulo de un complejo, o valor absoluto, es su distancia al origen. Si z =
(a,b)
entonces escribimos : z =
2 2
b a + .

Ejemplo: Sea b= (-3,1) C, lo representamos en el plano y calculamos su mdulo:
b=
2 2
1 ) 3 ( + b= 1 9 + b= 10

Suma de nmeros complejos

Definicin: Sean z = (a, b) y w = (c, d), nmeros complejos. La adicin o suma de
complejos
z + w se define: z + w = (a,b) + (c,d) = (a+c , b+d)

Ejemplo: Sea z = (3, -2), w = (-1, 4) z + w = [ 3+(-1), (-2)+4 ]
z + w = (2, 2)
Grficamente:






Esa definicin coincide con la de suma de vectores en el plano.
64


Ejercicio: Calcula (3,-2) + (-1,6). Dibuja estos complejos en el plano. Indicando z=
(3,-2) y
w= (-1,6), qu figura forman los cuatro puntos: O=(0,0), z, w y z+w ?

Propiedades de la suma de complejos
Sean z, w y v C, z = (a, b) ; w = (c,d) y v = (r, s)
1.- Asociativa: se verifica que z + (w + v) = (z +w) + v
En efecto: z + (w + v) = (a, b) + [(c, d) + (r, s)]
= (a, b) + (c+r, d+s)
z + (w + v) = [a+(c+r), b+(d+s)] por asociatividad de la suma
en R
= [(a+c)+r , (b+d)+s]
= [(a+c),(b+d) ] + (r, s)
= (z + w) + v

2.- Conmutativa: se verifica que z + w = w + z
En efecto: z + w = (a, b) + (c, d)
= (a+c , b+d) por conmutatividad de la suma
en R
= (c+a , d+b) luego
= w + z

3.- Existencia de neutro en C : supongamos que x = (x
1
, x
2
) C es neutro para la
suma,
debe verificarse entonces que z = (a, b) C : z + x = z
Luego: (a, b) + (x
1
, x
2
) = (a, b) (a+x
1
, b+x
2
) = (a, b)
a + x
1
= a x
1
= 0
b + x
2
= b x
2
= 0 As resulta que x = (0, 0) es neutro para la suma en
C.
El complejo 0 = (0, 0) es llamado complejo nulo.

4.- Existencia de simtrico u opuesto
zC, -z C tal que z + (-z) = (0,0)
En efecto, si z = (a, b) , el simtrico es -z = (-a, -b), pues:
65

(a, b) + (-a, -b) = (a-a , b-b) = (0,0)
Ejercicio: Verifica que, u, v, w C, valen las siguientes propiedades:
i) u + v = u + w v = w (Ley de Cancelacin)
ii) (u + v) = (-u) + (-v)


Diferencia: La suma de un complejo z ms el simtrico de otro cualquiera (-w), se
llama
diferencia de z menos w, e indicamos: z + (-w) = z - w

Ejercicio: Verifica que la ecuacin x + z = w , siendo z, w C, cualesquiera,
admite
como nica solucin: x = w z.



Multiplicacin de un real por un complejo

Definicin: Si tR y z= (a,b)C, entonces se define tz = (ta , tb)

Ejemplo: Calcular y graficar en el plano:
i) 2(3,-1) ii) (-1/2)(2,3) iii) 0(-7,1/2)
i) 2 (3, -1) = (2.3, 2(-1)) = (6, -2)






Apartados ii) y iii) a cargo del lector.

Ejercicio: Analiza e interpreta geomtricamente la multiplicacin de un real t por un
complejo
z. Distingue los casos t>0, t<0 y t=0.


Proposicin: tz= tz, para todo tR y zC.

66

Demostracin: Sea z = ( a, b) t.z = (ta, tb) t.z=
2 2
) ( ) ta ( tb + +
t.z= + ) b a ( t
2 2 2
+ t.z=
2 2 2
b a t +
t.z= tz


Propiedades del producto de un real por un complejo

Se verifican las siguientes propiedades, siendo t, s R y z, wC:
(Probarlas como ejercicio)

i) s(tz) = (st)z ii) (s+t)z = sz + tz
iii) t(z+w) = tz + tw iv) 0z = (0,0)
v) t(0,0) = (0,0) vi) 1z = z

Unitarios, Argumento, Forma Trigonomtrica

Siendo z=(a, b) un complejo no nulo (esto es, z (0,0)), vamos a describir el complejo
z
z
, en mdulo, direccin y sentido.
Calculemos primero el mdulo de z: z=
2 2
b a + +
Luego
z
z
=
2 2
b a
b) (a,
+

z
z
=
|
|

\
|
+ +
2 2 2 2
b a
b
;
b a
a

Calculemos ahora la norma de este complejo:

2 2 2 2
b a
b
;
b a
a
+ +
=
2
2 2
2
2 2
b a
b
b a
a
|
|

\
|
+
+
|
|

\
|
+


z
z
=
2 2
2 2
b a
b a
+
+

z
z
= 1
Por otro lado, siendo zun real positivo,
z
1
es tambin un real positivo < 1
Por lo tanto, la direccin de
z
z
y su sentido, coinciden con el de z.


67


Definicin: Cualquier complejo de mdulo 1 es llamado unitario.

Dado un complejo no nulo z, el complejo
z
z
es el unitario de z. Todo complejo
unitario pertenece a la circunferencia de centro en el origen y de radio 1, por lo tanto es
de la forma (cos, sen). A un ngulo de este tipo se le llama argumento de z.
Cualquier otro ngulo de la forma + 2k (en radianes) es tambin un argumento del
mismo z. Luego, para todo complejo no nulo z, se puede escribir:

) sen , (cos
z
z
= ) sen , (cos z z = ) sen z , cos z ( z =

Cada una de estas expresiones es llamada forma polar o forma trigonomtrica del
nmero complejo z. El argumento 0 2 es llamado argumento principal.

y ) sen , (cos z z =




) sen , (cos
z
z
=





Ejemplo: Siendo z = (-3,5), se tiene que z=
2 2
5 ) 3 ( + = 34 5,8310.
Luego, )
34
5
,
34
3
( 34 z

= Por lo tanto cos =
34
3
- 0,5145 y
sen =
34
5
o,8575. Como es del 2 cuadrante, podemos calcular directamente en
la calculadora: = arc cos
34
3
= 120,96.
Luego: z = (-3,5) = 34 (cos 120,96, sen 120,96).



Multiplicacin de complejos unitarios

Cada complejo unitario, (cos , sen ), define una rotacin de centro en el
origen y de amplitud . Por definicin, multiplicar dos complejos unitarios es
equivalente a componer las rotaciones que ellos definen, o sea, sumar sus ngulos. Por
68

lo tanto, el producto de dos complejos unitarios es un nuevo complejo unitario cuyo
argumento es la suma de los argumentos de los dos factores dados:
(cos , sen ) .(cos , sen ) = [cos (+), sen (+)]
Y w
zw z z = (cos , sen )
w = (cos , sen )

X




z.w = [cos(+), sen (+)]


Ejemplo: (0,1) .
2
1
,
2
1
|

\
|
= (cos 135, sen 135) . (cos90 , sen 90)
= (cos (135+90) , (sen (135+90))
= (cos 225 , sen 225)
=
2
1 -
,
2
1
|

\
|



Veamos como se comporta algebraicamente el producto de complejos unitarios.

Sean z = (a,b) = (cos , sen) y z= (c,d) = (cos, sen), complejos unitarios,
entonces:

z . z = (cos , sen). (cos, sen) z. z = ([cos (+), sen (+)]

y, por las frmulas usuales de seno y coseno de la suma de dos ngulos resulta:
z . z = (cos cos - sen sen ; sen cos + cos sen )
z . z = (ac bd ; bc + ad)

Esto significa que para complejos unitarios, la definicin de producto equivale a :
(a , b) . (c , d) = (ac bd , ad + bc)


Multiplicacin de complejos en general

Definicin: El producto de dos complejos no nulos cualesquiera z y w, es otro complejo
cuyo mdulo es el producto de los mdulos y cuyo unitario es el producto de los
unitarios de cada uno de los factores. Esto es, si z = (a , b) y w = (b , c), tenemos:
(a , b) . (c , d) = z.w = zw. (unitario de zw)
(a ,b ) . (c , d) = zw . [(unitario de z). (unitario de w)]
69

= zw .
(
(

|
|

\
|
|
|

\
|
w
d
;
c
.
z
b
;
z
a
w

=
|
|

\
|
+
w z
bc ad
,
w z
bd - ac
w z
= (ac bd , ad + bc)

Esto muestra que la definicin dada para multiplicacin de unitarios vale tambin para
cualquier par de complejo. En resumen:

Para complejos cualesquiera, el producto est definido por: (a , b) . (c , d) = (ac bd , ad
+ bc)

Para complejos no nulos, esto equivale a: multiplicar mdulos y sumar argumentos.


Ejercicio: Verifica que la multiplicacin de complejos es conmutativa, asociativa y
distributiva respecto de la suma.

Existencia de Neutro multiplicativo, inverso, conjugado
Existe neutro para la multiplicacin de complejos? Cul?
Se trata de buscar un complejo w que satisfaga que w.z = z , z C. Si tal complejo
existe, ser de la forma: w = w(cos , sen ).
Si z =z(cos , sen ), entonces: w. z tendr como mdulo, el producto de los
mdulos de w y z , y por argumento, la suma de los argumentos.
As: w. z=w.z w.z= z por lo tanto w= 1
Respecto de los argumentos: + = = 0
Por lo tanto: w = 1 ( cos 0, sen 0) o, lo que es lo mismo: w = (1, 0)

Existe el inverso de z, z C, z 0?
El inverso de z, si existe, tendr que ser un complejo z' tal que z .z' = (1, 0), esto es,
igual al neutro.
Razonando como en el caso anterior, z' ser de la forma : z' = z'(cos , sen )
Luego: z.z'=z.z' z.z'= 1 z
-1
=z'
Respecto de los argumentos: + = 0 luego = -
As, z' tiene por argumento, el opuesto del argumento de z y por mdulo el inverso del
mdulo de z.
Llamando z' = z
-1
, resulta que z C, z(0, 0), es z
-1
=z
-1
(cos( -), sen (-)

)

Ejemplo: Si z = |

\
|

2
1
,
2
1
determinar z
-1
.
70

El mdulo de z es: z=
2 2
2
1
2
1
|

\
|
+ |

\
|
z= 1
Cos =
1
2
1

= 135
Luego z
-1
= (cos (-135), sen (-135)) z
-1
= cos 225, sen 225)

Veamos como es la expresin del inverso de un complejo en forma de par ordenado:
Sea z = (a, b) C, su inverso ser otro complejo (x, y), tal que (a, b) . (x, y) = (1, 0)
Luego: (ax by , ay + bx) = (1, 0)

= +
=
0 x b y a
1 y b - x a
(*)

= +
=
0 y a x b
1 y b - x a


a) (por 0
) b por (
2
2
= +
=
y a abx
b y b bax

( ) b y a - b
2 2
=
y =
( )
2 2
b a
b
+
y =
( )
2 2
b a
b
+

Retomando el sistema (*), ahora multiplicamos la primera ecuacin por a y la segunda
por b:
0 aby b
a y ab - x a
2
2
= +
=

a x ) b a (
2 2
= +
2 2
b a
a
x
+
=
As: z
-1
= (a, b)
-1
= |

\
|
+ +
2 2 2 2
b a
b -
,
b a
a


Definicin: Siendo z = (a , b), llamamos conjugado de z, al complejo z = (a, -b)

Interpretemos geomtricamente el conjugado de un complejo:

Ejemplo: w = (-1/2, 5) w= (-1/2, -5)

71

Proposicin: Siendo z (0 , 0), entonces:
2
z
z

z
1
=
Demostracin:
Calculemos : z . z = (a, b) . (a, -b)
= [ a.a -b.(-b) ; a(-b)+ b.a ]
= ( a
2
+ b
2
; 0 )
= z
2

Luego: z . z = z
2

z
1

z
z
2
= z
-1
=
2
z
z


Cociente de complejos
Definicin: El cociente
w
z
de complejos, (siendo w 0), es el producto de z por el
inverso
de w. Por lo tanto:
2
w
w z.

w
z

w
1
x. = =
Ejemplo: Calculemos
( )
( ) 4 , 3
2 , 1
.

( )
( ) 4 , 3
2 , 1
=
2
4) , (3
4) - (3, ) 2 , 1 (

=
16 9
6) 4 - , 8 3 (
+
+ +

= |

\
|
25
2
,
25
11


Los complejos como cuerpo de nmeros

Hasta aqu hemos definido dos operaciones en C, suma y multiplicacin, de acuerdo a
las reglas:
(a , b) + (c , d) = (a+c , b+d)
(a , b) . (c , d) = (ac bd , ad + bc)

De acuerdo con las propiedades que esas operaciones verifican, resulta que C tiene
estructura de cuerpo.

Forma binmica o algebraica de un complejo

Sea X = {z C: z = (x, 0)}, esto es el eje X.
Sea f : R X, tal que f(x) = (x , 0). Fcilmente puede verificarse que f es una
biyeccin de R sobre el conjunto X de los complejos de la forma (x, 0):
En efecto si x, y R, entonces f(x) = (x , 0) , f(y) = (y , 0)
Si f(x) = f(y) (x ,0) = (y ,0) x = y por lo que f es
inyectiva
72


Por otra parte: (x , 0) X, x R : f(x) = (x ,0) luego f es sobreyectiva
As f: R X es una funcin biyectiva.
Adems, para t, x, y R se verifica:

i) f(x + y) = f(x) + f(y) ii) f(x.y) = f(x). f(y) iii) f(t x) = t. f(x)
(Probar como ejercicio)

La funcin biyectiva anterior nos permite identificar el conjunto R de los nmeros
reales con el X, de los complejos de la forma (x , 0). En virtud de esa identificacin
escribiremos:

(x , 0) = x en particular: (0 , 0) = 0 y (1 , 0) = 1

El nmero i

Nos concentramos ahora en el eje Y. Todo punto (0 , b) del eje Y es un mltiplo del
complejo unitario (0 , 1) = (cos
2

, sen
2

), el cual, de ahora en ms llamaremos i, o

sea:
i = (0 , 1)

Entonces, cualquier complejo (a , b) se puede escribir:

(a , b) = (a , 0) + (0 , b) = a (1 , 0) + b (0 , 1) = a + bi

(a , b) = a + bi


Esta es la llamada forma binmica o algebraica del complejo z = (a , b)

Obsrvese que i
2
= i . i = (cos |

|
+
\
|
2 2

, sen |

|
+
\
|
2 2

)
i
2
= (cos , sen ) = (-1,0) i
2
= -1

Ejemplo: Siendo z = a + bi, escribir en forma algebraica:
i) -z -z = -a bi
ii) z z = a bi
iii)
z
1

z
1
=
2 2
b a
b - a
+
i

iv) z. z z. z = (a + bi). (a b i) z. z = a
2
a b i + bi a b
2
i
2
z. z =
a
2
+ b
2



Ejercicio: Siendo z = (2+3i) y w = -1+5i, calcula:
i) z ii) w iii) 1/z iv) z + w v) z.w vi) z/w vii) z
2

Ejercicio: Dibuja en el plano el complejo genrico z (si es necesario discute casos).
73

Dibuja ahora: i) z ii) i.z iii) i.z iv) 2i.z v) z
2



Nomenclatura:
Eje X Eje real
Eje Y Eje imaginario
a + bi Forma algebraica del complejo (a, b)
a = Re (a + bi) Parte real del complejo (a + bi)
b = Im (a + bi) Parte imaginaria del complejo (a + bi)

Un complejo de la forma bi (donde bR) se denomina imaginario puro.

Ejercicio: Dado z C, determina:
i) z + z
ii) z - z
iii) z. z
(a cargo del lector)
iv) Cundo es z = z ?
Observa que si z = a + bi z = a bi
Entonces si z = z , b = - b y el nico real que coincide con su opuesto es 0
z es de la forma a + 0i esto es, z es un complejo real.

v) Cundo es z = - z ? (a cargo del lector)


Propiedades de la conjugacin

Si z y w son nmeros complejos, valen las siguientes propiedades:
i) z z = ii) w z w z + = +
iii) w z z.w = iv) ( ) ( )
n n
z z = , n Z
v) z 1/ z / 1 = (z 0) vi) z / w w/z= (z 0)

Demostracin:
i) Sea z = a + bi z = a bi i b - a z = = a + bi
v) Si z = a + bi z = a bi
i b a
1

z
1

=
2 2
b a
b a

z
1
+
+
=
i
=
2 2 2 2
b a
b
b a
a
+
+
+
(1)
Por otro lado:
2 2 2 2 2 2
b a
b
b a
a

b a
b - a

z
1
+

+
=
+
=
i i
entonces


2 2 2 2
b a
b
b a
a
z / 1
+

+
= =
2 2 2 2
b a
b
b a
a
+
+
+
(2)

74

luego de (1) y (2) resulta z 1/ z / 1 =

La demostracin de los restantes apartados queda a cargo del lector.

Otra notacin

Todo complejo unitario es de la forma (cos , sen ).
Escribiendo este unitario en forma algebraica o binmica, se tiene: cos + i sen. Esta
expresin se simplifica escribiendo: cis.
Entonces, dado un complejo no nulo z, resulta:

z = z ( cos + i sen) = z cis

que es otro modo de escribir un complejo en forma trigonomtrica.


Potencia de complejos

La potencia n-sima (n N) de un complejo puede calcularse a partir de la forma
binmica o algebraica del complejo o a partir de su forma polar o trigonomtrica.
En el primer caso, si z = a + bi, z
n
se puede calcular aplicando la frmula del Binomio
de Newton.
Ejemplo: Sea z
3
= (1 + i)
3
entonces (1 + i)
3
= 1
3
+ 3 i + 3 i
2
+ i
3

= -2 + 2 i

Empleando la forma polar: (1 + i )
3
= (1 + i)
2
. (1 + i)
= ( ) [ ]
2
45 sen , 45 cos 2 ( ) [ ] 45 sen , 45 cos 2
As, recordando que el producto de dos complejos es otro complejo cuyo mdulo es el
producto de los mdulos de los complejos dados y su argumento es el la suma de los
argumentos correspondientes, resulta:

(1 + i )
3
= ( )
(

) 90 sen , 90 (cos 2
2
( ) [ ] 45 sen , 45 cos 2
(1 + i )
3
=
(

\
|
) 135 sen , 135 (cos 2
3

Observen que el complejo z
3
obtenido tiene por mdulo
3
z y por argumento, tres
veces el argumento de z.
Este razonamiento puede generalizarse para todo z C y para todo n N:

( ) ( ) = n cis z cis z
n n


Esta expresin es conocida como la frmula de De Moivre (1667 1754)

Ejercicio: determinar ( -1 + i)
4
.
Llamando z = -1 + i z = ( )
2 2
1 1 + z = 2
75

El argumento de z: cos =
2
1
= o = 135
Luego ( -1 + i)
4
= ( ) ) (4.3/4 cis 2
4

( -1 + i)
4
= 4 cis (3 )
( -1 + i)
4
= 4 cis


Races de un complejo

Consideremos ahora el problema de resolver, en C, la ecuacin z
n
= w, donde z es la
incgnita y w es un complejo dado. Una ecuacin de este tipo se llama ecuacin
binomia.
Analicemos las soluciones de tal ecuacin:
1) Si w = 0, la nica solucin a la ecuacin z
n
= 0 es z = 0.
En efecto: si z
n
= 0 entonces el mdulo de z
n
debe ser cero, esto es 0 z
n
=
0 z
n
=
por lo tanto 0
z
=
y el argumento debe ser cero: =0

2) Si w 0, podemos escribir: w = cis w y z = cis z donde w y son
conocidos, mientras z y son las incgnitas. As la ecuacin z
n
= w quedar:
= cis w n cis z
n

=
=
cis n cis
w z
n

+ =
=
2k n
w z
n

n
2k

+
=
(kZ)

El hecho de que k recorra el conjunto de los enteros puede dar la impresin de que
existen infinitas soluciones, pero en verdad hay repeticiones. Sin embargo dando a k los
valores 0, 1, 2, , n-1 se obtienen los siguientes argumentos:
n

,
n
2

+
,
n
4

+
,
n
6

+
, . . . ,
n
1) - 2(n

+
(*)

y en consecuencia los n nmeros complejos z
1
, z
2
, z
3
, . . . , z
n
que tienen por mdulo
n
w y argumento igual a cada uno de los ngulos antes indicados, son las n races n-
simas de w, todas distintas entre s.
En efecto, la diferencia entre dos argumentos cualesquiera es:

n
2k

+
-
n
2k

+
=
n
k' - k
2
Como k y k son distintos y comprendidos entre 0 y n-1, su diferencia es no nula y
menor en valor absoluto que n, por lo tanto no es un mltiplo entero de 2 , esto es no
son ngulos congrurntes, lo que prueba que z
1
, z
2
, z
3
, . . . z
n
son distintas entre si.
En cambio, tomando k n, se obtendra un argumento que difiere con alguno de los
indicados en (*) en un mltiplo entero de 2 y en consecuencia la raz que corresponde
a ese argumento coincide con una de las n ya encontradas.
76

Por lo tanto la ecuacin binmia z
n
= w ( con w0) tiene exactamente n soluciones
distintas.

Conclusin:

Las soluciones de la ecuacin z
n
= w , con w 0 , w = cis w son:
z = |

\
|
+
n
2k

n
cis w
n

(k = 0, 1, 2, . . . , n-1)

Las n races de la ecuacin binomia z
n
= w , con w0, se denominan races n-simas
del complejo w. En el plano complejo ellas constituyen los vrtices de un polgono
regular de n lados, inscripto en la circunferencia de centro en el origen y radio
n
w .

Ejemplo: resolver la ecuacin binomia z
4
= 1 + i 3 .

Aqu w = 1 + i 3 y lo expresamos en forma polar y resulta: w = 2 cis 60| = 2 cis 1/3

Se tiene entonces que z =
4
2 1/3
cis 2
4
k +
o z =
4
180 2 60
cis 2
4
+ k

luego, tomando k = 0, 1, 2, 3 obtenemos las cuatro races cuartas del complejo w dado:

z
0
= =

15 cis 2
4
60
cis 2
4 4
z
1
z
1
= =
+
105 cis 2
4
180 . 2 60
cis 2
4 4
z
0

z
2
z
2
= =
+
195 cis 2
4
180 . 2 . 2 60
cis 2
4 4
z
3


z
3
= =
+
285 cis 2
4
180 . 3 . 2 60
cis 2
4 4

Ejercicio: Resuelve las siguientes ecuaciones binomios:
a) z
3
= 3 2i b) z
4
= -1 c) z
5
= -3 + 4i


Races de la unidad

Analicemos la ecuacin binomia z
n
= 1. Considerando 1 = 1 cis 0, resulta entonces
que las soluciones de la ecuacin o las races n-simas de 1 estn dadas por:
cis
n
k 2
con k = 0, 1, . . . , n-1

Llamamos races n-simas de la unidad a las soluciones de la ecuacin z
n
= 1.
Obviamente una de las races es 1, que corresponde a k = 0. Ntese que si n es par, n =
2 t, hay otra raz real, -1, que corresponde al valor de k = t. Si n es impar, 1 es la nica
raz real.
77


Ejemplo: Calculemos las races cuartas de 1, o, lo que es lo mismo, determinemos las
soluciones de la ecuacin z
4
= 1.

Para k = 0: z
0
= cis 0 z
0
= 1
k=1: z
1
= cis
4
180 . 2
z
1
= cis 90 = (cos 90+ i sen 90) = i
k=2: z
2
= cis
4
180 . 2 . 2
z
2
= cis 180 = (cos 180+i sen180) = -1
k=3: z
3
= cis
4
180 . 3 . 2
z
3
= cis 270= (cos270+i sen270) = -i

En el plano complejo, las races cuartas
de la unidad representan los vrtices de
un cuadrado con centro en el origen i
del sistema y radio 1.


-1 1



-i


Las races n-simas de la unidad son particularmente interesantes pues se verifica que:

Todas las races n-simas de un complejo z se obtienen multiplicando una de ellas por
cada una de las n races n-simas de la unidad.

En efecto, sea c es una raz n-sima de z (z 0) y sean w
1
, w
2
, . . . , w
n
son las n races
n-simas de la unidad, entonces (c. w
i
)
n
= c
n
. w
i
n
= z . 1 = z i = 1, 2, , n
De modo que c.w
1
, c. w
2
, . . . , c. w
n
son n races n-simas de z.
Adems, todas ellas son distintas pues, si c. w
i
= c. w
j
w
i
= w
j
.

As, conocida una raz n-sima de un nmero z las restantes se pueden determinar
conociendo las races de igual orden de la unidad.

Ejemplo: Por un ejercicio anterior sabemos que una raz cuarta del complejo w =1 + i
3 es
15 cis 2
4
. Entonces todas las races cuartas de w se calculan:

w
0
= 15 cis 2
4
. cis 0 = 15 cis 2
4

w
1
= 15 cis 2
4
. cis 90 =
4
2 cis 105
w
2
= 15 cis 2
4
. cis 180 =
4
2 cis 195
w
3
= 15 cis 2
4
. cis 270 =
4
2 cis 285
Obteniendo, obviamente, las mismas soluciones anteriores.

78

Llamemos G
n
al conjunto de las races n-simas de la unidad, esto es: G
n
= {u C: u
n

= 1}
Proposicin: 1) si u G
n
y v G
n
entonces u.v G
n
.
2) si u G
n
entonces 1/u G
n
.

Demostracin: a cargo del lector.

Las races n-simas de la unidad pueden clasificarse en dos grupos: por un lado, las que
aparecen como races de 1 de algn orden inferior a n, y por otro lado, las que no
aparecen como races de 1 de algn orden inferior a n.
Estas ltimas se llaman races primitivas de la unidad de orden n.

Definicin: una raz n-sima de la unidad se dice una raz primitiva de orden n si el
menor exponente natural k, tal que
k
= 1, es k = n.

Ejemplo: Considerando las races de la unidad de orden cuatro que hemos calculado:
1, i, -1, -i, slo i y i son races primitivas de orden cuatro, ya que 1 es raz de
orden 1 y 1 es raz de orden 2.

Proposicin: Si es una raz primitiva de la unidad de orden n, entonces
0
, ,
2
, . . . ,

n-1

son las n races n-simas distintas de 1.

Demostracin: si es una raz n-sima de 1significa que
n
= 1, entonces
k
es raz n-
sima de 1 cualquiera sea el exponente entero k, pues: (
k
)
n
= (
n
)
k
= 1
k
= 1
En particular: 1, ,
2
, . . . ,
n-1
.

Cmo calcular las races primitivas de la unidad?

Proposicin: Las races primitivas de la unidad de orden n se obtienen dando a k los
valores
coprimos con n en la expresin: cis
n
k 2
= cos
n
k 2
+ i sen
n
k 2
.

Ejemplo: Para obtener las races primitivas de la unidad de orden 6 se toma k = 1 y k
=5.
Entonces: cis
6
2
= cis 60 y cis
6
5 . 2
= cis 300 son las nicas
primitivas de orden 6.



79

POLINOMIOS

Los alumnos estn familiarizados con ecuaciones de primer y segundo grado en
una indeterminada o incgnita, del tipo:
a
1
x + a
0
= 0
a
2
x
2
+ a
1
x + a
0
= 0
y saben resolverlas.

En general, se llama ecuacin algebraica de grado n a la expresin del tipo:

a
n
x
n
+ a
n-1
x
n-1
+ . . . + a
2
x
2
+ a
1
x + a
0
= 0 (*)

donde a
n
, a
n-1
, . . . a
2
, a
1
, a
0
son nmeros reales dados, a
n
0, n es un nmero natural y x
un smbolo llamado indeterminada o incgnita.
Resolver la ecuacin (*) significa hallar los nmeros t tales que, reemplazados en lugar
de x, verifican la igualdad, es decir, tales que:
a
n
t
n
+ a
n-1
t
n-1
+ . . . + a
2
t
2
+ a
1
t + a
0
= 0
esos nmeros se llaman races de la ecuacin (*).

El clculo de las races de las ecuaciones algebraicas es un captulo muy importante del
lgebra y uno de los ms antiguos.
Para estudiar este problema es conveniente comenzar por estudiar las expresiones del
tipo

a
n
x
n
+ a
n-1
x
n-1
+ . . . + a
2
x
2
+ a
1
x + a
0

que forman el primer miembro de (*).

Monomios: son expresiones algebraicas de la forma P(x) = a x
n
donde a es un nmero
real, llamado coeficiente, x es la indeterminada y n es un nmero natural. El valor de n
determina el grado del monomio.

Por ejemplo: M(x) = -5 x
3
es un monomio de grado tres.
A(x) = x
2
es un monomio de grado dos.

Si el coeficiente de un monomio es 1, el monomio se dice mnico.

Por ejemplo: P(x) = x
7
es un monomio mnico de grado siete.

Polinomios:
Observen la expresin: P(x) = 2 x
5
+ 7 x
4
+ x
3
2 x
2
+ 3 x 5 es una suma de
monomios. Esta suma no puede reducirse a un solo trmino ya que la indeterminada x
tiene distintos exponentes en cada trmino, esto es, los trminos no son semejantes.
A una suma de varios monomios no semejante, la llamamos polinomio. As P(x) es un
polinomio.
En forma general, un polinomio es una expresin de la forma:
P(x) = a
n
x
n
+ a
n-1
x
n-1
+ . . . + a
2
x
2
+ a
1
x + a
0
donde a
i
K , siendo K el
cuerpo de los nmeros reales R , los racionales Q o los complejos C.

a
n
llamado coeficiente principal (a
n
0), es el coeficiente que acompaa a la
indeterminada x que tiene mayor exponente (x
n
).
Si a
n
= 1, el polinomio se dice mnico.
80

n es el mayor exponente al que figura la indeterminada x, y define el grado del
polinomio.
a
n
es el trmino independiente.
a
n
, a
n-1
, . . . , a
2
, a
1
, a
0
son nmeros reales constantes, llamados coeficientes.
x es la indeterminada y sus exponentes, n, n-1, . . . ,2, 1,0 son nmeros naturales.
El conjunto de los polinomios en la indeterminada x con coeficientes en K lo indicamos
con K[x].

As como a los polinomios de un solo trmino se los llama monomios, a los de dos
trminos se los llama binomios, a los de tres, trinomios y en general, polinomios.

Un polinomio se dice ordenado cuando los monomios que lo forman estn escritos
segn las potencias crecientes o decrecientes de la indeterminada.
Por ejemplo:
B(x) = -2x
3
3 x
2
+ x + 4 es un polinomio ordenado en forma decreciente, mientras
que C(x) = -8x + 3 x
2
5 x
3
+ x
6
est ordenado en forma creciente.

El primero de estos polinomios, B(x), es un polinomio completo, ya que a partir del
mayor exponente al que est elevada la indeterminada (en este caso 3), la x figura, en
cada trmino, elevada a cada una de las sucesivas potencias decrecientes (2, 1 y 0).
El polinomio C(x) no es completo, ya que faltan los trminos en x a la cero, a la cuarta
y a la quinta potencia. Decimos que C(x) es un polinomio incompleto.

Grado de un polinomio
Sea P(x) = a
0
+ a
1
x + a
2
x
2
+ ..* a
n
x
n
. Si no todos los coeficientes a
i
de un
polinomio son nulos y n es el mayor ndice tal que a
n
0, n se llama grado del
polinomio P(x) y se escribe gr(P(x)) = n

Polinomio nulo es el polinomio de la forma P(x) = 0 x
n
+ 0 x
n-1
+ . . . + 0 x + 0
o P(x) = 0 y su grado no est definido.

Los polinomios de grado cero, es decir los de la forma P(x) = a
0
y el polinomio nulo,
se llaman polinomios constantes.

Ejercicios:
a) Escribe un polinomio completo de grado cinco.
b) Escribe un polinomio de grado tres, cuyo coeficiente principal sea 2.
c) Escribe otro polinomio de grado tres, mnico, cuyo trmino independiente sea 3/2.
d) Escribe un polinomio de grado 4, ordenado segn las potencias de decrecientes de la
indeterminada y completo.
e) Escribe un polinomio de grado un y otro de grado cero.

Igualdad de polinomios: dos polinomios A(x) = a
n
x
n
+ a
n-1
x
n-1
+ . . . + a
2
x
2
+ a
1
x +
a
0


y B(x) = b
m
x
m
+ b
m-1
x
m-1
+ . . . + b
2
x
2
+ b
1
x +
b
0

son iguales si los coeficientes de cada uno de los monomios de igual grado coinciden,
esto es: n = m y a
n
= b
n
, . . . ,a
2
=b
2
, a
1
=b
1
, a
0
=b
0

81

Suma de polinomios
Definicin: Sean A(x) = a
n
x
n
+ a
n-1
x
n-1
+ . . . + a
2
x
2
+ a
1
x + a
0
K[x]
B(x) = b
m
x
m
+ b
m-1
x
m-1
+ . . . + b
2
x
2
+ b
1
x + b
0
K[x]
Se llama suma de A(x) mas B(x) al polinomio: A(x) + B(x) = S(x) K[x] tal que
s
i
= a
i
+ b
i
i = 0, 1, 2, .

Ejemplo:dados los polinomios
A(x) = 3x
4
+ x
3
3 x
2
+ 2 x 8 y B(x) = -4 x
3
+ 7 x
2
3 x +

la suma de ellos es otro polinomio que se calcula:

A(x) = 3x
4
+ x
3
3 x
2
+ 2 x 8
+ B(x) = -4 x
3
+ 7 x
2
3 x +
A(x) + B(x) = 3 x
4
3x
3
+ 4x
2
x 15/2

donde cada uno de los coeficientes del polinomio suma, resulta de sumar los
coeficientes de los trminos semejantes.

Polinomios opuestos: Para todo polinomio P(x) existe otro polinomio, que
indicaremos por P(x), tal que P(x) + (-P(x)) = 0. Estos polinomios se dicen
opuestos.

Por ejemplo: si A(x) es el polinomio A(x) = 3x
4
+ x
3
3 x
2
+ 2 x 8
entonces su opuesto, -A(x) es : -A(x) = -3x
4
- x
3
+ 3 x
2
- 2 x + 8

De modo equivalente a la suma, resolvemos una diferencia, sumando al minuendo el
opuesto del sustraendo:
A(x) = 3x
4
+ x
3
3 x
2
+ 2 x 8
- B(x) = 4 x
3
- 7 x
2
+ 3 x -
A(x) - B(x) = 3 x
4
+ 5x
3
- 10x
2
+ 5 x 17/2


Producto de monomios: dados dos monomios, el producto de ambos es otro monomio
cuyo coeficiente es el producto de los coeficientes y la indeterminada resulta elevada a
un exponente igual a la suma de los exponentes de los monomios dados.

Ejemplo: 3 x
4
5 x
2
= 15 x
6

(Observa que el resultado surge naturalmente de aplicar propiedades de las operaciones
con nmeros reales).

Producto de polinomios:
Definicin: Sean A(x) y B(x) K[x], llamamos producto de A(x) por B(x) al
polinomio
A(x) . B(x) = P(x) = p
0
+ p
1
x + p
2
x
2
+ ..
tal que p
i
=
= + i j k
j k
b a i = 0, 1, 2, .

En la prctica, el producto de dos polinomios es otro polinomio que surge de
multiplicar cada monomio de polinomio multiplicando, por cada monomio del
polinomio multiplicador.
82

Por ejemplo: sean A(x) = 3 x
2
+ 3x
4
8 + x
3
+ 2 x y B(x) = 7 x
2
3 x -4 x
3
.
Para multiplicar A(x) por B(x) seguiremos los siguientes pasos:

. escribimos A(x) completo y ordenado y debajo de l, escribimos B(x) ordenado de la
misma manera.
. multiplicamos el ltimo monomio de B(x) por cada uno de los trminos o monomios
de
A(x), escribiendo los resultados en forma ordenada.
. repetimos para cada monomio de B(x), encolumnando los trminos semejantes
obtenidos.
. finalmente sumamos los resultados obtenidos.

Entonces escribimos A(x) y B(x) ordenados:

A(x) 3x
4
+ x
3
3 x
2
+ 2 x 8
B(x) -4 x
3
+ 7 x
2
3 x .
-9 x
5
3 x
4
+ 9 x
3
6 x
2
+ 24 x
21 x
6
+7 x
5
21 x
4
+14 x
3
- 56 x
2

-12 x
7
4 x
6
+12 x
5
8 x
4
+ 32 x
3
.
-12 x
7
+17 x
6
+10x
3
- 32 x
4
+ 55 x
3
62 x
2
+ 24 x

Luego A(x) B(x) = -12 x
7
+17 x
6
+10x
3
- 32 x
4
+ 55 x
3
62 x
2
+ 24 x


Proposicin: Dados dos polinomios A(x)0 y B(x)0, se verifica:
1) si A(x) + B(x) 0 gr (A + B) max.(gr(A), gr(B))
2) si A(x) . B(x) 0 gr (A.B) = gr(A) + gr (B)

Ejercicio: Dados los polinomios:
A(x) = x
4
3x
3
-2x
2
+ 7x 5 B(x) = 2x
3
5x +3 C(x) = x
2
-1
Calcular, indicando en cada caso el grado del polinomio solucin:
a) A(x) B(x) b) B(x) [ -C(x) ]
c) B(x) C(x) d) A(x) [B(x) + C(x)]

Teorema:
la suma y el producto tienen las siguientes propiedades, A(x), B(x), C(x) K[x]
S
1
) Propiedad asociativa de la suma: A(x) + [B(x) + C(x)] = [A(x) + B(x)] +
C(x)
S
2
) Propiedad conmutativa de la suma: A(x) + B(x) = B(x) + A(x)
S
3
) Existencia de elemento neutro para la suma: A(x) + 0 = 0 + A(x) 0
K[x]
S
4
) A(x) K[x] , B(x) K[x] tal que A(x) + B(x) = 0 siendo a
i
= -b
i
i
M
1
) Asociatividad del producto: [A(x) . B(x)]. C(x) = A(x).[B(x) .C(x)]
M
2
) Conmutatividad del producto: A(x) . B(x) = B(x) . A(x)
M
3
) Existencia de elemento neutro para el producto:
83

el polinomio constante 1 es tal que A(x). 1 = 1 . A(x) = A(x)
D
1
) Propiedad distributiva del producto respecto de la suma:
A(x) .[B(x) + C(x)] = [A(x) .B(x)]+[A(x) . C(x)]

Observacin: En K[x] los nicos polinomios inversibles respecto de la multiplicacin,
son las constantes no nulas, esto es, los polinomios de la forma P(x) = a
0
.
En efecto, supongamos que A(x) K[x] tiene inverso y que B(x) K[x] es ese inverso,
entonces: A(x) . B(x) = 1
Luego: gr(A) + gr(B) = gr(1) = 0 gr(A) = gr(B) = 0 y A(x) y B(x) son
constantes.
As: B(x) = A
-1
(x)
Divisin entera de polinomios

Recordemos que en el conjunto Z de los nmeros enteros existe la divisin entera, esto
es, dados dos enteros a y b, b0, existen otros dos enteros q y r , llamados cociente y
resto respectivamente de dividir a por b, unvocamente determinados, tales que:
a = q b + r con 0 r | b |.
Para determinar q y r se aplica el algoritmo de la divisin entera.


Ejemplo: 343 | 12 . aqu a = 343 b = 12 q = 28 y r = 7
- 24 28
103 dividendo divisor cociente resto
- 96
7

De igual modo, en el conjunto de los polinomios en una indeterminada, existe tambin
la divisin entera.

Teorema: Dados los polinomios A(x) y B(x) 0 K[x], existen dos polinomios Q(x) y
R(x) K[x], llamados respectivamente cociente y resto de dividir A(x) por
B(x), unvocamente determinados, tales que:

A(x) = Q(x) B(x) + R(x) con gr (R(x) ) < gr (B(x)) o R(x) = 0

Tambin aqu aplicamos el algoritmo de la divisin entera para hacer el cociente entre
A(x) y B(x).

Por ejemplo: veamos el caso de un polinomio dividido un monomio

Sean A(x) = 6 x
4
12 x
3
+ 2 x 7 y B(x) = 2 x
2


6 x
4
12 x
3
+ 2 x 7 | 2 x
2

- 6 x
4
3 x
2
6 x cociente
0 - 12 x
3
+ 2 x 7
- 12 x
3

0 + 2 x 7 resto

84

Analicemos el procedimiento:

. Dividimos el primer monomio del dividendo (6x
4
) por el monomio divisor (2x
2
). El
resultado es 3 x
2
y representa el primer monomio del cociente. Multiplicamos 3 x
2
por
el divisor, obteniendo 6 x
4
que restamos del divisor. Nos queda 12 x
3
+ 2x -7
. Ese nuevo dividendo es de grado mayor que el divisor, por lo que procedemos como
antes, obteniendo 6 x, segundo monomio del cociente. Multiplicamos por el divisor y
restamos. Nos queda 2 x 7.
. Este polinomio es de grado menor que el divisor, entonces es el resto.

As: 6 x
4
12 x
3
+ 2 x 7 = (3 x
2
6 x) (2 x
2
) + 2 x 7
A(x) = Q(x) B(x) + R(x)

Hagamos ahora una divisin de un polinomio por otro polinomio:

A(x) = 3 x
5
+ 2 x
4
x + 3 y B(x) = x
2
+ 3 x 1

Aqu conviene completar el polinomio A(x):

3 x
5
+ 2 x
4
+ 0 x
3
+ 0 x
2
x + 3 x
2
+ 3 x

- 1 .
- 3 x
5
+ 9 x
4
- 3 x
3
3 x
3
7 x
2
+ 24 x 79 cociente
0 - 7 x
4
+ 3 x
3
+ 0 x
2

- - 7 x
4
- 21 x
3
+ 7 x
2

0 + 24 x
3
- 7 x
2
- x
- 24 x
3
+ 72 x
2
- 24 x
0 - 79 x
2
23 x + 3
- - 79 x
2
237 x + 79
0 + 260 x - 76 resto

Entonces es: 3 x
5
+ 2 x
4
x + 3 = (3 x
3
7 x
2
+ 24 x 79) (x
2
+ 3 x 1) + (260 x -
76)
A(x) = Q(x) B(x) + R(x)

Procedimiento: es como el anterior, slo que ahora, el monomio obtenido en el primer
paso, lo multiplicamos por todos los trminos del divisor. Est claro verdad ?


Veamos otro ejemplo: Calcular el cociente y el resto de dividir
P(x) = 2 x
3
4 x
2
7 x + 3 por B(x) = x 2

2 x
3
6 x
2
- 7 x + 3 x 2 .
- 2 x
3
4 x
2
2 x
2
- 2x 11
-2x
2
7 x + 3
- - 2x
2
+ 4 x
- 11 x + 3
- - 11 x + 22
- 19

85

Observen que el polinomio cociente tiene como coeficiente principal el mismo que el
polinomio dividendo (2) y que es un polinomio de un grado menos que l (grado 2). El
resto, es un polinomio de grado cero o polinomio constante.

Cuando el polinomio divisor es mnico de grado uno, o sea es de la forma (x a),
como en el ejemplo anterior, es posible determinar el cociente y el resto de la divisin
usando la disposicin prctica siguiente:

Coeficientes de P(x) 2 -6 -7 3
Valor de a 2 4 -4 -22
2 -2 -11 -19
Resto
Coeficientes
del cociente

Este procedimiento se conoce como Regla de Ruffini.
Cuando el resto de dividir un polinomio A(x) por otro B(x) es cero, se dice que B(x)
divide a A(x). En ese caso: A(x) = B(x).Q(x)

Divisibilidad en K[x]
Desarrollaremos aqu una teora de la divisibilidad de polinomios semejante a la
desarrollada en Z.

Relacin divide

Se dice que un polinomio A(x) divide a otro B(x) en K[x], si existe C(x) K[x]:
B(x) = A(x) . C(x)
En ese caso escribimos: A/B
Si A/B se dice tambin que A8x) es divisor de B(x) o que B(x) es mltiplo de A(x).

Propiedades de la relacin divide en K[x]

1) Propiedad reflexiva: A/A para todo A(x) K[x]
2) Propiedad transitiva: Si A/B y B/C A/C A(x), B(x), C(x) K[x]
3) A/0 A(x), K[x]
4) Si A/B y A/C A/ S.B + T.C con S, T K[x]

Polinomios unitarios
Definicin: Un polinomio en K[x] se dice unitario si es inversible respecto de la
multiplicacin.

Segn hemos visto los polinomios unitarios son las constantes no nulas.
En relacin a la divisibilidad un polinomio es unitario si y slo si divide a cualquier otro
polinomio.

Proposicin: dados A(x) y B(x) K[x], no nulos, las siguientes propiedades son
equivalentes:
1) A(x) y B(x) tienen los mismos divisores
86

2) A(x) y B(x) difieren en un factor unitario (es decir en una constante
no
nula)
3) A/B y B/A

Demostracin:
12: Supongamos que A(x) y B(x) tienen los mismos divisores:
como A/A entonces B/A C(x) K[x] : A = C . B
como B/B entonces A/B C`(x)K[x] : B = C`. A
A = C.C`.A A C.C`. A = 0 A .(1 C.C`) = 0
Si A 0 1 = C.C` por lo tanto C y C` son polinomios constantes.
Luego A y B difieren en una constante.
Si A = 0 B = 0 y se verifica 2)
2 3: Supongamos que A = k.B con kK , k0 entonces B/A
Adems, siendo kK, k
-1
tal que k
-1
. A = B A/B
34: Supongamos que A/B y B/A
Sea DK[x]: D/A, como A/B D/B
Si D`K[x]: D`/B y como B/A D`/ A
Los polinomios que verifican la Proposicin anterior se llaman asociados.
Entonces los polinomios asociados de un A(x) K[x], son de la forma k. A(x)
con kK , k0.
As, todo polinomio es divisible por las constantes no nulas y por sus asociados. Estos
son los divisores triviales. Cualquier otro divisor, distinto de estos, sern divisores
propios.

Divisor comn mayor

Definicin:
Dados A y B K[x], un DK[x] es el divisor comn mayor de A y de B, si:
1) D/A y D/B
2) Si D/A y D`/B D/D

Escribiremos: D = (A, B) para indicar el divisor comn mayor entre A y B.

Proposicin: Sean A, B K[x] y sea DK[x] el resto de dividir A por B. Entonces A y
B
tienen los mismos divisores que B y D

Demostracin: Probaremos primero que cualquier divisor de A y B es tambin divisor
de D y luego que todo divisor de D y B es tambin divisor de A.
1) Sea A = Q.B + R y sea PK[x] : P/A y P/B P divide a cualquier
combinacin lineal de A y B, en particular P/ A Q.B P/R
Luego, si P/A y P/B P/B y P/R
2) Sea P`K[x] tal que P/B y P/R P/ Q.B + R P/A
Luego si P/B y P/R P/A y P/B

Corolario: D = (A, B) D = (B, R)

Algoritmo de Euclides
87


Como en K[x] existe la divisin entera es posible aplicar el Algoritmo de Euclides para
determinar el divisor comn mayor entre dos polinomios A(x) y B(x) dados, de igual
manera que se hace en Z.
Entonces, dados A(x) y B(x) no nulos, se van haciendo divisiones sucesivas de acuerdo
al esquema conocido. Los restos que se van obteniendo son polinomios de grado
estrictamente decrecientes. As el procedimiento se aplicar slo un nmero finito de
veces. El ltimo paso conduce a un resto nulo.

Q
1
(x) Q
2
(x) Q
n
(x) Q
n+1
(x)
A(x) B(x) R
1
(x) R
n-2
(x) R
n-1
(x) R
n
(x)
R
1
(x) R
2
(x) R
n
(x) 0

Proposicin:
Si A(x) y B(x) K[x] son no nulos, el ltimo resto no nulo que se
obtiene aplicando el Algoritmo de Euclides, es el divisor comn mayor D, entre A(x) y
B(x). Adems D se puede escribir de la forma
D(x) = S(x). A(x) + T(x) . B(x) con S, T K[x]

Esta proposicin prueba entonces la existencia del divisor comn mayor para dos
polinomios no nulos.
Si alguno de ellos es el polinomio nulo, por ejemplo A(x) = 0, entonces:
(B(x), 0) = B(x) y B(x) = 1. 0 + 1. B(x)

Observacin: de la definicin de divisor comn mayor resulta que si D(x) = (A(x),
B(x)), otro D`(x) K[x] es un divisor comn mayor de A(x) y B(x) si y slo si D(x) y
D(x) son asociados. Vale entonces el siguiente

Teorema
Para todo par de polinomios A(x) y B(x) K[x] existe un divisor comn mayor
D(x) K[x] y D(x) = S(x). A(x) + T(x) .B(x) con S(x) y T(x)K[x]. Adems, los
divisores comunes mayores de A(x) y B(x) son de la forma k.D(x), con k K, k0.

Como el divisor comn mayor de dos polinomios es nico, se considera el D(x) mnico
que cumple las condiciones de la definicin. Se habla entonces de el divisor comn
mayor.

Ejemplo: En R[x] hallar el divisor comn mayor de A(x) y B(x) y expresarlo como
combinacin lineal de ambos, siendo:
A(x) = x
4
3 x
3
+ 5x
2
9 x + 6 y B(x) = x
3
+ 4x
2
+ 3x +12

x- 7 x + 4
x
4
3 x
3
+ 5x
2
9 x + 6 x
3
+ 4x
2
+ 3x +12 x
2
+ 3
- x
4
+ 4x
3
+ 3x
2
+ 12 x
-7 x
3
+ 2x
2
21 x + 6
- -7 x
3
28x
2
21x - 84
30 x
2
+ 90
- x
3
+ 3x
4 x
2
+ 12
- 4x
2
+ 12
0


Por lo tanto D(x) = (A, B) = x
2
+ 3
88

y A(x) = B(x). (x 7) + 30 (x
2
+ 3) x
2
+ 3 =
30
1
A(x) -
30
1
B(x) . (x 7)

Observacin: Como A(x) tiene los mismos divisores que k.A(x) con kK, k0,
entonces:
(A(x), B(x)) = (k.A(x), k.B(x)) con kK, k0 y kK, k0
Luego, para calcular el divisor comn mayor de dos polinomios dados, se pueden
simplificar los clculos descartando los factores constantes de los polinomios dados y de
los sucesivos restos obtenidos en el algoritmo, puesto que los resultados variarn a lo
sumo en un factor constante, que no tiene inters para el clculo del divisor comn
mayor.

Otro ejemplo:
Hallar D(x) = (A, B) siendo: A(x) = 6x
4
3x
3
+ 11x
2
15x +1 y B(x) = 6x
3
+ 14 x
8

Podemos considerar: B`(x) = 3x
3
+ 7x 4