Matematica General

INTRODUCCIN
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.
Mucho xito en su aprendizaje
Heraldo Gonzlez Serrano Coordinador Matemtica General 10.052
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
3.7.3.2. Conjunto imagen 3.7.3.3. Funcin sobreyectiva 3.7.3.4. Funcin inversa, teoremas 3.7.4. Composicin de funciones 3.8. Ejercicios propuestos 4. Los nmeros naturales 4.1. Induccin matemtica 4.1.1. Primer Teorema de la Induccin 4.1.2. Segundo Teorema de la Induccin 4.1.3. Suma y multiplicacin en N 4.1.4. Ejercicios propuestos 4.2. Sumatorias 4.2.1. Sumatoria simple 4.2.1.1. Propiedades de la sumatoria simple 4.2.1.2. Algunas sumatorias importantes 4.2.2. Sumatoria doble 4.2.2.1. Definicin de sumatoria doble 4.2.2.2.Propiedades de la sumatoria doble 4.2.3. Ejercicios propuestos 4.3. Progresiones 4.3.1. Progresin Aritmtica 4.3.1.1. Teorema regulatorio 4.3.2. Progresin Geomtrica 4.3.2.1. Teorema regulatorio 4.3.3. Progresin Armnica 4.3.4. Ejercicios propuestos 4.4. Anlisis combinatorio 4.4.1. Principio del anlisis combinatorio 4.4.2. Factorial de un nmero 4.4.3. Variaciones 4.4.4. Permutaciones 4.4.5. Combinaciones 4.4.6. Ejercicios propuestos 4.5. Teorema del binomio 4.5.1. Teorema y propiedades 4.5.2. Ejercicios propuestos 4.6. Ejercicios diversos complementarios naturales 4.7 Ejercicios propuestos complementarios naturales 5. Estructuras Algebraicas 5.1. Ley de composicin interna 5.1.1. Asociatividad 5.1.2. Distributividad 5.1.3. Elemento neutro 5.1.4. Conmutatividad 5.1.5. Elemento inverso 5.2. Estructuras Algebraicas 5.2.1. Grupo 5.2.2. Anillo
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
5.2.3. Dominio de integridad 5.2.4. Cuerpo 5.3. Ejercicios propuestos 6. Nmeros complejos 6.1. Introduccin 6.2. Operaciones con complejos 6.3. Subconjuntos de C 6.4. Complejos en forma cannica 6.5. Operatoria con complejos cannicos 6.6. Conjugado de un complejo 6.7. Norma o mdulo de un complejo 6.8. Forma trigonomtrica de un nmero complejo 6.9. Operatoria con complejos trigonomtricos 6.10. Races de un complejo 6.11. Forma exponencial 6.12. Ejercicios propuestos 7. Polinomios 7.1. Definiciones 7.2. Suma y multiplicacin de polinomios 7.3. Teorema del resto 7.4. Nmero de races de una ecuacin 7.5. Races racionales 7.6. Naturaleza de las races 7.7. Algunas ayudas para encontrar races 7.8. Relaciones entre coeficientes y races 7.9. Fracciones parciales 7.9.1. Fracciones racionales 7.9.2. Suma y multiplicacin 7.10. Fracciones parciales 7.10.1. Aplicacin en C 7.10.2. Aplicacin en R 7.11. Ejercicios propuestos
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
LA MATEMTICA: CIENCIA Y LENGUAJE DE LAS CIENCIAS
En los congresos internacionales de Matemtica se renen miles de matemticos de todos los pases para discutir sus descubrimientos. Qu cosas descubren? De qu se ocupan?. Se ocupan de tantas cosas diferentes que ya no hay ningn matemtico que conozca todo lo que hacen todos sus colegas.
Los nombres de las ramas de las matemticas modernas: Variedades Diferenciales, Topologa Algebraica, Algebra Topolgica, etc. suenan ms misteriosos an que los de la Fsica o la Biologa.
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.
Los matemticos actuales, sin embargo, pocas veces hablan de nmeros o figuras; muchas ms hablan de las relaciones mismas. As, adems de verificar que el 2 est antes que el 5 se preguntan que es ordenar objetos cualesquiera; adems de dar la frmula para la superficie de un crculo estudian qu es medir conjuntos en general. Se dice que plantean problemas ms generales, ms abstractos.
Y para estudiar estos problemas siguen un mtodo especial, pero que es el mismo que usamos cuando jugamos a las damas, al ajedrez o a otro juego cualquiera: decir cuales son las piezas del juego, dar reglas para usarlas, y luego moverlas sin hacer trampas. Esto basta para dar una idea de lo que es el famoso mtodo axiomtico. Al usarlo lo entenderemos mejor; veremos que los axiomas son como las reglas del juego, que razonar es como mover las piezas y que los teoremas nos dicen cual es el efecto de hacer varias jugadas.
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
y frmulas no tienen ninguna virtud mgica o misteriosa, simplemente permiten decir en un rengln cosas que llenaran pginas. Pero slo gracias a esos resmenes perfectos que son las frmulas pudieron los hombres pensar en cosas cada vez ms complicadas sin hacerse un embrollo de ideas. Este mtodo y este lenguaje matemtico han resultado para las dems ciencias tan importantes como los mayores descubrimientos. En efecto, el lenguaje que aprendemos tan trabajosamente en nuestra infancia, y que es lo primero que nos diferencia totalmente de los animales , se fue creando cuando las necesidades del hombre eran sencillas y sus ideas del mundo limitadas e ingenuas. Mano, dolor, mam, uno, muchos, son palabras que existen en todos los idiomas y que comprendemos desde muy temprana edad. Con palabras como sas el hombre se las arregl durante muchos milenios para describir lo que vea y senta, para dar explicaciones e instrucciones simples, y hasta para crear el arte literario.
Cierto es que pronto empezaron las confusiones y se vio la necesidad de definir ciertos trminos prcticos , como las unidades para medir y pesar, o los deberes y derechos de los individuos. Aqu se empez a notar que algunas definiciones eran fciles de darse a gusto de todos, pero muchas, no ( crimen, libertad, tirano), y algunos conceptos no producan ms que interminables discusiones filosficas ( bien, ser, materia, infinito ). Pero a pesar de esto, el lenguaje ordinario era suficiente para todos.
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
MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.
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 ....
UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.
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
Por ejemplo, si " p" es : p : Hoy llueve , entonces ~ p es : ~ p : Hoy no llueve ;

1.1.3.2 Tabla de verdad de la conjuncin ( ) Dadas las proposiciones " p" , " q" , existe la conjuncin de ellas, denotada p q , que se lee p y q, proposicin tal que su tabla de verdad es:
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
Observacin:
q V F V F
pq V V V F
1) La disyuncin es verdadera siempre, menos cuando las proposiciones que la componen son ambas falsas. 2) La disyuncin presentada es incluyente, es decir, admite como verdadera a la proposicin cuando ambas proposiciones que la componen lo son, sin embargo, si deseamos la disyuncin excluyente, la denotamos p q
1.1.3.4 Tabla de verdad de la implicacin ( ) Dadas las proposiciones " p" , " q" , existe la implicacin de p con q , denotada p q , que se lee p implica q si ocurre p, entonces ocurre q, proposicin tal que su tabla de verdad es:
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:
p
V V F F
q
V F V F
pq
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
2) Determine el valor veritativo de: [ p (q r )] r Solucin : Su tabla de verdad es:
p
V V V V F F F F
q
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
~ p
F V
p (~ p ) V V
Notamos que si p significa, Esta sala tiene 40 alumnos entonces p (~ p) significa Esta sala tiene 40 alumnos o no tiene 40 alumnos, lo que siempre verdadero. 2) Demuestre que: ~ (~ p) p es tautologa. Demostracin: Su tabla de verdad es:
p
V F
~ p
F V
~ (~ p) V F
~ (~ p) p V V
3) Demuestre que: {p [(q (~ q )] } (~ p ) es tautologa Demostracin: Su tabla de verdad es:
p
V V F F
q
V F V F
~q
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
Esta proposicin se llama mtodo de demostracin por reduccin al absurdo

1..1.4.2 Contradiccin Definicin Una proposicin que siempre es falsa, es una contradiccin. Una contradiccin la denotamos por 0.
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
~ p 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:
p
V V V V F F F F
q
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
Concluimos que [ p (q r )] r es una contingencia.
1.1.5 LEYES FUNDAMENTALES DEL ALGEBRA DE PROPOSICIONES
Identidad
p I p p 0 0
p 0 p p I I pp p
Idempotencia Involucin Complemento
pp p
( p) p
~0I ~I0
p (~ p ) 0
Conmutatividad Asociatividad
pq q p
p (~ p ) I
pq q p
p (q r ) ( p q) r 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
{ [(~ p) p] [(~ p ) (~ q )] } q { [I [(~ p) (~ q )] } q [(~ p ) (~ q )] q (~ p ) [(~ q ) q ] ~ p I I
5) Demuestre, sin usar tablas: {[( p q ) r ] ~ q} q (r q ) Demostracin {[( p q) r ] ~ q} q {[( p q) ~ q ] (r ~ q)} q {[ p (q ~ q )] (r ~ q )} q {[ p 0] (r ~ q )} q {0 (r ~ q )} q (r ~ q ) q (r q ) (~ q q) (r q) I r q

1.2 Lgica Funcional 1.2.1 Cuantificadores Consideramos la siguiente frase: x es un nmero par. Claramente esta frase no es proposicin; es una frmula proposicional y la denotamos por p( x) :x es un nmero par. Cmo transformar una frmula proposicional (FP) a proposicin?
1)
Reemplazando x por un elemento determinado de un conjunto
especifico D, llamado Dominio de la variable x. As, si para esta FP, D es el conjunto cuyos elementos son: 1,2,3,4, entonces:
p(1) : 1 es un nmero par, que es una proposicin, ya que p(1) es falso. p(2) : 2 es un nmero par, que es una proposicin, ya que p(2) es verdadero.
2) Anteponiendo a la FP un smbolo que responde a la pregunta Cuntos elementos de D verifican p( x) ? Estos smbolos, llamados Cuantificadores, son:
: 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
Por lo anterior concluimos que ~ [ x D : p(x)] x D : ~ p(x) es tautologa 2) Si ~ [ x D : P(x)] es V x D : p(x) es F x D : ~ p(x) es V
Si ~ [ x D : P(x)] es F x D : p(x) es V x D : ~ p(x) es F
As entonces: ~ [ x D : p(x)] x D : ~ p(x) es una tautologa Ejemplo: Se define, para los conjuntos A y B, la nocin de subconjunto, denotado: A B como : A B [ x : x A x B] Determine en que condiciones A no es subconjunto de B Notacin: ~ ( A B) = A B Solucin: Como A B [ x : x A x B] entonces: A B ~ [ x : x A x B] x : ~ ( x A x B) x : x A xB
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.
Denotaremos a los conjuntos con letras maysculas A, B etc., as, A es el conjunto formado por los elementos: 1, a, casa.
Elemento : Cualquier objeto o cosa en el conjunto. Los denotamos con letras minsculas y al elemento genrico lo denotamos x. Pertenencia : Denotado por el smbolo relaciona las dos nociones primitivas anteriores. Si el elemento 1 esta en el conjunto, anotamos: 1 A y se lee: el elemento 1 pertenece al conjunto A o simplemente 1 esta en A.
Si el elemento x no pertenece al conjunto A, denotamos: x A.

Conjuntos por extensin y por comprensin
Un conjunto est descrito por extensin cuando exhibimos a todos sus elementos encerrados en un parntesis de llave, as por ejemplo, A = {2,3,4} . Un conjunto est descrito por comprensin cuando declaramos una propiedad que la cumplen solo y solo los elementos del conjunto, por ejemplo, el conjunto A = {2,3,4} escrito por comprensin es: A = {x / x N / 1 < x < 5}. Naturalmente que tambin podemos anotarlo: A = {x / x N / 2 x 4} , A = {x / x N / 1 < x 4} , A = {x / x N / 2 x < 5} etc.
2.2 Igualdad de conjuntos Definicin: Sea A y B conjuntos, decimos que A es subconjunto de B, lo que anotamos A B si y solo si todos los elementos de A son tambin elementos de B
A B [x : x A x B ]
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
2.3 ALGUNOS CONJUNTOS IMPORTANTES: 1) Conjunto vaco Sea A un conjunto, entonces {x / x A x A} es un conjunto que no tiene elementos, lo anotamos 0 / A y es el conjunto vaco de A. Proposicin: 0 / A A A Demostracin: La realizaremos por reduccin al absurdo / A no es subconjunto de A, entonces x : x 0 / A x A, Supongamos que 0 esto constituye una contradiccin ya que el conjunto 0 / A no tiene elementos, entonces debe ocurrir que 0 / A A. Proposicin: 0 /A =0 / B A, B
11
Demostracin: /A 0 / B y 2) 0 /B 0 /A Se debe demostrar que 1) 0 1) As es, ya que si no es cierto, es decir, si 0 / A no es subconjunto de 0 / B , debe / A y que no est en 0 / B ; esto es existir al menos un elemento que pertenezca a 0 una contradiccin, por lo que 0 /A 0 /B 2) De manera anloga, 0 /B 0 /A /A =0 /B Por 1) y 2) concluimos que 0 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
b) Sea x A , debemos demostrar que x A A

x A x A x A x A A , luego A A A
2) Se debe demostrar que: a) A B B A y b) B A A B a) Sea x A B , debemos demostrar que x B A

x A B x A x B x B x A x B A de donde
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 )
b) Sea x A (B C ) , debemos 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) 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 B
AB
14
2)
x P Q x P x Q xM xN xM N
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
b) Sea x A , debemos demostrar que x A A

x A x A x A x A A , luego A A A
Por a) y b) concluimos que A A = A Notemos el uso de la tautologa: p p p Se debe demostrar que: a) A B B A y b) B A A B a) Sea x A B ,debemos demostrar que x B A
x A B x A x B x B x A x B A de donde
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
Notemos el uso de la tautologa : p q q p Por demostrar que: a) ( A B ) C A (B C ) y b) A (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) x C
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
2.4.3 Diferencia de conjuntos Definicin: Sean A y B conjuntos en U, definimos la diferencia de A con B, denotada A B , que se lee A menos B como el conjunto tal que:
A B = {x / x A x B}
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
La Teora de Conjuntos es la base terica para explicar algunos fenmenos, en particular los aleatorios y all nos interesa contar la cantidad de elementos en un subconjunto determinado. Aceptaremos la siguiente afirmacin. Si A y B son conjuntos disjuntos entonces la cantidad de elementos que tiene la unin de tales conjuntos es igual a la suma de la cantidad de elementos de los conjuntos Simblicamente, si denotamos por n(M) la cantidad de elementos del conjunto M entonces A B = entonces n( A B) = n( A) + n( B) Observacin. Se puede demostrar (lo que queda propuesto) que: a) Si A y B son conjuntos entonces: n( A B) = n( A) + n( B) n( A B) b) Si A y B son conjuntos entonces: n( A B C ) = n( A) n( A B)
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} ,
entonces los datos se pueden expresar como sigue:
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
15 20 10
B
35
15
20
30
El diagrama se construy, iniciando el llenado desde el centro, es decir, desde n( A B C ) . Notemos que se puede leer inmediatamente que n( B A C B C ) = 35
21
2.4.7 Ejercicios propuestos
1) Indique el valor veritativo de las siguientes proposiciones: a) Todo nmero natural es mayor que 2 b) (x )(y ) : xy > 0 c) x N : x 2 > 100
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 )
3) Demuestre mediante Algebra de proposiciones: a) b) c)
[( p q) ~ p ] (~ p q)
[~ ( p q) (~ p q)] ~ p [ 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)
[(~ r q) q ] [(~ q r ) s ] Resp. F ( p r ) [( p q ) (~ q )] Resp. V
5) Si p q significa ni p y ni q Cules de las siguientes proposiciones son tautologas? a) ( p q) (q p) ( p q) b) ~ ( p q) p q c) ( p q) ~ ( p q ) d) ~ ( p q) p q
6) Sabiendo
que la proposicin compuesta ~ p [q (~ r ~ s )] es verdadera,

verdad de [~ p (~ r q )] s Resp. V
determine el valor de
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
10) Usando Algebra de Conjuntos, verifique si: a) ( A B) ( A B C ) = A 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)] =
11) En un universo de 30 elementos se considera dos conjuntos A y B tales que: n( A B) = 10 , n( B) = 18 , n( B C A) = 5 Determine: a) n( B A) b) n( A) c) n( A C B C ) Resp. a) 8 b) 15 c) 7 12) Demuestre que: a) n( AB) = n( A) + n( B) 2 n( A B)
24
b) n(( AB) C ) = n( A) + n( B) + n(C ) n( A C ) n( B C ) 2n( A B) + 2n( A B C )
13) En un universo U se considera tres conjuntos A,B,C tales que:
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) 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
b) n( A)
c) n(U )
n( B C ) = 12
Calcule: a) n( A) c) n( B A) d) n[( B A) C ]
b) n( B)
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
]
n[C ( A B)] = 35 , n[( A C ) B ] = 20 , n ( A B C ) C = 40 Determine el nmero de personas que: a) compran slo B Resp. 15 b) compran slo dos marcas Resp. 50 c) no compran de las marcas consultadas Resp. 40
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. 1,2,3} , B = {3,4} entonces: Si A = { 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. 1,2,3} , B = { 1,2,3,4} , N ; determine por extensin Considere los conjuntos A = { 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}
c) Relacin inversa de R , denotada R 1 , al conjunto tal que R 1 B A = {( p, q) /(q, p ) R} Observacin. a) El dominio de una relacin es el conjunto formado por las primeras componentes de los pares de la relacin. b) El recorrido de una relacin es el conjunto formado por las segundas componentes de los pares de la relacin. c) La relacin inversa de una relacin R esta formada por los pares ordenados recprocos de los pares ordenados de R Ejemplo. En el ejemplo anterior: 1 Dom( R1 ) = { 1,2,3} , R2 = {(3,1), (4,1), (2,2), (3,2), (4,2), (1,3), (2,3), (3,3), (4,3)} Proposicin. R A B = {(a, b) / p ((a, b))} una relacin, entonces: a) ( R 1 ) 1 = R b) Dom( R) A , Re c( R) B c) Dom( R) = Re c( R 1 ) , Re c( R ) = Dom( R 1 ) La demostracin queda propuesta
27
3.3 Composicin de relaciones Definicin. Sean R A B , S B C dos relaciones, entonces existe la relacin compuesta de R con S ,denotada S o R tal que:
S o R = {( x, z ) / y B tal que ( x, y ) R ( y, z ) S }
Ejemplos 1) Sean R A B = {(1, a ), (2, b), (3, c), (4, c)} , S B C = {(a, x), (a, y ), (b, y )} dos 1,2,3,4,5}, B = {a, b, c, d , e}, C = {x, y, z , w, p} , entonces: relaciones con A = { a) S o R = {(1, x), (1, y ), (2, y )} b) c) d) e) ( S o R) 1 = {( x,1), ( y,1), ( y,2)} R 1 = {(a,1), (b,2), (c,3), (c,4)} S 1 = {( x, a), ( y, a), ( y, b)} R 1 o S 1 = {( x,1), ( y,1), ( y,2)}
2) Sean R A B , S B C dos relaciones. Demuestre que ( S o R ) 1 = R 1 o S 1 Demostracin. Debemos demostrar: a) ( S o R) 1 R 1 o S 1 b) R 1 o S 1 ( S o R) 1 a) Sea ( x, y ) ( S o R ) 1 debemos demostrar que ( x, y ) R 1 o S 1 ( x, y ) ( S o R) 1 ( y, x) S o R m B tal que ( y, m) R (m, x) S m B tal que ( x, m) S 1 (m, y ) R 1 ( x , y ) R 1 o S 1 b) Sea (a, b) R 1 o S 1 debemos demostrar que (a, b) ( S o R) 1 (a, b) R 1 o S 1 n B tal que (a, m) S 1 (m, b) R 1 n B tal que (b, m) R (m, a) S (b, a ) S o R ( a , b ) ( S o R ) 1 3) Sean A, B, C conjuntos y T A B , S B C dos relaciones. Demuestre que ( R S ) o T ( R o T ) (S o T ) Demostracin. Sea (a, b) ( R S ) o T , debemos demostrar que (a, b) ( R o S ) ( S o T ) (a, b) ( R S ) o T c B tal que (a, c) T (c, b) R S (a, c) T ((c, b) R (c, b) S ) ((a, c) T (c, b) R) ((a, c) T (c, b) S ) ( a, b) R o T ( a, b) S o T
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,2,3} y R A 2 = {(1,1), (1,2), (2,1), (2,2), ((1,3), (3,3)} 1) Sea A = { 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
2) Sea R una relacin en A. Demuestre: R es simtrica R = R 1 Demostracin. ) Si R es simtrica debemos demostrar que R = R 1 , es decir, debemos demostrar que a) R R 1 b) R 1 R a) Sea ( x, y ) R entonces como R es simtrica concluimos que ( y, x) R , as, por definicin de relacin inversa conseguimos ( x, y ) R 1 , luego R R 1 b) Sea (a, b) R 1 entonces (b.a ) R y como R es simtrica entonces 1 (a, b) R ; as, R R Por a) y b) R = R 1 ) Sabemos que R = R 1 , debemos demostrar que R es simtrica. Sea (a, b) R entonces (b, a) R 1 , como R = R 1 entonces (b, a) R , as, R es simtrica.
3.5 Relacin de orden y de equivalencia 3.5.1 Relacin de equivalencia Definicin. Decimos que la relacin R A 2 es una relacin de equivalencia en A si y slo si R es refleja, simtrica y transitiva
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.
) Si R es de equivalencia debemos demostrar que R es refleja y circular Basta demostrar que R es circular ya que R es de equivalencia Sea aRb bRc entonces, como R es de equivalencia, en particular es transitiva, as, aRb bRc aRc ; como R es relacin simtrica entonces, de la ltima expresin concluimos que cRa ) Si R es refleja y circular debemos demostrar que R es de equivalencia Falta demostrar que R es simtrica y transitiva Sea aRb ; como R es refleja entonces bRb , as tenemos, aRb bRb de donde bRa ; concluimos que R es simtrica
Sea aRb bRc entonces, como R es circular conseguimos que cRa de donde, aRc ya que R es simtrica, as, R es transitiva.
3.5.2 Clases de equivalencia Definicin. Sea R una relacin de equivalencia definida en A . Para todo x A llamamos clase de equivalencia de x segn R al conjunto C x tambin denotado x , formado por todos aquellos elementos relacionados con x , es decir:
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)
x A / R
Ux = A
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 contradiccin ( observacin 3) as, x y = 3) x A , x x luego {x} x A , as, A = constituye una
xA
U {x} U x A
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} b = {x A / xRb} = {b, c}
una
relacin
de
c=b b) El conjunto cuociente es A / R = {{a}, {b, c}} y un sistema de representantes es S = {a, b}
32
2)
En Z definimos la relacin de equivalencia R por: aRb a 2 + a = b 2 + b . Determine: a) La clase de equivalencia de los elementos de Z c) El conjunto cuociente Solucin. a) 0 = {x Z / xR0 } = x Z / x 2 + x = 0 = { 1, 0} = 1
2 2 2 2 2 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
3 = 4 ,........., n = {n, (n + 1)} = (n + 1)
3.5.3 Relacin de orden Definicin. Una relacin R definida en el conjunto A es una relacin de orden si y slo si es refleja, transitiva y antisimtrica
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 entonces ( k1 N tal que b = k1a ) y
( k 2 N tal que c = k 2 b) , as, reemplazando b en c = k 2 b obtenemos c = k 2 k1a , esto indica que a c con k 2 k1 N
R es antisimtrica ya que si a b b a entonces ( k1 N tal que b = k1a ) y

( k 2 N tal que a = k 2 b) , reemplazando b en a = k 2 b obtenemos a = k 2 k1 a de donde k 2 k1 = 1 , esto nos indica que k1 = k 2 = 1 y entonces a = b
3.5.3.1 Conjunto parcial y totalmente ordenado
En general, una relacin de orden R definida en un conjunto A no permite ordenar totalmente los elementos de A ya que, dados a, b A puede suceder que no se verifique aRb bRa , en este caso la relacin es de orden parcial. Por ejemplo, la relacin de orden anterior es de orden parcial ya que, por ejemplo, 2 no divide a 3.
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
que n = qm + r ; 0 < r < m , luego
Si n < 0 consideramos n + km > 0 , para algn k (por ejemplo k = n + 1) y aplicamos la demostracin del caso anterior.
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
35
....., -6, -3, 0, 3, 6, 9, 12,.... ....., -5, -2, 1, 4, 7, 10, 13,..... ....., -4, -1, 2, 5, 11, 14,..... Teorema, Dos enteros a, b son congruentes modulo m si y slo si dan el mismo resto al dividirlos por m. Demostracin. ) Supongamos que al dividir b por m se obtiene b = qm + r , r < m . Por hiptesis a b(mod m) es decir, a b = mp, de donde a = b + mp , reemplazando b obtenemos a = qm + r + mp = (q + p)m + r ) Supongamos que a b(mod m)
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
1 = {...,2, 1, 4, 7, 10,13,.....}
0 = {...,3, 0, 3, 6, 9,12,.....}
2 = {...,1, 2, 5, 8, 11,114,.....}
La tabla que obtenemos es +

0 1 2 0 0 1 2
1 1 2 0
2 2 0 1
donde , para calcular 1 + 2 , sumamos, por ejemplo, 1 + 2 = 3 y como 3 0(mod 3) entonces 1 + 2 = 0

3.6 EJERCICIOS PROPUESTOS
1) Sean A, B, C conjuntos cualesquiera. Demuestre a) n( A B) = n( A) n( B) b) A B = ( A = B = ) c) A B A C B C C d) A ( B C ) = A B A C e) ( A B) C = ( A C ) ( B C ) 2) Considere las siguientes relaciones R1 = { (a, b) A 2 / a = b} con A = { 1,2,3} 2 R2 = { ( x, y ) N / 2 x + y = 9} R3 = { (a, b) A 2 / a divide a b } si A = { 1,2,3,4,5}
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 )
c) Determine por extensin Ri1 3) Sea R A B = {( x, y ) / p ( x, y )} una relacin. Demuestre que: a) dom( R ) A ; rec( R ) B b) ( R 1 ) 1 = R c) dom( R 1 ) = rec( R) ; rec( R 1 ) = dom( R) 4) Considere las relaciones R A B , S B C Demuestre que ( S o R) 1 = R 1 o S 1
37
5) Sean las relaciones definidas en : R = {( x, y ) / y = 2 x} , S = {( x, y ) / y = 2 x 3 } Determine: a) S o R b) R o S 6) Considere las siguientes relaciones definidas en Z R1 = { (a, b) / a = b 2 } R2 = { ( a , b) / a + a 2 = b + b 2 } R3 = {( x, y ) / x y es multiplo de 3} R4 = { (a, b) / m Z tal que a = mb} R5 = { (a, b) / k Z tal que a b = 2k } Determine cuales de las relaciones planteadas son: reflejas, simtricas, antisimtricas, transitivas 7) Si R es una relacin en A tal que R es transitiva demuestre que R 1 tambin es transitiva 8) Sea R A 2 . Demuestre: R simtrica R 1 = R
9) Sea R una relacin en A. Demuestre que: R es refleja D R D = {(a, a ) / a A}
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 1,2,3,4} , verifique lo demostrado en a) y b) c) Si = {X / X A} con A = {
38
14) Si R es una relacin de orden en A y S es una relacin de orden en B demuestre que la relacin T definida en A B tal que (a, b)T (c, d ) aRc bSd es de orden
15) Sean R1 A 2 , R2 B 2 relaciones de orden y R3 una relacin definida en A B tal que (a, b) R3 (c, d ) aR1c bR2 d . Demuestre que R3 es relacin de orden 16) Sea R una relacin en A. Decimos que: R es conexa x, y A : aRb bRa Demuestre: Si R es simtrica, transitiva y conexa entonces R es de relacin de equivalencia. 17) Sea x la clase de equivalencia de x segn R , donde R es la relacin equivalencia (tambin denotada ~) definida en el conjunto A . Demuestre: 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: 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)}.
de
39
a) Demuestre que R es una relacin de equivalencia b) Determine: a , b , c c) Determine A / R
3.7 FUNCIONES
Uno de los ms importantes conceptos en Matemtica se refiere a un tipo particular de relacin entre elementos de dos conjuntos; las funciones. Una funcin expresa la idea de una cantidad que depende de otra u otras cantidades, por ejemplo podemos afirmar que el rea de un cuadrado depende o es funcin de la longitud del lado de ste; si al rea lo denotamos por A y la longitud del lado lo denotamos por l entonces podemos escribir A = f (l ) , y en ste caso particular, la expresin matemtica es A(l ) = l 2 ; el volumen V de un cilindro recto depende, es funcin, del radio basal r y de altura h, lo que escribimos V = f (r , h) y la expresin matemtica es V (r , h) = r 2 h En matemtica designamos a la variable independiente por x o por x1 , x 2 ,...., x n a las eventuales variables independientes que explican el comportamiento de la variable dependiente y , escribiendo y = f ( x) o y = f ( x1 , x 2 ,..., x n ) respectivamente En la presente seccin estudiaremos funciones con una nica variable independiente, la funcin inversa y composicin de funciones
3.7.1 Definicin de funcin Definicin Una funcin f definida en el conjunto A con valores en el conjunto B es toda relacin f A B tal que a cada elemento x de A le hace corresponder un nico elemento y del conjunto B
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 4) Sea
x +1 f A = ( x, y ) / y = f ( x) = , A una funcin. Determine el x 2 mximo dominio A y mximo recorrido Solucin. x +1 Como Domf = {x A / y tal que y = f ( x) } y y = f ( x) = x2 entonces Domf = {2} Como Re cf = {y / x {2} tal que y = f ( x)} , despejando x de x +1 y= obtenemos y ( x 2) = x + 1 , es decir, yx x = 1 2 y , esto indica que x2 1 2y x( y 1) = 1 2 y de tal manera que x = si y 1 , as entonces, el y 1 1} mximo recorrido de f es Re cf = {
41
3.7.2 Operaciones con funciones Definicin. Sean f , g dos funciones tal que Domf , Domg son sus respectivos dominios, entonces definimos las funcin suma, denotada f + g , tal que i) Dom( f + g ) = Domf Domg ii) ( f + g )( x) = f ( x) + g ( x)
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)} 1,2,4,6} , Domg = {0,1,2,4,7} entonces Domf Domg = { 1,2,4}, de Como Domf = { donde: f + g = {(1,5), (2,5), (4,13)} f g = {(1,6), (2,6), (4,40)}
3.7.3 Funcin inversa 3.7.3.1 Funcin inyectiva Definicin. Decimos que la funcin f : A B es inyectiva o uno a uno si y slo si: x1 x 2 f ( x1 ) f ( x 2 ) x1 , x 2 A
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} {2} tal que f ( x) = 1) Considere la funcin f : {
2x + 3 , demuestre que f x 1
es inyectiva. Demostracin. 1} Debemos demostrar: f (a ) = f (b) a = b a, b {
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) 2) Demuestre que la funcin f : (,1) tal que f ( x) = 1 x 2 4 x 5 es inyectiva Demostracin. Para que lo sea se debe cumplir: f (a) = f (b) a = b a, b (,1) Como f ( x) = 1 x 2 4 x 5 = 1 x 2 4 x + 4 9 = 1 ( x 2) 2 9 entonces f (a) = f (b) 1 (a 2) 2 9 = 1 (b 2) 2 9 , as, cancelando el 1 y elevando al cuadrado ( note que la cantidad subradical es no negativa) obtenemos (a 2) 2 9 = (b 2) 2 9 , es decir, (a 2) 2 = (b 2) 2 ; al extraer raz cuadrada conseguimos a 2 = b 2 de donde 2 a = 2 b y finalmente a = b
3.7.3.2 Conjunto imagen. Definicin. Sea f : A B una funcin y E A , definimos la imagen de E por f , denotada f ( E ) como el conjunto tal que f ( E ) = {y B / x A tal que y = f ( x)} Ejemplos. 1) Considere la funcin f : [ 5, ) tal que f ( x) = x + 5 Determine f ( E ) si E = ( 1, 20] Solucin. Debemos determinar todos los valores de y = f ( x) = x + 5 tal que x ( 1, 20] Si x ( 1, 20] entonces 1 < x 20 , de aqu, 4 < x + 5 25 de tal manera que, al
extraer raz cuadrada obtenemos 2 < x + 5 5 , finalmente f ( E ) = { f ( x) / x E} = (2,5] Observacin El problema anterior tambin se puede solucionar de la siguiente manera; como lo que deseamos es determinar el conjunto que valores que toma y = f ( x) = x + 5 cuando x ( 1, 20] , entonces podemos despejar x , obteniendo x = y 2 5 . Imponiendo la condicin conseguimos 1 < y 2 5 20 as, 4 < y 2 25 de donde 2 < y 5
3.7.3.3 Funcin sobreyectiva Definicin Decimos que la funcin f : A B es sobreyectiva si y slo y B x A tal que y = f ( x)
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
43
2) La funcin f : A B es sobreyectiva si y slo si Re c( f ) = B Ejemplos 1)Demuestre que la funcin f : [0,2 ) ( ,0] tal que f ( x) = Solucin.
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] x es sobreyectiva x2
Debemos verificar que Re c( f ) = ( ,0], despejemos x de y =
2) Si la funcin f : B tal que f ( x) = x 2 x es sobreyectiva, determine el conjunto B Solucin Observe que x y que la funcin involucra a x 2 , esto nos siguiere considerar dos caso: a) x < 2 b) x 2 a) x < 2 x 2 < 0 x 2 = 2 x , as f ( x) = x 2 x = 2 2 x > 2 ya que
x < 2 x > 2 2 x > 4 2 2 x > 2 , de donde f ( x) ( 2, )
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} {2} tal que f ( x) = 1) Considere la funcin biyectiva f : {
2x + 3 , x 1
Ahora debemos determinar Re c( f ) de tal manera que f 1 : Re c( f ) {0} sea funcin. Si x 0 entonces x 2 0 as y = f ( x) = 3x 2 + 6 6 , concluimos que Re c( f ) = [6, ) y f 1 : [6, ) {0} es funcin Determinemos, finalmente, f 1 ( x ) De y = 3x 2 + 6 obtenemos x 2 =
f
1
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 2 2 f es inyectiva ya que: f ( x1 ) = f ( x 2 ) 3x12 + 6 = 3x 2 + 6 x12 = x 2 , extrayendo raz cuadrada obtenemos x1 = x 2 , as, x1 = x 2 de donde x1 = x 2
determine Solucin
( x)
De f ( x) = y =
y6 y6 de donde x = , entonces 3 3
x6 3
: [6, ) {0} tal que f 1 ( x) =
3.7.4 Composicin de funciones Definicin Sean f , g dos funciones tal que Dom( f ), Dom( g ) son sus respectivos dominios entonces definimos las funcin compuesta de f con g , denotada f o g , a aquella tal que 1) Dom( f o g ) = {x Dom( g ) / g ( x) Dom( f )} = Dom( g ) {x / g ( x) Dom( f )} 1) ( f o g )( x) = f ( g ( x))
Observacin Podemos denotar, ms simple: f o g = {( x, f ( g ( x)) / x Dom( f o g )}

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
1) Sean A = { 1,2,3}, B = {3,4,5} ; f = {(1,3), (2,4), (a, b)}, g = {(3,3), (2,4)(c, d )}funciones de A a B. Si f ( x) x x A , Re cf B , g (1) = 3 , determine el valor de (b a) + (c d ) Resp. 1
1 si x es par 2) Sea f : N una funcin tal que f ( x) = - 1 si x es impar Cules de las siguientes afirmaciones son verdaderas?
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
Resp. ( f o g )( x) = x 2 + 6 , x [ 1,2] ; ( g o f )( x) = x + 6 , x [0,5] 1 ,x3 ; Sean f, g funciones reales definidas por: f ( x) = x2 2x + 1 1 , x . Determine f o g y g o f g ( x) = 2 x 1 Resp. ( f o g )( x) = x , x ,1 , ( g o f )( x) = x , x [3,4] 2 12) Sean f, g funciones reales tal que f ( x) = x 2 , x < 0 ; determine g ( x) si f ( g ( x)) = x 2 4 x + 5 Resp. g ( x) = 2 x 3
f ( x) = x + 4 , x [0,6] ; g ( x) = x 2 + 2 , x [ 1,3] , determine las funciones f og y go f
13) Sean f, g funciones reales tal que f ( x 2) = x 2 + x + 1 , g ( x a) = x . Determine a de modo que ( f o g )(2) = ( g o f )(a 2) Resp. a = 14) Si a) b) c) d) e) f) g) h) i) 12 7
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
1 15) Hallar a, b para que la funcin f : [b,2] a, sea biyectiva donde 24 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)
48
CAPITULO 4 LOS NUMEROS NATURALES 4.1 INDUCCION MATEMTICA
Existen diversas formas de sistematizar al conjunto de los nmeros naturales y sus propiedades, la axiomtica de Peano es aquella en que nos basaremos para deducir la Induccin Matemtica y declarar algunas propiedades importantes de los naturales.
En 1.889, Giuseppe Peano (1858-1932) present la siguiente axiomtica para los nmeros naturales N 1) 1 N 2) ( n N )( ! n + N ) tal que n + = n + 1 3) n N : n + 1 4) n, m N : n m n + m +
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 3 nos indica que el natural 1 es sucesor de ningn natural, es decir, el 1 es el primer natural. El axioma 4 nos indica que dos naturales distintos no tienen el mismo sucesor El axioma 5, Axioma de la Induccin, nos permitir demostrar la validez de proposiciones en todo el conjunto de los naturales La axiomtica de Peano nos permite, adems, definir en el conjunto N la operacin
49
adicin, la operacin multiplicacin y una relacin de orden
4.1.1 Primer Teorema de la Induccin Teorema. Consideremos la proposicin P(n), que contiene la variable n N . Si la proposicin P(n) es tal que: a) Se cumple que P(1) es verdadera b) Asumiendo que P(k ) es verdadera, se verifica que verdadera, Entonces, P(n) se cumple para todo natural.
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 .
Dado que el conjunto S satisface el quinto axioma de Peano concluimos que

S = N y entonces la proposicin se cumple en N.
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
2) Tambin se conoce a esta proposicin como Primer principio de la Induccin Matemtica
50
3) En el Primer Principio de la Induccin podra ocurrir que la parte a) no se verifique P (1) si no que para P (n0 ) , n0 > 1 entonces, si se cumple b) para todo
n n0 concluimos que la proposicin se cumple para todo n n0
Ejemplos. Demuestre que: Demostracin. Sea P(n): 1 1 1 1 n + + + ... + = . Debemos demostrar que: 1 2 2 3 3 4 n (n + 1) n + 1 1 1 1 n 1 + + + ... + = se cumple para todo natural 1 2 2 3 3 4 n (n + 1) n + 1
a) P (1) es verdadera, y que b) P(k ) V P(k + 1) V Antes de realizar la demostracin debemos notar que en ella est
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
a) P (1) es verdadero ya que
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
Como el lado izquierdo de la ltima expresin tiene valor derecho, concluimos que P(2) es verdadero b) Si P(k) es verdadero, es decir, si
1 1 1 1 k + + + ... + = , 1 2 2 3 3 4 k (k + 1) k + 1
debemos demostrar que P(k + 1) es verdadero, es decir, debemos demostrar que 1 1 1 1 1 k +1 + + + ... + + = . Veamos esto ltimo 1 2 2 3 3 4 k (k + 1) (k + 1)(k + 2) k + 2
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
As entonces la proposicin se cumple en el conjunto de los Naturales Observacin 1) Ahora estamos seguros de poder sumar los n primeros trminos de la sucesin dada, sin sumarlos, bastando con aplicar la frmula de suma declarada 2) La deduccin de la frmula, cuestin que la vemos interesante, la estudiaremos en una seccin posterior. Ejemplo. Demuestre que toda expresin del tipo 3 2 n 1 es divisible por 8, para todo valor de n en los naturales Demostracin. Sea P(n) : 3 2 n 1 = 8r , para algn r N Debemos demostrar: a) P (1) V b) P (k ) V P(k + 1) V a) P (1) V ya que P (1) : 3 21 1 = 8 = 8 1 , 1 N
P(2) ser verdadera si existe r N tal que 3 22 1 = 8r . Como 3 22 1 = 80

y 80 = 8 10 entonces, con r = 10 N se satisface la condicin b) Si P (k ) es V entonces existe r N tal que 3 2 k 1 = 8r , debemos demostrar que
P(k + 1) es V, es decir, debemos demostrar que existe s N tal que 3 2( k +1) 1 = 8s

Vemoslo
3 2( k +1) 1 = 3 2k 3 2 1 = 3 2k 3 2 32 + 3 2 1
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 Notemos el uso de la hiptesis inductiva al reemplazar (en el quinto paso) 3 2 k 1 por 8r Como, por hiptesis inductiva se cumple 3 2 k 1 = 8r , podemos despejar
3 2 k obteniendo 3 2 k = 8r + 1 . Si reemplazamos esto ltimo en el paso 2
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
4.1.2 Segundo Teorema de la Induccin Usaremos el siguiente Principio del Buen Orden para demostrar el Segundo Principio de la Induccin Matemtica. Principio del Buen Orden Sea A , A N entonces existe p A tal que p n , n A Segundo Teorema de Induccin Matemtica Sea P(n) una proposicin que contiene una variable n N , tal que. a) P(1) es verdadera b) Para todo k N : P(1) P(2) ... P(k ) verdadera P(k + 1) verdadera Entonces P(n) es verdadera para todo n N
Demostracin. Supongamos que S = {n N / P(n) es V } es subconjunto propio de N, entonces

N S y N SN.
Por el Principio del Buen Orden existe m N S tal que m r r N S , luego 1,2,3,..., m 1 S , es decir, P (1) , P(2) , ..., P(m 1) es verdadero, luego , por hiptesis se cumple que m S ; esto ltimo es una contradiccin, de donde S = N Ejemplo. Sea (a n ) nN una sucesin definida en tal que a1 = 1 , a 2 = 2 y adems a n = a n 1 + .... + a 2 + a1 , n 3 . Demuestre que a n = 3 2 n 3 n 3 Demostracin. Sea P (n) : a n = 3 2 n 3 , Debemos demostrar. a) P(3) es V b) P(3) , P(4) ,.., P(k ) V entonces P(k + 1) V a) P(3) es V ya que a 3 = a 2 + a1 = 2 + 1 = 3 (usando a definicin) y, usando la
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
(*)
Ahora debemos calcular 2 n 3 + 2 n 4 + ... + 21 + 2 0 Sea S = 2 n 3 + 2 n 4 + ... + 21 + 2 0 ; si multiplicamos por 2 obtenemos

2 S = 2 n 2 + 2 n 3 + ... + 2 2 + 21 y restando obtenemos S = 2 n 2 1
Si reemplazamos en (*) obtenemos: a n +1 = 3(2 n 2 1) + 3 = 3 2 n 2 Observacin. Note el uso del Segundo Principio de la Induccin y de validez de la proposicin a partir del natural 3
4.1.3 SUMA Y MULTIPLICACION EN N ADICION EN LOS NATURALES

+ 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
b) Si P(k ) es V , es decir, si k + 1 = 1 + k debemos demostrar que P(k + ) es V , es decir, debemos demostrar que k + + 1 = 1 + k + . Tenemos: k + + 1 = (k + 1) + 1 = (1 + k ) + 1 = 1 + k +
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
MULTIPLICACION EN LOS NATURALES
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
b) Si (m + n) k = m k + n k debemos demostrar que (m + n) k + = m k + + n k + ( m + n) k + = ( m + n ) k + ( m + n )

=mk + nk + m+ n
= m k + ( n k + n) + m
= ( m k + m) + ( n k + n )
57
= mk+ + nk+
4.1.4 Ejercicios Propuestos
1) Si n es un nmero natural, demuestre la validez en N: a) 1 + 2 + 3 + .... + n = b) c) d) e) n(n + 1) 2 n(n + 1)(2n + 1) 12 + 2 2 + 3 2 + ... + n 2 = 6 2 n (n + 1) 2 13 + 2 3 + 33 + ... + n 3 = 4 n(3n 1) 1 + 4 + 7 + ... + (3n 2) = 2 2 3 n n 2 + 2 + 2 + ... + 2 = 2(2 1)
f) 13 + 33 + 5 3 + ... + (2n 1) 3 = n 2 (2n 2 1) g) (1 + +2 + 3 + ... + n) 2 = 13 + 2 3 + 33 + .... + n 3 h) (n 3 n) es divisible por 3 i) j) (6 n +1 + 4) es divisible por 5

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
2) Probar que cada una de las siguientes proposiciones se cumple en N a) n < 2 n b) 3 n 2n + 1 c) 2n 2 n d) x 2 n y 2 n es divisible por ( x + y ) 0 e) 1 + 2r + 3r 2 + 4r 3 + ... + nr n 1 =
1 (n + 1)r n + nr n +1 (1 r ) 2
58
3) Demuestre que las siguientes afirmaciones se cumplen para todo natural n a)

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 = 4) Use Induccin en los siguientes casos a) Sea (a n ) nN tal que a1 = 2 y a n = 3a n 1 para todo n > 1 . Demuestre que
a n = 2 3 n 1 para todo natural n > 1
b) Sea (a n ) nN tal que a1 = 2 y a n = a n 1 para todo n > 1 . Demuestre que

an = 3 + (1) n +1 3 + (1) n
para todo natural n > 1
c) Sea (a n ) nN tal que a1 = 1 , a 2 = 1 y a n = a n 1 + a n 2 n 3 7 Demuestre que a n < 4

n
5) Use induccin para demostrar: a) (1 + h) n > 1 + nh , h + , n 2 b) n 2 > 2n + 1 n 3 6) Demuestre: a) m + n m m, n N b) (m + n + ) + = m + + n + m, n N c) m + (n + p) = (m + n) + p m, n, p N d) (m n + ) + = m n + m + m, n N e) m + + n + = (m + n) + + 1 m, n 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
sucesin
((1) 2 )
n n
nn
los
tres
primeros
trminos
son:
a1 = (1)1 21 = 2 , a 2 = (1) 2 2 2 = 4 , a3 = (1) 3 2 3 = 8

Definicin. Sea (a n )nN una sucesin, definimos la sumatoria de los n primeros trminos de la sucesin, denotada
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 n = ............ = + = + + = + a a a a a a a a + a i i n i n1 n i n 2 n 1 i =1 i =1 i = 1 i =1 n
= a1 + a 2 + a3 + ... + a n 2 + a n1 + a n Ejemplo. Desarrolle y calcule Solucin

3 3
ai considerando
i =1
la sucesin (2n + 3) nN
ai = (2i + 3) = (2 1 + 3) + (2 2 + 3) + (2 3 + 3) = 5 + 7 + 9 = 21
i =1 i =1
60
Si nos interesa
ai ?. Necesitamos un poco
i =1
75
ms de teora
4.2.1.1 Propiedades de la sumatoria simple Proposicin. Sean (a n ) nN , (bn ) nN dos sucesiones y p , se cumple:
a) Si a n = p n N entonces
an = p = np
i =1 i =1
b) Si (c n ) nN es una sucesin tal que c n = pa n n N entonces
ci = pai = p ai
i =1 i =1 i =1
c) Si (d i ) nN es una sucesin tal que d n = a n + bn n N entonces
d i = (ai + bi ) = ai + bi
d) e)
(ai ai1 ) = an a0
ai =
i= j i =1 n i= j +r
i =1 n
i =1
i =1
i =1
( Propiedad telescpica)
ai r
n+r
( Propiedad del reloj)
Demostracin. Slo demostraremos la propiedad b) Sea P (n) : pai = p ai

i =1 i =1 n n
Debemos demostrar: a) P(1) V b) [P (1) , P (2) , ...., P (k )] V P (k + 1) V a) P(1) es V ya que

r r
pai = ci = c1 = pa1 = p ai
i =1 i =1 i =1
b) Si
pai = p ai , r k
i =1 i =1
debemos demostrar que
pai = p ai
i =1 i =1
k +1
k +1
Vemoslo
pai = ci
i =1 i =1
k +1
k +1
61
= ci + c k +1 = pai + pa k +1
i =1 i =1 k
= p ai + pa k +1
i =1
k = p ai + a k +1 i =1
= p ai
i =1
k +1
4.2.1.2 Algunas sumatorias importantes.
a) 1 + 2 + 3 + 4 + ..... + (n 1) + n = i =
i =1
n(n + 1) 2
n i =1 n
b) 12 + 2 2 + 3 2 + 4 2 + ... + (n 1) 2 + n 2 = i 2 = c) 13 + 2 3 + 33 + 4 3 + ... + (n 1) 3 + n = i 3 =
3 i =1
n(n + 1)(2n + 1) 6 n 2 (n + 1) 2 4
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 Consideremos
n n
(i + 1) 3 , tenemos:
i =1 n n n n 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 i =1
Asumiendo
conocida la suma de los primeros n naturales y considerando
adems que al comparar despejar
(i + 1) 3 con
i =1
i3
i =1
se simplifica su diferencia, podemos
(i + 1) 3 = (i 3 + 3i 2 + 3i + 1) = i 3 + 3i 2 + 3i + 1
i =1 i =1 i =1 i =1 i =1 i =1
i =1 n
i 2 ; as:
n n n n n
62
(i + 1) 3 i 3 = 3 i 2 + 3 i + 1
i =1 i =1 i =1 i =1 i =1
(n + 1) 3 1 = 3 i 2 + 3
i =1
n(n + 1) +n 2
(n + 1) 3 1 n 3
n n(n + 1) = 3 i 2 2 i =1
i2 =
i =1
(n + 1) 3 (n + 1) 3 3
n(n + 1) n(n + 1)(2n + 1) 2 = 6
Ejemplos. 1) Calcule, usando las propiedades: Solucin.

10
(4i
i =1
10
+ 2) 10(10 + 1)(10 2 + 1) + 20 = 1.560 6
(4i 2 + 2) = 4i 2 + 2 = 4 i 2 + 10 2 = 4
i =1
10
10
10
i =1
i =1
i =1
2) Determine la suma de los 20 primeros trminos de la sucesin cuyos 5 primeros trminos son: 1, 3, 5, 7, 9 Solucin. Sea (a n ) nN la sucesin tal que a1 = 1 , a 2 = 3 , a3 = 5 , a 4 = 7 , a5 = 9 , es inmediato deducir que a n = 2n 1 , de donde: a1 + a 2 + ... + a 20 = ai = (2i 1) = 2 i 20 1 = 2
i =1 i =1 i =1 20 20 20
20(20 + 1) 20 = 401 2
3) Determine una frmula para
(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
denominador un polinomio de grado mayor que le polinomio del numerador y, adems, que el numerador esta factorizado en polinomios lineales irreducibles; cada uno de estos factores lineales genera una fraccin parcial del tipo manera que debemos encontrar el valor real de A. Tenemos: 1 A B = + (k + 1)(k + 2) k + 1 k + 2 A(k + 2) + B(k + 1) 1 = (k + 1)(k + 2) (k + 1)(k + 2) A , de tal ax + b
1 = A(k + 2) + B(k + 1) (*)

Si damos valores arbitrarios a k, sucesivamente, podemos determinar A y B Si k = 1 entonces (*) queda: 1 = A Si k = 2 entonces (*) queda: 1 = B Entonces: 1 1 1 = , de donde (k + 1)(k + 2) k + 1 k + 2
n 1 1 1 = (k + 1)(k + 2) k + 2 k =1 k =1 k + 1 n
1 , usando la propiedad telescpica Si consideramos la sucesin n + 2 nN
(ai ai1 ) = an a0 tenemos:

i =1 n n n 1 1 1 1 1 1 1 = = = (k + 1)(k + 2) k + 1 k + 2 k +1 n +1 2 k =1 k =1 k =1 k + 2
n 2(n + 1)
64
Demostremos que
Sea P(n) :
1 n = 2(n + 2) k =1 ( k + 1)( k + 2)
k =1 n
(k + 1)(k + 2) = 2(n + 2)
1
se cumple en N
a) P (1) es V ya que 1 1 = 2(1 + 2) 6 b) Si se cumple que

p +1
(k + 1)(k + 2) = 2 3 = 6
k =1
, y por otro
lado
(k + 1)(k + 2) = 2( p + 2)
k =1
debemos demostrar que
(k + 1)(k + 2) = 2( p + 3) . Vemoslo:
k =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
p +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 250 50 200 k =55
(2k 1) ; tenemos:
200 200 k =1 k =1
250
k =51
(2k 1) = [2(k + 50 1] = (2k + 99) = 2 k + 99

k = 5150 k =1
200(201) =2 + 200(99) = 2 5)Determine una frmula para Solucin.
(1)
k =1
2n
k y demuestre la validez de sta en N
(1)
k =1
2n
k = 1 + 2 3 + 4 5......... (2n 1) + 2n = (1 + 3 + 5 + .... + (2n 1)) + (2 + 4 + 6 + ..... + 2n) = (2k 1) + 2k = (2k + 1 + 2k ) = n

k =1 k =1 k =1 n n n
65
Veamos ahora la induccin pedida Sea P(n) : (1) k k = n

k =1 2n
a) Como
(1)
k =1
21
k = 1 + 2 = 1 entonces se cumple P (1)
b) Si P(r ) se cumple, es decir, si
(1)
k =1
2r
k = r , debemos demostrar que

2 ( r +1)
k =1
P(r + 1) tambin se cumple, es decir, debemos demostrar que

2 ( r +1)
k =1
(1)
k = r +1
(1) k k =
2r +2
k =1
(1) k k = (1) k k (2r + 1) + (2r + 2) = r (2r + 1) + (2r + 2) = r + 1

k =1
2r
4.2.2 SUMATORIA DOBLE 4.2.2.1 Definicin de sumatoria doble Supongamos el siguiente arreglo rectangular de nmeros:
a11 a 21 .. .. a n1 a12 a 22 .. .. .. .. a1m .. .. .. .. a 2 m .. .. .. .. a nm
an2
Si sumamos los trminos de la primera fila obtenemos:
a1 j
j =1 m
Si sumamos los trminos de la segunda fila obtenemos: . Si sumamos los trminos de la n-sima fila obtenemos: Ahora, si sumamos estas sumas obtenemos: Por otro lado
a2 j
j =1
m
a nj
j =1
( aij )
i =1 j =1
Si sumamos los trminos de la primera columna obtenemos:
ai1
i =1
66
Si sumamos los trminos de la segunda columna obtenemos: . Si sumamos los trminos de la m-sima columna obtenemos: Ahora, si sumamos estas sumas obtenemos:
ai 2
i =1
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)
aij = aij
i =1 j =1 j =1 i =1
4.2.2.2 Propiedades de la sumatoria doble
Se cumple: a) b) c) d)
k = nmk , k
i =1 j =1 n m
kaij = k aij , k
i =1 j =1 n m i =1 j =1
(ai + b j ) = n b j + m ai
i =1 j =1 n m j =1 i =1
ai b j = ( ai )( b j )
i =1 j =1 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 j =1 i =1 j =1 i =1 j =1 i =1 j =1 n m
67
Ejemplo. Calcule
(2i + j )
i =1 j =1 4 3
Solucin.
(2i + j ) = 3 j + 4 2i = 3
i =1 j =1 j =1 i =1
4(4 + 1) 3(3 + 1) + 42 = 78 2 2
4.2.3 EJERCICIOS PROPUESTOS
1) Si se sabe que (2 xi 3) = 18 ;
i =1
(x
i =1
6) 2 = 182 y x 6 = 8 , determine el valor
de
x
i =1
2 i
Resp. 184
2) Sabiendo que Resp. 20 ; 13
ai = 2n 2 + 3n encuentre el valor de
i =1
i =1
ai 5 3
y a3
3) Determine el valor de 4) Si se sabe que
i(i 3)
i =5
15
xi2 = 196 ; (2x i 3) 2 = 1130

i =1 i =1
10
; x 8 = x9 = 3 x 10 = 5 ,
determine el valor de
6
x
i =1
5) Si
7
(2 xi 1) 2 = 4 ;
i =1
(x
i =1
+ 1)( xi 1) = 129 y x 7 = 4 , determine el valor de
(2 xi 5) (2 xi + 3) 2
i =1 i =1
6) Encuentre una frmula que permita sumar los n primeros trminos de la sucesin: a) b)
(2n 1)nN
(6n )
3
Resp. n 2 Resp. n(n + 1)(2n + 1)
nN
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
68
d) 1 + 3 + 5 + 7 + 9 + .... + 199 Ressp. 10.000 e) 12 + 2 2 3 2 + 4 2 5 2 + 6 2 ..... 99 2 + 100 2 8) Calcule:

100
a)
i(i + 1) (i + 1)(i + 2)
i =1
Resp.
2.575 5.151
100
b)
k +1
k =1
n
k 1 100 Resp. k 101 Resp. (n + 1) Ln(n + 1)
c)
[(k + 1) Ln(k + 1) kLnk ]

k =1
9) Usando descomposicin en fracciones parciales y propiedad telescpica, determine una frmula para: a)
i(i + 1)
i =1
n
Resp.
n n +1 Resp. n 3(2n + 3) 3 4n + 3 4 2(n + 1)(n + 2)
b)
(2i + 3)(2i + 1)
i =1
c)
n
k (k + 1)(k + 2)
k =1
2k 1
Resp.
d)
k (k + 1)2
k =1 n
k+2
Resp. 1
1 (n + 1)2 n 7 1 1 1 + + 36 6(n + 1) 6(n + 2) 6(n + 3)

4 3 2
e)
k (k + 1)(k + 3)
k =1
Resp.
5
10) Resuelva la ecuacin x
(2i
i =1
+ i + 1) (i + 3i ) = x (2i 2 + 8i )
i =1 i =1
11) Determine el valor de las siguientes sumatorias: a)
(3i 5)
i =1
b)
(i + 3) c) i i =1
5
(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
12) Si se sabe que Resp. -22 13) S
xi2 = 30 ;
i =1
x i = 18 , determine el valor de
i =1
(x
i =1
2) 2
(ai 3) 2 = (ai + 2) 2 y
i =1 i =1
a i2 ai
i =1 i =1 6
= 10 , determine el valor de ai (ai 3)

i =1
Resp. 21 14) Dado
(2 xi 3) 2 = 1130 ;
i =1
10
x
i =1
2 i
= 196 ; x 8 = 3 ; x9 = 3 ; x 10 = 5 . Cul es el
valor de
x
i =1
? Resp. -11
4 4
15) S
x
i =1
= 12 ; x i (2 3xi ) = 306 , determine el valor de ( xi + 2) 2

i =1 i =1
Resp. 174 16) Dado
x
i =1
2 i
= 25 y
x
i =1
= 12, determine el valor " k" si (4 xi 2k ) 2 = 4.000

i =1
Resp. k = 0 , k = 6 17) Calcular el valor de la constante c, si se sabe que: ,
(2 x
i =1 j =1
3 y j + c) = 6.000
x
i =1
= 18 ;
y
j=1
= 22. Resp. 207,2
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 a n+1 = a n + d , para algn d {0} , n N
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 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 a) P (1) V b) Si P (n) es V n N , n k , entonces P (n + 1) V
a) P (1) es verdadero ya que
ai = a1 y
i =1
por otro lado

n
1 [2a1 + (1 1)d ] = a1 2 n
b) Si P (n) es V n N , n k entonces se cumple
ai = 2 [2a1 + (n 1)d ] , debemos

i =1
demostrar que P (n + 1) es verdadero, es decir, que Vemoslo.
ai =
i =1
n +1
n +1 [2a1 + nd ] 2
ai = ai + ai
i =1 i =1 i = n +1
n +1
n +1
n [2a1 + (n 1)d ] + an+1 2 n [2a1 + (n 1)d ] + a1 + nd 2 n (n 1)d + a1 + nd 2
= na1 +
n = (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 b) 17 ai = 2 [2 5 + 16 6] = 901

i =1
17
2) Interpolar(intercalar) ocho medios aritmticos entre 6 y 36 Solucin. Estamos considerando una P.A. donde el primer trmino es a1 = 6 y el dcimo trmino es a10 = 36. Necesitamos la diferencia d Como a10 = a1 + 9d entonces 36 = 6 + 9d de donde d = 10 = 31 , as, los 3 3
trminos pedidos son: a 2 = 6 + 3 1 =91 , a3 = 9 1 +31 = 12 2 o a3 = 6 + 2(3 1 ) = 12 2 3 3 3 3 3 3 3

a 4 = 16 , a5 = 19 1 , a 6 = 22 2 , a 7 = 26 , a8 = 29 1 , a9 = 32 2 3 3 3 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
4.3.2 PROGRESION GEOMETRICA Definicin. Una sucesin real (a n )nN se llama Progresin Geomtrica, denotada P.G. si:
a1 = a1 1} , n N a n+1 = a n r , para algn r {
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 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 entonces: a) a n = a1 r n 1 , n N
b c = , es decir, b 2 = ac a b
razn r 1 , r 0
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 b)
a
i =1 n i =1
= a1 + a 2 + a3 + ...... + a n 1 + a n , es decir
i
= a1 + a1 r + a1 r 2 + ...... + a1 r n 2 + a1 r n 1
Si multiplicamos esta ltima igualdad por r obtenemos r ai = a1 r + a1 r 2 + ...... + a1 r n 2 + a1 r n 1 + a1 r n ; al restar las dos expresiones
i =1 n
tenemos:
ai r ai = a1 a1 r n , as. (1 r ) ai = a1 (1 r n ) , de donde, finalmente

i =1 i =1 i =1
a
i =1
= a1
1 r 1 r
Demostremos ahora, por induccin, las formulas obtenidas a) Sea P(n) : a n = a1 r n 1 entonces: i) P (1) es verdadero ya que a1 = a1 r 11 ii) Si P (k ) es verdadero, es decir si a k = a1 r k 1 debemos demostrar que a k +1 = a1 r k , veamos esto ltimo a k +1 = a k r = (a1 r k 1 ) r = a1 r k b) Sea P(n) : ai = a1
i =1 n
1 rn 1 r
i) P(1) es verdadero ya que
ai = a1 = a1
i =1 k
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
ai = a1
i =1 k +1 i =1 k i
k +1
1 r k +1 ; tenemos: 1 r + a k +1 1 rk 1 rk k = a1 + a1 r = a1 ( + rk ) 1 r 1 r
a = a
i =1
= a1 Ejemplos.
1 r k + r k r k +1 1 r k +1 = a1 1 r 1 r
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: a) a5 = a1 r 4 = 3 2 4 = 48 b)
ai = a1
i =1
10
1 r 10 1 210 =3 = 3.069 1 r 1 2
2) Qu lugar ocupa el trmino de valor con valor Solucin. 4 3 tal que la razn es r = ? 3 2
27 en una P.G. que tiene primer elemento 4
Como a n = a1 r n 1 entonces queremos n, tal que 27 4 3 = 4 3 2

n 1
27 4 3 = 4 3 2
n 1
n 1
27 3 3 = 4 4 2 27 4
n 1
3 3 = 2 2
, as, n = 5 y entonces el
quinto trmino tiene valor
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
Reemplazando en la primera ecuacin deducida obtenemos:

r = 2 a + 2a + 4a = 70 a = 10 , as, los nmeros pedidos son 10, 20, 40
r=
1 1 1 a + a + a = 70 a = 40 , as, los nmeros pedidos son 40, 20, 10 2 2 4
4) Los recprocos de b a, 2b, b c forman una Progresin Aritmtica, demuestre que a, b, c estn en Progresin Geomtrica. Demostracin. 1 1 1 1 1 1 1 estn en P.A. entonces se cumple , usando Si , , = 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
1 a n
es una Progresin Aritmtica; a n 0 , n nN
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) Si los nmeros x, y, z estn en P.H. demuestre que y = Demostracin. Si x, y, z estn en P.H. entonces 1 1 1 , , estn en P.A. x y z
2 xz x+z
Si
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 2 xz x+z
finalmente: y =
77
1) Se sabe que los dos primeros trminos de una P.A. son a1 = Determine: a) a5 b) a x 2 c)
3 2 , a2 = 4 3
ai
i =1
15
2) Sea (a n ) nN una P.A. Sabemos que: a) La suma del tercer y cuarto trmino es igual a 43 y que la diferencia entre el octavo trmino con el quinto trmino e igual a 9 (a8 a5 = 9) ; determine el primer trmino. b) La suma del cuarto trmino con el sexto trmino es igual a 8 y la suma del quinto y noveno trmino es igual a 9. Determine el segundo trmino c) La diferencia d es el 40% de a1 . Exprese a 2 como porcentaje de la suma de los 10 primeros trminos. d) El primer trmino es 2, el ltimo trmino es 29 y la suma es 155. Cul es la diferencia d? e) El tercer trmino es igual al cudruple del primero y el sexto trmino tiene valor 17. Determine la progresin. 1 2 (i 1) 2 + ,1 i n , n N 3) Sea A = a i / ai = 2 2 a) Demuestre que los elementos de A estn en P.A. b) Determine
ak
k =1
4 2 4) Cuntos trminos de la P.A. cuyos tres primeros trminos son 6 5 ,65 , 6 se
4 deben sumar para obtener 52 5 ?
5) La suma de tres nmeros en P.A. es 39 y su producto es 2.184. Determine los nmeros. 6) La suma de 5 nmeros en P.A. es 40 y la suma de sus cuadrados es 410. Determine los nmeros 7) La suma de los p primeros trminos de una P.A. es q, y la suma de los q primeros trminos es p: Calcule la suma de los p + q primeros trminos.
78
8) Sumar los n primeros trminos de las siguientes P.A. a) 2 3 , 3 3 , 4 3 , .... b) 6 2 , 10 2 , 14 2 , ....
c) 2a b , 4a 3b , 6a 5b , ... d) a+b 3a b ,a, , ..... 2 2 2a 2 1 3 6a 2 5 , 4a , , ... a a a

1 + k 4k , , ..... 1 k 1- k2
e)
f)
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
13) La produccin de una empresa es de 15.000 el primer ao, luego la produccin disminuye a razn de 750 por ao. a) Cul es la produccin total en los primeros cinco aos? b) Cundo la produccin ser nula? c) Cunto habr producido la empresa hasta que la produccin sea nula? 14) Una empresa A tiene una produccin inicial de 1.000 unidades y disminuye a razn de 100 unidades por ao. Una empresa B tiene una produccin inicial de 500 unidades(el ao inicial es el mismo en ambas empresas) y aumenta su produccin en 25 unidades cada ao. a) Cundo sern iguales las producciones de A y B? b) Cundo ser nula la produccin de A? c) Cul ser la produccin de B ese mismo ao?
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 , ...
5 18) Interpolar 5 medios geomtricos entre 3 9 y 40 1 2
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
25) Interpolar dos medios armnicos entre 5 y 11 26) Si 12 y 4.815 son los medios geomtricos y armnicos, respectivamente, entre dos nmeros; determine a estos nmeros.
80
4.4 ANALISIS COMBINATORIO
Podemos considerar el anlisis combinatorio como el conjunto de procedimientos y tcnicas que nos permite determinar el nmero de subconjuntos que pueden formarse a partir de un conjunto dado, de acuerdo a ciertas instrucciones. Estas deben indicar claramente como se diferencian dos subconjuntos entre si, de acuerdo a: - la naturaleza de los elementos el orden de los elementos
Realizaremos el anlisis combinatorio sin repeticin, es decir, cada elemento debe aparecer una nica vez en cada subconjunto.
4.4.1 PRINCIPIO DEL ANALISIS COMBINATORIO Si un evento, hecho o suceso se realiza de n formas distintas y otro evento, independiente del anterior, se realiza de r formas distintas entonces, los dos eventos se realizan, conjuntamente, de nr formas distintas.
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
4.4.2 FACTORIAL DE UN NUMERO Definicin. Sea n N {0} . Definimos el factorial de n como:
factorial de n, denotado n ! , que se lee
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 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) ! x! ( x 2) !
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
7 x1 = x= 2 x2 = 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 problema es de variaciones y la respuesta es
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 ) = Demostracin.
n! k ! (n k ) !
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 ) = 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) = 4 = 35 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 V (n, k ) n! = k! k ! (n k ) !
Observacin.
Se cumple: n a) n = 1 , n N {0}
85
n b) 0 = 1 , n N {0} n c) n 1 = n , n N n n d) k = , n, k N {0} , k < n n k n n n + 1 e) k + = , n, k N {0} , k < n 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 + (k + 1)! (n k ) ! (k + 1) ! (n k ) !
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
1) Existen 3 caminos para ir de las ciudad X a la ciudad Y, y 2 caminos para ir de la ciudad Y a la ciudad Z. Cuntas rutas distintas puede realizar una persona para ir desde X a Z? Resp. 6 rutas 2) Cuntos nmeros de 4 dgitos pueden formarse con los dgitos 1, 2, 3, 4? Resp. 24 3) Cuntos de tales nmeros son menores que 3.000? Resp. 12 4) Cuntas seales puede mostrar un barco que dispone de 7 banderas, si cada seal consiste de 5 banderas colocadas verticalmente en un asta? Resp.2.500 seales 5) De cuntas maneras pueden ubicarse 9 estudiantes en 3 habitaciones donde cupen 3 estudiantes en cada una? Resp. 1.680 6) Cuntas palabras que contengan 3 consonantes y 2 vocales se pueden formar con 6 consonantes y 4 vocales? Resp. 1.440 7) En una reunin hay 16 estudiantes y 4 profesores a) Cuntas comisiones de 5 personas cada una pueden formarse si en cada una de ellas deben participar 2 profesores? b) Cuntas comisiones de 5 personas cada una pueden formarse si en cada una de ellas participan a lo ms 2 profesores? Resp a) 3.360 8) De un naipe de 52 cartas se extrae, al azar, 3 de ellas; determine: a) El numero de grupos que se puede formar b) El nmero de maneras de extraer un as c) El nmero de maneras de extraer al menos un as 52 4 48 Resp, a) 3 , b) 1 2 9) Si 4 personas entran a un cine en el cual hay 7 lugares vacos De cuntas maneras diferentes se pueden sentar? Resp. 840
10) Simplifique:
n + 1 k + 1 b) n k 1
a)
(n + 1) ! + n ! (n + 1) ! n !
87
11) Resuelva las siguientes ecuaciones 2 x 2 x 2 132 Resp. x = 6 a) x 1 = x 35

x x 4 3 3 b) = x x 4 4 + 3
Resp. x = 31
c)
(2 x) ! x ! ( x 2) ! 132 = Resp. x = 6 ( x 1) ! ( x + 1) ! (2 x 2) ! 35
12) Verifique que: 2n ! (n 1) ! (n 1) = n ! + (n 1) !
13) Verifique si se cumple: n n n n + 2 k + 2 k 1 + = k 2 k n + 2 n + 2 n + 2 n + 2 n + 5 14) Verifique que: k + 3 + 3 + 3 + = k + 2 k + 1 k k + 3
88
4.5 TEOREMA DEL BINOMIO 4.5.1 Teorema y propiedades Teorema.

n n nk k Sean a, b , n N , entonces: (a + b) n = a b k =0 k Demostracin. n n nk k Sea P(n) : (a + b) n = a b k =0 k
1 1 1 k k a) P (1) es verdadero ya que (a + b)1 = a b , esto ltimo dado que k =0 k 1 k k 1 0 0 11 1 k a b = 0 a b + 1 a b = a + b 1
k =0
r r k k b) Si P(r ) es verdadero, es decir, si (a + b) = a b debemos demostrar que k =0 k

r r r +1 r + 1 r +1 k k (a + b) r +1 = b . Vemoslo k a k =0
(a + b) r +1 = ( a + b ) r ( a + b)
r r r k k = ( a b )( a + b) k =0 k
r r r r 1 r r ( k 1) k 1 r r = ... ... a + a b + + a b + + 1 k 1 r b (a + b) 0
r r +1 r r r r 1 2 r r k + 2 k 1 r r = b + ... + 0 a + 1 a b + 2 .a b + ... + k 1 a r ab r r r r 1 2 r r k +1 k r r +1 + b + .... + 0 a b + 1 a b + .............. + k 1 a r b
89
r r r 1 2 r r r r r +1 r r +1 r r r = 0 a + 1 + 0 a b + 2 + 1 a b + .. + r + r 11 ab + r b
r + 1 r +1 r + 1 r r + 1 r 1 2 r + 1 r r + 1 r +1 = + + + + .. a a b a b 0 1 2 r ab + r + 1 b = (a + b) r +1 Observacin. 1) Desarrollando la sumatoria obtenemos:

n n nk k ( a + b) n = a b k =0 k
n n n n 1 n n2 2 n n ( k 1) k 1 = b + ... 0 1 a + a b + 2 a b + ... + k 1 a n n ( n 1) n 1 n n + b + n 1 a n b ; es decir, en el desarrollo de (a + b) n obtenemos (n + 1) trminos.
n n ( k 1) k 1 2) El trmino de lugar k , denotado t k , es: t k = b , o quizs ms k 1 a n nk k fcil, el (k + 1) -simo trmino es t k +1 = k a b . Ejemplos. 1) Desarrolle: (2a + b) 4 Solucin. ( 2 a + b) 4
4 4 4 4 4 4 4 4 4k k 4 3 2 2 3 = k ( 2 a ) b = 0 ( 2 a ) + 1 ( 2 a ) b + 2 ( 2 a ) b + 3 ( 2 a )b + 4 b k =0
90
= 1 16a 4 + 4 8a 3 b + 6 4a 2 b 2 + 4 2a b 3 + 1 b 4 = 16a 4 + 32a 3 b + 24a 2 b 2 + 8ab 3 + b 4
Observe que el coeficiente de ab 3 es 8
2) En (1
x 2 14 ) determine: 2 a) el quinto trmino b) el(los) trmino(s) central(es)
Solucin. 14 10 x 2 4 x 8 1.001 8 a) t 5 = 1 ( ) = 1 . 001 = x 4 2 16 16 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 7 x 2 14 1 14 = : t8 = 7 1 7 7 x 2 2 3 3) Determine el coeficiente de x (si existe), en el desarrollo de x 2 + x Solucin:

18
15
Supongamos que x t t +1
18
15 2 = k x
( )
15 k
3 , entonces x
15 30 2 k k k 15 k 303k x 18 3 x = . Esto nos indica que x 18 = x 30 3k , de donde k x k 3 x 15 4 30 3k = 18, as, k = 4. Deducimos que el coeficiente de x 18 es 4 3 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 k k 12 12 k Como (1 + x )12 = x = 1 x ,concluimos que: k =0 k k =0 k 12 12 9 el coeficiente de x 10 es 10 ; el coeficiente de x es 9 y que el coeficiente de
12 10 2 12 x 8 es 8 ,as, el coeficiente de x en el desarrollo de (1 + 2 x + 3x )(1 + x) es 12 12 12 10 + 2 9 + 3 8 5) ) Determine el coeficiente de x 6 en (2 + x + x 2 )10 Solucin
En primer lugar escribimos la potencia del trinomio como (2 + x) + x 2 n n n p p tenemos que (2 + x) n = 2 x , entonces: p =1 p 10 10 k 2 k Sea x 6 t k +1 entonces x 6 k (2 + x) ( x ) , as,
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 6 , es decir, x x x6 2 x ( x ) k p k p 2 p = 1 p =1
Como se debe cumplir que p + 2k = 6 entonces las posibilidades son: ( p = 0 k = 3) , ( p = 2 k = 2) , ( p = 4 k = 1) , de donde, el coeficiente de x 6 es 10 7 10 8 10 9 3 0 + 2 2 + 1 4
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
18
3 3) Determine el coeficiente de x (si existe) en el desarrollo de x 2 + x

15
92
1 4) Calcule el coeficiente numrico del trmino central de 3s t 9 5) Es cierto que el coeficiente de x 16 en x 2 + 2 x 1 9 x 6) Determine el coeficiente de x en 3 x
13
10
es 3.360?
7) Determine el coeficiente de x 4 en (1 + x )(1 x )n

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
10) Demuestre que
k =0
n k =2
19 11) En (3 x + 2 ) existen dos trminos consecutivos con coeficientes iguales?
12) Determine el coeficiente de x 5 en x 2 + x + 3 13) Existe n N para que el cuarto iguales? 14) En (x +
1 2 n +1 2
trmino
1 1 de x 2 + 2 y x + 2 sean x x
3n
3n
determine
a) el (los) termino (s) central (es) b) Coeficiente de x 0 a4 b2 15) En b + a 7 determine (si existen ) a) el sptimo trmino b) el coeficiente de ab 16) Determine ( x + h) 4 x 4 . Qu pasa si h es muy pequeo? h
14
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 k nk 19) Considere p, q + tal que p + q = 1 y P (k ) = k p q , k = 0,1,.., n Demuestre: a) b)
k =0 n k =0
kP(k ) = np
(k np) 2 P(k ) = npq
4.6 EJERCICIOS DIVERSOS COMPLEMENTARIOS - NATURALES
1) Calcule
n
k k !
k =1 n n n
Solucin.
k k ! = [(k + 1) 1] k ! = [(k + 1) k ! k k !] = [(k + 1) ! k !] ; notamos

k =1 k =1 k =1 K =1
que estamos en condicin de aplicar la propiedad telescpica de las sumatorias, obtenemos: (n + 1) ! 1! , as,
n
k k != (n + 1) ! 1
k =1
2) Demuestre que Demostracin.

n
k k != (n + 1) ! 1 se cumple en todo N
k =1
Sea P(n) : k k != (n + 1) ! 1
k =1
Debemos demostrar: a) P (1) es V b) Si P(r ) es V entonces P (r + 1) es V a) P (1) es verdadero ya que
k k != 1 1!= 1 = (1 + 1) ! 1 = 2 ! 1
k =1
b) Si P(r ) es verdadero, es decir, si

r +1
k k != (r + 1) ! 1 , debemos demostrar
k =1
que
k k != (r + 2) ! 1 . Vemoslo:
k =1
94
k k != (r + 2) ! 1 = k k ! + k k !
k =1
r +1
r +1
= (r + 1) ! 1 + (r + 1) (r + 1) ! = (r + 1) ! (1 + r + 1) - 1 = (r + 2) ! 1
n
k =1
k = r +1
3) Calcule ln e k
k =1
Solucin ln e k = ln(e e 2 .e 3 ...... e n )

k =1 n
= ln e + ln e 2 + ln e 3 + ... + ln e n = 1 + 2 + 3 + ... + n =
n(n + 1) 2
4) Demuestre que 3 4 n + 2 + 5 2 n +1 es divisible por 14 para todo natural n Demostracin Sea P(n) : 3 4 n + 2 + 5 2 n +1 = 14r para algn r Z a) P (1) es verdadero ya que 3 41+ 2 + 5 21+1 = 36 + 5 3 = 729 + 125 = 854 = 14 61 b) Si P (k ) es verdadero, es decir, si 3 4 k + 2 + 5 2 k +1 = 14r , para algn r Z , debemos demostrar que 3 4( k +1) + 2 + 5 2( k +1) +1 = 14 s , para algn s Z Vemoslo.
3 4( k +1)+ 2 + 5 2( k +1)+1 = 3 4 k + 4+ 2 + 5 2 k + 2+1 = 3 4 3 4 k + 2 + 5 2 5 2 k +1

= 3 4 3 4 k + 2 + 3 4 5 2 k +1 3 4 5 2 k +1 + 5 2 5 2 k +1 = 3 4 (3 4 k + 2 + 5 2 k +1 ) 56 5 2 k +1 = 3 4 14r 14 4 5 2 k +1 = 14(3 4 r 4 5 2 k +1 ) = 14 s donde s = 81r 4 5 2 k +1 Z 5) Calcule 1 1 2 1 2 3 1 2 3 4 1 2 99 + ( + ) + ( + + ) + ( + + + ) + ...... + ( + + ... + ) 2 3 3 4 4 4 5 5 5 5 100 100 100 Solucin. Denotemos por S a la suma propuesta, entonces, en realidad es cuestin de escribir la suma propuesta con los smbolos ya estudiados; tenemos:
95
S =
k =2
100
i
i =1
k 1
=
k = 2 i =1
100 k 1
i 100 (k 1)k 100 k 1 99 k 99 98 = = = = = 2.475 2 4 k k = 2 2k k =2 k =1 2
6) Calcule
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 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
La primera sumatoria corresponde a la suma de los primeros 20 trminos 1 1 de una Progresin Geomtrica con primer trmino con valor ( ) 1 y razn 2 2 en tanto que la segunda sumatoria corresponde a la suma de los primeros 20 trminos de una Progresin geomtrica con primer trmino con valor 1 y razn 1 . Usted puede calcular estas sumas con aplicacin de la frmula 4 n 1 rn a i = a1 1 r i =1
4.7 EJERCICIOS PROPUESTOS COMPLEMENTARIOS - NATURALES
1) Calcule log
n n(n + 1) 10 k 2n 2 log n ! log k Resp. 2 k =1 k =1 100 k n
2) Calcule
100
3k 1 Indicacin. Separe y llega a dos P.G. k 1 k =1 9
3) Demuestre que
n
(p
p =1
+ 1) p != n(n + 1) ! se cumple para todo natural
4) Calcule
(
k =1
k + 2 k ) Indicacin. Sume y reste alguna expresin adecuada
para usar la propiedad telescpica . Resp. n + 2 + n + 1 2 1
96
k 3 5) Calcule k + 2 k + 1 4 k =5 100
6) Calcule
(k + 1) !
k =1
Resp. 1
1 (n + 1) !
7) Muestre que la suma de los n primeros naturales ms n 2 es igual a la suma de n(3n + 1) los siguientes n naturales. Resp. La suma comn es 2 8) Determine x para que x , x 6 , x 8 estn en Progresin Armnica Resp. x = 12 1 1 1 n +1 1 n N, n 2 9) Demuestre que (1 )(1 )(1 ) .... (1 2 ) = 4 9 16 2n n 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
, determine a k
k =1
50
11) Demuestre que
i + 1 n + 2 = 3 se cumple para todo valor del natural n i =1 2

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
98
4) definida en por: a b = a + 2b no es asociativa ya que, por ejemplo, 2 (5 3) = 2 (5 + 2 3) = 2 (5 + 6) = 2 11 = 2 + 2 11 = 24 no es igual a (2 5) 3 = (2 + 2 5) 3 = (2 + 10) 3 = 12 3 = 12 + 2 3 = 18 5) Si A es un conjunto y P ( A) = {X / X A} entonces la operacin , definida en P( A) es asociativa
5.1.2 Distributividad Definicin. Sean , dos leyes de composicin interna en el conjunto E, a) Se dice que distribuye por la izquierda sobre si y slo si a (bc) = (a b)(a c) a, b, c G b) Se dice que distribuye por la derecha sobre si y slo si (bc) a = (b a)(c a) a, b, c G c) Se dice que es distributiva sobre si y slo si cumple a) y b)
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:
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
[ ]
Anlogamente, c (a b) = e , as, el inverso de a b es b a de donde se cumple ( a b) = b a Ejemplo. Considere la operacin definida en por a b = a + b + 2ab tal que es 1 a con a asociativa, con neutro e = 0 y a = 2a + 1 2 a) Resuelva la ecuacin (2 x) = 3 b) Resuelva la inecuacin (2 x) 2 Solucin. Conviene aplicar la propiedad (a b) = b a , tenemos: a) (2 x) = 3 x 2 = 3 x 2 2 = 3 x = 3 2 2 +1 5 2 2 17 1 x + 2( ) x = 3 x= de donde x = 17 5 5 5 5
b) (2 x) 2 x 2 2 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
5.2 ESTRUCTURAS ALGEBRAICAS. Cuando dotamos a un conjunto de una o ms leyes de composicin es que estamos dando a dicho conjunto cierta estructura. Una estructura, por consiguiente, queda definida por los axiomas que rigen las relaciones y las operaciones de las que est dotada. En lo que sigue estudiaremos las estructuras fundamentales del lgebra: grupos, anillos, cuerpos y espacios vectoriales.
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
) 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
a (c c ) = b (c c ) ae = be a = b
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 2) ( M (2, ) , + ) donde M (2, ) = b d / a, b, c, d es el matrices cuadradas de tamao 2 en y la suma se define por:
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
3) Demuestre que dos funciones en Q {0} ; f ( x) = x , g ( x) =
grupo bajo la composicin de funciones Demostracin. 1 1 Como: ( f o g )( x) = f ( g ( x)) = f ( ) = = g ( x) x x 1 ( g o f )( x) = g ( f ( x)) = g ( x) = = g ( x) x 1 ( g o g )( x) = g ( g ( x)) = g ( ) = x = f ( x) x ( f o f )( x) = f ( f ( x)) = f ( x) = x = f ( x) , entonces la composicin es ley de composicin interna en A = { f ( x), g ( x)} Estos resultados podemos escribirlos es la siguiente tabla de doble entrada
o f ( x) g ( 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
103
iii) Debemos demostrar que, para todo a Z existe a Z tal que a a = a a = 2 Imponiendo la condicin a a = 2 tenemos: aa = 2 a + a 2 = 2 a = 4 a Por otro lado, como a a = a (4 a ) = a + (4 a) 2 = 2 entonces a = 4 a Concluimos: ( Z ,) es grupo 5) Sea A = { a, b} y ( A,) un grupo. Demuestre que el grupo es conmutativo Demostracin. Debemos demostrar que a b = b a Como ( A,) es grupo entonces debe poseer neutro e; supongamos que e = b entonces a b = a e = a = e a = b a de composicin interna definida en Q Q tal que 6) Sea una ley (a, b) (c, d ) = (ac, bc + d ) . Se sabe que ( A,) es grupo donde A = {(1, x) / x Q}; determine el neutro e en A. Solucin. Sea e = (1, p ) A tal elemento neutro; imponiendo la condicin de neutro debe cumplir: (1, x) (1, p) = (1, p) (1, x) = (1, x) (1, x) A A concluimos De (1, x) (1, p) = (1, x) tenemos (1, x + p) = (1, x) , de aqu x + p = x , de donde p = 0 , as, el neutro lateral derecho es e = (1,0) Ahora debemos verificar que es neutro lateral izquierdo, tenemos: e (1, x) = (1,0) (1, x) = (1,0 + x) = (1, x) (1, x) A , luego, e = (1,0) 7) Sea {x, y} Z 3 . Pruebe que ( x + y ) 3 = x 3 + y 3 Solucin. ( x + y ) 3 = ( x + y )( x + y )( x + y ) = x 3 + 3x 2 y + 3xy 2 + x 3 = x 3 + y 3 , ya que 3 0(mod 3)
5.2.2 Anillo Definicin. El tro ( A,+,) se llama anillo si y slo si: a) ( A,+) es grupo conmutativo b) es ley de composicin interna en A c) es asociativa d) es distributiva con respecto de +
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 7) ( M (2, ),+,) es anillo donde b d = y w bx + dy bz + dw
Sea ( A,+,) un anillo con neutro aditivo 0 e inverso aditivo de a el elemento a Se cumple: a) a 0 = 0 a = 0 a A b) (a) b = a (b) = (a b) a, b A Demostracin. a) a 0 = 0 + a 0 = [ (a a ) + (a a )] + a 0 = (a a ) + [a a + a 0] = (a a) + a(a + 0) = ( a a ) + a a = 0 Anlogamente se demuestra que 0 a = 0 b) Demostraremos que ( a) b y (a b) son inversos aditivos de a b , entonces, por la unicidad del inverso concluiremos que ( a) b = (a b) ( a) b + a b = (a + a) b = 0 b = 0 , as, (a) b es inverso aditivo de a b Por otro lado , es inmediato que (a b) es inverso aditivo de a b De manera anloga se demuestra que a (b) = (a b) Corolario. Si ( A,+,) es un anillo entonces: a b 0 a 0 b 0 a, b A En efecto, usando la contrapositiva y la parte a) de la proposicin anterior tenemos: (a = 0 b = 0) a b = 0 Observacin. El recproco del corolario no se cumple, ya que, por ejemplo 1 0 0 0 0 0 a) En el anillo ( M (2, ),+,) se tiene 0 0 = 1 0 0 0 b) En el anillo ( Z 4 ,+,) se tiene 2 2 = 0
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 2) ( M (2, ),+,) es anillo con 1 = 0 1 3) ( ,+,) tal que (a, b) + (c, d ) = (a + c, b + d ) y (a, b) (c, d ) = (ac, bd ) es anillo con unidad 1 = (1,1) 4) (C ,+,) tal que C = , (a, b) + (c, d ) = (a + c, b + d ) , (a, b) (c, d ) = (ac bd , ad + bc) es un anillo con unidad 1 = (1,0) 5) ( Z 4 ,+,) es anillo conmutativo con unidad
5.2.3 Dominio de Integridad. Una de las formas para solucionar una ecuacin de segundo grado es factorizar, all usamos la proposicin (a b = 0) (a = 0 b = 0) , sin embargo existen algunos
conjuntos donde esto no ocurre, por ejemplo, en Z 4 tenemos 2 2 = 0 . Definicin. Sea ( A,+,) un anillo. Si a, b A son no nulos tal que a b = 0 con 0 el neutro para + entonces, a y b se llaman divisores del cero Ejemplos. 1) ( Z 6 ,+,) es anillo con divisores del cero 2) ( M (2, ),+,) es anillo con divisores del cero
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
b) a A {0} a 1 A tal que a a 1 = 1 Ejemplos. a) ( Z 3 ,+,) es cuerpo
107
b) (C ,+,) tal que C = ; (a, b) + (c, d ) = (a + c, b + d ) , (a, b) (c, d ) = (ac bd , ad + bc) es cuerpo donde (a, b) 1 = (
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
5.3 EJERCICIOS PROPUESTOS 1) Decida si las siguientes operaciones son o no ley de composicin interna en el conjunto declarado a) : Z Z Z tal que a b = ab + 2 x b) definida en Z {0}tal que x y = + 2 y c) o definida en Z tal que a o b = (a + b) 2 a+b2 d) definida en Z tal que a b = 3 a+b2 e) definida en Q tal que a b = 3 1,0,2}; B = {0,1}; C = {2,4,6...} f) La multiplicacin usual definida en A = { g) : P( A) P( A) P( A) donde A es un conjunto y P(A) es la potencia de A
2) Sea ley de composicin interna definida en el conjunto E , demuestre: a) (a = b) a c = b c a, b, c E b) (a = b) c a = c b a, b, c E 3) Decida cuales de las siguientes leyes de composicin internasson asociativas: a) definida en tal que a b = a + b + ab b) definida en tal que a b = a + 2b c) La unin de conjuntos , : P( A) P( A) P( A) 4) Decida cuales de las siguientes leyes de composicin internas tienen neutro e para la operacin binaria interna definida a) : P( A) P( A) P( A) tal que ( P, R ) P R donde A es un conjunto y P(A) es la potencia de A
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 = 5) Sea una ley de composicin interna en el conjunto E. Demuestre: Si existe elemento neutro para , este elemento es nico. 6) Decida cuales de las siguientes leyes de composicin internas son conmutativas para la operacin binaria interna definida a) definida en tal que a b = a + b + 3ab b) definida en tal que a b = a b + 2ab
1,2,3,4} tal 7) Determine la tabla de multiplicar para definida en el conjunto E = { que a b = mx{a, b}
8) Sea ley de composicin interna definida en el conjunto E tal que la operacin es asociativa y tiene neutro e. Demuestre que: si x E tiene inverso x entonces este es nico. 9) En T se define la ley de composicin interna por a b = a + b ab Estudie la asociatividad, conmutatividad, elemento neutro y elemento inverso. 10) En Z se define la operacin binaria interna tal que a b = a + b 2 Estudie la asociatividad, conmutatividad, elemento neutro y elemento inverso. 11) En Q Q se define por (a, b) (c, d ) = (ac, ad + b) Estudie la asociatividad, conmutatividad, elemento neutro y elemento inverso. 12) En el conjunto S = {a, b, c} se define por la siguiente tabla: a b c a a b c b b a c c c c c
Estudie la asociatividad, conmutatividad, elemento neutro y elemento inverso. 13) En Z se define las operaciones binaria interna y por a b = a + b + 1 y a o b = a + b + ab a) Es el par ( Z ,) un grupo? b) Es el par ( Z ,o) un grupo? c) Es distributiva con respecto de o ? d) Es o distributiva con respecto de ?
109
14) Sea A = {a, b} y ( A,) un grupo. Demuestre que el grupo es conmutativo 15) Sea (G,) un grupo, demuestre: a) a c = b c a = b a, b, c G c) la ecuacin a x = b tiene solucin nica en G 16) Demuestre que (C ,+) es un grupo si C = {( x, y ) / x, y } es el conjunto de los nmeros complejos donde (a, b) + (c, d ) = (a + c, b + d )
a c 17) Demuestre que ( M (2, ),+ ) donde M (2, ) = b d / a, b, c, d es el conjunto de las matrices cuadradas de tamao 2 en y a c e g a + e c + g , es un grupo b d + = f h b + f d + h
18) En + definimos las operaciones binarias internas y tal que a b = b a y a b = ab. Demuestre que distribuye por la izquierda a pero que no hace por la derecha
1},) es un grupo donde a b = a + b + ab 19) Demuestre que el par ( { Resuelva la ecuacin 2 x 6 = 18
20) Demuestre que el tro ( Z ,+,) es un anillo donde + es la suma usual y a b =2ab 21) Demuestre que el tro ( M (2, ),+,) con las caractersticas dadas en el ejercicio 17 a c e g ae + cf ag + ch y b d = es un anillo f h be + df bg + dh 22) Demuestre que el tro (C ,+,) con las caractersticas del ejercicio 16 y donde (a, b) (c, d ) = (ac bd , ad + bc) es un anillo 23) Demuestre que ( Z 4 ,+,) es un anillo 24) Sea ( A,+,) un anillo con neutro aditivo 0 y opuesto aditivo de a A el elemento a . Demuestre: a) a 0 = 0 a = 0 a A b) ( a)b = a(b) = (ab) a, b A 25) Los anillos de los ejercicios 21 y 22 son dominio de integridad? 26) Demuestre: Un anillo ( A,+,) no tiene divisores del cero si y slo si es valida la ley de cancelacin para la multiplicacin.
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.
Se define al conjunto C como: C = {z = (a, b) / a, b }

6.2 Operaciones con complejos Definicin
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
4) Sean z1 = (a, b) , z 2 = (c, d ) C entonces: z1 + z 2 = (a, b) + (c, d ) = (a + c, b + d ) =(c + a, d + b) = (c, d ) + (a, b) = z 2 + z1 * : por la conmutatividad de la suma en Es inmediato determinar que a) z N = (0,0) es nico y lo dotamos por 0 b) Si z = (a, b) entonces z op = ( a,b) es nico y lo denotamos por z
Definicin. Sean z = (a, b) C , k entonces, la ponderacin escalar k, denotada kz , es tal que: kz = k (a, b) = (ka, kb) C Observacin. 1) 1z = z ; z C , 1 2) (k1 + k 2 ) z = k1 z + k 2 z ; z C , k 1 , k 2 3) (k1 k 2 ) z = k1 (k 2 z ) ; k 1 , k 2 , z C 4) k ( z1 + z 2 ) = kz1 + kz 2 ; k , z1 , z 2 C
*
del complejo z por el
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)
112
Por otro lado, z z N = (a, b)(1,0) = (a 0,0 + b) = (a, b) = z 3) Sean z = (a, b) C {0}, z inv = ( x, y ) , entonces se debe cumplir que z z inv = z , es decir, se debe cumplir que (a, b)( x, y ) = (1,0) ; tenemos: ax by = 1 (a, b)( x, y ) = (1,0) (ax by, ay + bx) = (1,0) , multiplicando la bx + ay = 0 primera ecuacin por a , la segunda ecuacin por b y sumando, obtenemos b a , de donde, ; usted puede concluir que y = 2 a 2 x + b 2 x = a de donde x = 2 2 a +b a + b2 a b el inverso multiplicativo de z = (a, b) es: z inv = ( 2 , 2 ) 2 a + b a + b2
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 1 ; z 1 , z 2 C , z 2 0 por 1 = z1 z 2 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
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 En efecto, sea decir
p = x2 y2 ( p,0) = ( x y , 2 xy ) , de aqu concluimos que 0 = 2 xy
2 2
p = i p C
p = ( x, y ) donde p = ( p,0) entonces ( p,0) = ( x, y )( x, y ) es
De la segunda ecuacin concluimos que x = 0 y = 0 , notamos que y 0 , ya que si y = 0 entonces p = ( x,0) = x ( esto es una contradiccin) luego x = 0. Como x = 0 entonces, reemplazando en la primera ecuacin del sistema obtenemos p = y 2 es decir, y 2 = p + , luego y = p ; finalmente
p = (0, p ) = i p
6.4 Complejos en forma cannica Sea z = (a, b) C entonces la forma cannica del complejo es z = a + bi En efecto, z = (a, b) = (a,0) + (0, b) = (a,0) + (0, b)(0,1) = a + bi
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 )
6.5 Operatoria con complejos cannicos

La suma, producto y ponderacin por escalar se realiza como si ellos fuesen polinomios considerando las potencias de i . Por ejemplo; (5 4i )(2 + 3i ) = 10 + 15i 8i 12i 2 = 10 + 7i + 12 = 22 + 7i La divisin de complejos en forma cannica se efecta, amplificando por el 2 + 3i 2 + 3i 4 5i ; al efectuar las conjugado del complejo divisor, por ejemplo, = 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
6.6 Conjugado de un complejo Definicin. Sea z = (a, b) C , definimos el conjugado del complejo z , denotado z como:
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 z1 z1 4) , z2 0 z = 2 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
115
z z = (a, b)(a,b) = (a 2 + b 2 ,0) = a 2 + b 2 Ejemplo Determine z C {0} tal que z 2 = z Solucin. Sea z = a + bi entonces, imponiendo la condicin obtenemos (a + bi ) 2 = a bi (a + bi ) 2 = a bi a 2 + 2abi + b 2 i 2 = a bi (a 2 b 2 ) + 2abi = a bi
a 2 b 2 = a 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
6.7 Norma o mdulo de un complejo Definicin. Sea z = (a, b) = a + bi un nmero complejo entonces, la norma del complejo,
denotada z es tal que z = + a 2 + b 2 Teorema Para todo z1 , z 2 C se cumple: 1) z 0 2) z = z z

2
3) z = z z o
= zz
4) z1 z 2 = z1 z 2
z1 z1 , z2 0 = z2 z2
5)
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 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
2 * 2
z1 + 2 z1 z 2 + z 2
2
**
= ( z1 + z 2 ) 2
Sacando raz cuadrada conseguimos lo pedido * : Re( z ) Re( z ) z ** : z1 z 2 + z1 z 2 = Re( z1 z 2 ) 2
6.8 Forma trigonomtrica de un nmero complejo Considere el nmero complejo z = (a, b) = a + bi , entonces definimos el argumento de z , denotado arg( z ) = , como aquel ngulo , 0 2 , tal que b = arctg ; adems, si r = z = a 2 + b 2 concluimos que la forma trigonomtrica de z a es: z = r (cos + isen )
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:
a) z1 z 2 = r1 (cos 1 + isen 1 ) r2 (cos 2 + isen 2 ) = r1 r2 (cos( 1 + 2 ) + isen( 1 + 2 )) b)

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
n
c) z n = [r (cos + isen )] = r n (cos(n ) + isen(n )) ; n N
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
= ( 2 ) 42 (cos(42 135) +isen(42 135) ) = 2 21 (cos 5.670 +isen5.670 ) = 2 21 (cos(15 360 + 270) +isen(15 360 + 270) ) = 2 21 (cos 270 +isen270 ) = 2 21 i Ejemplo 10 3 + 10i Escriba en forma a + bi la expresin 5 + 5i
6
Solucin Escribimos cada complejo en su forma trigonomtrica, los dividimos, aplicamos el Teorema de DeMoivre y listo.
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

6 6
2 = 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 3 w2 = ( 3i ) 3 = (cos 240 +isen240 ) 3 = cos 720 +isen720 = 1 2 2
6.10 Races del complejo z = r (cos + isen ) 0
Las n races n-simas del complejo z = r (cos + isen ) 0 son: + k 360 + k 360 wk = n r (cos + isen ) donde k = 0,1,2,..., n 1 n n
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
8 = 8(cos180 +isen180 ) = wk = 3 8 (cos
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 ) (
5 5 5
2 2 i ) = 4 4i 2 2 2 2 + i ) = 2 + 2i 2 2
z3 =
2 (cos 45 +isen45 ) =
] ( 2 ) (cos125+isen125 ) = ( 2 ) (
3 3 3
121
De z 5 + mz 3 + n = 0 obtenemos (4 4i ) + m(2 + 2i ) + n = 0 + 0i es decir, obtenemos
4 2 m + n = 0 . Como m = 2 , si reemplazamos este valor en la 4 + 2 m = 0
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
6.11 Forma exponencial La ecuacin e i = cos + isen que define a e i , se conoce como la frmula de Euler; as, z = r (cos + isen ) = re i Observacin. Se puede demostrar: a) e i1 e i 2 = e i (1 + 2 ) b) (e i ) n = e in Ejemplos. 1) Calcule (1 i ) 23 Solucin. (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
b) Se demuestra de manera anloga
3) Demuestre que sen 3 =
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

1) Determine los nmeros reales x e y tal que 3( x + 2) + 2iy ix + 5 y = 7 + 5i 23 16 , y= Resp. x = 11 11
123
2) En los siguientes ejercicios reduzca a la forma a + bi a) (3 + 5i ) + (5 + 2i ) (4 + 7i ) 2 5 2i 2 + 5i + c) 4+i 3i (5 + i )(1 + i ) +i e) 3i b) (2 + 3i )(5 3i )(4 + 5i 5 ) 3 d) 4(5 i )(4 + 6i ) 2i 37 f) (2 + i )(3 + 4i )
2
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
2 c) z12 + 2 z 3
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} e) z C / Re(( z 1) 2 ) = Re(2 z ( z 1)) Resp Hiprbola 1 = x 2 y 2 f) z C / ( z + 1)( z + 1) + 2 Re( z + 1) 0
5) Determine: Re(p) e Im(p) si p es: 2i 3 c) 2 donde z = a + bi donde ab 0 b) a) z 3 z z 3 2 Resp. a) Re( p) = a 3ab , Im( p) = 3a 2 b 2b 2a , Im( p) = 2 b) Re( p) = 2 2 a +b a + b2 6) Determine z C tal que:
124
a) z z = 1 + 2i b) z + z = 2 + i
Resp.
3 2i 2 3 Resp. + i 4 Resp. 15 1 15 1 i ; i 2 2 2 2
c) z z + 3( z z ) = 4 3i d) z z + 2 z = 3 + i
7) Evalue las siguientes expresiones: a) (2 3i )(5 + 4i )(1 + i ) c) (3 + 5i )(5 2i ) 2 5 + 2i 3i b) (2 + i )(3 + 4i )(5 3i ) (3 4i )(5 + 3i ) 5 c) 2 34 3
Resp. a) 1.066 b)
8) Demuestre que z C : z 2 = z
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: (2 + i ) 2 =1 a) 3 4i 1 3 = 1 i 3 b) + i 2 2 2 2 el nmero complejo z = 1 i 3 satisface la ecuacin 2
4
12) Verifique si 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
14) Determine z C tal que z = Resp. z =
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

z = 1 , demuestre que
17) Si z , w C y
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 1 1 + si z = 3 4i , u = 4 + 3i z u 1 5 si z = 2i Resp. 2 10 zz
b)
c)
19) Calcule
3 i a) 1 2
12
1+ i 3 b) 1 i
10
20) Usando De Moivre y Teorema del Binomio demuestre que: a) sen(3 ) = 3sen( ) 4sen 3 ( ) b) cos(3 ) = 4sen 3 ( ) 3 cos( )
126
21) Exprese en forma a + bi a) z = 7 + 24i

10 3 + 10i b) z = 5 + 5i
6
c) z = 6 + i 3
Resp. z =
13 1 i 2 2
d) z = 11 60i Resp. z = 5 6i , z = 5 + 6i c) S = 1 + 1 1 + .... + 1+ i (1 + i ) 27
22) Si w 1 es una raz cbica de 1 verifique si: a) (1 + w 2 ) 4 = w b) (1 w + w 2 )(1 + w w 2 ) = 4 c) (2 + 2w + 5w 2 ) 6 = 729
23) Demuestre que:

n n
a) (1 + i ) = 2 2 (cos b)
3 i
n n + isen ) ; n N 4 4 n n = 2 n (cos + isen ) ; n N 6 6 que:
24) Verifique
7 7 (1 + i )(1 + i 3 )(cos + isen ) = 2 2 cos( + ) + isen( + ) 12 12
25) Calcule, usando forma trigonomtrica 1 i 1+ i
a) ( 3 + i )(1 + i ) d)
3 3 3i 3 i
b) (1 + i 3 )(1 i ) e) (1 i )10
c)
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)
3
b)
4 3 4i
c) 4 1
27) Encuentre las 5 races quintas de la unidad 28) Resuelva la ecuacin z 6 2iz 3 1 = 0 ; z C 29) Si x n + iy n = (1 + i 3 ) n n N demuestre que x n 1 y n x n y n 1 = 2 2 n 2 3 30) Demuestre que (1 + i 3 ) n + (1 i 3 ) n = 2 n +1 cos 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
33) Sea x n + iy n = (1 + i 3 ) 3n . Demuestre que x n + 2 3 x n 1 = 0 34) Si z = (n 1) ! + n !i y w = 1 + ni , pruebe que zw = (n 1) !(1 + n 2 )
128
CAPITULO 7 POLINOMIOS 7.1 Definiciones Definicin. Sea K un cuerpo. Un polinomio en x, con coeficientes en K es toda expresin
del tipo p( x) = ai x i = a 0 + a1 x + a 2 x 2 + ... + a n x n + ... ; ai , x K ; n N {0} donde

i =0
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
Sea p( x) = ai x i K [x ] , definimos el grado de p(x) , denotado ( p( x)) , como aquel m N {0} tal que a m es el ltimo coeficiente no nulo. Ejemplos. 1) Si p( x) = 2 + 3x 5 x 2 entonces ( p( x)) = 2 2) Si p( x) = 2 x entonces ( p( x)) = 1 3) Si p( x) = 5 entonces ( p( x)) = 0 4) El polinomio nulo no tiene grado Observacin. 1) Podemos escribir los polinomios en orden decreciente 2) Para simplificar la notacin podemos escribir ( p) en lugar de ( p ( x))
7.2 Suma y multiplicacin de polinomios Definicin.
i =0
Sean p( x) = ai x i , q( x) = bi x i K [x ] , decimos que p( x) = q( x) si y slo

i =0 i =0
si son idnticos, es decir, p( x) = q ( x) ai = bi i Ejemplo. Sean p( x) = (a b) x 4 + (c 1) x 3 + (d + c) x , q ( x) = 7 x 3 + (2d + b) x 2 2 x dos polinomios definidos en los reales, determine a, b, c, d para que p( x) = q( x)
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 2 d + b = 0
Definicin Sean p( x) = ai x i , q( x) = bi x i K [x ] entonces:

i =0 i =0
1) p( x) + q( x) = d ( x) = ci x i tal que ci = ai + bi i 2) p( x) q( x) = e( x) = d i x tal que d i = a k bi k

i i =0 k =0 i =0 i
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. d 2 = a k b2 k = a 0 b20 + a1b21 + a 2 b2 2 = a 0 b2 + a1b1 + a 2 b0 = 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
k =0
Teorema (Algoritmo de Euclides)
Sean p ( x), q ( x) [x ] , q( x) 0 , entonces existen s ( x), r ( x) [x ], nicos, tal que p ( x) = q( x) s( x) + r ( x) donde r ( x) = 0 (r ) < (q) Observacin. Al polinomio s(x) lo llamamos cuociente y al polinomio r(x) lo llamamos resto
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
Hemos obtenido: s ( x) = x 2 + 4 x + 5 , r ( x) = 6 de donde podemos escribir x 3 + 2 x 2 3 x 4 = ( x 2 + 4 x + 5)( x 2) + 6 o equivalentemente x 3 + 2 x 2 3x 4 6 = x 2 + 4x + 5 + x2 x2
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 6 2 Note que el cuociente es s ( x) = x 2 + 4 x + 5 y el resto es r ( x) = 6
1 4 5
7.3 Teorema del resto Definicin. a es un cero de p ( x) [x ] o raz de la ecuacin p( x) = 0 si y slo si p(a) 0
Ejemplo. a = 3 es raz de p ( x) = x 2 + x 6 = 0 ya que p (3) = (3) 2 + (3) 6 0
Teorema del resto Si p ( x) [x ] y a entonces el resto que se produce al dividir p( x) por x a es p(a)
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)
132
Ejemplo.
Por el Teorema anterior concluimos que x 2, x 0, x 1, x + 5 son factores de p( x) , as, el polinomio pedido es p( x) = x( x 2)( x 1)( x + 5) Nos debe motivar factorizar un polinomio, para ello, tenemos el siguiente teorema. Ejemplo Determine A y B de modo que p ( x) = x 4 + x 3 + Ax 2 + Bx + 30 sea divisible tanto por x 2 como por x + 3 Solucin Como p( x) = 0 es divisible por x 2 entonces x = 2 es un cero p( x) de donde p(2) = 16 + 8 + 4 A + 2 B + 30 = 0 , es decir, 4 A + 2 B = 54 De manera anloga, p(3) = 81 27 + 9 A 3B + 30 = 0 , de donde 9 A 3B = 84 4 A + 2 B = 54 El sistema que se produce es y la solucin es A = 11 , B = 5 9 A 3B = 84
2 , 0 ,1, 5 Solucin.
Encuentre una ecuacin mnica de grado mnimo cuyas races sean
7.4 Nmero de races de una ecuacin Demostraremos que toda ecuacin polinomial de grado n tiene n races, para ello necesitamos el siguiente teorema
Teorema ( Teorema Fundamental del lgebra, TFA) La ecuacin polinomial p( x) = a n x n + a n 1 x n 1 + .... + a1 x + a 0 = 0 , a n 0 tiene, por lo menos, una raz real o compleja Observacin. La demostracin del Teorema est fuera del alcance de esta seccin y lo usaremos para demostrar el siguiente teorema. Teorema. La ecuacin polinomial p( x) = a n x n + a n 1 x n 1 + .... + a1 x + a 0 = 0 , a n 0 tiene, exactamente n races Demostracin. Por el TFA, la ecuacin planteada tiene al menos una raz, sea ella r1 ; entonces x r1 es factor de p( x) de donde: p ( x) = ( x r1 )q1 ( x) = 0 , con q1 ( x) de grado tal que el coeficiente de x n 1 es a n .
133
Aplicando el TFA a q1 ( x) = a n 1 x n 1 + bn 2 x n 2 + ... + b1 x + b0 = 0 , afirmamos que existe al menos una raz, sea ella x = r2 , as, q1 ( x) = ( x r2 )q 2 ( x) de donde p ( x) = ( x r1 )( x r2 )q 2 ( x) = 0 . Si repetimos el proceso obtenemos p( x) = a n ( x r1 )( x r2 )......( x rn ) = 0 , de donde r1 , r2 ,..., rn son races de la ecuacin. Demostraremos ahora que esas races son las nicas; supongamos que r es otra raz de p( x) = 0 , entonces debera cumplirse que p(r ) = 0 , sin embargo esto ltimo no es cierto ya que p (r ) = a n (r r1 )(r r2 )......(r rn ) 0
7.5 Races racionales Teorema
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 Demostracin. Como c Q es raz de la ecuacin d
an
a0
)y
c p ( x) = a n x n + a n 1 x n 1 + ... + a1 x + a0 = 0 entonces p( ) = 0 d c c c p( ) = 0 a n + a n 1 d d d an
n 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
a n c n + a n 1c n 1 d + ....... + a1cd n 1 + a 0 d n = 0 (*) a n 1c n 1 d + ....... + a1cd n 1 + a0 d n = a n c n
Como d divide la primer lado de la igualdad anterior entonces d divide a a n c , y dado que d no divide a c entonces d debe dividir a a n
n
134
Anlogamente, de (*) tenemos a n c n + a n 1c n 1 d + ....... + a1cd n 1 = a 0 d n , de lo cual concluimos que c debe dividir a a0 Observacin. 1) El Teorema nos entrega las posibles races racionales de la ecuacin. 2) Usando la contrapositiva concluimos que: si d no divide a a n o c no c no es raz de la ecuacin divide a a 0 entonces d Ejemplo. Resuelva la ecuacin p ( x) = 2 x 4 x 3 11x 2 + 4 x + 12 = 0 Solucin. c donde c 12 y d 2 . Las posibles races racionales de la ecuacin son d Como c { 1, 2, 3, 4, 6, 12} y d { 1, 2} entonces las posibles races racionales son c 1 1, 2, 3, 4, 6, 12, , d 2 3 . 2
Ahora debemos determinar, por reemplazo, alguna raz: Como p (1) = 4 0 entonces x = 1 no es raz de la ecuacin. Como p (1) = 2 + 1 11 4 + 12 = 0 entonces x = 1 es raz de la ecuacin, as entonces p( x) = 2 x 4 x 3 11x 2 + 4 x + 12 = ( x + 1) s ( x) ; este polinomio s ( x) lo podemos 2 - 1 - 11 4 12 - 1 determinar por divisin sinttica; tenemos: 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 races racionales son 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 ) -2 3 8 - 12 , de donde 2 - 3 - 8 12 0
135
2 - 3 - 8 12 2 lo obtenemos por divisin sinttica; tenemos: 4 2 - 12 2 1 -6 0 de donde
m( x) = 2 x 2 + x 6 , as, s ( x) = 2 x 3 3x 2 8 x + 12 = ( x 2)(2 x 2 + x 6) y entonces
p( x) = 2 x 4 x 3 11x 2 + 4 x + 12 = ( x + 1)( x 2)(2 x 2 + x 6) = 0
Como el polinomio cuadrtico 2 x 2 + x 6 se factoriza por (2 x 3)( x + 2) entonces p( x) = 2 x 4 x 3 11x 2 + 4 x + 12 = ( x + 1)( x 2)(2 x 3)( x + 2) = 0 de donde las races 3 de la ecuacin son: x = 1, x = 2, x = , x = 2 2 Observacin. 1) En lugar de factorizar podra resolver la ecuacin 2 x 2 + x 6 = 0 2) Todas las races de la ecuacin original estaban en el conjunto de las posibles races racionales, sin embargo, si intenta detectarlas, slo por reemplazo, podramos tener problemas en el caso en que alguna de ellas tenga multiplicidad dos o ms. Ejemplo Resuelva la ecuacin 4 x 4 4 x 3 5 x 2 + x + 1 = 0 Solucin. Como c { 1} y d { 1, 2, 4} entonces las posibles races racionales de la ecuacin c 1 1 p( x) = 0 son 1, , d 2 4 1 1 1 5 1 1 Dado que p( ) = + + 1 = 0 entonces x = es raz de la ecuacin y luego, 2 4 2 4 2 2 1 1 ( x ) es factor de p( x) , as, p( x) = ( x ) s ( x) . 2 2 1 Al dividir p( x) por x obtenemos s ( x) = 4 x 3 2 x 2 6 x 2 , de donde 2 1 p ( x) = 4 x 4 4 x 3 5 x 2 + x + 1 = ( x )(4 x 3 2 x 2 6 x 2) = 0 2
136
Si aplicamos otra vez el mtodo a la ecuacin s ( x) = 4 x 3 2 x 2 6 x 2 = 0 , las c 1 1 posibles races racionales son 1, 2, , d 2 4 1 1 1 Como s ( ) = 0 entonces s ( x) = ( x + )m( x) y, al dividir s ( x) por x + obtenemos 2 2 2 2 m( x ) = 4 x 4 x 4 . Al resolver la ecuacin m( x) = 0 obtenemos x = 1+ 5 1 5 ,x= 2 2 1 1 1+ 5 1 5 Finalmente, las races pedidas son: x1 = , x 2 = , x3 = , x4 = 2 2 2 2
7.6 Naturaleza de las races Teorema Si un nmero complejo z = a + bi es raz de la ecuacin polinomial p( x) = a n x n + ... + a1 x + a 0 = 0 , ai entonces el conjugado z = a bi tambin es raz de la ecuacin. Demostracin. Como z = a + bi es raz de la ecuacin entonces p( z ) = 0 . Notamos que las potencias pares de bi producen nmeros reales y las potencias impares de bi producirn expresiones imaginarias.
Si denotamos por A a la suma algebraica de los nmeros reales y por Bi a la suma algebraica de los nmeros imaginarios entonces p( z ) = 0 se puede escribir como A + Bi = 0 , de donde A = B = 0 Si ahora analizamos p( z ) las potencias pares de bi tienen el mismo valor que las potencias pares de bi y las potencias impares de bi slo diferirn de las potencias impares de bi en el signo, as p( z ) = A Bi ; como A = B = 0 entonces p( z ) = 0 , por lo cual z = a bi tambin es raz de la ecuacin p( x) = 0 Ejemplos 1) Si x = 1 + i es raz de la ecuacin p( x) = x 3 4 x 2 + 6 x 4 = 0 determine las otras races de la ecuacin. Solucin. Como x = 1 + i es raz de la ecuacin entonces x = 1 i tambin es raz de la ecuacin, as x (1 + i ) y x (1 i ) son factores de p( x) , en consecuencia podemos escribir p( x) = x 3 4 x 2 + 6 x 4 = ( x (1 + i ))( x (1 i ))q( x) = 0
137
Como ( x (1 + i ))( x (1 i )) = x 2 2 x + 2 entonces el polinomio se puede escribir como x 3 4 x 2 + 6 x 4 = ( x 2 2 x + 2)q( x) , de donde q ( x) = x 3 4x 2 + 6x 4 = x2 x 2 2x + 2
Tenemos p( x) = ( x (1 + ))( x (1 i )( x 2) = 0 , por lo pedidas son: x = 1 + i , x = 1 i , x = 2
tanto
las races
2) Determine a, b para que p( x) = x 4 + 2 x3 + ax + b = 0 tenga raz z = 1 + i Solucin. Si z = 1 + i es raz de p( x) = 0 entonces z = 1 i tambin es raz, as, x (1 + i ) y x (1 i) son factores de p( x) , es decir, p ( x) = ( x (1 + i))( x (1 i )) s( x) ; como ( x (1 + i ))( x (1 i )) = x 2 2 x + 2 entonces p( x) = ( x 2 2 x + 2) s ( x) . Al dividir x 4 + 2 x3 + ax + b por x 2 2 x + 2 el resto que se produzca debe ser igual a cero y, all obtenemos la ecuacin para determinar a, b pedidos; tal resto es (12 + a 8) x + (b 12) de donde: a = 4 , b = 12 Este problema tambin podemos resolverlo usando la teora de nmeros complejos; tenemos: Como z = 1 + i es raz de p( x) = x 4 + 2 x3 + ax + b = 0 entonces se cumple: (1 + i ) 4 + 2(1 + i )3 + a(1 + i ) + b = 0 + 0i , calculemos las potencias all sealadas, usando DeMoivre, tenemos: (1 + i ) 4 = (1 + i )3 =
[
[
2 (cos 45 +i sen 45 )
= 4(cos180 +i sen 180 ) = 4(1 + 0i ) = 4 = 2 2 (cos 135 +i sen 135 ) = 2 2 ( 2 2 +i ) = 2 + 2i 2 2
2 (cos 45 +i sen 45 )
as, la ecuacin queda: 4 + 2(2 + 2i) + a (1 + i ) + b = 0 + 0i , de aqu concluimos: 4 4 + a + b = 0 , es decir, a = 4 , b = 12 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 4 2 b 5b 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
Para cualquiera que sea el valor de b concluimos que 3i y 3i son ceros de p( x) ,as, p( x) = ( x 3i )( x + 3i ) s ( x) Como ( x 3i )( x + 3i ) = x 2 + 9 entonces el cuociente s ( x) se obtiene dividiendo p( x) por x 2 + 9 ; tal s(x) es s ( x) = x 2 3x 4 , de donde p( x) = ( x 3i )( x + 3i )( x 2 3x 4) ; resolviendo la ecuacin x 2 3x 4 = 0 conseguimos x = 4 , x = 1 Las races de p( x) = 0 son: 3i, 3i, 4, - 1
7.7 Algunas ayudas para encontrar races. Ayuda 1 (cota superior de las races) Si en la ecuacin polinomial p ( x) = a n x n + a n 1 x n 1 + ... + a1 x + a0 = 0 , con coeficientes reales se cumple: a n > 0, el primer coeficiente negativo esta precedido por r coeficientes positivos o nulos y si a k es el coeficiente negativo de mayor valor
absoluto entonces cada raz de la ecuacin es menor que 1 + r
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
Note que las posibles races racionales de la ecuacin son c { 1, 2, 3, 5, 6, 15, 30} y que el acotamiento de las races por lo menos d elimina 4 posibles races; en definitiva las races son 2, 3, -1, -1, -5
139
Ayuda 2 . Regla de los signos de Descartes
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 . El polinomio buscado es s ( x) = 3 x 2 + 5 x 2 de donde, el
- 6 - 10 4 3 5 -2 0
polinomio m( x) es m( x) = ( x + 2)(33x 2 + 5 x 2) y la ecuacin es m( x) = ( x + 2)(3 x 2 + 5 x 2) = 0 1 Si resolvemos la ecuacin 3x 2 + 5 x 2 = 0 obtenemos x = , x = 2 as, 3 1 3x 3 + 11x 2 + 8 x 4 = ( x + 2)( x )( x + 2) de donde, las races de la ecuacin son: 3 1 x = 2 de multiplicidad 2 y x = 3
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
m( x) = 3 x 3 + 11x 2 8 x 4 entonces el nmero de variaciones de signo es 2 y la cantidad de races negativas de la ecuacin es 2 o ninguna.
Dado que el numero de races de la ecuacin es 3 entonces la posible multiplicidad de las races es: 1 raz positiva y 2 negativas o 1 raz positiva, 0 raz negativa y 2 races complejas; en definitiva se obtuvo la primera opcin
Regla de los signos de Descartes Sea la ecuacin polinomial p ( x) = a n x n + a n 1 x n 1 + ... + a1 x + a0 = 0 , con coeficientes reales. Si V es el nmero de variaciones de signo de p( x) = 0 entonces el nmero P de races positivas es P o ese nmero disminuido en una cantidad par
El nmero N de races negativas de la ecuacin p( x) = 0 es igual al nmero de variaciones de sigo de p ( x) = 0 o ese nmero disminuido en una cantidad par Ejemplo Analice la ecuacin p( x) = 2 x 4 5 x + 1 = 0 Solucin. Como p( x) tiene dos variaciones de signo entonces la ecuacin tiene 2 races positivas o ninguna. Como p( x) = 2( x) 4 5( x) + 1 = 2 x 4 + 5 x + 1 entonces la ecuacin p( x) = 0 tiene ninguna raz negativa. As, la ecuacin tiene: 2 races reales y 2 races complejas o 4 races complejas. Como p(0) = 1 y p (1) = 2 entonces dado que el polinomio es continuo concluimos que existe una raz real en el intervalo (0,1) , as, en definitiva, la ecuacin tiene 2 races reales y 2 races complejas
141
Mtodo de aproximaciones sucesivas
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
7.8 Relaciones entre coeficientes y races de una ecuacin En la ecuacin polinomial an x n + an 1 x n 1 + .... + a1 x + a0 = 0 , an 0 , se cumple la siguiente relacin entre los coeficientes ai , i = 0,1,2,..., n y las n races ri a n 1 = suma de las races de la ecuacin an an 2 = suma de los dobles productos de las races an a n 3 = suma de los triples productos de las races an ... ... a (1) n 0 = producto de las races an
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 El sistema que debemos resolver es: 3ab + 2b 2 = 7 2ab 2 = k
(1) (2) (3)
De (1) obtenemos a = 3b , reemplazando en (2) conseguimos
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
Para k = 6 y k = 6 se produce lo pedido
2) Si a, b, c son las races de la ecuacin x 3 px 2 + qx r = 0 determine el valor 1 1 1 de la expresin 2 + 2 + 2 a b c Solucin. r p q = p , ab + ac + bc = = q , abc = = r entonces la Como, a + b + c = 1 1 1 1 1 1 b 2 c 2 + a 2 c 2 + a 2b 2 debe expresarse en funcin de expresin + + = a 2b 2 c a 2 b2 c2 p, q, r
Es inmediato conseguir a 2b 2c 2 = (abc) 2 = r 2 , por otro lado, para determinar
b 2c 2 + a 2c 2 + a 2b 2 usamos la expresin (ab + ac + bc) 2 ; tenemos

(ab + ac + bc) 2 = a 2b 2 + a 2c 2 + b 2c 2 + 2a 2bc + 2ab 2c + 2abc 2 = a 2b 2 + a 2c 2 + b 2c 2 + 2abc(a + b + c) , as, reemplazando los datos obtenemos: q 2 = a 2b 2 + a 2c 2 + b 2c 2 + 2rp ,de donde , (ab + ac + bc) 2 = q 2 2rp , entonces, 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
3) Determine las races de p( x) = 4 x 3 12 x 2 + 3x + 5 = 0 si estas estn en Progresin Aritmtica. Solucin. Sean = a d , = a , = a + d las races ( en Progresin Aritmtica) de la ecuacin, 12 conseguimos (a d ) + a + (a + d ) = 3 , de esta ltima entonces, de + + = 4 ecuacin obtenemos a = 1 5 5 conseguimos (a d )a(a + d ) = , es decir, conseguimos la 4 4 5 3 ecuacin (1 d )(1 + d ) = . Esta ecuacin nos da los resultados d = 4 2 1 3 5 Si d = entonces = , = 1 , = 2 2 2 5 3 1 Si d = entonces = , = 1 , = 2 2 2 De la relacin =
7.9 FRACCIONES PARCIALES 7.9.1 Fracciones racionales De la misma manera que el cuerpo Q de los nmeros racionales se forma a partir del anillo Z de los enteros, es posible construir, a partir del anillo K [x ] un cuerpo, llamado el cuerpo de las fracciones racionales con coeficientes en K Este cuerpo se denota por K ( x) y es el conjunto cuociente de K [x ] {K [x ] {0}}dado por la relacin de equivalencia R ( f 1 ( x), g1 ( x)) R( f 2 ( x), g 2 ( x)) f1 ( x) g 2 ( x) = f 2 ( x) g1 ( x)
Una fraccin racional en la indeterminada x sobre K es, entonces, una clase de equivalencia representada por el par ( f ( x), g ( x)) de polinomios de K ( x) en que g ( x) 0 , otro par ( f 1 ( x), g1 ( x)) representa a al misma fraccin racional si y slo si f ( x) g1 ( x) = f 1 ( x) g ( x) elemento ( f ( x), g ( x)) , representante de una clase de equivalencia lo f ( x) a ( x) f ( x) = f ( x)b( x) = g ( x)a( x) , entonces: denotamos por g ( x ) b( x ) g ( x) Al
7.9.2 Suma y multiplicacin en K [x ] {K [x ] {0}} Definicin En K [x ] {K [x ] {0}}definimos las operaciones suma y multiplicacin por:
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 racional de K ( x) existe un representante
7.10 FRACCIONES PARCIALES Definicin f ( x) f ( x) f ( x) K ( x) {0} , definimos el grado de , denotado por ( Sea ) g ( x) g ( x) g ( x) f ( x) por ( ) = ( f ( x)) ( g ( x)) . g ( x) f ( x) f ( x) La fraccin racional es propia si ( ) < 0 , en caso contrario se dice que es g ( x) g ( x) impropia
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)
Denotando por e1 ( x) y e2 ( x) las partes enteras del primer y segundo sumando respectivamente tenemos:
f ( x) f ( x)u1 ( x) f ( x) con ( 1 ) < 0 y = e1 ( x) + 1 g1 ( x) g1 ( x) g1 ( 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 una fraccin irreducible Teorema f ( x) K ( x) tal que g ( x) = g1 ( x) g 2 ( x) ..... g n ( x) en g ( x) que g1 ( x), g 2 ( x),....., g n ( x) son polinomios no nulos y de dos en dos son primos relativos entre si, entonces existen polinomios f1 ( x), f 2 ( x),....., f n ( x) tal que f ( x) f ( x) f 1 ( x) f 2 ( x) = + + ..... + n donde ( f i ( x)) < ( g i ( x)) , i = 1,2,..., n g ( x) g1 ( x) g 2 ( x) g n ( x) Demostracin Por induccin Sea la fraccin racional propia f ( x) es g ( x)
Teorema. Considere la
m
fraccin
m
racional
m
propia
g ( x) = [g1 ( x)] 1 [g 2 ( x)] 2 ... [g n ( x)] n en la que g1 ( x), g 2 ( x),....., g n ( x) son polinomios no nulos y de dos en dos son primos relativos entre si y m1 , m2 ,....., mn N entonces existen polinomios nicos f1 ( x), f 2 ( x),....., f n ( x) tal que
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
y tenemos el teorema anterior
147
Observacin. 1) Estos teoremas indican que la fraccin racional propia como suma de fracciones parciales 2) El caso de la fraccin parcial de la forma susceptible de la descomposicin: f ( x) se ha expresado g ( x)
[g ( x)]m
f ( x)
, m N , puede ser
[g ( x)]
f ( x)
m
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. Si m = 1 entonces 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
Ya tenemos visto el mtodo, usted puede completar la induccin
7.10.1 Aplicacin en C ( x) Como los nicos polinomios irreducibles en C [x ] son los polinomios de grado 1 f ( x) C [x ] se puede decomponer en suma de entonces toda fraccin racional propia g ( x) fracciones parciales de la forma:
mn A1i Ani f ( x) m1 en que A1i , A2i ,...., Ani C y donde = + .......... + 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
7.10.2 Aplicacin en R[x ] En R( x) los nicos polinomios irreducibles son los polinomios de grado 1 y los polinomios cuadrticos ax 2 + bx + c donde b 2 4ac < 0 . f ( x) R( x) se puede descomponer en suma de fracciones As, toda fraccin racional g ( x) parciales de la forma:
mn A1i Ani f ( x) m1 = + .......... + i g ( x) i =1 ( x a1 ) i i =1 ( x a n )
+
j =1
r1
B1 j x + C1 j (a1 x + b1 x + c1 )
2
j
+ ....... +
j =1
rp
B pj x + C pj (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 por las dos ltimas ecuaciones obtenemos
x +1 1 x +1 = + x3 + 1 x x2 + 1
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 determinar los nmeros complejos A, B, C
x +1 C ( x) x3 + 1
B C x +1 A , debemos = + + 3 x +1 x x + i x i
Al multiplicar la ltima expresin por x( x + i )( x i ) obtenemos:
x + 1 = A( x + i)( x i ) + Bx( x i ) + Cx( x + i )

Si x = 0 entonces 1 = A(i 2 ) de donde A = 1 Si x = i entonces 1 + i = Ci (2i ) , es decir, 1 + i = 2C de donde C = 1+ i 2
Si x = i entonces 1 i = B(i)(2i) , es decir, 1 i = 2 B de donde B = x +1 1 = + x3 + 1 x 1 1 1 1 + i i 2 2 + 2 2 x+i xi
1 i 2
As,
1) Considere los polinomios p ( x) = 2 x 3 3x 2 + 6 x + 3 , q( x) = 3 x 2 + 6 x 2 [x ] y p ( x ) q ( x ) = r ( x ) = ci x i , p ( x ) + q ( x ) = d1 x i

i =0 i =0
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
4) Usando el Teorema del Resto demuestre el enunciado dado, si n Z + a) x n a n es divisible exactamente por x + a si n es par b) x n + a n es divisible exactamente por x + a si n es impar c) x n + a n no es divisible exactamente por x + a si n es par d) x n + a n no es divisible exactamente por x a si n es par
5) En los siguientes ejercicios obtenga el cuociente y el resto usando la divisin sinttica a) ( x 3 + 4 x 2 + 7 x 2) ( x + 2) Resp. x 2 + 2 x + 3 , 8 b) ( x 4 + 2 x 3 10 x 2 11x 7) ( x 3) c) ( x 6 x 4 + x 2 2) ( x 1) 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
7) Comprobar que dos de las races de la ecuacin x 4 + x 3 16 x 2 4 x + 48 = 0 son 2 y 4 y hallar las races restantes Resp. 3, -2
8) Usar la divisin sinttica para hallar el cuociente y el resto al dividir el polinomio 2 x 4 5 x 3 + 3x 2 x + 3 por 2 x + 1. Sugerencia. Efectuar la divisin 1 sinttica dividiendo por x + y luego dividir el cuociente por 2 2 3 2 Resp. x 3x + 3x 2 , 5 9) Determine p ( x) Z 7 [x ] , mnico de grado 3 tal que x 1 , x 2 son factores de p( x) y adems p(4) = p(3) Resp. ( x 1)( x 2)( x + 6) = ( x + 6) 2 ( x + 5) 10) Determine si x 3 es factor de p( x) = x 4 + x 3 + x + 4 en Q[x ] , Z 3 [x ] , Z 5 [x ] Resp. p (3) = 115 en Q[x ] , luego no es factor p(3) = 1 en Z 3 [x ] , luego no es factor p(3) = 0 en Z 5 [x ] , luego si es factor
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
5 4
a, b, c
3 2
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
15) Sea p( x) = x 3 + ax 2 + bx + c . Al dividir p( x) tanto por x + 2 como por x + 3 el resto que se produce es cero; pero al dividir por x 1 el resto es 12. Calcular el valor de A = 14a 4b + 3c Resp. a = 3, b = 4, c = 12 16) Al dividir un polinomio p( x) separadamente por x 1 y x 2 se obtiene como resto a 5 y 3 respectivamente. Calcular el resto que se produce al dividir p( x) por el producto ( x 1)( x 2) Resp. 2 x + 7
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
18) Comprobar que la ecuacin x 4 11x 2 12 x + 4 = 0 tiene la raz doble 2 y hallar las restantes races Resp 2 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
27) Encontrar todas las races de las siguientes ecuaciones 1 a) 3 x 3 4 x 2 35 x + 12 = 0 Resp. 4, -3, 3 1 2 29 2 40 b) 2 x 3 + x x + 4 = 0 Resp. , , - 6 2 3 3 3 1 1 5 c) 4 x 5 4 x 4 5 x 3 + x 2 + x = 0 Resp. 0, , 2 2 3 2 d) x + 3 x 4 x 12 = 0 Resp. 3, 2, 2
153
28) En Z 5 [x ] determine los ceros de p( x) = x 4 + 3 x 3 + 2 x + 4 Resp. p( x) = ( x 1) 3 ( x + 1) es decir, 1 de multiplicidad 3 y 1 4(mod 5)
29) Hallar todas las races raciones de las siguientes ecuaciones: a) x 5 + 3 x 4 + 5 x 3 + 8 x 2 + 6 x + 4 = 0 Resp. -2 b) x 7 3 x 6 + x 5 3 x 4 + x 3 3 x 2 + x 3 = 0 Resp. 3 c) x 4 + 4 x 2 x + 6 = 0 Resp. ninguna raz racional
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
37) Resolver la ecuacin 2 x 3 + 9 x 2 + 10 x + 3 = 0 si las races estn en la proporcin 1 1 : 2 : 6 Resp. , 1, - 3 2
38) Determine la suma de los cuadrados de las races de la ecuacin x 3 px 2 + qx r = 0 Resp. p 2 2q
39) Si dos races de la ecuacin x 3 + px 2 + qx + r = 0 son iguales en valor absoluto pero de signos contrarios demuestre que pq = r
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 2x + 4 1 x+2 ( x) Resp. + 2 3 x x +4 x + 4x 1 1 1 1 + i i 2x + 4 1 C ( x) Resp. + 2 2 + 2 2 3 x x + 2i x 2i x + 4x
d)
e)
155

Matematica General

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Matematica General

Uploaded by

Copyright:

Available Formats

INTRODUCCIN

Mucho xito en su aprendizaje

Heraldo Gonzlez Serrano Coordinador Matemtica General 10.052

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

LA MATEMTICA: CIENCIA Y LENGUAJE DE LAS CIENCIAS

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

Observacin: Es claro que el valor veritativo de p es el contrario de p

Por ejemplo, si " p" es : p : Hoy llueve , entonces ~ p es : ~ p : Hoy no llueve ;

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

2) Determine el valor veritativo de: [ p (q r )] r Solucin : Su tabla de verdad es:

Ejemplos : 1) Demuestre que: p (~ p) es tautologa.

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

Demostracin: Debemos encontrar su tabla de verdad y verificar que siempre es verdadera:

3) Demuestre que: {p [(q (~ q )] } (~ p ) es tautologa Demostracin: Su tabla de verdad es:

Esta proposicin se llama mtodo de demostracin por reduccin al absurdo

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

Ejemplo: Demuestre que [ p (q r )] r es una contingencia Solucin: Su tabla de verdad es:

Concluimos que [ p (q r )] r es una contingencia.

1.1.5 LEYES FUNDAMENTALES DEL ALGEBRA DE PROPOSICIONES

Idempotencia Involucin Complemento

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

{ [(~ p) p] [(~ p ) (~ q )] } q { [I [(~ p) (~ q )] } q [(~ p ) (~ q )] q (~ p ) [(~ q ) q ] ~ p I I

5) Demuestre, sin usar tablas: {[( p q ) r ] ~ q} q (r q ) Demostracin {[( p q) r ] ~ q} q {[( p q) ~ q ] (r ~ q)} q {[ p (q ~ q )] (r ~ q )} q {[ p 0] (r ~ q )} q {0 (r ~ q )} q (r ~ q ) q (r q ) (~ q q) (r q) I r q

Reemplazando x por un elemento determinado de un conjunto

: significa : todos : significa : algunos

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

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

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

Si el elemento x no pertenece al conjunto A, denotamos: x A.

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

Ejemplo: A = {x / x N ,3 < x < 5} = {4} se lee el unitario del 4

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

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

b) Sea x A , debemos demostrar que x A A

2) Se debe demostrar que: a) A B B A y b) B A A B a) Sea x A B , debemos demostrar que x B A

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

b) Sea x A (B C ) , debemos demostrar que x ( A B ) C

Observacin: En un diagrama de Venn-Euler tenemos 1) A B

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

b) Sea x A , debemos demostrar que x A A

AB AB b) Sea x B A , debemos demostrar que x A B

B A A B Por a) y b) concluimos que A B = B A

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.

MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA DPTO. DE MATEMATICA Y C.C.