Guía Daniel Siberio (Completa)

Men
Profesorado
MATEMTICA

A.N.E.P. CO.DI.CEN.
DIRECCIN DE FORMACIN Y PERFECCIONAMIENTO DOCENTE
Departamento de Educacin a Distancia

ADMINI STRACIN NACI ONAL DE EDUCACIN PBLICA
CONSEJ O DIRECTIVO CENTRAL

Presidente: Prof. Germn Rama
Vicepresidente: Dr. J os Claudio Williman
Vocal: Lic. Nelly Leites de Moraes
Vocal: Mtra. Rosa Mrquez
Vocal: Prof. Carmen Tornara

DI RECCI N DE FORMACI N Y PERFECCIONAMI ENTO DOCENTE

Directora: Prof. J enny Barros
Subdirector rea Magisterial: Mtro. Milton Martorell

DEPARTAMENTO DE EDUCACIN A DI STANCIA

Director: Prof. Carlos J ones Gaye
Secretaria Docente: Mtra. Irma Paolino
Tcnicos en Educacin a Distancia: Mtro. Mario Ibarra
Prof. Graciela Rabajol
i
Administrativos Helena Schilde
Carolina Arrascaeta

EQUI PO DOCENTE DE LA ESPECI ALI DAD MATEMTICA
lgebra I Profesor Daniel Siberio
Geometra I Profesor Sergio Peralta
Matemtica Bsica Profesoras:
Mara Elena Becerra
Mnica Kacevas
Ana Mara Tosetti
EDICIN AO 2000

lgebra I
A.N.E.P. - CO.DI.CEN.
Direccin de Formacin y Perfeccionamiento Docente.
1
Para_volver_a_la_pgina_de_la_Especialidad

CONTENI DO

1. Introduccin
2. Nmero_real
3. Nmero_natural
4. Completitud
5. Funciones_exponenciales
6. Divisibilidad
7. Congruencias

PORTADA: Mohammed Ibn Musa Al-Khwarizmi (789-850) conocido como
el padre del lgebra. Se sabe poco de su vida, salvo que vivi en la primera
mitad del Siglo IX y que trabaj en la biblioteca del califa de Bagdad. Escribi
libros sobre geografa, astronoma y matemtica. En su obra Aritmtica
("Algoritmi de numero indorum") explica con detalle el funcionamiento del
sistema decimal y del cero que usaban en la India. Obra de gran importancia
pues contribuy a la difusin del sistema de numeracin indio y al
conocimiento del cero.
Debe destacarse la obra de contenido algebraico "Hisab al abr wa l
muqqabala", considerada uno de los primeros libros de lgebra.
Es el autor de uno de los mtodos ms antiguos que se conocen para resolver
ecuaciones de segundo grado. Dicho mtodo, geomtrico, se conoce como de
completar cuadrado. (Fuente: Gacetilla Matemtica:
wysiwyg://principal.13/http:www.arrakis.es)

Prof. Daniel Siberio.

2

ALGUNAS CONSI DERACI ONES PREVI AS

Contenidos de la asignatura

Como se menciona en los fundamentos situados en el programa
vigente El curso de lgebra I gira fundamentalmente alrededor de las estructuras numricas
fundamentales; tratndolas paralelamente y dentro de las estructuras algebraicas bsicas que se
volvern a tratar en profundidad en los cursos posteriores.

Mas concretamente nos permitimos resaltar los siguientes temas:

Nmero real.
Trigonometra.
Nmero Complejo.
Divisibilidad en N y en Z.
Polinomios sobre un anillo.

Nmero real.

En este punto, el ms extenso de todo el programa, abarcamos no solamente un
desarrollo axiomtico del cuerpo totalmente ordenado y completo de los nmeros reales sino de sus
subestructuras ms usuales (Naturales, Enteros y Racionales) as como un tratamiento detallado de
la potenciacin.

Cabe destacar que en este tema justificaremos los procedimientos que utilizamos
habitualmente para la resolucin de ecuaciones e inecuaciones: racionales, irracionales,
exponenciales y logartmicas en el campo de los reales as como un exhaustivo estudio de la funcin
cuadrtica (de segundo grado).

Trigonometra.

Fundamentalmente nos dedicaremos a precisar las definiciones de las funciones
trigonomtricas principales. No le prestaremos mayor atencin a la demostracin de las frmulas ya
que en su gran mayora estas son rutinarias, y no aportan nada nuevo. Desde el punto de vista
prctico nos dedicaremos fundamentalmente a la resolucin de ecuaciones e inecuaciones
trigonomtricas.

Nmero complejo.

Aqu hablaremos sobre el cuerpo no ordenado de los nmeros complejos, sus
distintas formas, interpretacin geomtrica y algunos aspectos sobre la potenciacin.

lgebra I
3

Divisibilidad en N y en Z.

Como el ttulo lo dice trataremos en este punto cuestiones vinculadas
con la divisin entera y exacta en los naturales y en los enteros. Temas como: divisin entera,
divisores y mltiplos, mximo comn divisor y mnimo comn mltiplo, nmeros primos y
compuestos, etc. Destacamos como temas no tan vistos a las congruencias y las ecuaciones
diofnticas.

Polinomios sobre un anillo.

La temtica principal que se abordar en este punto es el anlisis de la
naturaleza dual de los polinomios como forma polinmica y como funcin. As tambin como
algunos aspectos vinculados a la divisibilidad. Cabe destacar que trabajaremos sobre un anillo
cualquiera sin descuidar los casos mas utilizados, los polinomios de coeficientes reales y los de
coeficientes complejos.

Otros temas del programa (por ej. conjuntos relaciones funciones operaciones -
estructuras algebraicas) son tratados de manera instrumental; ya que un estudio ms profundo y
especfico se realizar en otras asignaturas; en particular en matemtica bsica.

Caractersticas y objetivos

El lector habr observado que la mayora de los temas mencionados
forman parte de los programas de secundaria. A diferencia de lo que ocurre en la universidad donde
bajo el ttulo de lgebra I usualmente se tratan temas correspondientes al lgebra lineal. Cabe
destacar que la profundidad y exigencia con la que pretendemos abordar nuestra temtica es
muy diferente a la utilizada habitualmente en los cursos de secundaria. Sobre todo este aspecto
se pondr de manifiesto en la fundamentacin terica.

Uno de los motivos por lo cual volver a estudiar y sobre todo
profundizar en temas conocidos es que ellos sern entre otros los temas con los cuales deber
trabajar el futuro docente. Es innecesario destacar la necesidad de que el docente conozca
profundamente y maneje con soltura la temtica que desarrollar. Soltura y profundidad que no se
adquieren en secundaria.

Destacamos como una de las caractersticas ms salientes tanto de
lgebra I como de las otras materias especficas la pretensin de fundamentar detalladamente los
distintos puntos que se tratan.

Si los comparamos con otros cursos terciarios notaremos una mayor
pasin por la fundamentacin terica y por el detalle; lo cual nos lleva en contrapartida a tratar
menor cantidad de temas en cada curso. Tengamos en cuenta que para nosotros la matemtica es
mucho ms que una herramienta con la cual resolver problemas en otras reas.


4

Algunas sugerencias

En las pginas siguientes el lector se encontrar con un desarrollo terico de
algunos de los distintos puntos del programa. Este material terico est intercalado por ejercicios y
problemas resueltos y a resolver. Adems al final de cada seccin se encontrar con un listado de
ejercicios y de ser posible sus respuestas que coinciden con los repartidos trabajados en los cursos
presenciales.

Ms precisamente se encontrar con el desarrollo de nmero real y de
divisibilidad. En el mencionado desarrollo se indica bibliografa complementaria. Con respecto a
los temas no tratados nos permitimos sugerir: para Nmero Complejo el Calculus de Apostol
as como otros apuntes que sern enviados a la biblioteca de cada Instituto de Formacin Docente
junto con la presente Gua. Respecto a Trigonometra le sugerimos un trabajo del prof. R.Louro
con el mismo ttulo, disponible donde se indic anteriormente. (Hay dos trabajos del mismo autor,
uno con el tratamiento clsico y el otro por series de potencias; nos referimos al primero). Relativo
a Polinomios aconsejamos los apuntes titulados Anillo de los polinomios del prof. R.H.Cobas.
(el enfoque tratado aqu puede resultarle muy duro en una primera lectura. Si as fuera puede leer
previamente el tema en Matemtica A para 5 ao tomo 5-2 de A. I nfantozzi). Por supuesto
que la bibliografa sugerida no implica que el lector recurra a otra, sobre todo a la indicada en el
programa oficial. Es ms, es recomendable que lo haga.

Le sugerimos al estudiante que re-elabore su propio terico; sintiendo,
incorporando cada definicin, cada teorema, cada ejercicio en mano propia. As como tambin
que ample cada tema con la bibliografa indicada.

Tambin es conveniente dedicarle el tiempo necesario a realizar los
ejercicios ubicados al final de cada seccin antes de pasar a la siguiente; esto no significa que deban
realizarse necesariamente la totalidad de los ejercicios y problemas propuestos; pero s un
porcentaje importante de los mismos.

Esta es una primera versin y seguramente aparezcan involuntariamente
mltiples errores; especialmente en las respuestas de los ejercicios. Desde ya agradezco que me
hagan llegar todas las discrepancias y sugerencias que permitirn mejorar esta gua. Esperando el
primer contacto real o virtual les saluda atentamente:

Prof. Daniel Siberio

Les recordamos que se enviar a la Biblioteca de cada I .F.D. los siguientes materiales:
"Anillo de Polinomios", y "Nmero Complejo" del profesor Ral Cobas, y
"Trigonometra" del profesor R. Louro.

Inicio
A.N.E.P.- CO.DI.CEN.
6
Para_volver_a_Men

NMERO REAL

I ntroduccin

A lo largo de nuestra vida nos hemos ido encontrando con algunas estructuras
numricas. Seguramente el lector conoce desde hace mucho tiempo a los naturales a los enteros y
a los racionales; as como tambin las diferencias entre ellas y las necesidades no cubiertas por una
estructura que hacen necesario la creacin de la siguiente.

Cules son las insuficiencias de los racionales que hacen necesario presentar una nueva
estructura algebraica? Intentemos plantear una de ellas.

Consideramos un cuadrado de lado 1 (una unidad cualquiera) y pretendemos medir una de
sus diagonales tomando al lado como unidad. Si existiese tal medida en Q ( a la cual
llamaremos L) por Pitgoras cumplira:

2 L 1 1 L
2 2 2 2
= + =

q
p
L Q L S = con p y q enteros primos entre si. ( en otras palabras si L es un
racional se puede escribir como una fraccin irreducible)

( )
par es q par es q t 2 q t 4 q 2 : queda nos do sustituyen q 2 p como
t 4 p Z t ; t 2 p par es p par es p q 2 p 2 L
2 2 2 2 2 2 2
2 2 2 2 2
q
p
2
q
p 2
2
2
= = =
= = = = = =

Por lo tanto si existiese un racional
q
p
L = que midiera exactamente la diagonal de un cuadrado de lado 1 tendramos
que: p es par, q es par, p y q enteros primos entre si. Lo cual es contradictorio.

En consecuencia no existe ningn racional que elevado al cuadrado sea 2 y por lo tanto los
racionales no nos permiten medir la longitud de la diagonal de un cuadrado de lado uno. Es
inecesario resaltar la importancia que tiene disponer de una estructura con la cual poder medir
cualquier longitud u otra magnitud escalar. Hemos presentado una de las incapacidades de los
racionales; no la nica. Elegimos esta por ser la de mayores consecuencias desde el punto de vista
histrico.

Los Pitagricos enamorados de los nmeros enteros creyeron que todas las cosas podan
derivarse de ellos, empezando por todos los demas nmeros. Se produjo una crisis en esta doctrina
cuando descubrieron que la raz cuadrada de 2 (La razn entre la diagonal y el lado de un
cuadrado) era irracional, es decir que 2 no puede expresarse de modo preciso como la razn de
dos enteros determinados por grandes que fueran estos nmeros.

Este descubrimiento se llev a cabo utilizando irnicamente como herramienta el teorema
de Pitgoras. Irracional significaba en principio que un nmero no poda expresarse como una
razn (cociente) Pero para los Pitagricos lleg a suponer algo amenazador, un indicio de que su
concepcin del mundo poda carecer de sentido, lo cual es la otra acepcin que tiene hoy la
palabra irracional (COSMOS de Carl Sagan)

1
lgebra I
A.N.E.P. - CO. DI.CEN.
Departamento de Educacin a Distancia.
7

Para cubrir esta como otras carencias de los racionales presentemos a los nmeros reales.
Para ello existen fundamentalmente dos caminos: El constructivo; crear a los naturales, a partir de
ellos a los enteros, luego a los racionales y a partir de estos ltimos generar a los nmeros reales. El
otro camino consiste en crear directamente a los reales siendo los naturales, los enteros y los
racionales subestructuras de los reales.

Esta ltima opcin es la que trabajaremos en esta asignatura; la primera ser vista, por lo
menos parcialmente, en "Matemtica Bsica".

Cualquiera de los dos caminos implican la utilizacin del mtodo axiomtico. No
desarrollaremos aqu las caractersticas de este mtodo por exceder la longitud de este trabajo y
adems tratarse en las otras asignaturas especiales; tanto en "Geometra I " como en "Matemtica
Bsica". Corriendo el riesgo de caer en una simplificacin excesiva diremos que: El mtodo
axiomtico consiste en la aceptacin de algunas proposiciones como vlidas (que llamaremos
axiomas), sin necesidad de demostracin, y la deduccin del resto de las proposiciones de la teora
a partir de estos.

La caracterstica imprescindible que debe cumplir un sistema axiomtico es la consistencia;
la no contradiccin de las proposiciones tomadas como axiomas (tngase en cuenta que en toda
demostracin por absurdo se est utilizando la consistencia del sistema). Otras propiedades como la
independencia o la categoricidad no tienen porqu ser cumplidas por todos los sistemas
axiomticos.

Axioma 1 (Axioma de cuerpo )

En un conjunto que llamaremos de los nmeros reales (al que anotamos
) en el cual estn definidas dos operaciones que denominamos suma y producto ( las cuales las
anotamos con + y respectivamente que cumplen:

1
S ) Asociativa + + = + + c , b , a c ) b a ( ) c b ( a
) S
2
Conmutativa + = + b , a a b b a
) S
3
Neutro = + = + a a a 0 0 a ; 0
) S
4
Opuesto 0 a ) a ( op ) a ( op a ; ) a ( op a = + = +

) P
1
Asociativa = c , b , a c ). b . a ( ) c . b .( a
) P
2
Conmutativa a.b=b.a b , a
) P
3
Neutro = = a a a . 1 1 . a ; 0 1 1
) P
4
I nverso 1 a ). a ( inv ) a ( inv . a ; ) a ( inv 0 a a = =

SP) Distributiva + = + c , b , a c . a b . a ) c b .( a
+ = + c , b , a ca a . b a ). c b (

Nota 1

En el axioma recin enunciado aparece el trmino operacin. Qu entendemos por tal
trmino? Antes de ir a una definicin concreta de operacin analicemos un caso ms que
familiar; la suma en los naturales. En el cual aparecen expresiones como:
8
2+4=6
3+5=8
a+b=c

Cuando anotamos por ejemplo 2+4=6 aparecen en juego tres nmeros naturales cumpliendo
distintos roles (2 y 4 como sumandos y el 6 como resultado). Podemos pensar a la suma de
naturales como una correspondencia que al par (2,4) le hace corresponder el 6, al par (3,5) el 8 ....
al par de naturales (a,b) el natural c.
Y no cualquier tipo de correspondencia ya que a cada par ordenado de naturales la suma le
hace corresponder un y solo un natural (el resultado de sumar ambas componentes del par). En
definitiva; podemos considerar a la suma de naturales como una funcin de N N en N.

Obsrvese que una interpretacin idntica puede hacerse con el producto de naturales; que el producto de enteros puede
considerarse como una funcin que a pares ordenados de enteros hace corresponder un entero ( o sea una funcin de
Z Z Z ) ; la suma de vectores como una funcin que a pares ordenados de vectores hace corresponder un vector;.....
Concretamente: Siendo A un conjunto no vaco llamamos operacin en A (o ley de composicin interna ) a una
funcin de A A A
Con esta definicin podemos determinar una operacin en cualquier conjunto no vaco por modesto que este sea.
Definamos una operacin (llammosla *) en el conjunto { } b , a A =

{ } ) b , b ( ), a , b ( ), b , a ( ), a , a ( A A =

Solemos anotar a a a = b b b y b a b b b a = = = o tambin presentar una tabla de doble entrada en
lugar de un diagrama de flechas.

* a b
a a b
b b b

Ejercicio Definir una operacin en { } p , n , m B =
Tengamos presente entonces que una operacin o una ley de composicin interna en un conjunto no vaco A no es otra
cosa que una funcin de A A A y por lo tanto si tenemos una correspondencia entre pares de elementos de un
conjunto A y elementos del propio A para poder afirmar que dicha correspondencia es una operacin debe cumplirse:
1) La imagen de cada par (el resultado de la operacin) debe pertenecer al conjunto A. 2) Y debe ser nica.

As con esta definicin de operacin la resta en N no es una operacin pues falla la primera
condicin. Y tampoco es una operacin el producto de un vector por un escalar pues no estamos
operando elementos del mismo conjunto.

Cabe sealar que no es la nica definicin de operacin que puede tomarse. Sino que es la
mas restrictiva pues nos obliga a operar con elementos del mismo conjunto ( lo cual deja afuera
el producto de un escalar por un vector) y tambin nos obliga a que el resultado sea del mismo
conjunto del cual son los operandos (con lo cual el producto interno de vectores no sera una
operacin) Otras definiciones mas amplias permiten operar elementos de distinto conjunto y
tambin que el resultado no pertenezca al mismo conjunto que los elementos operados. Lo que se
exige en casi todas las definiciones de operacin que se puede encontrar en diferente bibliografa es
la unicidad del resultado. Nosotros adoptamos esta definicin pues es la elegida en matemtica
bsica.
(a,a)
(a,b)
(b,a)
(b,b)
a

b
A A A
*
lgebra I
9

Nota 2 Si leemos con atencin el axioma 1 percibimos que entre las muchas cosas que este nos dice esta que el
conjunto de los nmeros reales es un conjunto no vaco que tiene al menos dos elementos: el 0 y el 1 neutros de la suma
y el producto.
Nada en este axioma implica que tenga mas que estos dos elementos; pues si tomamos { } 1 , 0 = y la suma y el
producto definidos por

+ 0 1 0 1
0 0 1 0 0 0
1 1 0 1 0 1

El lector podr comprobar que este modelo verifica el axioma 1 Lo cual no solamente sirve como argumento para lo
dicho sino que tambin para corroborar la consistencia del mismo.

Nota 3 Como recin dijimos el axioma de cuerpo no lleva a que tenga infinitos elementos como todos esperamos.
Esto ser necesariamente cierto recin cuando entre en juego el segundo axioma. El lector atento tambin habr notado
que se indica explcitamente en el primer axioma que 0 1 . Esto se debe a que si tal proposicin no es necesariamente
cierta tomando { } 0 = y 0+0=0 , 0.0=0 tal modelo verifica toda la axiomtica que veremos sobre nmero real;
creando un modelo trivial que no es el que andamos buscando generar.

Veamos ahora algunas proposiciones que se desprenden de manera mas o menos inmediata del axioma de cuerpo.

Teorema Unicidad de los neutros

1) 0 es el nico neutro de la suma. 2) 1 es el nico neutro del producto

Dem2)
Supongamos que = = a a a '. 1 ' 1 . a ; ' 1 Entonces
' 1 1
P por ' 1 ' 1 . 1
osicin sup la por 1 ' 1 . 1
3
=
=
=

Y por lo tanto 1 es el nico neutro del producto de reales.

Obsrvese que en la ltima implicacin se utiliz que el producto es una operacin en y por lo tanto el resultado de
un mismo producto es nico.

Teorema Cancelativas

1) c b c a b a = + = + c b
0 a
c . a b . a ) 2
=
=

Dem 1) [ ] [ ] + + = + + + + = + + + = + c a ) a ( op b a ) a ( op ) c a ( ) a ( op ) b a ( ) a ( op c a b a
c b c 0 b 0 = + = +

Ejercicio 1) Justifique el lector los pasos dados en la demostracin anterior
2) Demuestre justificando detalladamente el punto 2)
3) Por qu en la segunda proposicin se exige que el factor cancelado sea distinto de cero?
Teorema Absorcin
= a 0 0 . a

Dem: 0 . a 0 0 . a a 0 a 0 . a a 0 . a 1 . a ) 0 1 ( a 1 . a a 0 a = + = + + = + = + = = = +

Justifique el lector todos y cada uno de los pasos dados .

Teorema Ausencia de divisores de 0

10
=
=
0 b
0 a
0 b . a

Dem: Si a=0 la proposicin es verdadera

0 a Si 0 b 0 a adems como 0 . a b . a
0 0 . a anterior teorema el por
0 b . a hiptesis por
a cancelativ
= =
=
=

Teorema Existencia y unicidad de la diferencia

H) b , a T)
+ =
nico es c ) 2
b c a ; c ) 1

Dem: 1) [ ] [ ] + = + + + = + + + = + + = 0 c ) b ( op a ) b ( op b c ) b ( op a ) b ( op b c ) b ( op a b c a
) b ( op a c + =

Para terminar la demostracin de la existencia basta tomar c=a+op(b) y realizar c+b aplicando las propiedades ya
vistas el lector seguramente llegar a que c+b=a.

Dem 2) Supongamos que b ' c a ; ' c + = Como por lo demostrado en 1) b c a ; c + = entonces
c+b=c+b ' c c
canc
=

Nota 1) Al nmero c lo denominaremos diferencia entre a y b. Anotamos c=a-b
2) En el teorema inmediato anterior no solamente se demostr que existe c tal que a=c+b sino que tambin se
calcul cuanto vale; llegando a que c=a+op(b). Por lo tanto a b = a + op(b)
3) Teniendo en cuenta el resultado anterior = = + = x x 0 ) x ( op ) x ( op ) x ( op 0 x 0
Lo cual justifica la notacin habitual de opuesto op(x) =-x

Teorema Existencia y unicidad del cociente.

H)

0 b
b , a
T)
=
nico es c ) 2
b . c a ; c ) 1

Demostracin a cargo del lector.

Nota 1) Al nmero c lo denominaremos cociente entre a y b Anotamos
b
a
c =
2) Cuando demostr el teorema inmediato anterior seguramente lleg a que c = a.inv(b) ; teniendo entonces que

) b ( inv . a
b
a
=

3) Por lo tanto = = ) x ( inv ) x ( inv . 1
x
1

*
x
x
1
) x ( inv = { } 0 (
*
= )

Ejercicios (primer repartido del curso presencial )

I ) Demostrar las siguientes proposiciones en ,) , ( + donde a,b,c,d son nmeros reales.
i) op(op(a))=a ii) inv(inv(a))=a iii) b a 0 b a = = iv) ) 0 b 0 a ( b a 1
b
a
= =
v) 0 ) 0 ( op = vi) inv(1)=1 vii) 0 a 0 a viii) ) b ( a b a = + ix) b a ) b a ( = +
lgebra I
11

x) a ). 1 ( a = xi) ) b .( a b ). a ( ) b . a ( = = xii) b . a ) b ).( a ( = xiii) ac ab ) c b .( a =
xiv) ) b ( inv ). a ( inv ) b . a ( inv = xv) a
1
a
= xvi)
b
a
b
a
b
a
= xvii) ) 0 b 0 a (
a
b
b
a
inv =

xviii) ) 0 c 0 b (
b
c . a a
c
b
= xix) ) 0 d 0 b (
bd
cb ad
d
c
b
a

= xx) ) 0 d 0 b (
bd
ac
d
c
.
b
a
=
Notas 1) En la propuesta anterior utilizamos indistintamente op(a) a e inv(a)
a
1
segn consideramos conveniente
A partir de este momento utilizaremos exclusivamente la notacin habitual (-a y
a
1
).
2) Una vez culminado este ejercicio habr demostrado muchas de las propiedades usuales del lgebra elemental
de manera relativamente sencilla y transparente utilizando exclusivamente el axioma de cuerpo y sus primeras
consecuencias.

I I ) Hallar, justificando el procedimiento, el conjunto de los nmeros reales x que cumplen:

i) x+2=5 ii) 3x+1= x-3 iii) 5x-2=2x+4 iv) 0+x=x v) x+x=x vi) x.0=0

vii) x.0=2 viii) (x+3).(x-1)=0 ix) 0 x 2 x
2 3
=

Qu otro ttulo pondra ud. al ejercicio anterior? Cmo denominara al conjunto hallado? Y a cada uno de sus
elementos?

Notas
1) A manera de ejemplo hagamos un par de ejercicios.

ii) + + = + + + = + + = + )) 1 ( 3 ( x )) 1 ( 1 ( x 3 ) 1 ( ) 3 x ( ) 1 ( ) 1 x 3 ( 3 x 1 x 3
1 4
S S

1 4 3 4
S S S (*) y S
) 4 x ( ) x ( x 3 ) x ( 4 x x 3 4 x 0 x 3 + = + = = +

[ ] [ ] ( ) = = = + = + ) 4 ( ) x 2 )( ( 4 x 2 4 0 x 2 4 x x x 3 1
2
1
2
1
P S S
4 3 4

( ) [ ] 2 x 2 x . 1 2 x . 2 .
3 4 1
P P
2
1
P
= = =

Por lo tanto el conjunto buscado es: { } 2 S
ii
=

iv) 0+x=x Como ) S ( x x x 0
3
= + entonces el conjunto buscado es =
iv
S

2) Somos conscientes que hemos utilizado nmeros reales (2,3,-4 etc.) que no estamos autorizados a utilizar a esta
altura del desarrollo terico. A pesar de ello lo hicimos por motivos didcticos.
Por el momento entendemos: 2=1+1 , 3=2+1, 4=3+1, -4=op(4) etc. As tambin
2 3 2
x . x x y x . x x = =
De esta forma (*) 3+(-1) = (-1).3 +(-1).1 [ ] 4 4 ). 1 ( 1 3 ). 1 (
SP
= = + = Obsrvese que adems de utilizar el
axioma 1 hemos usado algunas de las propiedades demostradas en el ejercicio I).

3) Habitualmente este ejercicio lo titularamos: Resolver justificando el procedimiento las siguientes ecuaciones en
,) , ( + Al conjunto hallado se le suele llamar conjunto solucin de la ecuacin y a cada uno de sus elementos
raz de la ecuacin.
Ntese que la justificacin no es otra cosa que la utilizacin de las propiedades ya vistas de los nmeros reales.
Ni definimos ecuacin; ni utilizamos metateoremas sobre la resolucin de ecuaciones. Lo cual es mas que
difcil diramos imposible de hacer correctamente.

Ejercicio Resolver y discutir segn a y b en ,) , ( + la ecuacin ax+b=0

12
ORDEN EN LOS REALES

A continuacin intentaremos introducir en ,) , ( + una relacin de orden estricto total (<) y
una relacin de orden amplio total compatible con la suma y el producto. En pocas palabras
intentaremos ordenar al cuerpo de los reales con las caractersticas previstas. Lo cual haremos por
intermedio del siguiente axioma.

Axioma 2 Axioma de orden

Existe un subconjunto de los reales a los cuales denominamos reales
positivos (anot.
+
) que cumple:

1) Todo real x cumple una y solo una de las siguientes proposiciones: i)
+
x ii) x=0 iii)
+
x

2) Si
+

+
+
+ +
y . x
y x
y e x

Nota Cuando en el punto 1) decimos que todo real cumple una y slo una de las siguientes
proposiciones estamos diciendo que todo real necesariamente entra en uno de esos tres casilleros
y en solamente uno. En otras palabras queremos expresar que todo real es o positivo o cero o que su
opuesto es positivo; que no hay reales que no entren en una de esas tres categoras. Y adems en
una sola de ellas; dicho de otra forma que un mismo real no puede ser simultneamente positivo y
cero o positivo y su opuesto tambin o cero y su opuesto positivo.
En el segundo punto estamos diciendo que la suma y el producto de dos reales positivos da
como resultado un real tambin positivo. Tengamos en cuenta que para nosotros por ahora ser
positivo es pertenecer a ese subconjunto de los reales del cual afirmamos su existencia en el axioma
2 y que denominamos reales positivos.
Lo que primeramente demostraremos es que el mencionado subconjunto no es vaco.

Teorema

+
1

Dem Probmoslo por absurdo. Suponemos
+
1 ya que por intermedio del Ax 1 sabemos que 0 1 aplicando la
primera proposicin del axioma 2 tenemos que:
+
+
) 1 ).( 1 ( 1
) 2 2 Ax

Como demostramos anteriormente (-a).(-b)=a.b
+
= = 1 1 1 . 1 ) 1 ).( 1 ( pero habamos supuesto que

+
1 lo cual es contradictorio.

Definicin
Consideramos b , a decimos que:
1)
+
< a b b a
2) a b b a < >
3)
<

b a
b a
b a
4) a b b a
lgebra I
13

Observacin.- Notemos que definimos menor a travs de los reales positivos cuya existencia est
asegurada por el axioma de orden. Como ocurre habitualmente al definir la relacin menor (mayor)
queda definida su relacin inversa mayor (menor).
Probemos ahora para nuestra tranquilidad que ser positivo es ser mayor que 0.

Teorema

+
> x 0 x

Demostracin

+ +
< > x 0 x x 0 0 x

Definicin

Llamamos conjunto de los reales negativos (anotamos
) al conjunto formado por los

opuestos de los reales positivos. Sintticamente:

{ }
+
= x ; x

Con esta definicin podemos enunciar de manera mas familiar la primera proposicin del
axioma de orden diciendo que: todo real cumple una y una sola de las siguientes proposiciones i) es
positivo ii) es cero iii) es negativo.

Teorema

< x 0 x


Probemos que las relaciones que acabamos de definir merecen el nombre que les dimos.

Teorema < es una relacin de orden estricto total en . O sea cumple:

1) </ a a a (Indentica)
2) a b b a </ < (Asimtrica)
3) c a
c b
b a
<
<
<
(Transitiva)
4) Todo par de reales a y b verifica una y solo uno de las siguientes proposiciones: i) a<b
ii) a=b
iii) a>b (Tricotoma)

Demostracin 3)

+
+
+
+
<
<
) b c ( ) a b (
b c c b
a b b a
2 Ax
como (b-a)+(c-b)=c-a entonces

c a a c <
+

Las dems demostraciones quedan a cargo del lector.
14

Teorema Monotonas de la suma y el producto (compatibilidad con las operaciones)

1) c b c a b a + < + < (Monotona de la suma)

2) d b c a
d c
b a
+ < +
<
<
(Monotona generalizada de la suma)

3) c . b c . a
c
b a
<

<
+
(Monotona del producto)

4) c . b c . a
c
b a
>

<

Dem 3) Debemos probar que: a.c < b.c
+
ac bc
Por hiptesis
+
+
+

<
c ). a b (
c
a b b a
2 Ax
Como (b-a).c = b.c - a.c

Entonces c . b c . a c . a c . b <
+

Teorema (Regla de los signos del producto)

1)
+ + +
b . a b a
2)
+
b . a b a
3)

b . a b a

Demostracin 2)

+
+
+

) b .( a
a como
b b
2 Ax
Por lo visto en uno de los ejercicios anteriores a.(-b) = -a.b

En consecuencia
+
b . a b . a ( Tengamos presente la definicin adoptada de reales
negativos )

Teorema Densidad

Dados dos nmeros reales cualesquiera a y b siendo a < b se cumple que: b c a ; c < <

Demostracin

b
2
b a
a
b 2 b a a 2 b b b a a a
b b b a b a
b a a a b a
. produc del . monot
) ( de . monot
) ( de . monot
<
+
<
< + < + < + < +
+ < + <
+ < + <
+
+

lgebra I
15
Efectivamente ( )
2
b a
c c
+
= tal que a < c < b

Nota En la demostracin anterior se utiliz que a+a = 2.a Qu nos justifica tal afirmacin?
a . 2 a ). 1 1 ( a . 1 a . 1 a a = + = + = + Por otra parte vimos que 1 1 0 1 1 0 1 1 = + > + >
+

Entonces 1+1 > 1 > 0 En consecuencia 1+1 es un real distinto del 0 y del 1, por lo tanto tenemos
derecho a bautizarlo con un nombre diferente; lo denominamos 2.
Un razonamiento similar nos lleva a 0 , 1 , 2 , 2+1(que denominamos 3) , 3+1 (4) , 4+1 (5) ,........
son nmeros reales necesariamente diferentes. Entonces la aceptacin del axioma 1 y del axioma 2 nos
lleva a que tiene infinitos elementos; lo cual, como vimos, no es as solamente con el primer axioma.

Ejercicios (Repartido 2 del curso regular)

I ) Demostrar que en el cuerpo ordenado de los nmeros reales se cumple:
i)
a
b
a b

ii) a
a

+ + 1
iii) a
a

1

iv) Si < =
+
0 0 x x v) a a a vi)
a b
b a
a b
=
vii)
a b
b c
a c
viii) a b , a b b a
y
o

ix) a b a c b c + + x)
a b
c d
a c b d
+ + xi)
a b
c
ac bc

+

xii)
a b
c
ac bc
xiii)
0
0
< <
< <

<
a b
c d
ac bd xiv)
a b
b c
a c
<

<

( Las proposiciones v) vi) y vii) nos permiten afirmar que es una relacin de
orden amplio; el cumplimiento adems de la proposicin viii) nos asegura que
es una relacin de orden amplio total.)

I I ) i) Demostrar x x
2
0
ii) a b a b
2 2
0 0 + = = =
iii) Si a b ,
+
demostrar que a b a b < <
2 2

iv)Sin la exigencia de que a y b sean positivos La proposicin anterior es vlida?

I I I ) i) Probar que x y xy x y
2 2
2 + ,
ii) Sabiendo que a b c , ,
+
y adems a b c + + = 1; probar:
1) ( ) 1 4
2
a bc
2) ( ).( ),( ) 1 1 1 8 a b c abc

I V) Hallar el conjunto de los x tales que: 1) i) 3x+2 < 0 ii) 3x+2 = 0 iii) 3x+2 > 0
2) i) 3x+1 <0 ii) 3x+1 = 0 iv) 3x+1 > 0

Qu otros nombres se le ocurren para este ejercicio?

16
V) Estudiar en ) ,, , ( + el signo de b ax ) x ( f ; : f + = ) b , a (

VI ) Resolver en ( , ,., ) + y discutir segn m m ( ) las siguientes inecuaciones:
i) mx> 3 ii) ( ). 3 2 1 < m x m iii) ( ). m x
2
2 3 + <
iv) m x m
3
2 0 + < v)
x
m
m m
+
1
1 1 ( ) vi)
x
m
x
m
m m
>
+

2 2
3 2 2 ( , )

Nota Pasamos ahora a la resolucin de algunos ejercicios a manera de muestra.

I V) 1) i) ( ) ( ) ) 2 .( x 3 . 2 x 3 ) 2 ( 0 ) 2 ( ) 2 x 3 ( 0 2 x 3
3
1
3
1
() monot ) ( . monot
< < + < + + < +
+

3
2
x < Por lo tanto { }
3
2
i
x ; x S < =

ii)
3
2
x 0 2 x 3 = = + Entonces { }
3
2
ii
S =

iii) ( ) ( )
3
2
3
1
3
1
x ) 2 .( x 3 . 2 x 3 ) 2 ( 0 ) 2 ( ) 2 x 3 ( 0 2 x 3 > > > + > + + > +
En consecuencia { }
3
2
iii
x ; x S > =

Este ejercicio podramos titularlo: Resolver en ) ,, , ( + las siguientes inecuaciones: .....
Tambin podramos decir: Hallar en ) ,, , ( + el signo de 2 x 3 ) x ( f ; : f + = lo cual solemos
esquematizar:
Sig (3x+2)

V) Entendemos por estudiar el signo de f: f(x) = ax+b en ) ,, , ( + a encontrar el conjunto de los x reales cuyas
imgenes son positivas, el conjunto de los reales cuya imagen es 0 y el conjunto de los reales cuya imagen es
negativa.

b ax ) b ( 0 ) b ( ) b ax ( 0 b ax
) ( . monot
> + > + + > +
+

Como seguramente el lector prev debemos ahora utilizar la monotona del producto; para lo cual nos es necesario
discutir si el factor por el cual pretendemos multiplicar la desigualdad (
a
1
) es positivo o negativo.

Si a > 0 ( ) ( )
a
b
a
1
a
1
x ) b ( . ax . b ax > > >
Si a < 0 ( ) ( )
a
b
a
1
a
1
x ) b .( ax b ax < < >

a
b
x 0 b ax = = + (Justificacin ya vista)

b ax ) b ( 0 ) b ( ) b ax ( 0 b ax < + < + + < +

Si a > 0 ( ) ( )
a
b
a
1
a
1
x ) b .( ax . b ax < < <
Si a < 0 ( ) ( )
a
b
a
1
a
1
x ) b .( ax . b ax > > <

3
2
+
0
_
lgebra I
17
En resumen: Si a >0
a
b
x 0 b ax > > + Si a <0
a
b
x 0 b ax < > +

a
b
x 0 b ax = = +
a
b
x 0 b ax = = +

a
b
x 0 b ax < < +
a
b
x 0 b ax > < +

Resultados que esquematizamos:
Sig (ax+b)

Pasemos ahora a estudiar el signo de la funcin de segundo grado. Antes algunas proposiciones previas.

Lema
Siendo a llamamos a . a a
2
= Se cumple que: 1)
2 2
b a ) b a ).( b a ( = +
2)
=
=
b a
b a
b a
2 2


Resolucin en (,+,,) de ax
2
+bx+c=0 0 a ( )

ac 4 b b abx 4 x a 4 ac 4 abx 4 x a 4 c bx ax 0 c bx ax
2 2 2 2 2 2
(*)
2 2
= + + = + = + = + +

Llamando ac 4 b real nmero al
2
como adems
2 2 2 2
) b ax 2 ( b abx 4 x a 4 + = + + tenemos que:
= + = + +
2 2
) b ax 2 ( 0 c bx ax

Si >0 ( )

= = +
= = +
= + = +

+
a 2
b
a 2
b
2
2 2
x b ax 2
x b ax 2
) b ax 3 ( ) b ax 2 (

Por lo tanto en este caso
+
=
a 2
ac 4 b b
,
a 2
ac 4 b b
S
2 2

Si =0
a 2
b
x 0 b ax 2 0 ) b ` ax 2 (
2
= = + = +
Entonces si

= =
a 2
b
S 0

Si <0 Como = = + / + S ) b ax 2 ( ; x 0 ) b ax 2 ( x
2 2

Nota (*) Multiplicamos ambos miembros por 4.a (tengamos presente que 0 a ) con el objetivo de
completar el cuadrado de un binomio. Tambin fue el motivo por el cual sumamos
2
b en el paso
siguiente.

Nota Somos conscientes que hemos utilizado raz cuadrada sin haberla definido y menos demostrado que todo positivo
tiene una raz cuadrada. El desarrollo terico hecho hasta el momento no nos lo permite (Precisamos para ello el
tercer axioma). A pesar de lo dicho utilizamos para no postergar el estudio del trinomio de segundo grado
lo cual consideramos conveniente desde el punto de vista didctico. Preferimos aqu hacer una disgrecin desde
el punto de vista formal con el fin de un mejor desarrollo del curso prctico.
a
b
0
sig a - sig a
18

Ejercicio Consideramos ) 0 a , c , b , a ( c bx ax ) x ( f ; : f
2
+ + = vimos que s 0 ac 4 b
2
> =
la funcin f tiene dos races reales distintas; a saber
a 2
b
y
a 2
b
=
+
= Probar que:
1)
a
c
.
a
b
= = + 2) = x ) x ).( x .( a ) x ( f

Signo del trinomio de segundo grado

Consideramos . 0 a c , b , a con c bx ax ) x ( f ; : f
2
+ + =

Si >0 Vimos que f acepta dos races reales que llamamos ) ( y < Adems = x ) x ).( x .( a ) x ( f
0 x y 0 x x ; x
1 1 1 1
< < < <
Por lo tanto
Si a > 0 0 ) x ).( x .( a ) x ( f
1 1 1
> = (producto de un positivo por dos negativos)
Si a < 0 0 ) x ).( x .( a ) x ( f
1 1 1
> = (producto de tres negativos)

Anlogamente se prueba que: < <
2 2
x ; x si 0 ) x ( f 0 a
2
< >
si 0 ) x ( f 0 a
2
> <

Y que:
3 3
x ; x < < 0 ) x ( f 0 a si
3
> >
0 ) x ( f 0 a si
3
< <

+ = + + + = + + = + + =

+
2 2
) b ax 2 (
2 2 2 2 2 2
) b ax 2 ( ) x ( af 4 ac 4 b b abx 4 x a 4 ac 4 abx 4 x a 4 ) x ( af 4 c bx ax ) x ( f
2

Si =0 + = x 0 ) x ( af 4 ) b ax 2 ( ) x ( af 4
2

Es ms ( ) 0 f y x ; x 0 ) x ( af 4
a 2
b
a 2
b
= >

Por lo tanto: Si
a 2
b
x ; x 0 ) x ( f 0 a 4 0 a

> > >
Si
a 2
b
x ; x 0 ) x ( f 0 a 4 0 a

< < <

Si <0 + = + > x ) b ax 2 ( ) x ( af 4 x 0 ) b ax 2 ( adems como 0
2 2

Por lo tanto: si > > x 0 ) x ( f 0 a
si < < x 0 ) x ( f 0 a

lgebra I
19
En resumen y esquemticamente:

Consideramos . 0 a c , b , a con c bx ax ) x ( f ; : f
2
+ + = Denominamos ac 4 b
2
=

1) >0 ) ( y reales races dos acepta f < Sig f(x)

2) =0 real raz sola una acepta f (doble) Sig f(x)

3) <0 f no acepta races reales Sig f(x)

Ejercicios (repartido 3 del curso habitual)

I ) Resolver en ( , ,., ) + los siguientes sistemas de inecuaciones:

i)
( ) ( ) x x
x
x
+ + <
+
1 3 0
2 3
5 3
0
2
ii)
x
x
x
x
2
2
1
3
0
1 3
1
1
+
>
iii) x x x 3 3 1 7

I I ) Dada la ecuacin x m x m
2 1
4
2 0 + + = ( ) ( ) . Determinar los valores de m para
que: i) Acepte solo una raz real. ii) Acepte solo dos races reales.

I I I ) Consideramos f f x x px q : ; ( ) = + +
2
de races reales y .
Hallar en funcin de p y q los trinomios de segundo grado y coeficiente principal
1 que tengan las races:
i) y ii)
1 1

y iii)
2 2
y
iv)
1
1
1
1
2 2
+ +
y v)
3 3
y vi)
1 1
2 2
+ +
y

I V) Hallar los valores de m ( ) m para que las siguientes ecuaciones admiten dos
races y en las condiciones indicadas.
i) x m x m y
2
1 2 1 0 + + + = ( ). ; son de distinto signo.
ii) x m x m m y
2 2
3 3 2 3 0 0 0 + + + = > > ( ). ;
iii) mx m x m m y
2 2
2 1 0 0 0 + = > > > ( ). ; ,

V) Hallar los valores de m ( ) m para que: ( ) ( ) 2 1 2 3 1 0
2
m x m x m x + + + + >

sig a
-sig a
sig a
0
0
0
sig a siga
sig a
20

VI ) Hallar los valores de m ( ) m para que las siguientes ecuaciones admitan dos
races reales y en las condiciones indicadas.

i) mx mx
2
5 0 1 + = < < ; iv) ( ) ( ) ; m x m x m + + + = < < 1 2 1 1 0 2
2

ii) mx x m
2
2 0 0 1 + = < > ; , v) ( ) ( ) ; m x m x m + + = > > 1 3 1 0 3
2

iii) x mx m
2
1 0 2 + + = < < ; vi) ( ) ; m x mx m + = < < < 1 3 2 0 1 1
2

VI I ) Sea f f x ax bx c : ; ( ) . = + +
2
Determinar una condicin necesaria y
suficiente para que:
i) f x ( ) = 0 admita dos races reales y j j / ( ) < <
ii) f x ( ) = 0 admita dos races reales y j k / < < <
iii) f x ( ) = 0 admita dos races reales y j k y j k / ( , ) ( , )
iv) f x ( ) = 0 admita dos races reales y j k y j k / ( , ) ( , )
v) f x ( ) = 0 admita dos races reales y k / > >

A continuacin algunos ejercicios resueltos a manera de muestra.

I V) ii) La ecuacin 0 3 m 2 m x ) 3 m 3 ( x
2 2
= + + + acepta dos races reales positivas

> + =
+
= =
> + =
+
=
= +
> + = + = =
>
> +
>
0 3 m 2 m
1
3 m 2 m
a
c
.
0 3 m 3
1
3 m 3
a
b
0 21 m 26 m 5 ) 3 m 2 m ).( 1 .( 4 ) 3 m 3 ( ac 4 b
0 .
0
0
2
2
2 2 2 2

> +
> +
> +
0 3 m 2 m
0 3 m 3
0 21 m 26 m 5
2
2

Sig ) 21 m 26 m 5 (
2
+

Sig ( -3m+3 )

Sig ) 3 m 2 m (
2
+

La respuesta es: m < -3

1
5
21
+ _ _ + + +
1
_ _ _ + + +
1 -3
+ + + +
+ + + + _ _ _ _
lgebra I
21
VI I ) v) 0 ) x ( f = admite dos races reales ) x ( f Sig k ; y > >

>
>
>
k
a 2
b
0 ) k ( f . a
0

Nota
Exigimos 0 > con el objetivo de tener dos races reales. Con a.f(k)>0 obligamos a que f(k)
tenga el mismo signo que a. Obsrvese que estas dos condiciones no son suficientes para lo exigido;
pues puede cumplir ambas y ocurrir: k < < Para evitar este caso es que pedimos que el punto
medio entre y sea mayor que k.
Tngase en cuenta que el punto medio entre y
a 2
b
2 2
es
a
b
= =
+

Intente en el resto del ejercicio VII as como en el ejercicio VI) y en el V) buscar
condiciones necesarias y suficientes que involucren valores calculables (discriminante, relaciones
entre coeficientes y races, punto medio, etc.) lo mas econmicas posibles.

Informacin mas detallada sobre el comportamiento del trinomio la puede encontrar en un
trabajo titulado La funcin de segundo grado del prof. R.H.Cobas disponible en la Biblioteca de
su Instituto de Formacin Docente.

Valor absoluto

Definicin

Consideramos un nmero real a . Denominamos valor absoluto de a (Anotamos a )

0 a si a a = y 0 a si a a < =

Ejemplos: 0 0 , 3 ) 3 ( 3 , 4 4 = = = =

Teorema

1)
x 0 x

2) 0 x 0 x = =
3) = = x x x x
2
2
2

k
0 0
sig a - sig a siga
22
4)
=
=
y x
y x
y x

5) = y , x y . x y . x
6) = y , x
y
x
y
x

7) x x x x
8) Siendo
+
r se cumple que: i) r x r r x
ii)

r x
r x
0 x

(Las proposiciones anteriores son tambin vlidas si intercambiamos por < y por > )

9) + + y , x y x y x (Desigualdad triangular)
10) y , x y x y x

Dem 7) Si x0 x x = Por otra parte 0 x 0 x como
x x 0 x

Entonces x x x x x x =

Si x < 0 x x x x x x = =

Por otra parte como x 0 x y en este caso x < 0 x x

Entonces tambin en este caso x x x

Por lo tanto x x x x

Dem 9) x x x ) 7 Por
y y y
( ) y x y x y x y x y x y x y x y x
i ) 8
+ + + + + + +

Ejercicios (Repartido 4 del curso habitual)

I ) Resolver en ( ) + , ,, :
i) x < 1 9 ii) x x
x
2
4 2
3
0

lgebra I
23
iii)
x x
x
x
2
1
1
3
+
< iv) x x 2 3 2 v)
3 2
2 2 1
0
x x
x
+

I I ) Analizar el valor de verdad de las siguientes proposiciones:

i) x x < < 5 5 ii) x x < < < 5 2 3 7 iii) 1 3 1
2
3
+ x x

iv) La ecuacin x x = 1 2 tiene solucin vaca.

I I I ) Resolver en ( ) + , ,,
:
i)
x x
2
6 <
ii) x x + + < 1 3 1 0
2

iii) 2 1 3 x x + < iv) x x + < 3 4 1

I V) Teniendo en cuenta la definicin de valor absoluto y las propiedades vistas en
el curso terico; demostrar:

i) x y x y + ( ) x y ,

ii) ( ) x y x y x y ,

Respuestas:
I) i) ( ) 810 , ii)
( ]
[ ) + , ,
2
3
2 iii)
( )
1
2
,+ iv)
[ ]
01 ,
v) ( ) [ ) , , 0 12

I I) i) Falso ii) Verdadero iii) Verdadero iv) Falso

I I I) i) ( ) 23 , ii) ( ) ( ) 4 1 12 , , iii)
( )
4
2
3
, v)

Inicio

Direccin de Formacin y Perfeccionamiento Docente
26
Para_volver_a_Men
NMERO NATURAL

La idea en crudo de la generacin de los nmeros naturales ya fue presentada; recordmosla:
Como 0 1 1 1 0 1 1 1 0 1 > > + + > + > Por lo tanto el nmero real 1+1 es necesariamente distinto
del 0 y del 1; mereciendo entonces un nombre diferente. Al real 1 1+ lo denominamos 2.
Al ser 0 1 2 1 2 1 1 1 2 1 2 > > > + + > + > Entonces el real 2+1 es un nmero distinto del 0 del 1 y
del 2. Lo denominamos 3. Un razonamiento idntico nos lleva a que 3+1 es un real distinto (mayor) que el 0,
que el 1, que el 2 y que el 3.
Denominamos 4 a 3+1. Y as sucesivamente.
Formalicemos esta idea.

Definicin

Consideramos: A Decimos que A es un conjunto inductivo si y solo si se cumple:
1) A 0
2) A 1 x A x Si +

Ejemplos es inductivo.
+
no lo es pues falla la primera condicin. S es inductivo { } 0
+

El conjunto { }
+
= 1 B no es inductivo pues: B 0 1 1 pero B 1 = + fallando entonces la
segunda condicin.

Nota Anotamos a la familia de todos los conjuntos inductivos. As
+
,

Observacin = + = + = + A A 3 1 2 A A 2 1 1 A A 1 1 0 A A 0
Entonces 0,1,2,3,..... A A Los nmeros reales que identificamos como naturales
pertenecen a todos los conjuntos inductivos.

Definicin

Llamamos conjunto de los nmeros naturales (anotamos N) a la interseccin de todos los
conjuntos inductivos. Sintticamente:
A N
A

=

Observaciones:

1) A A N Ya que la interseccin de varios conjuntos est incluido en cada uno de ellos
2) Como 0,1,2,3,... N ,.... 3 , 2 , 1 , 0 A A N y A A (Los nmeros que
desde siempre reconocimos como naturales; con la definicin que acabamos de adoptar; son
efectiva y tranquilizadoramente nmeros naturales)
3) N pues y A A N Un razonamiento similar nos lleva a:
4) { } 0 N
+
En otras palabras N n 0 n

Teorema

N


lgebra I
27

Teorema de induccin completa

H 1 x H x Si ) 3
H 0 ) 2
N H ) 1
) H
T) H = N
Dem
De 2) y 3) H N H como N H N H =

Observacin
Al cumplirse que: A A N y adems N y ser conjuntos inductivos podemos
afirmar que N es el mnimo y es el mximo de los conjuntos inductivos. (Para hablar de
mximo y mnimo necesitamos previamente una relacin de orden que en este caso es la inclusin
amplia de conjuntos).

Nota

Segn la teora que venimos desarrollando los naturales son tambin nmeros reales. Y por
lo tanto se pueden operar como tales.

Las operaciones que manejamos en (suma, producto, resta y divisin) siguen siendo
operaciones en N? Y en caso afirmativo que propiedades cumplen. Las mismas que en ?

Antes de contestar estas preguntas analicemos la situacin desde un punto de vista mas
general.

Consideramos: ) , A ( una estructura algebraica; o sea un conjunto no vaco (A) con una
operacin definida en el (*)

B ; A B

Para que sea una operacin en B debe cumplirse que la restriccin de sobre B B siga
siendo una funcin.
En otras palabras: es una operacin en B es una funcin de

nico es y x ) 2
B y x ) 1
B B B
Como B es un subconjunto de A y la condicin 2) se cumple para todos los elementos de A tenemos
entonces que: es una operacin en B B y , x B y x ya que la condicin 1) se verifica
automticamente.

Si es una operacin en B decimos que ) , B ( es una subestructura de ) , A ( .

Analicemos ahora siendo ) , B ( una subestructura de ) , A ( .la transmisin de propiedades
de la estructura madre a la subestructura.

Si ) ; A ( es conmutativa A y , x x y y x =
Como ) , B ( B y , x x y y x A y , x B y , x = es conmutativa.

28

Tenemos entonces que si una estructura es conmutativa todas sus subestructuras tambin.
Anlogamente se prueba:

Si ) , A ( es asociativa ) , B ( es asociativa
Si ) , A ( tiene neutro n entonces: ) , B ( tiene neutro B n
Si ) , A ( tiene la propiedad de inverso entonces: ) , B ( cumple inverso B x B x
1

Consideraciones similares pueden realizarse sobre estructuras mas complejas (que tengan por
ejemplo mas de una operacin).

Teorema

N b a N b , a +

Dem

Consideramos { } N x a ; N x H + = 1) N H por definicin de H
2) H 0 ya que N a 0 a = + por hiptesis
3) H 1 x H x Si + Pues + N x a H x si
N 1 x a + + ya que N es inductivo
H 1 x +

De 1) 2) y 3) aplicando el teorema de induccin completa tenemos que: N = H. Por hiptesis H b N b
N b a +

Nota

Aplicando el teorema y la nota inmediata anterior podemos afirmar que + es una operacin
en N que cumple asociativa, conmutativa, neutro (tngase en cuenta que N 0 )

Tambin podemos afirmar que no cumple opuesto ya que: si N n 0 n 0 n ; N n < >

Un razonamiento similar al realizado recin nos lleva a que la diferencia no es una operacin
en N. Sin embargo la condicin para que la resta de dos naturales sea un natural es muy sencilla y
todos la conocemos (minuendo mayor o igual que el sustraendo). Verifiquemos una vez mas que la
teora que venimos desarrollando coincide con lo que ya conocemos.

Lema

N 1 a
0 a
N a

lgebra I
29

Dem

Consideramos { } N 1 x 0 x ; N x H = =

1) N H por definicin de H
2) H 0
3) H 1 x H x Si + Ya que
+ + = +
+ = + = + =

H 1 x N 1 1 x 1 1 x N 1 x

H 1 x N 0 1 1 x 1 1 x 0 x
H x si

De 1) 2) y 3) aplicando el teorema de induccin completa tenemos que H = N En
consecuencia todos los naturales son elementos de H; y por lo tanto todo natural x es 0 N 1 x
Por lo tanto si N 1 a 0 a y N a .

Teorema

N b a
b a
N b , a

Dem
Sea { } N x a a x ; N x H > =

1) N H por definicin de H
2) H 0 ya que N a 0 a =
3)
+ + =
+ > + = =

+ > + >
+
H 1 x N ) 1 x ( a 1 x a 0 x a

H 1 x a 1 x x a 0 x a
N x a
H 1 x a 1 x a x
H x si : pues H 1 x H x Si
Lema

Estamos pues en condiciones de aplicar el teorema de induccin completa sobre el conjunto
H llegando a que H=N

Por lo tanto como H b N b al cumplir adems que N b a a b >/

Nota

Antes de encarar las dos operaciones restantes por necesidades tcnicas debemos analizar el orden en N. Un
razonamiento similar al realizado en la nota anterior nos lleva a que < y " " cumplen en N todas las propiedades
vistas en a excepcin de densidad. Probemos entonces que N es discreto.

30

Teorema

1 n 0 ; N n < < /

Dem
Consideramos { } 1 x 0 x ; N x H = =

1) N H Por definicin de H
2) H 0
3)
+ +
+ = + =
+
H 1 x 1 1 x 1 x

H 1 x 1 1 1 x 0 x
H x si : pues H 1 x H x Si

Aplicando entonces el teorema de induccin completa tenemos que H=N y por lo tanto todo
natural esta en H.

O sea todo natural o vale 0 o es mayor o igual que 1. En consecuencia no existen naturales
entre 0 y 1.

Teorema

1 a n a ; N n ) T N a ) H + < < /

Dem
Por absurdo. Suponemos que 1 a n 0 1 a n a ; N n < < + < <
Como N a n a n > Habiendo encontrado entonces un natural entre 0 y 1; lo cual
contradice el teorema anterior.

Teorema

b 1 a b a Si N b , a + <


Ejercicio

Probar que el producto es una operacin en N que cumple: asociativa, conmutativa, neutro,
es distributiva respecto a la suma y no cumple la propiedad de inverso. Demostrar adems que la
divisin no es una operacin en N.

Continuemos con el estudio del orden en los naturales. Antes algunas definiciones de
carcter general que nos son necesarias.

Definicin

Consideramos A ; A decimos que:

1) A est acotado superiormente A a a k ; k k se dice cota superior de A
2) A est acotado inferiormente A a a h ; h h se dice cota inferior de A
lgebra I
31
3) A est acotado A est acotado superior e inferiormente.

Ejemplos
Investiguemos si los siguientes conjuntos estn o no acotados superior y/ inferiormente y
en caso afirmativo determinemos sus cotas.

1) { } 7 x 1 ; x B < = -1 es cota inferior de B pues B x x 1 tambin lo es 2 por el mismo
motivo; es ms 1 h ; h h es cota inferior de B
es k 7 k ; k cota superior de B.

Por lo tanto el conjunto B est acotado tanto superior como inferiormente. En pocas palabras
B est acotado

2)
+

+
est acotado inferiormente por el cero y por todos los reales negativos

+
no est acotado superiormente.

El motivo por el cual
+
no est acotado superiormente es que es un conjunto infinito (que tiene
infinitos elementos?

Definicin

Consideramos: m y M , A Decimos que:

1) M es mximo de A
A M
A a a M

2) m es mnimo de A
A m
A a a m

Ejercicio

1) Demostrar que el mximo (mnimo) de un conjunto si existe es nico.
Si M es mximo de A anotamos M=mxA y si m es mnimo lo hacemos: m=mnA.

2) Probar: i) 1 es el mnimo de B ii) B no tiene mximo (sugerimos. hacer una
demostracin por absurdo)
iii)
+
no tiene ni mximo ni mnimo.

Observacin

Los ejercicios anteriores nos llevan a que un conjunto est acotado superior (inferiormente)
no es condicin suficiente para que exista mximo (mnimo).
-1 7
cotas inferiores
B
cotas superiores
32

Teorema Principio de buena ordenacin

Todo conjunto de naturales no vaco tiene mnimo.

A mn m ; N m
K
N K
=

Dem

Si 0K Como K k k 0 0 n N n y N K Adems teniendo en cuenta que en este caso
K mn 0 K 0 =

Si 0K Consideramos { } K k k x ; N x H < =

La idea consiste en probar que H tiene un ltimo elemento
0
x y su siguiente 1 x
0
+ es el mnimo
de K.

Es inmediato que H 0
Suponiendo que H 1 x H x + El teorema de induccin completa nos lleva a H = N
hiptesis la contradice cual lo K
K N K N K hiptesis Por
H K H de def por Ahora
N K H K
=
=
=
=

En consecuencia la proposicin H 1 x H x + es falsa H 1 x ; H x
0 0
+
Probemos ahora que K mn 1 x
0
= +

Como K k k 1 x K k k x H x
0 0 0
+ <
Por otra parte: K k k 1 x H 1 x
0 0
</ + + tomando en cuenta la proposicin subrayada
anteriormente tenemos que: K 1 x k 1 x ; K k
0 0 0 0
+ = +
De ambas proposiciones subrayadas concluimos que 1 x
0
+ es el mnimo de K.

Teorema

Todo conjunto de naturales no vaco y acotado superiormente tiene mximo.

Demostracin a cargo del lector. Le sugerimos tomar el conjunto de las cotas superiores
naturales; demostrar que este conjunto tiene mnimo y que este mnimo es el mximo que
buscamos.

Mtodo de Induccin Completa

_
H
... 1 0
_
K

lgebra I
33
Entendemos por induccin al proceso que nos conduce de una proposicin particular a una
general. Proceso inverso de la deduccin que nos lleva de lo general a lo particular. Veamos
algunos ejemplos:

Ejemplo 1

Observemos que:

2
2
2
2
5 25 9 7 5 3 1
4 16 7 5 3 1
3 9 5 3 1
2 4 3 1
= = + + + +
= = + + +
= = + +
= = +

Parece que:

N n n ) 1 n 2 ( ......... 7 5 3 1
2
= + + + + +

Hemos hecho una induccin. De algunos casos particulares (cuatro) hemos llegado a una
proposicin gral.

Ejemplo 2

Consideramos 41 x x ) x ( f ; N N : f
2
+ + = Observemos que f(0)=41, f(1)=43, f(2)=47, f(3)=53
y 41, 43, 47 y 53 son primos.

Parece que f(n) es primo N n

Calculemos ahora 1763 41 41 ) 41 ( ) 41 ( f
2
= + + = Pero 1763 no es primo ya que es divisible entre
41 y entre 43.
Por lo tanto la conclusin a la cual llegamos en el ejemplo 2 es falsa. es verdadera.
Queda claro entonces que el que una proposicin sea vlida para algunos casos particulares;
ello no implica necesariamente que lo sea en general; pero tampoco necesariamente falsa. Veremos
mas adelante que la conclusin del ejemplo 1 es vlida.
Es innecesario resaltar la importancia que tendra el disponer de un procedimiento de induccin que
nos lleve a conclusiones siempre verdaderas.

Ejemplo 3

Disponemos de 10.000 fichas de domin con las cuales formar una fila. Cmo debemos
proceder para tener la certeza de que se caern todas.

1 2 3 4 .................................................h h+1................................................
34

Observemos que saber que se cayeron las primeras cuatro fichas no implica que
necesariamente se cayeron todas. Es razonable afirmar que si:

1) Se cae la ficha 1
2) Las fichas estn dispuestas de tal manera que si se cae una cualquiera
necesariamente se cae la siguiente (h+1)

Entonces se caern todas las fichas.

Tngase en cuenta que si falla cualquiera de las dos condiciones no necesariamente se caern
todas las fichas

Por otra parte observemos que si sustituimos la condicin 1) por 1) Se cae la ficha 5
llegaramos a la conclusin de que se caen todas a partir de la 5.

En este ltimo ejemplo entr en juego una condicin (la 2)) que no lo haba hecho en los
ejemplos anteriores. Intentaremos a continuacin formalizar esta idea.

Teorema Principio de I nduccin Completa.

+ k h ; N h V ) 1 h ( P V ) h ( P Si ) 2
) k particular en natural un para verdadera es P . prop La ( V ) k ( P ) 1
naturales los a referida n proposici una P
) H

k n ; N n V ) n ( P ) T

Dem
Consideramos { } V ) k x ( P ; N x H + =

1) V ) k ( P ) k 0 ( P pues H 0 = +
2) Si H 1 x H x + Ya que si H 1 x V ) 1 k x ( P V ) k x ( P H x
) 2 ) H
+ + + +

De 1) y 2) aplicando el teorema de I.C. tenemos H = N
Ahora k n ; N n V ) n ( P ) k k n ( P H k n N k n k n ; N n = +

Ejemplo
Demostrar que: 1 n ; N n n 1 n 2 ..... 5 3 1
2
= + + + +

1) La proposicin es verdadera para n=1 Efectivamente pues:
2
1 1 =

El primer miembro al ser una suma y coincidir el primer y el ltimo termino asumimos que tiene un
solo sumando;
el 1.

2) H) La proposicin es verdadera para n=h
2
h 1 h 2 ....... 5 3 1 = + + + +
lgebra I
35
T) La proposicin es verdadera para n=h+1
2
) 1 h ( 1 h 2 1 h 2 ........ 5 3 1 + = + + + + + +

2 2
h
) 1 h ( 1 h 2 h 1 h 2 1 h 2 ..... 5 3 1
2
+ = + + = + + + + + +
=
_

De 1) y 2) por el principio de induccin completa tenemos que la proposicin es verdadera para
todo natural mayor o igual que 1. En otras palabras:

1 n ; N n n 1 n 2 ..... 5 3 1
2
= + + + +

Nota
Los ejercicios correspondientes a este tema as como un desarrollo mas detallado del mismo
el lector lo tendr en el curso de matemtica bsica.

NMERO ENTERO

Definicin

Denominamos conjunto de los nmeros enteros (anotamos Z) al conjunto formado por
los naturales y sus opuestos.

{ } N x N x ; x Z =
Teorema

+

Z b . a ) 2
Z b a ) 1
Z b , a
Dem
Si aN y bN

+ +
Z b . a N b . a
Z b a N b a

Si aN y -bN Llamemos n = -b en este caso N n . n a b a = +
Cuando Z b a N n a b a n a + = +
Cuando Z ) a n ( n a b a N a n n a = = + <

Por otra parte: n . a ) n .( a b . a = = como Z n . a b . a N n . a =

Si -aN y bN Anlogo.

Si -aN y -bN Denominamos b n y a m = = En este caso N n , m

Z b . a N n . m b . a
Z b a N n m como ) n m ( n m b a
=
+ + + = = +

Nota
El teorema anterior junto con alguna de las observaciones realizadas en nmero natural nos
permiten afirmar:

1) La suma es una operacin en Z que cumple:

i) Asociativa
36
ii) Conmutativa
iii) Neutro ( ) Z 0 N 0
iv) Opuesto

Z a N a
Z a N a
Z a Si

En consecuencia la diferencia tambin es una operacin en Z.

2) El producto es una operacin en Z que verifica:

i) Asociativa
ii) Conmutativa
iii) Distributiva respecto a +
iv) Neutro. ) Z 1 N 1 (

No cumple la propiedad de inverso. Si < < > 1 0 1 a N a 0 a ; Z a
a
1

Z
a
1
pues entre 0 y 1 no hay naturales ni opuestos de naturales
Un razonamiento similar nos lleva a que la divisin no es una operacin en Z.

3) El orden en Z verifica todas las propiedades vistas en a excepcin de la densidad.

NMERO RACIONAL

Definicin

Llamamos conjunto de los nmeros racionales (anotamos Q)

{ } 0 q Z q , p con x ; x Q
q
p
= =

En otras palabras llamamos racionales al conjunto de las fracciones; entendiendo por
fraccin el resultado obtenido de realizar el cociente entre dos enteros.

Teorema

+

Q b . a ) 2
Q b a ) 1
Q b , a
Dem

( )( )

= =
+ = + = +
=
=
+
Q b . a . b . a
Q b a b a
Z ' q y Z ' p ; b Q b
Z q y Z p ; a Q a
' q . q
' p . p
' q
' p
q
p
' qq
' qp ' pq
' q
' p
q
p
*
' q
' p
*
q
p
*
Z
Z
*
Z
Z

Ejercicio
El teorema recin demostrado nos permite afirmar que + y . son operaciones en Q.
Analizar las propiedades que estas cumplen; as como tambin el comportamiento de < y " " .
En otras palabras: analizar ) ,., , Q ( +
Inicio
A.N.E.P. -CO.DI.CEN.
38
Para_volver_a_Men
COMPLETI TUD

En el ejercicio inmediato anterior seguramente el lector no encontr diferencias en cuanto a
los aspectos ya estudiados entre ). ,, , Q ( y ) ,, , ( + + Sin embargo, al comenzar el tema,
planteamos un problema no resoluble en los racionales (medir la diagonal de un cuadrado de lado 1)
como motivo para introducir a los nmeros reales. Lo cual nos conduce a la conclusin de que la
teora est sin terminar.

En otras palabras; exclusivamente de los dos primeros axiomas no se desprende ninguna
diferencia entre ) ,, , ( + y ) ,, , Q ( + . Nos falta un tercer axioma que marcar la diferencia entre
ambas estructuras. Antes de llegar a l necesitamos algunas definiciones.

Dentro de nmero natural definimos conjuntos acotados, mximo y mnimo de un conjuntos
de reales. Al hacerlo manejamos como uno de los ejemplos { } 7 1 ; < = x x B

Al analizar la acotacin superior del conjunto B la primera cota superior que nos viene a la
mente es 7, vimos tambin que 7 no es mximo de B. Qu diferencia al 7 de las otras cotas
superiores?

Definicin
Consideramos: A y L , A , A . Decimos que:
1) L es extremo superior de A { } A de erior sup a cot es k ; k mn L =
2) A es extremo inferior de A { } A de erior inf a cot es h ; h mx = A

Nota
1) Por ser mnimo (mximo) de un conjunto el extremo superior (inferior) si existe es nico.
Lo cual nos permite adoptar una notacin. Anotamos = = A y A t x e L ext A.
2) En otras palabras llamamos extremo superior de un conjunto a la menor de sus cotas
superiores Y extremo inferior a la mayor de las cotas inferiores. El extremo superior tambin se
denomina supremo, y el inferior nfimo.

Ejercicios (Parte del repartido 5 del curso presencial)

I ) Determinar por inspeccin si los siguientes conjuntos de reales estn o no
acotados; si tienen mximo, mnimo, extremo superior, inferior. En caso afirmativo
hallarlos
.
i)
{ }
A x x x = < /
2
2 8 ii) { }
B x x x = + < / . 1 2

iii)
C x x
n
n N = =
/ ;
*
1
1
iv) C x x n N
n
n
= =
/ ( )
*
1 2
4
2

-1 7
cotas inferiores
B
cotas superiores
lgebra I
39

I I ) Sea A un conjunto no vaco de nmeros reales cuyo extremo superior es 3
Analizar el valor de verdad de las siguientes afirmaciones:

i) Todo nmero mayor que 3 es cota superior de A
ii) Todo nmero menor que 3 pertenece al conjunto A
iii) Existe un elemento del conjunto A mayor que 26/9.
iv) No existen elementos de A mayores que
v) Si llamamos B al conjunto formado por los opuestos de los elementos de A.
Entonces B esta acotadoinferiormente.
vi) B esta necesariamente acotado superiormente.
vii) El extremo inferior de B es -3.

n I I I) Consideramos: A A ; L es una cota superior de A y l una cota
inferior. Probar:
i) L A x A x L = >
+
ext /
0 0

ii) l = extA x A x l < +
+
1 1
/
Axioma 3 Axioma de completitud

Todo conjunto de reales no vaco y acotado superiormente tiene extremo superior

A t x e
nte superiorme cotado a A
A
A

Teorema
) ,, , Q ( + no es completo.

Dem Entendemos de que una estructura ordenada sea completa si todo subconjunto no vaco y
acotado superiormente tiene extremo superior. Por lo tanto para demostrar que Q no es completo
debemos encontrar un subconjunto de racionales no vaco y acotado superiormente que no tenga
extremo superior.

Consideramos: { } 2 x ; Q x A
2
< =
+

1) Q A Inmediato teniendo en cuenta la definicin de A.

2) A < = =
+
A A 1 2 1 1 . 1 1 y Q 1
2

3) A acotado superiormente
+
< + < < <

+ +
Q 2 x Q x
0 ) 2 x ).( 2 x ( 0 4 x 4 2 x
A x
2 2

entonces < < A x 2 x 0 2 x 2 es cota superior de A

Probemos ahora que A no tiene extremo superior en Q ; lo cual haremos por absurdo.
Supongamos que A t x e L ; Q L = Como Q L
2
ya que el orden cumple tricotoma se cumple una
y solo uno de las siguientes situaciones: i) 2 L
2
< ii) 2 L
2
= iv) 2 L
2
>

40

Tengamos presente que estamos realizando una demostracin por absurdo. Pretendemos pues llegar a una contradiccin
Probemos entonces que cualquiera de las tres situaciones nos conducen a una contradiccin.

i) Si L
2
<2 Para generar la contradiccin buscamos un elemento de A ) L ( + mayor que el supuesto extremo
superior.

< +
+
+
+
2 ) L (
Q L
A L
2

( )
2 2 2
L 2 L L + + = + Si tomamos + + < + + < < < L 2 L L 2 L 1 0
2 2 2 2

Si encontramos en las condiciones indicadas tal que 2 L 2 L
2
< + + aplicando transitiva tendramos
que 2 ) L (
2
< + como andamos buscando.

1 L 2
L 2
L 2 ) 1 L 2 ( 2 L 2 L
2
2 2
+
< < + < + +

Como en este caso
1 L 2
L 2
0 ; Q Q
1 L 2
L 2
0 L 2 2 L
2
0 0
2
2 2
+
< <
+
> <
+

y adems
< < < <

+
1 L 2
L 2
0 0
2
, 1 mn 0 tomar basta 1 0

Entonces ( ) 2 L 2 L L
0 0
2 2
0
< + + < + Como adems A L Q L
0 0
+ +
+

Pero L L 0
0 0
> + > Lo cual es contradictorio ya que hemos encontrado un elemento de A
mayor que el extremo superior.

ii) Si L
2
=2 Ya demostramos al comienzo del tema que 2 L ; Q L
2
= /

iii) Si L
2
>2 Para generar el absurdo intentaremos hallar una cota superior de A menor que el extremo superior

2 L 2 L 2 ) L (
2 2 2
> + >

L 2
2 L
2 L L 2 L 2 L 2 2 L 2 L L 2 L
2
2 2 2 2 2

< < > > +

Como en este caso
< <
>
+
L 2
2 L
0 ; Q Q
L 2
2 L
2 L
2
1 1
2
2

( ) entonces 2 x A x como 2 L 2 L L 2 L L
2
1
2 2
1 1
2 2
1
< > + =
( ) A x x L A x x L
1
2 2
1
> > (tngase presente que estamos trabajando
con reales positivos) entonces
1
L es una cota superior de A Pero L L
1
<
Encontramos pues una cota superior de A
1
L menor que el supuesto extremo superior
(menor de las cotas superiores de A)

Como las tres proposiciones que necesariamente se cumplen si A t x e L ; Q L = Entonces A no tiene extremo
superior en Q a pesar de ser un subconjunto de Q no vaco y acotado superiormente. Por lo tanto los racionales no son
completos.

Podemos afirmar entonces que la diferencia entre (,+,,<) y (Q,+,,<) es que la primera es un cuerpo totalmente
ordenado y completo en cambio la segunda es un cuerpo totalmente ordenado pero no completo
lgebra I
41

Nota Si el conjunto A del teorema anterior lo consideramos como un subconjunto de los reales (lo cual es
inmediatamente cierto pues Q A ) tenemos que:
A t x e L ; L
te superiomen cotado a A
A
A
3 Ax
=

Un razonamiento idntico al realizado nos lleva a que 2 L 2 L y 2 L
2 2 2
= >/ </
Probamos entonces que 2 L ; L
2
= como Q L 2 r ; Q r
2
= / Hemos demostrado as la existencia
de un real no racional, al que usualmente denominamos 2 . Al conjunto de los reales no racionales ) Q ( los
llamaremos irracionales.

Nota Es posible demostrar que el sistema axiomtico presentado es consistentey categrico. En otras palabras existe
efectivamente un modelo que verifica los tres axiomas (consistencia) y cualquier cuerpo ordenado y completo es el de
los nmeros reales salvo isomorfismos (categoricidad).
Las mencionadas demostraciones escapan a los objetivos de este trabajo. El lector interesado las puede encontrar
en el trabajo del prof. R.Louro titulado Nmero Real disponible en las fotocopiadoras de las cercanas del instituto;
tambin existen trabajos publicados del mismo autor en la facultad de ingeniera.

Teorema
Todo conjunto de reales no vaco y acotado inferiormente tiene extremo inferior.

A ext L ; L
nte inferiorme acotado A
A
A
=

Demostracin a cargo del lector. Sugerimos considerar el conjunto de los opuestos de los elementos de A o sea
considerar { } A a con a x ; x B = = y demostrar 1) B ext al que denominaremos L
2) A ext L =
(Realice un esquema grfico para comprender la estrategia indicada)

Ejercicios (Resto del repartido 5)

I ) Sean A B A B , , , . Consideramos
{ }
A B x x a b a A b B + = = + /
Demostrar:
i) Si + + = + extA y extB ext A B y ext A B extA extB ( ) ( )
ii) Si extA y extB ext( ) A B + y ext( A B + ) =extA +extB

I I ) Idem.I) con { } A B x x a b a A b B . / . , = = sabiendo adems que los elementos
de A y de B son positivos o cero.

I I I) Consideramos S y T dos conjuntos de reales no vacos.
i) Probar que si s t s S t T extT extS y extS extT
ii) Si con similares hiptesis pero cambiando s t por s t < Puede afirmar
que extS <extT ? ( Sugerencia: analizar
{ }
S x x n N
n
= = /
* 1
{ }
T x x n N
n
= = /
* 1

I V) ) ,, , N ( + es completo? Y ) ,, , Z ( + ?

Teorema
El conjunto de los naturales no est acotado superiormente.

Dem Intentaremos probarlo por absurdo: Suponemos entonces que N est acotado superiormente; en otras palabras
42
suponemos N n n k ; k

Tenemos entonces:
N de sup. cota es no 1 L N ext L ; L
nte superiorme acotado N
N
N
3 Ax
=

absurdo es que lo superior extremo el que mayor es y N 1 n Pero L 1 n 1 L n ; N n
0 0 0 0
+ > + >

Teorema de Arqimedes

+
b , a ) H T) b a . n ; N n >

Dem
Como N no est acotado superiormente
a
b
no es cota superior de N >
a
b
n ; N n
b a . n ; N n >
lgebra I
43

Ejercicios
I ) Probar que Z no est acotado ni superior ni inferiormente.

I I ) Demostrar que <
+
n
1
n n ; N n
0 0
En otras palabras probar que 0
n
1

I I I ) Probar:
+ <

nico es z ) 2
1 z a z ; Z z ) 1
a

z se denomina parte entera de a y lo anotaremos [ ] a

Mas precisamente

Definicin

Sea x ; llamamos parte entera de x (anotamos [ ] x ) a un entero z tal que 1 z x z + <

Ej [ ] [ ] 2 2 , 1 2 , 3
2
7
= = =

Teorema: Densidad de Q en

) b a b , a < ) b r a / Q r < <

Dem
1 na nb ) a b ( n a b
n
1
; N n a b b a > = < <
+

Llamando [ ] na z = tenemos que 1 z na z + < De donde resaltamos 1 z na + <

Por otra parte + + na 1 z z 1 z na z na z
+ >
>
+
na 1 z na nb
1 na nb como
1 na 1 z
1 z nb + >
De ambas desigualdades subrayadas tenemos b
n
1 z
a nb 1 z na <
+
< < + < b r a ; Q
n
1 z
r < <
+
=

Teorema

Q
y
x
) 4
Q y . x ) 3
Q y x ) 2
Q y x ) 1
Q y
Q x

Dem
1) Por absurdo. Suponemos Q y Q r y Q x como x r y Q r ; r y x = = +
Lo cual contradice la hiptesis.

44

En el teorema anterior demostramos que el resultado de operar un racional y un irracional es
irracional. Qu ocurre si operamos dos irracionales?

Teorema Densidad de Q en

H) b a b , a < T) b c a ; Q c < <

Dem
b 2 r a 2 b r 2 a ; Q r 2 b 2 a b a < < + < < + + < + <
Como r es racional y 2 es irracional Q 2 r c = tal que: b c a < <

Observacin

Utilizando reiteradamente la densidad de Q en y de Q en podemos afirmar que en
un intervalo cualesquiera de reales hay infinitos racionales e irracionales.Lo cual implica que
entre dos racionales hay infinitos irracionales y entre dos irracionales hay infinitos racionales.

Inicio
lgebra I
44
Para_volver_a_Men
FUNCI ONES EXPONENCI ALES Y LOGAR TMI CAS

I ntroduccin

La meta consiste en definir y estudiar propiedades de la funcin exponencial de base y
exponente real, as como de su funcin inversa, la funcin logartmica.

El procedimiento a seguir es constructivo; primero definiremos la potencia de base real y
exponente natural, ( a a y n N
n
; ) luego la potencia de base real y exponente entero,
( a a yz Z
z
; ), posteriormente la potencia de exponente racional, (a a yr Q
r
; ) y por ltimo
la potencia de base y exponente real (a
b
; a yb ). Se tratar en cada caso lograr una definicin
coherente con las anteriores desde el punto de vista de las propiedades algebraicas como las de
crecimiento.

Potencia de base real y exponente natural

Definicin

Sea a yn N Si a=0 definimos a
n
, en este caso 0
n
=0 n N
*

Si a0 y n=0 definimos a
n
en este caso a
0
=1
Si a0 y n0 definimos a a a
n n
=

.
1

Obs:
a a a a a
1 0
1 = = = . . Tambin observemos que se excluye explicitamente el caso " 0 "
0

a a a a a
a a a a a a
2 1
3 2
= =
= =
. .
. . .

Teorema
Si a y b son nmeros reales, m y n naturales excluyendo el caso 0
0
se cumple:

( )
1
2
3
4
5
) .
) ( )
) . ( . )
)
)
.
a a a
a
a
a m n
a b a b
a
b
a
b
a a
m n m n
m
n
m n
n n n
n
n
n
n
m
nm
=
=
=
=

=
+

lgebra I
45
Se demostrar a modo de ejemplo una de las propiedades anteriormente enunciadas

Dem. 1) a a a
m n m n
. =
+
Intentaremos una demostracin por induccin completa sobre n.

Primer paso: n=0 a a a
m m
.
0 0
=
+
a a a a a
m m m m
. .
0 0
1 = = =
+

Segundo paso H) n=h a a a
m h m h
=
+

T) n=h+1 a a a
m h m h
.
( ) + + +
=
1 1

a a a a a a a a
m h m h m h m h
. . . .
+ + + +
= = =
1 1

J ustifique el lector los pasos dados.

Del primer y del segundo paso utilizando el principio de I.C. podemos afirmar que
a a a n N
m n m n
. =
+
Como tomamos m fijo, pero puede ser cualquiera, entonces
a a a n N y m N
m n m n
. =
+

Ejercicios Probar: i n N
n
) 1 1 =

ii n N
iii n N
iv x x n N x n
v x x
vi x x
n
n
n
n n
n n
) ( )
) ( )
) ( )
) ( ) " " "
) ( ) " "
=
=
+
=
=
+
+ +
1 1
1 1
0 0
2
2 1
2 2 2
2 2
2 1 2 1

Teorema Desigualdad de Bernoulli

( ) ; 1 1 1 + +
n
n n N

Dem ( Por I.C. ) 1er paso n=0 ( ) . 1 1 0
0
+ +

( )
.
( ) . ( ) .
1 1
1 0 1
1 1 0 1 1 0
0
0 0
+ =
+ =

+ = + + +

2do paso H n h h
h
) ( ) . = + + 1 1
T) n h h
h
= + + + +
+
1 1 1 1
1
( ) ( )

+ + + + + =
= + + + = + + + + = +
+
) 1 h ( 1 h ) 1 h ( 1
h . h 1 ) h 1 )( 1 ( ) 1 )( 1 ( ) 1 (
2
2 h 1 h

J ustifique el lector los pasos dados.

Teorema Siendo a y b nmeros reales, m y n naturales; en condiciones de existencia se cumple:

Si a>1

1 1
2
3 0
)
)
) /
*
a n N
Si n m a a
k n N a k
n
n m
n
>
< <
> >

lgebra I
46
Si 0<a<1

4 1
5
6 0
)
)
) /
*
a n N
Si n m a a
n N a
n
n m
n
<
< >
> <

Haremos a continuacin alguna demostracin a manera de ejemplo. Las propiedades
1) y 4) aceptan una demostracin por I.C. similares a las ya hechas.

Dem 2) Si n<m > m n 0 aplicando 1) podemos afirmar: a
a
a
a a
m n
m
n
m n
> > > 1 1

Dem3) Si a>1 entonces a=1+d con d>0 Ahora a d nd
n n
= + + ( ) 1 1 (Bernoulli)
Queremos encontrar un n tal que a k
n
> . Si encontramos n que cumpla
1+nd>k por transitiva se verificara la tesis.

1 1
1
+ > > >

nd k nd k n
k
d
Como N no esta acotado superiormente
>

n N n
k
d
/
1
Volviendo atrs en el razonamiento hecho a k
n
>

Ejercicios Probar: i)0< < < a b a b n N
n n *

ii Si a ya a n m
iii Si a ya a n m
n m
n m
)
)
> < <
< < < >
1
0 1

Obs: Consideramos f: N tal que f x a
x
( ) = . Lo demostrado anteriormente implica que:

Si a>1 f es estrictamente creciente y no acotada superiormente
Si 0<a<1 f es estrictamente decreciente y se aproxima a cero tanto como queramos.

En otras palabras: Si a>1
limf x
x
( ) = +
+
Si 0<a<1
limf x
x
( ) =
+
+
0

Potencia de base real y exponente entero

Definicin

Sean: a z Z , tal quea z
2 2
0 + ( a y z no simultaneamente nulos)

Si z 0 entonces z N en este caso a
z
ya esta definido
Si z<0 entonces z=-n ; nN en este caso definimos a a
a
z n
n
= =
1
(a 0)

Obs: No definimos ni 0 0
0
" ni
z
con z <0

lgebra I
47
Teorema

Sean a y b nmeros reales, p y q enteros en condiciones de existencia se cumple:

1
2
3
4
5
) .
)
) . ( . )
)
) ( )
.
a a a
a
a
a
a b a b
a
b
a
b
a a
p q p q
p
q
p q
p p p
p
p
p
p q pq
=
=
=
=

=
+

Como ya hicimos demostraremos una propiedad a manera de ejemplo

Dem
1) Si pN y qN La propiedad ya fu demostrada.
Si pN y q=-n ; nN a a a a a
a
a
a
p q p n p
n
p
n
= = =
1

Si n = =
+
p entonces
a
a
a a
p
n
p n p q

Si n>p entonces
a
a a
a
a
a a a
p
n n
p
n p
n p p n p q
= = = = =
+
1 1
( )

Si p=-n y q=-m con n,mN
a a a a
a a a
a a a
p q n m
n m m n
m n n m p q
= = = = = =

+
+ +
1 1 1
.
( )

Teorema
Sean: a un real ; p y q enteros; en condiciones de existencia se cumple:

Si a>1 1) a x Z
x
>
+
1

2
3 0
4 0
)
) /
) /
p q a a
k x Z a k
x Z a
p q
x
x
< <
> >
> <
+

Si 0<a<1 5) a x Z
x
<
+
1

6
7 0
8 0
)
) /
) /
p q a a
k x Z a k
x Z a
p q
x
x
< >
> >
> <
+

Dem 2)

( ) )
( )
< > > >
< > > > > <
+
+
p q q p Z aplicando tenemos a
a
a
a a
a a
a
a
a como a q p Z q p p q
q p
q
p
q p
p q
q
p
q p
1 1 1
1 1 1 0

Observemos que utilizamos en la ltima parte el recproco de 1) el cual no esta enunciado,
pero puede demostrarse fcilmente por absurdo.
Tambin tengamos en cuenta que en todos los casos estamos trabajando con nmeros
positivos , lo cual nos permite realizar sin inconvenientes las transformaciones necesarias.

lgebra I
48

Potencia de base real y exponente racional

Previamente analizaremos el tema de la radicacin, pues para tratar la potencia de base real
y exponente racional nos resulta imprescindible.

Si a n N n definir a b b a
n n
= = 2 resulta razonable y previsible; pero antes de dar
esta definicin debemos asegurarnos en que condiciones existe dicho b y en caso de existir
cuantos hay.

Lema 1 H)
a b
n N n
b a
n
,
,

>
+
0 T) < >
+
b b b y b a
n
/ ' '

Dem: Debemos encontrar b<b ,entonces b=b(1-d) con 0<d<1, que cumpla
b a
n
' > o sea que b d a
n n
( ) 1 >
En consecuencia la tarea consiste en hallar 0<d<1 para que b d a
n n
( ) 1 >

Como 0<d<1 > > b d b nd Bernoulli b nd a nd
a
b
n n n n
n
( ) ( ) ( ) ( ) 1 1 1 1

> + < <

nd
a
b
nd
a
b
d
a
b
n
n n
n
1 1
1

Por hiptesis b a
a
b
a
b
n
n
n
n
> <

> 1
1
0 como los reales son densos podemos afirmar que

< < < <

d d tal que d
a
b
n
n
0 0 0
0 1 0
1
; volviendo atrs en el proceso anterior tenemos que b=b(1d
0
) cumple
b b d b nd a
n n n n
' ( ) ( ) = > 1 1
0 0
por otra parte como 0 1 1
0 0
< < = <
+
d b b d b y b ' ( ) '

Lema 2 H)
a b
n N n
b a
n
,

<
+
0 T) > <
+
b b b y b a
n
'' / '' ''

lgebra I
49

Dem:
a,b
+ +
1 1
a
y
b
por otra parte b a
b
b
a
n
n
n
<

= >
1 1 1
aplicando el lema 1

a
1 1
a
y
b
tenemos que > > <
+
b b
b
b
a
b
a
n
n
' ; ' / '
'
1 1 1
. Llamando b
b
como ''
'
=
1

a
' b
1
' b
1
' ' b y b
' b
1
' ' b
b
1
' b
n
n
n
< =
= > = >

Teorema

H) a n N n
+
, ; 0 T)
1
2
) /
)
=
+
b b a
besunico
n

Dem: 1) Consideramos
{ }
A x x a
n
=
+
/ la idea consiste en probar:
I) ext A
II) b a
n
=
lgebra I
50

I)

i A por definiciondeA
ii A por hipotesisa
a
a
y n
a
a
a
a
a
a a a
n
)
)

>
+
>
+
=
+
= + > 0
1
1 1
1 1 1
1
1 1
1

+
>
+
<
+

a
a a
a
a
a
a
a
A A
n n
1 1
1 1

iii) A acotado superiormente
Por hipotesis a>0 + > a como n 1 1 1
+ + = + > + > ( ) ( ) ( ) a a a a a a
n n
1 1 1 1
1

por otra parte <
+
x A x yx a
n
, juntando
ambas desigualdades tenemos x a
n n
< + ( ) 1
x<a+1 + x A a 1 cota superior de A

De i) ii) y iii) aplicando el axioma de completitud podemos afirmar que ext A al que
llamamos alevosamente b .

II) Nos falta probar que b a
n
= lo que haremos por reduccin al absurdo. Suponemos
entonces que b a
n
analizamos dos casos:

Si b
n
<a Aplicando el lema 2 > <
+
b b b b a b A
n
'' , '' / '' '' pero b b ext A ''> = lo
cual es contradictorio.

Si b
n
>a Aplicando el lema 1 podemos afirmar que < >
+
b b b b a
n
' ; ' / ' Por otra
parte como < > x A x a b x
n n n
' teniendo en cuenta adems que tanto
b como x son positivos entonces b>x x A b cota superior de A
Pero b b ext A '< = lo cual genera el absurdo.

Por lo tanto b a
n
= . Probemos por ltimo la unicidad.

Dem: 2) Suponemos que =
+
b b a
n
1 1
/ Intentaremos demostrar que b b
1
= por abs.
Si b b b b a a Abs
n n
1 1
< < < .
Si b b b b a a
n n
1 1
> > > Abs.
Por lo tanto b b
1
= lo cual implica que b es nico.

Observemos que la unicidad no se desprende de la unicidad del extremo superior de un
conjunto pues se podra encontrar b ; b a
n
= por otro camino distinto.

Observaciones:

Si a=0 = = 0 0 0 /
n
a y adems es el nico
Si a>0 y n es par por el teorema anterior =
+
b unico b a
n
/
lgebra I
51

Pero ( ) = = b b a
n n
por ser n par.
Si a>0 y n impar por el teorema anterior =
+
b unico b a
n
/
Adems 0 x x pues a x / 0 x ; x
n n
= /

por ser n impar..
Si a<0 y n par / = b b apues x x
n n
/ 0 por ser n par.
Si a<0 y n impar a<0 > a 0 aplicando el teorema anterior tenemos
= = / = =
+
b unico b a b a comon b b
n n n n
/

( ) 2 por lo tanto
=
b b a
n
/ ( ) .

En resumen: Si a=0 y nN n>0 = 0 0 0 /
n
y es el nico
Si a = = =
+ +
yn b y b b b a
n n
/ ( ) 2 y son los nicos dos.

Si a / = =
+ +
y n b b a
n
/ 2 y es el nico.
Si a y n x x a
n
= / =

/ 2
Si a y n b b a
n
/ = =

/ ( ) 2 y adems es el nico.

Lo que nos conduce a la siguiente:

Definicin a n N n 1 1) Si a 0 definimos a b
b a
b
n
n
=
=
0

2) Si a yn definimos a b b a
n n
< / = = = 0 2

Obs:

Siendo a n N n a en
n
+ , ( , ,., ) 1 est definida: si n es par solamente para
a 0, si n es impar para todos los a reales.
Tambin observamos que cuando est definida Sig a Sig a
n
= ( ), en particular si n es par a
n
0.

Teorema

Siendo a,a nmeros reales, n y p naturales no nulos; en condiciones de existencia se cumple:

1)
( )
a a
n
n
=

( )
2
3
4
5
6
7
2 2 2 1 2 1
) ) )
) .
)
'
'
)
)
)
i a a ii a a
a a aa
a
a
a
a
a a
a a
a a
n n n n
n n n
n
n
n
n
p
p n
n
p pn
n p
np
= =
=
=
=
=
=
+ +

lgebra I
52

Dem 2) i) Como a
n 2
0 aplicamos la parte 1) de la definicin.
Debemos probar: a a
I a a
II a
n n
n
n
2 2
2
2
0
=
=
)
)

I)
( ) ( )
a a a a
n
n
n
n
2 2
2 2
= = = II) ya fu demostrado en las propiedades de valor absoluto.

Ahora s estamos en condiciones de tratar la potencia de exponente racional.

Definicin

a a r Q r
p
q
con p Zyq N q
Definimos a a a
r
p
q p
q
=
= =
0 1 ,

.
Por ejemplo: 8 8 64 4
2
3
2 3 3
= = =

Nota: Si
p
q
p
q
a a
p
q
p
q
= =
'
'
'
'

a a a a a a
p
q
p
q
pq qp
p
q p
q
pq
qq
pq
qq
p
q
p
q
= = = = =
= =
'
'
'
'
'
'
'
'
(*)
(*)
'
'
' '

Teorema

Sean a,b
+,
'
0
r yr Q se cumple:

1) a a a
r r r r
.
' '
=
+

2)
a
a
a
r
r
r r
'
'
=

( )
3
4
5
) . ( . )
)
)
'
. '
a b a b
a
b
a
b
a a
r r r
r
r
r
r
r
r r
=
=

=

Dem 1) r Q r
p
q
con pyq Z q = ; 1 r Q r
p
q
con p yq Z q ' '
'
'
' ' ; ' = 1

lgebra I
53
a a a a a a a a a a a a a a
r r
p
q
p
q p
q
p
q
pq
qq
pq
qq
pq pq
qq
pq pq
qq
pq pq
qq
p
q
p
q r r
. . . . .
'
'
' '
'
'
'
'
'
' '
'
' '
'
' '
'
'
' '
= = = = = = = =
+
+
+
+

Teorema

a r y r Q ' Si a>1 se cumple: 1 1 ) a r Q
r
>
+

2
3 0
4 0
0
1
0
1
) '
) /
) /
'
r r a a
k r Q a k
r Q a
r r
r
r
< <
> >
> <
+

Si 0<a<1 5 1 ) a r Q
r
<
+

6
7 0
8 0
0
1
0
1
) '
) /
) /
'
r r a a
k r Q a k
r Q a
r r
r
r
< >
> >
> <
+

Dem

1) = = =
+ +
r Q r
p
q
con pyq Z a a a
r
p
q p
q

a yp Z a a a
p r p
q
> > = >
+
1 1 1 (*)

(*) si a a a
p
q
p
q
q
p

1 1 1 lo cual contradice que a

p
> 1

Ejercicios (Repartido 6 del curso presencial)
I ) Resolver en ( ) + , ,, : i) x x + 3 0 ii)
x
x
3
1
0
+
> iii) ( ) x x + < 3 4 0
iv) x x + 4 0 v) ( ) x x + 2 1 0
2 3
vi) 2
3 1
5
0
+
+
x
x
x
vii) x x
x
x
+

+
< 3
5 1
3
0

I I ) Idem.

i) x x + = 3 2 0 ii) x x + = 1 13 iii) x x x x + = +
2 2
1 4 4 1

lgebra I
54

I I I ) Idem.

i) x x + > 1 1 ii) x x + + < 7 1 2 0 iii) ( ) 1 1 5 3 + x x x

iv) 2 1
2
2 1
2 x
x
+ +
+
v) x x x + > + + 6 1 2 5

I V) dem.

i)
8
4
0
2
x x
< ii) x x
2
1 0 + iii) 2 1 3 0 x + >

iv)
x x
x
+

3
1
0
5
2 6
v) ( )
( )
x x
x x
x x
+
+ +
+
> 1
2 5 8
3 1
0
3
2
2 2
3

V) dem.

i) x x
2
1 2 = + ii) x x
2
1 3 + = + iii) x a x a + = +

VI ) dem.

i) ( ) 2 2 4 3
2
x x x + ii) x
2
4 < iii) x
2
1 1 +

iv) x x
2 2
1 2 + < + v) x x
2 2
1 2 vi) x x x + < 1 4 1

VI I ) Probar que 2 3 + es irracional. ( Sug. proceder por absurdo y tener en cuenta que 2 es un
irracional ).

VI I I ) Consideramos a b ,
+
Probar:
a
b
a b
a b
<
+
+
> 2
2
2

Respuestas:

I ) i)
[ ]
30 , ii) ( ) ( ) + , , 1 0 iii) ( ) , 3 iv)
[ ]
04 ,
v) ( ] [ ]
, , 2 11 vi)
{ }
1
3
2 , vii)
I I ) i) { } 1 ii) { } 10 iii)
I I I ) i)
[ ) 13 , ii) ( ) 2,+ iii) 3
7 17
2
,
+
iv)
( )
+
1
2
, v)
[ ]
5
2
3 ,
I V) i) ( ) , 2 ii)
[ ) 0,+ iii) ( ) ( ) + , , 2 1 iv)
[ ) 3 1 , v) ( ) ( ) + , , 2 4
V) i)
{ }
5
4
ii) { } 12 , iii) { } a a ,1
VI ) i) ( ]
,1 ii) ( ) 44 , iii) { } 0 iv) v) vi)
[ ) 1,+

lgebra I
55

Vamos a intentar ahora definir y estudiar la potencia de base y exponente real.

Potencia de base y exponente real

Teorema

H)
{ }
a b a
A a r Q r b
r
,
/ ;
>
=
1
T ext A )

Dem: Intentaremos utilizar el axioma de completitud, para lo cual debemos probar:

i) A lo cual se cumple por la propia definicin del conjunto A
ii) A b b < 1 aplicando densidad de Q en podemos afirmar:
< < r Q b r b a A A
r
0 0
1
0
/
iii) A acotado superiormente.

b b r Q b r b
como a A r b
r r a A
r
r
< + < < +

<
1 1
1 1
1
/
como adems a>1 tenemos que

a a a A a
r r r r
<
1 1
es cota superior de A y por lo tanto A est acotado superiormente.

De i) ii) y iii) aplicando el axioma de completitud podemos afirmar que extA .

Definicin
Consideramos a y b
+

Si a>1 definimos
{ }
a ext a r Q r b
b r
=
G
/ ;
Si a=1 definimos a
b b
= = 1 1
Si 0<a<1 definimos a
a
b
b
=

1
observese que si 0 1
1
1 < < > a
a

Teorema

Siendo a a byb , ' '
+
se cumple:

( )
1
2
3
4
5
) .
)
) ' ( ')
)
'
'
)
' '
'
'
'
. '
a a a
a
a
a
a a aa
a
a
a
a
a a
b b b b
b
b
b b
b b b
b
b
b
b
b
bb
=
=
=
=

=
+

lgebra I
56

En este caso no demostraremos ninguna de las propiedades enunciadas pues las
complicaciones tcnicas que ello implica exceden los objetivos de este trabajo.

Teorema Consideramos: a x x
+
'

Si a>1 se cumple: 1 1 ) a x
x
>
+

2
3 0
4 0
) '
) /
) /
'
x x a a
k x a k
x a
x x
x
x
< <
> >
> <
+

Si 0<a<1 se cumple: 5 1 ) a x
x
<
+

6
7 0
8 0
) '
) /
) /
'
x x a a
k x a k
x a
x x
x
x
< >
> >
> <
+

Dem
1) >
+
x x 0 aplicando densidad de Q en > > r Q x r
0 0
0 / como a>1 entonces
a
r
0
1 > .Por otra parte
{ }
a ext a r Q r x
x r
= / ; tenemos entonces un elemento del conjunto ( )
0
r
a
mayor que 1, en consecuencia el extremo superior es tambin mayor que uno. En definitiva
a x
x
>
+
1 .


I ) Resolver en ) ,, , ( + :
i)
x 2 x 3
9 3 =
+
ii) 1 9
1 x 2
=
+
iii)
5 x 3 x
4 16 . 2
+
= iv) 0 4 3 . 5 3
x x 2
= +

v) 0 8 2 . 6 4
x x
= + vi) 4
3
1
3
x
1 x
= +
+
vii) 0 3 ) x x (
x
1
2
= + viii)
x x 2
5 5 . x =

ix)
1 x
x
1 x
x
2
7 . 2 7 ) x x (
+ +
=

I I ) dem:
i) 0 ) x 2 x ( 5
2
x
1 x

ii)
1 x
x
1 x
x
2
7 . 2 7 ) x x (
+ +
> iii) 0 5 1
4 x
2

iv) 1 ) 2 , 0 (
x 2 x
2
<

v)
4 x x 2 x
5 5
2

> vi) 0 ) 3 , 0 ( ) 3 , 0 (
3 x 2 x x
2

+
vii)
1 x 1 x
2 2
10 7

I I I ) dem:
i)
3 x 2 x
9 3
+
= ii) ( ) 1 4
x 2
x 3
=
iii) 4 4
1 x 2
=
+
iv) 0
25
1
5
2 x 3
=
+
v) 243 3
x
=

vi) 0 2 10 . 3 10
x x 2
= + vii) 0 3
3
1
. 2
9
1
x x
=
viii) 363 3 3 3 3 3
4 x 3 x 2 x 1 x x
= + + + +

lgebra I
57

ix) 0 5 ). x x (
x 2
= + x)
1 x
x
1 x
x
2
2 . x 2 2 ) 3 x (
+ +
= xi) 0 7 5
3 x 2 4 x 3
=
+
xii)
4 x 2 1 x
6 . 7 11
+ +
=

xiii) ( )
x
x
x x = xiv)
1 x x
3
5
1 3
2
4

=
+ xv)
3 x 2 x 1 x x 3 x 2 x 1 x x
3 3 3 3 2 2 2 2
+ + + + + +
+ + + = + + +

xvi) 8 4 2
x x
=

I V) dem:
i) 0 5 ) x x (
x
1
2
< + ii)
1 x
x
1 x
x
2
2 . 3 2 ) x 2 x (
+ +
iii) 1
5
1
1 x
2 x 3
>

+
iv) 1 ) 72 , 0 (
12 x 7 x
2
<
+

v)
2 x 5
81 27

vi) 256 2
2 x
1 x
2
vii)
2 x 5 x
81 27

V) Consideramos: ) m ( m mx 2 x ) 3 m ( ) x ( f ; : f
2
m m
+ + + =
1 m x ) 1 m ( x m ) x ( g ; : g
2
m m
+ + + + =

1) i) Determinar los valores de m para que > x 1 ) x ( f
m

ii) Para m hallado en i) verificar que ( ) > x 1 ) x ( f
) x ( g
m
m

2) Hallar los valores de m para que la ecuacin
) x ( g ) x ( g
m m
3 . 4 3 9 = + tenga todas sus races reales
menores que 1
(Parte de uno de los ejercicios propuestos en el examen del 23/7/93)

VI ) Sea m x ) 1 m 3 ( x m ) x ( f ; : f
2
m m
+ + + =

A) i) Investigar si existen valores de m para los cuales > x 0 ) x ( f
m

ii) dem < x 0 ) x ( f
m

B) Hallar los valores de m para que la ecuacin 0 2 2 2
) x ( f 3 ) x ( f
m m
= +

tenga dos races
reales menores que 1.

C) Para m=-3 resolver en ) ,, , ( + : i) 0
4
1
2
2
1
x
) x ( f 1
m

ii) ) 1 x ( 2 ) x ( f 1
m
<

( Ejercicio propuesto en el examen del 28/12/92 )

lgebra I
58
Logaritmacin

Definir log
b
c
a c b a = = es lo ms previsible; para ello debemos investigar previamente
la existencia de dicho c y en caso de que exista, cuantos c hay. Por lo tanto antes de la
definicin prevista tratemos las siguientes proposiciones

Lema 1

H
a byc
a
a c
b
)
,
>
<
1
T b b b a c
b
) ' ; ' /
'
> <

Dem:
Debemos encontrar b>b / a c
b'
< si encontramos n N tal que a c
b
n
+
<
1
tendriamos que el
b que andamos buscando es b
n
+
1
.

a c a a c a
c
a
a
c
a
a
c
a
a n a
b
n
b
n n
b
n
n
b
n
b
n
n
+
< < <

<

<

> > >

1 1 1 1 1
1 0 1 * (*)

Por hiptesis a c
c
a
b
b
< > 1 aplicando una de las propiedades de la potencia de exponente natural

> n N
c
a
a
b
n
0
0
/ volviendo atrs en el razonamiento anterior tenemos que a c
b
n
+
<
1
0
.

Llamando b b
n
'= +
1
0
entonces b>b y a c
b'
<

Lema 2
H
a b c
a
a c
b
)
, ,
>
>
1 T) < > b b b a c
b
'' ; '' /
''

Demostracin anloga.

Teorema

H
a
b b
)

+
+
1
T
c b a
cesunico
c
)
) /
)
1
2
=

Dem: Si b>1 Consideramos
{ }
A x b a
x
= /
La idea consiste en probar: I extA al quellamaremos c )
II) b a
c
=

I) i) A por la propia definicin del conjunto A.
ii) A b a x b a x A A
x
> <
+
1
0 0
0
/
lgebra I
59
iii) A acotado superiormente.

b a x b a
como x A b a
b b x A
x
x
x x
> >

<
+ +
1
1
1
1
/

adems b>1 entonces x x x A x <
1 1
es cota superior de A.

De i) ii) y iii) aplicando el axioma de completitud tenemos que ext A al que denominamos c.

II) Nos falta demostrar que b a
c
= , lo que haremos por absurdo.

Si b
c
<a aplicando el lema 1 > < > = c c c b a c A peroc c extA
c
' ; ' / ' '
'

lo cual es absurdo.

Si b
c
>a aplicando el lema 2 < > c c c b a como x A b a
c x
'' ; '' /
''

<
>

<
b b x A
ademas b
x c x A
x c''
''
1
c es cota superior de A
pero
c c ext A ''< =
G
Abs.

Por lo tanto si b a y b a entonces b a
c c c
/ < / > =

Si 0<b<1 >

= =
1
1
1
b
d
b
a b a
d
d
/ llamando c=-d tenemos que:
= c b a
c
/

2) Unicidad Suponemos que: = c b a
c
1
1
/ por 1) = c b a
c
/ entonces

b b
ademas b
c c
c c
1
1
1
=
=
En consecuencia c es nico.

Definicin

Consideramos: a b yb
+ +
, 1
Definimos log
b
c
a c b a = =

Ejer: 1) Calcular: i ii iii iv v a vi b
b a b
) log ) log ) log ) log ) log ) log
2 10 4
8 1000000 2 1

2) Porqu en la definicin exigimos a b yb 0 0 1?

lgebra I
60
Teorema

Siendo: aa b b b b , ' , ' '
+ +
1 1 se cumple:

1
2
3
4
5
)
) log log ' log '
) log log ' log
'
) .log log ( )
) log
log
log
( )
log
'
'
b a
a a aa
a a
a
a
c a a c
a
a
b
cambiodebase
b
a
b b b
b b b
b b
c
b
b
b
=
+ =
=
=
=

Dem 1):

Si a c b a
como c a
b a
b
c
b
a
b
log
log
log
= =
=

=

Dem 5):

Debemos probar: log
log
log
log . log log '
'
'
' '
log .log
'
b
b
b
b b b
b a
a
a
b
b a a b a
b b
= = =

Demostremos esta ltima igualdad.

( )
( ) b b b a
b b b
b
b b a b
a
a
' '
log log log
log
log
' '
= = = l.q.q.d.

Pasamos ahora al crecimiento de la funcin logartmica.

Teorema

Consideramos a y b dos reales positivos.

Si b>1 se cumple: 1 0 1 ) ) log i a a
b
> >
ii) log
b
a a < < 0 1

2
3 0 1
4 0 0 1
) ' log log ' ( ' )
) ( ) / log
) ( ) / log
a a a a a
k x x x k
k x x x k
b b
b
b
< <
> > >
> < < <
+

Si 0<b<1 se cumple 5 0 1 ) ) log i a a
b
> <
ii) log
b
a a < > 0 1

6
7 0 0 1
8 0 1
) ' log log ' ( ' )
) ( ) / log
) ( ) / log
a a a a a
k x x x k
k x x x k
b b
b
b
< >
> < < >
> > <
+

Dem 1) i) ( ) H
b
a
b
)
log
>
>
1
0
T a ) > 1
lgebra I
61

log
log
b
a
a y b b a
b
> > > > 0 1 1 1

( ) H
b
a
)
>
>
1
1
T a
b
) log > 0

por absurdo; suponemos log
b
a 0 como b>1 entonces:
b a
b
a log
1 1 lo que contradice la hiptesis.

Observacin

Si b>1 y a>0 log
b
a a a > > > 0 1 1 0

log
log
b
b
a b a a a
a a a
= = = =
< < <
0 1 1 0
0 1 1 0
0

Por lo tanto: Si b>1 y a>0 ( ) Sig a Sig a
b
log ( ) = 1

Ejercicios: Probar:
1) Si 0<b<1 y a>0 ( ) Sig a Sig a
b
log ( ) = 1
2) En general: si b>0 a>0 y b ( ) = 1 1 1 Sig a Sig a b
b
log ( )( )
3) Si b a Sig a Sig a a
b
> = + 1 0 1 1 log ( )( )
4) Bosquejar las grficas de la funcin exponencial ( f f x a
x
: ( ) = ) para a>1
y para 0<a<1. Tambin las grficas de la funcin logartmica
( : ( ) log f f x x
b
= ) para b>1 y para 0<b<1.


I ) Resolver en ) ,, , ( + :
i) ) 1 x 2 ( log 1 ) 2 x ( log
3 3
= + ii) 3 ) 4 x 3 ( log ) 8 x ( log 2
2 4
=
iii) 7 x log x log x log
2 4 16
= + + iv) 3 ) 2 x ( log x log
3
8
4
16
= + + v) 2 2 log 2 x log 4
x
2
2
= +
vi)
5
x
2 x
3 x
10 x
x 2
x
x 2
x log x 3 log x 3 x log 2 log
2 2
= + +

I I ) Sean : ) x 2 p ( log ) x ( g ; : g y ) 2 x 3 ( log ) x ( f ; : f 2
x
x
= + =

i) Hallar p sabiendo que f(2)-g(2)=1
ii) Para p hallado estudiar dominio y signo de f y de g
iii) Resolver en ) ,, , ( + : f(x)-g(x)=1

I I I ) Consideramos la igualdad ) b n ( a log
1 i
b i a
log
n
0 i
+ =
+
+
=

i) Hallar a y b sabiendo que la igualdad anterior se cumple par n=0 y n=1
ii) Para a y b hallados probar que la igualdad se cumple N n
lgebra I
62
iii) Probar que : N n k ) b n ( a log k
1 i
b i a
log
n
0 i
k
+ =
+
+
=

iv) Calcular:

=
+
+
20
10 i
1 i
b i a
log

I V) Resolver en ) ,, , ( + :
i) 0 ) 1 x 3 ( log
2
ii) 0 ) x 5 ( log
2
1
iii) 0 ) 1 x ( log
2
2 x

+

iv) 2 ) x 3 4 ( log
x
v) ) 1 x ( log ) 2 x 3 ( log
x 2 x 2
< +

V) Consideramos ) 3 x 2 ( log ) x ( f ; : f
x 4
+ =

i) Estudiar dominio y signo de f.
ii) Hallar a<2 sabiendo que la ecuacin ) 5 ax x 3 x ( log 4 ) x ( f . 2
2 3
) x 4 (
2 + + =

iii) Para a hallado resolver completamente la ecuacin anterior.
iv) Para a hallado resolver en 1 ) x ( f : ) ,, , ( +

VI ) i) Sabiendo que la ecuacin 2 ) 1 x ( 2 log ) a x ( log
1 x
1 x
= +
+
+
tiene raz 3 ; hallar a
ii) Con el valor de a hallado resolver en 2 ) 1 x ( 2 log ) a x ( log : ) ,, , (
1 x
1 x
+ +
+
+

VI I ) Resolver en : ) ,, , ( +
i) 1 ) 9 x ( log
2
3 x
=
+
ii) ) 5 x ( log 4 ) x 3 ( log
2 2
= +
iii) ) 1 x log( ) x 3 log( 2 x 2 log + = iv) 2
2 x
1 x 3
log
3
2
>
+
v) 1 ) 8 x ( log
4 x
2 +

vi) 1
7
x 5
log
4
3 x
>
+

VI I I ) Resolver en : ) ,, , ( +
i)
x log 3 x log 1
100 x
+ +
= ii) 6 log 5 log x ) 2 1 ( log x
x
+ = + +
iii)
=
= +
256 xy
50 ) y log x (log 7
x y
iv) 0
) x 5 ( log 1
2 x
1 x

+
+
v) 0 3 2 log ) 1 x ( log 2
1 x 2
+

vi) 0
) 2 x ( log
) 2 x 3 ( log
x 3 log
2
4
x 9
2
x
2 x

+

I
I X) A) Resolver en : ) ,, , ( +
i) 2 ) x x ( log
2
2 x
=
ii) 2 ) x x ( log
2
2 x

iii) 1 x x log
2
2 x

iv) 1 ) x x ( log
2
2 x

B) Sea { } 1 ; 2 x x ( log / x A
2
1 x
= + + =

i) Probar que si : A
x
1
A x
0
0

ii) Determinar para que = A
(examen propuesto en julio de 1992 )
lgebra I
63

Respuestas:

I ) i) { } 5 ii) { } 12 iii) { } 16 iv) { } 2 v) { } 2 vi) { }
4
11

I I ) i) a=1 ii) { }
2
1
f
D =
+
( ) { } 1 , 1 , 0 10 , D
g
= iii)
+
2
65 7
, 2
I I I ) i) a=1 b=2 iv) 2 log
2
1

I V) i) [ ) + ,
3
2
ii) ( ] 4 , iii) [ ) [ ) + , 2 1 , 2 iv) (0,1) v) (1,2)
V) i) ( ) { } 3 4 , D
2
3
f
=

ii) 4 a = iii) { } 2 , 1 iv) [ ) 3 ,
3
1

VI ) i) a=11 ii) [ ) + , 3
VI I ) i) { } 4 ii) iii) { } 1 iv) ( )
3
1
3
22
, v) [ ) ( ] 4 , 5 5 , 3
vi) ( ) 1 ,
11
1

VI I I ) i) { }
100
1
, 1000 ii) { } 1 iii) x=2 e y=128 x=128 e y=2
iv) ) 5 , 2 ( ) 0 , 1 ( v) ( ] [ ) + + , 3 2 1 , 2 vi)
I X) i) 3 ii) ( ] ( ] 2 , 1 ,
3
2
2
1

X) A) a) b) ( ) + , 3 c) ( ] ) , 3 ( , 1
3
4
+ d) [ ) [ ) 2 , 2 0 , 2

Inicio

lgebra I

65
Para_volver_a_Men
DI VI SI BI LI DAD

DI VI SI BI LI DAD EN (N,+,.,<)

Frente a la imposibilidad de realizar la divisin exacta en todos los casos dentro de la estructura de
los naturales definiremos la divisin entera que seguramente como todos sospechamos una buena
definicin puede ser:

a b
r q
a bq r
r b
= +
<

Si somos rigurosos previamente a esta definicin debemos discutir en que condiciones
existen q y r , y cuando ello ocurre cuantos q y cuantos r hay.

Teorema
H)
a N b N
b

,
0
T)
1
2
) , /
) cos
= + <
q r N a bq r y r b
q y r son uni

Dem:
Consideramos H=
{ } x N bx a / Intentaremos demostrar que H tiene mximo y que este es el
q de la tesis. Para ello utilizaremos el principio de buena ordenacin.

i) H N por la propia definicin de H.
ii) H = pues b a H : . 0 0 0
iii) H acotado superiormente. Efectivamente cualquier natural mayor o igual que
a
b
es cota
superior de H.

De i) ii) y iii) utilizando buena ordenacin o ms precisamente su consecuencia inmediata podemos
afirmar que existe el mximo de H al que denominamos alevosamente q.

q H bq a
como a bq N
a bq N

,
Llamando r=a-bq tenemos que a=bq+r.

Nos falta demostrar que r<b. Hagmoslo.

r b r bq a b bq a ) 1 q ( b
N 1 q como
H 1 q H mx q
> + = > + > +
+
+ =

Probemos ahora la unicidad.

Suponemos que existen = + < q y r N a bq r y r b /

Si q q ; por ejemplo q> > q q q q q 0 1 (pues estamos con naturales)
b(q- q b ) (recordemos que b>0 por ser un natural no nulo).

66
Por otra parte
a bq r
a bq r
b q q r r r b q q r b q q b r b
= +
= +

+ = = + ( ) ( ) ( ) 0
Lo cual contradice la suposicin, Por lo tanto q = q .

Si q q
a bq r
a bq r
bq r bq r r r =
= +
= +
+ = + =

Por lo tanto q y r son nicos.

Definicin
Dados a y b naturales, b 0 realizar la divisin entera de a entre b es
encontrar q y r naturales tales que:
i) a=bq+r
ii) r<b

Lo cual representamos esquemticamente a b
r q

En caso de que r=0 decimos que b dividea a o que a es mltiplo de b
Anotamos b/a a= b
.
Podemos independizar la definicin de divisor o de mltiplo de la definicin de divisin entera.

b/a = q N tal que a bq

Ejercicios:

1) Consideramos R N N xRy x y : ; /
* *
.
Probar que R es una relacin de orden amplio (una relacin que cumple idntica, antisimtrica y
transitiva

2) Probar:
x a
x b
x a b
/
/
/
(Si un nmero divide a otros dos divide a su suma y a su resta)

3) Idem.
x a
c N
x ac
/
/
( Si un nmero divide a a divide a todos sus mltiplos)

4) Idem.
x a x b
N
x a b
/ /
,
/
+

(Si un nmero divide a otros dos
divide a cualquier combinacin lineal)

5) Probar:
x a x b
a b
r q
x r
/ /
/

6) Probar:
x y
y
x y
/

0
(Los divisores de un natural no nulo son
menores o iguales que el natural dado)

lgebra I

67

Ejercicios:
1) Completar de todas las formas posibles:

i) 9 ii) a a<200 iii) 60 iv) a 17 a>200
13 35 4 12 q q

2) Hallar a natural sabiendo que: a 37
q q
2

3) Hallar todas las posibles ternas de naturales (a,b,c) tales que:

a b a+7 15
12 c b c

Nota

Siendo a un nmero natural anotamos d(a) al conjunto de todos sus divisores

{ }
d a x N x a ( ) ; / =

As por ejemplo:
{ }
d d N ( ) , , , ( )
*
6 12 36 0 = =

Definiremos al mximo comn divisor de dos naturales a y b como el mximo de los divisores
comunes; o sea como el mximo del conjunto d(a) d b ( ) . Para dar esta definicin probemos
previamente que dicho mximo existe.

Teorema

a N b N
a b
maxd a d b

+

,
( ) ( )
2 2
0

Dem: Observemos que d a d b ( ) ( ) es un conjunto de naturales; es pues razonable pensar en utilizar el
principio buena ordenacin. Para ello debemos probar:

i) d a d b N ( ) ( ) Lo cual es inmediato pues por definicin d a N y d b N ( ) ( )

ii) d a d b ( ) ( ) 1 1 1 d a d b d a d b ( ) ( ) ( ) ( )

iii) d a d b ( ) ( ) acotado superiormente. Como por hiptesis a y b no son simultanea-
mente nulos, supongamos por ej que a 0
x d a d b x d a x a como a ( ) ( ) ( ) / , 0
x a a es cota superior de d a d b ( ) ( )

De i) ii) y iii) aplicando el principio de buena ordenacin estamos en condiciones de
afirmar que ) b ( d ) a ( d mx .

68

Definicin

Dados dos naturales a y b no simultneamente nulos. Llamamos mximo comn
divisor de a y b al mxd a d b ( ) ( ) .

Anotamos D(a.b); as por ejemplo D(10,25)=5 D(0,b)=b si b 0

Teorema

a b
r q
d a d b d b d r
= ( ) ( ) ( ) ( )

Dem: Debemos probar que: i) x d a d b x d b d r ( ) ( ) ( ) ( )
ii) x d b d r x d a d b ( ) ( ) ( ) ( )

i)

= x d a d b
x d a x a
x d b x b x bq
x a bq r x d r como x d b ( ) ( )
( ) /
( ) / /
/ ( ) ( )

x d b d r ( ) ( )

ii)

+ = x d b d r
x d b x b x bq
x d r x r
x bq r a x d a x d a d b ( ) ( )
( ) / /
( ) /
/ ( ) ( ) ( )

COROLARI O

a b
r q
D a b D b r
= ( , ) ( , )

La demostracin es una consecuencia inmediata del teorema anterior.

Obs. 144 50 entonces D(144,50)=D(50,44)
44 2

50 44 entonces D(50,44)=D(44,6)
6 1

44 6 entonces D(44,6)=D(6,2)
2 7

6 2 entonces D(6,2)=D(2,0)=2
0 3

Por lo tanto D(144,50)=2.La aplicacin sucesiva del ltimo corolario nos permiti calcular el
mximo comn divisor de 144 y 50; intentemos generalizar este procedimiento.

lgebra I

69
Algoritmo de Euclides

Consideramos a b N a b , > > 0 . Para hallar D(a,b) realizamos la divisin

a b
r q
D a b D b r
1 1
1
= ( , ) ( , )

Si r D a b D b b
1
0 0 = = = ( , ) ( , )

Si r realizamos la division b r D b r D r r
r q
1 1 1 1 2
2 2
0 = ( , ) ( , )

Si r D a b D b r D r r
Si r realizamos la division r r D r r D r r
r q
2 1 1 1
2 1 2 1 2 2 3
3 3
0 0
0
= = = =
=
( , ) ( , ) ( , )
( , ) ( , )

Si r D a b D b r D r r D r r
Si r
3 1 1 2 2 2
3
0 0
0
= = = = =
( , ) ( , ) ( , ) ( , )
..........................................................................
..........................................................................................

El proceso continua hasta encontrar un resto nulo. No existir algn caso en donde esto no ocurre?
(o sea que el proceso sea infinito).
Aparentemente no pues: b r r r > > > >
1 2 3
............ Probmoslo mas rigurosamente. Consideramos
H el conjunto de los restos obtenidos mediante este proceso de divisiones sucesivas; demostremos
que H tiene mnimo y que este es 0.

H mn r
) H r ( H
N H
n
1
=

SI r realizamos la division r r r H y r r minH Absurdo
r q
n n n n n n
n n
< =
+ +
+ +
0
1 1 1
1 1

Por lo tanto r
n
= 0 y en consecuencia este mecanismo de divisiones sucesivas nos conduce en todos
los casos a un resto nulo siendo el ltimo resto no nulo ( r
n1
)el mximo comn divisor buscado.

Suele utilizarse el siguiente esquema:

q q q q
a b r r r r
r r r
n
n n
1 2 3
1 2 2 1
1 2 3
0
.....................
...................
..........................
D(a,b)=r
n1

As por ejemplo para calcular D(144,100)

1 2 3 1 2
144 100 44 12 8 4
44 12 8 4 0

Entonces D(144,100)=4

70
Nota

Si en el algoritmo anterior utilizamos sucesivamente el teorema en lugar del corolario
tenemos: d a d b d b d r d r d r d r d d r
n n
( ) ( ) ( ) ( ) ( ) ( ) ......................... ( ) ( ) ( ) = = = = =
1 1 2 1 1
0
como r D a b d a d b d d D a b
n
= =
1
( , ) ( ) ( ) ( ( ( , )) El conjunto de los divisores comunes a
a y a b es el conjunto de los divisores de su mximo comn divisor.

En otras palabras:
x a
x b
x D a b
/
/
/ ( , )

Teorema
D a b D
i D a D b
ii Si x a x b x D
( , )
) / /
) / / /
=

Dem ( ) Partimos de la hiptesis que D=D(a,b)=mxd a d b D d a d b ( ) ( ) ( ) ( )

D d a D a
D d b D b
( ) /
( ) /
Quedara por demostrar la condicin ii); pero ello ya fu probado
en la nota inmediata anterior.

( ) Ahora debemos demostrar que D=mxd a d b ( ) ( )

i D d a d b
ii D x x d a d b
) ( ) ( )
) ( ) ( )

i) Por hiptesis
D a D d a
D b D d b
D d a d b
/ ( )
/ ( )
( ) ( )

ii)

x d a d b x a x b entonces por hipotesis x D
como D
x D
( ) ( ) / / /
0

De i) y ii) deducimos que D maxd a d b D a b = = ( ) ( ) ( , )

Nota: El teorema recin demostrado nos brinda una condicin necesaria y suficiente para que D sea
mximo comn divisor de a y b .Y como tal podra sustituir a la definicin dada de mximo comn
divisor. Es mas algunos autores toman la proposicin del teorema inmediato anterior como
definicin; no necesitando de esta manera el <
.Por este motivo entre otros es la opcin que se toma en Z y en polinomios.

Veamos ahora algunas otras propiedades del mximo comn divisor.

Lema
a b
r q
x N
ax bx
rx q
*

Dem:

a b
r q
a bq r ax bxq rx
r b como x rx bx
= + = +
< > <
; 0
Entonces ax dividido bx da cociente q y resto rx.

lgebra I

71

Teorema

D a b D
x N
D ax bx Dx
( , )
*
( , )
=
=

Dem

q q q
a b r r r
r r
n
n n
1 2 1
1 1
1 2
0
....................
.................
.......................
+
Entonces
q q q
ax bx r x r x r x
r x r x
n
n n
1 2 1
1 1
1 2
0
..................................
.........................
.................................
+

Por lo tanto D(ax,bx)=r x D a b x
n
= ( , )

Corolario

x a x b
D a b D
D
a
x
b
x
D
x
/ /
( , )
,
=

Dem:
D
a
x
b
x
D D
a
x
x
b
x
x D x D a b D x D D x D
D
x
, , ( , )
= = = =

Definicin

Consideramos a y b dos nmeros naturales.
Decimos que a y b son primos entre s = D a b ( , ) 1

Obs: a y b son primos entre si el 1 es su nico divisor comn

Teorema
D a b D
a Da
b Db
D a b
( , )
( , )
=
=
=
=
1

Dem: ( ) ( , ) / / =
=
=
D a b D D a D b
a Da
b Db
= = MCD Da Db D MCD a b ( , ) ( , ) 1

( ) ( , ) ( , ) ( , ) = = = D a b D Da Db D D a b D 1 1

Nota: Este ltimo teorema nos permite muchas veces acortar sensiblemente los tanteos;
veamos un ejemplo.
Hallar dos naturales a y b sabiendo que ab=9900 y D(a,b)=30

D a b
a a
b b
( , ) =
=
=
30
30
30
Sustituyendo tenemos : 11 b a 9900 b 30 a 30 = =

obsrvese que es mucho ms cmodo tantear dos nmeros cuyo producto sea 11 y sean
primos entre s ; que dos nmeros cuyo producto sea 9900 y su mximo comn divisor 30.

72
a b a=30a b=30b
1 11 30 330
11 1 330 30

Nota: Yendo a otra situacin. Sabemos que si un nmero divide a otro divide a cualquiera de sus
multiplos; si c/b entonces c/ab. Es cierto el recproco? Si un nmero divide a un producto divide
necesariamente a uno de los factores?

Teorema de Euclides

c ab
D a c
c b
/
( , )
/
=

1

Dem: D(a,c)=! = D ab cb b ( , )

b / c ) cb , ab ( D / c
definicin por cb / c
hiptesis por ab / c

Teorema

c a a a a
D c a D c a D c a
c a
n n
n
n
/ .......
( , ) ( , ) ......... ( , )
/
1 2 1
1 2 1
1
= = = =

Puede demostrarse por induccin completa; a cargo del lector.

Mnimo comn mltiplo

Siendo aN * anotamos m(a) al conjunto de sus mltiplos no nulos; ms precisamente:
{ }
m a na n N ( ) ; * =

Parecera razonable definir mnimo comn mltiplo de a y b como el mn m a m b ( ) ( ) . Para
ello tenemos que demostrar previamente que dicho mnimo existe.

Teorema

a b N min m a m b , * ( ) ( )

Dem

i m a m b N por definicion
ii m a m b pues ab m a m b
) ( ) ( )
) ( ) ( ) ( ) ( )

Entonces por P.B.O. min m a m b ( ) ( )

Definicin
a b N , *. Llamamos mnimo comn mltiplo de a y b (anotamos m(a,b) )

m a b min m a m b ( , ) ( ) ( ) =

Veremos a continuacin un teorema que nos vincula el mnimo comn mltiplo con el mximo
comun divisor.

lgebra I

73
Teorema

m(a,b).D(a,b)=ab con a b N , *

Dem: Intentaremos escribir m a m b ( ) ( ) de forma que pueda hallarse su mnimo; para ello
buscamos una condicin necesaria y suficiente para que x m a m b ( ) ( ) .

Si x m a m b
x m a k N x ka
x m b h N x hb
ka hb
=
=
= ( ) ( )
( ) *;
( ) *;

Por otra parte si D(a,b)=D
=
=
=
a Da
b Db
con D a b ( , ) 1
Sustituyendo tenemos

kDa hDb ka hb = = entonces = = a hb como D a b por Euclides a h t N h ta / ( , ) / *; 1

Adems x=hb = = = x ta b como b Db x ta b D

Probamos entonces que: = x m a m b x ta b D ( ) ( ) . Demostremos ahora que tambin es cierto
el recproco.

=
=
=
x N x ta b D
x ta b x m b
x tab x m a
x m a m b ;
( )
( )
( ) ( )

Por lo tanto: = x N tal que x ta b D x m a m b * ( ) ( )

De ambas proposiciones subrayadas podemos afirmar que:
{ } m a m b x N x ta b D t N ( ) ( ) ; ; * = =

El mnimo del conjunto se da para t=1 Entonces: m a b a b D ( , ) = con D=D(a,b) multiplicando
ambos miembros por D tenemos
m(a,b)D(a,b)=ab

Ejercicios Probar: 1) D a b D a b
n
( , ) ( . ) = = 1 1
2) D a b D a b
p n
( , ) ( , ) = = 1 1

3 1 1
4 1 1
5
6
7
8
) ( , ) ( , )
) ( , ) ( , )
) ( , ) ( , )
) ( , ) ( , ) ( *)
)
/ /
( , )
,
) ( , ) ( , )
D a b D a b b
D a b D a b b
D a b D D a b D
m a b m m ax bx mx x N
Si x a x b
m a b m
m
a
x
b
x
m
x
m a b m m a b m
n n n
n n n
= + =
= =
= =
= =
=
= =

74
Nmeros primos y compuestos

Definicin
a N a a ; 0 1 Decimos que a es primo
{ }
= d a a ( ) , 1 . Si a no es primo lo
demominamos compuesto

Obs:
Como todos los naturales no nulos aceptan a 1 y si mismos como divisores podemos decir
que un nmero es primo si y solo si acepta dos divisores.
Mediante esta definicin los nmeros naturales quedan clasificados en primos,compuestos,
0 y 1.
Porqu 0 y 1 no son ni primos ni compuestos? Porqu los naturales distintos de 0 y de 1
que no son primos se llaman compuestos y no simplemente no primos?

Teorema
El menor de los divisores de un nmero compuesto distinto de 1 es primo.

Dem:
Consideramos a
{ } ( )
= N a d min d a *; ( ) 1 1 Debemos probar que d es primo.
Obsrvese que d existe pues
{ } d a ( ) 1 es un conjunto de naturales no vaco.
Intentaremos una demostracin por absurdo; suponemos que d no es primo, como no es ni 0 ni
1 entonces es compuesto aceptando entonces un divisor distinto de 1 y de d.
{ } d N d d d tal que d d como d a d a d d a *, , / / / ( ) 1 1 . Pero < d d y d d d d /
Encontramos pues un elemento del conjunto menor que el mnimo lo que genera el abs.

Teorema
El conjunto de los nmeros primos no tiene mximo

Dem:

Sea H el conjunto de todos los nmeros primos; queremos probar que H no tiene mximo.
Lo cual haremos por absurdo.

Suponemos en consecuencia que existe M=mxH. Consideramos ahora P=2.3.5......M+1 ( el
producto de todos los nmeros primos ms 1)

P>M=mxH P H como adems P 0 1 y P P es compuesto Aplicando ahora el teorema
inmediato anterior
{ } [ ]
d min d P = ( ) 1 es primo; pero por la definicin dada de P, este dividido
cualquier nmero primo da resto 1. Generndose as la contradiccin buscada.

Teorema Euclides para primos

b / p
a / p
primo p
ab / p
.

lgebra I

75
Dem:

Si p/a el teorema est demostrado.
Si p a / D(a,p)=1 pues p es primo; como por hiptesis p/ab aplicando Euclides tenemos que
p/b.

Teorema

n a 1 de i algn para a / p
primo p
a ....... a a / p
i
n 2 1

Demostracin por I.C. a cargo del lector.

Definicin
Consideramos a un nmero compuesto. Si a = p p p con p primo
n i 1 2
...........
decimos que a admite una descomposicin en producto de factores primos
(D.P.F.P.)

Teorema
a N ; a compuesto

1
2
) . . . :
) . . . .
a admite una D P F P
Dicha D P F P es unica

Dem 1):
a es compuesto
{ } ( )
= = p min d a siendo p primo a p d
1 1 1 1
1 ( )

Si d
1
es primo entonces p d
1 1
es D.P.F.P. de a
Si d
1
es compuesto
{ } ( )
= p min d d siendo p primo
2 1 2
1 ( ) = d p d
1 2 2

= a p p d
1 2 2

Si d
2
es primo entonces p p d
1 2 2
es la D.P.F.P. de a
Si d
2
es compuesto ....................................................................
.................................................................................................
.................................................................................................

El proceso continua hasta que llegamos a un cociente d
n
primo; si este mecanismo de divisiones
sucesivas es siempre finito nos asegurariamos de la existencia de la D.F.
Probemos entonces que siempre llegamos a un d
n
primo.
Sea H el conjunto de los d
i
, H N H d H d minH d
n n
= , ( )
1
primo pues si
si d
n
fuese compuesto
{ } ( )
= =
+ + + +
p min d d con p primo d p d
n n n n n n 1 1 1 1
1 ( ) d H
n+

1
y adems
d d minH
n n +
< =
1
lo cual es contradictorio; en consecuencia es proceso descrito
es finito y nos conduce en todos los casos a la D.F. de a.

Dem 2) Unicidad .
a p p p con p primo i de a n p p p
a q q q con q primo i de a m q q q
n i n
m i m
=
=
1 2 1 2
1 2 1 2
1
1
......... ........
......... ........

Queremos demostrar que n m y p q i de a n
i i
= = 1 . Igualando nos queda
76

=
n a 1 de k algn para p / q primo q como p .... p p / q
m a 1 de j algn para q / p primo p como q .... q q / p
q .......... q q p ........ p p
k 1 1 n 2 1 1
j 1 1 m 2 1 1
m 2 1 n 2 1

=
=
p q q
q p p
j
k
1 1
1 1
Entonces p q
1 1
= simplificando tenemos p p q q
n m 2 2
...... ...... =

Reiterando el razonamiento ) m n si ( q p , .......... .......... , q p , q p
n n 3 3 2 2
= = =
Si n>m despus de simplificar nos queda q q q q q q
n n m n n m + + + +
= = = = =
1 2 1 2
1 1 ....... ........
lo que contradeca que q
i
es primo; por lo tanto n=m.

Ejercicios:
1) Si a=p p p con p primo
n i 1 2

.........
Probar: x/a = x p p p con i de a n
n i i 1 2
0 1

.........

2) Si a p p p y b p p p con p primo
n n i
= =
1 2 1 2

...... ......
Probar:
{ }
D a b p p p siendo min
n i i i
( , ) ...... , = =
1 2

{ }
m a b p p p siendo max
n i i i
( , ) ........ , = =
1 2

3)Utilizando la D.P.F.P de un nmero escribir todos sus divisores; describir
un mtodo prctico para obtener todos sus divisores.

4) Deducir una frmula que permita calcular la cantidad de divisores de un
nmero dado.

5) Probar que si a=p p p con p primo
n i 1 2

........ los divisores de a son los
sumandos que se obtienen al desarrollar el producto:
P p p p p p p p p p
n n n
= + + + + + + + + + ( .... )( .... ).........( .... )
1
0
1
1
1 2
0
2
1
2
0 1

6) Utilizando 5) probar que el nmero de divisores de a ( ( )) a es:
( ) ( )( )......( ) a
n
= + + +
1 2
1 1 1
y que la suma de todas ellas ( S
a
) es:

S
p
p
p
p
p
p
a
n
n
=

+ + +
1
1
1
2
1
2
1
1
1
1
1
1
1

. .....................


I ) Completar de todas las formas posibles los siguientes esquemas de divisiones enteras

i) 9 ii) a a<200 iii) 60 iv) a 17 a>200
13 35 4 12 q q

I I ) En la divisin a b , r es el mayor posible y a+b=341 Hallar a,b y r.
r 16

lgebra I

77

I I I ) Hallar a sabiendo que a 37
q
2
q

I V) Hallar a y b sabiendo que: a 15 , b 12 , a+b=420
q q-8

V) Hallar todas las ternas posibles de naturales (a,b,c) tales que: a b y a+7 15
12 c b c

VI ) Completar los siguientes esquemas de algoritmo de Euclides

3
3 1
0

1 2 3
75
0

VI I ) Hallar dos naturales a y b sabiendo que a+b=360 y D(a,b)=30

VI I I ) Hallar dos naturales a y b sabiendo que a,b=9900 y D(a,b)=30

I X) Hallar a y b naturales sabiendo que: a-b=48 , 88
) , (
=
+
b a D
b a

X) Hallar los naturales a y b sabiendo que: 90
) , (
) , (
, 9000 ) , ( ). , ( = =
b a D
b a m
b a D b a m y adems a+b<200

XI ) dem: sabiendo que
48
169
4
) (
, 192 .
2
=
+
=
mD
D m
b a siendo ) , ( b a m m= y ). , ( b a D D=

XI I ) dem. sabiendo que: 29 , 36 ) , (
2
2 2
2 2 2
=
= + +
D
b a
a b ab a D siendo ) , ( b a D D=

XI I I ) dem. sabiendo que: 4620 ) , ( 6399
2 2
= = b a m b a

XIV) dem sabiendo que: b a b a m > = , 504 ) , ( y a b
20

XV) Se sabe que:
= + 9 8 11 b a ,
= + 9 4 3 b a
i) Probar que:

= = 9 9 b y a
ii) Si adems , 9 ) , ( = b a D a b , a=2b+135. Calcular a y b.
27 q

78
XVI ) Sabiendo que: ) , ( 3 ) , ( c a D c b D = y ) , ( 2 ) , ( c b m c a m =
i) Probar que:
= 2 a y
= 3 b
ii) Demostrar que:
__ __
3 3
162 ) 9 )( (

= b b a a
iii) Si 1 ) , ( = b a D calcular: ) , ( c b D y ). , ( c a D

XVI I ) Determinar un nmero natural n compuesto de los factores primos 2,5 y 7 sabiendo que 5n
tiene 8 divisores mas que n, 7n tiene 12 divisores mas que n y 8n tiene 18 divisores mas que n.

XVI I I ) Hallar
c b a
x 5 3 2 = sabiendo que
2
x
tiene 30 divisores menos que x,
3
x
tiene 35 divisores
menos que x y
5
x
tiene 42 divisores menos que x.

XI X) Determinar el nmero mas pequeo que admite 15 divisores.

XX) i) Probar que si mtiene un nmero impar de divisores entonces m n N n =
2
; (o sea que mes
un cuadrado perfecto.
ii) Hallar N m sabiendo que tiene 9 divisores y que ; 39 1 p m = p es primo.

XXI ) Determinar todas las ternas de nmeros naturales ) , , ( c b a que verifican: , 5 . 3 ) , (
3
= b a D
7 . 5 . 3 . 2 ) , (
4
= c b m y 13 . 7 . 5 . 3 . 2 .
5
= c a

XXI I ) Hallar
p q
q p n N n . ; = con p y q primos q p sabiendo que en nmero de divisores de
n es 2p.q.

XXI I I ) i) Hallar b a, y N n sabiendo que:
2
3
2 2
21
, 21 ) , ( , 1
n
b a bn an D n = = y 21 = b a
ii) Sea

a N . 2 = y

5 . '
1 +
= b N Hallar N y N sabiendo que 5N tiene 20 divisores mas
que
2
' N
y que
' N
N
tiene dos divisores.
iii) Hallar todos los naturales h sabiendo que: 1 ) 7 , 4 ( 7 4
2
= + = +

h D h h y
4
' ) 70 , ( N h m =

XXI V) i) Qu condicin deben cumplir los nmeros naturales a para que tengan 12 divisores y
? 15 ) 225 , ( = a D
ii) Hallar a para que cumpla adems que la suma de sus divisores es 168.
iii) Para el valor de a hallado en ii) probar que:
= + a n n n 6 5
2 5

XXV) Probar :
= = + + + 2 1 ) ) 2 ( , ( b N n b n a nb a D y 1 ) , ( = b a D

XXVI ) i) Hallar a sabiendo que: 5 ) 75 , ( = a D y 150 ) 75 , ( = a m
ii) Para a hallado probar que:
_ _
1
99 1

+
= + a a a
n n

lgebra I

79

XXVI I ) Se realizan las divisiones enteras de un natural n entre dos naturales consecutivos p y p+1
Demostrar que la condicin necesaria y suficiente para que los cocientes sean iguales es
que el cociente de la primera divisin sea menor o igual que el resto de la primera
divisin.

XXVI I I ) Sean a,b y c nmeros naturales tales que:
2 3 5 2 3
7 . 3 . 2 ) , ( , 3 . 2 ) , ( = = c b m b a D y 7 . 5 . 3 . 2 ) , (
2 5
= c a m
i) Probar: a c b c / 5 , / 7 , / 7 , / 7 . 2
2 2 5
/// y . / 3
2
b
ii) Si adems se sabe que: 48 ) ( , 30 ) ( = = b a y 36 ) ( = c . Hallar a,b y c.

XXI X) a,b y c son tres nmeros naturales que cumplen:
2 3 2
3 ) , , ( , 3 . 2 ) , ( = = c b a D b a D
32 ) ( , / 5 , 7 . 5 . 3 . 2 ) , , (
4 3
= = b b c b a m y . 9 ) ( = c
Determinar a,b y c justificando el procedimiento.

XXX) i) Probar: ) , ( )) , ( , ( b a D b a m b a D = +
ii) Hallar dos naturales a y b para que: 630 ) , ( = b a m y 231 = + b a

XXXI ) i) Se sabe que
2 4 7
5 . 3 . 2 . , ) , ( ) , ( , ) , ( ) , ( = = = d c d c m b a m d c D b a D y 7 ) ( = a
Hallar a y b.
ii) Hallar todas las parejas (c,d) sabiendo adems que
_ _
25
= c

80
DI VI SI BI LI DAD EN (Z,+,,)

Introduccin

Pretendemos en esta seccin extender varios de los conceptos vistos bajo este mismo ttulo
en la estructura de los naturales ahora a los enteros. As como tambin introducir otros nuevos
estrechamente vinculados (Congruencias, clases residuales, ecuaciones diofnticas, etc.)

Por lo dicho parece razonable comenzar por definir divisin entera entre nmeros enteros.
Una posibilidad puede ser tomar textualmente la definicin vista para los naturales. O sea:

<
+ =
b r
r bq a
q r
b a
Pero tal opcin nos hara perder la unicidad del cociente y del resto, ya
que:

con esta definicin 14 3 pero tambin 14 3 Como otras infinitas posibilidades .
2 4 -1 5

Este inconveniente lo podemos subsanar exigiendo que el resto no sea negativo. En otras palabras
nuestro proyecto de definicin es:

<
+ =
b r 0
r bq a
q r
b a
(Estamos suponiendo que
+
Z b )

Antes de asumir tal proyecto como definicin debemos demostrar el siguiente:

Teorema

>

0 b
Z b , a
) H
< + =
nicos son r y q ) 2
b r 0 r bq a ; Z r , q ) 1
) T

Dem1):

Consideramos { } Z x con bx a m ; N m M = = Intentaremos probar que M tiene mnimo y
que dicho mnimo es el resto que andamos buscando. Como M es un conjunto de naturales, para
demostrar que tiene mnimo es mas que razonable pensar en buena ordenacin. Con tal objetivo
debemos verificar que:

i) N M Lo cual es cierto por la definicin dada del conjunto M.
ii) M Para demostrar esta proposicin discutiremos dos casos.
Si a 0 Tomando x=0 tenemos que M a 0 b a bx a m = = =
Si a <0 0 a > como b>0 aplicando Arqumedes tenemos que
a nb a nb ; N n < > Llamando n x = entonces xb<a
M bx a N bx a

Aplicando buena ordenacin de
) ii
) i
mn M al que denominamos alevosamente r.

lgebra I

81
Probemos que es el r de la tesis. r bq a bq a r ; Z q N r M r minM r + = = =
Falta demostrar b r 0 < . Como 0 r N r ; por lo tanto lo que nos falta probar es que r < b lo
que haremos por absurdo.
Supongamos que M q ) 1 b ( a k N q ) 1 b ( a q ) 1 b ( bq b a b bq a b r + = + + = +
Pero minM bq a r k = = < Lo cual es contradictorio. Por lo tanto r < b .

La demostracin de la unicidad queda a cargo del lector. Tambin puede demostrarse la existencia
utilizando la divisin entera entre naturales, discutiendo si a 0 si a<0.

Definicin

Sean 0 b ; Z b , a > Realizar la divisin entera de a entre b es encontrar Z r , q tal que:
b r 0 r bq a < + =

Nota:

Puede definirse la divisin entera para cualquier entero b no nulo ( no solamente para los positivos )
sustituyendo la segunda condicin por: b r 0 <

En caso de que r=0 la divisin se dice exacta, tambin que a es divisible entre b, que b divide a,
que a es mltiplo de b. (Anotamos b/a
= b a )

Independizando la definicin de divisores (mltiplos) de la divisin entera tenemos:
b/a ( bq a ; Z q ) b a = =

El lector habr observado que no solamente utilizamos la misma notacin sino tambin la misma
definicin que en naturales. De manera anloga se demuestra que:

Z , b a / x b / x a / x +

En ) ,, , N ( + vimos que: b a a / b b / a = Ocurrir lo mismo en ) ,, , Z ( + ?

Teorema

b a a / b b / a
Z b , a
=

Dem. ) (

b a
N b , a Z b , a como
a / b k . b a bk a ; Z k a / b
b / a h . a b ah b ; Z h b / a
=

= =
= =

) (

=
=
= =
b / a a ). 1 ( b
a / b b ). 1 ( a
b a b a

82

Definicin

*
Z b , a Decimos que a y b son asociados a / b b / a

Como consecuencia del teorema anterior los asociados de a son nicamente el propio a y su
opuesto a . En los naturales el nico asociado de a es el propio a.

Mximo comn divisor mnimo comn mltiplo

Antes de comenzar con el tratamiento de los temas del ttulo necesitamos por razones
tcnicas recordar algunos conceptos de estructuras algebraicas, mas precisamente referidos a los
anillos.

Definicin

Consideramos: ,) , A ( + un anillo conmutativo y con elemento unidad e I ; A I
Decimos que I es un ideal en

+
+
A a , I x I x . a ) 2
I x , x I x x ) 1
,) , A (
2 1 2 1

Ej: El conjunto de los enteros pares es un ideal de Z. El conjunto de los impares, es un ideal de Z?

Brindar otro ejemplo de ideal en Z.

Nota:

Fcilmente el lector comprobar que siendo ,) , A ( + un anillo conmutativo y con unidad, se
cumple

1) { } 0 y A son ideales en ,) , A ( + cualesquiera que sea el anillo de referencia. Por ese motivo
podemos denominarlos ideales triviales en A.

2) Si I x I x Siendo I un ideal en ,) , A ( +

3) Todo ideal contiene al O.

4) Si A I I 1 =

5) Sea: { }
j
I una familia de ideales en A
j
I es un ideal en A

6) Consideramos { }
p 2 1
a ,......., a , a S = un subconjunto finito de A. Denominamos I(S) al
conjunto formado por todas las combinaciones lineales que pueden realizarse con los elementos de
S.

O sea:
= =

=
A con a x ; A x ) S ( I
i
p
1 i
i i

lgebra I

83

Probar que I(S) es un ideal en A al que llamaremos ideal generado por S.
Si un ideal est generado por un conjunto unitario decimos que es principal. As por
ejemplo el ideal de los pares es principal pues est generado por { } 2 . Si un ideal esta generado por
{ } a anotamos I(a) en lugar de { } ( ) a I con el fin de simplificar la notacin.

Teorema

En ) ,, , Z ( + todo ideal es principal.

Mas precisamente: I un ideal en Z { } 0 I = I=I(c) siendo c=mn
+
Z I

Dem.

{ } 0 I Si = Se cumple la tesis.

{ } 0 I Si Comencemos por demostrar que existe el mnimo de
+
Z I para lo cual es mas
que previsible que utilizaremos el principio de buena ordenacin.

1) N Z I N Z Z I N Z I
+ + + +

2)
+
Z I Como { } 0 a ; I a 0 I Adems I es un ideal
I a
Por otra parte al ser 0 a a a es positivo.
En consecuencia a a
+
Z I

De 1) y 2) por el P.B.O. podemos afirmar que
+
Z I min al que denominamos c.

Probemos ahora que ) c ( I M = , para lo cual demostraremos:

) c ( I x I x ) ii
I x ) c ( I x ) i

i) Z a con c . a x ) c ( I x = . Como
+
= Z I min c I c que es un ideal Z a I ac

ii) I x debemos probar que ) c ( I x o sea que
= c x . Para ello realizamos la divisin de x

entre c demostrando que el resto es nulo.

<
+ =
c r 0
r cq x
q r
c x

Si
+
= Z cq x r 0 r Por otra parte como ) ) i por ( I cq , I x e I es un ideal
I r

Por lo tanto
+
Z I r pero
+
= < Z I min c r Lo cual es contradictorio.
Entonces ) c ( I x cq x 0 r = =

84

Nota

En ) ,, , N ( + definimos ) b ( d ) a ( d max ) b , a ( D =
Y luego demostramos

=
D / x b / x a / x ; N x ) ii
b / D a / D ) i
D ) b , a ( D
En otras palabras definimos el mximo comn divisor como el mximo de los divisores
comunes y luego demostramos que dicha proposicin es equivalente a decir que el mximo comn
divisor es un divisor comn que es dividido por cualquier otro divisor comn.

Obsrvese que la proposicin tomada como definicin nos obliga a trabajar en una
estructura ordenada (para poder hablar de mximo de un conjunto). En cambio lo segunda
proposicin solamente hace referencia a divisibilidad.

En ) ,, , Z ( + nos es posible en principio considerar cualquiera de las dos proposiciones como
posibles definiciones de mximo comn divisor. Optaremos por la segunda para allanar el camino
cuando el tema sea tratado en polinomios; ya que ah no dispondremos de una relacin de orden que
nos permita hablar de mximo de un conjunto.

Por lo dicho pasamos al siguiente teorema.

Teorema

D / x b / x a / x ; Z x ) ii
b / D a / D ) i
; Z D
0 b a
Z b , a
2 2

Dem.

Consideramos I(a,b) (el ideal generado por { } b , a ) { } Z s , p con sb pa x ; Z x ) b , a ( I + = =

Como en Z todo ideal es principal
+
= = Z ) b , a ( I min d con ) d ( I ) b , a ( I Intentemos demostrar que
d es el D de la tesis. Para lo cual debemos probar:

i) b / d a / d
ii) d / x b / x a / x ; Z x

i) ) d ( I ) b , a ( I a = (basta tomar p=1 y s=0 ) a / d d a =

Anlogamente se demuestra que b / d

ii) sb pa d que tal Z s , p ) b , a ( I ) d ( I d + = =
Por otra parte d / x sb pa / x b / x a / x ; Z x +

Definicin

Consideramos 0 b a ; Z b , a
2 2
+ Decimos que D es mximo comn divisor de a y b
si y solo si:

i) b / D a / D
ii) D / x b / x a / x ; Z x
lgebra I

85

El teorema inmediato anterior nos asegura la existencia de un mximo comn divisor entre
dos enteros no simultneamente nulos. Pero nada nos dice acerca de cuantos mximos aceptan.

Si D Z es mximo comn divisor de a y b
) 2 ( D / x b / x a / x ; Z x
) 1 ( b / D a / D

Si D Z es mximo comn divisor de a y b
) 4 ( ' D / x b / x a / x ; Z x
) 3 ( b / ' D a / ' D

De (1) y (4) se deduce que ' D / D Y a partir de (2) y (3) D / ' D
Por lo tanto si a y b admiten dos mximos comn divisor D y D estos son asociados.
Es muy sencillo de probar que :

b y a de . D . C . M es ' D
D a asociado ' D
b y a de D . C . M es D

En consecuencia dos enteros no simultneamente nulos aceptan dos mximos comn divisor
asociados entre s. As por ejemplo los M.C.D. de 6 y -9 son 3 y 3.

Nota:

Si 0 b a ; Z b , a
2 2
+ probamos que tienen dos y solo dos M.C.D. D y D asociados entre s.
Adems por el teorema visto inmediatamente antes de la definicin de
M.C.D. = ) D ( I ) b , a ( I sb pa D ; Z s , p ) b , a ( I D + = . Como D= D , D tambin es C.L. de a y
de b.

En definitiva podemos afirmar que los mximos comn divisor de dos enteros a y b siempre
pueden escribirse como combinacin lineal de a y b.

As como dimos una definicin de M.C.D. independiente de la relacin < intentaremos
hacer lo propio respecto al m.c.m.

Nuestro proyecto es: m es m.c.m. de a y b
= = =
= =

m x b x a x ; Z x ) 2
b m a m ) 1

Por lo dicho vamos al siguiente teorema.

Teorema
H)
*
Z b , a T)
= = =
= =

m x b x a x ; Z x ) ii
b m a m ) i
que tal Z m

86
Dem.
Consideramos
= = =

b x a x ; Z x H Es inmediato verificar que H es un ideal en Z.
Por lo tanto H es principal; en otras palabras ) m ( I H ; Z m = Probemos ahora que m cumple
las proposiciones i) y ii) de la tesis.
i)

= = = b m a m H ) m ( I m
ii)

= = = = m x ) m ( I H x b x a x ; Z x

Definicin

Sean a y b dos enteros no nulos. Decimos que m ) Z m ( es mnimo comn mltiplo de a y
b si y solo si cumple:

i)

= = b m a m
ii)

= = = m x b x a x ; Z x

Dados dos enteros a y b no nulos el teorema inmediato anterior nos asegura la existencia de
al menos un mnimo comn mltiplo. Nada nos dice acerca de cuantos hay.

Probar que si a y b son dos enteros no nulos aceptan dos y solo dos m.c.m. y que adems son
asociados entre si.

Definicin

1) Z b , a decimos que a y b son primos entre si 1 es M.C.D. de a y b.
2) 1 p , 0 p Z p decimos que p es primo { } p , p , 1 , 1 ) p ( d =

Teorema de Euclides

b / c
si entre primos c y a
b . a / c

Dem.

Como a y c son primos entre si 1 es M.C.D. de a y c sc pa 1 ; Z s , p + = multiplicando
ambos miembros por b tenemos que: sbc pba b + = Por hiptesis c/ab y por definicin c/c ; entonces
scb pba / c + y como pba+sbc=b b / c

Corolario
1) c / b . a
c / b c / a
si entre primos b y a

2)
b / p a / p
ab / p
primo p Z p

lgebra I

87

Ejercicios

Demostrar:
1-
r y b de . D . C . M es D
b y a de . D . C . M es D
q r
b a

2- Que el procedimiento identificado en divisibilidad en ) ,, , N ( + como algoritmo
de Euclides tambin es vlido en ) ,, , Z ( +

3- . D . C . M es D ) b ( d ) a ( d max D = de a y b.
Es cierto el recproco? Ocurre algo similar con el m.c.m.?

4- D es M.C.D de a y b Dx es M.C.D. de ax y bx

5-
x
b
y
x
a
de . D . C . M es
x
D
b / x
a / x

6- D es M.C.D. de a y b
=
=
si entre primos ' b y ' a

' Db b
' Da a

7- D es M.C.D. de a y b

8- m es m.c.m. de a y b
b y a de . m . c . m es m
b y a de . m . c . m es m

9- Si D es M.C.D. de a ,b y m es m.c.m. de a,b b . a D . m =

10- Todo entero compuesto puede expresarse como el producto de ) 1 ( por factores
primos positivos. Esta expresin es nica, salvo el orden en que los factores se consideren.
(sic. lgebra moderna- Birkhoff Mc. Lane)

88

ANOTACI ONES

5Inicio
lgebra I
89
3Para_volver_a_Men
CONGRUENCI AS

I ntroduccin

Que fecha tienen los martes del presente ao? Y los viernes?
Si el ao de referencia es 1998, la respuesta a la primera pregunta es: 1, 8 , 15 , 22 y 29.
Por otra parte los viernes de setiembre de 1998 son: 4, 11, 18 y 25.

Qu vinculacin tienen entre si estos nmeros?
Observemos que la diferencia entre dos cualesquiera de ellos es mltiplo de 7. Tambin
cualquiera de estos nmeros dividido 7 da resto 1 (nos estamos refiriendo a: 1, 8 , 15 ,
22 , 29 ) Algo similar ocurre con la fecha de los viernes.

Estos cinco nmeros tienen algo de igual, todos ellos representan un martes de
Setiembre de 1998. Formalicemos esta idea.

Definicin

Consideramos
+
Z m y Z b , a . Decimos que a es congruente con b mdulo m
si y solo si su diferencia el mltiplo de m. (Anotamos ) m ( b a )

= m b a ) m ( b a

Con esta definicin 1 , 8 , 15 , 22 y 29 son congruentes dos a dos mdulo 7. Tambin
observamos que cualquiera de estos nmeros dividido entre 7 da el mismo resto.
Probemos que esto no es una casualidad.

Teorema

+
Z m Z b , a
' q ' r
m b
q r
m a
Entonces ' r r ) m ( b a =

Dem
) ( Por hiptesis mh b a mh b a ; Z h m b a ) m ( b a + = = =

Por otra parte
<
+ =
m ' r 0
' r ' mq b
' q ' r
m b
Sustituyendo en mh b a + = nos queda
' r ) h ' q ( m mh ' r ' mq a + + = + + = como adems
h ' q ' r
m a
m ' r 0
+
<
' r r =

) ( Ahora partimos de que:
) m ( b a m b a ) ' q q ( m b a
r ' mq b
' q r
m b
r mq a
q r
m a
= =
+ =
+ =

Al decir que 1 , 8 , 15 , 22 y 29 tienen algo de igual estamos insinuando la existencia
de una relacin de equivalencia, incluso la propia notacin lo sugiere. Veamos que
efectivamente es as.

90
Teorema
La congruencia es una relacin de equivalencia

H) Consideramos
+
Z m . Ahora definimos ) m ( y x xRy ; Z Z : R
T) R es una relacin de equivalencia.

Dem.
Idntica Z x xRx Z x xRx Z x ) m ( x x Z x m 0 x x = =

Recproca Si yRx xRy = = =

m ) y x ( x y m y x ) m ( y x xRy
yRx ) m ( x y
Transitiva xRz
yRz
xRy

xRz ) m ( z x m z x ) z y ( ) y x (
m z y ) m ( z y yRz
m y x ) m ( y x xRy
= = +
=
=

Antes de analizar las consecuencias que trae el que la congruencia sea una relacin de
equivalencia veamos algunas otras propiedades que se desprenden mas o menos
directamente de la definicin.

Teorema

+
Z m y Z ' b , ' a , b , a

) mh ( bh ah
Z h
) m ( b a ) 1

si entre primos m y a
) m ( b a ) 2
b y m primos entre si

) m ( ' b ' a b a
) m ( ' b b
) m ( ' a a ) 3
+ +

) m ( h b h a
Z h
) m ( b a ) 4
+ +

) m ( ' b ' a ab
) m ( ' b b
) m ( ' a a ) 5

) m ( bh ah
Z h
) m ( b a ) 6

7) Si N n ) m ( b a ) m ( b a
n n

8) Sea
0 1
1 n
1 n
n
n
c x c ........ x c x c ) x ( f ; Z Z : f + + + =

Si ) m ( ) b ( f ) a ( f ) m ( b a

lgebra I
91
) m ( b a
si entre primos m y h
) m ( bh ah ) 9

) m ( ' bh ' ah
D ' m m ' Dh h
m y h de . D . C . M D
) m ( bh ah ) 10

= =

Clases residuales

Anteriormente vimos que la congruencia es una relacin de equivalencia en Z.
Esto nos trae como consecuencia el establecimiento de una particin en clases de
equivalencia sobre dicho conjunto.

A manera de ejemplo trabajemos con la congruencia mdulo 2. Si anotamos [ ] a
a la clase de equivalencia de a (
2
Z y ) Z a al conjunto cociente, tenemos:

[ ] { }
= = =

2 x ; Z x ) 2 ( 0 x ; Z x 0
[ ] { }
+ = =
= = =

1 2 x ; Z x 2 1 x ; Z x ) 2 ( 1 x ; Z x 1
[ ] { } [ ] 0 2 x ; Z x 2 2 x ; Z x ) 2 ( 2 x ; Z x 2 =
= =
= = =

[ ] { } [ ] 1 1 2 1 2 2 3 2 x ; Z x 2 3 x ; Z x ) 2 ( 3 x ; Z x 3 =
+ = + + = + = =
= = =

Parece que solo hay dos clases de equivalencia distintas; [ ] [ ] 1 y 0 . Probemos que
efectivamente es as.

Z a
= = 2 a q 2 a
q 0
2 a
Si [ ] [ ] 0 a ) 2 ( 0 a =

Si [ ] [ ] 1 a ) 2 ( 1 a 2 1 a 1 q 2 a
q 1
2 a
= = + =

Por lo tanto [ ] [ ] [ ] [ ] 1 a 0 a Z a = = y como [ ] [ ] 1 0 ) 2 ( 1 0 / En consecuencia
[ ] [ ] { } 1 , 0 Z
2
= . ( )
R
Z
Z
2
=

Observemos que [ ] 0 es el conjunto de los enteros pares y [ ] 1 el de los impares.
La particin inducida por la congruencia mdulo 2 es la clasificacin de los enteros en
pares e impares. Clasificacin que se maneja desde la mas remota antigedad, como
tambin las siguientes reglas de clculo.

par +par = par par + impar = impar impar + impar = par par x par =par par
x impar = par,impar x impar = impar.

Esto podemos formalizarlo definiendo en
2
Z dos operaciones que anotaremos
y definidas por:

92

[ ] [ ]
[ ] [ ] [ ]
[ ] [ ] [ ]
[ ] [ ]
[ ] [ ] [ ]
[ ] [ ] [ ] 1 0 1
0 0 0
1 0
0 1 1
1 0 0
1 0

En general si utilizamos la congruencia mdulo m ) Z m (
+
inducimos en Z una
particin en m clases de equivalencia, llamadas clases residuales. Siendo
[ ] [ ] [ ] { } 1 m , ........ , 1 , 0 Z
m
= ; pues:

[ ] [ ]
<
= = + =

m r 0
r a ) m ( r a m r a r mq a
q r
m a
si Z a
(motivo por el cual se denominan clases residuales)
Adems si [ ] [ ] h k ) m ( h k m h k m h k 0 m k h 0 / < < < <

Ahora en
m
Z definimos y de la siguiente forma:
[ ] [ ] [ ] [ ] [ ] [ ] b . a b a y b a b a = + =

Es inmediato que y son operaciones en
m
Z ; parece entonces razonable
estudiar que tipo de estructura algebraica es ) , , Z (
m
. Antes de hacerlo sugerimos
analizar los casos particulares ) , , Z ( , ) , , Z (
3 2
y ) , , Z (
4
.

El lector habr observado que en todos los casos estamos frente a un anillo
conmutativo y con elemento unidad. Que las dos primeras estructuras son adems
cuerpos; no as
4
Z ya que [ ] 2 no tiene inverso.

Es mas ) , , Z (
4
tiene divisores de 0 (no cumple Hankeliana) pues [ ] [ ] [ ] 0 2 2 =
siendo [ ] 0 el neutro de [ ] [ ] 0 2 y " " .

Teorema

) , , Z (
m
es un anillo conmutativo y con elemento unidad.

Dem:
Asociativa [ ] [ ] ( ) [ ] [ ] [ ] [ ] ( ) [ ] [ ] [ ]
m
Z c , b , a c b a c b a =

[ ] [ ] ( ) [ ] [ ] [ ] [ ]
[ ] [ ] [ ] ( ) [ ] [ ] [ ]
[ ] [ ]

+ + = + + + + + = + +
+ + = + =
+ + = + =
) c b ( a c ) b a ( ) , Z ( de asociativa por ) c b ( a c ) b a (
) c b ( a c b a c b a
c ) b a ( c b a c b a

[ ] [ ] ( ) [ ] [ ] [ ] [ ] ( ) c b a c b a =

Conmutativa [ ] [ ] [ ] [ ] [ ] [ ]
m
Z b , a a b b a =

[ ] [ ] [ ]
[ ] [ ] [ ]
[ ] [ ]
[ ] [ ] [ ] [ ] a b b a
a b b a ) , Z ( de a conmutativ por a b b a
a b a b
b a b a
=
+ = + + + = +
+ =
+ =

lgebra I
93
Neutro [ ] [ ] [ ] [ ] [ ]
m m
Z a a 0 a ; Z 0 =

[ ] [ ] [ ] [ ] a 0 a 0 a = + =

Opuesto [ ] [ ] [ ] [ ] ( ) [ ] 0 a a ; Z a Z a
m m
=

[ ] [ ] [ ] [ ] [ ] [ ] 0 m a m a ; Z a m Z a
m m
= =

Anlogamente se demuestra que es asociativa, conmutativa, distributiva
respecto a y tiene neutro [ ] ). 1 (

Teorema

( ) , , Z
m
es un cuerpo m es primo

Dem. ) ( Por absurdo. Suponemos que m no es primo, al sobrentender que 1 m m es
compuesto
m q . p que tal m q 1 m p 1 con Z q , p = < < < <

Entonces [ ] [ ] [ ] [ ] [ ] [ ] [ ] [ ] [ ] [ ] 0 m q . p q p que tal 0 q 0 p con Z q , p
m
= = =

Por lo tanto hay divisores de 0; en consecuencia ) , , Z (
m
no es cuerpo.
(recordemos que en todo cuerpo hay ausencia de divisores de 0).

) ( Al ser ) , , Z (
m
un anillo conmutativo y con unidad, nos falta por demostrar
que se cumple: [ ] [ ] [ ] [ ] [ ] [ ] [ ] 1 x a ; Z x 0 a ; Z a
m m
=

[ ] [ ] [ ]
a
primo es m como
m a ) m ( 0 a 0 a ; Z a
m

/

y m son primos entre s
= = +

) m ( 1 pa m 1 pa 1 sm pa ; Z s , p m y a de . D . C . M es 1
[ ] [ ] 1 pa =

Por lo tanto [ ] [ ] [ ] [ ] [ ] [ ] [ ] [ ] 1 ap p a ; Z p 0 a ; Z a
m m
= = l.q.q.d.

Ecuaciones en congruencias ecuaciones diofnticas

Resolucin en (Z,+,,) de ax b (m)

Dados 0 m Z m , b , a > , pretendemos hallar { } ) m ( b ax ; Z x S = .
Observemos que si

= = m ax b m b ax ) m ( b ax ; Z x
0 0 0 0
En
consecuencia todo divisor comn de a y de m lo es de b. Por lo tanto si el M.C.D. de a y
m no divide a b S=

Analicemos ahora que ocurre cuando el M.C.D. de a y m si divide a b.
Empecemos por un caso particular; cuando a y m son primos entre s.

94
Si 1 es M.C.D. de a y m sm pa 1 ; Z s , p + = multiplicando a ambos
miembros por b nos queda:
S x ) m ( b ax ; pb x ) m ( b ) pb ( a m smb b ) pb ( a smb pab b
0 0 0
= = = + =

En consecuencia si a y m son primos entre s S Veamos ahora si existen
mas soluciones y en caso afirmativo cuales son.

) m ( b ax S x como ) m ( ax ax ) m ( b ax
0 0

=

s entre primos a y m adems
) x x ( a / m m ax ax
0 0

mt x x mt x x ; Z t ) x x /( m
0 0 0
+ = =

Entonces Z t con mt x x S x
0
+ = .
Basta operar para demostrar que S x Z t con mt x x ; Z x
0
+ =
En consecuencia { } Z t con mt x x ; Z x S s entre primos son m y a si
0
+ = =
siendo
0
x una solucin particular de ) m ( b ax

Por ltimo analicemos que ocurre si a y m no son primos entre s pero el M.C.D.
de a y m divide a b

Si D es M.C.D. de a y m ' m y ' a siendo ' Dm m ' Da a = = primos entre s.

Por otra parte como D/b ' Db b =

Ahora ) ' m ( ' b x ' a ) ' Dm ( ' Db x ' Da ) m ( b ax con a y m primos entre s.
(Observemos que la simplificacin realizada es vlida; en caso de duda sugerimos
revisar las propiedades de la congruencia puestas a consideracin como ejercicio).

Entonces este caso lo reducimos al inmediato anterior, el cual fue resuelto
completamente.

Nota

Si en lugar de resolver ) m ( b ax en (Z,+,) lo hacemos en ) , , Z (
m
puede
demostrarse que en el caso de que a y m sean primos entre s la solucin es nica y si no
lo son pero si D/b siendo D M.C.D. de a y m (D>0); entonces la ecuacin
) m ( b ax tiene exactamente D races en ) , , Z (
m

Ejemplo 1 Resolver en (Z,+,) ) 182 ( 14 x 35

Observemos que D(35,182)=7 y 7/14 por lo tanto la ecuacin tiene solucin no
vaca. Primero que nada comenzamos por simplificar entre 7 quedndonos ) 26 ( 2 x 5

Para resolver esta ltima ecuacin podemos utilizar distintas estrategias; una de
ellas consiste en reiterar en este caso particular el procedimiento realizado en general
para determinar el conjunto solucin. Nos referimos a escribir 1 como C.L. de 5 y 26,
luego multiplicar ambos miembros por 2 y de esa forma determinar una solucin
lgebra I
95
particular. Recordemos que una vez obtenida una solucin particular
0
x el problema
esta resuelto, ya que { } Z t con mt x x ; Z x S
0
+ = = .

Es inmediato que
10 x ) 26 ( 2 ) 10 .( 5 ) 26 .( 2 ) 5 .( 10 2 ) 26 .( 1 ) 5 .( 5 1
0
= + = + = es una solucin
particular { } Z t ; t 26 10 x ; Z x S + = =

Otra posible estrategia consiste en utilizar propiedades de la congruencia con el objetivo
de despejar x

{ } Z t t 26 10 x ; Z x S t 26 10 x ) 26 ( 10 x
) 26 ( 0 x 26 como
) 26 ( 10 x 25 ) 26 ( 2 x 5
+ = = + =

Ejemplo 2 Resolver en (Z,+,) ) 725 ( 101 17 x 243 +

) 725 ( 84 x 243 ) 725 ( 101 17 x 243 + (Qu justifica esta transposicin de
trminos?) Como 243 y725 son primos entre s tenemos la certeza de que la ecuacin
a resolver tiene solucin no vaca. Si queremos resolver esta ltima ecuacin utilizando
la primera de las estrategias descrita en el primer ejemplo debemos escribir 1 como C.L.
de 243 y 725, lo cual no es inmediato como ocurra en el ejemplo anterior. Un
procedimiento sistemtico para tal fin consiste en utilizar el algoritmo de Euclides;
vemoslo.

2 1 59 1
725 243 239 4 3
239 4 3 1

Aplicando la definicin en las distintas divisiones del algoritmo tenemos:

=
= =
= + =
= + =
= + =
= + =
239 ) 239 243 .( 60 1
239 ) 4 .( 60 )) 4 .( 59 239 ( 4 1
3 4 1 1 ) 3 .( 1 4
) 4 .( 59 239 3 3 ) 4 .( 59 239
239 243 4 4 ) 239 .( 1 243
) 243 .( 2 725 239 239 ) 243 .( 2 725

) 725 .( 61 ) 243 .( 182 )) 243 .( 2 725 .( 61 ) 243 .( 60 1
) 243 .( 2 725 239 como
) 239 .( 61 ) 243 .( 60 1
= =
=
=

Tenemos entonces 1=182.(243) - 61.(725) ) 725 ( 84 ) 15288 .( 243 ) 5124 .( 725 ) 15288 .( 243 84 =
15288 x
0
= es una solucin particular. Si queremos una solucin particular mas pequea podemos
proceder como sigue:

) 725 ( 84 ) 15288 .( 243 como

) 725 ( ) 63 .( 243 ) 15288 .( 243
) 725 ( 63 15288
21 63
725 15288

63 x ) 725 ( 84 ) 63 .( 243
1
= tambin es una solucin particular de la ecuacin. Por lo tanto
{ } Z t con t 725 63 x ; Z x S + = =

(No hicimos otra cosa que probar en particular que si
0
x es solucin particular de
) m ( b ax y
1 0 1
x ) m ( x x tambin es solucin particular de la ecuacin)

96
Como seguramente habr observado la estrategia utilizada en este caso particular es
larga y tediosa. Veamos si el segundo procedimiento utilizado en el ejemplo 1 nos
resulta mas conveniente.

) 725 ( 63 x
) 725 ( 45675 x 725 como
) 725 ( 45612 x 724
) 725 ( 252 x 4
) 725 ( 0 x 725 como
) 725 ( 252 x 729 ) 725 ( 84 x 243

{ } Z t t 725 63 x ; Z x S + = =

Ecuaciones diofnticas

Consideramos Z c , b , a ; queremos hallar { } c by ax ; Z ) y , x ( S
2
= + = Lo que
usualmente se denomina resolver en Z la ecuacin ax+by=c.

Observemos que si c by ax ; Z Z ) y , x (
0 0 0 0
= + todo divisor comn de a y b tambin
lo es de c

Por lo tanto si D es M.C.D. de a , b y D no divide a c S=

Analicemos ahora que ocurre cuando D/c. Comencemos por el caso particular de que a
y b sean primos entre s.

Si 1 es M.C.D. de a y b sb pa 1 ; Z s , p + = multiplicando a ambos miembros por c
nos queda: c by ax que tal ) sc y , pc x ( Z ) y , x ( c ) sc .( b ) pc .( a
0 0 0 0
2
0 0
= + = = = +
En consecuencia si a y b son primos entre s S Intentemos hallar todos los
elementos de S.

) y y ( b / a ) y y ( b ) x x .( a 0 ) y y .( b ) x x .( a
c by ax como
c by ax S ) y , x (
0 0 0 0 0
0 0
= = +
= +
= +

Al saber adems que a y b son primos entre s podemos aplicar Euclides llegando a que
y y / a
0
at y y at y y ; Z t
0 0
= = Sustituyendo en ) y y .( b ) x x .( a
0 0
=
nos queda:
bt x x bt x x bat ) x x .( a
0 0 0
+ = = =

Probamos entonces que ) y , x ( con at y y bt x x S ) y , x (
0 0 0 0
= + = una solucin
particular de la ecuacin. Si demostramos la validez de la proposicin recproca
tendramos al conjunto S
S ) y , x ( c by ax
abt by abt ax ) at y ( b ) bt x ( a by ax at y y bt x x ; Z ) y , x (
0 0
0 0 0 0 0 0
= +
= + + = + + = + = + =

Por lo tanto:
{ } ) y , x ( con at y y bt x x ; Z ) y , x ( S s entre primos son b y a Si
0 0 0 0
2
= + = =
ecuacin la de particular solucin una

En caso de que a y b no sean primos entre s pero D/c (D es M.C.D. de a y b) basta
simplificar para reducirlo al caso recin tratado. Pues si D es M.C.D. de a y b
' Db b ' Da a = = con a y b primos entre s, como adems ' Dc c c / D = Entonces:
' c y ' b x ' a ' Dc y ' Db x ' Da c by ax = + = + = +
lgebra I
97

Ejemplo 1 Consideramos: c y 105 x 126 = +
i) Hallar 70 c 60 ; Z c < < para que la ecuacin anterior tenga solucin no vaca.
ii) Para el valor de c hallado resolver la mencionada ecuacin.

i) Para que la ecuacin tenga solucin no vaca es condicin necesaria y suficiente que
el M.C.D. de 126 y 105 (que es 21) debe dividir a c; como adems
63 c 70 c 60 = < <

ii) 3 y 5 x 6 63 y 105 x 126 = + = +

Una posible estrategia para resolver esta ecuacin consiste en hallar una solucin
particular de la mismo escribiendo 1 como C.L. de 6 y 5; luego multiplicar a ambos
miembros por 3. Una vez encontrada una solucin particular basta utilizar las frmulas
recin vistas.

) 3 , 3 ( ) 3 .( 5 ) 3 .( 6 3 5 6 1 + = = es una solucin particular
{ } Z t con t 6 3 y t 5 3 x ; Z ) y , x ( S
2
= + = =

Otra posibilidad es trasformar la ecuacin a resolver en una ecuacin en congruencias.
) 5 ( 3 x 6 5 3 x 6 y 5 3 x 6 3 y 5 x 6 = = = +

t 5 3 x ) 5 ( 3 x
) 5 ( 0 x 5 como
) 5 ( 3 x 6
+ =
sustituyendo en la ecuacin original nos queda:

= + + 3 y 5 ) t 5 3 ( 6 t 6 3 y t 30 15 y 5 3 y 5 t 30 18 = = = + +

Ejemplo 2 Resolver el siguiente sistema:
) 3 ( 1 x 2
) 5 ( 2 x 3

Debemos hallar los enteros que verifican simultneamente ambas congruencias.
Por lo visto anteriormente estamos en condiciones de hallar aquellos nmeros que
verifican cada una de las congruencias independientemente. Hagmoslo y luego
veremos como determinar aquellos enteros que verifican las dos ecuaciones al mismo
tiempo.

(1) t 5 4 x ) 5 ( 4 x
) 5 ( 0 x 5
) 5 ( 4 x 6
) 5 ( 2 x 3 + =

(2) k 3 1 x ) 3 ( 1 x
) 3 ( 0 x 3
) 3 ( 1 x 2
+ =

Como buscamos los enteros x que cumplan ambas congruencias los valores
hallados en (1) y (2) deben ser iguales.

t 5 5 k 3 5 t 5 k 3 k 3 1 t 5 4 = = + = + ) 5 ( 5 k 3 5 5 k 3 =

98
) 5 ( 10 k 5
) 5 ( 10 k 6
) 5 ( 0 k h 5 k = como h 15 1 x k 3 1 x + = + =

Por lo tanto la solucin del sistema es: { } Z h con h 15 1 x ; Z x S + = =

Nota

Tengamos presente cuando resolvemos una ecuacin en congruencias como una
ecuacin diofntica as como un sistema, estamos trabajando con ecuaciones o sistemas
y en consecuencia podemos verificar.

Congruencias de Fermat y de Euler

Teorema
H)

+
s entre primos m y b
m mdulo dos a dos tes incongruen a ,......, a , a
Z m Z c , b , a ,......, a , a
n 2 1
n 2 1

T) c ba , ,......... c ba , c ba
n 2 1
+ + + son incongruentes dos a dos mdulo m

Dem.
Intentaremos hacer una demostracin por absurdo.

Suponemos c ba y c ba
j i
+ + con j i n j 1 n i 1 < < tal que + + ) m ( c ba c ba
j i

hiptesis la contradice cual lo ) m ( a a
m a a ) a a /( m
s entre primos m y b como
) a a ( b / m m ) a a ( b ) c ba ( ) c ba (
j i
j i j i
j i j i j i

=
= = + +

Teorema Congruencia de Fermat

H)
+
primo p
p a
Z p , a
T) ) p ( 1 a
1 p

Dem.

Comencemos por observar que: 1, 2 ,......, p-1 son enteros incongruentes dos a
dos mdulo p (La diferencia entre dos cualesquiera de ellos es distinto de cero y en
valor absoluto menor que p; por lo tanto dicha diferencia no es mltiplo de p)

De la hiptesis se desprende que a y p son primos entre s; estamos pues en
condiciones de aplicar el teorema inmediato anterior llegando a que: a ) 1 p ( , ......... , a 2 , a
son incongruentes dos a dos mdulo p

lgebra I
99
Al haber solamente hay p clases de equivalencia en
p
Z tanto en { } 1 p , ...... , 2 , 1 como en
{ } a ) 1 p ( , ........ , a 2 , a hay un representante de cada clase de
p
Z excepto de [ ] 0 . (En el
caso del segundo conjunto como p es primo y a no es mltiplo de p ninguno de los
elementos de { } a ) 1 p ( , ..... , a 2 , a es congruente con 0 mdulo m).

Por lo dicho cada elemento de { } 1 p , ........ , 2 , 1 es congruente mdulo p a uno de
{ } a ) 1 p ( , ...... , a 2 , a

Entonces:

) p ( a ) 1 p .........( a 2 . a ) 1 p .........( 2 . 1 como p es primo podemos simplificar
quedndonos:
) p ( 1 a ) p ( a ... .......... a . a 1
1 p
factores 1 p

Definicin

Llamamos indicador de a (a N ) al cardinal del conjunto } 1 ) a , n ( D a n ; N n { =
Al indicador de a lo anotamos ) a ( .
Ej. 2 ) 6 ( = pues de los naturales menores o iguales que 6 (1,2,3,4,5 y 6) solo 1 y 5 son primos
con 6

Nota

Si p ) N p ( es primo 1 p ) p ( = ya que todos los naturales menores que p a
excepcin de 0 son primos con l. Calculemos ahora ) p (

; para ello debemos saber
cuntos naturales menores que
p son primos con l. Al ser p un nmero primo los

nicos naturales que no son primos con
p son los mltiplos de p menores que dicho

nmero. A saber:

p
1 1
p . p , p ). 1 p ( , ,......... p 3 , p 2 , p
Por lo tanto tenemos
1
p

nmeros naturales menores o iguales que
p no primos con l.
Entonces ) 1 p ( p p p ) p (
1 1
= =

Al disponer de esta ltima frmula podramos hallar el indicador de un nmero
compuesto recurriendo a su descomposicin factorial.

Demostrando previamente que si m y n son naturales primos entre s entonces
) n ( ). m ( ) n . m ( = tenemos que: Si N n y

h 2 1
p ...... p . p su D.P.F.P. entonces
= =

) p ...... p . p ( ) n (
h 2 1

) 1 p ( p . )......... 1 p ( p ). 1 p ( p ) p ( )......... p ( ). p (
h
1
h 2
1
2 1
1
1 h 2 1
= =

En resumen: ) 1 p )........( 1 p ).( 1 p .( p ......... p . p ) n (
h 2 1
1
h
1
2
1
1
=

As como 60= 16 ) 1 5 ).( 1 3 ).( 1 2 .( 5 . 3 . 2 ) 60 ( 5 . 3 . 2
0 0 1 2
= =

100
Teorema Congruencia de Euler
H)
1 ) m , b ( D
N m , b
T) ) m ( 1 b
) m (

Dem
Consideremos
) m ( 2 1
a ,........, a , a

naturales menores o iguales que m primos con
l. Observemos que adems son incongruentes dos a dos mdulo m.

Al ser b y m primos entre s podemos aplicar el teorema anterior a la
congruencia de Fermat llegando a que
) m ( 2 1
ba ,........, ba , ba

son incongruentes dos a dos
mdulo m y adems primos con l.

Probemos que cada elemento de } ba ,....., ba , ba {
) m ( 2 1
es congruente con uno de
} a ,......, a , a {
) m ( 2 1

Realicemos la siguiente divisin
<

m r 0
) m ( r ba
q r
m ba
i
i i
i
i
Si logramos
demostrar que

{ }
) m ( 2 1 i i
a ,....., a , a r d ) m , r ( D

=
i i
i
i
ba / d r mq / d
r / d
m / d
d ) m , r ( D +
= como D(d,b)=1 (*)
m / d adems como
a / d
i

1 d 1 ) m , a ( D / d
i
= =

(*) D(d,b)=h 1 h 1 ) m , b ( D / h
b / h
m / h m / d como d / h
= =

Tenemos entonces que cada elemento de { }
) m ( 2 1
ba ,....., ba , ba

es congruente mdulo m a
uno del conjunto
{ }
) m ( 2 1
a ,....., a , a
. Adems como los elementos de ambos
conjuntos son incongruentes dos a dos y hay la misma cantidad de elementos; cada
elemento del primer conjunto es congruente con uno y solo uno del segundo y
recprocamente. Multiplicando miembro a miembro las mencionadas congruencias nos
queda:
) m ( ba ........ ba . ba a ........ a . a
) m ( 2 1 ) m ( 2 1

Al ser
) m ( 2 1
a , ,......... a , a

primos con m podemos simplificar quedndonos:

) m ( 1 b ) m ( b ......... b . b 1
) m (
factores ) m (

Veamos ahora algunos ejemplos de aplicacin tanto de la congruencia de Fermat como
la de Euler.

Ejemplo 1
Hallar el resto de dividir
85
3 entre 7
Observemos que si ) 7 ( r 3
q r
7 3
85
85
Por lo tanto debemos hallar a quien es
congruente
85
3 mdulo 7.
lgebra I
101

Como 7 es primo podemos aplicar Fermat ) 7 ( 1 3
6
Por otra parte
14 1
6 85

( ) ) 7 ( 3 3 ) 7 ( 3 . 1 3 . 3 ) 7 ( 1 3 ) 7 ( 1 3 ) 7 ( 1 3
85 14 . 6 14 . 6 14
14
6 6

En consecuencia el resto de dividir
85
3 entre 7 es 3.

Ejemplo 2
Determinar las ltimas dos cifras de
85
3 .
Observemos las ltimas dos cifras de
85
3 coinciden con el resto de dividir dicho nmero
entre 100

) 100 ( r 3
q r
100 3
85
85

Si intentamos proceder como en el primer ejemplo deberamos encontrar una
potencia de 3 de exponente prximo a 85 congruente con 1 mdulo 100. Para ello en
esta caso nos es imposible utilizar Fermat ya que 100 no es primo. Veamos si podemos
utilizar la congruencia de Euler.

) 100 ( 1 3
40 ) 1 5 ).( 1 2 .( 5 . 2 ) 100 ( 5 . 2 100
100 con primo es 3
40
1 1 2 2

= = =

Por otra parte 5 2 . 40 85
2 5
40 85
+ =

( ) ) 100 ( 3 . 1 3 . 3 ) 100 ( 1 3 ) 100 ( 1 3 ) 100 ( 1 3
5 5 2 . 40 2 . 40 2
2
40 40

) 100 ( 43 3
) 100 ( 43 243 como
) 100 ( 243 3 ) 100 ( 3 3
85
85 5 85

Por lo tanto las ltimas dos cifras de
85
3 son 43.

5Inicio

49
49
FUNCIONES POLINMICAS

Recordemos:
1) Sean A y B dos conjuntos. Llamamos relacin de A en B ( B A : R anotamos ) a un conjunto de
pares ordenados de primera componente en A y segunda componente en B.

Mas sintticamente:
B A R B en A de relacin una es R

2) Consideramos B A : R si (x,y)R decimos que y es imagen de x, y que x es preimagen de y.

3) Sea B A : R . Llamamos dominio de R ( anot. D
R
) al conjunto de los elementos de A que tienen al
menos una imagen en B.

Llamamos recorrido de R ( anot.R
R
) al conjunto de los elementos de B que tienen al menos una
preimagen en A.

Mas sintticamente:

D
R
{ } R ) y , x ( ; B y / A x = R
R
{ } R ) y . x ( ; A x / B y =

4) Sea B A : F . Decimos que F es una funcin si y solo si todo elemento de A tiene una y solo una
imagen en B.

Nota: Consideramos ahora { }
2
x y / ) y , x ( F = = Observemos que F es una funcin de ; en donde
abusando de la notacin tenemos:

1
1
2
4
x
x
2

A F la anotaremos mas brevemente
2
x ) x ( F ; : F = As con esta notacin indicamos que la imagen de un
x real cualquiera es x
2
.
Por ejemplo si anotamos F(2) hacemos referencia a la imagen de 2 segn F y la calculamos 4 2 ) 2 ( F
2
= =
simplemente sustituyendo x por 2 en
2
x ) x ( F = .

50
50
Definicin

Consideramos: B : g y A : f siendo A y B dos conjuntos cualesquiera. Si C = B A definimos:

{ } 0 ) x ( g / C x ' C con
) x ( g
) x ( f
) x (
g
f
; ' C :
g
f
) x ( g ). x ( f ) x )( g . f ( ; C : g . f
) x ( g ) x ( f ) x )( g f ( ; C : g f
= =
|
|
\
|

=
+ = + +

As por ejemplo

Entonces

Ejercicios: 1) Hallar en este caso particular:
g
f
y g . f
2) Si
x 2
2 ) x ( t ; : t y x ) x ( h ; : h = = Determinar:
g
f
y g . f , g f +

Nota: Si A es un conjunto no vaco anotaremos
A
F al conjunto de todas las funciones de A

Observaciones: Consideramos
A
F g , f
1) A x ) x ( g ) x ( f g f = =
2) La suma y el producto de funciones son operaciones en
A
F

a

b

c
2

3

5
A
f
a

b

d
4

7

8
B
g
a

b
10 7 3
6 4 2
= +
= +
B A C =

g f +

51
51

Teorema
( ) , , F
A
+ es un anillo conmutativo y con unidad.

Dem. o conmutativ grupo ) , F (
A
+
Asociativa
A
F h , g , f ) h g ( f h ) g f ( + + = + +
[ ] [ ] A x ) x ( ) h g ( f ) x ( h ) g f ( ) h g ( f h ) g f ( + + = + + + + = + +

[ ] [ ] [ ]
[ ] A x ) x ( ) h g ( f
) x )( h g ( ) x ( f ) x ( h ) x ( g ) x ( f ) x ( h ) x ( g ) x ( f ) x ( h ) x )( g f ( ) x ( h ) g f (
) (
+ + =
= + + = + + = + + = + + = + +

(*) Asociativa de la suma de reales.

Conmutativa
A
F g , f f g g f + = +
A x ) x )( f g ( ) x )( g f ( f g g f + = + + = +
A x ) x )( f g ( ) x ( f ) x ( g ) x ( g ) x ( f ) x )( g f (
(*)
+ = + = + = + (*) Conmutativa de la suma
de reales.

Neutro
A A
F f f f / F = +
Definimos A x 0 ) x ( ; A : = A la cual denominaremos funcin nula.
f f A x ) x ( f 0 ) x ( f ) x ( ) x ( f ) x )( f ( = + = + = + = + razonamiento vlido
A
F f

Opuesto = + ) f ( f / F f F f
A A

Definimos A x ) x ( f ) x )( f ( ; A : f =
( ) = + = = = + = + ) f ( f A x ) x ( 0 ) x ( f ) x ( f ) x )( f ( ) x ( f ) x ( ) f ( f

,) F ( de Asociativa
A

A
F h , g . f h ). g . f ( ) h . g .( f = Demostracin a cargo del lector.

A A
F g , f f . g g . f ,) F ( de a Conmutativ =

A A A
F f f . f / F ,) F ( de Neutro =
Definimos A x 1 ) x ( ; A : =
f . f A x ) x ( f 1 ). x ( f ) x ( ). x ( f ) x )( . f ( = = = = razonamiento vlido

A
F f

Ejercicio: 1) Es necesariamente cierto que si = = = g / y f g . f ?
2) ,) , F (
A
+ es un cuerpo?
3) A que llamara funcin polinmica? Y grado de una funcin polinmica?

Definicin
A las funciones de cuya frmula es .) cte k ( k ) x ( f : f = (Funciones constantes)
o + + + + =
0 1 1 n n
*
0 1
1 n
1 n
n
n
a . a , ,......... a , a y N n con a x a .. .......... x a x a ) x ( f : f
las denominaremos funciones polinmicas reales.

Si
0 1
1 n
1 n
n
n
a x a .. .......... x a x a ) x ( f : f + + + + =

*
N n con y 0 a
n
decimos que f tiene
grado n. En caso que ) 0 k ; k ( k ) x ( f : f = diremos que f tiene grado 0.
Con respecto a la funcin nula (que es una funcin polinmica ) asumiremos que no tiene grado.

Nota: Al conjunto de todos las funciones polinmicas reales lo anotaremos
P

52
52
Observaciones:
1)

F P

2) Consideramos:

+ + + + = P g y a x a . .......... x a x a ) x ( f P f
0 1
1 n
1 n
n
n
tal que

0 1
1 n
1 n
n
n
b x b ......... x b x b ) x ( g + + + + =

Si g f x ) x ( g ) x ( f
b a
b a
. .......... ..........
. .......... ..........
b a
b a
0 0
1 1
1 n 1 n
n n
= =
=
=
=
=

3) La suma y el producto de funciones polinmicas es una funcin polinmica.
Si

+ P g f P g , f y adems { } ) g ( gr ), f ( gr mx ) g f ( gr + = + g f
Si

P g . f P g , f y adems = + = g . f ) g ( gr ) f ( gr ) g . f ( gr

4) ,) , P ( +
es un anillo conmutativo y con unidad (Le solicitamos al lector que

fundamente tal afirmacin).

DIVISIN ENTERA

As como se define la divisin entera entre nmeros naturales

intentaremos definir una divisin entera entre funciones polinmicas reales. Un proyecto razonable podra ser:

Antes de adoptarla como definicin demostremos el siguiente:

Teorema

g
P g , f
) H T)
= <
+ =

r ) g ( gr ) r ( gr ) ii
r gq f ) i
: que tal P r , q

Dem.:
Consideramos { }
= P t ; gt f H Analicemos dos casos:

+ = =
0 0 0
t . f f t . g f ; P t H Si
Por lo tanto en este caso = = r y t q
0
que verifican la tesis.

H Si todos las funciones polinmicas de H tienen grado. Denominemos J al conjunto de
los grados de los elementos de H.

J mn j
) J ) f ( gr H f . g f t tomar Basta ( J
N J
O . B . P
=
)
`
= =

Si q . g f r / P q j ) r ( gr ; H r J j J mn j = = =

a b
q r
<
+ =
b r
r bq a
f
g
q r
= <
+ =
r ) g ( gr ) r ( gr
r q . g f

53
53
r q . g f + = Faltara demostrar que ) g ( gr ) r ( gr <

Llamamos n al grado de g. Probemos que n j < por absurdo.
Suponemos entonces que n j
Consideramos ahora ) x ( g . x
b
c
) x ( r ) x ( r : r
n j
n
j
1 1

= siendo
j
c el coeficiente
principal de r y
n
b el de g. (termino que surge de proseguir el algoritmo de la
divisin entera que conocemos)

Como = = x ) x ( q ). x ( g ) x ( f ) x ( r gq f r sustituyendo en la
definicin de
1
r tenemos:

(
(
= =

x x
b
c
) x ( q ) x ( g ) x ( f ) x ( g x
b
c
) x ( q ). x ( g ) x ( f ) x ( r
n j
n
j
n j
n
j
1

J ) r ( gr H r
1 1

Pero por definicin de
1
r J mn j ) r ( gr
1
= < Lo cual es contradictorio.

Definicin
Consideramos
g ; P g , f Entendemos por realizar la divisin entera de f entre g a

encontrar
P r , q tal que: i) r q . g f + =
ii) = < r ) g ( gr ) r ( gr

Como sabemos q recibe el nombre de cociente y r el de resto. El teorema inmediato anterior nos asegura que dados
dos funciones polinmicas cualesquiera f y g con g existen el cociente y el resto de la divisin entera de f entre
g . Posteriormente demostraremos que dicho cociente y resto son nicos. No lo hacemos en este momento por
carecer an de los elementos necesarios para realizarlo.

Si f dividido g da cociente q y resto r lo esquematizamos

Ejercicio: Realizar las siguientes divisiones:
1) 20 x 17 x 18 x 13 x 6
2 3 4
+ + entre 7 x 5 x 3
2
+
2) 1 x 2 entre 2 x 4 x 21 x 10
2 3
+ + + +
3) 5 x x 2 x entre 6 x 3 x 2 x 3 x
2 3 2 3 4
+ + + + + +

Definicin
Consideramos:
y P f Decimos que es raz de f 0 ) ( f =

Ejercicio:
1) Probar que 2 es raz de 2 x 7 x 5 x ) x ( f : f
2 3
+ =
2) Demostrar que todos los reales son races de la funcin nula ) (
3) Probar:

Observacin: Hallar todas las races de una funcin polinmica f es resolver en ) ,, , ( + la ecuacin f(x)=0

Ejercicio: Consideramos 3 x 5 x 6 x 2 ) x ( f : f
2 3
+ + = 1) Dividir f entre 2 x ) x ( g : g = y entre 1 x ) x ( h : h =
2) Que particularidades observa sobre el cociente y el resto? 3) Calcular f(2) y f(1)
Qu observa?. 4) Elija otro polinomio f cualquiera y reitere las partes anteriores. Las observaciones realizados
sern una casualidad para estos casos particulares.?
f
g
q r
f
g
q r
) ( r ) ( f g de raz =

54
54
Divisin entre x-
Un caso que nos interesa particularmente es la divisin entre una funcin polnomica del tipo
= x ) x ( g : g ya que presenta caractersticas y aplicaciones singulares.

Si = = = = r 0 ) r ( gr 1 ) r ( gr x ) x ( g : g r es una funcin constante, en otras palabras
) fijo k ( x k ) x ( r = Adems si 1 n ) q ( gr n ) f ( gr = =

Por otra parte si + = + = + = x k ) x ( q ). x ( ) x ( f x ) x ( r ) x ( q ). x ( g ) x ( f r q . g f
k ) ( f k ) ( q . ) ( ) ( f
0
= + =
3 2 1

Proposicin que podemos enunciar: el resto de dividir f entre x es )" ( f conocida como ley del resto.

Ejercicio: Demostrar: es raz de f f es divisible entre = x ) x ( g : g (Teorema de Descartes)

Esquema de Ruffini
Por todo lo dicho sera conveniente disponer de un procedimiento ms eficiente para realizar
la divisin entre x que el algoritmo de la divisin utilizado en ejercicios anteriores

Realizar la divisin entera de f :
0 1
1 n
1 n
n
n
a x a ......... x a x a ) x ( f + + + + =

entre g:g(x)= x es determinar el

cociente q y el resto r que cumplan con la definicin.

Por lo dicho anteriormente; si gr(f) = n
+ + + + = =

x b x b .......... x b x b ) x ( q 1 n ) q ( gr
0 1
2 n
2 n
1 n
n
y adems
= = = x ) K k ( k ) x ( r 0 ) r ( gr r

+ + + + + = + + + +

x k ) b x b ..... x b x b ).( x ( a x a ..... x a x a

0 1
2 n
2 n
1 n
1 n 0 1
1 n
1 n
n
n

k b . x b . .... x b . x b . x b x b .... x b x b a x a ..... x a x a
0 1
2 n
2 n
1 n
1 n 0
2
1
1 n
2 n
n
1 n 0 1
1 n
1 n
n
n
+ + + + + = + + + +

+ + + + = + + + +

x b . k ). b . b ( ....... x ). b . b ( x b a x a .... x a x a
0 1 0 1 n 2 n
1 n
1 n 0 1
1 n
1 n
n
n

Es inmediato que si se cumple:
+ = =
+ = =
+ = =
=

0 0 0 0
1 1 0 1 1 0
1 n 1 n 2 n 1 n 1 n 2 n
n 1 n
b . a k a b . k
b . a b a b . b
.......... .......... .......... .......... .......... .......... .......... ..........
b . a b a b . b
a b
se verifica la igualdad
anterior para cualquier real
Resultados que suelen presentarse mediante el siguiente diagrama:

n
a
1 n
a

.......................................
1
a
0
a

1 n
b .

......................................
1
b .
0
b .

{
1 n
b
n
a

4 43 4 42 1
2 n
b
1 n 1 n
b . a

+
.......................................
43 42 1
0
b
1 1
b . a +
43 42 1
k
0 0
b . a +

f
g
q r

= <
+ =
r ) g ( gr ) r ( gr
r gq f
f g
q r
+ = + = x ) x ( r ) x ( q ). x ( g ) x ( f r q . g f

55
55

Ejercicio Utilizando el esquema de Ruffini realizar las siguientes divisiones:
1) 3 x 5 x x 2 ) x ( f : f
2 4
+ + = entre 2 x ) x ( g : g =
2) f entre 1 x ) x ( g : g + =
3) 2 x ) x ( t : t entre y 1 x ) x ( g : g entre 2 x x ) x ( h : h
3
+ = = + + =
3) f entre 1 x 2 ) x ( g : g =
4) Deducir un procedimiento que nos permita utilizando el diagrama de Ruffini realizar la divisin de un
polinomio P entre b x a ) x ( g : g + = Utilizando sus deducciones realizar las siguientes divisiones.
i) 1 x 2 ) x ( g : g entre 10 x 6 x 4 ) x ( f : f
2 3
= + + =
ii) 2 x 3 ) x ( g : g entre 4 x x 9 ) x ( f : f
3
= + =

Ejercicio: 1) Hallar todas las races reales de 12 x 4 x 3 x ) x ( f : f
2 3
+ = sabiendo que admite raz 2
2) 2 x x 2 x ) x ( f : f
2 3
+ = -1
3) 6 x x 25 x 4 x 4 ) x ( f : f
2 3 4
+ + = sabiendo que tiene races 2 y 3
4) 18 x 9 x 11 x x ) x ( f : F
2 3 4
+ + + = 3 y 3

EJERCICIOS REPARTIDO N 12

I) Sea . 3 ax x 3 x ) x ( P : P
2 3
+ + = Hallar a para que P dividido entre x-1 da resto 3

II) Consideramos 7 ax x 2 ) x ( P : P
3
+ = Determinar a sabiendo que 17 ) 2 ( P =

III) Siendo . 6 bx ax x 2 ) x ( P :
2 3
+ + = Hallar a y b reales sabiendo que P admite raz 2 y 4 ) 1 ( P =

IV) Sea . 12 x 37 x 2 x 3 ) x ( P : P
2 3
= Calcular todas las races de P sabiendo que una de ellas es 3

V) Dado 4 x 20 x 15 x 5 x 4 ) x ( P : P
2 3 4
+ = Hallar todas sus races sabiendo que dos de ellas son
2 y
4
1
.

VI) Un polinomio dividido entre x-1 y x-2 da resto 6 y 18 respectivamente. Hallar el resto de dividir
dicho polinomio entre ). 2 x )( 1 x (

VII) Sea . 1 4 2 ) ( :
2 3 4
+ = x ax x x P P Determinar a para que 44 ) 3 ( = P

VIII) Consideramos 18 2 ) ( :
2 3
+ = ax x x x P P . Hallar a y las races de P sabiendo que una de
ellas es 2.

IX) Dado . 15 ) ( :
2 3 4
b ax x x x x P P + + + = Determinar a ,b reales y las races de P sabiendo que dos
de ellas son 2 y -3.

X) Un polinomio P dividido entre x-2 da resto 5, dividido entre x-4 da resto 7, y dividido entre x-5
da resto 8. Hallar el resto de dividir P entre ). 5 )( 4 )( 2 ( x x x
Si adems se sabe que P es de tercer grado y que 77 ) 0 ( = P ; hallar P.

56
56

Nota: Consideramos
0 1
1 n
1 n
n
n
a x a .......... x a x a ) x ( f ; P f + + + + =

una funcin polinmica de grado n.

1) Si ) ( es raz de f
Descartes de T
f es divisible entre = x ) x ( g : g q . g f / P q =

= = x ) x ( q ) x ( ) x ( q ). x ( g ) x ( f
Adems sabemos que .......... x a ) x ( q y 1 n ) q ( gr
1 n
n
+ = =

En resumen:

2) Consideramos ahora dos races distintas de f ,

Si ) ( es raz de f ...... x a ) x ( q y 1 n ) q ( gr ; P q
1 n
n
+ = =

tal que
= x ) x ( q ) x ( ) x ( f ) ( q ) ( ) ( f = Como es raz de f = 0 ) ( f
= =
0 ) ( q 0 ) q ) (
0
3 2 1
es raz de q
........ x a ) x ( ' q y 2 n ) ' q ( gr ; P ' q
2 n
n
+ = =

tal que = x ) x ( ' q ). x ( ) x ( q

Como = x ) x ( q ). x ( ) x ( f sustituyendo nos queda = x ) x ( ' q ). x ).( x ( ) x ( f

En resumen:

Probar que:

Parece entonces razonable enunciar el siguiente teorema:

0 1
1 n
1 n
n
n
a x a .......... x a x a ) x ( f ; P f + + + + =

una funcin polinmica de grado n
Si ) ( es raz de f ...... x a ) x ( q y 1 n ) q ( gr ; P q
1 n
n
+ = =

tal que = x ) x ( q ) x ( ) x ( f
0 1
1 n
1 n
n
n
a x a .......... x a x a ) x ( f ; P f + + + + =

Si ) ( y son races de f ...... x a ) x ( q y 2 n ) q ( gr ; P q
2 n
n
+ = =

tal que
= x ) x ( q ). x ).( x ( ) x ( f
0 1
1 n
1 n
n
n
a x a .......... x a x a ) x ( f ; P f + + + + =

Si , , son races de f distintas dos a dos ...... x a ) x ( q y 3 n ) q ( gr ; P q
3 n
n
+ = =

tal que = x ) x ( q ). x ).( x ).( x ( ) x ( f

57
57
Teotema 1 de descomposicin factorial

H)

= + + + + =

n p f de dos a dos diferentes races p ,........, ,
n ) f ( gr a x a ...... x a x a ) x ( f ; P f
p 2 1
0 1
1 n
1 n
n
n

T)
=
=
n
p 2 1
a principar e coeficient y p n ) q ( gr con
x ) x ( q ). x ( )......... x ).( x ( ) x ( f ; P q

Dem:
Intentaremos una demostracin por induccin completa sobre p. (la cantidad de races).

1 paso p=1 Proposicin demostrada en la nota inmediata anterior

2 paso H) La proposicin se verifica para p=h

T) La proposicin se cumple para p=h+1

En otras palabras suponiendo que el teorema es cierto para h races debemos demostrar que lo es para h+1 races
Debemos probar entonces:

+ +
= + + + + =
+

n 1 h f de dos a dos diferentes races 1 h , ,........, ,
1 h h 2 1
0 1
1 n
1 n
n
n

+ =
=
+
n
1 h h 2 1
a principar e coeficient y ) 1 h ( n ) q ( gr con
x ) x ( q ). x )( x ( )......... x ).( x ( ) x ( f ; P q

Como
1 h h 2 1
, ,....., ,
+
son races distintas dos a dos de f
h 2 1
,....., , son races distintas dos a dos de
f. Adems si n h n 1 h + Estamos pues en condiciones de aplicar la hiptesis inductiva.

=

x (*) ) x ( ' q ). x )........( x ).( x ( ) x ( f / P ' q
h 2 1
con h n ) ' q ( gr = y coeficiente
principal
n
a .

Teniendo en cuenta que
1 h+
es raz de f =
+
0 ) ( f
1 h

0 ) ( ' q ). )........( ).( ( ) ( f
1 h
0
h 1 h
0
2 1 h
0
1 h 1 h
1
= =
+ +
+ +
43 42 1 43 42 1
43 42 1
=
+
0 ) ( ' q
1 h

1 h+
es raz de q Aplicando ahora el teorema para p=1 sobre q tenemos que:
=
+
x ) x ( q ). x ( ) x ( ' q ; P q
1 h
con ) 1 h ( n 1 ) h n ( ) q ( gr + = = y coeficiente principal
n
a

Sustituyendo en (*) nos queda:

=
+
x ) x ( q ). x ).( x ( )......... x ).( x ( ) x ( f
1 h h 2 1

con ) 1 h ( n 1 ) h n ( ) q ( gr + = = y coeficiente principal
n
a l-q.q.d.

Un caso que nos interesa particularmente es para p=n (la cantidad de races coincide con el grado de la funcin
polinmica)

58
58
Teorema 2 de descomposicin factorial

H)

= + + + + =

f de dos a dos diferentes races n ,........, ,
n 2 1
0 1
1 n
1 n
n
n

T) = x ) x .( )......... x ).( x ( a ) x ( f
n 2 1 n

Teorema
Un polinomio de grado n no acepta mas de n races distintas
Dem:
Por absurdo. Suponemos que n ) f ( gr a x a .......... x a x a ) x ( f ; P f
0 1
1 n
1 n
n
n
= + + + + =

acepta races
1 n n 2 1
, ,......., ,
+
distintas dos a dos .

Como
n 2 1
,......., , son races distintas dos a dos de f
. F . D de 2 . T

) )......( ).( ( a ) ( f x ) x ..( )......... x ).( x ( a ) x ( f
n 1 n 2 1 n 1 1 n n 1 n n 2 1 n
= =
+ + + +
Adems
1 n+
es raz de f 0 a 0 ) .( )......... .( ) ( a
n
0
n 1 n
0
2 1 n
0
1 1 n n
= =
+
43 42 1 43 42 1 43 42 1

Lo cual es contradictorio pues n ) f ( gr =

Teorema

Consideramos:
0 1
1 n
1 n
n
n
a x a ........ x a x a ) x ( f ; P f + + + + =

Si
1 n n 2 1
, ,......., ,
+
races distintas dos a dos de f
=
=
=
=

0 a
0 a
........ ..........
........ ..........
0 a
0 a
0
1
1 n
n

Dem:
Si para 0 a
i
algn i entre 0 y n ) f ( gr y adems gr(f) n Tendramos entonces una funcin
polinmica de grado menor o igual que n con n+1 races lo cual contradice el teorema inmediato anterior.

Teorema de identidad de polinomios

Consideramos: n ) f ( gr a x a ......... x a x a ) x ( f : P f
0 1
1 n
1 n
n
n
= + + + + =

m ) g ( gr b x b ........ x b x b ) x ( f ; P g
0 1
1 m
1 m
m
m
= + + + + =

=
=
=
=
= =

0 0
1 1
1 n 1 n
n n
b a
b a
... .......... ..........
... .......... ..........
b a
b a
y m n g f

Dem: ) ( Por absurdo Consideramos g f h =
Si
i i
b a m n para algn i de 1 a n k ) h ( gr = Consideramos ahora
1 k k 2 1
, ,......., ,
+

k+1 reales distintos dos a dos.

59
59
Como
= =
= =
= =
= =
= =
+ + +
0 ) ( g ) ( f ) ( h
0 ) ( g ) ( f ) ( h
......... .......... .......... .......... ..........
......... .......... .......... .......... ..........
0 ) ( g ) ( f ) ( h
0 ) ( g ) ( f ) ( h
x ) x ( g ) x ( f ) x ( h g f h
1 k 1 k 1 k
k k k
2 2 2
1 1 1

1 k k 2 1
, ,......., ,
+
son k+1 races distintas dos a dos de h . Pero k ) h ( gr = lo cual es contradictorio


I) Hallar a, b, c sabiendo que : + + + = + + + x 1 x 3 cx x ) b x )( 1 ax x (
2 3 2

II) Determinar una funcin polinmica de coeficientes reales y tercer grado sabiendo que:
8 x 12 x 11 x 3 ) 1 x ( P
2 3
+ + + = +

III) Sea 2 dx cx ) x ( Q : Q
2
+ + = Hallar c y d reales sabiendo que: x 4 6 ) 1 x ( Q ) 1 x ( Q = +

IV) Determinar una funcin polinmica P de coeficientes reales sabiendo que: 2 ) 0 ( P x x 6 ) 1 x ( P ) x 2 ( P
2
+ = +

V) Sea b ax x x x P P + + + =
2 3
5 ) ( : Hallar a y b reales sabiendo que P dividido entre x x 2
2
+ da igual cociente que
Resto.

Relaciones entre coeficientes y races

Consideramos
0 1
2
2
3
3
a x a x a x a ) x ( f ; P f + + + =
una funcin polinmica real de 3 grado con races

y , distintas dos a dos.
Pretendemos averiguar si existe una vinculacin entre las races de f , , y sus coeficientes
0 1 2 3
a , a , a , a

Si y , son races distintas dos a dos de f = x ) x ).( x ).( x ( a ) x ( f
3 2 . F . D de . T

[ ] + + + = + = x . . x . . x . . x . x . . x . x . x a ) x ).( . x . x . x ( a ) x ( f
2 2 2 3
3
2
3

Polinomios de Identidad de . T
0 1
2
2
3
3
3 3
2
3
3
3
x a x a x a x a ) x ( f Como
x . . . a ) . . . ( a x ). ( a x a ) x ( f
+ + + =
+ + + + + =

= =
= + + = + +
= + + = + +
=
3
0
0 3
3
1
1 3
3
2
2 3
3 3
a
a
. . a . . . a
a
a
. . . a ) . . . ( a
a
a
a ) .( a
a a

60
60
En resumen si
0 1
2
2
3
3
a x a x a x a ) x ( f ; P f + + + =
es una funcin polinmica real de 3 grado con races

y , distintas dos a dos se cumple que:

Anlogamente se demuestra que si
0 1
2
2
a x a x a ) x ( f ; P f + + =
es una funcin polinmica real de 2grado con

races y distintas estas cumplen:

Y tambin si
0 1
2
2
3
3
4
4
a x a x a x a x a ) x ( f ; P f + + + + =
es una funcin polinmica real de 4 grado con races

y , , distintas dos a dos se verifica:

EJERCICIOS REPARTIDO 14

I) Sea 6 x 11 x 6 x ) x ( P : P
2 3
+ = con races y , que cumplen: + = . Hallar , , y la
descomposicin factorial de P.

II) Consideramos 4 2 2 ) ( :
2 3
+ = x ax x x P P . Hallar a y las races de P sabiendo que el producto de
dos de ellas es 1.

III) Con 10 7 2 ) ( :
2 3
+ + = ax x x x P P de races , y . Determinar a , las races de P y su
descomposicin factorial; sabiendo que: 9 2 2 = + + .

3
0
3
1
3
2
a
a
. .
a
a
. . .
a
a
=
= + +
= + +
2
0
2
1
a
a
.
a
a
=
= +
4
0
4
1
4
2
4
3
a
a
. . .
a
a
. . . . . . . .
a
a
. . . . . .
a
a
=
= + + +
= + + + + +
= + + +

61
61
IV) Sea . c x x 2 x ) x ( P : P
2 3
+ + + = Hallar c y las races de P , y sabiendo que cumplen:

2 2 2
= + .
V) Consideramos . b bx 2 ax x 2 ) x ( P : P
2 3
+ = Hallar a y b para que
3
1 1 1 1
=
y
33 ) 1 ( P ) 0 ( P = + siendo , y las races de P.

VI) Sea 36 x 36 x 11 x ) x ( P : P
2 3
+ = con races , y que cumplen: = .
Hallar las races y la descomposicin factorial de P.

VII) Con 0 ) 0 ( P ; ab bx ax x ) x ( P : P
2 3
+ + + = de races , y .
i) Hallar a para que: ) 0 ( 2
2 2 2
P = + +
ii) Determinar b sabiendo que P dividido entre 5 5
2
+ x x da igual cociente que resto.
iii) Resolver en ) ,, , ( + 0 ) ( = x P y escribir la descomposicin factorial de P.

VIII) Consideramos b x 4 a x ) x ( P : P
2 3
+ + = de races , y .
i) Determinar 0 > para que: 1 = + +

ii) Hallar a<0 y b para que 4 x 5 x
2 4
+ sea divisible entre P.

Nota
Cabe destacar que las frmulas anteriores tambin son vlidas cuando alguna o todas las races son iguales. As
tambin como el teorema de descomposicin factorial. No lo demostraremos en este caso; pues dicha demostracin
involucra elementos de divisibilidad en polinomios, cuyo tratamiento, en nuestra opinin excede los objetivos del
curso.
Tambin es posible deducir frmulas de relaciones entre coeficientes y races para funciones polinmicas de
grado mayor que cuatro; pero rara vez dichas frmulas son usadas.

Ejercicio:
Consideramos:
0 1
1 n
1 n
n
n
a x a .. .......... x a x a ) x ( f ; P f + + + + =

Probar:
1) 0 es raz de f 0 a
0
=
2) 1 es raz de f 0 a a .......... a a
0 1 1 n n
= + + + +

3) i) Si
= 2 n -1 es raz de f
1 3 n 1 n 0 2 2 n n
a .......... a a a a ......... a a + + + = + + + +

ii) Si
2 n -1 es raz de f
1 1 n n 0 2 3 n 1 n
a ....... a a a a ......... a a + + + = + + + +

Ejercicio:
Hallar la descomposicin factorial de:
1) x 2 x 5 x 2 ) x ( f : f
2 3
+ + =
2) 1 x x 4 x 4 ) x ( g : g
2 3
+ =
3) 3 x 3 x 2 x 2 ) x ( h : h
2 3
+ + + =
4) 6 x 5 x 5 x 5 x ) x ( t : t
2 3 4
+ + =
5) x 3 x 2 x ) x ( w : w
3 5
+ =

62
62
Nota Tambin es posible demostrar:

+ + + + =

) a a divide q ( a / q
) a a divide p ( a / p
si entre primos enteros q y p con ; f de raz Q
q
p
Z a , a ,........, a , a
a x a ......... x a x a ) x ( f ; P f
n n
0 0
0 1 1 n n
0 1
1 n
1 n
n
n

Proposicin conocida como teorema de la raz racional. No haremos la demostracin; ya que la misma involucra
conceptos de divisibilidad que no tratamos anteriormente. Pero si lo utilizaremos.

Ejercicio: Resolver en 0 8 x 4 x 26 x x 6 ) ii 0 4 x 6 x 2 x 3 ) i : ) ,, , (
2 3 4 2 3
= + + = + +
iii) 0 1 x x 5 x x 6
2 3 4
= +

Teorema

g . f g y f P g , f
Dem:
= n f gr f f acepta a lo sumo n races distintas
= m g gr g g acepta a lo sumo m races distintas

Consideramos que no sea raz de f ni de g.
= g . f 0 ) ( g ). ( f ) )( g . f ( 0 ) ( g y 0 ) ( f

Corolario

=
=
=
f
g . f P g , f
Dem: Es el contrarecproco del teorema inmediato anterior.

Nota:
Si f y g no son funciones polinmicas la proposicin anterior es necesariamente cierta?
Sugerencia Analizar
=
=
=
=
Q x si 0 ) x ( g
Q x si 1 ) x ( g
: g y
Q x si 1 ) x ( f
Q x si 0 ) x ( f
: f

Ahora s estamos en condiciones de probar la unicidad del cociente y el resto de la divisin entera

Teorema

f g
q` r
f g
q r
y ' r r y ' q q = =
f g
q r
< =
+ =
g gr r gr r
r q . g f
f g
q r
< =
+ =
g gr ' r gr ' r
' r ' q . g f
Dem
:
Por lo tanto r ' r ) ' q q .( g ' r ' q . g r q . g = + = +
Ahora si ) ' q q ( gr ' q q ' q q como adems g g ). ' q q ( y
) g ( gr ) ' q q ( gr ) g ( gr ) ' q q .( g gr + = Como ) r ' r ( gr ) ' q q .( g gr r ' r ) ' q q .( g = =
) g ( gr ) r ' r ( gr Pero { } ) g ( gr ) ' r ( gr , ) r ( gr mx ) r ' r ( gr < lo que es contradictorio
' r r ' q q = =

63
63

I) i) Probar:

R de raiz es
Q R
B A
Si ) 2
B . A . de raiz es ) 1
B y A a comun raiz
,
reales es coeficient de polinomios B , A

ii) Sean: 6 x x 11 x 2 x 2 ) x ( C : C y 3 x x 12 x 4 ) x ( B : B , 9 x 18 x x 2 ) x ( A : A
2 3 4 2 3 2 3
= + = + =
Hallar las races de A,B, C y su descomposicin factorial sabiendo que A y B como tambin A y C admiten
races comunes.

II) Consideramos: 2 m 2 x ) 1 m m 2 ( x ) 1 m m ( x m 2 x m ) x ( P : P
2 2 2 3 2 4 2
+ + + + + + + =
i) Hallar todas las races de P sabiendo que admite dos races independientes de m.
ii) Hallar el o los valores de m para los cuales P admite una raz doble.

III) Dado m m x ) 1 m 2 m 2 ( x 3 x 2 ) x ( P : P
2 2 2 3
+ + + =
i) Investigar si P admite una raz independiente de m . En caso afirmativo hallarla.
ii) Probar que P admite tres races reales m .
iii) Determinar
+
m para que:
11 11 11 3 3 3

IV) Sea m 2 4 x ) 2 m 13 m 6 ( x ) m m 3 ( x ) 1 m 2 m 15 ( x ) m 3 m 6 ( ) x ( P : P
2 2 2 3 2 4 2
+ + + + + + + + =
i) Hallar raz independiente de m.
ii) Verificar que
m 3
1
= es raz de
m P
iii) Si llamamos Q al cociente de dividir P entre ) 1 mx 3 ( ) x ( + .
a) Para que valores de m , Q acepta dos races reales del mismo signo?
b) Para que valores de m < x 0 ) x ( Q ?

V) Consideramos: m mx 4 x ) 1 m 3 ( x ) 2 m 2 ( ) x ( P : P
2 3
+ + + =
i) Probar que P admite una raz independiente de m ; hallarla.
ii) Hallar los valores de m para los cuales P admite tres races reales positivas.


I) Sea a 14 ax x 4 x 45 x 35 ) x ( P : P
1 n 4 1 n 3 n 2
+ + + =
+

i) Probar que P es divisible entre x-1.
ii)Determinar n y a sabiendo que el cociente de dividir P entre x-2 es de tercer grado y el resto vale 35
iii) Resolver en 0 ) x ( P ) ,, , ( = +

64
64
II) Consideramos: ( ) ( ) 1 x x x x ) x ( P : P
h
2
1
2
1 2
h
2
1
2
1 2
+ + =
i) Demostrar que P es divisible entre N h 1 x
2

ii) Sea ) 1 x ( x 3 ) x ( P m ) x ( Q : Q
2
+ =
a) Calcular h para que Q sea de cuarto grado y escribir la
descomposicin factorial de P para ese valor de h.
b) Para dicho valor de h determinar los valores de m para
los cuales Q tiene cuatro races reales.
c) Determinar todos los valores de m para los cuales Q tiene
una raz doble.

III) Sea q px x ) x ( P : P
3
+ + =
i) Probar que si P es divisible entre 1 mx x
2
+ entonces 0 ) m ( P =
ii) En el caso anterior calcular p,q y m si adems 33 m q p
2 2 2
= + + y
m .

IV) i) Hallar a,b y c para que c bx ax ) 1 x ( ) x ( P : P
n 2 n 2
+ + + + = sea divisible entre x x 3 x 2
2 3
+ +
ii) Para a,b y c hallados calcular:
x x 3 x 2
c bx ax ) 1 x (
2 3
6 6
+ +
+ + + +
.

V) i) Probar que: [ ] N n ) 0 ( P ) 1 n ( P ) i ( P ) 1 i ( P
n
0 i
+ = +
=
siendo P un polinomio cualquiera.
ii) Determinar un polinomio P de tercer grado sabiendo que:
[ ] N n ) 0 ( P 5 n 8 n 6 n ) i ( P ) 1 i ( P
2 3
n
2 i
+ + + = +
=

VI) Sea A un polinomio de tercer grado y B otro polinomio no nulo tal que: A B
C C
i) Probar: raz de C raz de A
ii) Es posible que B sea de primer grado? Deducir y justificar el grado de B.
iii) Determinar B sabiendo que su coeficiente principal es 1 B(0)=1 y todas sus races son iguales
y negativas.
iv) Determinar A sabiendo que su coeficiente principal es 2 y que 0 ) ( C
2
1
= .

VII) Sean P y Q dos polinomios no nulos de los cuales se sabe que P Q
-1 Q
i) Probar:
=
=

1 ) ( Q
o / y
1 ) ( Q
P de raiz
ii) Determinar Q de coeficiente principal positivo sabiendo que x 2 x x 2 x ) x ( P : P
2 3 4
+ =

iii) Resolver en 0 ) x ( P ) ,, , ( = + y escribir la descomposicin factorial de P.

65
65
VIII) Sea ab bx ax x ) x ( P : P
2 3
+ + + =
i) Probar que x+a divide a P.
ii) Probar que si b>0 P acepta solamente una raz real.
iii) Hallar a y b no nulos sabiendo que: ) 0 ( P 2
2 2 2
= + + y que
2
b b b
=
siendo , y las races de P.

iv) Resolver en
4
2
2 : ) ,, , (
x
) x ( P
< +

IX) i) Sea 36 x 12 ax x ) x ( P : P
2 3
+ + = Determinar a y las races de P , , sabiendo que

1 1 1

ii) Si A B a) Probar que si = 1 ) ( B es raz de A
C C b) Probar: raz de A y 1 ) ( B es raz de C.
iii) Determinar un polinomio Q sabiendo que P dividido Q da igual cociente que resto y 1 ) ( Q
siendo el valor hallado en i).
iv) Resolver en 1
1 ) x ( Q
) x ( P
: ) ,, , (
+
+

X) i) Determinar un polinomio Q de segundo grado sabiendo que 0 ) 0 ( Q 1 ) 1 ( Q = = y 3 ) 1 ( Q =
ii) Sea
n
x ) x ( Q ) x ( P : P = [ ] g fx x 1 ) x ( Q
1 n
+ + +

Hallar f y g sabiendo que P es divisible entre x x
2
.
iii) a) Probar que si n es impar entonces P es divisible entre x x
3

b) Para n par hallar el resto de dividir P entre 1 x +
iv) Determinar P sabiendo que P dividido ente x x
3
da cociente 1 ) x ( Q +
v) Para P hallado resolver en 7
x x
) x ( P
) ,, , (
3

+

XI) Sea [ ] [ ] b ax x ) 1 x ( x ) 1 x ( ) x ( P
h h 2 h h 2
+ + + =
i) Hallar a y b sabiendo que P es divisible entre x x
2

ii) Determinar P y su descomposicin factorial sabiendo que el cociente de la divisin indicada anteriormente es
de segundo grado.

XII) i) Determinar un polinomio de tercer grado y coeficientes reales sabiendo que: * Tiene coeficiente principal 6
** La suma de sus races vale
6
1
*** Dividido x - 2 da resto 45 **** P(1)=4.
ii) Escribir la descomposicin factorial de P y resolver en 2 log ) ,, , (
) x ( P
1 x
+
+

XIII) Completar el siguiente esquema de Ruffini.

1 2
-8 10
4 11

66
66
XIV) Determinar dos polinomios P y Q sabiendo que: 3 x 5 x x 6 ) x ( Q ) x ( P
2 3
+ = +
1 x 3 x 7 x 2 ) x ( Q ) x ( P
2 4
+ + =

XV) Hallar un polinomio P de tercer grado y otro Q de segundo grado sabiendo que al dividir P entre Q
el cociente es 1 x 5 + y el resto es 2 x 10 + . Adems 3 x 10 x x 4 ) x ( Q x ) x ( P
2 3
+ =

XVI) Hallar un polinomio A de tercer grado divisible entre 2
2
x y 1 + x Adems A dividido entre
x da resto 20.

XVII) Sean P y Q dos polinomios tales que Q es de cuarto grado, P y Q admiten races comunes 2,3 y 7;
P dividido Q da cociente C y resto R.
i) Hallar R sabiendo adems que su coeficiente principal es 2
ii) Determinar Q si adems se sabe que: Q(1)=0 y Q(0)=42
iii) Hallar P si C:C(x)=2x-1
iv) Hallar las races de ) ( ) ( ) ( : x Q x P x H H =

XVIII) Hallar un polinomio P de cuarto grado, coeficiente principal 2 que cumple:
* ) ( ) 2 ).( ( ) ( x R x x Q x P + = con R de primer grado. ** P y Q tienen una raz comn
*** 0 ) 1 ( = P **** 6 ) 1 ( = Q ***** 10 ) 0 ( = P ****** La suma de las otras dos
races de Q vale 1.

67
67
TRIGONOMETRA

Algunas consideraciones previas
Ya que no es la primera vez que nos enfrentamos al tema, sabemos que en su
tratamiento se involucran adems de los nmeros reales entes geomtricos (puntos, rectas, circunferencias, ngulos )
lo cual nos lleva necesariamente a manejar proposiciones desarrolladas en otra asignatura; de las cuales resaltamos:

1) Si llamamos al conjunto de puntos del plano; existe una funcin : d a la que llamamos
funcin distancia que cumple:
i) Y , X 0 ) Y , X ( d
ii) = Y , X ) X , Y ( d ) Y , X ( d
iii) ) Y , Z ( d ) Z , X ( d ) Y , X ( d XY Z Si + =
iv) Si ) Y , Z ( d ) Z , X ( d ) Y , X ( d XY Z + <
v) Para cada recta orientada r , para cada punto r X y para cada real
t; 0 t existe un nico punto Y r tal que X Y p y d (X,Y) = t .

2) Para cada recta orientada r y para cada punto r O existe una nica funcin biyectiva r : f creciente
que cumple:
i) f(O)=0
ii) d (X,Y) = r Y , X ) Y ( f ) X ( f
Si x ) P ( f y x , r P = decimos que x es la abscisa de P y tambin que P es el afijo de x.

3)
En resumen
) y , x ( ) P , P ( P
0 0 2 1

Componiendo ambas relaciones le asignamos a cada punto del plano un par ordenado de nmeros reales.
Estableciendo de esta forma una correspondencia entre y .
Justifique el lector que tal correspondencia es una funcin biyectiva.

Si mediante la biyeccin recin descrita ) y , x (
0 0
son las imgenes del punto P decimos que
0
x es la abscisa de P e
0
y su ordenada. Tambin decimos que el par ) y , x (
0 0
son las coordenadas del punto P o que P es el afijo de
) y , x (
0 0
Si ) y , x (
0 0
son las coordenadas del punto P, anotamos: P ) y , x (
0 0
.

Es innecesario mencionar que las rectas orientadas x e y (llamadas ejes cartesianos ) no tienen por qu ser
perpendiculares. Si lo son (que es lo mas habitual) decimos que estamos frente a un sistema de coordenadas
cartesiano ortogonal
P
1
P
y
x
2
P
O
Consideramos y e x
r r
dos rectas orientadas que se cortan. en O
A cada punto P le hacemos corresponder ) P , P (
2 1
un par de
puntos, proyecciones de P sobre cada uno de los ejes segn la
direccin del otro.
x P Ahora
1
r
y por lo tanto tiene una abscisa
0
x anlogamente
como
2
P tambin pertenece a un eje orientado
le podemos asignar una y solo una abscisa
0
y . Por lo tanto al par
de puntos ) P , P (
2 1
le corresponde el par de reales ) y , x (
0 0

68
68

4)
Entonces

Justifique el lector que la frmula obtenida es vlida independientemente de la posicin particular que ocupen los
puntos A y B con respecto a los ejes.

5) Asumimos que la longitud de una circunferencia de radio r es r 2 ; por lo tanto si denominamos
0
C a la
circunferencia de centro O(0,0) y radio 1 esta tiene longitud 2 .

6) Tambin aceptamos que los arcos de circunferencia son medibles.

En particular:
i) [ ) 2 , 0 existe y es nico
0
C P tal que = AP
ii)
0
C P existe y es nico [ ) 2 , 0 tal que = AP

7) Tambin existe una biyeccin entre los ngulos al centro y los puntos de una circunferencia.

En particular si denominamos al ngulo AOP ; al ngulo le corresponde un y solo un punto P
0
C y
como vimos recin a P le corresponde un y solo un nmero [ ) 2 , 0 . Componiendo ambas funciones
al ngulo le corresponde el real . Como ambas funciones son biyectivas la compuesta tambin lo es,
por lo tanto queda as establecida una biyeccin entre los ngulos al centro de [ ) 2 , 0 y C
0

Decimos que el real . es la medida en radianes del ngulo . Obsrvese que
0
C tiene radio 1 y en
consecuencia estamos utilizando el radio como unidad para medir el arco AP

A
B
N
1
A
1
B
2
A
2
B
Consideramos dos puntos del plano A ) y , x ( B y ) y , x (
1 1 0 0

en un sistema de coordenadas cartesiano ortogonal.
Si la recta AB no es paralela a ninguno de los ejes de cartesianos se
forma un tringulo rectngulo ANB.
Aplicando Pitgoras a dicho tringulo tenemos:

+ = + = ) B , A ( d ) B , A ( d ) B , N ( d ) N , A ( d ) B , A ( d
2 2
2
1 1
2 2 2 2

2
0 1
2
0 1
2
0 1
2
0 1
2
) y y ( ) x x ( y y x x ) B , A ( d + = + =
2
0 1
2
0 1
) y y ( ) x x ( ) B , A ( d + =
A(1,0)
P
Anotamos AP a la medida del arco de
0
C que nos lleva de A a P en
sentido antihorario.

En otras palabras asumimos que existe una biyeccin entre
0
C y [ ) 2 , 0

69
69
Nota
Somos conscientes que la justificacin de las proposiciones 5) 6) y 7) encierran tales dificultades que
exceden los objetivos de Geometra I y por lo tanto el lector deber esperar cursos posteriores para ver
tales justificaciones.

Teorema
existen y son nicos [ ) + = k 2 ; Z k y 2 , 0

Dem Existencia = + = k 2 k 2
Ahora [ ) 1 k
2
k ) 1 k ( 2 k 2 2 k 2 0 2 0 2 , 0 + <
+ < < <

Entonces llamando
(
=
2
k (parte entera de
2
) tenemos que: 1 k
2
k + <
volviendo atrs en el
razonamiento anterior llegamos a que: < 2 k 2 0

En resumen: [ ) + = =
(
= k 2 que tal 2 , 0 k 2 y Z
2
k

Unicidad Suponemos:
[ )
[ )
= + = +
)
`
+ =
+ =
2 ) k k ( k 2 k 2
Z k y 2 , 0 ; k 2
Z k y 2 , 0 ; k 2

< < < <
)
`
< <
<
2 2 ) k k ( 2 2 2
0 2 2 0
2 0 Ahora

= = = < < k k 0 k k Z k k como 1 k k 1

Nota
Utilizando el teorema anterior podemos definir la funcin [ ) = ) ( ; 2 , 0 : Por lo dicho
anteriormente tambin existe una funcin [ ) = = AP que tal C P con P ) ( f ; C 2 , 0 : f
0 0

Componiendo y f tenemos una funcin mediante la cual a cada nmero real le corresponde un punto P de
0
C

P
f

Si P ) ( f = o (la imagen segn la mencionada funcin compuesta del real es el punto P) diremos que P es el
asociado de .

Observemos que o f y no son inyectivas ; es mas: = + Z h ) ( ) h 2 (
= + Z h ) ( f ) h 2 ( f o o .
As ... .......... .......... , 1034 , ... .......... , 2 , 4 , 2 , + + tienen el mismo punto asociado.

Le sugerimos al lector que haga una interpretacin geomtrica de estos hechos.

Definicin
Consideramos
0 0 0
C ) y , x ( P y su asociado. Llamamos coseno de (anotamos cos )
a la abscisa del punto P; en otras palabras:
0
x cos = . Y denominamos seno de (anot. sen )
a la ordenada de P; o sea: sen
0
y = .

70
70

Ejemplos
El asociado de 0 es 0 0 sen y 1 0 cos ) 0 , 1 ( A = =
El asociado de 1 sen y 0 cos ) 1 , 0 ( B es
2 2 2
= =

Como + = ) 215 .( 2 431 el asociado de 0 ) 431 sen( y 1 ) 431 cos( ) 0 , 1 ( C es 431 = =
Busquemos ahora el seno y el coseno de
3

Ejercicios Calcular seno y coseno de
4 6
y

Observaciones Como el asociado de + k 2 y es el mismo Z k entonces

Ejercicios Calcular ( ) ( )
3
241
4
573
sen y cos

Ejercicios Resolver en 0 x sen ) ii 0 x cos ) i : ) ,, , ( = = +

Observaciones

Cabe resaltar que hemos definido seno y coseno de un nmero real; no de un ngulo.

Si consideramos las funciones x cos ) x ( g ; : g y x sen ) x ( f ; : f = = las ltimas dos
observaciones realizadas nos permiten afirmar que f y g son funciones peridicas ( de periodo 2 ) y acotadas
(entre 1 y 1 ).
A(1,0)
) y , x ( P
0 0

P
f

) y , x (
0 0
Definimos
0
x cos = y sen
0
y = .

Recordemos que [ ) = + = AP ; C P y Z k , 2 , 0 con k 2
0

Si D ) y , x (
0 0
es el asociado a
3
consideraciones geomtricas elementales

nos llevan a que el tringulo OAD es equiltero
1
D es el punto medio de OA ( )
2
1
3 2
1
0
2
1
1
cos x 0 , D = =

Ahora = + = + = 1 y x 1 ) 0 y ( ) 0 x ( ) D , O ( d
2
0
2
0
2
0
2
0

2
3
0
4
3 2
0
2
0
4
1
y y 1 y = = = + en este caso 0 y
0
>
2
3
3
sen =

Z k sen ) k 2 ( sen
Z k cos ) k 2 ( cos
= +
= +

1 sen 1
1 cos 1
A D
1
D(x
0
, y
0
)

71
71

Definicin
Consideramos
1) Si ) Z k ( k 2
2
+

definimos tangente de (anotamos
=
cos
sen
tg ) tg
2) Si ) Z k ( k 2
2
+

definimos secante de
=
cos
1
sec ) sec anotamos (
3) Si ) Z k ( k definimos cosecante de
=
sen
1
ec cos ) ec cos anotamos (
4) Si ) Z k ( k definimos cotangente de
=
sen
cos
g cot ) g cot anotamos (

Nota Consideramos
2
0 ;

< < y P su asociado.

Le sugerimos al lector hacer las correspondientes interpretaciones geomtricas cuando
< < < < < <

2
2
3
2
3
2

Nota

Tambin le recomendamos revisar la bibliografa referida al tema utilizada en secundaria; sobre todo si no maneja el
tema con profundidad.
La pretensin de este trabajo es definir (de forma clsica) las funciones trigonomtricas, estudiar sus propiedades
algebraicas y resolver algunas ecuaciones e inecuaciones que las involucran. No trabajaremos sobre resolucin de
tringulos y los mltiples problemas que ello nos permite encarar (calcular la distancia a un punto inaccesible, la
altura de una montaa, etc.) Tampoco estudiaremos a las funciones trigonomtricas bajo el punto de vista del
anlisis (continuidad, derivabilidad, desarrollo en serie de potencias, etc.)

Algunas frmulas

Formulas fundamentales

El tringulo P OP
1
es semejante al OAT entonces

) A , O ( d
) T , A ( d
) P , O ( d
) P , P ( d
1
1
= como d(O,A)=1 = = sen ) P , O ( d ) P , P ( d
2 1

y ) T , A ( d tg ) T , A ( d
cos
sen
cos ) P , O ( d
1
= =
=
Probar que:

) T , B ( d g cot y ) T , O ( d ec cos ) T , O ( d sec = = =
= + 1 sen cos
2 2 1)
O P
1
T
A
P
P
2
T

B

72
72

Ejercicio Probar: i) ) Z k ( k ; sec
cos
1
tg 1
2
2
2
2
+ =
= +

ii) ) Z k ( k ; ec cos
sen
1
g cot 1
2
2
2
=
= +

Adems si [ ) = + = AP Z k y 2 , 0 ; k 2
[ ) = + = AQ Z h y 2 , 0 ; h 2

Supongamos que = = > AQ AP QP Adems [ ) 2 , 0

Como [ ) = + = AR Z h k y 2 , 0 con ) h k ( 2

Por lo tanto
2 2 2 2
) 0 ) (sen( ) 1 ) (cos( ) sen (sen ) cos (cos ) R , A ( d ) P , Q ( d AR QP + = + = =

( ) + = + ) ( sen 1 ) cos( ) sen (sen ) cos (cos
2 2 2 2

) cos( 2 1 ) ( sen ) ( cos sen sen 2 cos cos 2 sen cos sen cos
1
2 2
1
2 2
1
2 2
+ + = + + +
4 4 4 4 3 4 4 4 4 2 1 4 4 3 4 4 2 1
4 4 3 4 4 2 1

A(1,0)
P
Consideramos y P su asociado ) sen , (cos P
Ahora = + = 1 ) 0 (sen ) 0 (cos 1 ) P , O ( d
2 2

1 sen cos 1 sen cos
2 2 2 2
= + = +
O
2) + = , sen sen cos cos ) ( cos
A
R
Q
P
O
Consideramos ,

Denominamos: P,Q y R a los asociados de y ,
respectivamente.

Entonces ) sen , (cos Q ) sen , (cos P y
)) ( sen ), ( (cos R

73
73

Entonces + = = sen sen cos cos ) cos( ) cos( 2 2 sen sen 2 cos cos 2 2

Ejercicio Probar que se cumple:
Demostremos iii) como ejemplo.

( ) ( ) = + = = =

sen sen sen cos cos cos ) ( cos ) ( sen
1
2
0
2 2 2
) i
3 2 1 3 2 1

Ejercicio Probar que , se cumple:

Demostremos la primera de ellas a manera de ejemplo

( ) = + = = +

sen sen cos cos ) sen( sen ) cos( cos ) ( cos ) ( cos
sen cos
43 42 1 43 42 1

Ejercicio Probar que en condiciones de existencia se cumple:

Nota
Aplicando i) tenemos que
}
{
0
0
tg tg 1
tg tg
) ( tg

+
= + = tg lo cual nos hace sospechar que
= + Z k tg ) k ( tg en condiciones de existencia. Probmoslo.

=
=
+
+
= + = + = =
tg
cos
sen
) h 2 ( cos
) h 2 ( sen
) h 2 ( tg ) k ( tg Z h ; h 2 k 2 k Si

= + = + + = + + = + + =
tg ) h 2 ( tg ) h 2 ( tg ) ) 1 h 2 ( ( tg ) k ( tg Z h ; 1 h 2 k 2 k Si

i) ( ) =
sen cos
2

ii) = cos ) ( cos
iii) = sen ) ( sen
iv) = cos ) ( cos
v) = sen ) ( sen
vi) + cos ) ( cos
vii) = + sen ) ( sen
+ = +
=
= +
sen cos cos sen ) ( sen
sen sen cos cos ) ( cos
i)

+
= +
tg tg 1
tg tg
) ( tg ii)
+

=
tg tg 1
tg tg
) ( tg
iii) ( ) =
= +

g cot
tg
1
tg
2
iv) ( ) =
=

g cot
tg
1
tg
2

existencia de s condicione en y Z k tg ) k ( tg = +
Por lo tanto:

74
74
En otras palabras hemos probado que la funcin tangente es peridica de periodo .

Ejercicios Probar que en condiciones de existencia se cumple:

Por ejemplo: = = + =
2 2
sen cos sen sen cos cos ) ( cos 2 cos

Frmulas de factoreo

Consideramos las igualdades ya demostradas

=
+ = +

Sumando miembro a miembro tenemos
= + + cos sen 2 ) ( sen ) ( sen

Y restando nos queda: = + sen cos 2 ) ( sen ) ( sen

Si ahora llamamos
2
b a
2
b a
y b y a
+
= = = + = sustituyendo en las igualdades
anteriores llegamos a:

Anlogamente se demuestra:

Seno, coseno y tangente de x en funcin de tg x/2

Vimos anteriormente que =
2 2
sen cos 2 cos Si cambiamos ) x 2 ( x por 2
2
x
= =
tenemos:
[ ] ) ( tg 1 cos
cos
sen
1 cos sen cos x cos
2
x 2
2
x 2
2
x 2
2
x 2
2
x 2
2
x 2
2
x 2
=
(
(
= =
Tambin vimos que:
2
x 2 2
x 2
2
2
2
2
tg 1
1
cos
tg 1
1
cos
cos
1
tg 1
+
=
+
=
= + Sustituyendo en

=
=
=
2
2 2
tg 1
tg 2
2 tg
sen cos 2 cos
cos sen 2 2 sen
2
b a
2
b a
2
b a
2
b a
sen cos 2 b sen a sen
cos sen 2 b sen a sen
+
+
=
= +
2
b a
2
b a
2
b a
2
b a
sen sen 2 b cos a cos
cos cos 2 b cos a cos
+
+
=
= +
existencia de s condicione en x ; x
(*) nos queda:
2
x 2
2
x 2
tg 1
tg 1
x cos
+
=

75
75
Demostrar: existencia de s condicione en x ; x

Nota
Ya vimos que las funciones trigonomtricas son peridicas y en consecuencia no son inyectivas; por lo tanto
la proposicin = = sen sen es falsa. Busquemos una condicin necesaria y suficiente que si
sea cierta.

==
=
=
+
= =

+
2
2
sen
0 cos
0
2
sen
2
cos 2 0 sen sen sen sen

+ = =
+ = + =
+
k 2 ) Z k ( k
k 2 ) Z k ( k
2
2 2

Algunos ejercicios resueltos:

Ejemplo 1 Resolver en
2
3
) x 2 ( sen : ) ,, , ( = + +

+ = + = +
+ = + = +
= +

k x k 2 x 2
) Z k ( k x k 2 x 2
2
3
) x 2 ( sen
6 3
2
3 3
) (

(*) Tengamos en cuenta que la funcin seno es una funcin peridica de periodo 2 . Por lo tanto una posible
estrategia consiste en hallar las preimgenes de
2
3
en el intervalo [ ) 2 , 0 lo cual hacemos en este caso mediante la
tabla de arcos notables, que se adjunta al final de estas notas, y luego cada uno de esas soluciones ( )
3
2
3
y

genera
una familia de races que difieren entre s en k 2 ) Z k ( . En el ltimo paso simplemente despejamos x.
2
x 2
2
x
tg 1
tg 2
x sen
+
=
2
x 2
2
x
tg 1
tg 2
x tg
+ =
+ =
=
) Z k ( k 2
) Z k ( k 2
sen sen
+ =
+ =
=
) Z k ( k 2
) Z k ( k 2
cos cos
) Z k ( k tg tg + = =
En resumen:
Anlogamente se demuestra:

76
76
Ejercicios: Resolver en 2 ) x 2 ( sec ) ii 1 x tg ) i : ) ,, , ( = + = +

Respuestas: i) + =

k x
4
7
ii) ) Z k ( k x k x
3 3
+ = + =

Ejemplo 2 Resolver en ) x ( sen ) x 2 ( cos : ) ,, , ( + = +
Intentemos utilizar las condiciones necesarias y suficientes vistas en el punto anterior. Para ello
Necesitamos tener una igualdad entre senos o entre cosenos; para ello usamos que:
( ) =

2
cos sen

( ) ( ) = + = + =

x cos x 2 cos ) x ( cos x 2 cos ) x ( sen x 2 cos
2 2

+ = + + =
+ = + =

k 2 x k 2 x x 2
k 2 x k 2 x x 2
2 2
3 6 2
) Z k (

Ejercicio: Resolver en x 3 sen ) x 2 ( sen : ) ,, , ( = + + Respuesta:
5
k 2 x k 2 x

= + =

:Ejemplo 3 Resolver en 2 x cos x sen 5 x sen : ) ,, , (
2 2
+ = +

0 3 x sen 5 x sen 2 2 x sen 1 x sen 5 x sen 2 x cos x sen 5 x sen
2 2 2 2 2
= + = + =

Si denominamos x sen z = sustituyendo nos queda: 3 z z 0 3 z 5 z 2
2
1 2
= = =

Como
+ =
+ =
=
=
x 1 x sen 1 que ya solucin con . ec 3 x sen

k 2 x
k 2 x
x sen
z x sen
6
11
6
7
2
1

Ejercicio Resolver en 0 3 x cos x cos 2 : ) ,, , (
2
= + Respuesta: ) Z k ( k 2 x + =

Ejemplo 4 3 x cos 4 x 2 sen : ) ,, , (
2
= + +

3 x cos 4 x cos x sen 2 3 x cos 4 x 2 sen
2 2
= + = + Dividimos entre x cos
2
Observemos que
no x 0 x cos ; x = es solucin.

x cos
3
x cos
x cos
4
x cos
x cos x sen 2
2 2
2
2
= + Como x tg 3 3
x cos
3
x tg 1
x cos
1
2
2
2
2
+ = + =

Sustituyendo nos queda: z x tg si 0 1 x tg 2 x tg 3 x tg 3 3 4 x tg 2
2 2
= = + = +

3
1 2
z 1 z 0 1 z 2 z 3 = = =

Como tgx = z
( )
+ = =
+ = =
k tg Arc x x tg
k x 1 x tg
3
1
3
1
4

77
77

Nota Denominamos ( )
3
1
tg Arc

al nico real del intervalo ( )
2 2
,

cuya tangente vale
3
1

Ejercicio 0 x 2 sen x sen x cos 3 : ) ,, , (
2 2
= + Respuesta: ( ) + = + =

k tg Arc x k x
2
3
4

Ejemplo 5 Resolver en [ ) 0 1 x sen 2 : 2 , 0 +

6
11
6
7
2
1
x x sen 0 1 x sen 2

+
Ejercicio Resolver en [ ) 3 x cos 2 : 2 , 0 > Respuesta: [ ) ( ) 0 , , 0
6
11
6

Ejemplo 6 Resolver en [ ) 0 1 x cos 2 : 2 , 0
2

Si denominamos x cos z = sustituyendo nos queda: 0 1 z 2
2

2
2
2
2 2
z 0 1 z 2
Entonces:

4
7
4
5
4
3
4
2
2
2
2 2
x
x
x cos 0 1 x cos 2

Ejercicio Resolver en [ ) x sen 3 x cos 5 x cos : 2 . 0
2 2
> + + Respuesta: ( )
3
5
3
,

2
1

6
7
6
11
2
2
2
2
4
3
4
5
4
7
2
2
2
2
4
3
4
5
4
7

78
78

I) Resolver en : ) ,, , ( + i)
2
1
x cos = ii) 1 ) x tg(
2
=

iii) ) x cos( x 3 cos
4
+ = iv) x 4 tg ) x 2 tg(
3
=

v) x 4 sen ) x 2 cos(
6
= +

vi) 0 x 2 cox x 3 sen = + vii) 0 1 cos 3 cos 2
2
= + x x viii) 0 3 x sen 7 x sen 2
2
= + +
ix) 4 x sen 5 x cos 4
2 4
= + x) 4 ) x 2 cos( 8 ) x 2 ( sen 4
6 6
2
=

xi) 3 x cos x sen = xii) 1 2 sen 2 2 cos = x x
xiii)
2
1
) x 2 cos( ) x 2 cos(
3 3
= + +

xiv) 2 x cos log
2
x sen
= ( resolver en [ ) , 0 )
xv) 2 ) 1 x 2 cos x (sen log
2 2
x sen
= + xvi) 40 4 16
2 2 2
cos 2 2 cos
= +
+ x x sn x

II) Resolver en [ ) 2 , 0 las siguientes inecuaciones:
i) 0 1 x sen 2 > ii) 3 x tg > iii) ( ) 4
x cos 4
2
1

iv) 0 3 x cos 4
2
< v) 2 x cos x sen 5 x sen
2 2
+ + vi) [ ]
2
2 2
, 0 en 0 x sen 3 x cos

vii) 0 3 2 x sen ) 3 4 ( x sen 2
2
+

III) Hallar la medida del lado del lado de un pentgono regular inscrito en una cfa. de 10cm. de radio.

79
79
NMERO COMPLEJO

Introduccin
Recordemos que los nmeros reales no cubren todas las necesidades algebraicas; as por ejemplo la
ecuacin 0 1 x
2
= + tiene solucin vaca en ). ,, , ( +
Ya en el siglo XVI se introdujo el smbolo 1 como raz de la ecuacin anterior. Este smbolo mas
tarde se sustituy por i considerado como un nmero ficticio o imaginario que deba tratarse algebraicamente
como un real, salvo que 1 i
2
= . As la ecuacin 0 1 x
2
= + tiene races ) i x )( i x ( 1 x y i
2
+ = +
Nmeros del tipo ) b , a ( bi a + fueron llamados nmeros complejos y se utilizaban formalmente
como si fuesen reales. Por ejemplo si i ' b ' a ' z y bi a z + = + =

}
i ) b a b a ( b b a a i b b bi a i b a a . a ) i b a ( ) bi a ( ' z . z
i ) ' b b ( ' a a ' z z
1
2
+ + = + + + = + + =
+ + + = +

Este tratamiento carente de todo rigor dur casi trescientos aos, hasta que a mediados del siglo XIX
describieron a los nmeros complejos que puede considerarse satisfactoria en la actualidad.

Observemos que si informalmente consideramos bi a + como un nmero complejo, con b , a en definitiva lo
estamos viendo como el par ordenado (a,b). y adems los operamos:

) ' ab b ' a , ' bb ' aa ( ) ' b , ' a ).( b , a (
) ' b b , ' a a ( ) ' b , ' a ( ) b , a (
+ =
+ + = +

Lo cual da origen a la siguiente definicin.

Definicin
Si llamamos = C y definimos:
1) ' b b ' a a ) ' b , ' a ( ) b , a ( = = =
2) ) ' b b , ' a a ( ) ' b b ( ) ' a , a ( ; C C C : + + = +
3) ) b ' a ' ab , ' bb ' aa ( ) ' b , ' a ( ) b , a ( ; C C C : + =

A ) , , C ( la denominamos estructura de los nmeros complejos, o simplemente nmeros complejos

Teorema
) , , C ( es un cuerpo conmutativo

Dem:
Es inmediato que y por como fueron definidas son operaciones en C. En consecuencia nos falta probar:
.
[ ] [ ] C ) b , a ( ), ' b , ' a ( ), b , a ( ) b , a ( ) ' b , ' a ( ) b , a ( ) b , a ( ) ' b , ' a ( ) b , a ( Asociativa ) S
1
=

C ) ' b , ' a ( ), b , a ( ) b , a ( ) ' b , ' a ( ) ' b , ' a ( ) b , a ( a Conmutativ ) S
2
=

C ) b , a ( ) b , a ( ) b , a ( ) 0 , 0 ( ) 0 , 0 ( ) b , a ( ; C ) 0 , 0 ( Neutro ) S
3
= =

) 0 , 0 ( ) b , a ( ) b , a ( ) b , a ( ) b , a ( ; C ) b , a ( C ) b , a ( Opuesto ) S
4
= =

[ ] [ ] C ) b , a ( ), ' b , ' a ( ), b , a ( ) b , a ( ) ' b , ' a ( ) b , a ( ) b , a ( ) ' b , ' a ( ) b , a ( Asociativa ) P
1
=

80
80
C ) ' b , ' a ( ), b , a ( ) b , a ( ) ' b '. a ( ) ' b , ' a ( ) b , a ( a Conmutativ ) P
2
=

C ) b , a ( ) b , a ( ) b , a ( ) 0 , 1 ( ) 0 , 1 ( ) b , a ( ; C ) 0 , 1 ( Neutro ) P
3
= =

) 0 , 1 ( ) b , a ( ) b , a ( inv ) b , a ( inv ) b , a ( ; C ) b , a ( inv ) 0 , 0 ( ) b , a ( ; C ) b , a ( Inverso ) P
4
= =

SP) Distributiva [ ] [ ] [ ] C ) b , a ( ), ' b , ' a ( ), b , a ( ) b , a ( ) b , a ( ) ' b , ' a ( ) b , a ( ) b , a ( ) ' b , ' a ( ) b , a ( =

Demostremos alguna de ellas como ejemplo:

) S
1
Asociativa

[ ] [ ] [ ]
) , ( en . Asoc
) b ' b b , a ' a a ( ) b ' b , a ' a ( ) b , a ( ) b , a ( ) ' b , ' a ( ) b , a (
+
= + + + + = + + =
[ ] [ ] ( ) [ ] ) b , a ( ) ' b , ' a ( ) b , a ( ) b , a ( ) ' b b , ' a a ( b ' b b , a ' a a = + + = + + + + =

) P
4
Inverso A diferencia del opuesto aqu no es inmediato cual es el inverso de (a,b). Para hallarlo nos planteamos
un par (x,y) incgnita que intentaremos hallar.

= +
=
= + =
0 bx ay
1 by ax
) 0 , 1 ( ) bx ay , by ax ( ) 0 , 1 ( ) y , x ( ) b , a (

Si
a
bx
y 0 bx ay como 0 a

= = + sustituyendo en la primera igualdad nos queda: 1
a
bx
. b ax = |
\
|

2 2
2 2 2 2
b a
a
x a x ) b a ( a x b x a
+
= = + = + como
2 2 2 2
b a
b
b a
a
.
a
b
y
a
bx
y
+
=
+
/
/
=
=

Por lo tanto si 0 a encontramos el inverso de (a,b) que es
|
|
\
|
+
+
2 2 2 2
b a
b
,
b a
a
Probemos que este resultado es
vlido tambin cuando ) 0 b y ( 0 a =

) 0 , 1 ( 0 ,
b a
b a
b a
a
. b
b a
b
. a ,
b a
b
. b
b a
a
. a
b a
b
,
b a
a
) b , a (
2 2
2 2
2 2 2 2 2 2 2 2 2 2 2 2
=
|
|
\
|
+
+
=
|
|
\
|
+
+
+
+
=
|
|
\
|
+
+

En consecuencia
) 0 , 1 (
b a
b
,
b a
a
) b , a ( que tal C
b a
b
,
b a
a
) 0 , 0 ( ) b , a ( ; C ) b , a (
2 2 2 2 2 2 2 2
=
|
|
\
|
+
+

|
|
\
|
+
+

Veamos : si 0 b a 0 b 0 a ) 0 , 0 ( ) b , a (
2 2
+

Observacin
El teorema anterior muestra que ) , , C ( satisface el axioma 1 visto en ,) , ( + . Por consiguiente las
propiedades deducidas exclusivamente del axioma 1 tambin son vlidas para ) , , C ( ; en particular la posibilidad
de restar y dividir, las cancelativas de la suma y el producto, la propiedad de absorcin y la ausencia de divisores de
cero.

81
81
Los nmeros complejos como una extensin de los reales

Consideramos { } C ) 0 , x ( C
0
= . Observemos que:

) 0 , xy ( ) y . 0 0 . x , 0 . 0 xy ( ) 0 , y ( ) 0 , x ( ) 3
) 0 , y x ( ) 0 0 , y x ( ) 0 , y ( ) 0 , x ( ) 2
C C ) 1
0
= =
+ = + + =

Por lo tanto y son operaciones en
0
C . En consecuencia ) , , C (
0
es una subestructura de ) , , C ( .
Adems tengamos en cuenta que sumamos y multiplicamos los complejos de
0
C sumando y multiplicando sus
primeras componentes

Observemos tambin: que ambos neutros ( ) 0 , ) 0 , x ( inv , ) 0 , x ( ) 0 , x ( , C ) 0 , 1 ( y ) 0 , 0 (
x
1
0
= =
En otras palabras ,) , ( y ) , , C (
0
+ se comportan del mismo modo. Por este motivo habitualmente no hacemos
distincin entre el real x y el complejo (x,0); escribiendo x=(x,0) .

Qu justifica formalmente identificar un real a un par de reales? Afinemos esta idea.

Definicin
Consideramos: ) , B ( y ) , A ( o dos estructuras algebraicas
B A : f una funcin

Decimos que f es un homomorfismo A b , a ) b a ( f ) b ( f ) a ( f = o
Si adems f es biyectiva la denominamos isomorfismo.

Dos estructuras algebraicas se dice que son homomorfas (isomorfas) si existe un homomorfismo
(isomorfismo) entre ellas.

Observacin:
Sean ) , B ( y ) , A ( o dos estructuras algebraicas isomorfas. Porqu esta denominacin? Intentemos
responder.

Denominamos f al isomorfismo
Si ) , A ( es conmutativa A b , a ) a b ( f ) b a ( f b , a a b b a = =
B ) b ( f ), a ( f ) a ( f ) b ( f ) b ( f ) a ( f = o o Como f es biyectiva y por lo tanto sobreyectiva
todo elemento de B es imagen de uno de A. Entonces = B y , x x y y x o o ) , B ( o es
conmutativa

Si n es neutro de A a ) a ( f ) a n ( f ) n a ( f A a a a n n a ) , A ( = = = =
) n ( f B x x ) n ( f ) n ( f x B ) a ( f ) a ( f ) a ( f ) n ( f ) n ( f ) a ( f = = = o o o o es neutro
de ) , B ( o

Anlogamente puede probarse que toda propiedad que cumpla ) , A ( se trasmite a ) , B ( o por f. Tambin es posible
demostrar que
1
f

es un isomorfismo con lo cual toda propiedad que cumpla ) , B ( o se trasmite a ) , A ( . En
consecuencia ) , A ( y ) , B ( o tienen exactamente las mismas propiedades. En otras palabras dos estructuras isomorfas
son algebraicamente idnticas.

En la prctica da lo mismo operar con a A segn . segn B ) a ( f con que o Por ese motivo suele identificarse a
con f(a) anotando a = f(a) a pesar de no ser el mismo elemento; pero se comporta algebraicamente como si lo fuera.
Tambin ambas operaciones ) y ( o se anotan con el mismo smbolo. Idnticas consideraciones son vlidas para
estructuras algebraicas mas complicadas (con mas de una operacin, con una relacin de orden).

82
82

Ejercicio Consideramos:
x
a ) x ( f ; : f y a =
+
Probar que f es un isomorfismo entre ,) ( y ) , (
+
+

Teorema
H) ) 0 , x ( ) x ( f ; C : f
0
= T) f es un isomorfismo entre ) , , C ( y ,) , (
0
+

Dem: Debemos probar: i) f es sobreyectiva
ii) f es inyectiva
iii) = + b , a ) b ( f ) a ( f ) b a ( f
iv) = b , a ) b ( f ) a ( f ) b . a ( f

i) ) 0 , x ( ) x ( f ; x C ) 0 , x (
0
=

ii) Si ) ' x ( f ) x ( f ) 0 , ' x ( ) 0 , x ( ' x x

iii) = = + = + b , a ) b ( f ) a ( f ) 0 , b ( ) 0 , a ( ) 0 , b a ( ) b a ( f
iv) = = = b , a ) b ( f ) a ( f ) 0 , b ( ) 0 , a ( ) 0 , b . a ( ) b . a ( f

Una vez demostrado este teorema podemos considerar . C a como a
0
Teniendo en cuenta que C C
0
podemos
considerar a C como una extensin de .
A partir de este momento no haremos distincin entre los smbolos de suma de reales y suma de complejos; de la
misma forma procederemos respecto al producto.

Hasta ahora manejamos las similitudes entre la estructura de los reales y la de los complejos. Analicemos ahora las
diferencias.

La unidad imaginaria
Observemos que: ) 0 , 1 ( ) 0 . 1 1 . 0 , 1 . 1 0 . 0 ( ) 1 , 0 ).( 1 , 0 ( = + = Gracias al isomorfismo visto en
el punto anterior podemos anotar x en lugar de (x,0). Si denominamos i al complejo (0,1) tenemos que

Tenemos pues que en ,) , C ( + la ecuacin 0 1 x
2
= + no tiene solucin vaca como en ,) , ( + Con los nmeros
complejos no solamente ganamos que la mencionada ecuacin tenga solucin no vaca. En 1799 Gauss demostr que
todo polinomio de coeficientes reales o complejos de grado n ) 1 n ( tiene al menos una raz compleja. Proposicin
que se conoce como teorema fundamental del lgebra. El lector interesado puede encontrar la demostracin en
lgebra Moderna de Birkhoff-MacLane. Tal demostracin excede los objetivos de este curso.

Ahora estamos en condiciones de vincular la idea del nmero complejo como un par ordenado de reales con la
notacin utilizada por los antiguos matemticos.

Observemos primero que = + = = b ) b , 0 ( ) 1 . b 0 . 0 , 1 . 0 0 . b ( ) 1 , 0 ).( 0 , b ( i . b

i . b a ) b , 0 ( ) 0 , a ( ) b , a ( C ) b , a ( z + = + = = A la expresin i . b a + la denominamos forma binmica de z

Imposibilidad de ordenar a los nmeros complejos

Al desarrollar la teora de los nmeros reales no solamente introdujimos en el la suma y el producto; tambin lo
dotamos de una relacin de orden compatible con las operaciones. Lo cual fue hecho a travs del axioma de orden.
1 . i
2
=

83
83
Veamos si es posible establecer una proposicin anloga en ,) , C ( +

Suponemos entonces que C C
+
que verifica:

1) C x se cumple una y solo una de las siguientes proposiciones

+ +
= C x ) iii 0 x ) ii C x ) i

+

+
+
+
C y . x
C y x
C y , x Si ) 2

Como
= = =
= = =
+ + + +
+ + + +
in contradicc una tenemos C 1 como C 1 ) 1 ).( 1 ( C 1 i ) i ( C i
n contradici una tenemos C 1 como C 1 ) 1 ).( 1 ( C 1 i . i i C i

0 i
2 2
) 2
2
) 2

Esto prueba que es imposible ordenar a los complejos con las caractersticas que lo fueron los reales.

Representacin grfica

En consecuencia determinar el complejo z es equivalente a determinar el punto P. Y esto puede hacerse no
solamente mediante las coordenadas cartesianas sino tambin dando la distancia de O a P y la medida del ngulo
OP OP
1

Si de medida la y ) P , O ( d = OP OP
1
= ; el punto P y por lo tanto el complejo z est determinado por el par de
reales , . Anotamos = z y decimos que es su forma polar. se denomina mdulo de z y su
argumento

Puede demostrarse que si z = (a,b) y = z se cumple:
Tambin puede probarse:
Como un complejo es en definitiva un par ordenado de reales, si
en un plano establecemos un sistema de coordenadas cartesianas
(en este caso ortogonales) a cada complejo z = (a,b) le podemos
asociar un y solo un punto P del plano; justamente el de
coordenadas (a,b), que denominamos afijo de z.
Establecemos de esta forma una biyeccin entre C y los puntos
del plano

P
1
P
2
P
O
=
=
sen . b
cos . a
2
3
2
a
b
2 2
0 b y 0 a si
0 b y 0 a si
tg 0 a si
b a
= < =
= > =
=
+ =
+ =
=
=
) Z k ( k 2 '
'
' '

84
84

Teorema
' ' . ' ' . + =

Dem:

= + = = ) ' cos sen ' . ' sen cos ' . , ' sen sen ' . ' cos cos ' . ( ) ' sen ' , ' cos ' ( . ) sen , cos ( ' ' .

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

Ejercicio Consideramos:
4 4
2 t y 1 w , z

= = = Calcular: z.w , z.t y z.i Interpretar
geomtricamente
Generalice su observacin.

Ejercicio Si ) 0 z ( z = probar que: =
1
z
1

Potencia de exponente entero

Definicin
Consideramos: Z z y C
Si 0 = y z > 0 definimos 0 0
z z
= =

Si 0 z y 0 = definimos 1
0 z
= =

Si 0 z y 0 > definimos
1 z z
.

=

Si 0 z y 0 < definimos
z
z
1
=

Observacin: La definicin hecha es idntica a la realizada en los reales. Como adems ya vimos que (C,+,) y
,) , ( + son ambos cuerpos conmutativos; la potencia de base compleja y exponente entero cumple idnticas
propiedades algebraicas que la potencia de base real y exponente entero. Es innecesario mencionar que carece de
sentido cualquier planteo sobre la variacin de la potencia recin definida.

Teorema

=
Z m
; C
) H = m ) T
m m

Otra interpretacin geomtrica til es
asociar al complejo z = (a,b) el vector OP
con P(a,b).

Consideraciones geomtricas permiten
afirmar que el vector asociado a la suma de
dos complejos es la suma de los vectores
asociados
O
P(a,b)
Q(a,b)
H(a+a,b+b)

85
85

Dem:
N m 0 m Si Tiene sentido entonces intentar una demostracin por I.C.

1 paso
=
= =
=
. 0
1 0 1 . 0
1
0 0
0
0

2 paso
= . h ) H
h h
T) + =
+ +
). 1 h (
1 h 1 h

+ = + = = =
+ +
). 1 h ( h . . h . .
1 h h h h 1 h

= =

=

=
= = = <

m . n
n
1
) (
1 1
N n ; n m 0 m Si
m n
n n n
n m

Nota:
Si ) sen i (cos ) sen , cos ( z z + = = =
Por otra parte ) . n sen i . n (cos ) . n sen , . n cos ( . n z
n n n n n
+ = = =
Entonces:

Para 1 = la frmula anterior nos queda:

Conocida como frmula de De-Moivre.

Si aplicamos esta frmula para n = 2 tenemos:

=
=
+ = +
+ = + + + = +
sen . cos 2 2 sen
sen cos 2 cos
2 sen i 2 cos i . sen . cos 2 sen cos
2 sen . i 2 cos sen i i . sen . cos 2 cos 2 sen . i 2 cos ) sen . i (cos
2 2
2 2
2 2 2 2

Frmulas vistas oportunamente cuando tratamos trigonometra.

Ejercicio: Obtener frmulas para 3 sen y 3 cos en funcin de sen y cos

Radicacin

Consideramos 2 n ; N n , C z Definir: z w w z
n n
= = resulta la opcin mas previsible.
Antes de adoptar tal definicin debemos discutir acerca de su existencia.

Si
=
=
+ =
=
= = = =
+
n
k 2
n
n
n n
r
k 2 n
r
n r z w r w y z
Por lo tanto:
z w que tal ) Z k ( w 2 n ; N n y C z
n
n
k 2
n
= = =
+

[ ] ) . n sen i . n (cos ) sen . i (cos
n n
+ = +
Z n n sen . i . n cos ) sen . i (cos
n
+ = +

86
86

Estamos ahora s en condiciones de asumir como definicin de raz n-esima la planteada al comienzo. Y adems
obtuvimos un procedimiento para calcularla en forma polar.

Ejemplo: Calculemos
3
i Para ello tengamos en cuenta que
2
1 i

=

) Z k ( 1
3
k 2
1 1 i
3
k 2
6
2 3
3
2
3
+ =
+
= =

Si llamamos
3
k 2
6
k
1 w

+ = tendramos
aparentemente tantas races cbicas de i como enteros hay. Todas ellas con mdulo 1 y argumento
3
k 2
6
k

+ =

Observemos que:
0
6 6
13
3
2
3
2
6
5
1
6
0
w 2 1 1 w , 1 w , 1 w , 1 w = + = = = = =

......... .......... , w 2 1 1 w
1
6
5
6
17
4
= + = =

Parece que solamente hay tres races cbicas de i:
2 1 0
w y w , w ya que aparentemente
.... .......... w w w
6 3 0
= = =

..... .......... w w w
7 4 1
= = =

..... .......... w w w
8 5 2
= = =
Intentemos generalizar y justificar esta observacin.

Consideramos 2 n ; N n , z = vimos que
n
k 2
n
k
w
+
= es una raz n-esima de z Z k
Todos los
k
w tienen el mismo mdulo ( )
n
y distinto argumento |
\
| +
=
n
k 2
k
.

Probemos que z admite n y solo n races n-esimas; a saber:
1 n 3 1 0
w ..., ,......... w , w , w

Para ello debemos
probar:

1)
j h j h
w w j h si n j 0 , n h 0 con w , w < <

2)
r k
w w : que tal n r 0 ; Z r Z k = <

1)
n
) j h ( 2
n
j 2
,
n
h 2
j h j h

=
+
=
+
=

j h j h
w w
n
) j h ( 2
Z
n
j h
0
n
j h
j h como 1
n
j h
1 n j h n
0 j n n j 0
n h 0
2

=
<
< < <

)
`
< <
<

2) Z k realizamos la divisin entera
k n
r q

87
87
Entonces:
<
+ = +
+
=
+ +
=
+
= + =
n r 0
q 2 q 2
n
r 2
n
) r nq ( 2
n
k 2
r nq k
r k

n r 0 con w w
r k
< =

Observacin
Como las n races n-esimas de = z todos ellas tienen el mismo mdulo; sus afijos pertenecen a una
circunferencia de centro en el origen de coordenadas y radio
n
.
Adems la diferencia entre dos argumentos consecutivos
n
2
n
j 2
n
) 1 j ( 2
j 1 j

=
+
+ +
=
+

Por lo tanto los afijos de las n races n-esimas de z son los vrtices de un polgono regular de n lados
inscrito en una circunferencia de centro en el origen y radio la raz n-esima del mdulo de z.

Ejercicio Hallar y representar grficamente las cinco races quintas de 1.

Raz cuadrada de un complejo en forma binmica

Consideramos i . b a z + = Queremos hallar las dos races cuadradas de z sin pasar por la forma polar.

= =
= + = =
+ = +
+ = + + + = + = + =
2 2 2
2 4 2 2 4 2 2 2 2 2 2
2 2
2 2 2 2 2
b y x . 4 b xy 2
a y y x . 2 x a ) y x ( a y x
i . b a i . xy 2 y x
bi a i y i . xy 2 x i . b a ) i . y x ( z w z de cuadrada raz es i . y x w

Sumando tenemos: = + = + + = + +
+
2 2 2 2 2 2
z de mdulo
2 2
) y x (
4 2 2 4
y x ) y x ( b a y y x . 2 x
2 2 2
43 42 1 4 4 4 3 4 4 4 2 1

= =
= + =
=
= +

+
2
a 2
2
a 2
2 2
2 2
y a y 2
x a x 2
a y x
y x

Por lo tanto:

Observemos que haciendo todas las combinaciones de signo posibles tendramos cuatro races cuadradas, lo cual es
imposible. Ocurre que al elevar al cuadrado se introdujeron races. Cmo averiguar cuales son las verdaderas?
Recordemos que: 2xy = b Por lo tanto si b > 0 x e y tienen el mismo signo; en cambio si b < 0 x e y tienen distinto
signo Ejercicio: Hallar i) i 12 5 ) ii i 4 3 +

Conjugado de un complejo

Definicin
Consideramos C ) b , a ( z = . Llamamos conjugado de z (anotamos z ) al complejo ) b , a (

i bi a
2
a
2
a +
= +
P(a,b)
P(a,-b)
Observaciones : 1) Si i . b a z i . b a z = + =
2) ) z Re( 2 a 2 z z = = +
3)
2
2 2
z b a ) bi a ( ) bi a ( z . z = + = + =
4) El afijo de z es el simtrico con respecto a Ox
del afijo de z.

88
88
Nota
Si ) b , a ( z = decimos que a es su parte real (anotamos Re(z) = a ) y b su parte imaginaria (anotamos Im(z) = b )
Al mdulo de z lo escribimos z .

Teorema
1) = = z z Si
2) ( ) C z z z =
3)
0
C z z z =
4) C y , x y x y x + = +
5) C y , x y . x y . x =
6) ( ) N n C x x x
n
n
= excluyendo x = n = 0.

Dem 4)
i ). ' b b ( ' a a y x i ) ' b b ( ' a a y x i ' b ' a y e bi a x Si + + = + + + + = + + = + =

i ) ' b b ( ' a a i ' b ' a bi a y x
i ' b ' a y
bi a x
+ + = + = +
=
=
Entonces y x y x + = +

Teorema
Consideramos :
0 0 1 1 n n 0 1
1 n
1 n
n
n
C a , a ,....., a , a con a x a . .......... x a x a ) x ( f ; C C : f + + + + =

C

0 ) ( f 0 ) ( f Si = =

Dem
= + + + + = + + + + =

0 a a ........ a a 0 a a .. .......... a a ) ( f
0 1
1 n
1 n
n
n 0 1
1 n
1 n
n
n

{ { { {
= + + + + = + + + +

0 a . a ......... a . a 0 a a . .......... a a
0 1 1 n n
a
0
a
1
1 n
a
1 n
n
a
n 0 1
1 n
1 n
n
n

( ) ( ) 0 ) ( f 0 a . a ...... .......... . a . a
0 1
1 n
1 n
n
n
= = + + + +

En un lenguaje menos cuidadoso; hemos demostrado que un polinomio de coeficientes reales si acepta una raz
compleja necesariamente acepta su conjugada. Lo que trae como consecuencia que los polinomios de coeficientes
reales presentan sus races complejas de a pares. As si una funcin polinmica P de coeficientes reales acepta raz
2+3i necesariamente acepta tambin la raz 2-3i.
Que las races complejas de los polinomios de coeficientes reales vengan de a dos implica entre otras cosas que los
polinomios de coeficientes reales y grado impar aceptan al menos una raz real.
Ejemplo 1 Hallar la parte real y la parte imaginaria de
i 2 1
i 3 5
z
+
=

La idea consiste en multiplicar y dividir por el conjugado del denominador.

5
13
5
1
2 2
2
) z Im( , ) z Re( i
5
13
5
1
5
i 13 1
2 1
i 6 i 10 i 3 5
) i 2 1 )( i 2 1 (
) i 2 1 )( i 3 5 (
i 2 1
i 3 5
z = = + =
+
=
+
+ + +
=
+
+ +
=
+
=

Ejercicio Hallar la parte real y la parte imaginaria de
i 3
i 1
w
+
+
=

89
89
Ejemplo 2 Determinar una funcin polinmica de coeficientes reales del menor grado posible que admita como
races i 1 , 3 + = = y tenga coeficiente principal 1.

Denominamos f a la funcin buscada. Como f es de coeficientes reales y 0 ) ( f 0 ) ( f = =
Por lo tanto f admite al menos como races i 1 i 1 , 3 = + = = teniendo en cuenta adems que el
coeficiente principal es 1 tenemos:
) 2 x 2 x )( 3 x ( ) x ) Re( 2 x ).( 3 x ( ) . x ) ( x ).( 3 x ( ) x ).( x ).( x .( 1 ) x ( f
2
2
2 2
+ = + = + + = =

Ejer Hallar una funcin polinmica de coeficientes reales y del menor grado posible que tenga races: 2 , 1+2i y 3+i


I) Expresar en forma polar: ) 1 , 3 ( , ) 3 , 1 ( , ) 1 , 1 ( , ) 1 , 3 (

II) Dados:
6
13
8
6
11
7
2
3
6 5
2
4 3
4
5
2
6
1
4 z y 3 z 6 z 4 z 2 z 0 3 z 2 z 4 z

= = = = = = = =
i) Representarlos grficamente. ii) Expresarlos en forma binmica. iii) Calcular ( )
8
6 4
7
5
z
z . z
z
z
5
1 2 1
, , z , z . z

III) Hallar la parte real y la parte imaginaria de:
i)
i 6 4
i 2
) i 3 2 ).( i 3 2 .( 2
+ ii)
i 2 1
1
i 2
1
i 1
1
iii) ( )
6
i . 3 3 + iv)
7
9
) i 1 (
) i 1 (
+

IV) Consideramos ) m (
i 3 4
mi 2 3
z
= Hallar m para que: i) 0 ) z Re( = ii)

0
C z

V) Hallar los complejos cuyo cuadrado sea igual a su conjugado.

VI) Sea ) m ( i 12 2 m ). i 3 ( m ). i 1 ( w
2
+ + + = Hallar los valores de m para los cuales:
i) Re(w) = 0. ii) El afijo de w pertenece al cuarto cuadrante. iii)
0
C w iv)
4
) w ( Arg

=

VII) Calcular: , i 1 , 1 , i . 3 2 2 , i 4 3 , i 6 8 , i 4 3 , i 8 , i 2
5 4
+

3
i 1
i 1
5
i
32 3
y , i 2 2
+

+

VIII) Resolver en : ,) , C ( + 1) 49 ) 1 x (
2
= + 2) 0 16 x
4
= + 3) 0 1 x
8
= 4) 0 25 x
3
=
5) 0 289 x 30 x
2 4
= + 6) 0 1 i 7 x ) i 2 ( x
2
= + + 7) 0 i 5 5 x ) i 2 3 ( x
2
= + 8) 0 4 x 3 x
2 4
= +

IX) 1) Hallar 0 ) z Re( y 0 ) z Re( 27 z z ; C z , z
2 1
3
2
3
1
2 1
= =
2) Determinar a , m para que la ecuacin 0 a m 4 mx 2 x
2
= + + acepte races
2 1 2 1
z z y z z = + =

90
90

X) Resolver en (C,+,) 1) 0 51 x 58 x 19 x 2
2 3
= + sabiendo que admite raz 4+i
2) 0 74 x 306 x 33 x 6 x
2 3 4
= + + sabiendo que admite raz -5 - 7i
3) 0 i 5 5 x ) i 2 7 ( x ) i 3 ( x
2 3
= + sabiendo que admite raz i.

XI) 1) Hallar q , p de modo que la ecuacin 0 q px x 3 x 2 x
2 3 4
= + + + + admita a 1+i como raz.
2) Para los valores hallados resolver completamente la ecuacin en (C,+,).
3) Construir una funcin polinmica de cuarto grado y coeficiente principal 1 cuyas races sean los cuadrados
de las races de la ecuacin de la parte 1).

XII) Representar grficamente el conjunto de los complejos z que cumplen:
1) 2 z = 2)
1
z z

= 3) 1 z z = + 4)
0
2
C z 5) 2 z 6) 2 z <

XIII) Siendo i 6 5 z
1
+ = ; hallar C z
2
para que los afijos de 0
2 1
z y z sean los vrtices de un tringulo
Equiltero.

XIV) Hallar los complejos
3 2 1
z y z , z cuyos afijos son vrtices de un tringulo equiltero con centro en el origen
sabiendo adems que: i 8 z . z . z
3 2 1
= Representar el tringulo y calcular su permetro.

XV) Con
3 2 1
z y z complejos los hallar ; i 5 2 z + = para que los afijos de
3 2 1
z , z , z , 0 sean los vrtices de un
cuadrado.

XVI) 1) Consideramos el complejo
4
2 w

= Para cada C z denominamos
2 3 1 2 1
z . w z , z . w z , z . w z = = =
Estudiar la naturaleza del cuadriltero de vrtices los afijos de 0,
2 1
z y z , z
2) Determinar los complejos z para los cuales el rea del mencionado cuadriltero vale 6.

XVII) Resolver en (C,+,) : 0 x x x x x x 1
6 5 4 3 2
= + + + + + +
(Sugerencia: recordar que ) b .......... b . a a ).( b a ( b a
1 n 2 n 1 n n n
+ + + = )

XXI) 1) Hallar los complejos z tal que
0
3
C z Representarlos grficamente.
2) De los complejos de mdulo constante que verifican 1), determinar su mdulo para que el rea del
polgono convexo formado por sus afijos valga 3 . 6 .
3) Sea [ ] x P , y coeficiente principal 1 del menor grado posible que acepta por races los complejos
hallados en 2) parte real positiva. Resolver en 3 ) x ( P log : ) ,, , (
2 x
+

91
91

Guía Daniel Siberio (Completa)

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Guía Daniel Siberio (Completa)

Загружено:

Авторское право:

Доступные форматы

Men

) al conjunto formado por los

< < + < + +

< < < <

/ ( ) 2 y son los nicos dos.

1 1 1 lo cual contradice que a

> > >

(Si un nmero divide a otros dos divide a su suma y a su resta)

( Si un nmero divide a a divide a todos sus mltiplos)

= c x . Para ello realizamos la divisin de x

si entre primos ' b y ' a

) 725 ( 84 ) 15288 .( 243 como

sustituyendo en la ecuacin original nos queda:

p son primos con l. Al ser p un nmero primo los

p son los mltiplos de p menores que dicho

= como D(d,b)=1 (*)

es un anillo conmutativo y con unidad (Le solicitamos al lector que

= P t ; gt f H Analicemos dos casos:

g ; P g , f Entendemos por realizar la divisin entera de f entre g a

y P f Decimos que es raz de f 0 ) ( f =

entre g:g(x)= x es determinar el

x k ) b x b ..... x b x b ).( x ( a x a ..... x a x a

tal que = x ) x ( ' q ). x ( ) x ( q

una funcin polinmica real de 3 grado con races

es una funcin polinmica real de 3 grado con races

es una funcin polinmica real de 2grado con

es una funcin polinmica real de 4 grado con races

siendo , y las races de P.

+ < < <

consideraciones geomtricas elementales

x 1 x sen 1 que ya solucin con . ec 3 x sen

n contradici una tenemos C 1 como C 1 ) 1 ).( 1 ( C 1 i . i i C i

< < <

= Hallar m para que: i) 0 ) z Re( = ii)

Вам также может понравиться