Professional Documents
Culture Documents
El presente apunte, el primero de dos, son los apuntes de clase que he realizado
en la asignatura Matemtica General cdigo 10.052 en el plan comn de Ingeniera de
Ejecucin de la Facultad de Ingeniera de la Universidad de Santiago de Chile,
asignatura que tiene carcter rgimen anual.
Este apunte se realiz con el pensamiento puesto en los alumnos que se
inician en nuestras carreras de Ingeniera, apostando a que este instrumento, servir de
gua, en la adquisicin de los elementos base en la Matemtica, que nos apoyaran en
las otras disciplinas de las diversas asignaturas.
Corresponde a una introduccin al lgebra Bsica considerando entre otros el
estudio de las Relaciones y Funciones, los Nmeros Naturales ( induccin sumatorias,
progresiones, anlisis combinatorio, teorema del binomio, sucesiones) , una breve
introduccin a Estructuras Algebraicas con nfasis en Nmeros Complejos y
Polinomios.
El apunte contiene una gran cantidad de ejemplos resueltos y propuestos y
debemos considerarlo como una gua que conduzca al estudio de la gran cantidad de
textos que sobre los temas declarados existen. En relacin con el estudio del apunte,
que se desarrollar durante el primer semestre acadmico, es conveniente apoyarse en
la pgina web http://matgen.usach.cl , pgina de la coordinacin que dirijo, y que
contiene los controles de ejercicios y las pruebas realizadas durante el ao 2003
Espero que el uso de este apunte, en cada una de los cursos que contempla la
coordinacin, sirva de apoyo para enriquecerlo en su presentacin futura, la cual,
quizs incorpore otros recursos.
El segundo apunte, que espero se pueda editar en el segundo semestre
acadmico del presente ao, contendra: Matrices, Determinantes, Sistemas de
Ecuaciones Lineales, Espacios Vectoriales y Transformaciones Lineales, as como una
introduccin a Ecuaciones Diferenciales Ordinarias.
CONTENIDOS
1. Nociones elementales de Lgica Matemtica
1.1. Lgica proposicional
1.1.1. Proposiciones
1.1.2.Conectivos
1.1.3. Tablas de verdad
1.1.3.1.Tabla de verdad de la negacin
1.1.3.2 Tabla de verdad de la conjuncin
1.1.3.3. Tabla de verdad de la disyuncin
1.1.3.4. Tabla de verdad de la implicacin
1.1.3.5. Tabla de verdad de la equivalencia
1.1.4. Tautologa, Contradiccin, Contingencia
1.1.4.1. Tautologa
1.1.4.2. Contradiccin
1.1.4.3. Contingencia
1.1.5. Leyes fundamentales del lgebra de proposiciones
1.2. Lgica funcional
1.2.1. Cuantificadores
1.2.2. Leyes de la cuantificacin
2. Nociones bsicas de Teora de conjuntos
2.1. Nociones primitivas
2.2. Igualdad de conjuntos
2.3. Algunos conjuntos importantes
2.4. Operaciones con conjuntos
2.4.1. Unin de conjuntos
2.4.2. Interseccin de conjuntos
2.4.3. Diferencia de conjuntos
2.4.4. Complemento de un conjunto
2.4.5.Propiedades combinadas
2.4.6 Cardinalidad
2.4.7. Ejercicios propuestos
3. Relaciones y funciones
3.1. Definicin y ejemplos
3.2. Dominio, Recorrido y Relacin inversa
3.3. Composicin de relaciones
3.4. Relaciones en un conjunto
3.5. Relacin de orden y de equivalencia
3.5.1. Relacin de equivalencia
3.5.2. Clase de equivalencia
3.5.3. Relacin de orden
3.5.3.1. Conjunto parcial y totalmente ordenado
3.5.3.2. Congruencia mdulo n
3.6. Ejercicios propuestos
3.7. Funciones
3.7.1. Definicin de funcin
3.7.2. Operaciones con funciones
3.7.3. Funcin inversa
3.7.3.1. Funcin inyectiva
1
1
1
1
2
2
2
3
3
3
4
4
5
6
6
8
8
9
10
10
10
11
12
12
14
17
17
18
19
22
26
26
27
28
29
30
30
31
33
33
34
37
40
40
42
42
42
43
43
44
45
46
49
49
50
54
55
58
60
60
61
62
66
66
67
68
71
71
71
74
74
77
78
81
81
82
83
84
84
87
89
89
92
94
96
98
98
98
99
99
100
100
101
102
104
106
107
108
111
111
111
113
114
115
115
116
117
118
120
122
122
129
129
129
131
133
134
137
139
142
144
144
144
145
148
149
150
Todo naci del deseo y la necesidad de saber cada vez ms sobre los nmeros,
las figuras geomtricas, y todas las relaciones entre estos objetos creados por la mente
humana.
Parece mentira que cosas aparentemente tan sencillas como uno, dos, tres,...
hayan tenido ocupados a tantos hombres de genio durante tantos siglos, y que cada vez
haya ms gente que se ocupe de eso, y que cada vez aparezcan ms problemas de que
ocuparse, pero ya veremos poco a poco cmo eso es posible y natural.
Para usar este mtodo fue indispensable poder decir las cosas de manera que no
pudiese haber confusiones. Todas las palabras deban ser definidas con exactitud, todos
los razonamientos deban ser claros, evidentes. Eso oblig a introducir smbolos
especiales ( como se hace tambin para describir una partida de ajedrez ) para poder
resumir en forma sencilla y exacta lo que iba diciendo, y la verdad es que, recin
cuando se empezaron a usar smbolos de todas clases, pudo la Matemtica ir ms all
de lo que haban descubierto los griegos y otros pueblos e la Antigedad. Los smbolos
La cosa empez a cambiar hace apenas unos 300 aos: sin duda el ejemplo ms
importante de la necesidad de un nuevo lenguaje fue la explicacin del movimiento
de los planetas que dio la teora de Newton. Sin el lenguaje matemtico la teora de
Newton no podra haberse hecho y nuestra civilizacin basada en la ciencia no
existira. Las leyes de la Mecnica no se pueden expresar de la manera a que estamos
acostumbrados en nuestra vida cotidiana, sino por frmulas matemticas.
Ahora ya no nos llama la atencin que los hombres estudien y usen cosas que
nada tiene que ver con la experiencia comn, como por ejemplo los tomos, los genes,
las galaxias, o cosas que por su complicacin parecan inatacables, como la vida, la
inteligencia, la sociedad, o que requieren una precisin mucho mayor que la de la mano
o el ojo, como los satlites, las computadoras, los microscopios, la televisin.
Todo esto ha resultado de razonar, de usar el pensamiento
Pero con el lenguaje comn no es posible hacer los razonamientos
complicadsimos y rigurosos que hacen falta para descubrir las ondas de la radio o la
energa atmica. Para eso fue preciso usar la Matemtica: ciencia y lenguaje de la
ciencia
Oscar Varsavsky
CAPITULO 1
NOCIONES ELEMENTALES DE LGICA MATEMATICA
Estudiaremos brevemente un lenguaje no contradictorio ni ambivalente que nos
permitir introducirnos a la Matemtica: la Lgica Matemtica, que estudia las leyes
que regulan el razonamiento.
Por fines didcticos la dividimos en:
a) lgica proposicional
b) lgica funcional
1.1 LGICA PROPOSICIONAL
En la lgica proposicional
Proposiciones, Conectivos.
consideraremos
dos
elementos
bsicos:
1.1.1 Proposiciones :
Son frases sobre las cuales podemos decidir, unvocamente, sobre la
verdad(V) o falsedad(F) de ellas.
As entonces, una proposicin es una frase que es V o F, no existiendo la
posibilidad de obtener ambas decisiones conjuntamente (Principio del tercero excluido).
Las proposiciones las denotamos por letras minsculas p, q, r, etc. , que
resumirn, en si mismo, el significado particular que tengan al interior de una situacin
concreta.
Ejemplo:
1) p resumir, al interior de ste ejemplo, a la proposicin : Hoy es Martes
10 de Mayo, y denotamos p: Hoy es Martes 10 de Mayo
2) Las siguientes frases son proposiciones:
q : x + 4 = 9 y x = 5 (es V)
r: Si x es un nmero real, entonces su cuadrado es no negativo (es V)
Observacin :
No son proposiciones los interrogativos y los imperativos
1.1.2 Conectivos
Smbolos que, junto con las proposiciones bsicas, nos permiten crear nuevas
proposiciones; son :
~ : se lee no
: se lee y
: se lee y/o
: se lee ...implica ... si, ....entonces, ......
: se lee ... equivalente con ....
Observacin:
El conectivo ~ se usa antes de una proposicin, y los restantes conectivos se
usan entre dos proposiciones.
Ejemplo :
Si p, q, r son proposiciones, entonces tambin son proposiciones:
2) p q
3) p q
4) p q
1) ~ p
5) p q
6) p (q r ) 7) [(~ p ) (q r )] q
1.1.3 Tablas de verdad
Las proposiciones compuestas, es decir, aquellas que contienen al menos un
conectivo, tienen, naturalmente, un valor veritativo, y para las proposiciones
compuestas bsicas ese valor veritativo lo damos en las siguientes tablas de verdad:
1.1.3.1 Tabla de verdad de la negacin ()
Dada la proposicin bsica " p" , existe la negacin de ella, denotada ~ p , que
se lee no p, proposicin que tiene la siguiente tabla de verdad.
p
V
F
~ p
F
V
Observacin:
Es claro que el valor veritativo de p es el contrario de p
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
Observacin:
La conjuncin es verdadera slo si las proposiciones que la componen lo son.
1.1.3.3 Tabla de verdad de la disyuncin ( )
Dadas las proposiciones " p" , " q" , existe la disyuncin de ellas, denotada p q
que se lee p o q, proposicin tal que su tabla de verdad es:
p
V
V
F
F
q
V
F
V
F
pq
V
V
V
F
Observacin:
p
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
Observacin:
La implicacin es verdadera siempre, menos cuando el antecedente es verdadero
y el consecuente es falso.
1.1.3.5 Tabla de verdad de la equivalencia ( )
Dadas las proposiciones " p" , " q" , existe la equivalencia de p con q,
denotada p q , que se lee p equivalente q p si y solo si q, proposicin tal que
su tabla de verdad es:
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
V
Observacin:
Resulta natural que la equivalencia sea verdadera cuando las dos proposiciones
que la componen tienen el valor el mismo valor veritativo:
Ejemplo :
1) Determine el valor veritativo de: ~ ( p q ) [(~ p ) (~ q )]
Solucin :
Su tabla de verdad es:
pq
V
V
F
F
V
F
V
F
V
F
F
F
~ ( p q)
F
V
V
V
~ p
F
F
V
V
~ q (~ p ) (~ q) ~ ( p q ) [(~ p ) (~ q )]
F
F
V
V
V
V
F
V
V
V
V
V
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
qr
V
V
V
F
V
V
V
F
p (q r )
V
V
V
F
F
F
F
F
[ p ( q r )] r
V
F
V
V
V
V
V
V
Observacin :
En el ejemplo anterior, dado que consideramos tres proposiciones bsicas, el
total de variaciones de tres elementos, cada uno con respuestas dicotmica (grupos con
tres elementos donde interesa el orden ) es 2 3 = 8 . Si son 4 las proposiciones bsicas
entonces el total de variaciones, en estas condiciones, es 2 4 = 16 .
1.1.4 Tautologa, Contradiccin, Contingencia
1.1.4.1 Tautologa
Definicin
Una proposicin compuesta que siempre es verdadera, es una tautologa.
Una tautologa la denotamos por I.
Ejemplos :
1) Demuestre que: p (~ p) es tautologa.
Demostracin:
Debemos encontrar su tabla de verdad y verificar que siempre es verdadera:
~ p
V
F
F
V
p (~ p )
V
V
~ p
V
F
F
V
~ (~ p)
V
F
~ (~ p) p
V
V
~q
V
V
F
F
V
F
V
F
F
V
F
V
q (~ q)
F
F
F
F
p [q (~ q )]
F
F
V
V
~ p
F
F
V
V
~ (~ p) p
V
V
V
V
Ejemplo.
Demuestre que p (~ p) es una contradiccin.
Demostracin
Debemos encontrar la tabla de verdad de la proposicin y verificar que siempre es falsa
~ p
V
F
F
V
p (~ p)
F
F
1.1.4.3 Contingencia
Definicin
Una proposicin que no es tautologa ni contradiccin se llama contingencia.
Ejemplo:
Demuestre que [ p (q r )] r es una contingencia
Solucin:
Su tabla de verdad es:
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
qr
V
V
V
F
V
V
V
F
p (q r )
V
V
V
F
F
F
F
F
[ p ( q r )] r
V
F
V
V
V
V
V
V
p I p
p 0 p
p 0 0
p I I
Idempotencia
pp p
pp p
Involucin
( p) p
Complemento
~0I
~I0
p (~ p ) 0
p (~ p ) I
Conmutatividad
pq q p
pq q p
Asociatividad
p (q r ) ( p q) r
Identidad
p (q r ) ( p q) r
Distributividad
p (q r ) ( p q) ( p r )
p (q r ) ( p q) ( p r )
De Morgan
~ ( p q) (~ p) (~ q)
~ ( p q) (~ p) (~ q)
Observacin.
Una ley fundamental, muy importante es: ( p q) ((~ p) q )
Ejemplos:
1)
Si definimos y como: pq = (~ p) (~ q) : pq = (~ p) (~ q) ,
demuestre, sin usar tablas de verdad que:
a) pp ~ p
b) p q ~ (pq)
c) p q ~ (pq)
Demostracin:
a) pp (~ p ) (~ p) ~ p
b) ~ ( pq ) ~ [(~ p) (~ q )] ~ (~ p) ~ (~ q) p q
c) ~ ( pq ) ~ [(~ p) (~ q )] ~ (~ p) ~ (~ q) p q
2) Sin usar tablas de verdad, demuestre que: p [(~ p ) q ] p q
Demostracin:
p [(~ p ) q ] [ p (~ p )] [ p q ] I [ p q ] p q
3) Demuestre que: p ( p q ) es una tautologa
Demostracin:
[ p ( p q)] [~ p ( p q)] [(~ p p) q ] I q I
4) Demuestre que: [ p ( p q )] q es una tautologa
Demostracin:
{ [p (p q)] q } ~ [p (p q)] q ~ {p [(~ p) q)] } q
{(~ p ) ~ [(~ p) q )] } q {(~ p ) [ p (~ q )] } q
1)
: significa : todos
: significa : algunos
! : significa : un nico
Ejemplo:
1) x de D: p( x) se lee: todos los elementos de D son nmeros pares y ,
claramente es una proposicin, ya que es falsa.
2) x de D: p( x) se lee: algn elemento de D es un nmero par, y es una
proposicin, ya que es verdadera.
3) ! x de D: p( x) se lee: un nico elemento de D es un nmero par, y
claramente es una proposicin, ya que es falsa.
Observacin:
Adelantndonos, escribiremos: x D : p(x) en lugar de x de D : p(x)
1.2.2 Leyes de la cuantificacin.
Se cumple:
1) ~ [ x D : p(x)] x D : ~ p(x)
2) ~ [ x D : p(x)] x D : ~ p(x)
Demostracin:
1)
Si ~ [ x D : P(x) ] es V entonces x D : p(x) es F , luego x D : ~ p(x) es V
Si ~ [ x D : P(x) ] es F entonces x D : p(x) es V de donde x D : ~ p(x) es F
CAPITULO 2
NOCIONES BASICAS DE TEORIA DE CONJUNTOS
2.1 Nociones primitivas
Consideraremos tres nociones primitivas: conjunto, elemento y pertenencia
Conjunto :
Coleccin, grupo de objetos o cosas. Por ejemplo, el conjunto formado por los
objetos 1, a, casa.
10
Ejercicios:
A (propiedad refleja)
1) Demuestre que: A A
Demostracin:
Como : x : x A x A , concluimos que A A
2) Demuestre que: [A B B C ] A C A, B, C (transitividad)
Demostracin:
[A B B C ] [x : x A x B ] [x : x B x C ]
x : x A x B x C ,
de donde A C
Observacin:
A no es subconjunto de B, lo que denotamos A B si y solo si existe algn
elemento en A que no est en B es decir:
A B x : x A x B
Definicin:
Decimos que los conjuntos A y B son iguales, lo que denotamos A = B si y slo
si todos los elementos de A son elementos de B y todos los elementos de B son
elementos de A, es decir:
A = B [x : x A x B ] [x : x B x A] A B B A
11
Demostracin:
Se debe demostrar que 1) 0/ A 0/ B y 2) 0/ B 0/ A
1) As es, ya que si no es cierto, es decir, si 0/ A no es subconjunto de 0/ B , debe
existir al menos un elemento que pertenezca a 0/ A y que no est en 0/ B ; esto es
una contradiccin, por lo que 0/ A 0/ B
2) De manera anloga, 0/ B 0/ A
Por 1) y 2) concluimos que 0/ A = 0/ B
Observacin:
Como todos los vacos son iguales, denotamos simplemente: 0/
2) Conjunto Unitario
Es aquel conjunto que tiene un nico elemento. Se lee como, el unitario del
elemento.
Ejemplo:
A = {x / x N ,3 < x < 5} = {4} se lee el unitario del 4
Conjunto Universal U
Se puede demostrar que no existe un conjunto universo que contenga a todos los
conjuntos (Paradoja de Russel), en cambio existe un conjunto universo de referencia,
B = {2,4,6,9}, el
denotado U. As por ejemplo, para los conjuntos A = {2,3,4} ,
conjunto universal podra ser U = {1,2,3,4,5,6,7,8,9}
2.4 OPERACIONES CON CONJUNTOS
2.4.1 Unin de conjuntos
Definicin:
Sean A y B conjuntos en U, definimos la unin de A con B, denotada A B
que se lee A unin B como el conjunto tal que:
A B = {x / x A x B}
Observacin
1) En un diagrama de Venn-Euler tenemos
AB
12
2) x P Q x P x Q
xM xN xM N
Propiedades:
1)
2)
3)
4)
5)
A A = A A U (Idempotencia)
A B = B A A, B U ( Conmutatividad)
( A B ) C = A ( B C ) A, B, C U (Asociatividad)
A = A , A U = U ; A U
A B A B = B
Demostracin:
1) Se debe demostrar que: a) A A A y b) A A A
a) Sea x A A , debemos demostrar que x A . Vemoslo
x A A x A x A x A , luego A A A
AB B A
b) Sea x B A , debemos demostrar que x A B
x B A x B x A x A x B x A B de donde
B A AB
Por a) y b) concluimos que A B = B A
Notemos el uso de la tautologa : p q p
3) Por demostrar que: a) ( A B ) C A (B C ) y
b) A U (B C ) ( A B ) C
a) Sea x ( A B ) C , debemos demostrar que x A (B C )
x (A B) C x (A B) x C (x A x B) x C
x A ( x B x C ) x A x (B C ) x A ( B C )
13
Concluimos que
( A B ) C A (B C )
Concluimos que A (B C ) ( A B ) C
Por a) y b) obtenemos ( A B ) C = A (B C )
Usamos la tautologa : ( p q ) r p (q r )
5) Se debe demostrar que a) A B B y que b) B A B
a. Sea x A B , debemos demostrar que x B
x A B x A xB.
x A x B (por hiptesis
Si
A B)
Si x B x B ; esto indica que en todo caso x B , de donde
AB B
b. Sea x B x A x B x A B , as B A B
Por a) y b): A B A B = B
En la parte b) de la demostracin usamos la tautologa: p q p
2.4.2 Interseccin de conjuntos
Definicin:
Sean A y B conjuntos en U, definimos la interseccin de A con B, denotada
A B , que se lee A interseccin B
como el conjunto tal que:
A B = {x / x A x B}
Observacin:
En un diagrama de Venn-Euler tenemos
1)
A
AB
14
x P Q x P x Q
xM xN xM N
2)
Propiedades:
1) A A = A
A U (Idempotencia)
2) A B = B A A, B U (Conmutatividad)
3) ( A B ) C = A (B C ) A, B, C U (Asociatividad)
4) A = , A U = A ; A U
5) A B A B = A
Demostracin:
1) Se debe demostrar que: a) A A A y b) A A A
a) Sea x A A , debemos demostrar que x A . Vemoslo
x A A x A x A x A , luego A A A
2)
AB AB
b) Sea x B A , debemos demostrar que x A B
x B A x B x A x A x B x A B de donde
B A A B
Por a) y b) concluimos que A B = B A
15
3)
x ( A B) x C x ( A B) C
Concluimos que ( A B ) C A (B C )
b) Sea x A (B C ) , se debe demostrar que x ( A B ) C
x A (B C ) x A x (B C ) x A ( x B x C )
(x A x B ) x C x A B x C
x (A B) C
Concluimos que A (B C ) ( A B ) C
Por a) , b) se deduce que A (B C ) = ( A B ) C
4) Debe cumplirse que A = ya que si no es as, es decir, si A entonces
existe al menos un elemento en A . Esto constituye una contradiccin dado que el
conjunto vaco no tiene elementos.
5) Queda propuesto
16
Observacin:
1) En un diagrama de Venn-Euler tenemos:
A-B
2) x P Q x P x Q
xM x N xM N
3) En general, la diferencia no es idempotente, es decir, A A A
En general, la diferencia no es conmutativa, es decir, A B B A
2.4.4 Complemento de un conjunto
Definicin.
Sea A un conjunto en U, definimos el complemento de A, denotado A C ,
que se lee complemento de A, como el conjunto tal que:
A C = {x / x A x U }
Propiedades.
1) ( A C ) C = A , A U
2) U C =
3) C = U
4) A B B C A C
Demostracin.
1) Debemos demostrar: a) ( A C ) C A , b) A ( A C ) C
a) Sea x ( A C ) C , por demostrar que x A
17
x ( A C ) C x A C x A, asi, ( A C ) C A
b) Sea x A , por demostrar que x ( A C ) C
x A x A C x ( A C ) C , asi, A ( A C ) C
Por a) y b) concluimos que ( A C ) C = A
2) y 3) son inmediatas
4) Sea x B C , debemos demostrar que x A C si A B
x B C x B , como A B entonces x A de donde x A C
2.4.5 PROPIEDADES COMBINADAS
1) A B = A B C
A AC =
A AC = U
2) Distributividades
A (B C ) = ( A B ) ( A C )
A (B C ) = ( A B ) ( A C )
3) Leyes de DeMorgan
( A B) C = A C B C
( A B) C = A C B C
Ejemplo
Usando propiedades de las operaciones de conjuntos demuestre, justificadamente:
( A B C ) C ( A B) C ( A B) = B
Demostracin
( A B C ) C ( A B) C ( A B) = ( A B C ) C ( A B) ( A B)
= ( AC B) ( A B) ( A B)
= ( A C A) B ( A B)
= ( B) ( A B)
= B ( A B) = B
[
[
18
2.4.6 CARDINALIDAD
Ejemplo.
En una escuela, 150 alumnos han rendido 3 exmenes. De ellos, 60 aprobaron
el primero, 70 el segundo y 50 alumnos el tercer examen; 30 aprobaron los dos
primeros,25 el primero y el tercero, 15 el segundo y el tercero, adems, 10 alumnos
aprobaron los 3 exmenes:
Cuntos alumnos
a) aprobaron ningn examen?
b) aprobaron slo el primer examen?
c) aprobaron slo dos exmenes?
d) aprobaron slo un examen?
Solucin.
Consideremos los siguientes conjuntos.
A = {alumnos que aprueban el primer examen}
B = {alumnos que aprueban el segundo examen}
C = {alumnos que aprueban el tercer examen} ,
19
n( A) = 60 , n( B) = 70 , n(C ) = 50 , n( A B) = 30 , n( A C ) = 25 , n( B C ) = 15
n( A B C ) = 10 , adems, n(U ) = 150 , con U = { alumnos que rindieron examen}
Solucin.
a) Se pide n( A C B C C C )
Como
adems
n( A C B C C C ) = n ( A B C ) C = n(U ) n( A B C )
n( A B C ) = n( A) + n( B) + n(C ) n( A B) n( A C ) n( B C ) + n( A B C )
= 60 + 70 + 50 30 25 15 + 10 = 120 entonces
n( A C B C C C ) = 150 120 = 30
b) Se pide n( A B C C C )
n( A B C C C ) = n A ( B C ) c = n( A) n[ A ( B C )]
= n( A) n[( A B ) ( A C )] = n( A) [n( A B ) + n( A C ) n( A B C )]
= 60 (30 + 25 10) = 15
c) Se pide n ( A B C C ) ( A C B C ) ( B C A C )
n ( A B C C ) ( A C B C ) ( B C AC )
= n ( A B C C ) ( A C B C ) ( B C AC )
= n( A B C C ) + n( A C B C ) + n( B C A C ) n( ) n( ) n( ) + n( )
Como n( A B C C ) = n( A B) n( A B C ) = 30 10 = 20 ,
anlogamente
donde
obtenemos
n( A C B C ) = 15 , n( B C A C ) = 5 ,
de
n ( A B C C ) ( A C B C ) ( B C A C ) = 20 + 15 + 5 = 40
20
d) Se pide n( A B C )
e) Se pide n ( A B C C C ) ( B A C C C ) (C A C B C )
n ( A B C C C ) ( B A C C C ) (C A C B C )
= n( A B C C C ) + n( B A C C C ) + n(C A C B C ) n( ) n( )
n( ) + n( )
Como n( A B C C C ) = 15 , ( problema b)) y procediendo anlogamente
obtenemos n( B A C C C ) = 35 , n(C A C B C ) = 20 , de donde
n ( A B C C C ) ( B A C C C ) (C A C B C ) = 15 + 35 + 20 = 70
Observacin.
Usando un diagrama de Venn-Euler podemos solucionar el problema planteado:
U
A
B
15
20
15
10
35
20
30
21
2) Use tablas de verdad para clasificar las siguientes proposiciones como: Tautologa,
Contradiccin o Contingencia
a)
[( p q) q ] (~ p q)
b) ( p q ) [( p r ) (q r )]
c) ~ [(~ p q ) ~ ( p q )] q
d)
[( p q) (q r )] ( p r )
[( p q) ~ p ] (~ p q)
b)
[~ ( p q) (~ p q)] ~ p
c)
[ p (q r )] [( p q) ( p r )]
4) Usando los datos proporcionados en cada caso, obtenga el valor veritativo pedido:
a) Si se sabe que: p q es V y adems r p es F, determine el valor de
(r q ) (r q) Resp. F
b) Sabiendo que: p q es F, r p es F, determine el valor veritativo de
p r Resp. F
i)
~ [ p (~ r )] Resp. F
ii)
c) De la falsedad de ( p ~ q) (~ r s ) deduzca el valor veritativo de
(~ p ~ q) (~ q) Resp. F
i)
22
ii)
iii)
6) Sabiendo
determine el valor de
verdad de [~ p (~ r q )] s Resp. V
7) Demuestre que cada uno de los siguientes argumentos es vlido (es decir, que la
proposicin es una tautologa) , usando el lgebra de proposiciones.
a) [( p q ) p ] q
b) [( p q ) (~ p )] ~ p
c) [( p q ) (q r )] ( p r )
d) [( p q ) (~ p )] q
, ( p q) q
e) ( p q) p
f) p ( p q)
Adems, identifique cada una de las siguientes frases con alguno de los
argumentos anteriores
1) Jos tiene un cuaderno o un lpiz , Jos no tiene un cuaderno , por lo tanto,
Jos tiene un lpiz
2) Si Jos gana el concurso entonces obtendr una beca , Jos gan el
concurso, por lo tanto, Jos obtendr la beca
3) Si Jos gana el concurso entonces obtendr una beca , Jos no obtuvo la
beca, por lo tanto, Jos no gan el concurso
4) Todos los monos son desordenados, luego, los monos son desordenados o
son peludos
5) Si no llueve entonces se perder la cosecha, si se pierde la cosecha entonces
no se podr cancelar la deuda entonces , si no llueve, no se podr cancelar
la deuda
6) Ningn estudiante es ocioso y Mara es una excelente bailarina, luego,
ningn estudiante es ocioso
8) Sean:
U = {1,2,3,4,5,6,7, a, b, c, d , e, f , g , h}
A = {3,5,7, c, d } , B = {2,3,4,5, b, c, e} , C = {2,6,7, a, b, g}
23
Determine:
a) ( A B c ) (C A) C
b) ( A C ) ( B A C ) C
c) las operaciones para obtener
{6,2, b}
i)
{7}
ii)
{3,4,5, c, d , e}
iii)
9) Demuestre:
a) A B = A B C
b) A ( B C ) = ( A B) ( A C )
c) ( A B) C = A C B C
b) B ( B C A C ) ( A B) C = B A
c)
[( A B) ( A
B) ( A C B C ) = A C B
d) A {A [( A B) A] } = A
e)
[A ( A B)] [B ( A B)] =
24
A C = , n( A B) = 5 , n( A C ) = 25 , n(C ) = 13 , n( B A) = 15
n( B C ) = 9 , n( A B C ) = 27
Determine:
a) n(B)
b) n( A)
c) n(U )
Resp. a) 20 b) 8 c) 33
14) En un universo de 45 elementos se considera tres conjuntos A,B,C tales que:
A C = , B C = , n( A B) = 4 , n(C B) = 10 , n ( A B C ) C = 16
n( B C ) = 12
Calcule:
a) n( A)
b) n(B)
c) n( B A)
d) n[( B A) C ]
Resp. a) 11 b) 12 c) 8 d) 8
15) Una encuesta acerca de las preferencias de 180 personas sobre tres marcas A, B, C
arroj los siguientes resultados:
n[( B C ) A] = 25 , n( A B) = 15 , n (( A B) C )
] = 175 , n( A B) = 50
]
25
CAPITULO 3
RELACIONES Y FUNCIONES
3.1 Definicin y ejemplos
Definicin
Sean A, B conjuntos, definimos el par ordenado A coma B , denotado
( A, B) como el conjunto ( A, B) = {{A}, {A, B}}
Observacin,
Al elemento A lo llamamos primer elemento del par ordenado o tambin
abscisa
Al elemento B lo llamamos segundo elemento del par ordenado o tambin
ordenada
Ejemplo.
Es evidente que (2,3) = {{2}, {2,3}} (3,2) = {{3}, {3,2}}
Definicin.
Sean A, B conjuntos, definimos el producto cartesiano de A con B denotado
por A B , como el conjunto tal que A B = {(a, b) / a A b B}
Ejemplo.
Si A = {1,2,3} , B = {3,4} entonces:
A B = {(1,3), (1,4), (2,3), (2,4), (3,3), (3,4)} , B A = {(3,1), (3,2), (3,3), (4,1), (4,2), (4,3)}
Observacin.
a) n( A B) = n( A) n( B)
b) En general A B B A
c) A B = ( A = ) ( B = )
d) A B ( A ) ( B )
Definicin.
Sean A, B conjuntos, definimos una relacin R de A a B como
subconjunto de A B
cualquier
Observacin.
Nos interesan las relaciones que se determinan mediante cierta ley de formacin
as, una relacin R de A a B es: R A B = {(a, b) / p ((a, b))} donde p((a, b)) es una
frmula proposicional dada.
Ejemplo.
Considere los conjuntos A = {1,2,3} , B = {1,2,3,4} , N ; determine por extensin
las siguientes relaciones:
a) R1 A B = {(a, b) / a + b es un nmero par}
b) R2 A B = ( x, y ) / x 2 + y 2 > 6
26
c) R3 N N = {(a, b) / a + 2b = 15}
2x + y
3
1 = 0
d) R4 = ( x, y ) /
2
Solucin.
Despus de realizar A B y N N obtenemos:
R1 = {(1,1), (1,3), (2,2), (2,4), (3.1), (3,3)}
R2 = {(1,3), (1,4), (2,2), (2,3), (2,4), (3,1), (3,2), (3,3), (3,4)}
R3 = {(1,7), (3,6), (5,5), (7,4), (9,3), (11,2), (13,.1)}
R4 = {(1,10), (2,8), (3,6), (4,4), (5,2)}
3.2 Dominio, Recorrido y Relacin inversa
Definicin.
Sea R A B = {(a, b) / p ((a, b))} una relacin, definimos:
a) Dominio de la relacin R , denotado Dom( R) , al conjunto tal que
Dom( R) = {a A / b B tal que (a, b) R}
b) Recorrido de la relacin R , denotado Re c( R) , al conjunto tal que
Re c( R) = {b B / a A tal que (a, b) R}
27
Ejemplos
1) Sean R A B = {(1, a ), (2, b), (3, c), (4, c)} , S B C = {(a, x), (a, y ), (b, y )} dos
relaciones con A = {1,2,3,4,5}, B = {a, b, c, d , e}, C = {x, y, z , w, p} , entonces:
a) S o R = {(1, x), (1, y ), (2, y )}
b)
c)
d)
e)
28
( a, b) ( R o T ) ( S o T )
4) Sea A un conjunto y considere las relaciones R A 2 y Id A 2 = { ( x, y ) / x = y}
Demuestre que R o Id = R
Demostracin.
b) R R o Id
Debemos demostrar que: a) R o Id R
a) Sea ( x, z ) R o Id , debemos demostrar que ( x, z ) R
( x, z ) R o Id y A tal que ( x, y ) Id ( y, z ) R , pero
( x, y ) Id indica que x = y , as, ( x, z ) R
b) Sea ( x, z ) R , debemos demostrar que ( x, z ) R o Id
Sea ( x, z ) R , como ( x, x) Id entonces ( x, x) Id ( x, z ) R , de esto
ltimo concluimos que ( x, z ) R o Id
3.4 Relaciones en un conjunto.
Definicin.
Sea A un conjunto. Decimos que la relacin R est definida en A si R A A
Definicin.
Sea R una relacin definida en A , entonces:
a) R es relacin refleja (a, a) R a A
b) R es relacin simtrica (a, b) R (b, a) R ( x, y ) R
c) R es relacin transitiva [(a, b) R (b, c) R ] (a, c) R ( x, y ) R
c) R es relacin antisimtrica [(a, b) R (b, a ) R ] (a = b) ( x, y ) R
Observacin.
a) Denotamos R A 2 en lugar de R A A
b) Si (a, b) R podemos denotar aRb
c) R no es refleja a A tal que (a, a) R
d) R no es simtrica (a, b) R (b, a ) R
e) R no es transitiva (a, b) R (b, c) R (a, c) R
f) R no es antisimtrica (a, b) R (b, a) R (a b)
Ejemplos
1) Sea A = {1,2,3} y R A 2 = {(1,1), (1,2), (2,1), (2,2), ((1,3), (3,3)}
Es R una relacin refleja, simtrica, transitiva, antisimtrica?
Solucin.
Como (a, a ) R a A entonces R es relacin refleja
R no es simtrica ya que (1,3) R (3,1) R
R es transitiva ya que se verifica la condicin
R no es antisimtrica ya que (1,2) R (2,1) R pero 1 2
29
Ejemplos
1) En el conjunto de los nmeros reales R definimos la relacin S por:
aSb m Z tal que a = b 3 m +1 . Demuestre que S es una relacin de equivalencia.
Demostracin.
Debemos demostrar que: a) S es refleja b) S es simtrica c) S es transitiva
a) Como S es refleja si y slo si aSa a A , es decir, si y slo si
m Z tal que a = a 3 m +1 , entonces que
la igualdad se verifica con
m = 1 Z , concluimos que S es refleja
b) Si aSb entonces existe m Z tal que a = b 3 m +1 . Debemos demostrar que
bSa , es decir, debemos demostrar que existe m1 Z tal que b = a 3 m1 +1 .
Como a = b 3 m +1 entonces b = a 3 m 1 , de donde b = a 3 ( m + 2 ) +1 : si definimos
m1 = (m + 2) Z concluimos que bSa .
c) Si aSb bSc entonces existen m1 , m2 Z tal que a = b 3 m1 +1 b = c 3 m2 +1 ;
queremos demostrar que aSc , es decir, debemos demostrar que existe m3 Z tal
que
a = c 3 m3 +1 . Resulta natural
reemplazar b en a = b 3 m1 +1 obteniendo
a = c 3 m2 +1 3 m1 +1 = c 3( m1 + m2 +1) +1 . El trmino m3 buscado es m3 = m1 + m2 + 1 Z
30
2) Sea R una relacin definida en N 2 tal que (a, b) R(c, d ) ad = bc . Demuestre que
R es una relacin de equivalencia.
Demostracin.
Debemos demostrar que:
a) R es refleja, es decir, (a, b) R(a, b) (a, b) N 2
b) R es simtrica, es decir, (a, b) R(c, d ) (c, d ) R(a, b)
c) R es transitiva, es decir, [(a, b) R(c, d ) (c, d ) R(e, f )] (a, b) R (e, f )
a) (a, b) R(a, b) (a, b) N 2 ya que ab = ba , luego, R es refleja
b) Si (a, b) R(c, d ) entonces ad = bc , si escribimos la igualdad precedente
como cb = da concluimos que, (c, d ) R(a, b) , as, R es simtrica
c) Si (a, b) R(c, d ) (c, d ) R(e, f ) entonces (ad = bc) (cf = de) , debemos
demostrar que (a, b) R(e, f ) , es decir, que af = be
De la igualdad ad = bc , multiplicando por e obtenemos ade = bce , pero
por hiptesis tenemos que de = cf , entonces, reemplazando de en ade = bce
obtenemos acf = bce de donde, cancelando, concluimos que af = be .
3) Una relacin R definida en A es circular si y slo si (aRb bRc) cRa
Demuestre: R es de equivalencia si y solo si R es refleja y circular
Demostracin.
31
x = {y A / yRx}
Observacin.
1) A la relacin la podemos denotar por ~ .
2) Las clases de equivalencia son no vacas, es decir, x x A
3) Si a, b x entonces a ~ x b ~ x de donde a ~ b , es decir, todos los
elementos de una clase de equivalencia son equivalentes entre si. Con esto
podemos representar la clase de equivalencia por uno de sus elementos.
4) x = y x ~ y
Definicin.
El conjunto de las clases de equivalencia segn R se llama conjunto cuociente
de A por R. Se denota A / R
Proposicin.
Sea R una relacin de equivalencia definida en A , entonces A / R posee las
siguientes propiedades:
a) x A / R , x
b) x A / R y A / R , x y entonces x y =
c)
Ux = A
x A / R
Demostracin.
2) Supongamos x y , entonces existe z x y , as, z x z y ; esto ltimo
nos indica que zRx zRy , luego, xRy , de donde x = y , esto
constituye una
U {x} U x A
xA
xA / R
Ejemplos.
1) Sea A = { a, b, c} y R A 2 = {(a, a ), (b, b), (c, c), (b, c), (c, b)}
equivalencia. Determine:
a) La clase de equivalencia de los elementos de A
b) El conjunto cuociente
Solucin.
a) a = {x A / xRa} = {a}
una
relacin
de
b = {x A / xRb} = {b, c}
c=b
b) El conjunto cuociente es A / R = {{a}, {b, c}} y un sistema de representantes es
S = {a, b}
32
2)
{
}
1 = {x Z / xR1 } = {x Z / x + x = 1 + 1} = {x Z / x + x 2 = 0} = {1, 2} = 2
2 = {x Z / xR 2 } = {x Z / x + x = 2 + 2} = {x Z / x + x 6 = 0} = {2, 3} = 3
2
Ejemplos.
Son relaciones de orden las siguientes relaciones:
1) La relacin definida en
2) La relacin en la familia de conjuntos P ( A) = {X / X A} , A un conjunto dado
3) La relacin R definida en N por: aRb a divide a b , (se puede denotar por a b )
En efecto
Como aRb k N tal que b = ka entonces:
R es refleja ya que a a , esto ltimo puesto que a = 1 a
R es transitiva ya que si a b b c
33
Definicin.
Una relacin de orden R definida en el conjunto A es de orden total si
a, b A entonces aRb o bRa
Ejemplo.
En N definimos la relacin T por: aTb n N tal que a n = b
a) Demuestre que T es una relacin de orden
b) Es T un orden total?
Solucin.
a) Para que T sea una relacin de orden debe cumplir:
i) aTa a N Refleja
ii) [aTb bTc ] aTc Transitiva
iii) [aTb bTa ] a = b Antisimtrica
i) aTa ya que a 1 = a , 1 N
ii) Si aTb bTc entonces existen n, m N tal que a n = b y b m = c ; debemos
demostrar que existe p N tal que a p = c .
Reemplazando b = a n en c = b m obtenemos c = (a n ) m = a nm , con
p = nm N se cumple.
iii) Si aTb bTa entonces existen n, m N tal que a n = b y b m = a ,
reemplazando b = a n en la segunda igualdad obtenemos a nm = a de donde
nm = 1 , as, n = m . Esto indica que a = b
b) La relacin T no es de orden total ya que, por ejemplo, 2 no
relacionado
con 3 (no existe n N tal que 2 n = 3 )
3.5.3.2 Congruencia mdulo n
Definicin.
Sea m Z + ; a, b Z se dicen congruentes mdulo m, lo
a b(mod m) si y slo si a b es mltiplo de m, es decir:
a b(mod m) p Z tal que a b = mp
esta
que se denota
Observacin.
1) La relacin de congruencia en el conjunto de los enteros para un mdulo
fijo m es una relacin de equivalencia
2) Esta relacin de equivalencia es compatible con la adicin y multiplicacin,
es decir: a b(mod m) c d (mod m) entonces a + c b + d (mod m) y
adems ac bd (mod m)
3) a b(mod m) a b = mp mZ = {0, m, 2m , 3m ,....}
Ejemplo.
Es inmediato que: 4 16(mod 3) ; 5 30(mod 7) ; 8 30(mod11)
34
Observacin.
Enunciaremos el siguiente Algoritmo de Euclides slo para demostrar los
Teoremas que daremos a continuacin.
Algoritmo de Euclides.
Sean m, n Z + {0} entonces existen, de manera nica, q, r Z + {0} tal que
n = qm + r donde 0 r < m
Teorema
Sea m Z + , entonces cualquier n Z es congruente mdulo m a uno y slo
uno de los enteros 0, 1, 2, 3,...,m-1
Demostracin.
Sea n Z , debemos demostrar que n no puede ser congruente mdulo m a dos
enteros a, b {0, 1, 2, ....., m 1}
Supongamos que n a(mod m) y n b(mod m) , entonces a b(mod m) .
Si a > b entonces a b > 0 y a b m 1 ya que a, b {0, 1, 2, ....., m 1} , es decir,
0 < a b < m 1 de esto concluimos que m no divide a a b , as, a no es
congruente mdulo m con b ( contradiccin)
Consideremos ahora un n cualquiera donde n = 0, n > 0, n < 0 .
Si n = 0 entonces n 0(mod m)
Si n > 0 entonces existen nicos
0 < r m 1 de donde n r (mod m)
q, r tal
Ejemplo.
n Z es congruente mdulo 3 a uno y slo uno de los enteros 0, 1, 2, y para
verificar basta con dividir ( Algoritmo de Euclides) por 3, as, 4589 2(mod 3) ya que
4589 = 1532 3 + 2
Definicin.
Se llama clases residuales mdulo m a aquellas m clases que contienen todos
los enteros que son congruentes mdulo m a uno de los enteros 0, 1, 2, 3,...,m-1
Ejemplo.
Para m = 3 se tiene 3 clases residuales formadas por los enteros congruentes a 0,
1, 2 respectivamente
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
35
a = q1m + r , b = q 2 m + r
entonces
a b = (q1 q 2 )m , as,
Observacin.
La relacin de congruencia mdulo m fijo determina una particin del conjunto
Z en clases de equivalencia y el conjunto cuociente lo denotamos Z m
Ejemplo.
Determine las clases de equivalencia por la congruencia mdulo 5.
Solucin.
0 = {x Z / 0 ~ x} = {x Z / 0 x = 5 p} = {x Z / x = 5k , k Z } = {...,10, 5, 0, 5, 10,....}
1 = {x Z / 1 ~ x} = {x Z / 1 x = 5 p} = {x Z / x = 5k + 1, k Z } = {...,9, 4, 1, 6, 11,....}
2 = {x Z / 2 ~ x} = {x Z / 2 x = 5 p} = {x Z / x = 5k + 2, k Z } = {...,8, 3, 2, 7, 12,....}
3 = {x Z / 3 ~ x} = {x Z / 3 x = 5 p} = {x Z / x = 5k + 3, k Z } = {...,7, 2, 3, 8, 13,....}
4 = {x Z / 4 ~ x} = {x Z / 4 x = 5 p} = {x Z / x = 5k + 4, k Z } = {...,6, 1, 4, 9, 14,....}
as, Z 5 = 0 , 1 , 2 , 3 , 4 = { 0, 1, 2, 3, 4 }
Definicin.
Sean a, b Z m , donde a, b son representantes cualesquiera de a, b respectivamente,
entonces a + b es la clase residual mdulo m que contiene a a + b ( esto se puede
hacer con cualquier elemento de a, b )
Ejemplo.
Determine la tabla de doble entrada de ( Z 3 ,+ )
Solucin.
Z 3 posee los elementos 0, 1, 2 donde
36
0 = {...,3, 0, 3, 6, 9,12,.....}
1 = {...,2, 1, 4, 7, 10,13,.....}
2 = {...,1, 2, 5, 8, 11,114,.....}
0
0
1
2
1
1
2
0
2
2
0
1
R4 = { ( x, y ) A 2 / xy 0} si A = { 2,1,0,1,2,3}
R5 = (a, b) A 2 / a 2 + b 2 > 3 si A = { 1,0,1,2,3}
a) Determine por extensin la relacin Ri , i = 1,2,3,4,5
b) Determine dom( Ri ) , rec( Ri )
37
10) Demuestre que las siguientes relaciones definidas son relaciones de equivalencia
R1 2 tal que aR1b k Z tal que a b = 2k
R2 definida en Q + tal que aR2 b n Z tal que
11) En Z definimos la relacin R tal que aRb n N {0} tal que b a = n
Demuestre que R es una relacin de orden
Es R un orden total? Justifique
12) En N definimos la relacin T tal que aTb n N tal que a n = b
Demuestre que R es una relacin de orden
Es R un orden total? Justifique
13) En la familia de conjuntos definimos la relacin
a) Demuestre que R es una relacin de orden
b)Es R un orden total? Justifique
c) Si = {X / X A} con A = {1,2,3,4} , verifique lo demostrado en a) y b)
38
de
a) x x
b) Todos los elementos de una clase de equivalencia R son equivalentes R
entre si
c) x = y x ~ y
18) Sea A / R el conjunto cuociente de A por R donde, R es una relacin
equivalencia
definida en el conjunto A . Demuestre:
de
a) x A / R , x
b) x A / R y A / R , x y entonces x y =
U
c)
=A
x A/ R
19) Sea m Z + ; a, b Z se dicen congruentes modulo m lo que denotamos
a b(mod m)
o simplemente a b(m) si y slo si a b es mltiplo de m, es decir:
a b(m) p Z tal que a b = pm
Demuestre que la relacin de congruencia definida en los nmeros enteros para
un mdulo m fijo es una relacin de equivalencia
20) Determine Z 3 , la clase de equivalencia por la congruencia mdulo 3
21) Sea A = {a, b, c} y R A 2 = {(a, a), (b, b), (c, c), (b, c), (c, b)}.
39
3.7 FUNCIONES
Observacin.
1) f A B es una funcin de A a B si y slo si x A ! y B tal que
y = f (x)
a) Domf = A
2) f A B es funcin
b) [( x, y ) f ( x, z ) f ] y = z
3) Tambin se puede denotar a la funcin f por f : A B tal que y = f (x) o
por f : A B = {( x, y ) / y = f ( x)}
4) y = f (x) se lee y es la imagen de x por f
5) y = f ( x) ( x, y ) f
6) Al conjunto A lo llamamos conjunto de partida de f y al conjunto B lo
llamamos conjunto de llegada
40
Ejemplos.
1) Sean A = {a, b, c}, B = {d , e, f , g } entonces las siguientes relaciones de A a B
son funciones de A a B
f1 = {(a, d ), (b, e), (c, f )} f 2 = {(a, d ), (b, d ), (c, d )}
2) Sea f A = (2,5a + 2), (4, a ), (4,2a + 1), (7,2a 2 1) una relacin donde
A = {2,4,7} . Determine a para que f sea funcin
Solucin.
Para que f sea funcin , el elemento 4 debe tener una nica imagen, as se debe
cumplir que a = 2a + 1 , es decir , a = 1
La funcin es f = {(2,3), (4,1), (7,1)}
3) Demuestre que la relacin f = {( x, y ) / 2 x + 3 y = 6} es una funcin
Demostracin.
Debemos demostrar:
a) Domf = b) [( x, y ) f ( x, z ) f ] y = z
a) Como Domf = {x / y tal que y = f ( x) } basta con demostrar que
Domf
Sea x , debemos demostrar que existe y tal que y = f (x) ; tal y
6 2x
podemos despejarlo de 2 x + 3 y = 6 , obtenemos y = f ( x) =
(ya
3
que x )
b) Si [( x, y ) f ( x, z ) f ] entonces (2 x + 3 y = 6) (2 x + 3z = 6) , es decir
2 x + 3 y = 2 x + 3z , de donde y = z
x +1
f A = ( x, y ) / y = f ( x) =
, A una funcin. Determine el
x 2
4) Sea
41
Observacin
1) De manera ms simplificada definimos la suma de las funciones f , g por
f + g = {( x, f ( x) + g ( x)) / x Domf Domg }
2) Anlogamente definimos las siguientes funciones
f g = {( x, f ( x) g ( x)) / x Domf Domg } ; funcin diferencia
f g = {( x, f ( x) g ( x)) / x Domf Domg } ; funcin producto
f n = {( x, f n ( x)) / x Domf }, n N ; funcin potencia
cf = {( x, cf ( x)) / x Domf } , c = C te ; funcin ponderada
Ejemplo.
Considere las funciones f = {(1,3), (2,6), (4,8), (6,2)}, g = {(0,1), (1,2), (2,1), (4,5), (7,0)}
Como Domf = {1,2,4,6} , Domg = {0,1,2,4,7} entonces Domf Domg = {1,2,4}, de
donde:
f + g = {(1,5), (2,5), (4,13)}
f g = {(1,6), (2,6), (4,40)}
Observacin
Usando la contrapositiva tenemos:
La funcin f : A B es inyectiva [ f ( x1 ) = f ( x 2 ) x1 = x 2 ] x1 , x 2 A
Ejemplos
1) Considere la funcin f : {1} {2} tal que f ( x) =
2x + 3
, demuestre que f
x 1
es inyectiva.
Demostracin.
Debemos demostrar: f (a ) = f (b) a = b a, b {1}
42
2a + 3 2b + 3
=
(2a + 3)(b 1) = (2b + 3)(a 1) , con un poco de
a 1
b 1
trabajo algebraico concluimos que a = b
f (a) = f (b)
Observacin.
1)La funcin f : A B es sobreyectiva si y slo si todos los elementos del
conjunto B son imagen de algn elemento de A
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
43
x
es sobreyectiva
x2
Solucin.
Debemos verificar que Re c( f ) = ( ,0], despejemos x de y =
x
; tenemos:
x2
x
2y
2y
y=
xy 2 y = x x =
, y 1 ;como x [0,2 ) entonces 0
<2
y 1
y 1
x2
La solucin de esta inecuacin es ( ,0] , as Re c( f ) = ( ,0]
b) x 2 x 2 0 x 2 = x 2 , as f ( x) = x 2 x = x 2 x = 2 { 2}
Por a) y b) Re c( f ) = { f ( x) / x } = ( 2, ) {2} = [2, ) = B
3.7.3.4 Funcin inversa, Teoremas
Funcin inversa
Si f A B es una relacin, sabemos que existe la relacin inversa f 1 B A ;
cuando f A B es funcin, no estamos seguros de que f 1 B A sea tambin
una funcin, el siguiente teorema regula la situacin planteada, nos indica que la
funcin f debe ser inyectiva y sobreyectiva, es decir, debe ser biyectiva
Teorema
Sea f : A B tal que y = f ( x) una funcin, se cumple:
f 1 : B A es funcin f : A B es biyectiva
Demostracin.
) Debemos demostrar: a) Dom( f 1 ) = B b) (a, b) f 1 (a, c) f 1 b = c
a) Dom( f 1 ) = Re c( f ) = B ya que f es sobreyectiva
b) (a, b) f 1 (a, c) f 1 [(b.a ) f (c, a) f ] [ f (b) = a f (c) = a ]
f (b) = f (c) b = c ya que f es inyectiva
) Queda propuesta
44
Observacin
Dada la funcin biyectiva f : A B tal que y = f ( x) , nos debe interesar determinar la
expresin funcional de la inversa, es decir , determinar f 1 ( x ) ; tenemos:
y = f ( x ) ( x , y ) f ( y , x ) f 1 f 1 ( y ) = x
Es decir, despejamos x de y = f ( x) y en sta ltima expresin reemplazamos y por x
Ejemplos
1) Considere la funcin biyectiva f : {1} {2} tal que f ( x) =
determine
Solucin
2x + 3
,
x 1
( x)
y+3
2x + 3
tenemos yx y = 2 x + 3 de donde x =
, as entonces
x 1
y2
y+3
x+3
x = f 1 ( y ) =
de donde, f 1 : {2} {1} tal que f 1 ( x) =
y2
x2
2
2) Considere la funcin f : A B tal que f ( x) = 3x + 6 , x 0
Determine la funcin inversa de f
Solucin
Para que exista f 1 , la funcin f debe ser biyectiva
f es inyectiva ya que: f ( x1 ) = f ( x 2 ) 3x12 + 6 = 3x 22 + 6 x12 = x 22 , extrayendo raz
cuadrada obtenemos x1 = x 2 , as, x1 = x 2 de donde x1 = x 2
De f ( x) = y =
y6
y6
de donde x =
, entonces
3
3
x6
3
Observacin
Podemos denotar, ms simple: f o g = {( x, f ( g ( x)) / x Dom( f o g )}
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
45
Ejemplos.
1) Considere las funciones f : tal que f ( x) = x 2 , g = {(4,2), (9,1)}, determine
go f
Solucin
En primer lugar determinemos Dom( g o f )
Dom( g o f ) = {x Dom( f ) / f ( x) Dom( g )} = {x / x 2 {4,9}},as, x 2 = 4 indica
que x = 2 y x 2 = 9 indica que x = 3 , es decir, Dom( g o f ) = { 3,2,2,3}
Ahora, como g o f = {( x, g ( f ( x)) / x { 3,2,2,3}} entonces
g o f = {(3,1), (2,2), (2,2), (3,1)}
2) Considere las funciones f : , g : tal que f ( x + 1) = 2 x + 5 ,
g ( x) = 3 x 2 . Determine ( f o g )( x)
Solucin.
Si x + 1 = p entonces x = p 1 de donde, la expresin f ( x + 1) = 2 x + 5 se convierte
en f ( p) = 2( p 1) + 5 = 2 p + 3 , es decir f ( x) = 2 x + 3
Por otro lado Dom( f o g ) = {x Dom( g ) / g ( x) Dom( f } = {x / 3 x 2 } as,
( f o g )( x) = f ( g ( x)) = f (3 x 2) = 2(3x 2) + 3 = 6 x 3
3) Considere las funciones f, g tal que f ( x) = x 2 ; g ( x) = ax + 1 , a > 0 con dominio real
apropiado para que ambas sean biyectivas.
3
1
Si ( f 1 o g 1 )( ) = , determine ( g o f )(2)
2
2
Solucin.
Como y = f ( x) = x 2 entonces x = y de donde f 1 ( x) = x
y 1
x 1
Como y = g ( x) = ax + 1 entonces x =
de donde g 1 ( x) =
a
a
3
3
1
1
1
Imponiendo la condicin tenemos ( f 1 o g 1 )( ) = f 1 ( g 1 ( )) = f 1 ( ) =
= ,
2
2
2a
2a 2
de donde el valor de a es a = 2 , as, g ( x) = 2 x + 1 .
Finalmente, ( g o f )(2) = g ( f (2)) = g (4) = 9
3.8 EJERCICIOS PROPUESTOS
46
a) f (2 x) + f (3 y ) = 0 x es par y es impar
b) f ( x) f ( y ) = 2 x, y N
c) Existe un nico natural n tal que f (nx) = nf ( x)
Resp. c
3) Determine a, b para que
f = {(1,8), (2,3), (1, a 2 + b 2 ), ((1, a + b), (a 2 + b, a), (b + a 2 , b)} sea funcin
Resp. (a = 2 b = 2) (a = 2 b = 2)
4) Sea A = {p / p es una proposicin} . Definimos una funcin f : A por
1 si p es V
. Demuestre:
f ( p) =
0 si p es F
a) f ( p q) = f ( p) + f (q ) f ( p ) f (q)
b) f (~ p) = 1 f ( p )
c) f (~ p q) = 1 f ( p) f (~ q) = 1 f ( p ) + f ( p ) f (q)
5) Considere las funciones reales f, g tal que f ( x) = x 2 + 2 x , g ( x + 1) = x 2 .
Determine f (( x 1) 2 ) 6 g ( x)
Resp. ( x 1) 2 ( x 3)( x + 1)
6) Sean f, g funciones reales definidas por f ( x) = ax + b , g ( x) = cx + d ;
a, b, c, d ; a, b 0 .Cul de las siguientes afirmaciones es verdadera?
a) f ( x + y ) = f ( x) + f ( y ) b = 0
a
b) ( fg )( x) = x 2 + (b + d ) x + bd = 1
c
c) ( f + g )( x) = b + d a = c
d) f ( g ( x)) = acx + ad
Resp. a) y c)
7) Sea f : una funcin tal que f ( x) = ax + b ; a, b
Si f ( x + y ) = f ( x) + f ( y ) x, y y si f (2) = 6 , determine a y b
Resp. a = 3, b = 0
8) Sea f : ( ,0] una funcin tal que f ( x) = x 2 3 . Demuestre que f es
inyectiva
9) Considere las funciones reales f, g tal que
f ( x + 1) = ax + b , g ( x) = x b ; a, b {0}.Si f o g = g o f Determine el
valor de b(a 1)
Resp 0
10) Si f : una funcin tal que f ( x + 7) = f ( x) + f (7) x y f (0) = 0
Verifique que:
a) f (7) = f (7)
b) f (35) = f (14) + 3 f (7)
f (63)
= 9 si f (7) 0
c)
f (7)
11) Sean f, g funciones reales definidas por
47
f : X Y es funcin, A, B Y demuestre:
f ( A B) = f ( A) f ( B)
f ( A B) f ( A) f ( B)
f 1 ( A B) = f 1 ( A) f 1 ( B)
f 1 ( A B) = f 1 ( A) f 1 ( B)
f 1 ( A B) = f 1 ( A) f 1 ( B)
f 1 ( B C ) = ( f 1 ( B)) C
A B f 1 ( A) f 1 ( B)
f ( f 1 ( B ) B B Y
f 1 ( f ( B)) B B X
12
7
1
1
Resp. a = , b = 5
f ( x) =
6x + 6
6
1
, determine el
16) Si f : A B es una funcin tal que f ( x + 5) =
x+2
4
valor de x que satisface la relacin ( f 1 o f )( ) = 2
x
Resp. A = {3} , B = Re c( f ) = {0}, x = 2
x
. Demuestre que f es
17) Sea f : [0, ) {2} una funcin tal que f ( x) = 2
x 4
inyectiva
18) Sea f una funcin biyectiva tal que f 1 ( x) = 2 x + 2b , b 0 ; f 1 (3b) = 2b 2 ,
1
f (10)
Resp.
determine 1
28
f (10)
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
48
CAPITULO 4
LOS NUMEROS NATURALES
4.1 INDUCCION MATEMTICA
a) 1 S
5) S N tal que
S =N
+
b) n S n S
Observacin.
- El axioma 2 nos indica que todo natural n tiene un nico sucesor n + = n + 1
-
El axioma 4 nos indica que dos naturales distintos no tienen el mismo sucesor
49
P(k + 1)
es
Demostracin.
Consideremos el conjunto S formado por todos aquellos naturales que satisfacen
la proposicin, es decir, sea S = {n N / P (n) es verdedera} , debemos demostrar que
P(n) se satisface para todo natural, es decir, debemos demostrar que S = N .
Como P(1) es verdadero entonces 1 S , adems, por hiptesis se cumple que
P(k ) V P(k + 1) V ; esto indica que k S (k + 1) S .
Observacin.
1) Podemos anotar, en forma ms breve, como sigue:
a) P(1) V
P (n) es V n N
b) P(k ) V P(k + 1) V
50
Ejemplos.
Demuestre que:
1
1
1
n
1
+
+
+ ... +
=
se cumple para todo natural
1 2 2 3 3 4
n (n + 1) n + 1
Demostracin.
Sea P(n):
1
1
1
1
n
+
+
+ ... +
=
. Debemos demostrar que:
1 2 2 3 3 4
n (n + 1) n + 1
involucrada la sucesin
y que el hecho de que P (k ) sea verdadera
n (n + 1) nN
k
significa que la suma de los k primeros trminos de la sucesin es
.
k +1
1
1
=
1 2 1 + 1
1
1
2
P(2) es verdadero si se cumple:
+
=
.
1 2 2 3 2 + 1
2
tanto como el lado
3
1
1
1
1
k
+
+
+ ... +
=
,
1 2 2 3 3 4
k (k + 1) k + 1
51
1
1
1
1
1
1
k
+
+
+ ... +
+
=
+
1 2 2 3 3 4
k (k + 1) (k + 1)(k + 2) k + 1 (k + 1)(k + 2)
=
(k + 1) 2
k (k + 2) + 1
k 2 + 2k + 1
k +1
=
=
=
(k + 1)(k + 2) (k + 1)(k + 2) (k + 1)(k + 2) k + 2
52
= 3 2 (3 2 k 1) + 3 2 1
= 3 2 (8r ) + 8
= 8(9r + 1) =8s con s = (9r + 1) N
Por a) y b) los nmeros de la forma 3 2 n 1 son divisibles por 8 para todo natural n
Observacin
-
conseguimos:
(8r + 1)3 2 1
= 72r + 8
= 8(9r + 1) = 8s
Ejemplo.
Demuestre que 5 2 n + (1) n +1 es divisible por 13 para todo valor de n en N
Demostracin.
Sea P(n) : 5 2 n + (1) n +1 = 13 p para algn valor de p en N
Debemos demostrar que:
a) P (1) se cumple b) Si P (k ) se cumple entonces P (k + 1) tambin se cumple
a) Como 5 21 + (1)1+1 = 25 + 1 = 26 = 13 2 entonces se verifica P (1)
b) Si P (k ) se cumple entonces existe p N tal que 5 2 k + (1) k +1 = 13 p , debemos
demostrar que P (k + 1) tambin se cumple, es decir, debemos probar que
existe q N tal que 5 2 k + 2 + (1) k + 2 = 13q .
5 2 k + 2 + (1) k + 2 = 25 5 2 k + (1)(1) k +1
= 25 5 2 k + 25(1) k +1 25(1) k +1 + (1)(1) k +1
= 25 5 2 k + (1) k +1 + (1) k +1 (25 1)
= 25 13 p 26(1) k +1
= 13(25 p (1) k +1 ) = 13q , donde q = 25 p (1) k +1 N
53
Demostracin.
Supongamos que S = {n N / P(n) es V } es subconjunto propio de N, entonces
N S y N SN.
54
frmula: a 3 = 3 2 33 = 3
b) Si a n = 3 2 n 3 n N , 3 < n k debemos demostrar que a n +1 = 3 2 n 2
Veamos esto ltimo
a n +1 = a n + .. + a 2 + a1 (usando la definicin)
= 3 2 n 3 + 3 2 n 4 + ... + 3 2 33 + 2 + 1 (usando la hiptesis inductiva)
= 3(2 n 3 + 2 n 4 + ... + 21 + 2 0 ) + 3
(*)
a) n + 1 = n +
Se define la adicin en N por:
b) n + m + = (n + m) +
Ejemplo.
Demuestre que n + 1 = 1 + n n N
Demostracin.
La demostracin se debe realizar por induccin sobre n y usaremos tanto n + como su
igual n + 1
Sea P (n) : n + 1 = 1 + n : Por demostrar: a) P(1) V b) P (k ) V P (k + ) V
55
a) P(1) V ya que 1 + 1 = 1 + 1
Proposicin.
Para todo n , m , p N se cumple:
a) n + m N
b) m + (n + p ) = (m + n) + p
c) m + n = n + m
d) Si m + p = n + p entonces m = n
Demostracin.
Demostraremos slo la propiedad c, el resto de la proposicin queda como
ejercicios. En la demostracin, adems de la definicin de adicin usamos, en
particular, la asociatividad
Sea m un natural arbitrario, pero fijo y P (n) : n + m = m + n
Debemos demostrar: a) P(1) es V b) P (k ) V P (k + ) V
a) P(1) es V ya que 1 + m = m + 1 (ya se demostr)
b) Si P (k ) es V , es decir, si k + m = m + k , debemos demostrar que P(k + ) es V , es
decir, debemos demostrar que k + + m = m + k +
Vemoslo
k + + m = (k + 1) + m = k + (1 + m) = (k + m) + 1 = (m + k ) + 1 = m + k +
56
a ) n 1 = n
Se define la multiplicacin en N por:
+
b) n m = n m + n
Proposicin.
Para todo n , m , p N se cumple:
a) n m N
b) m n = n m
c) m (n p) = (m n) p
d) Si m p = n p entonces m = n
Adems, se cumple:
e) (m + n) p = m p + n p
Demostracin.
Demostraremos slo la parte e) de la proposicin, asumiendo ya demostradas
las otras propiedades
Supongamos que m , n son nmeros naturales arbitrarios pero fijos y realicemos
induccin sobre p
Sea P ( p ) : (m + n) p = m p + n p .
Debemos demostrar que a) P(1) es V
b) P (k ) V P (k + ) V
a) P(1) es V ya que (m + n) 1 = m 1 + n 1 = m + n
= m k + ( n k + n) + m
= ( m k + m) + ( n k + n )
57
= mk+ + nk+
a) 1 + 2 + 3 + .... + n =
b)
c)
d)
e)
(6 n +1 + 4) es divisible por 5
j)
5 n 2 n es divisible por 3
k) x n y n es divisible por x y
l)
n 3 + 2n es divisible por 3
1 (n + 1)r n + nr n +1
(1 r ) 2
58
n
1 1
1
1
+ +
+ ... + 2
=
3 15 35
4n 1 2n + 1
(2n 1)3 n + 1
4
1
1
1
1
n
+
+
+ .... +
=
c)
1 3 3 5 5 7
(2n 1)(2n + 1) 2n + 1
n(n + 1)
1
2
3
n
d)
+
+
+ .... +
=
23 4 3 45 456
(n + 1)(n + 2)(n + 3) 4(n + 2)(n + 3)
b) 1 + 2 3 + 3 3 2 + 4 33 + .. + n 3 n 1 =
3 + (1) n +1
3 + (1) n
59
4.2 SUMATORIAS
4.2.1 Sumatoria simple
Definicin
Una sucesin real es toda funcin con dominio un subconjunto de los nmeros
naturales y con valores en , simblicamente, la sucesin a es a : N tal que
n a a (n) = a n
Observacin.
Denotamos la sucesin a por (a n )nN , donde a n es el trmino general de la
sucesin
Ejemplo
Para
la
((1) 2 )
n
sucesin
nn
los
tres
primeros
trminos
son:
ai , por:
i =1
1
ai = a1 si n = 1
n
ai = ni=11
i =1
a + a si n > 1
i
n
i =1
Observacin.
Usando la definicin de sumatoria y las propiedades de los nmeros reales
podemos escribir:
n 1
n 3
n2
=
+
=
+
+
=
a
a
a
a
a
a
i i n i n1 n ai + an2 + an1 + an = ............
i =1
i =1
i =1
i =1
= a1 + a 2 + a3 + ... + a n 2 + a n1 + a n
Ejemplo.
3
Desarrolle y calcule
ai considerando
i =1
la sucesin (2n + 3) nN
Solucin
3
i =1
i =1
ai = (2i + 3) = (2 1 + 3) + (2 2 + 3) + (2 3 + 3) = 5 + 7 + 9 = 21
60
75
Si nos interesa
ai ?. Necesitamos un poco
ms de teora
i =1
i =1
i =1
an = p = np
a) Si a n = p n N entonces
i =1
i =1
i =1
ci = pai = p ai
c) Si (d i ) nN es una sucesin tal que d n = a n + bn n N entonces
n
i =1
n
i =1
i =1
i =1
d i = (ai + bi ) = ai + bi
d)
(ai ai1 ) = an a0
i =1
n
e)
ai =
i= j
( Propiedad telescpica)
n+r
ai r
i= j +r
Demostracin.
Slo demostraremos la propiedad b)
n
i =1
i =1
b) Si
i =1
i =1
i =1
pai = ci = c1 = pa1 = p ai
pai = p ai , r k
i =1
i =1
k +1
k +1
i =1
i =1
pai = p ai
Vemoslo
k +1
k +1
i =1
i =1
pai = ci
61
= ci + c k +1
i =1
k
= pai + pa k +1
i =1
= p ai + pa k +1
i =1
= p ai + a k +1
i =1
k +1
= p ai
i =1
a) 1 + 2 + 3 + 4 + ..... + (n 1) + n = i =
i =1
n(n + 1)
2
b) 12 + 2 2 + 3 2 + 4 2 + ... + (n 1) 2 + n 2 = i 2 =
n(n + 1)(2n + 1)
6
c) 13 + 2 3 + 33 + 4 3 + ... + (n 1) 3 + n = i 3 =
n 2 (n + 1) 2
4
i =1
n
i =1
Observacin.
Estas frmulas que nos permiten sumar sin sumar, ya fueron demostradas por
induccin, sin embargo, es necesario mostrar algn camino que nos lleve a deducirlas,
como un ejemplo deduciremos la suma de los cuadrados de los primeros n naturales
n
(i + 1) 3 , tenemos:
Consideremos
i =1
i =1
i =1
i =1
i =1
i =1
i =1
(i + 1) 3 = (i 3 + 3i 2 + 3i + 1) = i 3 + 3i 2 + 3i + 1
Asumiendo
(i + 1) 3 con
i =1
i3
i =1
despejar
i 2 ; as:
i =1
n
i =1
i =1
i =1
i =1
i =1
(i + 1) 3 = (i 3 + 3i 2 + 3i + 1) = i 3 + 3i 2 + 3i + 1
i =1
62
i =1
i =1
i =1
i =1
i =1
(i + 1) 3 i 3 = 3 i 2 + 3 i + 1
n
(n + 1) 3 1 = 3 i 2 + 3
i =1
(n + 1) 3 1 n 3
i2 =
n(n + 1)
+n
2
n
n(n + 1)
= 3 i 2
2
i =1
(n + 1) 3 (n + 1) 3
3
i =1
n(n + 1)
n(n + 1)(2n + 1)
2
=
6
Ejemplos.
10
(4i
+ 2)
i =1
Solucin.
10
10
10
10
i =1
i =1
i =1
i =1
(4i 2 + 2) = 4i 2 + 2 = 4 i 2 + 10 2 = 4
10(10 + 1)(10 2 + 1)
+ 20 = 1.560
6
20
20
i =1
i =1
i =1
a1 + a 2 + ... + a 20 = ai = (2i 1) = 2 i 20 1 = 2
n
20(20 + 1)
20 = 401
2
(k + 1)(k + 2)
k =1
Solucin.
Para resolver este problema necesitamos descomponer la fraccin racional
1
en fracciones parciales.
(k + 1)(k + 2)
Informalmente introduciremos las acciones bsicas relacionadas con este tema,
el cual se presentar en un Captulo posterior
En primer lugar notemos que la fraccin racional dada tiene como
63
A
, de tal
ax + b
A(k + 2) + B(k + 1)
1
=
(k + 1)(k + 2)
(k + 1)(k + 2)
1
1
1
=
, de donde
(k + 1)(k + 2) k + 1 k + 2
n
1
1
1
=
(k + 1)(k + 2) k + 1 k + 2
k =1
k =1
n
1
, usando la propiedad telescpica
Si consideramos la sucesin
n + 2 nN
n
n
n
1
1
1
1
1
1
1
=
(k + 1)(k + 2) k + 1 k + 2 k + 2 k + 1 = n + 1 2
k =1
k =1
k =1
n
n
2(n + 1)
64
Demostremos que
(k + 1)(k + 2) = 2(n + 2)
se cumple en N
k =1
n
1
n
=
2(n + 2)
k =1 ( k + 1)( k + 2)
Sea P(n) :
(k + 1)(k + 2) = 2 3 = 6
a) P (1) es V ya que
, y por otro
lado
k =1
1
1
=
2(1 + 2) 6
p
b) Si se cumple que
(k + 1)(k + 2) = 2( p + 2)
k =1
p +1
p +1
(k + 1)(k + 2) = 2( p + 3) . Vemoslo:
k =1
p +1
p
p +1
1
1
1
+
=
(k + 1)(k + 2) (k + 1)(k + 2) (k + 1)(k + 2)
k = p +1
k =1
k =1
p
1
+
2( p + 2) ( p + 2)( p + 3)
p( p + 3) + 2
p2 + 3p + 2
p +1
=
=
2( p + 2)( p + 3) 2( p + 2)( p + 3) 2( p + 3)
4) Calcule, usando frmulas, la suma de todos los nmeros impares entre 100 y 500
Solucin.
Queremos los nmeros impares desde 101 hasta 499. Si escribimos un nmero impar
como 2k 1 entonces la suma pedida es
250
(2k 1) ; tenemos:
k =55
250
250 50
200
200
200
k =51
k = 5150
k =1
k =1
k =1
(1)
k =1
Solucin.
2n
(1)
k =1
k = 1 + 2 3 + 4 5......... (2n 1) + 2n
= (1 + 3 + 5 + .... + (2n 1)) + (2 + 4 + 6 + ..... + 2n)
n
k =1
k =1
k =1
= (2k 1) + 2k = (2k + 1 + 2k ) = n
65
21
a) Como
(1)
k =1
2r
(1)
k =1
2 ( r +1)
(1)
k = r +1
k =1
2 ( r +1)
2r +2
2r
k =1
k =1
k =1
(1) k k =
a 21
..
..
a
n1
a12
a 22
an2
.. .. .. .. a1m
.. .. .. .. a 2 m
.. .. .. .. a nm
m
a1 j
j =1
m
a2 j
j =1
.
m
a nj
j =1
i =1
j =1
( aij )
ai1
i =1
66
ai 2
i =1
.
n
aim
i =1
( aij )
j =1 i =1
Naturalmente que estas sumas dobles son iguales (forman la suma de todos los
trminos del arreglo) por lo que podemos afirmar que ( aceptando como definicin)
n
aij = aij
i =1 j =1
j =1 i =1
Se cumple:
n
a)
k = nmk , k
i =1 j =1
n
b)
i =1 j =1
n
c)
i =1 j =1
(ai + b j ) = n b j + m ai
i =1 j =1
n
d)
kaij = k aij , k
j =1
i =1
i =1
j =1
ai b j = ( ai )( b j )
i =1 j =1
Observacin.
Si aplicamos la suma iterada a la sumatoria doble podemos mostrar las
propiedades, por ejemplo:
n m
m
n
m
n
(
a
b
)
(
a
b
)
ma
b
=
m
a
+
n
=
+
+
=
+
i j i j i j i b j
i =1
i =1 j =1
i =1
j =1
i =1
j =1
j =1
n
67
Ejemplo.
3
Calcule
(2i + j )
i =1 j =1
Solucin.
3
j =1
i =1
(2i + j ) = 3 j + 4 2i = 3
i =1 j =1
4(4 + 1)
3(3 + 1)
+ 42
= 78
2
2
1) Si se sabe que (2 xi 3) = 18 ;
i =1
(x
i =1
de
x
i =1
2
i
Resp. 184
2) Sabiendo que
i =1
i =1
ai = 2n 2 + 3n encuentre el valor de
ai 5
3
y a3
Resp. 20 ; 13
15
i(i 3)
3) Determine el valor de
i =5
4) Si
se
sabe
10
i =1
i =1
que
; x 8 = x9 = 3 x 10 = 5 ,
determine el valor de
x
i =1
5) Si
(2 xi 1) 2 = 4 ;
i =1
i =1
i =1
(x
i =1
(2 xi 5) (2 xi + 3) 2
6) Encuentre una frmula que permita sumar los n primeros trminos de la sucesin:
a)
b)
(2n 1)nN
(6n )
3
nN
Resp. n 2
Resp. n(n + 1)(2n + 1)
7) Calcule:
a) 3 + 6 + ... + 198 Resp. 6.633
b) 12 + 2 2 3 2 + 4 2 5 2 + 6 2 ..... 99 2 + 100 2
c) 2 + 4 + 6 + 8 + .... + 200 Resp. 10.100
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
68
a)
i =1
100
b)
i(i + 1) (i + 1)(i + 2)
k + 1
k =1
2.575
5.151
k 1
100
Resp.
k
101
c)
Resp.
Resp. (n + 1) Ln(n + 1)
k =1
a)
i(i + 1)
n
n +1
Resp.
i =1
n
b)
(2i + 3)(2i + 1)
Resp.
i =1
2k 1
k (k + 1)(k + 2)
c)
Resp.
k =1
d)
k+2
k (k + 1)2
k =1
e)
Resp.
k =1
(2i
3
4n + 3
4 2(n + 1)(n + 2)
1
(n + 1)2 n
Resp. 1
k (k + 1)(k + 3)
n
3(2n + 3)
7
1
1
1
+
+
36 6(n + 1) 6(n + 2) 6(n + 3)
4
i =1
+ i + 1) (i + 3i ) = x (2i 2 + 8i )
2
i =1
i =1
a)
(3i 5)
i =1
(i + 3)
c)
i
i =1
5
b)
(i 3)(2i + 5) d)
i =1
(i 2)( j + 2)
i =1 j = 2
69
e) (2i 3i )(
i = 0 j =1
i+2
)
j
5
xi2 = 30 ;
i =1
x i = 18 , determine el valor de
i =1
(x
i =1
2) 2
Resp. -22
6
13) S
i =1
i =1
(ai 3) 2 = (ai + 2) 2 y
a i2
i =1
6
ai
i =1
Resp. 21
10
(2 xi 3) 2 = 1130 ;
14) Dado
i =1
x
i =1
2
i
= 196 ; x 8 = 3 ; x9 = 3 ; x 10 = 5 . Cul es el
valor de
x
i =1
15) S
x
i =1
? Resp. -11
4
i =1
i =1
Resp. 174
8
16) Dado
i =1
2
i
= 25 y
x
i =1
Resp. k = 0 , k = 6
6
(2 x
i =1 j =1
x
i =1
= 18 ;
y
j=1
3 y j + c) = 6.000
70
4.3 PROGRESIONES
4.3.1 Progresin Aritmtica
Definicin.
Una sucesin real (a n )nN se llama Progresin Aritmtica, denotada P.A. si:
a1 = a1
Observacin.
1) a1 se llama primer elemento de la P.A.
2) d = a n +1 a n se llama diferencia de la P.A.
3) Si d > 0 entonces la P.A. es creciente
Si d < 0 entonces la P.A. es decreciente
4) Si a,b,c estn en P.A. entonces b a = c b , es decir, 2b = a + c
Ejemplos.
1) la sucesin de los nmeros naturales es una P.A. con primer elemento a1 = 1
y diferencia d = 1
2) La sucesin formada por los nmeros: 7,5,3,1,1,3,5,.... es una P.A. con
diferencia d = 2 . Observe que:
primer elemento a1 = 7 y
2 = 5 7 = 3 5 = 1 1 = ...
4.3.1.1. Teorema regulatorio
Teorema.
Si (a n )nN es una P.A. con primer elemento a1 y diferencia d entonces:
a) a n = a1 + (n 1)d , n N
n
b)
ai = 2 [2a1 + (n 1)d ]
n
i =1
Demostracin a)
Sea P(n) : a n = a1 + (n 1)d
a) P (1) es V ya que a1 = a1 + (1 1)d
b) Si P(k ) es verdadero, es decir, si a k = a1 + (k 1)d , debemos demostrar que
P (k + 1) tambin es verdadero , es decir, debemos demostrar que
ak +1 = a1 + ((k + 1) 1)d ; vemoslo:
a k +1 = a k + d = a1 + (k 1)d + d = a1 + kd
71
Demostracin b)
Usaremos el Segundo Principio de Induccin Matemtica.
n
n
Sea P (n) : ai = [2a1 + (n 1)d ] , debemos demostrar:
2
i =1
b) Si P (n) es V n N , n k , entonces P (n + 1) V
a) P (1) V
ai = a1 y
i =1
1
[2a1 + (1 1)d ] = a1
2
i =1
n +1
ai =
i =1
n +1
[2a1 + nd ]
2
Vemoslo.
n +1
n +1
i =1
i =1
i = n +1
ai = ai + ai
=
n
[2a1 + (n 1)d ] + an+1
2
n
[2a1 + (n 1)d ] + a1 + nd
2
= na1 +
n
(n 1)d + a1 + nd
2
= (n + 1)a1 + (n 1) + n d
2
= (n + 1)a1 +
=
n(n + 1)
d
2
n +1
[2a1 + nd ]
2
Ejemplos.
1) En una P.A. cuyos tres primeros trminos son: 5, 11, 17 determine:
a) el quinto trmino
b) la suma de los 17 primeros trminos
72
Solucin.
Como a1 = 5 y d = 11 5 = 6 entonces:
a) a5 = a1 + 4d = 5 + 4 6 = 29
17
b)
17
ai = 2 [2 5 + 16 6] = 901
i =1
10
= 3 13 , as, los
3
3) Determinar tres nmeros cuya suma sea 15 y la suma de los cuadrados sea 83.
Solucin.
Consideremos: a1 = x d , a 2 = x , a3 = x + d los tres nmeros en P.A.
Como ( x d ) + x + ( x + d ) = 15 entonces x = 5 , as los nmeros son:
a1 = 5 d , a 2 = 5 , a3 = 5 + d .
Dado que la suma de los cuadrados de los nmeros debe ser igual a 83 entonces
obtenemos la ecuacin (5 d ) 2 + 5 2 + (5 + d ) 2 = 83 ; al resolver esta ecuacin
de segundo grado obtenemos: d1 = 2 , d 2 = 2
Si d = 2 , x = 5 tenemos a1 = 3 , a 2 = 5 , a 3 = 7 ; una P.A. creciente
Si d = 2 , x = 5 tenemos a1 = 7 , a 2 = 5 , a 3 = 3 ; una P.A. decreciente
73
Observacin.
1) a1 se llama primer elemento de la P.G.
a
2) r = n +1 se llama razn del P.G.
an
3) Si r > 1 entonces la P.G. es creciente
Si 0 < r < 1 entonces la P.G. es decreciente
Si r < 0 entonces la P.G. es oscilante
4) Si a,b,c estn en P.G. entonces
b c
= , es decir, b 2 = ac
a b
Ejemplos.
1) La sucesin cuyos primeros trminos son: 2, 4, 8, 16, 32, 64,....es una P.G., donde
4 8 64
= ...
el primer trmino es a1 = 2 y la razn es r = 2 = = =
2 4 32
2) Si los 4 primeros trminos de una P.G. son 3, -6, 12, -24 entonces el primer
trmino es a1 = 3 y la razn es r = 2
4.3.2.1 Teorema regulatorio
Teorema
Si (a n )nN es una P.G. con primer elemento a1 y
razn r 1 , r 0
entonces:
a) a n = a1 r n 1 , n N
1 rn
b) ai = a1
1 r
i =1
n
Demostracin.
Veamos, antes de realizar la demostracin, la forma en que se producen las frmulas
propuestas.
a) a1 = a1
a 2 = a1 r
a3 = a 2 r = (a1 r ) r = a1 r 2
74
a 4 = a3 r = (a1 r 2 ) r = a1 r 3
Resulta inmediato creer que a a = a1 r n 1
n
b)
i =1
n
a
i =1
= a1 + a 2 + a3 + ...... + a n 1 + a n , es decir
= a1 + a1 r + a1 r 2 + ...... + a1 r n 2 + a1 r n 1
tenemos:
i =1
a
i =1
i =1
i =1
= a1
1 r
1 r
b) Sea P(n) : ai = a1
i =1
1 rn
1 r
1
ai = a1 = a1
i =1
1 r1
1 r
1 rk
ii) Si P (k ) es verdadero, es decir si a i = a1
debemos demostrar que
1 r
i =1
k
k +1
ai = a1
i =1
k +1
1 r k +1
; tenemos:
1 r
a = a
i =1
i =1
= a1
+ a k +1
1 rk
1 rk
k
= a1
+ a1 r = a1 (
+ rk )
1 r
1 r
1 r k + r k r k +1
1 r k +1
= a1
1 r
1 r
Ejemplos.
1) En una P.G. cuyos tres primeros trminos son 3, 6, 12, determine
a) el quinto trmino
b) la suma de los diez primeros trminos
75
Solucin.
Como el primer trmino de la P.G. es a1 = 3 y la razn es r = 2 entonces:
10
a) a5 = a1 r 4 = 3 2 4 = 48
ai = a1
b)
i =1
1 r 10
1 210
=3
= 3.069
1 r
1 2
27
en una P.G. que tiene primer elemento
4
4
3
tal que la razn es r = ?
3
2
Solucin.
Como a n = a1 r n 1 entonces queremos n, tal que
27 4 3
=
4 3 2
n 1
27 3 3
=
4 4 2
n 1
3
3
=
2
2
27 4 3
=
4 3 2
n 1
n 1
, as, n = 5 y entonces el
27
4
3) La suma de tres nmeros en P.G. es 70, si se multiplica los dos extremos por 4 y el
trmino central por 5 entonces los nuevos nmeros estn en P.A. Determine los
nmeros originales,
Solucin.
Si denotamos por a al primer nmero entonces, los otro nmeros son ar y
ar 2 . Por los datos disponibles obtenemos la ecuacin a + ar + ar 2 = 70
Por otro lado, los nmeros 4a , 5ar , 4ar 2 quedan en P.A. y entonces, la
ecuacin que podemos deducir es 5ar 4a = 4ar 2 5ar (ambos lados son igual
a d ) ; arreglando esta ltima expresin obtenemos 4ar 2 10ar + 4a = 0
Como a 0 entonces la ecuacin queda 4r 2 10r + 4 = 0 , la cual tiene
1
solucin r = 2 , r = .
2
76
r=
1
1
1
a + a + a = 70 a = 40 , as, los nmeros pedidos son 40, 20, 10
2
2
4
b a 2b b c
2b b a b c 2b
b c
sta igualdad debemos probar que = , es decir, que b 2 = ac
a b
ba b+c
1
1
1
1
b a 2b 2b (b c)
,
entonces
=
=
, es decir
Si
2b b a b c 2b
2b(b a)
2b(b c)
ba
bc
al seguir trabajando obtenemos b 2 = ac
4.3.3 PROGRESION ARMONICA
Definicin.
Una sucesin real (a n )nN se llama Progresin Armnica, denotada P.H., si
an
Ejemplos.
1 1 1
1
1) La sucesin: 1, , , ,...., ,... es una P.H. ya que la sucesin formada por los
2 3 4
n
recprocos 1, 2, 3,..., n,.... es una P.A.
2 xz
x+z
Demostracin.
Si x, y, z estn en P.H. entonces
Si
1 1 1
, , estn en P.A.
x y z
1 1 1
1 1 1 1
2 1 1
, , estn en P.A. entonces =
de donde
= + ,
x y z
y x z y
y x z
finalmente: y =
2 xz
x+z
77
3
2
, a2 =
4
3
15
Determine: a) a5
b) a x 2
c)
ai
i =1
1 2 (i 1) 2
+
,1 i n , n N
3) Sea A = a i / ai =
2
2
b) Determine
ak
k =1
78
6
2
, 10 2 ,
14
2
, ....
c) 2a b , 4a 3b , 6a 5b , ...
d)
a+b
3a b
,a,
, .....
2
2
e)
2a 2 1
3 6a 2 5
, 4a ,
, ...
a
a
a
f)
1 + k 4k
,
, .....
1 k 1- k2
9) La suma de tres nmeros en P.A es 12 y la suma de sus cubos es 408, determine los
nmeros.
10) Demostrar que la suma de un nmero impar de trminos de una P.A. es igual al
trmino central multiplicado por el nmero de trminos.
11) Verificar que el cuadrado de las cantidades a 2 2a 1 , a 2 + 1 , a 2 + 2a 1 forman
una P.A.
12) Una empresa tiene una produccin de 20.000 unidades en
incrementa su produccin, cada ao, en 1.200 unidades.
a) Cunto producir el quinto ao?
b) Cul ser la produccin total en los primeros 5 aos?
el primer ao e
79
15) En una P.G. la suma de tres trminos es 224 y la suma de los extremos excede en
96 al trmino central. Calcule los nmeros
16) Sea (a n ) nN una P.G.
a) Si a1 + a 2 = 28 y a 3 + a 4 = 175 calcule el quinto trmino
b) Si a 2 + a3 = 30 y a3 a1 = 8 calcule el primer trmino
17) Sume los n primeros trminos en cada una de las siguientes P.G.
a)
1 1 2
, , , ...
2 3 9
b) 1 , 5 , 25 ,...
c) 24 , 12 , 6 , ...
18) Interpolar 5 medios geomtricos entre 3 95 y 40 12
19) Si a, b, c, d estn en P.G. demuestre que (b c) 2 + (c a) 2 + (d b) 2 = (a d ) 2
1
9
de modo que los tres primeros formen
y
20) Intercalar dos nmeros reales entre
2
4
una P.A. y los tres ltimos formen una P.G.
21) Si x, y, z estn en P.A. demuestre que x + xy + y 2 , y 2 + yz + z 2 , z 2 + zx + x 2
estn en P.A.
22) Sean x, y, z tres nmeros en P.A,. tales que su suma es 24. Si restamos uno al
primer trmino y dos al segundo, los nuevos nmeros quedan en P.G.; determine
los nmeros originales
23) Calcule la suma de todos los nmeros impares entre 100 y 500
24) Si
a+b
b+c
estn en P.H. demuestre que a , b , c estn en P.G.
, b ,
2
2
80
Observacin.
Al Principio del Anlisis Combinatorio tambin
Multiplicativo.
se le llama Principio
Ejemplo.
Si entre dos ciudades A y B existe una lnea de buses que las une y que dispone
de 10 mquinas en uso De cuntas maneras una persona puede ir de A a B u volver
en un bus distinto?
Solucin.
Como ir de A a B se puede realizar de 10 maneras distintas y volver de B a A
de puede hacer de 9 otras formas distintas entonces, realizar el viaje completo, en las
condiciones planteadas, se realiza de 10 9 = 90 maneras
81
si n = 0
1
n !=
n (n 1) ! si n 1
Ejemplo.
4 ! = 4 3 ! = 4 3 2 ! = 4 3 2 1! = 4 3 2 1 1 = 24
Observacin.
Es inmediato notar que n ! = n(n 1)(n 2) .... 3 2 1
Ejemplos.
1) Determine
x!
( x 2) !
Solucin.
x( x 1)( x 2) !
x!
=
= x( x 1)
( x 2) !
( x 2) !
2) Solucione la ecuacin
( x 1) ! + 2( x + 1) !
= 13
x ! ( x 1) !
Solucin.
( x 1) ! + 2( x + 1) !
( x 1) ! + 2( x + 1) x( x 1) !
= 13
= 13
x ! ( x 1) !
x( x 1) ! ( x 1) !
( x 1) ! [1 + 2 x( x + 1)]
= 13
( x 1) ! ( x 1)
1 + 2 x( x + 1)
= 13
x 1
2 x 2 11x + 14 = 0
x1 =
x=
2
x 2 = 2
Naturalmente que la solucin es x = 2
82
4.4.3 VARIACIONES
Sea A un conjunto con n elementos, llamamos variacin de orden k , k n ,
a todo subconjunto ordenado de A que tenga k elementos
Observacin.
Dos variaciones de orden k son diferentes tienen, al menos un elemento distinto
o, si teniendo los mismos elementos, estos estn en distinto orden
El nmero total de variaciones de orden k que se puede formar, seleccionado los
elementos de un conjunto que tiene n elementos se denota V (n, k ) o Vnk
Proposicin.
El nmero de variaciones V (n, k ) es V (n, k ) =
n!
(n k ) !
Demostracin.
El primer lugar de la k-upla se puede llenar de n formas distintas
El segundo lugar de la k-upla se puede llenar de n 1 formas distintas
El tercer lugar de la k-upla se puede llenar de n 2 formas distintas
...
...
El k-simo lugar de la k-upla se puede llenar de n (k 1) formas distintas
Usando el Principio Multiplicativo, llenar los k lugares de la k-upla se puede
realizar de n (n 1) (n 2) ... (n (k 1) ) formas, ahora:
V (n, k ) = n (n 1) (n 2) ... (n (k 1) )
(n k ) (n k 1) ..... 3 2 1
(n k ) (n k 1) ..... 3 2 1
n (n 1) ... (n (k 1) ) (n k ) (n k 1) ..... 3 2 1
n!
=
(n k ) (n k 1) .... 3 2 1
(n k ) !
Ejemplo.
Cuntas palabras de 3 letras se puede formar usando las letras a, b, c, d ?
Solucin.
Como el orden de las letras en cada palabra interesa entonces estamos frente a
4!
= 24
variaciones y la respuesta es: V (4,3) =
(4 3) !
83
Ejemplo.
Cuntas seales diferentes se puede formar, si disponemos de 6 banderas de
colores diferentes las cuales se colocan en un mstil, una tras otra, si se puede usar
cualquier nmero de ellas a la vez?
Solucin.
Como el orden de las banderas en el mstil es importante entonces el
6
V (6, k )
k =1
4.4.4 PERMUTACIONES
Una permutacin de orden n es toda variacin de orden n
Observacin.
Dos permutaciones de orden n tienen los mismos elementos y son diferentes
slo por el distinto orden que presentan los elementos
Al nmero total de permutaciones de orden lo denotamos Pn
Proposicin.
El nmero de permutaciones de orden n es Pn = n !
Demostracin.
n!
Pn = V (n, n) =
= n!
( n n) !
Ejemplo.
De cuntas maneras se puede ordenar 6 libros en un estante?
Solucin.
De P6 = 6 ! = 720 formas distintas
Si de estos libros, 3 de ellos forman una coleccin y por lo tanto van juntos, el
nmero total de distribuirlos es ahora P4 = 4 ! = 24 maneras
4.4.5 COMBINACIONES
Sea A un conjunto que tiene n elementos, llamamos combinacin de orden
k, k n , a todo subconjunto de A formado por k elementos
Observacin.
Dos combinaciones de orden k son diferentes slo si tienen al menos un
elemento diferente, dado que el orden de los elementos no interesa.
Al nmero total de combinaciones de orden k lo denotamos C (n, k ) o tambin
n
por
k
84
Proposicin.
C (n, k ) =
n!
k ! (n k ) !
Demostracin.
Como cada variacin de orden k genera k ! variaciones de orden k entonces
k! C (n, k ) = V (n, k ) , de donde: C (n, k ) =
V (n, k )
n!
=
k!
k ! (n k ) !
Ejemplo.
1) Si una prueba contiene 7 preguntas y el alumno debe responder slo 4 de ellas
Cuntas posibles tipos de pruebas espera como respuesta el corrector?
Solucin.
Como el orden de las respuestas no interesa, el nmero pedido es
7
C (7,4) = = 35
4
2) En un grupo de 15 muchachos y 10 nias De cuntas maneras puede formarse un
grupo compuesto por 3 muchachos y 2 nias?
Solucin.
Como al formar el grupo no interesa el orden entonces, los 3 muchachos pueden
seleccionarse entre los 15 disponibles de C (15,3) formas, por otro lado las 2 nias
pueden seleccionarse de entre las 10 nias de C (10,2) .
Usando el Principio Multiplicativo concluimos que, el grupo puede formarse
de C (15,3) C (10,2) = 20.475
Observacin.
Se cumple:
n
a) = 1 , n N {0}
n
85
n
b) = 1 , n N {0}
0
n
= n , n N
c)
n 1
n n
, n, k N {0} , k < n
d) =
k n k
n n n + 1
=
, n, k N {0} , k < n
e) +
k k + 1 k + 1
Demostracin
n n
n!
n!
=
e) +
+
k k + 1 k ! (n k ) ! (k + 1) ! (n k 1) !
=
(k + 1) n ! + (n k ) n !
(k + 1)! (n k ) !
n ! [k + 1 + n k ]
(k + 1)! (n k ) !
n + 1
(n + 1) n !
(n + 1) !
=
=
(k + 1)! (n k ) ! (k + 1) ! (n k ) ! k + 1
Ejemplo
n + 1 n + 1 n + 2 n + 3
+
+
=
Compruebe que
k k + 1 k + 2 k + 2
Solucin
Usando la ltima afirmacin tenemos:
n + 1 n + 1 n + 2 n + 2 n + 2 n + 3
+
+
=
+
=
k k + 1 k + 2 k + 1 k + 2 k + 2
86
10) Simplifique:
a)
(n + 1) ! + n !
(n + 1) ! n !
n + 1
k + 1
b)
n
k 1
87
c)
Resp. x = 31
(2 x) !
x ! ( x 2) ! 132
=
Resp. x = 6
( x 1) ! ( x + 1) ! (2 x 2) !
35
k
k 1 k 2 k
n + 2 n + 2 n + 2 n + 2 n + 5
+ 3
+ 3
+
=
88
k =0
r
b) Si P(r ) es verdadero, es decir, si (a + b) = a r k b k debemos demostrar que
k =0 k
r
r +1 r + 1
r +1 k k
a
(a + b) r +1 =
b . Vemoslo
k =0 k
(a + b) r +1
= ( a + b ) r ( a + b)
r
r
= ( a r k b k )(a + b)
k =0 k
r
r
r r ( k 1) k 1
r
a
= a r + a r 1b + ... +
b + ... + b r (a + b)
1
k 1
r
0
r
r
r
r r k + 2 k 1
r
a
= a r +1 + a r b + .a r 1b 2 + ... +
b + ... + ab r
0
1
2
k 1
r
r
r
r r k +1 k
r
a
+ a r b + a r 1b 2 + .............. +
b + .... + b r +1
0
1
k 1
r
89
r r
r r
r r r r r +1
r
ab + b
= a r +1 + + a r b + + a r 1b 2 + .. + +
r
r
1
0
2
1
11
0
r + 1 r +1 r + 1 r
r + 1 r 1 2
r + 1 r r + 1 r +1
a +
a b +
a b + .. +
ab +
b
=
0
1
2
r
r + 1
= (a + b) r +1
Observacin.
1) Desarrollando la sumatoria obtenemos:
n
n
(a + b) n = a n k b k
k =0 k
n
n
n
n n ( k 1) k 1
a
= a n + a n 1b + a n 2 b 2 + ... +
b + ...
0
1
2
k 1
n n ( n 1) n 1 n n
a
+
b + b ; es decir, en el desarrollo de
n 1
n
(a + b) n obtenemos (n + 1) trminos.
n n ( k 1) k 1
a
2) El trmino de lugar k , denotado t k , es: t k =
b , o quizs ms
k 1
n
fcil, el (k + 1) -simo trmino es t k +1 = a n k b k .
k
Ejemplos.
1) Desarrolle: (2a + b) 4
Solucin.
( 2 a + b) 4
4
4
4
4
4
4
4
= (2a) 4 k b k = (2a ) 4 + (2a ) 3 b + (2a ) 2 b 2 + (2a)b 3 + b 4
0
1
2
3
4
k =0 k
90
x 2 14
) determine:
2
a) el quinto trmino
b) el(los) trmino(s) central(es)
2) En (1
Solucin.
14
x2
x 8 1.001 8
a) t 5 = 110 ( ) 4 = 1.001
=
x
2
16
16
4
b) Si el exponente del binomio es un nmero par, entonces existe un nico trmino
central, as, si n es par, entonces el trmino central es : t n ; el trmino pedido es
2
+1
14 x 2
14 1 14
=
x
: t 8 = 17
7
7 2
72
3
Solucin:
15
18
Supongamos que x t t +1
18
( )
15
= x 2
k
15 k
3
, entonces
x
15
15
x 18 x 30 2 k 3 k x k = 3 k x 303k . Esto nos indica que x 18 = x 30 3k , de donde
k
k
15
30 3k = 18, as, k = 4. Deducimos que el coeficiente de x 18 es 3 4
4
4) Determine el coeficiente de x 10 (si existe), en (1 + 2 x + 3x 2 )(1 + x)12
Solucin.
(1 + 2 x + 3x 2 )(1 + x)12 = (1 + x)12 + 2 x(1 + x)12 + 3x 2 (1 + x)12
91
12 12
12 12
Como (1 + x )12 = 112 k x k = x k ,concluimos que:
k =0 k
k =0 k
12
12
el coeficiente de x 10 es ; el coeficiente de x 9 es y que el coeficiente de
10
9
12
x 8 es ,as, el coeficiente de x 10 en el desarrollo de (1 + 2 x + 3x 2 )(1 + x)12 es
8
12
12 12
+ 2 + 3
10
9 8
5) ) Determine el coeficiente de x 6 en (2 + x + x 2 )10
Solucin
10
y adems
10 k 10 10 k
10 10 k 10 k 10 k p p 2 k
10 k p p + 2 k
2
2
x
x 6
x ( x ) , es decir, x 6
k
p
p
=
1
k p =1 p
1
1) Determine el sexto trmino en el desarrollo de ( a 3) 6
2
x2 x
2) Determine el sexto trmino en el desarrollo de
2
3
15
18
92
1
6) Determine el coeficiente de x en 9 x 3
x
10
es 3.360?
13
n
8) Determine el coeficiente de x n en 1 x + x 2 (1 + x )
9) Determine el coeficiente de x 5 en 1 + x + x 2
10
k = 2 n
k =0
19
11) En (3 x + 2 ) existen dos trminos consecutivos con coeficientes iguales?
3n
trmino
3n
1
1
de x 2 + 2 y x + 2 sean
x
x
iguales?
14) En (x +
1 2 n +1
2
determine
a4 b2
15) En
+ 7 determine (si existen )
b
a
a) el sptimo trmino
b) el coeficiente de ab
16) Determine
( x + h) 4 x 4
. Qu pasa si h es muy pequeo?
h
93
17) En el
desarrollo de (3x + 2)19 Existirn dos trminos consecutivos con
coeficientes iguales?
18) Pruebe que los coeficientes de x 2 y x 3 en el desarrollo de ( x 2 + 2 x + 2) n son,
1
respectivamente 2 n 1 n 2 y n(n 2 1)2 n 1
3
n
19) Considere p, q + tal que p + q = 1 y P (k ) = p k q n k , k = 0,1,.., n
k
Demuestre:
n
kP(k ) = np
a)
k =0
n
b)
k =0
1) Calcule
k k !
k =1
Solucin.
n
k =1
k =1
k =1
K =1
k k != (n + 1) ! 1
k =1
2) Demuestre que
k k != (n + 1) ! 1 se cumple en todo N
k =1
Demostracin.
n
Sea P(n) : k k != (n + 1) ! 1
k =1
k k != 1 1!= 1 = (1 + 1) ! 1 = 2 ! 1
k =1
k k != (r + 1) ! 1 , debemos demostrar
k =1
r +1
que
k k != (r + 2) ! 1 . Vemoslo:
k =1
94
r +1
r +1
k =1
k = r +1
k k != (r + 2) ! 1 = k k ! + k k !
k =1
= (r + 1) ! 1 + (r + 1) (r + 1) !
= (r + 1) ! (1 + r + 1) - 1
= (r + 2) ! 1
n
3) Calcule ln e k
k =1
Solucin
n
ln e k = ln(e e 2 .e 3 ...... e n )
k =1
= ln e + ln e 2 + ln e 3 + ... + ln e n = 1 + 2 + 3 + ... + n =
n(n + 1)
2
95
k 1
100
k =2
S =
i =1
100 k 1
=
k = 2 i =1
2k 1
k 1
k =1 4
Solucin.
20
20
20
1
2k
1
1
1
2 k 1 20 2 k
=
(
)
=
(
)
=
( k 2 k 1 )
2k 2
k 1
k 1
k 1
k 1
4
4
4
k =1 4
k =1 4
k =1 2
k =1 2
20
6) Calcule
20
20
20
1
1
1
1
= (( ) k 2 ( ) k 1 ) = ( ) k 2 ( ) k 1
2
4
k =1
k =1 2
k =1 4
1 r
i =1
1) Calcule log
3k 1
Indicacin. Separe y llega a dos P.G.
k 1
k =1 9
100
2) Calcule
3) Demuestre que
(p
p =1
4) Calcule
k =1
96
3
5) Calcule k + 2 k + 1
4
k =5
100
6) Calcule
(k + 1) !
k =1
Resp. 1
1
(n + 1) !
k 2 + 2 k + 1
1 k 25
k 1
2
26 k 35
10) Si a k = 2 k +1
3
1
(2k + 5)(2k + 7) 36 k 50
50
, determine a k
k =1
i + 1 n + 2
=
se cumple para todo valor del natural n
i =1 2
3
n
97
CAPITULO 5
ESTRUCTURAS ALGEBRAICAS
5.1 Ley de composicin interna
Definicin.
Sea E un conjunto, se llama ley de composicin interna en E si y slo si:
a b = c E , a, b E
Observacin.
1) tambin se llama operacin binaria interna en E
2) Podemos decir que el conjunto E est cerrado para
3) es ley de composicin interna en E si y slo si : E E E es funcin
Ejemplos.
1) La adicin es ley de composicin interna en N , Z , Q, R
2) definida en Z por a b = a b + ab es ley de composicin interna en Z
3) Si A es un conjunto y P ( A) = {X / X A} entonces, la operacin
definida en P( A) es ley de composicin interna en P( A)
Proposicin.
Sea ley de composicin interna en E y a, b E , entonces:
a) a = b a c = b c c E
b) a = b c a = c b c E
Demostracin.
a) a = b (a, c) = (b, c) (a, b) = (b, c) es decir a c = b c
b) Anlogo
5.1.1 Asociatividad
Definicin.
Sea ley de composicin interna en E , decimos que es asociativa si y slo
si a (b c) = (a b) c a, b, c E
Ejemplos.
1) La adicin en Z es asociativa
2) La multiplicacin es asociativa en N , Z , Q,
3) definida en por: a b = a + b + 2ab es asociativa ya que:
a (b c) = a (b + c + 2bc)
= a + (b + c + 2bc) + 2a (b + c + 2bc)
= a + b + c + 2bc + 2ab + 2ac + 4abc
Por otro lado
(a b) c = (a + b + 2ab) c
= (a + b + 2ab) + c + 2(a + b + 2ab)c
= a + b + 2ab + c + 2ac + 2bc + 4abc
Como a (b c) = (a b) c entonces es asociativa
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
98
Ejemplos.
1) La multiplicacin es distributiva con respecto de la adicin en ya que
a (b + c) = a b + a c a, b, c y (a + b) c = a c + b c a, b, c
2) La adicin no es distributiva con respecto de la multiplicacin en ya que, por
ejemplo, 2 + (5 4) (2 + 5) (2 + 4)
3) Sean : + + + tal que a b = b a y : + + + tal que ab = a b
dos leyes de composicin interna.
a) Pruebe que es distributiva por la izquierda con respecto de
b) Pruebe que no es distributiva por la derecha con respecto de
Demostracin.
a) Debemos demostrar que a (bc) = (a b)(a c) a, b, c +
a (bc) = a (b c) = (b c) a = b a c a = (a b)(a c)
b) Como (ab) c = (a b) c = c ab y (a c)(b c) = c a c b = c a + b y dado que
c ab c a +b concluimos que no es distributiva por la derecha con respecto de
5.1.3 Elemento neutro
Definicin.
Sea ley de composicin interna en E, e E se llama elemento neutro para
si y slo si e a = a e = a a E
Ejemplos.
1) 0 es neutro para la adicin en los nmeros reales
2) 1 es neutro para la multiplicacin en los nmeros reales
3) : P( X ) P( X ) P( X ) donde X es un conjunto y P( X ) es el conjunto potencia
de X tiene neutro e = X ya que A X = X A = A A P(X)
99
Proposicin.
Sea ley de composicin interna en E entonces, si existe elemento neutro,
ste es nico
Demostracin.
Sean e , e1 dos neutros para , debemos demostrar que e = e1 ; tenemos:
e e1 = e1 ya que e es neutro, por otro lado e e1 = e ya que e1 es neutro, as, e = e1
5.1.4 Conmutatividad
Definicin.
Sea ley de composicin interna en E, es conmutativa en E si slo si
a b = b a a, b E
Ejemplos.
1) La adicin y la multiplicacin son operaciones conmutativas en Z , Q, R
2) La unin y la interseccin de conjuntos son operaciones conmutativas en el
conjunto potencia del conjunto A
3) La operacin definida en R tal que a b = a + 2b no es conmutativa, ya
que, por ejemplo, 3 2 = 7 2 3 = 8
5.1.5 Elemento inverso
Definicin.
Sea ley de composicin interna en E tal que existe elemento neutro
e E con respecto de ; se llama elemento inverso de a E con respecto de
al elemento a E tal que a a = a a = e a E
Ejemplo.
Considere la operacin definida en por a b = a + b + 2ab tal que es
asociativa y con neutro e = 0 . Qu elementos a tienen inverso a ?
Solucin.
Imponiendo la condicin de inverso, se debe cumplir que a a = e , as:
1
a
donde a , por otro
a a = e a + a + 2a a = 0 a(1 + 2a) = a a =
2a + 1
2
a
a
a
a 2a a
a =
+ a + 2a
=a+
lado a a =
= 0 de donde:
2a + 1
2a + 1
2a + 1
2a + 1
a
1
a existe a tal que a =
2a + 1
2
Proposicin.
Sea ley de composicin interna en E tal que es asociativa y con elemento
neutro e entonces, si a E tiene inverso, este es nico.
Demostracin.
Sean x1 , x 2 dos inversos de x entonces se cumple: x1 x = x x1 = e y adems
x 2 x = x x 2 = e x E ; debemos demostrar que x1 = x 2 , vemoslo:
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
100
x1 = x1 e = x1 ( x x 2 ) = ( x1 x) x 2 = e x 2 = x 2
Proposicin.
Sea ley de composicin interna en E tal que es asociativa y con elemento
neutro e tal que a, b E tienen elemento inverso a , b , entonces:
a) (a) = a
b) (a b) = b a
Demostracin.
b) Si demostramos que c = b a es tal que (a b) c = e y c (a b) = e , habremos
demostrado que c es inverso de a b ; vemoslo:
(a b) c = (a b) (b a) = a b (b a) = a (b b) a) = a e a = a a = e
[ ]
a) (2 x) = 3 x 2 = 3 x
2
(2)
2 x 2
2(2) + 1
3
2
2
1
8
x + 2( ) x 2 x x 8
3
3
3
3
1
La solucin es [ 8, [
2
b) (2 x) 2 x 2 2 x
101
5.2.1 Grupo
Definicin.
Un grupo es un par (G,) donde:
1) G es un conjunto
2) es ley de composicin interna en G tal que:
a) a (b c) = (a b) c a, b, c G
b) Existe e G tal que a e = e a = a a G
c) Si a G entonces existe a G tal que a a = a a = e
Observacin
Decimos que el grupo (G,) es conmutativo si la operacin es conmutativa
Ejemplos.
1) ( Z ,+) es grupo conmutativo
2) ( {0}, ) es un grupo conmutativo
ab
es grupo conmutativo
3) (Q + ,) tal que a b =
2
Proposicin.
Sea (G,) un grupo entonces : a c = b c a = b , a, b, c G
Demostracin.
) Si a c = b c debemos demostrar que a = b
a c = b c (a c) c = (b c) c
a (c c ) = b (c c )
ae = be a = b
) Propuesto
Proposicin.
Sea (G,) un grupo, a, b G entonces, la ecuacin a x = b tiene solucin nica
en G
Demostracin.
a x = b a (a x) = a b
(a a) x = a b
e x = a b x = a b
Es claro que a b es solucin y nica
Ejemplos.
1) (C ,+ ) donde C = {(a, b) / a, b } es el conjunto de los nmeros complejos y la
adicin esta definida por (a, b) + (c, d ) = (a + c, b + d ) (a, b) , (c, d ) C , es un grupo
conmutativo
a c
/ a, b, c, d es el
2) ( M (2, ) , + ) donde M (2, ) =
b d
conjunto
de las
102
a c e
+
b d f
g a + e
=
h b + f
c+ g
es un grupo conmutativo
d + h
1
tienen estructura de
x
f (x)
f (x)
g (x)
g (x)
g (x)
f (x)
Es inmediato que:
El elemento neutro es e = f (x)
El elemento inverso de f ( x) es f ( x) ; el elemento inverso de g ( x) es g ( x)
La asociatividad la puede probar Ud.
As, ( A,o) es grupo; adems es grupo conmutativo.
4) Sea ( Z ,) tal que a b = a + b 2 , a, b Z . Demuestre que ( Z ,) es grupo
Demostracin.
Claramente es ley de composicin interna en Z
Debemos demostrar que es asociativa, posee neutro e inverso en Z
i) a (b c) = a (b + c 2)
= a + (b + c 2) 2
= a+b+c4
(a b) c = (a + b 2) c
= (a + b 2) + c 2
= a+b+c4
as, a (b c) = (a b) c a, b, c Z
ii) Debemos probar que existe neutro e tal que a e = e a = a a Z
Imponiendo la condicin a e = a tenemos:
ae = a a + e 2 = a e = 2
Ahora debemos verificar que el neutro opera por la derecha, tenemos:
e a = 2 a = 2 + a 2 = a ; as. El neutro es e = 2
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
103
Definicin.
Sea ( A,+,) un anillo, entonces:
a) ( A,+,) es conmutativo si y slo si es conmutativa
b) ( A,+,) es un Anillo con unidad si y slo si existe elemento neutro para
104
Ejemplos.
1)
2)
3)
4)
( Z ,+,) es anillo
( E ,+,) es anillo, donde E = {x Z / x es un nmero par}
( Z ,+,) donde a b = 2ab es anillo
( ,+,) tal que (a, b) + (c, d ) = (a + c, b + d ) y (a, b) (c, d ) = (ac, bd ) es
anillo
5) (C ,+,) tal que C = , (a, b) + (c, d ) = (a + c, b + d ) ,
(a, b) (c, d ) = (ac bd , ad + bc) es un anillo
6) ( Z 4 ,+,) es anillo
a c x z ax + cy az + cw
=
Proposicin.
105
Definicin.
Un anillo conmutativo es un triple ( A,+,) tal que:
a) ( A,+,) es anillo
b) es conmutativa
Ejemplos.
a) ( Z ,+,) es anillo conmutativo
b) El anillo ( M (2, ),+,) no es conmutativo
c) En general ( Z m ,+,) es anillo conmutativo
d) El anillo ( M (2, ),+,) no es conmutativo ya que por ejemplo
1 0 1 1 1 1 1 1 1 0 3 3
=
=
2 3 1 0 5 2 1 0 2 3 1 0
Definicin.
Un anillo con identidad es un triple ( A,+,) tal que:
a) ( A,+,) es anillo
b) Existe 1 A tal que 1 a = a 1 = a a A
Ejemplos.
1) ( Z ,+,) es anillo con unidad
1 0
106
Teorema.
Un anillo ( A,+,) no tiene divisores del cero si y slo si es vlida la ley de
cancelacin para la multiplicacin.
Demostracin
)
Sea ( A,+,) un anillo sin divisores del cero y a, b, c A tal que c 0 ,
debemos demostrar que: si a c = b c entonces a = b , vemoslo:
a c = b c a c b c = 0 (a b) c = 0 ; como ( A,+,) es un anillo sin divisores
del cero y c 0 entonces a b = 0 , de donde, a = b
) Supongamos que se cumple la cancelacin para la multiplicacin, debemos
demostrar que: a b = 0 (a = 0 b = 0)
Si a 0 entonces a b = 0 a b = 0 b de donde b = 0
Definicin.
Un dominio de integridad es un triple ( A,+,) tal que:
a) ( A,+,) es anillo conmutativo con identidad
b) (a 0 b 0) a b 0) donde el neutro para + es 0
Observacin.
Sea ( A,+,) un dominio de integridad, entonces:
a) (a c = b c) a = b a, b, c A, c 0
b) La ecuacin a x = b , a 0 tiene solucin nica
c) a b = 0 (a = 0 b = 0)
Ejemplos.
a) ( Z 5 ,+,) es dominio de integridad
b) (C ,+,) tal que C = , (a, b) + (c, d ) = (a + c, b + d ) ,
(a, b) (c, d ) = (ac bd , ad + bc) es dominio de integridad
Observacin.
En el anillo ( Z 4 ,+,) , la ecuacin 2 x = 0 tiene dos soluciones, naturalmente
que nos interesa una estructura tal que una ecuacin del tipo a x = b tenga solucin
nica; en la estructura de cuerpo una ecuacin del tipo a x = b tiene solucin y es
nica.
5.2.4 Cuerpo
Definicin.
El triple ( A,+,) e un cuerpo si y slo si:
a) ( A,+,) es anillo conmutativo con unidad 1
107
a
-b
)
, 2
2
a + b a + b2
2
Observacin.
a) Si ( A,+,) es un cuerpo entonces ( A,+,) es dominio de integridad; en efecto:
slo falta demostrar que (a 0 b 0) a b 0 ; lo demostraremos usando la
contrapositiva (a b = 0) (a = 0 b = 0)
Supongamos que a b = 0 y que b 0 , entonces (a b) b 1 = 0 b 1 , de aqu
deducimos que a = 0 , lo que constituye una contradiccin.
b) El recproco no es cierto, es decir, ( A,+,) dominio de integridad no implica que
( A,+,) sea un cuerpo, ya que, por ejemplo, ( Z ,+,) es dominio de integridad y sin
embargo no es un cuerpo
108
ab
2
c) definida en tal que a b = a + b + 1
d) definida en tal que x y = xy + x
b) definida en Q + tal que a b =
a
b
c
a
a
b
c
b
b
a
c
c
c
c
c
109
/ a, b, c, d es el
17) Demuestre que ( M (2, ),+ ) donde M (2, ) =
b d
+
=
b d f h b + f d + h
110
CAPITULO 6
NUMEROS COMPLEJOS
6.1 Introduccin
La ecuacin x 2 + 1 = 0 no tiene solucin en el cuerpo de los nmeros reales
ya que no existe un nmero real x tal que x 2 = 1 . Necesitamos un conjunto que
contenga a , que solucione lo que soluciona y que, por ejemplo, solucione el
problema planteado, tal conjunto es el conjunto de los nmeros complejos C.
a = c
Sean z1 = (a, b) , z 2 = (c, d ) C , entonces: z1 = z 2 (a, b) = (c, d )
b = d
Definicin.
Sean z1 = (a, b) , z 2 = (c, d ) C , entonces, la suma de complejos , denotada +,
es tal que : z1 + z 2 = (a, b) + (c, d ) = (a + c, b + d ) C
Ejemplo.
Si z1 = (2,6) , z 2 = (4,3) entonces z1 + z 2 = (2,6) + (4,3) = (2,9)
Teorema.
(C ,+) es un grupo conmutativo, es decir
1) z1 + ( z 2 + z 3 ) = ( z1 + z 2 ) + z 3 , z1 , z 2 , z 3 C ; Asociatividad de la suma
2) Existe el complejo z N tal que z N + z = z + z N = z , z C ; z N : neutro
aditivo
3) z C z op C tal que z + z op = z op + z = z N ; z op : opuesto de z
4) z1 + z 2 = z 2 + z1 z1 , z 2 C ; Conmutatividad de la suma
Demostracin.
2) Sean z = (a, b) , z N = ( x, y ) C ; imponiendo la condicin de neutro tenemos:
z + z N = z , es decir, (a, b) + ( x, y ) = (a, b) ; debemos determinar x e y
a + x = a
( a , b ) + ( x, y ) = ( a , b ) ( a + x , y + b ) = ( a , b )
; como este sistema
y + b = b
ocurre en entonces x = 0 , y = 0 , de donde z N = (0,0)
Por otro lado, z N + z = (0,0) + (a, b) = (a, b) = z
111
Ejemplo.
Sean z1 = (3,2) , z 2 = (2,4) C entonces 3 z1 2 z 2 = 3(3,2) 2(2,4) = (5,14)
Definicin.
Sean z1 = (a, b) , z 2 = (c, d ) C , entonces el producto de complejos es tal que :
z1 z 2 = (a, b)(c, d ) = (ac bd , ad + bc) C
Teorema.
Se cumple:
1) z1 ( z 2 z 3 ) = ( z1 z 2 ) z 3 , z1 , z 2 , z 3 C Asociatividad del producto
2) Existe el complejo z N tal que z N z = z z N = z , z C ; z N : neutro
multiplicativo
3) z C - {0} z inv C tal que z z inv = z inv z = z N
,
z inv :
inverso
multiplicativo
4) z1 z 2 = z 2 z1 z 1 , z 2 C , Conmutatividad del producto
Demostracin.
2) Sean z = (a, b) , z N = ( x, y ) C entonces, como
debe cumplirse que
z N z = z tenemos:
z N z = z ( x, y )(a, b) = (a, b) ( xa yb, xb + ya) = (a, b)
xa yb = a
Por la igualdad de complejos deducimos el sistema
; multiplicando la
xb + ya = b
primera ecuacin por a y la segunda ecuacin por b , sumando obtenemos:
xa 2 + xb 2 = a 2 + b 2 de donde x = 1 ; podemos deducir que y = 0 , de donde z N = (1,0)
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
112
Observacin
a) z N = (1,0) es nico y lo dotamos por 1
a
b
, 2
) es nico y lo denotamos
b) Si z = (a, b) entonces z inv = ( 2
2
a + b a + b2
b
a
por z 1 , as; (a, b) 1 = ( 2
, 2
)
2
a + b a + b2
Observacin.
Definimos el cuociente
z1
z
; z 1 , z 2 C , z 2 0 por 1 = z1 z 21
z2
z2
6.3 Subconjuntos de C
Existen dos importantes subconjuntos de C:
a) Complejos reales, denotado C , tal que C = {z = (a, b) / b = 0} C .
b) Complejos imaginarios, denotado I, tal que I = {z = (a, b) / a = 0} C
Observacin.
1) Aceptaremos que existe un isomorfismo entre C y el cual nos
permite identificar el complejo real (a,0) con el real a , as, (a,0) = a
2) En los complejos imaginarios, la unidad imaginaria es i = (0,1)
Potencias de i
Se cumple:
a) i = (0,1)
b) i 2 = 1 ya que i 2 = i i = (0,1) (0,1) = (1,0) = 1
c) i 3 = i
d) i 4 = 1
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
113
i si n = 4 p + 1
1 si n = 4 p + 2
n
e) i =
, n, p N
i si n = 4 p + 3
1 si n = 4 p
Observacin.
1) C no es ordenado
Haremos la demostracin por reduccin al absurdo
Supongamos que C es ordenado, entonces existe C + C tal que:
+
( z1 + z 2 ) C
+
a ) z1 , z 2 C
z1 z 2 C +
b) z C se cumple slo una de las siguientes:
i ) z C + ii ) z C + iii ) z = 0
Sea i = (0,1) C y supongamos que i C + , entonces por a) i 2 = 1 C + , as,
por a) (1)(1) = 1 C + , es decir, -1 y 1 C + ( )
Por otro lado si suponemos que i C + , entonces por a) (i ) 2 = i 2 1 C + ,
as,
por a) (1)(1) = 1 C + , es decir, -1 y 1 C + ( )
As, C no puede ser un conjunto ordenado
2) Si p entonces
p = i p C
En efecto, sea
decir
p = x2 y2
( p,0) = ( x y , 2 xy ) , de aqu concluimos que
0 = 2 xy
2
114
Notacin.
Sea z = a + bi un nmero complejo entonces: la parte real de z , denotada Re(z )
es a = Re( z ) y la parte imaginaria de z , denotada Im( z ) es b = Im( z )
4 + 5i 4 + 5i 4 5i
multiplicaciones obtenemos:
8 10i + 12i 15i 2 8 10i + 12i 15(1) 23 + 2i 23 2
=
=
=
+ i
16 25(1)
41
41 41
16 25i 2
z = (a,b) C
Teorema.
Para todo z1 , z 2 C se cumple:
1) ( z ) = z
2) z1 + z 2 = z1 + z 2
3) z1 z 2 = z1 z 2
z z
4) 1 = 1 , z 2 0
z2 z2
5) z + z = 2a , z z = a 2 + b 2 si z = (a, b)
Demostracin de 1, 2 y 5
1) Si z = a + bi entonces z = a bi de donde ( z ) = a + bi = z
2) Si z1 = a + bi , z 2 = c + di entonces z1 + z 2 = (a + c) + (b + d )i de donde
z1 + z 2 = (a + c) (b + d )i = (a bi ) + (c + di ) = z1 + z 2
5) Si z = (a, b) entonces z + z = (a, b) + (a,b) = (2a,0) = 2a ; por otro lado
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
115
2ab = -b
(1)
(2)
1
De (2) y suponiendo que b 0 obtenemos: a = ; reemplazando en (1)
2
1
1
3
conseguimos ( ) 2 b 2 = , de aqu concluimos que b =
, entonces los
2
2
2
1
3
1
3
complejos que se obtienen son z = +
i , z=
i
2 2
2 2
Si b = 0 entonces reemplazando en (1) conseguimos: a 2 = a , de donde
a = 0 , a = 1 ; como no puede ocurrir que a = 0 entonces el complejo que se
determina, ahora es z = 1
z = z
3) z = z z o
= zz
4) z1 z 2 = z1 z 2
5)
z1
z1
, z2 0
=
z2
z2
116
6) Re( z ) z
7) Re( z ) =
, Im( z ) z
z+z
zz
, Im( z ) =
2
2
8) z1 + z 2 z1 + z 2
n
9)
z
i =1
zi
i =1
Demostracin.
Demostracin de la propiedad 8)
z1 + z 2 2 = ( z1 + z 2 ) ( z1 + z 2 )
= ( z1 + z 2 )( z1 + z 2 )
= z1 z1 + z1 z 2 + z 2 z1 + z 2 z 2
*
= z1 + 2 Re( z1 z 2 ) + z 2
**
z1 + 2 z1 z 2 + z 2
2
= ( z1 + z 2 ) 2
z1 z 2 + z1 z 2
= Re( z1 z 2 )
2
117
Ejemplo:
Escriba en forma trigonomtrica los siguientes nmeros complejos
a) z1 = 2 + 2i
b) z 2 = 2 2i
c) z 3 = 2 + 2i
d) z 4 = 2 2i
e) z 5 = 2i
f) z 6 = 3
Solucin.
a) Como a = 2, b = 2 entonces r = 2 2 + 2 2 = 2 2 ; por otro lado , el complejo
b
est en el primer cuadrante, de donde = arctg = arctg1 = 45 , as entonces
a
z1 = 2 + 2i = 2 2 (cos 45 +isen45 )
b) Como a = 2, b = 2 entonces r = (2) 2 + (2) 2 = 2 2 ; por otro lado , el
b
complejo est en el tercer cuadrante, de donde = arctg = arctg1 = 225 , as
a
entonces z 2 = 2 2i = 2 2 (cos 225 +isen225 )
c) z 3 = 2 + 2i = 2 2 (cos135 +isen135 )
d) z 4 = 2 2i = 2 2 (cos 315 +isen315 )
e) z 5 = 2i = 2(cos 90 +isen90 ) ya que el complejo esta en el eje Y y el
argumento es, inmediatamente, = 90
f) z 6 = 3 = 3(cos180 +isen180 )
6.9 Operatoria con complejos trigonomtricos
Teorema.
Sean z1 = r1 (cos 1 + isen 1 ) , z 2 = r2 (cos 2 + isen 2 ) dos complejos, entonces:
z1
r (cos 1 + isen 1 ) r1
= 1
= (cos( 1 2 ) + isen( 1 2 )) ; z 2 0
z 2 r2 (cos 2 + isen 2 ) r2
118
Observacin.
1) El teorema en su parte a) y b) se demuestra con ayuda de las identidades
trigonomtricas: sen( ) = sen cos cos sen
2) La parte c) del teorema se demuestra usando induccin y se llama Teorema
de De Moivre
3) Si z = r (cos + isen ) 0 entonces:
1
cos 0 +isen0
1
1
a) =
= (cos( ) + isen( )) = (cos isen )
z r (cos + isen ) r
r
1
1
b) n = n (cos n sen n )
z
r
Ejemplo.
Calcule (1 + i ) 42
Solucin.
Como z = 1 + i = 2 (cos135 +isen135 ) entonces
(1 + i ) 42 =
2 (cos135 +isen135 )
42
Solucin
Escribimos cada complejo en su forma trigonomtrica, los dividimos, aplicamos el Teorema
de DeMoivre y listo.
6
10 3 + 10i
5 + 5i
5 + 5i
10 3 + 10i
119
5 2 (cos 45 +isen45 )
20(cos 30 +isen30 )
5 2
=
(cos(45 30 ) + isen(45 30 ))
20
2
=
(cos 15 +isen15 )
=
4 (cos 90 +isen90 )
1
1
= (0 + i ) = i
8
8
Definicin.
Sea z C {0} ; n N , n > 1 . Decimos que w C es una raz n-sima de z si
y slo si w n = z .
Observacin.
Si denotamos w = n z entonces: w = n z w n = z
Ejemplo.
1 1
1 1
3i , w2 =
3i , w3 = 1 son races cbicas de 1
Verifique que w1 = +
2 2
2 2
Solucin.
Debemos demostrar que wi3 = 1 , i = 1,2,3
1 1
Como w1 = +
3i = cos(120 +isen120 ) entonces, usando el teorema de
2 2
3
DeMoivre obtenemos: w13 = [cos120 +isen120 ] = cos 360 +isen360 = 1
De manera anloga,
1 1
w23 = (
3i ) 3 = (cos 240 +isen240 ) 3 = cos 720 +isen720 = 1
2 2
6.10 Races del complejo z = r (cos + isen ) 0
120
Observacin.
+ k 360
+ k 360
+ isen
Note que w = n r (cos
n
n
n
k
= ( n r ) n (cos
+ k 360
n
n + isen
+ k 360
n
n)
= r (cos + isen ) = z
Ejemplo.
Calcule las tres races cbicas de 8
Solucin.
Como z = 8 = 8(cos180 +isen180 ) entonces
3
k = 0,1,2
180 + k 360
180 + k 360
+ isen
),
3
3
1 1
Si k = 0 entonces w0 = 2(cos 60 +isen60 ) = 2( +
3i ) = 1 + i 3
2 2
Si k = 1 entonces w1 = 2(cos180 +isen180 ) = 2(1 + 0i ) = 2
1 1
3i ) = 1 i 3 , as,
Si k = 2 entonces w2 = 2(cos 300 +isen300 ) = 2(
2 2
2
3
8 = 1 + i 3
1 i 3
Ejemplo.
Determine m, n tal que z = 1 + i sea raz de la ecuacin z 5 + mz 3 + n = 0
Solucin.
Si z = 1 + i entonces z = 2 (cos 45 +isen 45 ) de donde:
z5 =
2 (cos 45 +isen45 ) =
] ( 2 ) (cos 225+isen225 ) = ( 2 ) (
z3 =
2 (cos 45 +isen45 ) =
] ( 2 ) (cos125+isen125 ) = ( 2 ) (
3
2
2
i ) = 4 4i
2
2
2
2
+
i ) = 2 + 2i
2
2
121
4 2 m + n = 0
. Como m = 2 , si reemplazamos este valor en la
4 + 2 m = 0
obtenemos
ecuacin 4 2m + n = 0 conseguimos n = 8
Ejemplo
Calcule el valor de (1 + w) 3 + (1 + w 2 ) 9 si, w es raz cbica de 1 y distinta de la
unidad
Solucin.
Ya hemos visto en un ejemplo anterior ,las tres races cbicas del 1; las dos
1 1
1 1
3i ; w2 =
3i , sin embargo, no
races distintas del 1 son: w1 = +
2 2
2 2
conviene reemplazar cada uno de estas races en la igualdad planteada, nos conviene
realizar el calculo de la siguiente manera.
Como w es raz cbica de 1 entonces w 3 = 1 , de aqu obtenemos w 3 1 = 0 ,
factorizando tenemos ( w 1)( w 2 + w + 1) = 0
Como w 1 entonces w 2 + w + 1 = 0 as, 1 + w = w 2 y 1 + w 2 = w entonces
(1 + w) 3 + (1 + w 2 ) 2 =
( w 2 ) 3 + ( w) 9 = w 6 w 9 = ( w 3 ) 2 ( w 3 ) 3 = 1 1 = 2
(1 i ) 23 = ( 2e
i
4 23
23
=22e
23
4
122
2) Demuestre que:
e i + e i
2
i
e e i
b) sen =
2i
a) cos =
Demostracin.
e i + e i cos + isen + cos( ) + isen( )
a)
=
= cos
2
2
3
1
sen sen3
4
4
Demostracin.
e i e i 3
sen 3 = (
)
2i
(e i ) 3 3(e i ) 2 e i + 3e i (e i ) 2 (e i ) 33
=
8i 3
=
1 3i
(e 3e i + 3e i e 3i )
8i
3
1
(e i e i ) (e 3i e 3i )
8i
8i
3 e i e i 1 e 3i e 3i
4
2i
4
2i
3
1
sen sen3
4
4
123
b) (2 + 3i )(5 3i )(4 + 5i 5 )
3
d)
4(5 i )(4 + 6i )
(5 + i )(1 + i )
+i
e)
3i
2i 37
f)
(2 + i )(3 + 4i )
g) Si z = a + bi ,determine:
Re( z )
ii) [1 Re( z ) + i Im( z )][1 Re( z ) i Im( z )]
i)
i Im(iz )
Resp. i) i
ii) 1 + a 2 + b 2 2a
3) Si z1 = 1 + 2i , z 2 = 2 + i , z 3 = 1 i , calcule:
a) 2 z1 + 3 z 2 + 3
b)
z1
iz 2
c) z12 + 2z 32
d)
z1 + z 3
1 + z2
4) Represente en el plano
a) {z C / Re( z ) = 2} Resp. Recta de ecuacin x = 2
b) {z C / 1 Re( z ) 2 , 0 Im( z ) 3}
c) {z C / z 1} Resp, Crculo con centro en (0,0) y radio menor o igual a 1
d) {z C / z i 4}
124
3
2i
2
3
Resp. + i
4
a) z z = 1 + 2i
Resp.
b) z + z = 2 + i
c) z z + 3( z z ) = 4 3i
Resp.
d) z z + 2 z = 3 + i
15 1
15 1
i ;
i
2
2
2
2
(3 + 5i )(5 2i ) 2
5 + 2i
3i
b)
(2 + i )(3 + 4i )(5 3i )
(3 4i )(5 + 3i )
Resp. a) 1.066 b)
8) Demuestre que z C : z 2 = z
5 c)
2
34
3
9) Encuentre los nmeros complejos z que satisfacen las dos relaciones siguientes:
z4
z 12 5
y
=1
=
z 8
z 8i 3
Resp. z = 6 + 17i , z = 6 + 8i
10) La suma de dos nmeros complejos es 3+2i. La parte real de uno de ellos es 2.
El cuociente entre ellos es imaginario puro. Hallar ambos nmeros
z1 = 2 + (1 + 3 )i , z 2 = 1 + (1 3 )i
;
Resp.
z1 = 2 + (1 3 )i , z 2 = 1 + (1 + 3 )i
11) Analice si se cumplen las siguientes igualdades:
4
1
3
1
3
b) + i
= i
2
2
2
2
(2 + i ) 2
=1
a)
3 4i
12) Verifique si
el
nmero
complejo z =
1 i 3
satisface la ecuacin
2
3
1
=1
z +1 z
13) Demuestre que:
2
a) (z z ) 0 z C
b) Si z 2 = z entonces z Re( z ) = 0
2
125
1
= 1 z
z
1
3
1
3
+
i , z=
i
2 2
2 2
(1 + i ) z iu = 2 + i
15) Resuelva:
, z, u C
(2 + i ) z + (2 i )u = 2i
6 9i
16 + 11i
, u=
Resp. z =
13
13
16) Si ( w +
1
) , w C , demuestre que Im(w) = 0 w = 1
w
17) Si z , w C y
z = 1 , demuestre que
z+w
=1
z w +1
18) Calcular:
a)
z+w
z
5
= 1 + 4i tal que z , w C Resp.
si
zw
w
2
b)
1 1
+ si z = 3 4i , u = 4 + 3i
z u
c)
1
5
si z = 2i Resp.
2
10
zz
19) Calcule
3 i
a) 1
2
12
1+ i 3
b)
1 i
10
126
b) z =
i
+
5
5
c) z = 6 + i 3
Resp. z =
13
1
i
2
2
d) z = 11 60i Resp. z = 5 6i , z = 5 + 6i
1
1
+ .... +
1+ i
(1 + i ) 27
c) S = 1 +
n
n
+ isen
) ; n N
4
4
n
n
= 2 n (cos
+ isen
) ; n N
6
6
a) (1 + i ) = 2 2 (cos
n
b)
3 i
24) Verifique
7
7
que:
a) ( 3 + i )(1 + i )
d)
3 3 3i
3 i
1 i
1+ i
b) (1 + i 3 )(1 i )
c)
e) (1 i )10
f) (2 3 + 2i ) 6
127
g) (1 i )16 + (1 + i )
h)
5 + 5i
10 3 + 10i
j) (1 + i ) 42
26) Resuelva:
a)
b)
4 3 4i
c) 4 1
n
3
31) Sea z 1 una raz n-sima de la unidad. Demuestre que para todo natural
distinto del uno se cumple: 1 + z + z 2 + ... + z n 1 = 0
32) Resuelva la ecuacin.
a) x 4 + 8 + 8i 3 = 0
b) x 6 + 7 x 3 8 = 0
128
CAPITULO 7
POLINOMIOS
7.1 Definiciones
Definicin.
Sea K un cuerpo. Un polinomio en x, con coeficientes en K es toda expresin
todos los coeficientes ai son nulos, excepto una cantidad finita de ellos
Notacin.
Al conjunto de todos los polinomios en la indeterminada x con coeficientes en K lo
denotamos K [x ]
Definicin
i =0
i =0
129
Solucin
a b = 0
c 1 = 7
Se debe cumplir:
; es decir, para a = 20, b = 20, c = 8, d = 10
d + c = 2
2d + b = 0
Definicin
i =0
i =0
Sean p( x) = ai x i , q( x) = bi x i K [x ] entonces:
1) p( x) + q( x) = d ( x) = ci x i tal que ci = ai + bi i
i =0
2) p( x) q( x) = e( x) = d i x tal que d i = a k bi k
i
i =0
k =0
Observacin.
Se puede demostrar que:
a) ( p + q ) mx{ ( p ), (q )} si ( p + q) existe
b) ( p q) = ( p) + (q)
Ejemplo.
Sean p( x) = 4 x 3 2 x 2 + 3x , q( x) = 2 x 2 + 5 x 2 [x ] .
Si p( x) q( x) = r ( x) = d i x i , determine d 2
i =0
Solucin.
2
= 0 2 + 3 5 + (2) (2) = 19
Notemos que r ( x) = 8 x 5 + (20 4) x 4 + (8 10 6) x 3 + (4 + 15) x 2 + (6) x
130
Ejemplo.
Sea p ( x) = x 3 + 2 x 2 3x 4 , q ( x) = x 2 [x ]. Determine el resto y el
cuociente que se produce al dividir p( x) por q( x)
Solucin.
x 3 + 2 x 2 3x 4 : x 2 = x 2 + 4 x + 5
m x 2 2x 2
4x 2 3 x 4
m 4x 2 8 x
5x 4
m 5x 10
6
Observacin.
Cuando el polinomio divisor es de la forma x a podemos efectuar la divisin
mediante divisin sinttica, mtodo que mostramos con el desarrollo del mismo
problema anterior, tenemos:
1 2 -3 -4
2
8 10
1 4 5
2
Note que el cuociente es s ( x) = x 2 + 4 x + 5 y el resto es r ( x) = 6
Ejemplo.
a = 3 es raz de p ( x) = x 2 + x 6 = 0 ya que p (3) = (3) 2 + (3) 6 0
131
Demostracin.
Por el Algoritmo de Euclides tenemos: p( x) = ( x a) s ( x) + r ( x) donde
r ( x) = 0 o (r ( x)) < ( x a ) = 1 ; esto nos indica que en cualquier caso el resto es
una constante, es decir r ( x) = r = C te , entonces p( x) = ( x a) s ( x) + r ; es inmediato
concluir que p (a) = (a a) s (a) + r = r
Ejemplos.
1) Si p( x) = x 30 1 , q ( x) = x 1 entonces al dividir p( x) por q( x) = x 1 el resto que
se produce es r = p (1) = 130 1 = 0 de donde , la divisin es exacta
2) Determine k para que:
a) p( x) = 2 x 3 + kx 2 3x 4 sea divisible (exactamente) por x + 1
b) p( x) = x 4 + 2 x 3 3x 2 + kx 7 sea divisible por x 2 y tenga resto 3
Solucin.
a) Se debe cumplir que p(1) = 0 . Como p (1) = 2 + k + 3 4 = 0 entonces k = 3
b) Se debe cumplir que p(2) = 3 . Como p(2) = 16 + 16 12 + 2k 7 = 3 entonces
k = 15
3) Sean 1 y 5 el resto que se produce al dividir p ( x) [x ] por x + 2 y x 3
respectivamente. Determine el resto que se produce al dividir p(x) por producto
( x + 2)( x 3) .
Solucin.
Usando el Algoritmo de Euclides tenemos: p ( x) = ( x + 2)( x 3)q( x) + r ( x) donde
el resto r (x) debe ser a lo ms de grado 1, sea r ( x) = ax + b entonces
p( x) = ( x + 2)( x 3)q( x) + (ax + b) , debemos determinar a, b
2 a + b = 1
Como p (2) = 1 y p(3) = 5 entonces el sistema que se produce es
3a + b = 5
4
13
de donde, resolviendo obtenemos a = , b = , as, el resto que se produce al dividir
5
5
4
13
p(x) por ( x + 2)( x 3) es r ( x) = x +
5
5
Teorema.
a es un cero de p ( x) [x ] ( x a ) es factor de p(x)
Demostracin.
de p(x) p(a) = 0 , por otro
lado, como
) a cero
p ( x) = ( x a ) s ( x) + r
entonces p (a ) = (a a) s( x) + r = 0 de donde r = 0 , as, p ( x) = ( x a ) s( x) , lo que nos
indica que ( x a) es factor de p( x)
) Si ( x a) es factor de p( x) entonces p ( x) = ( x a) s ( x) , as,
p(a) = (a a) s( x) = 0 de donde a es cero de p( x)
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
132
Ejemplo.
2 , 0 ,1, 5
Solucin.
133
c
Q es raz de la ecuacin
d
p ( x) = a n x n + a n 1 x n 1 + ... + a1 x + a0 = 0 ; a n 0 entonces c es divisor de a 0 ( c
Si una fraccin irreducible
d es divisor de a n ( d
an
a0
)y
Demostracin.
Como
c
Q es raz de la ecuacin
d
c
p ( x) = a n x n + a n 1 x n 1 + ... + a1 x + a0 = 0 entonces p( ) = 0
d
n
c
c
c
p( ) = 0 a n + a n 1
d
d
d
an
n 1
c
+ ...... + a1 + a 0 = 0
d
cn
c n 1
c
a
+
+ ..... + a1 + a 0 = 0 / d n 0
n 1
n
n 1
d
d
d
134
c
1
1, 2, 3, 4, 6, 12, ,
d
2
3
.
2
-2
3 8 - 12
, de donde
2 - 3 - 8 12 0
s ( x) = 2 x 3 3x 2 8 x + 12 ; as:
p ( x) = 2 x 4 x 3 11x 2 + 4 x + 12 = ( x + 1)(2 x 3 3x 2 8 x + 12 ) = 0
Repetimos el proceso para la ecuacin s ( x) = 2 x 3 3x 2 8 x + 12 = 0 ; las
posibles
c
1 3
1, 2, 3, 4, 6, 12, , y obtenemos
d
2 2
3
2
s (2) = 16 12 16 + 12 = 0 , de donde s ( x) = 2 x 3x 8 x + 12 = ( x 2)m( x) , este
m(x)
135
2 - 3 - 8 12 2
lo obtenemos por divisin sinttica; tenemos:
4 2 - 12
2 1 -6
de donde
136
137
x 3 4x 2 + 6x 4
= x2
x 2 2x + 2
tanto
las races
2 (cos 45 +i sen 45 )
(1 + i )3 =
2 (cos 45 +i sen 45 )
2
2
+i
) = 2 + 2i
2
2
4 + a = 0
3) Sea p ( x) = x 4 3 x 3 27 x 36 [x ] tal que bi es raz de p( x) = 0 ; determine las
otras races de la ecuacin.
138
Solucin.
Como bi es raz de p( x) = 0 entonces (bi ) 4 3(bi ) 3 27(bi ) 36 = 0 , de esto
concluimos que b 4 i 4 3b 3 i 3 27bi 36 = 0 + 0i , as, podemos deducir el siguiente
b 4 5b 2 36 = 0
sistema: 3
; de la segunda ecuacin obtenemos 3b(b 2 9) = 0 ; como
3b 27b = 0
b 0 entonces b 2 9 = 0 de donde b = 3
ak
an
Ejemplo
En la ecuacin real p( x) = x 5 + 2 x 4 18 x 2 + 41x + 30 = 0 tenemos que: r = 3 ,
a k = 18 , a n = 1 , as, toda raz es tal que < 1 + 2
18
1
= 1 + 18 5,3
139
Definicin.
Sea la ecuacin polinomial p ( x) = a n x n + a n 1 x n 1 + ... + a1 x + a0 = 0 , con
coeficientes reales; decimos que dos coeficientes consecutivos a k , a p tienen una
variacin de signo si a k a p < 0
Denotamos por V al nmero de variaciones de signo de p( x) = 0
Ejemplos.
1) La ecuacin 3x 4 2 x 3 + 8 x 2 + 5 = 0 tiene dos variaciones de signo, en tanto que, la
ecuacin x 3 + 3 x 2 + 2 x + 1 = 0 tiene cero variaciones de signo
2) Encuentre las races de la ecuacin 3x 3 + 11x 2 + 8 x 4 = 0
Solucin.
p
tal que p es
q
divisor de 4 y q es divisor de 3; como p { 1, 2, 4} y q { 1, 3} entonces
p
1
2
4
las posibles racionales son tal que 1, 2, 4, , ,
q
3
3
3
Las posibles races racionales de la ecuacin son de la forma
Para decidir cuales de las posibles races racionales son, en definitiva, races
racionales
de la ecuacin debemos verificar si m( x) = 0 donde m(x) = 3x 3 + 11x 2 + 8 x 4
Al verificar, detectamos que m(2) = 0 , as, -2 es raz de la ecuacin, es decir,
x + 2 es factor de p(x) entonces, 3x 3 + 11x 2 + 8 x 4 = ( x + 2) s ( x) ; debemos
determinar el cuociente s (x) , lo cual lo realizamos por divisin sinttica, tenemos:
3 11
8 -4 -2
- 6 - 10 4
3 5
-2
140
Observacin.
1) Si slo intentramos ubicar las posibles races por simple verificacin entonces
la raz de multiplicidad 2 no la habramos detectado.
2) Notemos que la Regla de los signos de Descartes nos indica que el nmero de
races positivas de la ecuacin m( x) = 3x 3 + 11x 2 + 8 x 4 = 0 es el nmero de
variaciones de signo de m( x) o ese nmero disminuido en un nmero par,
como el numero de variaciones de signos de m( x) es 1 entonces el nmero
de races positivas es 1; por otro lado el nmero de races negativas de la
ecuacin m( x) = 3x 3 + 11x 2 + 8 x 4 = 0 es el nmero de variaciones de signo
de m( x) o ese nmero disminuido en un nmero par, como
141
Es posible que a veces una ecuacin polinomial no tenga races racionales, por
ejemplo, la ecuacin p( x) = x 3 + x 4 = 0 tiene como posibles races racionales en el
conjunto { 1 ,2, 4} y ninguna de ellas, en definitiva, es raz
Por otro lado, la regla de las variaciones de signo nos indica que la ecuacin
tiene una raz real positiva y dos races complejas. Cmo obtenemos la raz real,
siendo esta una raz irracional?
Para obtener, por aproximacin, la raz real positiva, debemos acotarla por dos
enteros consecutivos; como p (1) = 2 y p(2) = 6 entonces la raz pedida esta entre 1 y
2.
Un mtodo puede ser el de determinar la ecuacin de la recta que pasa por los
puntos (1,2) y (2,6) que es de la forma ax + by + c = 0 y determinar el valor de la
variable
x cuando y = 0
El proceso se repita las veces necesarias
Ejemplos.
1) Determine k en la ecuacin x 3 7 x + k = 0 para que una de sus races sea el
doble de otra de ellas
Solucin.
Sean a, b, 2b las races con la condicin impuesta entonces se cumple:
0
7
k
a + b + 2b = = 0 ; ab + 2ab + 2b 2 =
= 7 ; 2ab 2 = = k
1
1
1
142
a + 3b = 0
(1)
(2)
(3)
9b 2 + 2b 2 = 7 , as, b = 1
Si reemplazamos estos valores en (1) entonces:
b = 1 a = 3 de donde, en (3) obtenemos k = 2(3)1 = 6
b = 1 a = 3 de donde, en (3) obtenemos k = 2(3)(1) 2 = 6
1
1 1 b 2c 2 + a 2c 2 + a 2b 2 q 2 2rp
=
+
+ =
a 2b 2 c
a 2 b2 c2
r2
143
f ( x) a ( x) f ( x)b( x) + g ( x)a( x)
+
=
g ( x ) b( x )
g ( x)b( x)
144
f ( x) a ( x) f ( x) a ( x)
=
g ( x) b( x) g ( x)b( x)
Observacin.
Es fcil verificar que ( K ( x),+,) es un cuerpo; el elemento neutro para la adicin es
la fraccin racional nula, denotada por 0, que es la clase de equivalencia del par
0
donde g ( x) 0 ; el elemento neutro para la multiplicacin, llamada fraccin
g ( x)
g ( x)
donde
racional unitaria y denotada por 1 es la clase de equivalencia de los pares
g ( x)
g ( x) 0
Teorema y definicin.
f ( x)
tal que los
g ( x)
polinomios f ( x), g ( x) son primos entre si. Todo otro representante con esta propiedad
cf ( x)
donde c K ( x) {0} es polinomio constante
es de la forma
cg ( x)
f ( x)
se llama la forma irreducible de la fraccin racional
Este representante nico,
g ( x)
Para cada fraccin
Observacin.
Se puede demostrar que el grado de una fraccin racional es independiente de la
eleccin del representante de ella
Teorema
f ( x) a ( x)
f ( x) a ( x)
Sean
,
fracciones raciones propias entonces
+
es propia
g ( x ) b( x )
g ( x ) b( x )
Demostracin.
f ( x) a( x)
+
)< 0
Usted debe demostrar que (
g ( x ) b( x )
145
Teorema.
Toda fraccin racional se puede expresar, de manera nica, como la suma de un
polinomio y una fraccin propia o la fraccin nula
Demostracin.
f ( x)
K ( x) , como g ( x) 0 aplicamos el
Sea
algoritmo
de la divisin a
g ( x)
0
, es
f ( x) y g ( x) obteniendo f ( x) = e( x) g ( x) + r ( x) donde r ( x) =
(r ( x)) < ( g ( x))
f ( x)
r ( x)
r ( x)
= e( x ) +
tal que e( x) K [x ] y (
inmediato concluir que
) < 0 ; el
g ( x)
g ( x)
g ( x)
f ( x)
polinomio e(x) se llama la parte entera de la fraccin racional
g ( x)
Veamos ahora la unicidad
0
r ( x)
f ( x)
= e1 ( x) + 1
donde r1 ( x) =
Supongamos que
.
g ( x)
g ( x)
(r1 ( x)) < ( g ( x))
r ( x) r1 ( x)
) < 0 lo
g ( x) g ( x)
r ( x) r1 ( x)
=
contradiccin, as, e( x) = e1 ( x) y consecuentemente
g ( x) g ( x)
Si
e( x) e1 ( x) entonces
(e( x) e1 ( x)) = (
que
es
una
Teorema
f ( x)
K ( x) tal que g ( x) = g1 ( x) g 2 ( x) en
g ( x)
que los polinomios g1 ( x), g 2 ( x) son no nulos y primos entre si, entonces existen
f ( x) f 1 ( x) f 2 ( x)
f1 ( x), f 2 ( x) tal
que
, donde
=
+
polinomios nicos
g ( x) g1 ( x) g 2 ( x)
( f1 ( x)) < ( g1 ( x)) y ( f 2 ( x)) < ( g 2 ( x))
Demostracin.
Como siempre existen polinomios u1 ( x), u 2 ( x) tal que 1 = u1 ( x) g 2 ( x) + u 2 ( x) g1 ( x)
Considere la fraccin racional propia
entonces
f ( x) f ( x)u1 ( x) f ( x)u 2 ( x)
.
=
+
g ( x)
g1 ( x)
g 2 ( x)
146
f ( x)
f ( x)u 2 ( x)
f ( x)
con ( 2 ) < 0 entonces
= e2 ( x) + 2
g 2 ( x)
g 2 ( x)
g 2 ( x)
f ( x) f 2 ( x)
f ( x)
= e1 ( x) + e2 ( x) + 1
+
g ( x)
g 1 ( x) g 2 ( x)
Como (
f ( x) f 2 ( x)
f ( x)
) < 0 y ( 1
+
) < 0 entonces e1 ( x) + e2 ( x) = 0 de donde
g1 ( x) g 2 ( x)
g ( x)
f ( x)
f ( x)
f ( x) f 1 ( x) f 2 ( x)
=
+
donde ( 1 ) < 0 y ( 2 ) < 0
g1 ( x)
g 2 ( x)
g ( x) g1 ( x) g 2 ( x)
Observacin.
En el Teorema anterior y en las siguientes generalizaciones se supone que
f ( x)
es
g ( x)
Teorema.
Considere
la
fraccin
racional
propia
f ( x)
K ( x)
g ( x)
tal
que
f n ( x)
f1 ( x)
f 2 ( x)
f ( x)
=
+
+ ...... +
donde ( f i ( x)) < ( g i ( x)) , i = 1,2,.., n
m1
m2
g ( x) [g1 ( x)]
[g 2 ( x)]
[g n ( x)]mn
Demostracin.
m
m
Si g i ( x), g j ( x) , i j son primos relativos entonces [g i ( x)] i y g j ( x) j tambin lo son
147
Observacin.
1) Estos teoremas indican que la fraccin racional propia
f ( x)
se ha expresado
g ( x)
f ( x)
[g ( x)]m
, m N , puede ser
susceptible de la descomposicin:
f ( x)
[g ( x)]
a ( x)
a1 ( x) a 2 ( x)
+
+ ... + m m en que (ai ( x)) < ( g i ( x)) , i = 1.2., , , n o
2
g ( x) [g ( x)]
[g ( x)]
ai ( x) = 0
Demostracin
Por induccin.
f ( x) f ( x)
=
g ( x) g ( x)
Para m = 2 aplicamos el algoritmo de la divisin a los polinomios f ( x) y g ( x )
a ( x)
f ( x)
= a1 ( x) + 2
donde (a 2 ( x)) < g ( x) , de aqu concluimos que
obteniendo
g ( x)
g ( x)
a ( x) a 2 ( x)
f ( x)
= 1
+
2
[g ( x)] g ( x) [g ( x)]2
Si m = 1 entonces
i
i
g ( x) i =1 ( x a1 )
i =1 ( x a n )
g ( x) = ( x a1 ) m1 ( x a 2 ) m2 .... ( x a m ) mn ; m1 , m2 ,....., mn N
148
i
g ( x) i =1 ( x a1 ) i
i =1 ( x a n )
B1 j x + C1 j
r1
+
j =1
(a1 x + b1 x + c1 )
2
rp
B pj x + C pj
j =1
(a p x 2 + b p x + c p ) j
+ ....... +
donde
g ( x) = ( x a1 ) m1 ( x a 2 ) m2 ... ( x a n ) mn (a1 x 2 + b1 x + c1 ) r1 ..... (a p x 2 + b p x + c p ) p y
r
los
coeficientes A1i ,..., Ani , B1 j ,..., B pj , C ij , ...., C pj son nmeros reales
Ejemplo.
Exprese como suma de fracciones parciales la fraccin racional
x +1
R( x)
x3 + 1
Solucin.
Como x 3 + x = x( x 2 + 1) y x 2 + 1 es irreducible en R[x ] entonces la descomposicin
es
x + 1 A Bx + C
= + 2
.Debemos determinar los nmeros reales A, B, C ; multiplicando la
x3 + 1 x
x +1
ltima igualdad por x( x 2 + 1) obtenemos: x + 1 = A( x 2 + 1) + ( Bx + C ) x
Si x = 0 concluimos 1 = A
Si , por ejemplo, x = 1 entonces 2 = 2 A + ( B + C ) , es decir, B + C = 0
Si x = 1 entonces 0 = 2 A + (1)( B + C ) de donde B C = 2
Resolviendo el
B = 1, C = 1 ,
de donde
sistema formado
x +1 1 x +1
= +
x3 + 1 x x2 + 1
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
149
Ejemplo.
Exprese como suma de fracciones parciales la fraccin racional
Solucin.
Como x 3 + x = x( x 2 + 1) = x( x + i )( x i) entonces
x +1
C ( x)
x3 + 1
B
C
x +1 A
, debemos
= +
+
3
x +1 x x + i x i
1+ i
2
As,
x +1 1
= +
x3 + 1 x
1 i
2
1 1
1 1
+ i i
2 2 + 2 2
x+i
xi
i =0
i =0
y p ( x ) q ( x ) = r ( x ) = ci x i , p ( x ) + q ( x ) = d1 x i
Determine, usando las definiciones correspondientes
a) d 2 b) c 4
2) Sean p ( x) = 4 + 3 x + 3 x 2 , q ( x) = 3 + 2 x + 4 x 2 Z 5 [x ] , determine:
a) p( x) + q( x)
b) p( x) q( x)
Resp. a) 2 + 2 x 2
3) Verifique que, en Z 5 [x ] se cumple:
a) ( x 1)( x 3 + 4 x 2 4 x + 1) = x 4 + 3x 3 + 2 x + 4
b) ( x 1)( x + 1) = x 2 + 4
150
Resp. x 5 + x 4 + x + 1 , 1
1
d) (4 x 4 3x 2 + 3x + 7) ( x + ) Resp. 4 x 3 2 x 2 2 x + 4 , 5
2
6) Demostrar que x 1 y x + 2 son factores de p( x) = x 4 + 2 x 3 7 x 2 8 x + 12 y
determinar los factores restantes Resp. x 2 , x + 3
151
11) Usar el Teorema del resto para determinar el valor de k que hace que el
polinomio 3x 3 2 x 2 + kx 8 sea divisible exactamente por x 2 Resp. k = 4
12) Hallar el
valor de k para que al
dividir el polinomio
4
3
2
p( x) = x + 2 x 3x + kx 7 por x 2 , el resto sea 3 Resp. k = 5
13) Hallar los valores de a y b que hagan que 2 y 3 sean races de la ecuacin
x 4 + x 3 + ax 2 + bx + 30 = 0
14) Determinar
a, b, c
de
modo
que
( x 3)( x + 1)( x 1)
sea
factor
de
x 2 x 6 x + ax + bx + c Resp. a = 8, b = 5, c = 6
5
17) En cada uno de los ejercicios siguientes, comprobar que la ecuacin dada tiene
como races los valores indicados de r , y hallar las races restantes
a) x 3 6 x 2 + 13x 10 = 0 ; r = 2 Resp. 2 i
b) x 4 x 3 9 x 2 + 3x + 18 = 0 ; r = 3,-2 Resp. 3
19) En cada uno de los siguientes ejercicios, se dan unas races de la ecuacin.
Hallar las races restantes
a) x 3 + x 2 4 x + 6 = 0 ; 1 i Resp. 1 + i , 3
b) x 4 6 x 3 + 14 x 2 14 x + 5 = 0 ; 2 i Resp. 2 + i , 1 , 1
c) x 5 7 x 4 + 16 x 3 32 x 2 + 15 x 25 = 0 ; 1 2i , i Resp. i, 1 + 2i, 5
152
20) Determine la ecuacin mnica de grado mnimo con coeficientes reales que
tenga las races indicadas
a) 2, 3 + i Resp. x 3 4 x 2 2 x + 20 = 0
b) 1, 3, 1 + 2i
c) 2 + 4i, 2i Resp. x 4 4 x 3 + 24 x 2 16 x + 80 = 0
d) 2, -1, 1, 2 Resp. x 4 5 x 2 + 4
21) Demostrar que la ecuacin x 7 + 4 x 6 + 2 x 3 + 9 x 2 + 6 = 0 tiene por lo menos 4
races complejas
22) Demostrar que la ecuacin 4 x 4 3 x 3 x 10 = 0 tiene exactamente dos races
complejas
23) En la ecuacin x n + 1 = 0 , demostrar:
a) si n es par, las n races son complejas
b) si n es impar, hay exactamente una raz negativa igual a 1 y n-1 races
complejas
24) Demostrar que una ecuacin cuyos trminos son todos positivos no tiene races
positivas
25) Demostrar que una ecuacin completa que tiene slo trminos pares , todos con
el mismo signo, no tiene races reales
26) Demostrar que la ecuacin 2 x 6 + 5 x 4 4 x 2 8 = 0 tiene exactamente cuatro
races complejas
153
30) Las dimensiones de una caja rectangular son 3 cm, 5 cm, y 7 cm. Si cada una de
estas dimensiones se aumenta en la misma cantidad, su volumen se triplica;
alcular esta cantidad Resp. 2 cm.
31) En cada una de las siguientes ecuaciones, hallar la raz indicada con una cifra
decimal
a) x 3 3x 2 + 3 x 5 = 0 , 2 < x < 3 Resp. 2,6
b) x 3 + 3x 2 + 2 x 7 = 0 , 1 < x < 2 Resp. 1,1
c) x 3 3x 2 26 x + 69 = 0 , 2 < x < 3 Resp. 2,5
32) Resolver la ecuacin 4 x 3 12 x 2 + 3 x + 5 = 0 sabiendo que las races estn en
1
5
progresin aritmtica Resp. , 1,
2
2
33) Resolver la ecuacin 4 x 3 x 2 16 x + 4 = 0 si una raz es el negativo de la otra
1
Resp. 2, - 2,
4
34) Resolver la ecuacin x 3 + 2 x 2 15 x 36 = 0 sabiendo que tiene una raz doble
Resp. 3, -3, 4
35) Resolver la ecuacin 3 x 3 + 17 x 2 87 x + 27 = 0 si una raz es el recproco de
otra
1
Resp. 3, , - 9
3
36) Resolver x 4 5 x 3 + 6 x 2 + 4 x 8 = 0 sabiendo que tiene una raz triple
Resp. 2 ( de multiplicidad 3 ) y 1
154
40) En cada uno de los siguientes ejercicios descomponga la fraccin dada en sus
fracciones parciales y comprobar el resultado
a)
3x 2 4 x + 5
x3
2
( x) Resp.
+ 2
2
x 1 x +1
( x 1)( x + 1)
2x 3 4x 2 + 4x 4
2x
4
( x) Resp. 2
b)
2
2
2
( x + 1)( x + 2)
x +1 x + 2
c)
2x 4 + 4x 3 + 4x 2 + x 6
1 2
x 1
( x) Resp. 2 + 2 + 2
4
3
2
x x
x + x + 3x
x + x+3
d)
2x + 4
1 x+2
( x) Resp. + 2
3
x x +4
x + 4x
e)
1 1
1 1
+ i i
2x + 4
1
C ( x) Resp. + 2 2 + 2 2
3
x
x + 2i
x 2i
x + 4x
155