Apuntes MAT021 Complemento

Editado por
Vernica Gruenberg Stern

Apuntes de
MAT021 - Complementos vs. 1er. sem. 2013
Prefacio
Estimados alumnos:
Este texto ha sido desarrollado especialmente para ustedes, y es el resultado del aporte de muchos
colegas del Departamento de Matemtica de la Universidad Tcnica Federico Santa Mara, que a
lo largo del tiempo han dictado este curso. Las diferentes secciones incorporan apuntes de profe-
sores tanto de Casa Central como del Campus Santiago, especialmente Nelson Cifuentes, Pedro
Gajardo, Vctor Gonzlez y Erwin Hernndez. En esta versin, stos han sido editados por quien
suscribe, para que su estructura incorpore no solo los contenidos que se espera conozcan en pro-
fundidad, sino que tambin una gran cantidad de ejercicios resueltos y propuestos, que esperamos
resuelvan con entusiasmo, para lograr mejores aprendizajes. Hemos optado tambin por incluir
muchas demostraciones de los teoremas que revisarn en clases. No es el objetivo que todas stas
sean vistas en clases. Ms bien, esperamos que los alumnos interesados, tengan la posibilidad de
profundizar en la aprehensin de los conceptos involucrados, y de comprender cmo se realiza la
construccin del conocimiento matemtico. Esperamos que esta primera versin, an preliminar,
les sea de utilidad, y que cualquier error que encuentren (por cierto, involuntario), nos sea infor-
mado al mail indicado abajo.
Es importante que tengan presente que este apunte no reemplaza las clases. Para lograr un buen
aprendizaje de los conceptos e ideas que considera este curso, es fundamental que asistan a clases,
participen activamente en ella, estudien de manera metdica, ojal estructurando un horario de
estudio diario, preparndose siempre para su prxima clase y que planteen a sus profesores cual-
quier duda que les surja.
Cordialmente,
Vernica Gruenberg Stern
Departamento de Matemtica
Universidad Tcnica Federico Santa Mara
veronica.gruenberg@usm.cl
I
ndice general
Prefacio I
ndice general III
1. Nociones bsicas de Lgica y Conjuntos 1
1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Conectivos Lgicos y Tablas de Verdad . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3. lgebra de Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4. Nociones Bsicas de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5. lgebra de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6. Cuanticadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.7. Conjunto Potencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.8. Producto Cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.9. Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.10. Ejercicios de Controles y Certmenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2. Trigonometra 35
2.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2. Funciones Trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.3. Identidades Fundamentales en el tringulo . . . . . . . . . . . . . . . . . . . . . . . . 41
2.3.1. Suma y resta de ngulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.4. Identidades Trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.5. Resolucin de Tringulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.6. Grcas de las Funciones Trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.6.1. Funciones sinusoidales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.7. Funciones Trigonomtricas Inversas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.8. Ecuaciones Trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.8.1. Ecuaciones de la forma a sen x +b cos x = c . . . . . . . . . . . . . . . . . . . . 56
2.10. Propiedades trigonomtricas bsicas (resumen) . . . . . . . . . . . . . . . . . . . . . . 59
III
NDICE GENERAL
3. Funciones Exponencial y Logaritmo 61
3.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.2. Funcin Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.3. Funcin Logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.3.1. Bases 10 y e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.3.2. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4. Geometra Analtica 69
4.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.2. Distancia entre dos Puntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.2.1. Divisin Interior de un trazo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.3. La Recta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
4.3.1. Distancia de un punto a una recta . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.4. Secciones Cnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.4.1. La Circunferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.4.2. La Elipse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
4.4.3. La Parbola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.4.4. La Hiprbola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
4.5. Ejemplos y Ejercicios de Lugares Geomtricos . . . . . . . . . . . . . . . . . . . . . . 84
5. Nmeros Naturales 89
5.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
5.2. Induccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
5.3. Sumas y Productos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5.3.1. Notacin: Sumatoria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5.3.2. Notacin: Productoria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
5.4. Progresiones Aritmticas y Geomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . 106
5.5. Teorema del Binomio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
6. Nmeros Complejos y Polinomios 117
6.1. Nmeros Complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
6.1.1. Operaciones con nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . 118
6.1.2. Conjugado y Mdulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
6.1.3. Forma Polar de un Nmero Complejo . . . . . . . . . . . . . . . . . . . . . . . 121
6.1.4. Teorema de de Moivre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
6.1.5. Races n-simas de un nmero complejo . . . . . . . . . . . . . . . . . . . . . 124
IV
NDICE GENERAL
6.1.6. Forma Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
6.2. Polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
6.2.1. Estructura algebraica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
6.2.2. Races . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
6.2.3. Funciones Polinomiales y Racionales . . . . . . . . . . . . . . . . . . . . . . . 132
6.2.4. Algoritmo de la Divisin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
6.2.5. Divisin Sinttica (Regla de Rufni) . . . . . . . . . . . . . . . . . . . . . . . . 133
6.2.6. Polinomios Irreductibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
6.2.7. Descomposicin en Fracciones Parciales . . . . . . . . . . . . . . . . . . . . . . 138
V
NDICE GENERAL
VI
Captulo 1
Nociones bsicas de Lgica y Conjuntos
1.1. Introduccin
La lgica matemtica es el estudio del lenguaje utilizado en matemtica. Lo que distingue a
la matemtica de otras ciencias, es el uso de demostraciones en lugar de observaciones. Demostrar
un teorema signica lograr deducir usando reglas, a partir de un pequeo nmero de axiomas, el
resultado que se desea. Estos axiomas traducen al lenguaje matemtico las propiedades ms evi-
dentes de los objetos que interesan, y la sucesin de silogismos por medio de los que se pasa de
los axiomas (o ms prcticamente, de teoremas ya establecidos) a una aseveracin dada, constituye
una demostracin del teorema.
Los axiomas debern referirse a objetos tan bsicos, que no requieran de una denicin especial
y que sin embargo sean comprensibles y aceptables para cualquiera. Estos objetos bsicos se deno-
minan en lgica conceptos primitivos. Los conceptos primitivos que manejaremos en esta seccin
son tres: proposicin (aseveracin), el valor lgico V y el valor lgico F. En lugar de estos valores
lgicos, podramos utilizar las palabras verdadero y falso. Sin embargo, stas tienen sentido
dependiendo del contexto que se est considerando. Por ejemplo, en la geometra euclidiana, la
armacin: por cada punto fuera de una recta pasa una nica recta paralela a ella es verdadera,
pero sto no es as en la geometra hiperblica.
Las proposiciones que consideraremos debern satisfacer la llamada ley del tercero excludo,
que arma que cada proposicin debe tener un slo valor lgico (V o F). Este hecho determina que
nuestra lgica matemtica sea binaria. Notemos que este principio, que a priori podra parecer
trivial, no lo es tanto, ya que nuestro lenguaje habitual nos permite construir proposiciones (ar-
maciones) que pueden tomar ambos valores de verdad. Considere, por ejemplo, la armacin
Yo siempre miento.
Si estoy diciendo la verdad, entonces miento en mi armacin. Es decir, sta es falsa. Si lo que digo
es falso, entonces lo que armo es verdadero.
Es fundamental por tanto, conocer las principales leyes de la lgica matemtica, que regulan la
correccin de los argumentos matemticos. Desarrollaremos aqu los conceptos de verdad, equi-
valencia, consecuencia lgica y algunas aplicaciones al razonamiento matemtico.
1
CAPTULO 1. NOCIONES BSICAS DE LGICA Y CONJUNTOS Vernica Gruenberg Stern
Teniendo presentes las consideraciones anteriores, iniciamos la formalizacin de estas ideas.
DEFINICIN 1.1.1 Una proposicin es una expresin, aseveracin o sentencia de la cual se puede
armar inequvocamente que es verdadera (V) o falsa (F). Denotaremos las proposiciones median-
te letras minsculas p, q, r etc.
EJEMPLOS: Cules de las siguientes expresiones son proposiciones?
1. 8 es menor que 3.
2. Compra 3 panes.
3. El dgito 2
18
de la expansin decimal de es un nmero par.
4. La silla tiene 5 patas.
5. Aprobar este curso?
6. x + 3 = 7
7. Qu bonito!
8. Existe un nico nmero natural que tiene por inverso multiplicativo otro nmero natural.
9. 2+5
Antes de seguir adelante, queremos ilustrar el uso del principio del tercero excluido en unas
demostraciones. Para ello, consideremos las siguientes proposiciones.
PROPOSICIN 1.1.1 Si a
2
es un nmero par, entonces a es un nmero par.
Demostracin:
Sabiendo que a
2
es par, queremos demostrar que a tambin es un nmero par. Por el principio
del tercero excluido, la armacin a es par puede tomar slo uno de los valores de verdad V o
F.
Supongamos que es F. Luego a debe ser impar, por lo que existe un nmero N tal que
a = 2 + 1. Por lo tanto:
a
2
= (2 + 1)
2
= 4
2
+ 4 + 1 = 2(2
2
+ 2) + 1
de donde se concluye que a
2
es un nmero impar, que obviamente contradice la hiptesis.
Por lo tanto, la suposicin de que a es impar toma el valor de verdad F. As, por el principio
del tercero excluido, no hay otra posibilidad excepto que la proposicin a es par sea V .
2
Vernica Gruenberg Stern 1.1. INTRODUCCIN
PROPOSICIN 1.1.2

2 no es un nmero racional.
Demostracin:
Supongamos que la armacin
2 no es un nmero racional es F. Por lo tanto,

2 es un
nmero racional. Esto signica que existen nmeros enteros a, b = 0 sin divisores en comn, tal
que

2 =
a
b
. Luego, elevando esta igualdad al cuadrado, tenemos que: 2 =
a
2
b
2
, de donde
a
2
= 2b
2
, es decir que a
2
es un nmero par. Por la proposicin anterior, esto signica que a es
par, o sea, hay un nmero c Z tal que a = 2c. Reemplazando este valor de a en la igualdad
anterior, obtenemos (2c)
2
= 2b
2
, es decir, 4c
2
= 2b
2
, de donde b
2
= 2c
2
. Luego b
2
es par y
por lo tanto b tambin es un nmero par.
Tenemos entonces que tanto a como b son nmeros pares, es decir, tanto a como b son divisibles
por 2. Pero, al suponer que
2 es un nmero racional es V , elegimos a y b sin divisores en co-

mn. Luego, por el principio del tercero excluido, necesariamente
2 no es un nmero racional
es V .
Usualmente en las demostraciones no se hace referencia al principio del tercero excluido en for-
ma explcita, como hemos hecho en ambas demostraciones. Simplemente se observa que, debido
a que la falsedad de la armacin lleva a concluir la falsedad de alguna hiptesis, y esto ltimo no
puede ser, entonces la proposicin ha de ser verdadera. Esto se hace notar escribiendo contradiccin
(con alguna hiptesis) en el lugar en que ello acaece. Ilustremos esto en la siguiente
PROPOSICIN 1.1.3 En la geometra euclidiana se tiene que: dos rectas L
1
y L
2
perpendiculares a
otra recta L
3
, son paralelas entre s. (Considere conocido que la suma de los ngulos interiores de
un tringulo es igual a 180
).
Demostracin:
Supongamos que L
1
y L
2
no son paralelas entre s. Por lo tanto, las rectas L
1
, L
2
y L
3
forman
un tringulo.
Pero, si L
1
y L
3
son perpendiculares entre s, entonces el ngulo que ellas forman es de 90
.
Anlogamente para L
2
y L
3
, es decir, al ngulo formado por L
2
y L
3
es de 90
.
Luego, al ngulo formado por L
1
, L
2
slo puede ser 0
, debido a que la suma de los ngulos

de un tringulo es de 180
. Esto contradice el supuesto de que L

1
, L
2
y L
3
forman un tringulo.
Luego queda probada la armacin.
Note que el argumento se basa fuertemente en que la suma de los ngulos interiores de un
tringulo es 180
. Si hubiese una geometra en la cual esta suma fuese mayor que 180
, el razona-
miento fallara. . . y dicha geometra existe!
3
1.2. Conectivos Lgicos y Tablas de Verdad
Estudiaremos a continuacin la forma de construir nuevas proposiciones a partir de una, dos o
ms proposiciones dadas, para formar una nueva. Esto se har deniendo algunas operaciones que
consistirn en modicar o combinar mediante ciertos conectivos lgicos las proposiciones bsicas.
Entenderemos por conectivos lgicos a ciertos smbolos que nos permitirn relacionar dos o ms
proposiciones de modo tal que se genere una nueva.
DEFINICIN 1.2.1 Sean p y q dos proposiciones lgicas, entonces se denen los siguientes conecti-
vos lgicos y sus valores de verdad:
Conjuncin Disyuncin Implicacin Equivalencia Negacin Disyuncin
condicional bicondicional exclusiva
p y q; p o q p implica q; p si y solo si q; no p solo p o solo q
tanto p como p si p entonces q p equivale a q
p q p q p q p q p q p p q
V V V V V V F F
V F F V F F F V
F V F V V F V V
F F F F V V V F
OBSERVACIN: En algunos textos se utiliza la notacin p o p para la negacin de p.
DEFINICIN 1.2.2 Sern proposiciones simples aquellas que no incluyen conectivos lgicos. Sern
proposiciones compuestas aquellas que los incluyen.
EJEMPLO 1.2.1 Considere las siguientes proposiciones simples
p : 5 es mayor que 7
q : 4 es divisible por 2
Escriba en palabras las proposiciones p q, p q y (p q) q. Cules son sus valores de
verdad?
DEFINICIN 1.2.3 Si p, q, r, s, etc. son smbolos que no denotan proposiciones especcas, llamare-
mos forma proposicional a cualquier expresin nita que se pueda construir con tales smbolos y
los conectivos lgicos.
4
Vernica Gruenberg Stern 1.2. CONECTIVOS LGICOS Y TABLAS DE VERDAD
OBSERVACIN: Toda forma proposicional tiene asociada una tabla de verdad.
Es decir, con estas operaciones podemos formar formas proposicionales de compleja estructura,
como por ejemplo:
1. (p q) r.
2. [s {(p q) r}] q.
en donde los parntesis tienen un objetivo obvio. Cabe hacer notar que en este punto estamos
frente al problema de contar. En 1, tenemos tres proposiciones bsicas p, q, r. Al construir la tabla
de verdad correspondiente a (p q) r, cuntas posibles alternativas tiene para combinar los
valores de verdad de p, q, r? Y en 2? Si tuviera n proposiciones, cuntas las tendra su tabla de
verdad?
EJEMPLOS: Construya la tabla de verdad de las formas proposicionales:
1. (p q) (p q)
2. (p q) r.
3. [(p q) (q r)] (p r)
DEFINICIN 1.2.4 Las formas proposicionales se pueden clasicar de la siguiente manera:
1. Tautologa si obtiene el valor lgico V (verdadero) para cualquier sustitucin (de valor de
verdad) de las proposiciones que la componen.
2. Contradiccin si obtienen el valor lgico F (falso) para cualquier sustitucin (de valor de
verdad) de las proposiciones que la componen.
3. Contingencia si no es tautologa ni contradiccin.
DEFINICIN 1.2.5 Dos proposiciones p y q (simples o compuestas) son lgicamente equivalentes
si el bicondicional entre ambas es una tautologa. En tal caso, denotamos el bicondicional por
y escribiremos p q.
EJEMPLOS: Demuestre las siguientes equivalencias:
1. p q [(p q) F]
5
2. [p q r] [(p r) (q r)]
3. [p q r] [(p r) (q r)]
OBSERVACIN: Es importante tener presente que las proposiciones pueden ser armaciones de
muy diversos mbitos, entre ellas expresiones matemticas.
DEFINICIN 1.2.6 Se dice que una proposicin p implica lgicamente a una proposicin q si p q
es una tautologa.
DEFINICIN 1.2.7 Sean p
1
, p
2
, . . . , p
n
, q proposiciones. Diremos que q es una consecuencia lgica
de las premisas p
1
, p
2
, . . . , p
n
si p
1
p
2
p
n
implica lgicamente a q.
EJEMPLO 1.2.2 Muestre que (p (p q)) q es una tautologa, y que por lo tanto, q es una con-
secuencia lgica de las premisas p y (p q).
p
p q
premisas
q conclusin
Soliucin: Construimos la tabla de verdad
p q (p q) (p (p q)) (p (p q)) q
V V V V V
V F F F V
F V V F V
F F V F V
de donde obtenemos que (p (p q)) q es una tautologa.
6
Vernica Gruenberg Stern 1.3. LGEBRA DE PROPOSICIONES
1.3. lgebra de Proposiciones
PROPOSICIN 1.3.1 Sean p, q y r proposiciones lgicas, entonces se tienen las siguientes:
Nombre Propiedad
Identidad p V p , p F F , p V V , p F p
Idempotencia p p p , p p p
Involucin (p) p
Complemento p p F , p p V
Conmutatividad p q q p , p q q p
Asociatividad 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)
Leyes de Morgan (p q) p q , (p q) p q
Transitividad [(p q) (q r)] (p r)
Absorcin [p (p q)] p , [p (p q)] p
Dejamos como ejercicio la demostracin, mediante el uso de tablas de verdad, de estas propie-
dades.
7
PROPOSICIN 1.3.2 Sean p y q proposiciones lgicas, entonces se cumplen las siguientes:
1. (p q) (p q)
2. (p q) (q p)
3. (p q) [(p q) F]
Demostracin:
Haremos las correspondientes tablas de verdad:
1.
p q p p q p q (p q) (p q)
V V F V V V
V F F F F V
F V V V V V
F F V V V V
2.
p q p q p q q p (p q) (q p)
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V
3.
p q q p q p q p q F (p q) [(p q) F]
V V F V F V V
V F V F V F V
F V F V F V V
F F V V F V V
OBSERVACIN: Las dos ltimas tautologas reejan fuertemente el principio del tercero excluido,
y por ello son muy usadas en las demostraciones de proposiciones o teoremas. Usar la equivalen-
cia q p para demostrar una armacin p q, se llama mtodo de la contrarecproca de
demostracin, y utilizar la equivalencia [(p q) F] se conoce como mtodo de reduccin al
absurdo.
8
EJEMPLOS:
1. Usando propiedades, determine el valor de verdad de la proposicin
[(p q) (p r)] =[q (p r)]
sabiendo que p (q r) es falsa.
Solucin: Como p (q r) es falsa, necesariamente el valor de verdad de p es V y el
valor de verdad de q r es F. Luego, tanto q como r son F. Luego, p q es F y p r es F.
As, [(p q) (p r)] toma el valor F y por lo tanto la proposicin propuesta es V.
2. Para qu valores de x R la proposicin x < 0 x
2
< 0 es verdadera?
Solucin: Como x R, existen tres posibilidades:
a) Si x > 0, entonces x < 0 es F la proposicin es V.
b) Si x = 0, entonces x < 0 es F la proposicin es V.
c) Si x < 0, entonces x < 0 es V. Como x
2
< 0 es F, se tiene que la proposicin es F.
No queremos dejar pasar la oportunidad de mostrar cmo se pueden usar las tautologas ante-
riores en razonamientos de la vida diaria, y tambin cmo ellas permiten desnudar ciertas falacias.
Consideremos los siguientes
EJEMPLOS:
1. (Lewis Carroll) Pruebe que el siguiente razonamiento es vlido:
a) Todas las cartas fechadas en esta habitacin estn escritas sobre papel azul.
b) Ninguna est escrita con tinta negra, excepto aquellas escritas en tercera persona.
c) No he archivado ninguna de las que puedo leer.
d) Ninguna de las que estn escritas en una hoja estn sin fecha.
e) Todas las que no estn eliminadas estn en tinta negra.
f ) Todas las escritas por Prez empiezan con Estimado seor.
g) Todas las escritas en papel azul estn archivadas.
h) Ninguna de las que estn escritas en ms de una hoja estn eliminadas.
i) Ninguna de las que empiezan con Estimado Seor estn escritas en tercera persona.
No puedo leer ninguna de las cartas de Prez.
9
Solucin: Consideremos las proposiciones
p: la carta est fechada
q : la carta est escrita en papel azul
r : la carta est escrita con tinta negra
s: la carta est escrita en tercera persona
t : la carta est archivada
u: puede leer la carta
v : la carta est escrita en una hoja
w: la carta est eliminada
x: la carta est escrita por Prez
y: la carta empieza con Estimado Seor
Simblicamente el razonamiento anterior se expresa:
a) p q
b) s r
c) u t ((t u))
d) v p
e) w r
f ) x y
g) q t
h) v w ((w v))
i) y s
x u
Basta ahora poner las premisas en el orden adecuado:
f) i) b) e) h) d) a) g) c)
y entonces la conjuncin de las premisas queda:
(x y) (y s) (s r) (r w) (w v) (v p) (p q) (q t) (t u)
de donde, aplicando sucesivamente la transitividad, obtenemos x u.
10
2. Demuestre que el siguiente razonamiento constituye una falacia:
Si el Sr. Ramrez es honesto y capaz, entonces tendr un puesto importante en su empresa.
El Sr. Ramrez es el subgerente de su empresa.
Por lo tanto, el Sr. Ramrez es honesto y capaz.
Solucin: Smbolicamente, este razonamiento tiene la forma: ((p q) q) p
Escribiendo la correspondiente tabla de verdad se ve de inmediato que el argumento no es
vlido, pero, si se dice rpidamente y con energa suena bastante convincente.
EJERCICIOS:
1. Simplique utilizando propiedades.
a) [p (q r)] (p q)
b) (p q) [(p r) (q r)]
c) [p (p q)] p
d) [p (p q)] q
2. Si [(p q) (r t)] es una proposicin falsa, determine el valor de verdad de
(r t) (q r).
3. Sean u y v nmeros enteros, y considere las siguientes proposiciones:
p : u > 0, q : v < 0
r : u
2
> 0, s : v
2
> 0
Exprese las siguientes proposiciones en el lenguaje natural, y determine su valor de verdad,
sabiendo que las cuatro proposiciones son verdaderas:
a) p p
b) p r
c) q s
d) s q
e) p r
f ) r s
g) r p
h) s p
i) r p
4. Considere las proposiciones:
p : dos es par, q : dos es impar
r : tres es par, s : tres es impar
Exprese simblicamente:
11
a) Tres es par o impar.
b) O bien tres es par o bien tres es impar.
c) Si dos no es par entonces tres es par y
dos es impar.
d) No slo dos no es par sino que tampoco
es impar.
e) Si tres no es impar entonces dos no es
par.
f ) Dos es par si y solamente si dos no es
impar.
5. En los siguientes, determine la validez de los razonamientos:
a) Siempre que llueve hay humedad; hoy llovi. Luego, hay humedad
b) Los burros tienen orejas; X tiene orejas. Luego, X es burro.
c) Siempre hay pollo o pato; hoy no hubo pollo. Luego, hoy hubo pato.
d) Si voy a Acapulco es que fui de vacaciones; no fui a Acapulco. Luego, no fui de vacacio-
nes.
e) Si las chicas son risueas, entonces son populares entre los chicos.
Las chicas serias no son populares entre los chicos.
Las chicas intelectuales son serias.
Por lo tanto, las chicas risueas no son intelectuales.
f ) Si estudio, entonces no reprobar este curso.
Si no twiteo muy seguido, entonces estudiar.
Reprob este curso.
Por lo tanto, twiti muy seguido.
6. Escriba simblicamente la armacin: Si repruebo MAT021, entonces no estudi y me deprimo.
Luego, niegue la armacin y traduzca al lenguaje usual dicha negacin.
7. Demuestre las siguientes armaciones:
a) Si a y b son pares, entonces a
2
+b
2
es divisible por 4.
b) Si a y b son impares, entonces a
2
+b
2
es par pero no es divisible por 4.
c) Si a y b son enteros positivos tales que a b = 100 entonces a 10 o b 10.
d) Si un nmero natural no es par entonces no es mltiplo 10.
12
Vernica Gruenberg Stern 1.4. NOCIONES BSICAS DE CONJUNTOS
1.4. Nociones Bsicas de Conjuntos
El concepto de conjunto es una de las ideas ms importantes de la matemtica del siglo XX,
aunque aparentemente no hay nada especialmente geomtrico o cuantitativo en este concepto que
pudiera indicarnos que es algo intrnsicamente matemtico. Sin embargo, esta sencilla nocin ha
inuido todos los aspectos de esta ciencia, empezando con el trabajo del matemtico alemn Georg
Cantor (18451918), quien fue un pionero en este tema.
El concepto de conjunto es un concepto primitivo, pero puede ser considerado como una colec-
cin de elementos u objetos. Estos elementos pueden tener o no tener caractersticas en comn. Una
de las peculiaridades que ms diferencia a los conjuntos que se tratan en matemtica de los de
otras reas es el uso de notacin simblica. Denotaremos a los conjuntos por letras maysculas. Si
un objeto a se encuentra en un conjunto A, diremos que a es un elemento de A o que a pertenece a A,
y escribiremos a A. Si a no est en A o no pertenece a A, escribiremos a / A.
Es claro entonces que un conjunto estar completamente determinado (o denido), cuando
dispongamos de algn medio para decidir si un objeto cualquiera est o no en l. Esto puede
hacerse de varias formas (notar que siempre usaremos un parntesis de llave para agrupar a los
elementos de un conjunto):
1. Listndolos todos. Por ejemplo:
A = {u, v, w}
Esta forma de denir un conjunto se llama denicin por extensin.
2. Listando algunos elementos representativos.
B = {1, 2, 3, 4, 5, . . . }
Esta forma de denir un conjunto no es matemticamente rigurosa pues puede llevar a equ-
vocos; sin embargo, es bastante utilizada precisamente cuando el contexto es claro.
3. Dado un conjunto de referencia U cualquiera, al que llamaremos universo de referencia, pode-
mos denir un conjunto C como aquel formado por los elementos de U que satisfacen alguna
propiedad. Por ejemplo, si U = N = B del ejemplo anterior, podemos denir:
a) C = {x N : x es un nmero primo}
b) D = {x N : x es un nmero par}
Esta forma de denir un conjunto se llama denicin por comprensin.
La pregunta que surge de manera natural es cmo decidir cundo dos conjuntos son iguales.
13
Para ello, consideremos los siguientes ejemplos:
A = {x Z : x
2
= x} y B = {0, 1}
A = {0, 1, 5, 8} y B = {5, 1, 8, 0}
A = {a, b, c} y B = {a, b, c, a, b, c, a, b}
Por simple inspeccin, pareciera claro que en cada caso los elementos de Ay B son los mismos,
no importando:
por qu va se denen
el orden en que los elementos sean dados
la cantidad de veces en que los elementos se repitan.
Por ello, diremos que dos conjuntos A y B son iguales cuando tienen exactamente los mismos
elementos. As, en cada caso del ejemplo anterior tenemos que A = B. Dicho de otra forma, A = B
signica que si x A, entonces se tiene que x B y, recprocamente, si x B entonces tambin
x A.
Pero bien podra suceder que slo una de las dos aserciones anteriores se satisfaga. Diremos en
este caso que un conjunto A est contenido en (o es subconjunto de) un conjunto B si, y slo si, cada
elemento x A satisface que x B. Denotaremos esta relacin por A B. Si un conjunto A no
est contenido en un conjunto B, escribimos A B.
Ms formalmente:
DEFINICIN 1.4.1 Sean A, B conjuntos. Diremos que :
1. A es subconjunto de B, y escribimos A B si y slo si
x A x B, para todo elemento x A.
2. A = B si y slo si (A B B A). Lo anterior tambin se puede expresar como:
x A x B
3. A est propiamente contenido en B si, y slo si, A B, pero A = B. A veces se escribe A B
en este caso.
DEFINICIN 1.4.2 Sea U un universo referencial, y sea A U. Llamaremos conjunto vaco, de-
notado por , al conjunto que no tiene elementos.
A pesar de su obvia trivialidad, este ltimo conjunto tiene varias propiedades interesantes,
cuyas demostraciones nos permitirn introducirnos ms de lleno al mundo del razonamiento ma-
temtico.
14
Vernica Gruenberg Stern 1.4. NOCIONES BSICAS DE CONJUNTOS
PROPOSICIN 1.4.1 El conjunto vaco es subconjunto de cualquier conjunto.
Demostracin: Sea A un conjunto cualquiera. Entonces, o bien A, o bien A.
Si A, entonces tenemos lo que queramos probar.
Luego, supongamos que A. Esto signica que debe existir un elemento x con x / A. Pero
no tiene elementos por lo que tal x no puede existir. Por tanto, nuestra suposicin de que A
es imposible de donde A.
La demostracin anterior puede parecer un tanto extraa cuando se mira por primera vez, pe-
ro es un tpico ejemplo del razonamiento involucrado para probar que el conjunto vaco satisface
alguna propiedad. Como no tiene elementos, no hay en l ninguno que refute la propiedad, de
donde satisface dicha propiedad vacamente!
ILUSTRACIN: Pruebe que los elementos de son negros.
Demostracin:
Si todos los elementos de son negros, entonces no hay nada que probar. Supongamos entonces
que no todos los elementos de son negros. Esto quiere decir que hay un elemento x que no
es negro. Pero no tiene elementos, por lo que tal x no puede existir. Por tanto, el supuesto de que
hay un elemento que no es negro es imposible, de donde todos los elementos de son negros!
Claramente, de manera anloga, puede probarse que los elementos de son de cualquier color!
Notar que hablamos insistentemente de el conjunto vaco. Esto se justica en lo siguiente:
COROLARIO 1.4.1 El conjunto vaco es nico.
Demostracin:
Supongamos que el conjunto vaco no es nico, es decir, al menos hay dos conjuntos vacos.
Sean y
estos dos conjuntos vacos. Queremos probar que =
. Por la proposicin 1.4.1, como

es vaco entonces
, y como
es vaco, entonces
. Luego =
.
15
1.5. lgebra de Conjuntos
En esta seccin especicaremos algunas operaciones de la teora de conjuntos que permiten
construir nuevos conjuntos a partir de otros ya conocidos.
DEFINICIN 1.5.1 Sean A y B subconjuntos de un universo referencial U. Denimos:
la unin de A y B (denotado por A B) como el conjunto formado por todos los elementos
de A y todos los elementos de B. Es decir,
A B = {x U / x A x B}
la interseccin de A y B (denotado por A B) como el conjunto formado por todos los ele-
mentos que estn en A y en B. Es decir,
A B = {x U / x A x B}
la diferencia de Ay B (denotado por AB) como el conjunto formado por todos los elementos
que estn en A y no en B. Es decir,
AB = {x A / x / B}
el complemento de A, denotado por A
c
, al conjunto formado por todos los elementos de U que
no estn en A. Es decir,
A
c
= U A = {x U / x / A}
OBSERVACIN: Podemos notar de inmediato que
AB = A B
c
.
c
= U
U
c
=
Adems, A y B se dicen disjuntos si A B = .
EJEMPLOS:
1. Sean A = {a, b, c}, B = {b, c} y C = {d}. Entonces
A B = {a, b, c}, A B = {b}, AB = {a} y A C =
2. Considere los conjuntos: A = {x R/ 5 |x|}, B = {x R / x
2
+ 6 = 7x},
C = {x R / 7 x 3}, D = y E = R. Determine:
B C, A C, A B, B C, A E, B E, D A y AC.
16
Vernica Gruenberg Stern 1.5. LGEBRA DE CONJUNTOS
PROPOSICIN 1.5.1 Sean A, B y C conjuntos en un universo de referencia U. Entonces se cumple:
1. A B B
c
A
c
.
2. A B = A B = A A B = B.
3. A B B C = A C
4. A B A A B
Demostracin:
1. Debemos probar que
A B B
c
A
c
En efecto: sea x B
c
. Luego: x B
..
AB
x A x A
c
B
c
A
c
A B
En efecto: sea x A. Luego: x A
c
..
B
c
A
c
x B
c
x B
2. Debemos probar que
A B = A B = A
En efecto:
A B A x A B x A x B x A
A B A x A
..
AB
x B x A B
A B = A B = B
En efecto:
A B B x A B x A x B
..
AB
x B
A B B x B x A B
3. Sea x A. Como A B, se tiene que x B. Como B C, se tiene que x C.
4. Debemos probar:
A B A
A A B
que dejamos como ejercicio.
17
OBSERVACIN: Notamos que existe una estrecha relacin entre la notacin de la lgica y la de la
teora de conjuntos. En la siguiente tabla se ilustran las analogas que se pueden establecer entre
los smbolos (operaciones) utilizados en lgica y en conjuntos.
Lgica V F p (Proposicin) p
Conjuntos U A (Conjunto) = A
c
PROPIEDADES 1.5.1 Sean A, B y C conjuntos. Se tienen las siguientes propiedades:
Nombre Propiedad
Identidad A U = A , A = , A U = U , A = A
Idempotencia A A = A , A A = A
Involucin (A
c
)
c
= A
Complemento A A
c
= , A A
c
= U
Conmutatividad A B = B A , A B = B A
Asociatividad A (B C) = (A B) C , A (B C) = (A B) C
Distributividad A (B C) = (A B) (A C) , A (B C) = (A B) (A C)
Leyes de de Morgan (A B)
c
= A
c
B
c
, (A B)
c
= A
c
B
c
18
Vernica Gruenberg Stern 1.5. LGEBRA DE CONJUNTOS
EJEMPLOS:
1. Mostrar que (AC) (B C) = (A B) C.
2. Mostrar que (AC) (B C) = (AB) C.
3. Una embotelladora fabrica tres bebidas gaseosas. Se sabe que hay personas que toman slo
una de ellas, otras que toman slo dos de ellas y otras que toman indistintamente cualquiera
de las tres. Construya un modelo conjuntista que permita describir esta situacin.
Solucin: Sean
A = {personas que toman la bebida 1}
B = {personas que toman la bebida 2}
C = {personas que toman la bebida 3}
Es claro entonces que podemos considerar como universo de referencia a aquellas personas que
son consumidores de la embotelladora, lo cual en trminos de los conjuntos recin denidos
queda:
U = A B C = {consumidores de la embotelladora}
Las personas que beben indistintamente cualquiera de los tres productos, son las que estn
en los 3 conjuntos simultneamente, es decir:
R
1
= A B C = {personas que toman las 3 bebidas}
Las personas que beben slo las bebidas 1 y 2, estn en los conjuntos A y B pero no en C.
Luego
R
2
= (A B) C = {personas que toman slo bebidas 1 y 2}
Anlogamente
R
3
= (A C) B = {personas que toman slo bebidas 1 y 3}
R
4
= (B C) A = {personas que toman slo bebidas 2 y 3}
19
EJERCICIOS:
1. Simplique utilizando propiedades:
a) [A (A B)
c
] [B (B C
c
)]
c
B
c
b) [A (AB)] B
c) [(A B
c
) (AB
c
)]
c
A
c
2. Demuestre:
a) B A A (B C) = A
b) (A B) (A B) = (B A) (AB)
c) [A B A B = ] A =
Las operaciones que hemos denido entre conjuntos pueden representarse mediante los llama-
dos diagramas de Venn, en que los conjuntos se representan por regiones. En la gura, A y B se
representan por los crculos izquierdo y derecho respectivamente, y la zona pintada corresponde
a la operacin que se indica:
A B A B
A
c
B A
20
Vernica Gruenberg Stern 1.6. CUANTIFICADORES
1.6. Cuanticadores
Ampliaremos ahora las posibilidades de generar proposiciones, introduciendo primeramente
el concepto de funcin proposicional.
DEFINICIN 1.6.1 Sea U el conjunto universo en un contexto dado. Entendemos por funcin propo-
sicional a una aseveracin o expresin que contiene una o ms variables, con la propiedad siguiente:
al reemplazar la(s) variable(s) por elementos especcos pertenecientes a U, se obtiene una propo-
sicin.
EJEMPLOS:
1. Sea U = {Los seres humanos}. Entonces, p (x) = x es jugador de ftbol es una funcin
proposicional. Note que: p (Alexis Snchez) es una proposicin verdadera, pero
p (Nicols Mass) es una proposicin falsa.
2. Sea U = R. Entonces, p (x) = |x| 5 es una funcin proposicional. Note que p (6) es
verdadera y p (3) es falsa.
3. Sea U = Z. Entonces p(x) : x
2
1 = 0 es una funcin proposicional. Note que la denimos
utilizando : .
4. Sea U = {rectas en el plano}. Entonces q(x, y) : x y es una funcin proposicional.
Notar que tambin se obtienen proposiciones si en lugar de reemplazar la(s) variable(s) por al-
gn objeto especco del universo referencial, se cuantica el nmero de elementos del universo
que satisfacen la propiedad. Por ejemplo:
(1) Existe un x en el universo con la propiedad x
2
1 = 0.
(2) Todos los x en el universo tienen la propiedad x
2
1 = 0.
Si nuestro universo son los nmeros enteros, (1) es V y (2) es F. Los smbolos usados para
cuanticar son:
: Cuanticador existencial, que se lee existe un o existe al menos un.
: Cuanticador universal, que se lee todos los o para todo o para cada.
As, las proposiciones anteriores se escriben simblicamente:
(1) x U : x
2
1 = 0
(2) x U : x
2
1 = 0
21
Adems, cuanticamos el hecho de que uno y slo un elemento del universo, satisfaga una
propiedad, con el cuanticador existencial acompaado de un signo de exclamacin: ! , que se lee
existe un nico.
Para ver cmo cuanticar en el caso en que se tengan 2 o ms variables, volvamos al ejemplo 4.
anterior en que consideramos el universo como las rectas de un plano, y la funcin proposicional
q(x, y) : x es perpendicular a y
Como q(x, y) contiene dos variables, es necesario anteponer dos cuanticadores. Por ejemplo:
(1) ( x U)( y U) : q(x, y) Existe un par de rectas en U que son perpendi-
culares.
(2) ( x U)( y U) : q(x, y) Existe una recta que es perpendicular a cual-
quier otra.
(3) ( x U)( y U) : q(x, y) Para cada recta en U, existe al menos una que
es perpendicular a ella.
(4) ( x U)( y U) : q(x, y) Las rectas en U son perpendiculares entre s.
Notamos de inmediato que (1) y (3) son V , en cambio (2) y (4) son F. Queremos resaltar en
este punto la diferencia existente entre (2) y (3), de donde podemos concluir de inmediato que los
cuanticadores de distinto tipo no pueden ser intercambiados entre s o, no conmutan.
Hemos vista ya que dada un proposicin, la negacin de sta dene una nueva proposicin
cuyo valor de verdad es el contrario a la proposicin bsica. La pregunta obvia ahora es: cmo
negar una proposicin que viene en trminos de cuanticadores?
Observemos que negar la existencia de un objeto con determinada propiedad p signica aceptar
que ningn objeto posee dicha propiedad, o que, todos los objetos no poseen la propiedad. Por
tanto:
x U : p(x) x U : p(x)
Por ejemplo, si
U : alumnos de MAT021
p(x) : x es rubio,
entonces x U : p(x) se traduce como hay un alumno de MAT021 que es rubio. La negacin
de este hecho es que ningn alumno de MAT021 es rubio, o, de otro modo, todos los alumnos
son no rubios.
22
Vernica Gruenberg Stern 1.6. CUANTIFICADORES
Al revs, negar que todos los objetos de un universo satisfacen cierta propiedad, equivale a
aceptar que a lo menos uno de ellos no la satisface, es decir:
x U : p(x) x U : p(x)
En el ejemplo anterior: x U : p(x) dice que todos los alumnos de MAT021 son rubios.
Negar esto, es aseverar que hay un alumno de MAT021 que no es rubio.
Para negar la existencia de un nico elemento que satisface una propiedad p, se debe ser cui-
dadoso: deber considerarse la negacin tanto de la existencia como de la unicidad, es decir:
(!x U) : p(x) [(x U), p(x)] [(x, y U) : p(x) p(y)]
En el ejemplo anterior: !x U : p(x) dice que hay slo un alumno de MAT021 que es rubio.
Negar esto, es aseverar que ningn alumno de MAT021 es rubio o bien que al menos dos
alumnos de MAT021 son rubios.
Podemos resumir las observaciones anteriores de la siguiente manera:
Negacin de Cuanticadores
(x U), p(x) (x U), p(x).
(x U), p(x) (x U), p(x).
(!x U), p(x) [(x U), p(x)] [(x, y U), p(x) p(y)]
OBSERVACIN: La negacin de proposiciones con 2 o ms variables, se obtiene de manera similar;
por ejemplo:
( x U)( y U) : q(x, y) ( x U)(y U) : q(x, y)
En sntesis, para negar una proposicin cuanticada (sin unicidad), se debe cambiar el cuanti-
cador y negar la funcin proposicional.
23
EJERCICIOS:
1. Dadas las siguientes funciones proposicionales
p(x) : 2x 10 20
q(x) : |x| < 40
a) Determine explcitamente los conjuntos
A = {x R / p(x) q(x) es Verdadero }
B = {x R / p(x) q(x) es Falso }
b) Encuentre AB.
2. Sea A = {1, 2, 3}. Determine el valor de verdad de:
a) x A y A : x +y = 3
b) x A y A : x +y = 3
c) x A y A : x +y = 3
d) x A y A : x +y A
e) x A : x + 1 A
f ) x A : x + 1 A
3. Sea A = {1, 2, 3}. Determine el valor de verdad de
(x A) (y A) (x +y A x y 1)
y negar la proposicin.
4. Para las siguientes deniciones obtenga su negacin
a) Un conjunto A R se dice acotado si: (M R
+
)(x A) : |x| M
b) Una funcin f : R R se dice continua en x
0
si:
> 0 > 0 x R : 0 < |x x
0
| < |f(x) f(x
0
)| <
24
Vernica Gruenberg Stern 1.7. CONJUNTO POTENCIA
1.7. Conjunto Potencia
Un conjunto nuevo interesante que puede construirse a partir de un conjunto A dado, es
el llamado conjunto potencia de A, que denotaremos por P(A). Este conjunto ser aquel formado
por todos los subconjuntos del conjunto A. Se llama a veces tambin conjunto de las partes de A.
Formalmente,
DEFINICIN 1.7.1 Sea A U un conjunto. Se dene el conjunto potencia de A, denotado por
P(A), como el conjunto cuyos elementos son todos los subconjuntos de A. Es decir,
P(A) = {B U / B A}
OBSERVACIN:
Notar que P(A) es un conjunto cuyos elementos son a su vez conjuntos.
El conjunto potencia de un conjunto A siempre es no vaco puesto que tiene el subconjunto
A y como elementos. Es decir: P(A) = .
EJEMPLOS:
1. Si A = {a}, entonces P(A) = {, {a}}
2. Si A = {a, b}, entonces P(A) = {, {a}, {b}, {a, b}}
3. Si A = {a, b, c}, encuentre P(A).
4. Determine P() y P(P()). En este caso se debe tener cuidado, distinguiendo conjunto
de elemento, y respetar la consecuente notacin:
P() = {} y P(P()) = {, {}}
TEOREMA 1.7.1 Sean A, B U. Entonces:
1. A B P(A) P(B).
2. P(A B) = P(A) P(B).
3. P(A) P(B) P(A B).
25
Demostracin:
1. Sea X P(A). Queremos probar que X P(B). Como X P(A), por denicin se tiene
X A. Como A B, lo anterior implica que X B de donde X P(B).
2. Aqu debemos probar una igualdad de conjuntos, es decir debemos mostrar que:
a) P(A B) P(A) P(B) y
b) P(A) P(B) P(A B)
Veamos primeramente a). Sea X P(A B). Como antes, por denicin esto quiere decir
que X A B. Luego, X A y X B, de donde X P(A) y X P(B), es decir
X P(A) P(B).
Veamos ahora b). Sea X P(A) P(B). Luego, X P(A) y X P(B), de donde X A y
X B y entonces X P(A B).
3. Dejamos la demostracin de la inclusin como ejercicio. Para darse cuenta de que en general
P(A B) P(A) P(B) basta tomar A = {a} y B = {b}.
EJERCICIOS:
1. Sean A, B, D U, donde U es el universo de referencia. Si A
c
B = , determine:
a) [(A B) A]
c
b) P(B A) P(D)
2. Qu relacin existe entre los conjuntos P(U A) y P(U) P(A)?
1.8. Producto Cartesiano
Observe que los conjuntos {a, b} y {b, a} son iguales ya que ambos contienen los mismos ele-
mentos. Para poder distinguir el orden de los elementos, se introduce el concepto de par ordenado:
DEFINICIN 1.8.1 Dados dos elementos a A, b B, el par ordenado (a, b) se dene como el
conjunto
(a, b) = {{a}, {a, b}}
Entonces se tiene la siguiente:
PROPIEDADES 1.8.1 Sean a
1
, a
2
A, b
1
, b
2
B. Entonces
(a
1
, b
1
) = (a
2
, b
2
) si y solo si a
1
= a
2
b
1
= b
2
26
Vernica Gruenberg Stern 1.8. PRODUCTO CARTESIANO
Se dene el producto cartesiano como el conjunto de pares ordenados:
DEFINICIN 1.8.2 Sean A, B U. Se dene el producto cartesiano, denotado por AB, de A y B
como el conjunto:
AB = {(x, y) / x A y B}
OBSERVACIN:
Observar que AB = B A.
Claramente, R
2
= RR.
Represente en un diagrama {1, 2, 3} {a, b}.
Es claro que la denicin de par ordenado se puede extenderr a tro ordenado y, en general,
a una n-upla ordenada.
EJEMPLOS:
1. Se arroja un dado azul y a continuacin se arroja un dado rojo. Explicitar un modelo mate-
mtico donde se puedan representar los resultados posibles.
Solucin: Si denotamos por D
a
los posibles resultados del dado azul y por D
r
los posibles
resultados del dado rojo, entonces D
a
= D
r
= {1, 2, 3, 4, 5, 6}. As, un conjunto mediante el
que se puede representar los resultados es el producto cartesiano D
a
D
r
.
2. ZZ representa un reticulado de puntos en el plano cartesiano.
3. Si S
1
= {(x, y) R
2
: x
2
+y
2
= 1} y A = [0, 1], entonces S
1
Arepresenta un cilindro
de altura 1 unidad.
EJERCICIOS:
1. Considere los siguientes subconjuntos de R: A = [0, 1], B =
_
1
n
, n N
_
, C = [1, 1],
D = {0, 1, 1}. Dibuje, en el plano cartesiano, los siguientes conjuntos: AD,
AB, AC, AR, D R, B B, B C. Puede dibujar en R
3
: AC D?
2. Representar grcamente el subconjunto de R
2
que es solucin del sistema de inecuaciones
x +y 1
x +y 1
x y 1
x y 1
y relacionarlo con |x| +|y| 1.
27
TEOREMA 1.8.1 Sean A, B, C, D U. Entonces se cumple:
1. AB = A = B =
2. A(B C) = (AB) (AC)
3. A(B C) = (AB) (AC)
4. A C B D =AB C D
Demostracin: Demostraremos la primera propiedad, dejando las dems como ejercicio.
Probemos, en primer lugar, que si A = B = entonces A B = . Supongamos, para ello,
que A B = , es decir, neguemos la tesis. Luego, existe (a, b) A B, lo que, por denicin del
producto cartesiano signica que a A, b B, de donde A = , B = .
Recprocamente, si A = y B = , entonces existen a A y b B, y por lo tanto, existe
(a, b) AB, de donde AB = .
Adems de las demostraciones formales, sugerimos que, mediante dibujos de subconjuntos
adecuados del plano, verique las armaciones anteriores.
EJERCICIOS:
1. Determine condiciones para que (AB) (B A) = .
2. Determine, justicadamente, si es vlida la siguiente armacin:
(AB)
c
= (A
c
B
c
) (A
c
B) (AB
c
)
3. Cuntos nmeros hay entre 100 y 1000 para los cuales cada dgito es impar?Cuntos de
stos estn entre 100 y 500?
1.9. Cardinalidad
DEFINICIN 1.9.1 Llamaremos cardinalidad de un conjunto A (denotado por |A| #A), al nmero
de elementos que lo forman. Si no existe un nmero natural que corresponda al nmero de ele-
mentos de un conjunto A, diremos que el conjunto tiene innitos elementos, o que A es innito. En
caso contrario, diremos que A es nito.
En otras palabras, diremos que A es nito si se puede escribir de la forma
A = {x
1
, x
2
, x
3
, . . . x
n
}
donde x
1
, x
2
, . . . son sus elementos. En caso contrario, se dice que A es innito.
28
Vernica Gruenberg Stern 1.9. CARDINALIDAD
EJEMPLOS:
1. Si A = , entonces |A| = 0.
2. Si A = {a, b, c}, entonces |A| = 3.
3. Si A = {x N : x 32}, entonces |A| = 33.
4. Si A = Z, entonces A es innito.
5. En una encuesta realizada a los estudiantes de la USM, se encontr que 77 alumnos esta-
ban estudiando ingls, 44 francs y 13 estudiaban ambos idiomas. Cuntos alumnos de los
encuestados estudiaban al menos uno de estos idiomas extranjeros?
Solucin:
Notamos que un alumno que estudia ambos idiomas, est siendo contado en los 3 grupos.
Luego, la suma 77 + 44 considera a tales alumnos 2 veces, por lo que debemos corregir este error
restando la cantidad de alumnos que estudian ambos idiomas, o sea, 13.
Luego 77+4413 = 108 es el nmero de alumnos que estudian al menos un idioma extranjero.
Podemos claricar esta argumentacin del siguiente modo:
Sea
A = {estudiantes de ingls}
B = {estudiantes de francs}
Buscamos |A B|.
Pero |A B| = 13. Como |A| = 77, hay 77 13 = 64 que estudian slo ingls y como |B| = 44,
hay 44 13 = 31 que estudian slo francs.
Por lo tanto: |A B| = (77 13) + (44 13) + 13 = 77 + 44 13.
El razonamiento que hemos utilizado se aplica a dos conjuntos nitos cualesquiera y tenemos
PROPOSICIN 1.9.1 Sean A, B U tales que |A|, |B| < . Entonces
|A B| = |A| +|B| |A B|
Si A y B son disjuntos |A B| = |A| +|B|
COROLARIO 1.9.1 Sean A, B subconjuntos nitos de un universo nito. Entonces
|(A B)
c
| = |U| (|A| +|B| |A B|)
29
Demostracin:
U = (A B) (A B)
c
|U| = |(A B) (A B)
c
|
= |A B| +|(A B)
c
| |(A B) (A B)
c
|
La ltima expresin es 0, pues C C
c
= para cualquier conjunto C. Luego
|U| |A B| = |(A B)
c
|,
y reemplazando |A B| segn la proposicin anterior, obtenemos el resultado.
EJERCICIOS: Extienda la proposicin anterior para el caso de 3 conjuntos nitos, i.e., determine
|A B C|. Tambin determine |(A B C)
c
|.
EJEMPLOS:
1. Sea U = {n N : 1 n 200}. Sea C el conjunto de nmeros de U que no son divisibles ni
por 2 ni por 3. Determine |C|.
Solucin:
Obviamente, resulta aburridsimo contar los elementos de C = {1, 5, 7, 11, . . . , 199}. Para
evitar esto, sea A = {2, 4, 6, . . . , 200} el conjunto de los nmeros pares de U y B =
{3, 6, 9, . . . , 198} el conjunto de los nmeros de U que son divisibles por 3.
Es claro que |A| = 100, y como 198 = 3 66, entonces |B| = 66. Adems,
A B = {6, 12, 18, . . . , 198} y como 198 = 6 33, vemos que |A B| = 33.
Concluimos entonces que:
|C| = |(A B)
c
| = |U| |A B|
= |U| (|A| +|B| |A B|)
= |U| |A| |B| +|A B|
= 200 100 66 + 33
= 67
2. Una encuesta entre 100 estudiantes arroj los siguientes resultados:
41 alumnos toman clases de lgebra
29 alumnos toman clases de Clculo
26 alumnos toman clases de Fsica
15 alumnos toman clases de lgebra y Clculo
8 alumnos toman clases de Clculo y Fsica
19 alumnos toman clases de lgebra y Fsica
5 alumnos toman las tres asignaturas
30
Vernica Gruenberg Stern 1.9. CARDINALIDAD
Determine el nmero de estudiantes entre los 100 encuestados que no estn tomando ningu-
na de esas asignaturas Cuntos toman slo una?
Solucin:
Es ms conveniente en este caso utilizar la informacin dada en el orden inverso en que fue
dada, y de paso mostraremos una aplicacin de los diagramas de Venn.
Cinco alumnos toman las 3 asignaturas, luego el nmero
cinco debe ir en la regin correspondiente a la interseccin
de los 3 ramos. 19 alumnos toman lgebra y Fsica, pero
como 5 toman los 3 ramos, restan 14 que toman slo lge-
bra y Fsica. As ubicamos el nmero 14 en la correspon-
diente regin. Prosiguiendo con este proceso, llegamos -
nalmente a completar la gura.
As, 100 (12 +10 +5 +14 +11 +3 +4) = 100 59 = 41 alumnos no asisten a ningn curso
de estos, y 12 + 11 + 4 = 27 alumnos estn tomando exactamente una de estas asignaturas.
La siguiente proposicin relaciona la cardinalidad del conjunto potencia de un conjunto nito
A con la del conjunto mismo.
PROPOSICIN 1.9.2 Si |A| = n < se tendr que P(A) = 2
n
.
EJEMPLO 1.9.1 Sean A, B U. Si |P(A B)| = 256, |P(A B)| = 4 y |A| = 5, determine
|B|.
Dejamos como ejercicio la demostracin de las siguientes:
PROPIEDADES 1.9.1 Sean A, B U tales que |A|, |B| < . Entonces:
Si A B, entonces |A| |B|
|A
c
| = |U| |A|.
|AB| = |A| |B|
|AB| = |A| |A B|
31
EJERCICIOS:
1. Sea A = {z Z : |z| > 3} calcular |P (A
c
)|.
2. Si A = {1, 2, 3} y B = {a, b} calcular |P (AP (AB))|
3. Se realiz una encuesta a 160 Sansanos de primer ao respecto a la lectura de libros de cien-
cias: Matemtica (M), Fsica (F) y Qumica (Q), obteniendo los siguientes resultados: 65 leen
M, 70 leen F, 73 leen Q, 30 leen M y F, 109 leen F o Q, 106 leen M o Q, 105 leen M o F y
nalmente 40 no leen (no porque no sepan leer, sino porque no tienen inters).
Determine:
a) Nmero de Sansanos que leen los 3 libros.
b) Nmero de Sansanos que lee 1 solo libro.
c) Nmero de Sansanos que leen libros de Matemtica o Fsica, pero no ambas.
d) Nmero de Sansanos que leen libros de Fsica y Qumica.
32
Vernica Gruenberg Stern 1.10. EJERCICIOS DE CONTROLES Y CERTMENES
1.10. Ejercicios de Controles y Certmenes
1. Sean A, B conjuntos en U. Demuestre que: B [(B
c
A
c
) (A B
c
)] = B A
2. Determine, justicadamente, si las siguientes son V o F.
a) (x R) (y R{0} ) :
_
x < y
x
y
< 1
_
b)
_
x R :
|x|
|1 x|
> 1
_
= {x R : |x| > |1 x|}
3. En U = N, considere las siguientes funciones proposicionales:
p(n) = n
2
+n es par
q(n) = 5n + 8 = 23
Determine el valor de verdad de p(5) q(4) n N : q(n)
4. Sean A = {1, 1, 2}, B = {0, 1, 1}. Determine, justicadamente, el valor de verdad de
x A y B : x y B = x
2
y
2
< 1
5. Demuestre o refute (justicando adecuadamente) las siguientes:
a) A B = C B = A = C
b) A B = C B = A = C
c) (A B) (A C) = (A B) C
6. Sean A = {x N : x < 8} y B = {x Z : x
2
< 18}. Determine la cardinalidad de AB.
7. Sean A, B, C U. Suponga que |AB| = 12, B C = {(5, 1), (2, 1), (1, 1)}
Determine: (i) P(B C) (ii) |P(A)|
8. Use propiedades para determinar el valor lgico de
[(p q) (r s)] [(p r) (q s)]
9. Sean A = {2, 4, 6}, B = {1, 3, 2} C = {2, 3}. Determine, justicadamente, el valor de
verdad de
(x A) (y B) (z C) : x +y z 2
33
34
Captulo 2
Trigonometra
La trigonometra proviene de la Grecia antigua, de hace ms de 2000 aos. De hecho, la palabra
trigonometra proviene de las palabras griegas trigonon (tringulo) y metria (medicin), es decir,
podra traducirse como medida del tringulo.
2.1. Introduccin
El concepto de ngulo es la base del estudio de la trigonometra, y es un concepto primitivo,
que podra precisarse en una de las siguientes formas:
un ngulo es una gura geomtrica plana que consiste en dos semirectas con sus puntos
extremos en comn. Este punto es llamado el vrtice del ngulo, y las semirectas son sus
lados.
un ngulo es el conjunto de puntos del plano generados por la rotacin de una semirecta
alrededor de su extremos (vrtice), desde una posicin inicial (lado inicial) a una posicin
nal (lado nal).
Esta ltima denicin tiene ventajas sobre la anterior, puesto que permite, entre otros, el con-
cepto de ngulo para giros mayores a una vuelta.
Por convencin, la medida de un ngulo es positiva si se mide en la direccin contraria a las
manecillas del reloj, y su medida es negativa en otro caso.
Las unidades en las que habitualmente se miden los ngulos son:
grado sexagesimal, denotado por

, que se dene de la siguiente forma:
el ngulo generado por una rotacin completa de una semirecta mide 360
. Luego,
1
es
1
360
de la medida de esta rotacin completa.
El grado (
) se divide en 60 partes iguales, llamadas minutos, denotadas por

El minuto (
) se divide en 60 partes iguales, llamadas segundos, denotadas por

35
CAPTULO 2. TRIGONOMETRA Vernica Gruenberg Stern
radin, que se dene de la siguiente forma:
la medida en radianes de un ngulo , 0 2 es, numricamente, igual a la longitud
del arco de la circunferencia unitaria subtendida por el ngulo .
OBSERVACIN: Como el permetro de una circunferencia es P = 2r, si r = 1 se tiene que P = 2.
Luego, el ngulo correspondiente a una circunferencia completa mide 2. Esta simple observacin
permite transformar las unidades de medida de los ngulos:
rad
=
2
360
Las equivalencies ms usuales son:
0 15 30 45 60 90 120 135 180 270 360
rad
0

12
2
2
3
3
4

3
2
2
OBSERVACIN: La medida de un ngulo no se limita a valores entre 0 y 2; si la semirecta que
genera el ngulo rota alrededor de su extremo en ms de una vuelta, la medida del ngulo ser
mayor a 2. Adems, la rotacin se puede efectuar en el sentido negativo, de donde todo nmero
real representa la medida de un ngulo, medida en radianes.
EJEMPLOS:
1. La medida en radianes de 58
es
58
180
1, 01 rad.
2. La medida en grados de 3,5 rad. es
3, 5 180
200, 5
.
3. Una circunferencia tiene radio igual a 12 cm. Cunto mide el arco subtendido por un ngulo
del centro que mide 135
?
Tenemos que:
rad
=
135
180
=
3
4
Luego, si denotamos la longitud del arco por s: s = r

rad
= 12
3
4
28, 3 cm.
4. Exprese el rea total de un sector circular en trminos del radio y del arco subtendido.
De la geometra, sabemos que el rea de un sector circular es al rea total como el arco sub-
tendido es a la longitud total. Entonces:
A
r
2
=
s
2r
= A =
1
2
sr
Adems, por el ejemplo anterior, como s = r
rad
, se tiene que
A =
1
2
r
2

rad
36
Vernica Gruenberg Stern 2.2. FUNCIONES TRIGONOMTRICAS
EJERCICIOS:
1. El minutero de un reloj mide 12 cm. Que distancia recorre su extremo en 20 minutos?
2. Una va frrea debe describir un arco de circunferencia para cambiar su direccin en 25
en
un recorrido de 120 metros. Cul ser el radio de dicha circunferencia?
2.2. Funciones Trigonomtricas
DEFINICIN 2.2.1 (Funcin Peridica) Se dice que una funcin f es peridica de perodo p, con
p R{0} si
f(x +p) = f(x) x, x +p Dom(f) .
OBSERVACIN: El valor p corresponde a la mnima constante que satisface la relacin y tambin se
llama perodo fundamental.
EJEMPLOS:
1. Considerar la funcin f (x) = x [x] donde [x] denota la parte entera de x. Si hacemos un
grco de la funcin, notamos que la funcin es peridica, de perodo 1. En efecto:
x R : f(x + 1) = x + 1 [x + 1] = x + 1 [x] 1 = x [x] = f(x)
2. La funcin f(x) = |x|, 1 x 1, f(x + 2) = f(x), es peridica de perodo 2.
Las funciones trigonomtricas bsidas son las funciones seno y coseno, y, a partir de ellas, se
denen las cuatro funciones trigonomtricas restantes: tangente, cotangente, secante y cosecante.
Adems, hay dos maneras equivalentes de denir las funciones seno y coseno: como razones entre
los lados de un tringulo rectngulo o mediante el punto sobre el plano cartesiano denido por el
extremo de un ngulo sobre una circunferencia unitaria.
Para denir las funciones trigonomtricas, consideremos una circunferencia de radio 1:
1
1
1 1
(x,y)
Notamos que a cada (x, y) sobre la circunferencia le corres-

ponde un nico , 0 < 2 (medido en radianes). Re-
cprocamente, a cada R, le corresponde un nico (x, y)
sobre la circunferencia, no importando si es mayos a 2 o
menor que 0.
Esta correspondencia nos permite denir las funciones trigonomtricas:
37
DEFINICIN 2.2.2 Para cada R, con las restricciones indicadas, denimos las funciones seno,
coseno, tangente, cotangente, secante y cosecante mediante:
1. sen() = y
2. cos() = x
3. tan() =
y
x
si x = 0
4. cotg () =
x
y
si y = 0
5. sec() =
1
x
si x = 0
6. cosec () =
1
y
si y = 0
f sen cos tan csc sec cot
Dom R R R
2
+n:nZ
R{k:kZ} R
2
+n:nZ
R{k:kZ}
Rec [1, 1] [1, 1] R (, 1] [1, +) (, 1] [1, +) R
Perodo 2 2 2 2
Paridad Impar Par Impar Impar Par Impar
OBSERVACIN:
1. Para ver que el perodo de las funciones seno y coseno es 2, notamos que al incrementar
el ngulo en 2 radianes, la posicin del punto (x, y) en el plano, es la misma. Es decir, si
x = sen , entonces sen( + 2) = x. Anlogamente con el coseno.
En general, si = + 2k, k Z:
sen = sen( + 2k) = sen
cos = cos( + 2k) = cos
2. En vista de la periodicidad de todas estas funciones, ellas no son inyectivas.
3. De manera muy sencilla, podemos hacer el cuadro:
38
Vernica Gruenberg Stern 2.2. FUNCIONES TRIGONOMTRICAS
0

2

3
2
2
(x, y) (1, 0) (0, 1) (1, 0) (0, 1) (1, 0)
sen 0 1 0 1 0
cos 1 0 1 0 1
tan 0 no denido 0 no denido 0
4. Dependiendo del cuadrante (ver la introduccin del prximo captulo) en el que se encuentre
un ngulo , es fcil determinar el signo que debe tener la correspondiente funcin trigono-
mtrica.
5. Notar que sen
2
+ cos
2
= 1, R
Esta es la versin trigonomtrica del Teorema de Pitgoras.
6. De la relacin anterior, y para aquellos R para los que estn denidas las correspondien-
tes funciones, se tiene:
1 + tan
2
= sec
2
1 + cotg
2
= cosec
2
7. Para ver la denicin equivalente, que considera las propiedades de semejanza de tringulos,
consideremos primeramente la gura de al lado, que
muestra la relacin entre un tringulo rectngulo cual-
quiera y uno denido sobre la circunferencia unitaria.
Luego, las deniciones de las funciones trigonom
letricas anteriores son equivalentes a la

siguiente construccin:
Considere el tringulo rectngulo de la siguiente gura:
Se dene:
39
Nombre Denicin
Seno sen =
cateto opuesto
hipotenusa
=
a
c
Coseno cos =
cateto adyacente
hipotenusa
=
b
c
Tangente tan =
cateto opuesto
cateto adyacente
=
a
b
Nombre Denicin
Cosecante cosec =
hipotenusa
cateto opuesto
=
c
a
Secante sec =
hipotenusa
cateto adyacente
=
c
b
Cotangente cotg =
cateto adyacente
cateto opuesto
=
b
a
8. Notar que, debido a la semejanza de tringulos, las razones trigonomtricas solamente de-
penden del ngulo considerado.
Construyendo un tringulo equiltero y un tringulo rectngulo isceles se pueden determinar
los valores de los cuocientes trigonomtricos de algunos ngulos.
de donde obtenemos
0
30
45
60
90
0

6
2
Seno 0
1
2
2
2
3
2
1
Coseno 1
3
2
2
2
1
2
0
Tangente 0
3
3
1
3
40
Vernica Gruenberg Stern 2.3. IDENTIDADES FUNDAMENTALES EN EL TRINGULO
EJEMPLOS:
1. Demostrar que 1 + 2 sec
2
xtan
2
x sec
4
x tan
4
x = 0, x = (2k + 1)/2, k Z.
Solucin:
1 + 2 sec
2
xtan
2
x sec
4
x tan
4
x = (1 + tan
2
x)(1 tan
2
x) + (2 tan
2
x sec
2
x) sec
2
x =
sec
2
x(1 + tan
2
x sec
2
x) = sec
2
x(sec
2
x sec
2
x) = 0.
2. Determine el valor de 2 cos
2
+ 3 sen
2
, si tan =
3
5
.
Solucin:
tan =
3
5
cos =
5
34
sen =
3
34
2 cos
2
+ 3 sen
2
=
77
34
3. Si sen =
12
13
y tan < 0, determine los valores de las funciones trigonomtricas restantes.
Solucin: Como sen > 0 y cos < 0, se tiene que II cuadrante. Adems,
sabemos que sen
2
+ cos
2
= 1 cos =
1 sen
2
de donde:
cos =
5
13
, tan =
12
5
, cotg =
5
12
, sec =
13
5
, cosec =
13
12
EJERCICIOS:
1. Muestre que
_
1 + cotg 60
1 cotg 60
_
2
=
1 + cos 30
1 cos 30
2. Sean = = /4. Vericar que:

sen( +) = sen + sen
cos( +) = cos + cos
.
2.3. Identidades Fundamentales en el tringulo
A partir de las deniciones de las funciones trigonomtricas, se tiene que:
1) sen cosec = 1 2) cos sec = 1 3) tan cotg = 1
A partir de las deniciones equivalentes en el tringulo rectngulo, se tiene que:
4) sen =
a
c
= cos sen = cos(90 ) 5) cos = sen(90 )
En virtud del Teorema de Pitgoras (a
2
+b
2
= c
2
), como ya sealamos, se tiene que:
6) sen
2
+ cos
2
= 1 7) tan
2
+ 1 = sec
2
8) cotg
2
+ 1 = cosec
2
41
2.3.1. Suma y resta de ngulos
Para la suma de ngulos, consideremos la gura
De la gura, se tiene que: cos( +) =
OD
OC
=
AO
OC

DA
OC
Por otro lado
AO
OC
=
AO
OB
OB
OC
= cos cos
DA
OC
=
CE
OC
=
CE
CB
CB
OC
= sen sen
Entonces
cos( +) = cos cos sen sen
Puesto que sen = cos
_
2

_
, esto nos permite calcular razones trigonomtricas de ngulos
negativos y tambin mayores de

2
:
sen() = cos
_
2
+
_
= sen .
De la misma manera,
cos() = sen
_
2
+
_
= cos
42
Vernica Gruenberg Stern 2.3. IDENTIDADES FUNDAMENTALES EN EL TRINGULO
as
sen ( +) = cos
_
2
( +)
_
= cos
__
2

_
+ ()
_
= cos
_
2

_
cos () sen
_
2

_
sen ()
= sen cos cos (sen )
= sen cos + cos sen
De manera similar se pueden obtener
cos( ) = cos ( + ()) = cos cos + sen sen
y
sen( ) = sen ( + ()) = sen cos sen cos
En resumen:
cos( +) = cos cos sen sen
cos( ) = cos cos + sen sen
sen ( +) = sen cos + cos sen
sen( ) = sen cos cos sen
Sumando las dos primeras obtenemos
cos( +) + cos( ) = 2 cos cos
Hacemos un cambio de variables
( + = x) ( = y)
entonces
=
x +y
2
=
x y
2
de donde
cos x + cos y = 2 cos
_
x +y
2
_
cos
_
x y
2
_
Similarmente, es posible obtener las restantes frmulas de prostafresis:
cos x cos y = 2 sen
_
x +y
2
_
sen
_
x y
2
_
sen x + sen y = 2 sen
_
x +y
2
_
cos
_
x y
2
_
sen x sen y = 2 cos
_
x +y
2
_
sen
_
x y
2
_
43
EJEMPLOS:
1. Calcular sen(5/12) y tan(15
)
Solucin: Observar que 5/12 = /4 +/6 y que 15
= 45
30
. Luego:
sen(5/12) = sen(/4 +/6) = sen(/4) cos(/6) + cos(/4) sen(/6) =
2
2
_
31
2
_
tan(15
) = tan(45
30
) =
sen(45
30
)
cos(45
30
)
=
2. Determine cos
7
12
.
Notamos que cos
7
12
= cos
_
4
+

3
_
y procedemos anlogamente.
EJERCICIOS:
1. Encontrar el valor de las funciones trigonomtricas para = 75
.
2. Demuestre las llamadas frmulas del ngulo doble:
a) sen(2) = 2 sen cos R
b) cos(2) = cos
2
sen
2
= 2 cos
2
1 = 1 2 sen
2
R
c) tan(2) =
2 tan
1 tan
2
siempre que tan = 1.

3. Demuestre las llamadas frmulas del ngulo medio:
a) sen
2
_
2
_
=
1 cos
2
b) cos
2
_
2
_
=
1 + cos
2
c) tan
2
_
2
_
=
1 cos
1 + cos
4. Un observador, ubicado a nivel de la calle, determina que el ngulo de elevacin de la parte
superior de un edicio es de 30
. Avanza 100 m hacia el edicio y el ngulo de elevacin es

el doble que el primero. Calcule la altura del edicio.
5. Una montaa inaccesible CD se observa desde el piso en A bajo ngulo . Una base AB
se elige en el terreno perpendicularmente a la horizontal AC y midiendo l metros: En B la
montaa se observa bajo ngulo . Muestre que la altura de la montaa es
h =
l tan tan
_
tan
2
tan
2
44
Vernica Gruenberg Stern 2.4. IDENTIDADES TRIGONOMTRICAS
2.4. Identidades Trigonomtricas
DEFINICIN 2.4.1 Una identidad trigonomtrica es una igualdad, cuya caracterstica es la de perma-
necer vlida para todo nmero real para el cual cada una de las funciones trigonomtricas que
intervienen en la expresin estn denidas.
EJEMPLOS:
1. Demostrar:
1 2 cos
2
x
sen xcos x
= tan x cotg x
Solucin:
tan x cotg x =
sen
2
x cos
x
sen xcos x
=
1 2 cos
2
x
sen xcos x
2. Demostrar que si x +y +z = , entonces
sen(2x) + sen(2y) + sen(2z) = 4 sen xsen y sen z.
Solucin:
sen(2x) + sen(2y) + sen(2z) = 2 sen(z) cos(x y) + 2 sen(z) cos(z)
= 2 sen(z)[cos(x y) + cos(z)]
= 2 sen(z)2 cos
_
x y +z
2
_
cos
_
x y z
2
_
= 4 cos
_
2
y
_
cos
_
2
x
_
sen(z)
= 4 sen(x) sen(y) sen(z).
EJERCICIOS:
1. Demostrar:
sen 2x
1 cos 2x

1 cos x
cos x
= tan
x
2
2. Demostrar:
cos 5x cos x
sen 5x sen x
= tan(3x)
3. Muestre que
tan
2
1 + tan
2

1 + cotg
2
cotg
2
= tan
2
4. Demostrar:
1 + cos x + cos
x
2
sen x + sen
x
2
= cotg
x
2
45
2.5. Resolucin de Tringulos
DEFINICIN 2.5.1 Resolver un tringulo signica determinar todos los lados y los ngulos que lo
determinan.
Es importante tener presente que, para resolver un tringulo, necesitamos conocer 3 datos entre
las longitudes de los lados y las medidas de los ngulos, siendo necesario que entre los datos se
encuentre al menos la longitud de 1 lado. En particular, si el tringulo es rectngulo, podremos
resolver el tringulo si conocemos:
un lado y otro ngulo
dos lados (los dos catetos o la hipotenusa y un cateto)
Antes de construir las herramientas que nos permitirn resolver un tringulo cualquiera, consi-
deremos los siguientes problemas que involucran el tringulo rectngulo.
EJEMPLOS:
1. Del tringulo de la gura, se sabe que: AB//ED, AB AE, BF = BC y se cono-
cen los valores de = CED, = DEF, DB = a. Cunto mide CD?
A B
C
D E
F
Solucin: Se tiene que BC = a +CD = BF
En el tringulo EDC : tan =
CD
ED
En el tringulo EDF : tan =
DF
ED
=
2a +CD
ED
Luego,
tan
tan
=
2a +CD
CD
de donde CD =
2a tan
tan tan
46
Vernica Gruenberg Stern 2.5. RESOLUCIN DE TRINGULOS
2. El tringulo ABC de la gura es rectngulo en B. Adems, se conocen a, b, c con c > a.
Adems, se sabe que = . Cunto mide x?
a
b
c
x
A B
C
Solucin: Tenemos que:
tan =
a
x
tan( +) =
a +b
x
tan( + +) =
a +b +c
x
Como = : tan( + +) =
a +b +c
x
Pero: tan( + +) =
tan + tan( +)
1 tan tan( +)
Reemplazando, obtenemos:
a
x
+
a+b
x
1
a
x

a+b
x
=
a +b +c
x
de donde, despejando x:
x =
_
a(a +b)(a +b +c)
c a
Para la resolucin de un tringulo cualquiera, necesitaremos los teoremas del seno y del coseno,
que presentamos a continuacin.
47
TEOREMA 2.5.1 (Teorema del Seno) Considere el tringulo ABC de la gura.
Claramente
sen =
h
c
b
sen =
h
c
a
b sen = a sen ,
y
sen =
h
a
c
sen =
h
a
b
b sen = c sen
de donde:
sen
a
=
sen
b
=
sen
c
TEOREMA 2.5.2 (Teorema del Coseno) Considere el tringulo ABC:
Por el Teorema de Pitgoras se tiene que
c
2
= h
2
+p
2
a
2
= h
2
+ (b p)
2
De aqu,
c
2
= a
2
(b p)
2
+p
2
= a
2
b
2
+ 2bp
48
Vernica Gruenberg Stern 2.5. RESOLUCIN DE TRINGULOS
Dado que cos = (b p)/a se concluye que
c
2
= a
2
+b
2
2ab cos
Con razonamientos anlogos se tendrn todas las expresiones:
_
_
c
2
= a
2
+b
2
2ab cos
b
2
= a
2
+c
2
2ac cos
a
2
= b
2
+c
2
2bc cos
EJEMPLOS:
1. (Teorema del seno) Una persona ubicada a nivel de la calle, determina que el ngulo de
elevacin de la parte superior de un edicio es de 15
. Avanza 50 m hacia el edicio y el

ngulo de elevacin es 45
. Calcular la altura del edicio.

2. (Teorema del coseno) Dos trenes parten simultneamente de una estacin en direccin tal
que forman un ngulo de 35
. Uno va a 15 km/hr y el otro a 25 km/hr. Determinar a qu

distancia se encuentran separados despus de dos horas de viaje.
EJERCICIOS:
1. Un edicio de 10 pisos de A m de altura cada uno, est ubicado al borde de una avenida. El
ngulo subtendido por los dos pisos inferiores es equivalente al ngulo subtendido por los
tres pisos superiores. Calcular el ancho de la avenida.
2. Un observador, ubicado a nivel de la calle, determina que el ngulo de elevacin de la parte
superior de un edicio es de . Avanza 110 m hacia el edicio y el ngulo de elevacin se
duplica. Luego avanza otros 50 m ms y ve que el ngulo de elevacin triplica al ngulo de
elevacin inicial. Determine la altura del edicio.
3. La altura H de la torre de la gura es desconocida. Se conocen los ngulos de elevacin y
medidos desde dos puntos A y B del suelo, separados por una distancia de L y formando
con la base de la torre un ngulo . Dado que la torre es vertical con respecto al suelo calcule
H en trminos de L, , y cuando = y luego cuando = .
49
2.6. Grcas de las Funciones Trigonomtricas
No tenemos an las herramientas matemticas que nos permiten justicar de manera precisa
por qu las grcas que mostraremos, efectivamente corresponden a las de las funciones trigo-
nomtricas. SIn embargo, es importante que las conozcan a la brevedad, porque sern parte del
material habitual que utilizarn.
Adems de las grcas, recordamos dominio y recorrido de cada una de ellas:
sen : R [1, 1]
x y = sen x
-7.5 -5 -2.5 0 2.5 5 7.5
-2
-1.5
-1
-0.5
0.5
1
1.5
2
cos : R [1, 1]
x y = cos x
-7.5 -5 -2.5 0 2.5 5 7.5
-2
-1.5
-1
-0.5
0.5
1
1.5
2
50
Vernica Gruenberg Stern 2.6. GRFICAS DE LAS FUNCIONES TRIGONOMTRICAS
tan : R
_
2
+n : n Z
_
R
x y = tan x
-7.5 -5 -2.5 0 2.5 5 7.5
-5
-2.5
2.5
5
cotg : R{n : n Z} R
x y = cotg x
-7.5 -5 -2.5 0 2.5 5 7.5
-5
-2.5
2.5
5
cosec : R{n : n Z} R] 1, 1[
x y = cosec x
-7.5 -5 -2.5 0 2.5 5 7.5
-5
-2.5
2.5
5
sec : R
_
2
+n : n Z
_
R] 1, 1[
x y = sec x
-7.5 -5 -2.5 0 2.5 5 7.5
-5
-2.5
2.5
5
Las grcas de las funciones trigonomtricas hacen evidente algunas de sus propiedades, como
su periodicidad y el hecho que no son invectivas, tema sobre el cual volveremos en la seccin 3.7.
51
2.6.1. Funciones sinusoidales
Llamaremos funciones sinusoidades a aquellas cuyas grcas tienen la forma de las grcas de las
funciones seno o coseno. Todas ellas, por cierto, se pueden escribir en la forma de estas funciones.
DEFINICIN 2.6.1 Sea f : R R una funcin peridica de perodo p. Si f tien un valor mximo
M y un valor mnimo m, llamaremos amplitud de la funcin f al valor A =
M m
2
.
EJEMPLOS: Las funciones seno y coseno tienen como valor mximo M = 1, y como valor mnimo
m = 1. Luego, ambas funciones tienen la misma amplitud A =
1 (1)
2
= 1.
La funcin f(x) = 3 sen x tiene como valor mximo M = 3, y como valor mnimo m = 3,
y luego su amplitud es A = 3.
TEOREMA 2.6.1 Las funciones f(x) = sen Bx y g(x) = cos Bx, con B R, son sinusoides de
perodo p =
2
|B|
.
Demostracin: Suponga que el perodo es p. Luego, x R:
sen(B(x +p)) = sen(Bx) sen Bxcos Bp + cos Bxsen Bp = sen Bx
cos Bp = 1 sen Bp = 0 Bp =
_
2 si B > 0
2 si B < 0
Luego, el perodo de f(x) = sen Bx es p =
2
|B|
. Anlogamente con g(x) = cos Bx.
OBSERVACIN: Las funciones f(x) = Asen Bx y g(x) = Acos Bx son funciones sinusoidales de
amplitud A y perodo
2
|B|
, y por lo tanto son fciles de gracar.
EJERCICIOS: Graque las siguientes funciones sinuosidades:
1. f(x) = 4 sen
_
x
3
_
2. de perodo /3 y amplitud 2
3. de perodo 5/ y amplitud 1/3
DEFINICIN 2.6.2 Denimos la frecuencia de una sinusoidal como f =
2
p
, donde p es el perodo.
52
Vernica Gruenberg Stern 2.7. FUNCIONES TRIGONOMTRICAS INVERSAS
Fase de una sinusoidal Recordemos que, en general, la grca de una funcin en la que el argu-
mento se modica por una constante c > 0, se obtiene trasladando la grca de la funcin original
en c unidades a la izquierda, y si c < 0, en |c| unidades hacia la derecha. En el caso de la funcin
f(x) = sen(x +c), por ejemplo, se tendr:
c > 0 : y = sen x se traslada c unidades hacia la izquierda.
c < 0 : y = sen x se traslada |c| unidades hacia la derecha.
DEFINICIN 2.6.3 Llamaremos diferencia de fase de la sinusoidal y = sen(x + c) al nmero c.
Anlogamente para y = cos(x +c).
Caso General Sean A = 0, B = 0, y considere y = Asen(Bx + C) y = Acos(Bx + C).
Entonces, la amplitud de la sinusoide es |A|, el perodo es p =
2
|B|
y la diferencia de fase es
C
B
.
EJERCICIOS:
1. Graque las siguientes:
a) f(x) =
1
2
cos(
x
2
)
b) f(x) = 2 sen(2x +

3
)
2. Escriba la ecuacin de una sinusoide de perodo

2
, amplitud 2 y diferencia de fase

2
. Graf-
quela.
2.7. Funciones Trigonomtricas Inversas
Se ha mencionado ya que las funciones trigonomtricas no son inyectivas. Debemos por tanto
restringirlas de modo de poder denir las funciones trigonomtricas inversas, lo que hacemos a
continuacin:
53
Funcin sen
1
=: arc sen cos
1
=: arc cos tan
1
=: arc tan
Nombre Arcoseno Arcocoseno Arcotangente
Dominio [1, 1] [1, 1] R
Recorrido
_
2
,

2
[0, ]
2
,

2
_
OBSERVACIN:
1. Es importante notar que sen
1
est denotando a la funcin inversa de seno y no a
1
sen
.
2. arc sen x = y x = sen y
3. La funcin sen : R [1, 1] no es invertible. Sin embargo, como relacin, es invertible y
podemos construir la relacin inversa sen
1
: [1, 1] R, que no es funcin, puesto que,
por ejemplo, sen
1
(1) =

2
+2k, k Z, es decir, posee innitas imgenes, en el sentido de
las relaciones.
EJEMPLOS: Determine el valor numrico de A = sec
_
arc tan
_
2
3
__
.
Solucin: u = arc tan
_
2
3
_
tan u =
2
3
. Se construye un tringulo rectngulo que veri-
que lo anterior, es decir, con hipotenusa
13, y se deduce que A =
13
3
.
EJERCICIOS:
1. Muestre que
arc tan
_
1
2
_
+ arc tan
_
1
3
_
=

4
2. Resolver la ecuacin
arc sen x + arc sen
_
3x
_
=

2
54
Vernica Gruenberg Stern 2.8. ECUACIONES TRIGONOMTRICAS
2.8. Ecuaciones Trigonomtricas
Una ecuacin trigonomtrica es una ecuacin que contiene al menos una funcin trigonomtrica
de un ngulo. Recordemos que una ecuacin es una igualdad que se cumple para ciertos valores del
universo considerado, a diferencia de una identidad, que satisface la igualdad para todos los valores
del universo en cuestin. En trminos formales, toda identidad es una ecuacin cuya solucin es
el dominio de la(s) funcion(es) involucrada(s).
EJEMPLOS:
1. sen x + cos x = 1 es una ecuacin trigonomtrica.
2. sen
2
x + cos
2
x = 1 es una identidad trigonomtrica.
Nuestro objetivo en esta seccin es aprender a resolver ecuaciones trigonomtricas, que hare-
mos a travs de algunos ejemplos.
EJEMPLOS: Resuelva las siguientes:
1. 3 sen x = 1 + 2 sen x
Solucin:
2. 2 cos
2
x 3 cos x = 2
Solucin:
3. 2 sen xcos x cos x = 0
Solucin:
4. Cuidado con elevar al cuadrado! Cuando en una ecuacin aparecen sen x y cos x, puede
resultar tentador el elevar al cuadrado para hacer desaparecer una de las dos funciones (por
la identidad fundamental), este mtodo puede hacer aparecer soluciones falsas, por ejemplo,
al despejar sen x en la ecuacin sen x + 2 cos x = 1 y elevar al cuadrado se tiene
sen
2
(x) = (1 2 cos x)
2
o sea
sen
2
x = 1 4 cos x + 4 cos
2
x
pero sen
2
x = 1 cos
2
x, luego la ecuacin es
5 cos
2
x = 4 cos (x) cos x(5 cos x 4) = 0
luego cos x = 0 o cos x = 4/5. Note que x =
2
es solucin de cos x = 0 pero x =
2
no es
solucin de la ecuacin original
sen x + 2 cos x = 1
55
EJERCICIOS:
1. 3 sec
2
x 4 = 0
2. 2 sen xcos x + 4 sen x cos x 2 = 0
3. sen xsec x +
2 sen x sec x
2 = 0
4. cos
2
x + 2 cos x 3 = 0
5. sec
2
x 2 sec x = 0
6. 2 cos x 5 + 2 sec x = 0
7. tan x 1 + cos 2x = 0
2.8.1. Ecuaciones de la forma a sen x + b cos x = c
Un tipo bastante comn de ecuacin trigonomtrica es aquella de la forma
a sen x +b cos x = c
Para resolver este tipo de ecuaciones, se puede seguir el siguiente mtodo:
1. Se divide la ecuacin por
a
2
+b
2
, nos queda
a
a
2
+b
2
sen x +
b
a
2
+b
2
cos x =
c
a
2
+b
2
2. buscamos un ngulo tal que
cos =
a
a
2
+b
2
y sen =
b
a
2
+b
2
(existe pues
_
a
a
2
+b
2
,
b
a
2
+b
2
_
esta sobre la circunferencia unitaria)
3. Reescribimos en la forma
cos sen x + sen cos x =
c
a
2
+b
2
pero cos sen x + sen cos x = sen ( +x) as
sen ( +x) =
c
a
2
+b
2
que es una ecuacin de tipo bsico. Luego, obtenemos x + , y de all x, aplicando arc sen a
la ecuacin, siempre que
A
2
+B
2
1.
56
EJEMPLOS: Aplique el mtodo anterior para resolver las siguientes:
1. sen x
3 cos x = 1
2. 3 sen x + 4 cos x =
5
2
3. cos 2x =
1
2
cos x sen
2
x
4.

3 sen 3x cos 3x =
3
5.
1 tan x
1 + tan x
= 1 + sen 2x
6. sen 2x + sen 4x = cos 4x + cos 6x
7. tan
3
x 3 sec x = 0
8. sec x + sec 2x + sec xsec 2x = 0
1. Resuelva la ecuacin
2 sen
_
x
2
_
cotg (2x) 2
3 sen
_
x
2
_
= cotg (2x)
3
2. Estudie la sinusoidal y determine amplitud, perodo, ngulo de fase y represente un perodo,
si
f(x) = cos 2x + 2 cos xcos(x /2)
3. Probar que sen
2
+ tan
2
=
1 cos
4
cos
2
.
4. Probar
cos
_
6x +
5
4
_
+
2
2
(sen 3x + cos 3x)
2
2
2
=
2 sen 6x
2
2
cos 6x
5. a) Determine todos los a R para los cuales la ecuacin
sen x + cos 2x = a
tenga solucin.
b) Determine los x R tales que
0 sen x + cos 2x 1.
57
6. Considere el tringulo ABC, con = CAB y D un punto en AB. Determine CD si sabe
que:
= 120
, BC = 2
3, AC = 2, AD = DB.
7. Determine los valores de a R para los cuales la siguiente ecuacin posee solucin:
sen
2
x sen xcos x 2 cos
2
x = a
8. Sean
f : R R
x sen x
y h : R R
denida por
h(x) =
_
_
0 si x > 0
1 si 1 x 0
3 si x < 1
a) Determine y graque la funcin g =
1
hf
.
b) Resuelva la ecuacin : sen(2x) +g(x) cos(2x) =
2.
c) Graque u(x) = 2g(x) sen(2x).
9. Un helicptero se halla suspendido a una altura de 3400[m] sobre la cumbre de una montaa
que tiene 1730[m] de altura. Desde la cima de dicha montaa y desde el helicptero puede
verse la cpide de otra montaa ms alta que la anterior. Desde el helicptero, el ngulo de
depresin es de 45
. Desde la cima de la primera montaa, el ngulo de elevacin es de 30
.
Calcule:
a) La distancia entre las cimas de las montaas.
b) La altura de la montaa ms alta.
10. Si x +y =

2
, resuelva la ecuacin trigonomtrica
sen(x y) = 2 sen xsen y
11. Resolver la ecuacin sen
3
x + cos
3
x = 1
1
2
sen(2x).
58
Vernica Gruenberg Stern 2.10. PROPIEDADES TRIGONOMTRICAS BSICAS (RESUMEN)
2.10. Propiedades trigonomtricas bsicas (resumen)
cos [1, 1] sen [1, 1] R
cos
2
+ sen
2
= 1 R
tan =
sen
cos
= /2 +k, k Z
cotg =
cos
sen
= k, k Z
cos( ) = cos cos sen sen , R
sen(/2 ) = cos R
1 + tan
2
= sec
2
= /2 +k, k Z
1 + cotg
2
= cosec
2
= k, k Z
sec =
1
cos
= /2 +k, k Z
cosec =
1
sen
= k, k Z
cos(/2 ) = sen R
tan(/2 ) = cotg = k/2, k Z
sen( ) = sen cos cos sen
59
tan( ) =
tan tan
1 tan tan
sen(2) = 2 sen cos
cos(2) = cos
2
sen
2
tan(2) =
2 tan
1 tan
2
sen
2
(/2) =
1 cos
2
cos
2
(/2) =
1 + cos
2
tan
2
(/2) =
1 cos
1 + cos
sen cos =
1
2
[sen( +) + sen( )]
cos sen =
1
2
[sen( +) sen( )]
cos cos =
1
2
[cos( +) + cos( )]
sen sen =
1
2
[cos( ) cos( +)]
sen + sen = 2 sen
_
+
2
_
cos
_

2
_
sen sen = 2 cos
_
+
2
_
sen
_

2
_
cos + cos = 2 cos
_
+
2
_
cos
_

2
_
cos cos = 2 sen
_
+
2
_
sen
_

2
_
60
Captulo 3
Funciones Exponencial y Logaritmo
3.1. Introduccin
Las funciones exponencial y logaritmo aparecen en fenmenos tan diversos como el crecimien-
to del nmero de bacterias en una poblacin, la desintegracin de sustancias radiactivas o la capi-
talizacin de dinero colocado a inters compuesto.
3.2. Funcin Exponencial
La funcin exponencial es una generalizacin de la nocin de potencia de un nmero.
DEFINICIN 3.2.1 Sea a > 0, a = 1. La funcin f : R R
+
, x f(x) = a
x
se llama funcin
exponencial de base a.
OBSERVACIN: Puede observar que a
x
= sup{a
r
: r x, r Q} lo que permite denir la
funcin exponencial para cualquier nmero real.
PROPIEDADES 3.2.1 La funcin exponencial satisface las siguientes:
Si f(x) = a
x
, a > 1:
1. f(x) > 0, x R
2. f(0) = 1
3. f(1) = a
4. f es biyectiva.
5. f es creciente en todo su dominio.
6. Si x entonces a
x
tiende a +.
7. Si x entonces a
x
tiende a 0.
Si g(x) = a
x
, 0 < a < 1:
1. g(x) > 0, x R
2. g(0) = 1
3. g(1) = a
4. g es biyectiva
5. g es decreciente en todo su dominio.
6. Si x entonces a
x
tiende a 0.
7. Si x entonces a
x
tiende a +.
61
CAPTULO 3. FUNCIONES EXPONENCIAL Y LOGARITMO Vernica Gruenberg Stern
Notamos que la funcin exponencial es biyectiva y, por lo tanto, invertible. La funcin inversa
de la funcin exponencial se llama funcin logaritmo en base a. Si bien una manera ms precisa
de introducir los logaritmos y estudiar sus propiedades cualitativas es por medio de integrales,
que se ver en MAT022, existen maneras heursticas que slo precisan los contenidos hasta aqu
adquiridos para conocer algunas de sus propiedades ms importantes.
3.3. Funcin Logaritmo
DEFINICIN 3.3.1 Sea a > 0, con a = 1. La funcin f : R
+
R, x f(x) = log
a
(x) se llama
funcin logaritmo en base a y es la funcin inversa de a
x
, es decir,
y = a
x
log
a
y = x
PROPIEDADES 3.3.1 La funcin logaritmo satisface las siguientes propiedades:
Si f(x) = log
a
x, a > 1, entonces
1. log
a
1 = 0 pues a
0
= 1.
2. log
a
a = 1 pues a
1
= a.
3. f es biyectiva.
4. f es creciente en todo su dominio.
5. Si x se acerca + entonces
log
a
x +.
6. Si x se acerca a 0 desde valores posi-
tivos, entonces log
a
x .
Si g(x) = log
a
x, 0 < a < 1, entonces
1. log
a
1 = 0 pues a
0
= 1.
2. log
a
a = 1 pues a
1
= a.
3. g es biyectiva.
4. g es decreciente en todo su dominio.
5. Si x se acerca a + entonces
log
a
x .
6. Si x se acerca a 0 desde valores posi-
tivos, entonces log
a
x +.
La relacin entre las grcas de ambas funciones se puede ver en la siguiente gura:
62
Vernica Gruenberg Stern 3.3. FUNCIN LOGARITMO
PROPIEDADES 3.3.2 Las funciones arriba denidas satisfacen las siguientes:
Funcin exponencial de base a
1. a
x
a
y
= a
x+y
2.
a
x
a
y
= a
xy
3. (a
x
)
y
= a
xy
4. a
log
a
x
= x
Funcin logaritmo de base a
1. log
a
(xy) = log
a
x + log
a
y
2. log
a
_
x
y
_
= log
a
x log
a
y
3. log
a
x
y
= y log
a
x
4. log
a
x
x
= x
5. log
a
x =
log
b
x
log
b
a
3.3.1. Bases 10 y e
Las bases ms usuales son a = 10 y a = e, donde e es el nmero de Euler que, veremos ms
adelante, satisface la relacin 2 < e < 3. Los logaritmos en estas bases se llaman y denotan de la
siguiente manera:
Logaritmo decimal (a = 10): y = log
10
x = log x
Logaritmo natural (a = e): y = log
e
x = ln x
63
EJEMPLOS:
1. Resolver en R las ecuaciones:
a) log
16
x + log
4
x + log
2
x = 7
b) log
2
(9
x1
+ 7) = 2 + log
2
(3
x1
+ 1)
Solucin:
a) Pasamos los trminos a base 2:
log
2
x
log
2
16
+
log
2
x
log
2
4
+ log
2
x = 7
1
4
log
2
x +
1
2
log
2
x + log
2
x = 7
7
4
log
2
x = 7 log
2
x = 4 x = 16
b) log
2
(9
x1
+ 7) log
2
(3
x1
+ 1) = 2 log
2
_
9
x1
+ 7
3
x1
+ 1
_
= log
2
4
9
x1
+ 7 = 4(3
x1
+ 1) 3
2(x1)
4 3
x1
+ 3 = 0
Sea u = 3
x1
. Entonces, la ecuacin puede escribirse en la forma:
u
2
4u + 3 = 0 (u 3)(u 1) = 0
u = 3 3
x1
= 3 x = 2 u = 1 3
x1
= 1 x = 1
2. Resuelva en R:
a) log
(
1
3
)
x 1
b) e
ln x
< 0
c) log
4
_
1
8
_
x
= 5
d) log
7
x + 4 = log
7
x
Solucin:
a) Restriccin: x > 0. Aplicamos exponencial en base
1
3
:
x
_
1
3
_
1
0 < x
1
3
S =
_
0,
1
3
_
64
Vernica Gruenberg Stern 3.3. FUNCIN LOGARITMO
b) Restriccin: x > 0. Pero, e
ln x
= x. Luego, la inecuacin queda:
x < 0, lo que contradice la restriccin, de donde S = .
c) Como
_
1
8
_
x
> 0 x R, no hay restricciones. Aplicamos exponencial en base 4:
_
1
8
_
x
= 4
5
(2
3
)
x
= (2
2
)
5
2
3x
= 2
10
Aplicando log
2
: 3x = 10 x =
10
3
.
d) Restriccin: x > 0. Rescribiendo la ecuacin:
log
7
x + log
7
7
4
= log
7
x log
7
(7
4
x) = log
7
x 7
4
x = x

x(
x 7
4
) = 0

x = 0

x = 7
4
Como x > 0 :

x = 7
4
x = 7
8
EJERCICIOS:
1. Encuentre los valores de x tal que:
a) log
6x17
(x
2
9) = 1
b) log
2
(x
2
5) = 2
2. Considere las funciones h(x) = log
2
(x+2), f(x) = ln(x+3), m(x) = 3
x
+1. Determine
en cada caso su dominio, y bosqueje sus respectivas grcas.
3. Resolver las siguientes ecuaciones, aplicando las propiedades:
a) ln[(x + 3)(x + 5)] = ln 15
b) ln(x
2
3x + 2) = ln(x
2
5x + 5)
c) 9 3
2x
15 3
x
6 = 0
4. Verique que log
12
2 + log
12
6 = 1
5. Resuelva a) log
1/3
(log
3
(x + 2)) > 0 b) log
5
_
log
1/2
(x + 5)
_
> 0
6. Resuelva 1 < log
3
x
2
< 2
7. Resuelva 2
x
+ 2
x1
+ 2
x2
+ 2
x3
= 960.
65
3.3.2. Aplicaciones
Como se mencion en la introduccin, las funciones exponenciales y logartmicas pueden ser
utilizadas para resolver y modelar situaciones de la vida real. Algunas de estas situaciones son: el
crecimiento de bacterias en un cultivo, el crecimiento de la poblacin de una ciudad, el tiempo que
toma un objeto para llegar a cierta temperatura, la capitalizacin debida al inters bancario, etc.
Modelo de crecimiento (k > 0) y decrecimiento (k < 0):
A(t) = A
0
e
kt
Ley de enfriamiento de Newton:
u(t) = T + (u
0
T)e
kt
, k < 0
Modelo logstico de crecimiento:
P(t) =
c
1 +ae
bt
Ejercicios propuestos
1. Calcule la vida media del radio si ste decae exponencialmente con una constante de k =
0,0004188.
2. Un pollo que tiene una temperatura de 40
F es movido a un horno cuya temperatura es de

350
F. Despus de 4 horas la temperatura del pollo alcanza 170
F. Si el pollo est listo para

comer cuando su temperatura llegue a 185
F, calcule el tiempo que tomar cocinarlo.

3. La poblacin de cierta isla se puede modelar en funcin del tiempo como
f (t) =
35000
1 + 4 3
(0,1)t
en que porcentaje vara la poblacin entre t = 5 y t = 10.
4. Cierto cultivo de bacterias tiene una tasa de crecimiento poblacional exponencial. Si inicial-
mente hay 1000 bacterias y la cantidad se duplica en 5 minutos Cunto hay que esperar
antes de tener 1000000 de bacterias?.
66
1. Resuelva el sistema
log x + log(y
3
) = 5
log
_
x
2
y
_
= 3
2.
3.
67
68
Captulo 4
Geometra Analtica
4.1. Introduccin
La geometra de Euclides (356-300 A.C.) es conocida desde la enseanza escolar. La idea esen-
cial de la geometra analtica proviene, esencialmente, de Descartes y Fermat, de nes del siglo XV, y
consiste en representar las guras geomtricas clsicas, utilizando herramientas algebraicas, como
son las ecuaciones.
Sabemos que cada nmero real x Rpuede ser representado como un punto en la recta real, en
la cual se ha elegido un punto privilegiado O, al que llamamos origen (que corresponde a x = 0),
y una direccin (por ejemplo, a la derecha) a la que llamamos positiva. La direccin contraria ser
llamada direccin negativa.
En el plano cartesiano R
2
= R R, escogemos, de manera anloga, un punto privilegiado O,
al que llamamos origen (que corresponde al punto de interseccin entre ambas rectas reales), al
que le asignamos las coordenadas (0, 0). Notamos que las rectas consideradas dividen el plano en
cuatro sectores. Cada uno de ellos es un cuadrante. El primer cuadrante es el que considera valores
positivos para x y para y, y se enumeran consecutivamente en el orden contrario a las manecillas
del reloj.
1
2
3
4
5
6
1
2
3
1 2 3 4 5 6 7 1 2 3 4
II
III IV
I
Los puntos del plano pueden ponerse en co-
rrespondencia biyectiva con el producto carte-
siano R R de la siguiente forma: si P es un
punto del plano, por l pasa una nica recta L pa-
ralela al eje Y (recta vertical), la cual corta al eje
X (recta horizontal) en un nico punto x. Anlo-
gamente, por P pasa una nica recta M paralela
al eje X, determinando un nico punto y en el eje
Y . As, a cada punto P se le asocia un nico par
ordenado (x, y) R
2
. Recprocamente, dado un
par ordenado (x, y) R
2
, x determina un nico
punto en el eje X e y determina un nico punto en el eje Y . Por x pasa una nica recta paralela a
Y y por y pasa una nica recta paralela al eje X, determinndose un nico punto P en el plano .
69
CAPTULO 4. GEOMETRA ANALTICA Vernica Gruenberg Stern
Luego, un punto P de coordenadas (x, y) se puede gracar en este plano cartesiano, y, en tal
caso, escribimos P(x, y).
4.2. Distancia entre dos Puntos
DEFINICIN 4.2.1 Una distancia o mtrica entre dos puntos P(x
1
, y
1
) y Q(x
2
, y
2
) es una funcin de
dos variables que denotamos por d(P, Q) que satisface
1. d(P, Q) 0
2. d(P, Q) = 0 P = Q ( x
1
= x
2
y
1
= y
2
).
3. d(P, Q) = d(Q, P) (Simetra).
4. d(P, Q) d(P, R) +d(R, Q) (Desigualdad Triangular).
DEFINICIN 4.2.2 La distancia euclidiana entre dos puntos P(x
1
, y
1
) y Q(x
2
, y
2
) est dada por
d(P, Q) =
_
(x
2
x
1
)
2
+ (y
2
y
1
)
2
EJEMPLOS:
1. Calcular la distancia entre (1, 2) y (1, 3).
Solucin: d ((1, 2), (1, 3)) =
_
(1 (1))
2
+ (2 3)
2
=
5
2. Muestre que d ((x, 0) , (z, 0)) = |x z|
Solucin: d ((x, 0) , (z, 0)) =
_
(x z)
2
+ 0
2
= |x z|
3. Muestre que la distancia euclidiana denida corresponde a la nocin usual de distancia en el
plano.
Solucin: Sean P
1
(x
1
, y
1
) y P
2
(x
2
, y
2
) dos puntos distintos en el plano, y sea Q(x
2
, y
1
).
Entonces, el tringulo P
1
QP
2
es un tringulo rectngulo. Aplicando el teorema de Pitgoras
a este tringulo, obtenemos lo pedido.
4.2.1. Divisin Interior de un trazo
Considere los puntos P(x
1
, y
1
) y Q(x
2
, y
2
) y el segmento que une los puntos PQ ( o QP). Sea
R(x, y) un tercer punto que divide el segmento en la relacin
PR
RQ
=
r
s
para rs > 0
70
Vernica Gruenberg Stern 4.2. DISTANCIA ENTRE DOS PUNTOS
Usando semejanza de tringulos se obtiene que las coordenadas del punto R son
x =
rx
1
+sx
2
r +s
y =
ry
1
+sy
2
r +s
OBSERVACIN: Si R es el punto medio, entonces r = s = 1, de donde
x =
x
1
+x
2
2
, y =
y
1
+y
2
2
EJEMPLOS:
1. Demostrar que el tringulo con vrtices en A(2, 4), B(5, 1) y C(6, 5) es issceles.
Solucin: AB =
9 + 9 = 3
2, BC =
1 + 16 =
17, AC =
16 + 1 =
17
El tringulo posee dos lados de igual longitud, luego es issceles.
2. Demostrar analicamente que las diagonales de un rectngulo son iguales.
Solucin: Consideremos un rectngulo cualquiera, cuyos vrtices tienen coordenadas
O(0, 0), A(a, 0), B(a, b), C(0, b). Luego:
OB =
b
2
+a
2
y AC =
a
2
+b
2
, que son iguales.
3. Demostrar analricamente que los segmentos de rectas que unen los puntos medios de los
lados opuestos de cualquier cuadriltero se bisectan entre s.
Solucin: Consideremos un cuadriltero cualquiera, con vrtices en
O(0, 0), A(a, 0), B(b, c), C(d, e). Sean:
M : punto medio de OA = M(
a
2
, 0)
S : punto medio de AB = S(
a+b
2
,
c
2
)
N : punto medio de BC = N(
b+d
2
,
c+e
2
)
R : punto medio de OC = R(
d
2
,
e
2
)
Sean: P(x, y) y P
(x
, y
) los puntos medios de MN y RS respectivamente. Luego:

x =
a +b +d
4
, y =
c +e
4
y x
=
a +b +d
4
, y
=
c +e
4
P = P
.
EJERCICIOS:
1. Demostrar que el tringulo con vrtices en A(3, 6), B(8, 2) y C(1, 1) es rectngulo.
2. Demostrar que los puntos A(3, 2), B(1, 2), C(9, 10) son colineales.
71
3. La abscisa de un punto es 6 y su distancia al punto (1, 3) es

74. Determine la ordenada
del punto.
4. El punto P(3, 4) divide al trazo P
1
P
2
en la razn 5 : 3. Si P
1
(1, 2), determinar P
2
.
5. Si el segmento de recta AB es dado por los puntos A(9, 3) y B(1, 2), determine el punto
C, sobre la extensin del segmento, de manera que |AB| : |BC| = 5 : 3.
6. Si el segmento de recta AB es dado por los puntos A(11, 1) y B(9, 11) es dividido en la
razn 2 : 3 : 5 (medido de A a B), encuentre los puntos de divisin.
DEFINICIN 4.2.3 Un lugar geomtrico es el conjunto de todos los puntos del plano que satisfa-
cen una condicin dada en trminos geomtricos. Generalmente, aunque no siempre, ste queda
descrito por una ecuacin que describe una curva.
EJEMPLOS:
1. Hallar la ecuacin del lugar geomtrico de todos los puntos del plano que equidistan de (1, 0)
y (0, 1).
Solucin: Sea P(x, y) un punto cualquiera en el lugar geomtrico. Entonces:
d ((x, y) , (1, 0)) = d ((x, y) , (0, 1))
(x 1)
2
+y
2
= x
2
+ (y 1)
2
ecuacin que se satisface si y solo si y = x. El lugar geomtrico es el conjunto de puntos
(x, y) R
2
que satisfacen la ecuacin y = x (que no es difcil ver que se trata de una recta).
2.
4.3. La Recta
Considere los puntos P(x
1
, y
1
) y Q(x
2
, x
2
) en el plano. El primer postulado de Euclides arma
que dado dos puntos existe una nica recta que pasa por ellos. La recta que pasa por los puntos
P y Q ser denotada por L
PQ
. Puesto que la recta que pasa por P y Q es la misma que pasa por Q
y P, luego sin prdida de generalidad la recta ser denotada por L.
Sean P(x
1
, y
1
) , Q(x
2
, x
2
) y la recta que pasa por esos puntos L, y sea (x, y) L como en la
siguiente gura:
72
Vernica Gruenberg Stern 4.3. LA RECTA
En virtud del teorema de Thales, el punto (x, y) satisface:
y
2
y
1
x
2
x
1
=
y y
1
x x
1
x
1
= x
2
De aqu ecuacin de la recta, esto es, la ecuacin que satisfacen los puntos (x, y) viene dada
por:
Ecuacin Cartesiana
L :
y y
1
x x
1
=
y
2
y
1
x
2
x
1
, x
1
= x
2
Ecuacin Punto-Pendiente
L : y y
1
= m(x x
1
),
Aqu, m =
y
2
y
1
x
2
x
1
se denomina pendiente de la recta L.
Ecuacin Pendiente-Interseccin
L : y = mx +n,
Aqu, n es el punto de interseccin de la recta L con el eje Y .
OBSERVACIN:
1. Si x
1
= x
2
la ecuacin de la recta ser x = x
1
= x
2
, y si y
1
= y
2
, la ecuacin de la recta ser
y = y
1
= y
2
.
2. En general, una ecuacin de una recta puede ser escrita en la forma ax +by +c = 0
73
Sean P = (x
1
, y
1
), Q = (x
2
, x
2
). Sea el ngulo que forma L con el eje x, como se ve en la
siguiente gura:
de donde m = tan().
Sean L
1
y L
2
con pendientes m
1
y m
2
respectivamente de modo que ninguna recta sea paralela
al eje Y . Sea el ngulo agudo formado por L
1
y L
2
como se muestra en la siguiente gura:
Tenemos que m
1
= tan
1
y m
2
= tan
2
. Con esto, se tendr una expresin que relaciona el
ngulo entre las rectas con la pendiente de ellas. Esta expresin viene dada por:
tan() =
m
1
m
2
1 +m
1
m
2
De la expresin anterior se concluye que:
L
1
es paralela a L
2
si m
1
= m
2
(ngulo entre rectas = 0), que denotamos L
1
//L
2
.
L
1
es perpendicular a L
2
si m
1
m
2
= 1 (ngulo entre rectas = ), que denotamos L
1
L
2
.
74
EJEMPLOS:
1. Determine la ecuacin de la recta que pasa por A(2, 3) y (4, 3).
Solucin:
y + 3
x 2
=
6
6
x +y + 1 = 0
2. Determine la ecuacin de la recta que pasa por A(2, 5) y tiene pendiente
3.
Solucin: y + 5 =
3(x + 2)
3x y 3 = 0
3. El punto (2,3) es el punto medio de la porcin de una recta que intersecta ambos ejes coorde-
nados. Encontrar la ecuacin de la recta.
Solucin: Si (a, 0) y (0, b) son los puntos de interseccin de la recta con los respectivos
ejes coordenados, entonces:
2 =
a
2
3 =
b
2
= a = 4 b = 6
As, la ecuacin de la recta es
x
4
+
y
6
= 1 3x + 2y 12 = 0
4. Determine los valores del parmetro k R para los que que las rectas cuyas ecuaciones son
y = (3k + 2)x + 100 y = 2kx + 50
son a) paralelas b) perpendiculares
Solucin: m
1
= 3k + 2 m
2
= 2k son las respectivas pendientes. Luego, las rectas
sern:
a) paralelas, si 3k + 2 = 2k = k = 2
b) perpendiculares si (3k + 2)(2k) = 1 = 6k
2
+ 4k + 1 = 0, ecuacin que
no tiene soluciones reales. Luego, k R tal que las rectas sean perpendiculares.
5. Demostrar que el rea del tringulo formado por el eje Y y las rectas
1
: y = m
1
x +b
1
y
2
: y = m
2
x +b
2
est dada por
1
2
(b
2
b
1
)
2
|m
2
m
1
|
, m
1
= m
2
Solucin: Como las pendientes son distintas, las rectas se intersectan. Busquemos los
puntos de interseccin:
m
1
x +b
1
= m
2
x +b
2
(m
1
m
2
)x = b
1
b
2
x =
b
2
b
1
m
2
m
1
75
Este valor de x representa la altura del tringulo, de base |b
2
b
1
| sobre el eje Y . Luego, el
rea pedida es:
A =
1
2
|b
2
b
1
|
|b
2
b
1
|
|m
2
m
1
|
=
1
2
(b
2
b
1
)
2
|m
2
m
1
|
EJERCICIOS:
1. Determine la ecuacin de la recta que pasa por (1,4) y es paralela a 2x 5y + 7 = 0.
2. Encontrar una relacin entre los coecientes de las rectas a
1
x+b
1
y+c
1
= 0 y a
2
x+b
2
y+c
2
= 0
para que se intersecten. Pueden 2 rectas en el plano tener ms de un punto en comn?
3. Encuentre la ecuacin de la recta L de pendiente positiva que contiene al punto (2, 12) y
sabiendo que la suma de sus interceptos con los ejes coordenados es igual a 12.
4. Encontrar e identicar el lugar geomtrico de los puntos que equidistan de A(1, 3) y B(5, 1).
5. Determinar el punto en el cual la recta que corta a los ejes coordenados en (1, 0) y (0, 4)
intersecta a la curva y =
1
x
.
6. Encontrar el valor de k R para que la rectas kx + (k + 4)y + 8 = 0 y 5x 2y 6 = 0 sean
perpendiculares.
7. Encuentre el ngulo entre las diagonales de un polgono con vrtices (1, 2), (2, 1), (1, 3) y
(3, 4).
8. Encuentre la ecuacin de una recta paralela a : 6x+y = 12 de manera que sus interceptos
sobre los ejes dimidien a los interceptos de la recta dada.
9. Encontrar la(s) ecuacion(es) de la(s) recta(s) perpendiculares a la recta 5x y = 1 y que
forma(n) con los ejes coordenados un tringulo de rea 5 unidades.
10. Sean P
i
(x
i
, y
i
) y P
j
(x
j
, y
j
) dos puntos del plano. Denotamos por [P
i
, P
j
] al nmero real:
[P
i
, P
j
] = x
i
y
j
x
j
y
i
Considere los tres puntos P
1
(x
1
, y
1
), P
2
(x
2
, y
2
) y P
3
(x
3
, y
3
). Demuestre que ellos son coli-
neales si y solamente si
[P
1
, P
2
] + [P
2
, P
3
] + [P
3
, P
1
] = 0
11. Estudie, de acuerdo a los parmetros a, b R, los subconjuntos del plano formados por los
pares ordenados (x, y) que satisfacen la relacin ax +by 1 = 0.
76
4.3.1. Distancia de un punto a una recta
Dada una recta y un punto P fuera de ella, la distancia minima entre P y es la longitud del
segmento entre P y que es perpendicular a la recta .
DEFINICIN 4.3.1 Sea una recta y P un punto tal que P . Entonces, la distancia de P a la recta
est dada por
d(P, ) = d(P, Q), donde Q PQ
TEOREMA 4.3.1 Sea una recta de ecuacin ax+by +c = 0, y sea P(x
1
, y
1
) un punto tal que P .
La distancia de P a est dada por
d(P, ) =
|ax
1
+by
1
+c|
a
2
+b
2
Demostracin: Sea Q : PQ . Luego:
m
PQ
m
= 1 m
PQ
=
1
m
Pero, m
=
a
b
, de donde m
PQ
=
b
a
. As, la ecuacin de la recta que que contiene al
segmento PQ es
y y
1
=
b
a
(x x
1
)
Para determinar el punto Q, notamos que ste tambin pertenece a la recta , luego debe satis-
facer
y =
a
b
x
c
b
Resolviendo el sistema, obtenemos
x =
b
2
x
1
ac aby
1
a
2
+b
2
y =
abx
1
+a
2
y
1
bc
a
2
+b
2
Luego,
(x x
1
)
2
+ (y y
1
)
2
=
(a)
2
(ax
1
+bx
1
+c)
2
(a
2
+b
2
)
2
+
(b)
2
(ax
1
+bx
1
+c)
2
(a
2
+b
2
)
2
(x x
1
)
2
+ (y y
1
)
2
=
(ax
1
+bx
1
+c)
2
(a
2
+b
2
)
d(P, Q) = d(P, ) =
|ax
1
+by
1
+c|
a
2
+b
2
77
EJEMPLOS:
1. Determinar la distancia del punto P(4, 7) a la recta que pasa por los puntos A(5, 0) y
B(7, 5).
Solucin: La ecuacin de la recta que pasa por A y B es
y =
5
12
(x 5) 5x + 12y 25 = 0
d(P, ) =
| 20 + 84 25|
25 + 144
=
39
13
= 3.
2. Determinar la distancia entre las rectas
1
: x 2y 5 = 0
2
: 3x + 6y + 2 = 0.
Solucin: Notamos que ambas rectas son paralelas. Sea, entonces, (5, 0)
1
.
Luego, d(
1
,
2
) =
| 15 + 0 + 2|
9 + 36
=
13
45
.
3. Hallar un punto de la recta 3x +y + 4 = 0 que equidista de los puntos (5, 6) y (3, 2).
Solucin: Las coordenadas de cada punto que pertenece a la recta, para cada x, son de la
forma (x, 3x 4). Luego, el punto de la recta que cumple con la condicin pedida debe
satisfacer:
d((5, 6), (x, 3x 4)) = d((3, 2), (x, 3x 4))
(5 x)
2
+ (6 + 3x + 4)
2
= (3 x)
2
+ (2 + 3x + 4)
2
x
2
+ 10x + 25 + 9x
2
+ 60x + 100 = 9 6x +x
2
+ 9x
2
+ 36x + 36
x = 2
As, la coordenada y del punto es: y = 3 2 4 = 10 P(2, 10) es el punto pedido.
EJERCICIOS:
1. Las coordenadas del punto P son (6,4), y la ecuacin de la recta L es 4x+3y = 11. Determinar
la distancia del punto P a la recta L siguiendo los siguientes pasos:
a) Halle la pendiente de L.
b) Halle la ecuacin de la recta L
que pasa por P y es perpendicular a L.

c) Determine las coordenadas del punto P
que es el punto de interseccin entre L y L
.
d) Calcule la distancia entre el punto P y P
.
2. Sean A(2, 1), B(5, 4), C(2, 3). Calcule el rea del tringulo ABC.
3. Determine la ecuacin de todas las rectas que pasan por la interseccin de las rectas dadas
por 3x +y 9 = 0 y 4x 3y + 1 = 0, que distan 2 unidades del origen.
78
Vernica Gruenberg Stern 4.4. SECCIONES CNICAS
4.4. Secciones Cnicas
Se llaman secciones cnicas a las curvas obtenidas al intersectar un cono circular recto con un
plano que no pasa por el vrtice del cono. Las diferentes cnicas aparecen dependiendo del ngulo
de inclinacin del plano respecto al eje del cono. Estudiaremos a continuacin, desde un punto de
vista ms algebraico, estas curvas.
4.4.1. La Circunferencia
DEFINICIN 4.4.1 La circunferencia es el lugar geomtrico de todos los puntos del plano que equi-
distan de un punto, llamado centro. Usualmente, las coordenadas del centro C se denotan por
C(h, k). La distancia comn al centro se llama radio, y se denota por r.
Para encontrar la ecuacin de la circunferencia de
centro (h, k) y radio r, sea P(x, y) un punto en la
circunferencia. Luego:
d(P, C) = r
_
(x h)
2
+ (y k)
2
= r
h
k
r
Luego, la ecuacin de la circunferencia cuyo centro es el punto (h, k) y radio r viene dada por:
(x h)
2
+ (y k)
2
= r
2
EJERCICIOS:
1. Determine la ecuacin de las siguientes circunferencias:
a) Centro es el punto (2, 6) y su radio es 6.
b) El segmento de recta que une A(1, 1) y B(8, 6) es un dimetro.
c) El centro est en el punto (4, 2) y la circunferencia pasa por el punto (1, 1).
d) La circunferencia es tangente a la recta 3x 4y = 32 y el centro est en el punto (0, 7).
2. Hallar la ecuacin de la circunferencia que teniendo su centro sobre la recta 2x + y = 0 es
tangente a las rectas de ecuaciones: 4x 3y + 1 = 0 , 4x 3y 30 = 0.
3. Hallar la ecuacin de la circunferencia que pasa por el punto (0, 8), es tangente a la recta de
ecuacin 3x 4y = 0 y tiene su centro en la recta de ecuacin 4x 7y + 40.
4. Dado un tringulo de vrtices (2, 0), (10, 0) y (0, 4), encuentre la ecuacin de la circunferen-
cia que pasa por los puntos medios de los lados del tringulo.
79
4.4.2. La Elipse
DEFINICIN 4.4.2 Sean F
1
y F
2
puntos en R
2
. La elipse es el lugar geomtrico de todos los puntos
P R
2
de modo que la suma de las distancias de P a F
1
y P a F
2
es constante. Los puntos F
1
y F
2
reciben el nombre de focos.
Para encontrar la ecuacin de una elipse, procedemos del siguiente modo: sean a, c R
+
, con
a > c, y supongamos que F
1
= (c, 0) y F
2
= (c, 0), y que la constante es 2a. Sea P = (x, y) un
punto de la elipse. Luego, se tendr que:
d(F
1
, P) +d(F
2
, P) = 2a
d((c, 0), (x, y)) +d((c, 0), (x, y)) = 2a
_
(x +c)
2
+y
2
+
_
(x c)
2
+y
2
= 2a
_
(x c)
2
+y
2
= 2a
_
(x +c)
2
+y
2
(x c)
2
+y
2
= 4a
2
4a
_
(x +c)
2
+y
2
+ (x +c)
2
+y
2
a
_
(x +c)
2
+y
2
= a
2
+cx
(x +c)
2
+y
2
=
_
xc +a
2
a
_
2
x
2
a
2
+ 2xca
2
+c
2
a
2
+y
2
a
2
= x
2
c
2
+ 2xca
2
+a
4
x
2
(a
2
c
2
) +a
2
y
2
= a
2
(a
2
c
2
)
Notar que a
2
c
2
> 0. Sea b
2
= a
2
c
2
. Luego la ecuacin de la elipse con:
Centro (0, 0)
Focos (c, 0) y (c, 0)
Semieje Mayor a
Semieje Menor b
Vrtices en el semieje mayor (a, 0) y (a, 0)
Vrtices en el semieje menor (0, b) y (0, b)
viene dada por:
x
2
a
2
+
y
2
b
2
= 1
a
b
80
Para que el centro de la elipse est en el punto (h, k) basta hacer el cambio de coordenadas
x x h e y y k. Entonces se tendr que la ecuacin de la elipse con:
Centro (h, k)
Focos (c +h, k) y (c +h, k)
Semieje Mayor a
Semieje Menor b
Vrtices en el semieje mayor (a +h, k) y (a +h, k)
Vrtices en el semieje menor (h, b +k) y (h, b +k)
viene dada por:
(x h)
2
a
2
+
(y k)
2
b
2
= 1
EJERCICIOS:
1. En cada uno de los siguiente ejercicios llevar la ecuacin a su forma cannica y luego deter-
minar: Coordenadas de los vrtices, focos y centro, longitudes de los ejes mayor y menor, y
nalmente graque.
a) x
2
+ 4y
2
6x + 16y + 21 = 0
b) 4x
2
+ 9y
2
+ 32x 18y + 37 = 0
c) x
2
+ 4y
2
10x 40y + 109 = 0
d) 9x
2
+ 4y
2
8y 32 = 0
2. Una elipse tiene su centro en el origen y su eje mayor contenido en la recta 2x 3y = 0, si
adems pasa por los puntos (3, 2) y (1,
3
2
). Hallar su ecuacin.
3. Determine los valores de k para que la recta y = x + k sea tangente a la elipse de ecuacin
x
2
+ 4y
2
= 20.
4.4.3. La Parbola
DEFINICIN 4.4.3 Sea F un punto en R
2
y sea una recta en el plano. La parbola es el lugar
geomtrico de todos los puntos del plano que equidistan de F y de . El punto F es el foco de la
parbola y la recta se llama directriz.
81
Para encontrar la ecuacin de una parbola, procedemos del siguiente modo: sea c > 0 y sean
F = (0, c) y : y = c. Sea P = (x, y) un punto de la parbola. Luego:
d(P, F) = d(P, )
d((x, y), (0, c) = d((x, y), y = c)
_
x
2
+ (y c)
2
= |y +c|
x
2
+ (y c)
2
= y
2
+ 2cy +c
2
x
2
= 4cy
Luego, la ecuacin de la parbola, con vrtice en (0, 0) viene dada por:
y =
1
4c
x
2
Para que el vrtice de la parbola est en el punto (h, k) basta hacer el cambio de coordenadas
x x h e y y k. Entonces se tendr que la ecuacin de la parbola con vrtice en (h, k)
es:
y k =
1
4c
(x h)
2
EJERCICIOS:
1. Encuentre vrtice, foco y directriz de las siguientes ecuaciones:
a) 4y
2
48x 20y 71 = 0
b) y
2
+ 4x 7 = 0
2. Hallar la ecuacin de la parbola que contenga a A(3, 4), B(5, 4) y que la distancia de A
y B al foco sea igual a 5.
3. Para que valores de k, las rectas de ecuaciones x + 2y +k = 0
a) cortan a la parbola de ecuacin y
2
2x + 6y + 9 = 0
b) son tangentes a la parbola y
2
2x + 6y + 9 = 0
4. Hallar la ecuacin de la parbola de foco en el punto (3, 1), de directriz vertical y vrtice en
la recta de ecuacin 7x + 3y 4 = 0.
5. Encontrar la ecuacin de la circunferencia que pasa por el vrtice y por los extremos del lado
recto de la parbola x
2
+8y = 0, donde el lado recto de una parbola es el segmento de recta
que pasa por el foco y es paralela a la directriz.
82
4.4.4. La Hiprbola
DEFINICIN 4.4.4 Sean F
1
y F
2
puntos en R
2
. La hiprbola es el lugar geomtrico de todos los
puntos P R
2
de modo que la resta de la distancia de P a F
1
con P a F
2
es constante. Los puntos
F
1
y F
2
reciben el nombre de focos.
Para encontrar la ecuacin de una elipse, procedemos del siguiente modo: sean c > a > 0 y
supongamos que F
1
= (c, 0) y F
2
= (c, 0), y que la constante es 2a. Sea P = (x, y) un punto de la
hiprbola. Luego, se tendr que:
d(F
1
, P) d(F
2
, P) = 2a
d((c, 0), (x, y)) d((c, 0), (x, y)) = 2a
_
(x +c)
2
+y
2
_
(x c)
2
+y
2
= 2a
_
(x +c)
2
+y
2
2a =
_
(x c)
2
+y
2
(x +c)
2
+y
2
4a
_
(x +c)
2
+y
2
+ 4a
2
= (x c)
2
+y
2
(x +c)
2
+y
2
=
_
xc +a
2
a
_
2
x
2
a
2
+ 2xca
2
+c
2
a
2
+y
2
a
2
= x
2
c
2
+ 2xca
2
+a
4
x
2
(c
2
a
2
) a
2
y
2
= a
2
(c
2
a
2
)
Notar que c
2
a
2
> 0. Sea b
2
= c
2
a
2
. Luego la ecuacin de la hiprbola con:
Centro (0, 0)
Focos (c, 0) y (c, 0)
Vrtices (a, 0) y (a, 0)
viene dada por:
x
2
a
2

y
2
b
2
= 1
OBSERVACIN: Si se ubican los focos en el eje y, F
1
= (0, c) y F
2
= (0, c) con c > 0, y se hacen
clculos anlogos se tendr que la ecuacin de la hiprbola estar dada por:
83
y
2
a
2

x
2
b
2
= 1
Para que el centro de la hiprbola est en el punto (h, k) basta hacer el cambio de coordenadas
x x h e y y k. Entonces se tendr que la ecuacin de la hiprbola con:
Centro (h, k)
Focos (c +h, k) y (c +h, k)
Vrtices (a +h, k) y (a +h, k)
viene dada por:
(x h)
2
a
2

(y k)
2
b
2
= 1
EJERCICIOS: En cada uno de los siguiente ejercicios llevar la ecuacin a su forma cannica y luego
determinar: coordenadas de los vrtices, focos y centro, ecuacin de sus asntotas y nalmente
graque.
1. x
2
9y
2
4x + 36y 41 = 0
2. x
2
4y
2
2x + 1 = 0
3. 9x
2
4y
2
+ 54x + 16y + 29 = 0
4. 3x
2
y
2
+ 30x + 78 = 0
4.5. Ejemplos y Ejercicios de Lugares Geomtricos
EJEMPLOS:
1. Hallar el lugar geomtrico de los puntos cuya suma de los cuadrados de las distancias a los
puntos (3, 0) y (3, 0) es igual a 50.
Solucin: Sea P(x, y) un punto del lugar geomtrico buscado. Entonces:
(d((x, y), (3, 0)))
2
+ (d((x, y), (3, 0)))
2
= 50
(x + 3)
2
+y
2
= (x 3)
2
+y
2
2x
2
+ 18 + 2y
2
= 50
x
2
+y
2
= 16
que es una circunferencia centrada en el origen, de radio 4 unidades.
84
Vernica Gruenberg Stern 4.5. EJEMPLOS Y EJERCICIOS DE LUGARES GEOMTRICOS
2. Sea a > 0. Encuentre la ecuacin del L.G. de todos los puntos P(x, y) tales que son los puntos
medios de todas las cuerdas de la circunferencia x
2
+ y
2
= a
2
, con un extremo en A(a, 0).
Identifquelo.
Solucin: Sea P(x, y) un punto cualquiera en el lugar geomtrico, y sea B(x
B
, y
B
) el otro
extremo de la cuerda. Luego:
x =
1
2
(a +x
B
) y =
1
2
y
B
x
B
= 2x a y
B
= 2y
Como B pertenece a la circunferencia, debe satisfacer la ecuacin, de donde:
(2x a)
2
+ 4y
2
= a
2
_
x
a
2
_
2
+y
2
=
_
a
2
_
2
que es la ecuacin de una circunferencia de centro en (
a
2
, 0) y radio
a
2
.
3. Hallar el L.G. de los puntos del plano que se encuentran a la misma distancia del punto (4,0)
y la circunferencia de ecuacin x
2
+y
2
= 4.
Solucin: La distancia de un punto a una circunferencia es igual a la distancia de un punto
al centro de circunferencia menos el radio. Entonces:
d((x, y), (4, 0)) = d((x, y), (0, 0)) 2
_
(x 4)
2
+y
2
=
_
x
2
+y
2
2
(x 4)
2
+y
2
= x
2
+y
2
+ 4 4
_
x
2
+y
2
8x + 16 = 4 4
_
x
2
+y
2
_
x
2
+y
2
= 2x 3
x
2
+y
2
= 4x
2
12x + 9
3(x
2
4x) y
2
+ 9 = 0
3(x 2)
2
y
2
= 3
(x 2)
2
y
2
3
= 1
que es un hiprbola, con centro en (2, 0). Notemos, sin embargo, que solo es solucin de nues-
tro problema la rama derecha de la hiprbola. Basta notar que la rama izquierda intersecta
la circunferencia, y luego posee puntos en los que su distancia a la circunferencia es 0. Esto
sucede, porque al elevar al cuadrado se introducen nuevas soluciones al problema original.
Es necesario, entonces, siempre estudiar la pertinencia de las soluciones obtenidas.
4. Encuentre la ecuacin del L.G. de todos los puntos P(x, y) tales que
d(P, T
1
)
d(P, T
2
)
=
2, donde
PT
1
y PT
2
son las tangentes trazadas desde P a la curva formada por la unin de las
circunferencias
(x + 3)
2
+y
2
= 9 (x 3)
2
+y
2
= 9
85
Identicar el L.G.
Solucin: Como PT
1
y PT
2
son tangentes a las circunferencias, entonces, por el Teorema
de Pitgoras:
d
2
(P, (3, 0)) = d
2
(P, T
1
) + 9 d
2
(P, (3, 0)) = 9 +d
2
(P, T
2
)
d
2
(P, T
1
)
d
2
(P, T
2
)
=
d
2
(P, (3, 0)) 9
d
2
(P, (3, 0)) 9
=
_
2
_
2
(x + 3)
2
+y
2
9
(x 3)
2
+y
2
9
= 2 x
2
18x +y
2
= 0 (x 9)
2
+y
2
= 9
2
es decir, es una circunferencia de centro (9, 0) y radio 9.
EJERCICIOS:
1. Identique y haga el grco aproximado de:
a) 4y
2
48x 20y 71 = 0
b) y
2
+ 4x 7 = 0
c) x
2
+ 4y
2
6x + 16y + 21 = 0
2. Determinar el lugar geomtrico de los centros de una circunferencia tangente a la recta de
ecuacin y + 2 = 0 y que pasa por el punto (4, 4).
3. Encuentre el lugar geomtrico de un punto que se mueve de tal manera que su distancia del
punto (2, 1) es siempre igual al doble de su distancia a la recta x + 2 = 0.
4. La base de un tringulo es de longitud ja, siendo sus extremos los puntos (3, 0) y (3, 0).
Hallar la ecuacin del lugar geomtrico descrito por el tercer vrtice, si el producto de las
pendientes de los lados variables es siempre igual a 4.
5. Una circunferencia variable es tangente a las dos circunferencias jas de ecuaciones:
x
2
+y
2
8x + 12 = 0 , x
2
+y
2
+ 8x + 15 = 0.
Determinar el lugar geomtrico del centro de la circunferencia variable.
6. Desde cada punto de la circunferencia x
2
+y
2
+4x+4y 8 = 0 se traza una perpendicular al
dimetro paralelo al eje x (y solo hasta el dimetro). Hallar e identicar la ecuacin del lugar
geomtrico de los puntos medios de estas perpendiculares.
7. Determine el lugar geomtrico de todos los puntos del plano P(x, y) que se encuentran a la
misma distancia del punto (4,0) y de la circunferencia x
2
+y
2
= 4.
86
8. Encuentre el L.G., y descrbalo analticamente, de todos los puntos del plano que se encuen-
tran a distancia 3 unidades de la recta x +y 4 = 0.
9. Sea O(0, 0) y A(3, 0). Encuentre la ecuacin del L.G. de todos los puntos P(x, y) del plano
tales que POA =
1
2
PAO.
10. Demostrara que el L. G. de todos lo puntos P(x, y) tal que d(A, P) = kd(B, P), donde
k R {1}, A(1, 2), B(2, 1) es una circunferencia. Demuestre que el centro de la circunfe-
rencia obtenida est en la recta que une los puntos A y B.
11. Una circunferencia variable es tangente a las dos circunferencias jas de ecuaciones
x
2
+y
2
8x + 12 = 0 x
2
+y
2
+ 8x + 15 = 0
Determinar el L.G. del centro de la circunferencia variable.
12. Desde cada punto de la circunferencia x
2
+y
2
+4x+4y 8 = 0 se traza una perpendicular al
dimetro paralelo al eje X (y solo hasta el dimetro). Hallar e identicar la ecuacin del L.G.
de los puntos medios de las perpendiculares.
13. Encuentre el L. G. de los puntos del plano tal que las rectas tangentes trazadas desde l a la
elipse de ecuacin
x
2
a
2
+
y
2
b
2
= 1
son perpendiculares entre s.
1. Considere la ecuacin ax
2
+ by
2
+ cx + dy = 1. Qu condiciones deben cumplir los coe-
cientes a, b, c, d R para que la ecuacin represente:
a) Una elipse centrada, con un foco en (
7, 0) y un vrtice en (4, 0)?

b) Una parbola centrada, con directriz x = 2?
2. Determine la distancia del centro de la circunferencia x
2
+y
2
6x + 8y = 0 a la recta de
ecuacin 2x +y = 3.
3. Encuentre el L.G. de todos los centros de las circunferencias tangentes a las circunferencias
x
2
+y
2
= 1 x
2
+y
2
4x 21 = 0
87
4. Determinar el L. G. de los puntos P del plano tal que su distancia al eje Y es igual a la
mitad de la longitud del trazo tangente desde P a la circunferencia de centro (0, 0) y radio 2.
Identique la cnica.
5. Determinar el L. G. de los puntos P(x, y) que satisfacen que el producto de las pendientes de
las rectas que unen P(x, y) con los puntos jos (3, 2) y (2, 1) es igual a 6.
6. Dos de los vrtices de un tringulo son los puntos A = (1, 0) y B = (5, 0). Encuentre e
identique la ecuacin del lugar geomtrico del tercer vrtice C = (x, y) si se mueve de tal
manera que la distancia entre las longitudes de los lados AC y BC es igual a la mitad de la
longitud del lado AB.
88
Captulo 5
Nmeros Naturales
5.1. Introduccin
Segn el matemtico Leopold Kronecker,
1
nacido en Polonia, Dios nos regal los nmeros
naturales y el resto es obra del hombre. Sin embargo, el matemtico italiano Giuseppe Peano,
2
uno de los fundadores de la lgica matemtica y la teora de conjuntos, axiomatiz la construccin
de los nmeros naturales en los llamados postulados de Peano para los nmeros naturales. No es el
objetivo de este curso profundizar en los fundamentos de la matemtica, pero es importante tener
presente en todo momento cmo se ha construdo la matemtica que conocemos. Adoptaremos
aqu un enfoque un poco menos formal.
DEFINICIN 5.1.1 Llamaremos I al conjunto de todos los subconjuntos M de R tal que:
1 M
x M x + 1 M
OBSERVACIN:
1. A los elementos de I se les llama conjuntos inductivos.
2. Notar que I = pues R I.
DEFINICIN 5.1.2 Denimos el conjunto de los nmeros naturales como la interseccin de todos
los subconjuntos inductivos de R, es decir:
N =
MI
M
Esto signica que N R es el conjunto inductivo ms pequeo.
1
18231891
2
18581932
89
CAPTULO 5. NMEROS NATURALES Vernica Gruenberg Stern
Veamos que
MI
M efectivamente es un conjunto inductivo:
1 M M I 1
MI
M 1 N
Sea n
MI
M n M M I.
Como cada M es inductivo, se tiene que n + 1 M M I n + 1
MI
M
5.2. Induccin
La induccin matemtica es un mtodo de demostracin usada, tpicamente, para probar que
una determinada propiedad se cumple para todos los nmeros naturales. Formalmente:
TEOREMA 5.2.1 Sea P(n) una funcin proposicional asociada a cada n N. Si
1. P(1) es verdadera.
2. n N : P(n) P(n + 1) es verdadera.
entonces, es verdadero que n N : P(n).
Demostracin: Sea Mel conjunto de los nmeros naturales en los que P(n) es verdadera. Tene-
mos que:
1 M por la hiptesis 1.
n M n + 1 M por la hiptesis 2.
Luego: M = N. Es decir, P(n) es verdadero n N.
Lo que el teorema dice es que, si queremos probar que una determinada propiedad se satisface
para todos los nmeros naturales, bastar probar que se cumple para el primero (1 en este caso,
pero podramos considerar igualmente a 0) y que, si la propiedad se satisface para algn nmero
natural, tambin se satisface para el siguiente. Entonces, como se cumple para n = 1, se cumplir
para n = 2 (que es el siguiente); como se cumple para n = 2, se cumplir para n = 3 (que es el
siguiente); y as sucesivamente.
90
Vernica Gruenberg Stern 5.2. INDUCCIN
EJEMPLOS:
1. Demuestre que 1 + 2 + 3 + +n =
n(n + 1)
2
n N.
Dem.: En este caso: p(n) : 1 + 2 + 3 + +n =
n(n + 1)
2
. Luego:
p(1) : 1 =
1 2
2
lo cual es verdadero. p(1) es V.
Supondremos que p(n) es verdadero, y probaremos que p(n + 1) es verdadero, donde :
p(n + 1) : 1 + 2 + 3 + +n + (n + 1) =
(n + 1)(n + 2)
2
Notemos que:
1 + 2 + 3 + +n + (n + 1) =
_
1 + 2 + 3 + +n
_
+ (n + 1)
=
n(n + 1)
2
+ (n + 1)
=
(n + 1)(n + 2)
2
es decir, p(n) p(n + 1) es verdadera, que es exactamente lo que queramos probar.
Luego,
1 + 2 + 3 + +n =
n(n + 1)
2
n N.
OBSERVACIN: Cuenta la leyenda que al matemtico alemn Karl Friederich Gauss,
3
su
profesor en la escuela primaria le dio como castigo sumar los nmeros del 1 al 100, cosa que
l realiz en menos de 1 minuto. Se cuenta que el procedimiento que us fue el siguiente:
1 + 2 + 3 + 4 + + 99 + 100
100 + 99 + 98 + + 2 + 1
101 + 101 + 101 + 101 + + 101
Es decir, al sumar dos veces los nmeros del 1 al 100, se obtiene 100 veces 101, de donde la
suma pedida es
100 101
2
. Claramente, este procedimiento se puede extender a una cantidad
arbitraria de nmeros naturales, y a otras formas de progresiones numricas, que veremos
muy pronto.
3
1777-1855
91
2. Demostrar que n
2
+n es siempre divisible por 2, si n es un nmero natural.
Dem.: En este caso: p(n) : n
2
+n = 2k, para algn k N. Luego:
p(1) : 1
2
+ 1 = 2 = 2 1, es decir, k = 1. Luego, p(1) es verdadero.
p(n + 1) : N : (n + 1)
2
+n + 1 = 2
Notemos que:
(n + 1)
2
+n + 1 = n
2
+n + 2n + 2
= 2k + 2(n + 1)
= 2(k +n + 1)
= 2 donde = k +n + 1
es decir, p(n) p(n+1) es verdadera, que es exactamente lo que queramos probar. Luego,
n N : n
2
+n es siempre divisible por 2
OBSERVACIN: Otra forma de demostrar este resultado es notar que
n
2
+n = n(n + 1)
es decir, la expresin es simplemente el producto de dos nmeros consecutivos, por lo que
necesariamente uno de ellos es par. O, utilizando el mismo razonamiento pero aplicado al
proceso inductivo, notamos que
(n + 1)
2
+n + 1 = (n + 1)(n + 1 + 1) = (n + 1)(n + 2)
que es producto de dos nmeros consecutivos.
3. Demostrar que n N : 2n + 1 3
n
Dem.: En este caso: p(n) : 2n + 1 3
n
p(1) : 2 1 + 1 = 3 3. Luego, p(1) es verdadero.
p(n + 1) : 2(n + 1) + 1 3
n+1
Como p(n) es verdadero, sto signica que
2n + 1 3
n
Multiplicando por 3:
6n + 3 3
n+1
y claramente 2n + 3 6n + 3 3
n+1
92
es decir, p(n) p(n + 1) es verdadera. Luego
n N : 2n + 1 3
n
OBSERVACIN:
1. A pesar de su nombre, la induccin es un mtodo deductivo de demostracin.
2. Es importante ser cuidadosos en la demostracin por induccin de ciertas armaciones. Mu-
chas veces se verican algunos casos iniciales y se asume que el resultado es correcto, sin hacer
la demostracin completa. Esto induce a errores, de lo que ya Leonhard Euler
4
(matemtico
suizo) se dio cuenta y encontr el siguiente ejemplo:
Determine el valor de verdad de la proposicin n N : n
2
+n + 41 es un nmero primo.
Hacemos una tabla con los primeros clculos:
n : 1 2 3 4 5 6 7 8
n
2
+n + 41 : 43 47 53 61 71 83 97 113
Notamos que todos los valores que calculamos para el polinomio cuadrtico son nmeros
primos... la tentacin de armar que la proposicin es verdadera es grande. Sin embargo,
p(41) : 41
2
+ 41 + 41 = 41 (41 + 1 + 1) = 41 43, es decir, p(41) no es un nmero primo.
Luego, la armacin es falsa.
Este ejemplo muestra claramente que no basta con vericar muchos casos particulares para
validar una armacin general.
3. Por otra parte, la vericacin del caso inicial (P(1) en los casos que hemos visto hasta aqu) es
fundamental. Considere la armacin
1 + 3 + 5 + 7 + + (2n 1) = 3 +n
2
para n N
Demuestre que si la armacin es vlida para algn n N, entonces tambin lo es para
n + 1.
Es verdadera la armacin n N?
4
1707-1783
93
Solucin:
Sea p(n) : 1 + 3 + 5 + 7 + + (2n 1) = 3 +n
2
. Por lo tanto,
p(n + 1) : 1 + 3 + 5 + 7 + + (2n 1) + (2n + 1) = 3 + (n + 1)
2
.
Veamos ahora que p(n) p(n + 1) es verdadera:
1 + 3 + 5 + 7 + + (2n 1) + (2n + 1) = 3 + n
2
+ (2n + 1) = 3 + (n + 1)
2
, como
queramos probar.
Claramente, la armacin es falsa, incluso para el caso n = 1 : 1 = 3 + 1
2
= 4.
En realidad, es posible probar por induccin que la suma de los primeros "n" nmeros
impares es igual a n
2
, que dejamos como ejercicio al lector.
El Principio de Induccin es til para tratar proposiciones que involucran a todos los nmeros
naturales. Sin embargo, sucede a veces que interesa probar alguna propiedad que se satisface a
partir de un nmero k N, y no para todos los anteriores. En este caso, podemos usar el Principio
de Induccin Matemtica Extendida.
TEOREMA 5.2.2 Sea P(n) una funcin proposicional asociada a cada nmero natural n, y sea k N.
Si P(k) es verdadera y si n k : P(n) P(n + 1) es verdadera, entonces P(n) es verdadera
n k, n N.
EJEMPLOS:
1. Determine todos los n N : 1 2 3 n > 2
n
Solucin: Estudiamos algunos casos particulares:
n = 1 : 1 > 2 Falso
n = 2 : 1 2 > 2
2
Falso
n = 3 : 1 2 3 > 2
3
Falso
n = 4 : 1 2 3 4 > 2
4
Verdadero
n = 5 : 1 2 3 4 5 > 2
5
Verdadero
Luego, aparentemente la armacin es vlida n 4. Veriquemos que sto es as:
Ya vimos que es vlida para n = 4.
Veamos que si p(n) : 1 2 3 n > 2
n
es verdadera para algn n 4, entonces
p(n + 1) : 1 2 3 n (n + 1) > 2
n+1
tambin lo es. En efecto:
1 2 3 n (n + 1) >
..
Hip. Inductiva
2
n
(n + 1) >
..
n+1>2
2
n
2 = 2
n+1
94
Luego, n 4, n N : 1 2 3 n > 2
n
.
2. Determine si el producto de 3 nmeros consecutivos es siempre divisible por 6.
Solucin: Debemos determinar el valor de verdad de:
n N N : n (n + 1) (n + 2) = 6
n = 1 : 1 2 3 = 6, que es divisible por 6.
Supongamos que p(n) : n (n + 1) (n + 2) = 6, para algn N.
Probemos que p(n +1) : (n +1) (n +2) (n +3) = 6, para algn N tambin lo
es. Notemos que:
(n + 1) (n + 2) (n + 3) = n (n + 1) (n + 2) + 3 (n + 1) (n + 2)
= 6 + 3 (n + 1) (n + 2)
= 6 + 6k,
_
(n + 1)(n + 2)
_
divisible por 2
= 6
1
Luego, el producto de 3 nmeros consecutivos es siempre divisible por 6.
3. Determine si la suma de 3 nmeros consecutivos es siempre divisible por 6.
Solucin: Debemos determinar el valor de verdad de:
n N N : n + (n + 1) + (n + 2) = 6
n = 1 : 1 + 2 + 3 = 6, que es divisible por 6.
Supongamos que p(n) : n + (n + 1) + (n + 2) = 6, para algn N.
Debemos probar que p(n + 1) : (n + 1) + (n + 2) + (n + 3) = 6, para algn N.
Pero:
(n + 1) + (n + 2) + (n + 3) = n + (n + 1) + (n + 2) + 3 = 6 + 3, que claramente no es
divisible por 6. Luego, p(n) verdadero no implica que p(n + 1) sea verdadera.
Por lo tanto, la suma de 3 enteros consecutivos no es necesariamente divisible por 6.
Notemos que que n + (n + 1) + (n + 2) = 3(n + 1), de donde para que esta expresin sea
divisible por 6, necesariamente el factor (n + 1) debe ser un nmero impar para cualquier
n N, lo que es falso.
4. Sea f
0
(x) =
x
x + 1
, f
n+1
(x) = (f
0
f
n
)(x). Encuentre una expresin para f
n
(x), n N.
(Stewart, Conceptos y Contextos).
95
Solucin: Determinamos algunos casos particulares:
f
1
(x) = (f
0
f
0
)(x)
= f
0
_
x
x + 1
_
=
x
x+1
x
x+1
+ 1
=
x
2x + 1
f
2
(x) = (f
0
f
1
)(x)
= f
0
_
x
2x + 1
_
=
x
2x+1
x
2x+1
+ 1
=
x
3x + 1
Luego, conjeturamos que f
n
(x) =
x
(n + 1)x + 1
, n N. Probemos que la conjetura
es correcta:
El caso n = 1 fue probado arriba.
Supongamos que p(n) : f
n
(x) =
x
(n + 1)x + 1
es verdadero. Veamos que
p(n + 1) : f
n+1
(x) =
x
(n + 2)x + 1
es verdadero.
Notamos que:
f
n+1
(x) = (f
0
f
n
)(x)
= f
0
_
x
(n + 1)x + 1
_
=
x
(n+1)x+1
x
(n+1)x+1
+ 1
=
x
(n + 2)x + 1
5. Una triangulacin de un polgono es la descomposicin del rea del polgono en tringulos,
de modo que los vrtices sean los mismos del polgono, o se agregan al interior del mismo
para servir de vrtices de tringulos. Denotemos por v: nmero de vrtices, : nmero de
lados y c: nmero de caras de una triangulacin dada. Demuestre que en una triangulacin
de un polgono, siempre se tiene que v +c = 1.
Dem.: Si se considera 1 tringulo, ste tiene 3 vrtices, 3 lados y 1 cara, de donde
P(1) : v +c = 3 3 + 1 = 1
es verdadera.
96
Supongamos ahora que P(n) es verdadera, es decir, que dada una triangulacin T
n
formada
por n tringulos, v
n

n
+ c
n
= 1. Queremos probar que P(n + 1) es verdadera, es decir,
que la frmula anterior se cumple en una triangulacin de n+1 tringulos. Si T
n+1
es una tal
triangulacin, al borrar un tringulo adecuado (de tal modo de que la malla que queda an
sea una triangulacin), quedar una triangulacin T
n
por n tringulos, en donde podemos
aplicar nuestra hiptesis de induccin, i.e., en ella se cumple que v
n

n
+ c
n
= 1. Hay 3
formas en que puede borrarse un tringulo de tal modo que la malla resultante an sea
una triangulacin:
a) Quitar 1 vrtice, 2 lados y 1 cara.
b) Quitar 2 vrtices, 3 lados y 1 cara.
c) Quitar 1 lado y 1 cara.
Si pensamos que T
n+1
consta de T
n
ms cada uno de los casos anteriores, obtenemos:
a) v
n+1
n+1
+c
n+1
= v
n
n
+c
n
+ 1 2 + 1 = v
n
n
+c
n
= 1
b) v
n+1
n+1
+c
n+1
= v
n
n
+c
n
+ 2 3 + 1 = 1
c) v
n+1
n+1
+c
n+1
= v
n
n
+c
n
1 + 1 = 1
que es lo que queramos probar.
6. Determine una frmula para el nmero de diagonales (en trminos del nmero de lados)
que tiene un polgono convexo (es decir, un polgono tal que todas sus diagonales estn en
su interior).
Solucin: El polgono de tres lados, el tringulo, no tiene diagonales. El polgono de cuatro
lados tiene dos diagonales. Examinando otros casos, obtenemos la siguiente tabla:
n = nmero de lados 3 4 5 6 7 8 9 . . . n . . .
D
n
= nmero de diagonales 0 2 5 9 14 20 27 . . . D
n
. . .
La tarea de adivinar la frmula, si tal existe, no es necesariamente algo fcil, y no hay
ningn mtodo seguro para esta parte del problema. Sin embargo, siendo sucientemente
perspicaz, se observa lo siguiente:
2D
3
= 0 = 3 0
2D
4
= 4 = 4 1
2D
5
= 10 = 5 2
2D
6
= 18 = 6 3
2D
7
= 28 = 7 4
. . . . . . . . . . . . . . . . . . . . . .
97
Esto nos lleva a conjeturar que 2D
n
= n(n 3), o que el nmero de diagonales D
n
en un
polgono de n lados es:
P(n) : D
n
=
n(n 3)
2
Usaremos ahora el principio de induccin para probar esta frmula. Usaremos como punto
de partida n = 3, puesto que para n < 3 no existe ningn polgono.
Es claro de los datos, que P(3) es verdadera. Supongamos que un polgono de n lados tiene
n(n3)
2
diagonales, es decir, que P(n) es verdadera. Si podemos concluir que un polgono de
n + 1 lados tiene (n + 1)
(n+1)3
2
=
(n+1)(n2)
2
diagonales, habremos probado que nuestra
frmula es vlida para todos los nmeros naturales mayores o iguales a 3.
Consideremos un polgono de n lados. Por hiptesis, tiene n(n 3)/2 diagonales. Si colo-
camos un tringulo en un lado AB del polgono, lo transformamos en uno de n + 1 lados.
Este ltimo polgono tiene todas las diagonales del anterior de n lados, ms las diagonales
dibujadas desde el nuevo vrtice N a todos los vrtices del polgono anterior, excepto 2: A y
B, ms la diagonal en que se transforma el lado AB. Es decir, el nuevo polgono de n + 1
lados posee:
D
n+1
=
n(n 3)
2
+n 2 + 1 =
n(n 3) + 2n 2
2
=
n
2
n 2
2
=
(n + 1)(n 2)
2
diagonales, que es lo que queramos probar.
EJERCICIOS:
1. Demuestre por induccin que n N:
a) 1
2
+ 2
2
+ 3
2
+ +n
2
=
n(n + 1)(2n + 1)
6
b) 1 2 + 2 3 + 3 4 + n (n + 1) =
n(n + 1)(n + 2)
3
c)
5
1 2

1
3
+
7
2 3

1
3
2
+ +
2n + 3
n (n + 1)

1
3
n
= 1
1
3
n
(n + 1)
d) (1 + 2 + 3 + 4 + 5 +... +n)
2
= 1
3
+ 2
3
+ 3
3
+ 4
3
+... +n
3
2. Demostrar que cualquier entero formado por 3
n
dgitos idnticos, es divisible por 3
n
.
3. a) Demuestre que
1
1 2
+
1
2 3
+ +
1
n(n + 1)
=
n
n + 1
, n N
b) Demuestre que
1
1 3
+
1
3 5
+ +
1
(2n 1)(2n + 1)
=
n
2n + 1
, n N
c) Demuestre que
1
1 4
+
1
4 7
+ +
1
(3n 2)(3n + 1)
=
n
3n + 1
, n N
98
d) Encuentre y demuestre una frmula general que incluya como casos particulares los
casos a), b) y c) anteriores
4. Demuestre que todos los nmeros de la forma 7
n
2
n
son divisibles por 5.
5. Demuestre que 11
n
4
n
es divisible por 7, n N.
6. Demuestre que 5
n+1
+ 2 3
n
+ 1 es divisible por 8, n N.
7. Pruebe que n N : n(n
2
+ 5) es un mltiplo entero de 6.
8. Sea a R, a = 1. Pruebe que n N :
1 + 2a + 3a
2
+ +na
n1
=
1 (n + 1)a
n
+na
n+1
(1 a)
2
9. Demuestre que, si n es impar, entonces 7
n
+ 1 es divisible por 8.
10. Determine todos los n N tal que:
a) 2
n
> n
2
b) 2
n
> n
3
c) 7n + 6 < 2n
2
8
11. Sea f : N N denda por f(1) = 2, f(n + 1) = f(n) + 3. Examine algunos valores y
conjeture una frmula para f en trminos de n. Demuestre su conjetura por induccin.
12. Para cada una de las funciones f
0
(x) indicadas, encuentre una expresin para f
n
(x), n Nsi
sabe que la ley recursiva de formacin es f
n+1
(x) = (f
0
f
n
)(x).
a) f
0
(x) = x
3
b) f
0
(x) =
1
2 x
Demuestre sus conjeturas por induccin.
13. Demuestre que n N:
a)
n
i=1
1
n b)
n
i=1
1
i
2
n 1
14. Pruebe que (a b) es un factor de a
n
b
n
, n N.
15. Pruebe que (a +b) es un factor de a
2n
b
2n
, n N.
16. Demostrar que si A es una conjunto con |A| = n, entonces |P(A)| = 2
n
.
17. Demuestre que |sen nx| n|sen x|, x R, n N
99
5.3. Sumas y Productos
5.3.1. Notacin: Sumatoria
Sean a
1
, a
2
, , a
n
R. Con el n de abreviar la notacin para la suma a
1
+a
2
+ +a
n
, sta
se denota por
a
1
+a
2
+ +a
n
=
n
k=1
a
k
El sub-ndice k es una variable muda, es decir:
n
k=1
a
k
=
n
i=1
a
i
.
Ms formalmente, es posible utilizar esta notacin para denir la suma por recurrencia:
DEFINICIN 5.3.1 Sean a
1
, a
2
, , a
n
R; entonces:
1.
1
k=1
a
k
= a
1
2.
n+1
k=1
a
k
=
n
k=1
a
k
+ a
k+1
Las propiedades habituales de la suma, obviamente se preservan con esta notacin:
1
, a
2
, , a
n
, c R. Entonces
1.
n
i=1
(a
i
+b
i
) =
n
i=1
a
i
+
n
i=1
b
i
2.
n
i=1
c a
i
= ca
1
+ca
2
+ +ca
n
= c (a
1
+a
2
+ +a
n
) = c
n
i=1
a
i
3.
n
i=1
c = c +c + +c = n c, c constante.
4.
n
i=1
a
i
=
r
i=1
a
i
+
n
i=r+1
a
i
, con 1 r n
5.
n
i=1
(a
i
a
i1
) = a
n
a
0
(Propiedad Telescpica de la suma)
6.
n
i=1
_
_
m
j=1
a
ij
_
_
=
m
j=1
_
n
i=1
a
ij
_
, con a
ij
R, i = 1, , n; j = 1, , m
100
Vernica Gruenberg Stern 5.3. SUMAS Y PRODUCTOS
TEOREMA 5.3.1 (Desigualdad de Cauchy-Schwarz) Sean a
1
, a
2
, , a
n
R. Entonces
_
n
k=1
a
k
b
k
_
2
_
n
k=1
a
2
k
_

_
n
k=1
b
2
k
_
Dem.: Considere la funcin:
f(x) = (a
1
x +b
1
)
2
+ (a
2
x +b
2
)
2
+ + (a
n
x +b
n
)
2
Luego, f(x) 0 x R. Desarrollando los cuadrados, f(x) = Ax
2
+ 2Bx +C, donde
A =
n
k=1
a
2
k
, B =
n
k=1
a
k
b
k
, C =
n
k=1
b
2
k
Como f(x) 0 x R, se tiene que la cuadrtica Ax
2
+ 2Bx +C 0 x R.
Luego, el discriminante debe ser estrictamente menor que 0, es decir:
(2B)
2
4AC < 0 =
_
n
k=1
a
k
b
k
_
2
_
n
k=1
a
2
k
_

_
n
k=1
b
2
k
_
EJEMPLOS:
1. La suma de los n primeros nmeros se escribe
n
i=1
i = 1 + 2 + 3 + +n.
La suma de los n primeros nmeros impares se escribe
n
i=1
2i 1 = 1 + 3 + + (2n 1).
2. Calcular la suma de los mltiplos positivos de 13, menores que 500.
Solucin: Debemos sumar 13 + 26 + + x, donde x : es el mayor mltiplo de 13 que es
menor que 500, es decir, x = 13 38 = 494. Calculamos
38
i=1
13 i = 13
38
i=1
i = 13
38 39
2
= 13 741 = 9633
3. Calcular
n
k=1
k
2
.
Solucin: Notamos que
(k + 1)
3
k
3
= 3k
2
+ 3k + 1
Luego:
n
k=1
(k + 1)
3
k
3
=
n
k=1
3k
2
+ 3k + 1
101
La suma del lado izquierdo es una suma telescpica, para la cual conocemos su valor:
n
k=1
(k + 1)
3
k
3
= (n + 1)
3
1
3
= (n + 1)
3
1
Por lo tanto:
(n + 1)
3
1 =
n
k=1
3k
2
+
n
k=1
3k +
n
k=1
1
es decir:
3
n
k=1
k
2
= (n + 1)
3
1 3
n(n + 1)
2
n = (n + 1)
3
(n + 1) 3
n(n + 1)
2
=
=
n + 1
2
(2(n + 1)
2
2 3n) =
n + 1
2
(2n
2
n) =
n(n + 1)(2n 1)
2
de donde
n
k=1
k
2
=
n(n + 1)(2n 1)
6
OBSERVACIN: De la misma manera se puede calcular
n
k=1
k
3
, que dejamos como ejerci-
cio, notando que (k+1)
4
k
4
= 4k
3
+6k
2
+4k+1, y anlogamente para potencias mayores.
4. Calcular
n
k=1
1 + 2 + 3 + +k
k
.
Solucin:
n
k=1
1 + 2 + 3 + +k
k
=
n
k=1
k(k + 1)
2k
=
1
2
n
k=1
(k + 1) =
1
2
_
n(n + 1)
2
+n
_
=
n(n + 3)
4
5. Calcular
n
k=3
1
k(k + 1)
.
1
k(k + 1)
=
1
k

1
k + 1
. Entonces (propiedad telescpica):
n
k=3
1
k(k + 1)
=
n
k=3
1
k

1
k + 1
=
_
1
3

1
4
_
+
_
1
4

1
5
_
+ +
_
1
n

1
n + 1
_
=
1
3

1
n + 1
6. Calcular
40
k=2
2k + 1
k
2
(k + 1)
2
.
102
2k + 1
k
2
(k + 1)
2
=
k
2
+ 2k + 1 k
2
k
2
(k + 1)
2
=
(k + 1)
2
k
2
k
2
(k + 1)
2
=
1
k
2
1
(k + 1)
2
.
Entonces, (propiedad telescpica):
40
k=2
2k + 1
k
2
(k + 1)
2
=
40
k=2
1
k
2

1
(k + 1)
2
=
1
4

1
41
2
EJERCICIOS:
1. Desarrollar las siguientes sumatorias:
a)
6
i=1
1
i
b)
5
i=1
(2i 1)
c)
8
i=1
i
2
d)
10
i=1
i
3
e)
n
i=1
1
2i 1
f )
13
i=1
(1)
i1
1
i
g)
n
i=2
(i + 3)
2
h)
10
i=3
_
1
i

1
i + 1
_
i)
10
i=4
(i 1)(i + 1)
2. Calcular el valor de
12
k=5
(k + 1)(2k 3)
3. Determine el valor de x si
12
k=5
(2x 3k) = 116
4. Encontrar la suma de los nmeros entre 50 y 3000 que son divisibles por 11.
5. De la sucesin x
n
se sabe que
8
i=1
x
2
i
= 160,
8
i=1
x
i
= 120, x
9
= 6 y x
10
= 8. Obtenga el
valor de:
a)
10
i=1
x
2
i
b)
9
i=1
x
i
(x
i
2) c)
10
i=1
(x
i
1)
2
i=1
(x
i
1)
2
6. Si
6
i=1
(a
i
3)
2
=
6
i=1
(a
i
+ 2)
2
y
6
i=1
a
2
i
= 10
6
i=1
a
i
, calcule
6
i=1
a
i
(a
i
3).
7. Determine
5
i=1
y
2
i
, sabiendo que
5
i=1
(3x
i
2y
i
)
2
= 101,
5
i=1
x
2
i
= 13 y
5
i=1
x
i
y
i
= 2
103
8. Calcule
100
i=3
3
k
2
1
.
9. Determine
n
i=1
k(n k + 1).
10. Demuestre que
a)
2n
k=1
(1)
k
k
2
=
n
k=1
(4k 1)
b)
n
k=1
2k
1 +k
2
+k
4
= 1
1
1 +n +n
2
5.3.2. Notacin: Productoria
Anlogamente al caso de la suma, sean a
1
, a
2
, , a
n
R. Con el n de abreviar la notacin
para el producto a
1
a
2
a
n
, sta se denota por
a
1
a
2
a
n
=
n
k=1
a
k
Nuevamente, el sub-ndice k es una variable muda. Como en el caso anterior:
DEFINICIN 5.3.2 Sean a
1
, a
2
, , a
n
R; entonces:
1.
1
k=1
a
k
= a
1
2.
n+1
k=1
a
k
=
_
n
k=1
a
k
_
a
k+1
k
, b
k
, c R, k = 1, , n + 1. Entonces:
1.
n
k=1
a
k
b
k
=
n
k=1
a
k
n
k=1
b
k
2.
n
k=m
c a
k
= c
nm+1
n
k=m
a
k
3. En particular, si a
k
= 1 k:
n
k=m
c a
k
= c
nm+1
.
4.
n
k=1
a
k
a
k+1
=
a
1
a
n+1
, a
k
= 0, k = 2, 3, , n + 1
104
Un ejemplo importante es el factorial de un nmero natural, que podemos denir mediante la
productoria: sea n N. Denimos n factorial, que denotamos por n!, por
n! =
n
i=1
i = 1 2 3 n
Tambin, por comodidad, se dene 0! = 1.
Otra forma de denir n! es de la forma recursiva siguiente:
n! =
_
1 n = 0
n(n 1)! n 1
EJEMPLOS:
1. 2! = 2 1! = 2 1 0! = 2 1 1. Similarmente, 3! = 3 2! = 3 2 = 6, etc.
2. Simplicar
12!
3!4!5!
EJERCICIOS:
1. Demuestre que n N :
a) (n + 1)! n! = n!n b) (n + 2)! n! = n!(n
2
+ 3n + 1)
2. Encuentre a, b, c Z : (n + 3)! n! = n!(n
3
+an
2
+bn +c)
3. Demuestre que n N :
n
k=1
(k
2
+ 1)k! = n(n + 1)!
4. Determine
n
k=1
k k!.
5. Demuestre que n N : (2n)! < 2
2n
(n!)
2
6. Examine algunos valores de los productos
a)
n
k=1
_
1
1
k + 1
_
b)
n
k=1
_
1
1
(k + 1)
2
_
para valores pequeos de n y conjetura la frmula general; demuestre su conjetura por in-
duccin.
105
5.4. Progresiones Aritmticas y Geomtricas
DEFINICIN 5.4.1 Se dice que la sucesin de nmeros a
1
, a
2
, a
3
, , a
n
est en progresin aritmtica
(P.A.) si existe un nmero real d, llamado diferencia tal que
a
i+1
a
i
= d, i
TEOREMA 5.4.1 Si a
1
, a
2
, a
3
, , a
n
est en P.A., entonces
a
k
= a
1
+ (k 1)d, k.
La suma de los n primeros trminos de una progresin aritmtica est dada por:
S
n
=
n
2
[2a + (n 1)d ] =
n(a
1
+a
n
)
2
Dem.: Por induccin.
DEFINICIN 5.4.2 Se dice que la sucesin de nmeros a
1
, a
2
, a
3
, , a
n
est en progresin geomtrica
(P.G.) si existe un nmero real q, llamado razn tal que
a
i+1
a
i
= q, i
TEOREMA 5.4.2 Si a
1
, a
2
, a
3
, , a
n
est en P.G., entonces
a
k
= a
1
q
k1
, k.
La suma de los n primeros trminos de una P.G. est dada por:
S
n
=
n
k=1
a
k
= a
1
q
n
1
q 1
, q = 1
Dem.: Por induccin.
OBSERVACIN: Si en una P.G. se tiene que |q| < 1, es fxil ver que cuando n crece, la sucesin de
las potencias naturales de q 0. Por ejemplo, si q =
1
2
, entonces las potencias naturales forman
la sucesin
1
2
,
1
4
,
1
8
, ,
1
2
n
. En este caso, decimos que
lm
n
q
n
= 0
Notar que, en este caso,
S
= lm
n
S
n
= lm
n
a
1
q
n
1
q 1
=
a
1
1 q
Esta suma se llama serie geomtrica, y se denota por
k=1
a
k
.
106
Vernica Gruenberg Stern 5.4. PROGRESIONES ARITMTICAS Y GEOMTRICAS
EJERCICIOS:
1. Encuentre el segundo, tercer y cuarto trminos de la P.A. con a
1
= 11 y d = 7.
2. El cuarto trmino de una P.A. es 21 y el dcimo es 48. Calcule la diferencia y el tercer trmino.
3. Los coeciente de una ecuacin de segundo grado y el trmino independiente forman una
progresin aritmtica. La suma de las races representa la tercera parte de la suma de los
trminos de la progresin y el producto de las races excede en 7 unidades al coeciente del
segundo trmino. Cul es la ecuacin?
4. Una persona arrienda una pieza en una pensin durante el ao 2006. Acuerda con la duea
reajustar la renta mes a mes en una cantidad ja. El arrendatario calcula que deber pagar
$1.058.400 anuales y que en el mes de diciembre deber cancelar $134.400.
a) Cul fue la renta de Enero?
b) Cul es el monto del reajuste acordado?
5. El tercer trmino de una P.G. es 3 y el sptimo trmino es
3
16
. Calcule la razn y el primer
trmino de la P.G.
6. Hallar el nmero de trminos y la razn de una progresin geomtrica cuyo primer trmino
es 4, el ltimo 62500 y la suma de todos sus trminos 78124.
7. La razn de una progresin geomtrica es 2, el nmero de trminos 11 y la suma de todos
ellos 2047. Hallar el primero y el ltimo de los trminos.
8. Al preguntar un empleado cunto tiempo llevaba trabajando en una empresa contest: No
lo s; slo puedo decir que llevo cobrados US$ 174.000, que este ao me han dado US$ 14.400
y que cada ao he tenido un aumento de salario, respecto al anterior de US$ 600". Cuntos
aos lleva trabajando en esa empresa?
9. A un empleado una empresa A le ofrece una renta de $120.000 anuales con un aumento
de $3.000 anuales, por un perodo de 15 aos. Otra empresa B, por el mismo perodo de
tiempo, le ofrece $140.000 anuales y un aumento de $2.000 por ao. Cul ofrecimiento es
ms conveniente para el empleado?
10. Los dos primeros trminos de una progresin aritmtica son (a b)
2
y (a + b)
2
. Hallar la
diferencia y la suma de los siete primeros trminos.
11. Hallar la suma de las 12 primeras potencias de 2.
12. La suma de los tres primeros trminos de una progresin aritmtica es 12 y la razn 16.
Calcule el primer trmino de la progresin.
107
13. Calcule a)
n
i=1
3
i
2
i
b)
n
i=1
_
2
(i+3)
+
i + 3
i + 2

i + 2
i + 1
_
c)
n
k=1
(k
2
+ 1)k!
14. Determine tres nmeros de una P.A. tales que su suma sea 27 y su producto 288.
15. El primer trmino de una progresin aritmtica de 8 trminos es
4
25
y el ltimo
1
4
. Hallar la
suma de los 8 primeros trminos.
16. El primer trmino de una progresin aritmtica es 1, el segundo es 2 y la suma de todos sus
trminos 210. Cuntos trminos tiene esta progresin?
17. Hallar la suma de los 5 primeros trminos de una progresin geomtrica cuya razn es igual
a
5
_
1
a
y el primer trmino es igual a
a.
18. La suma de los 5 trminos que forman una progresin geomtrica es (b
2
+1)(b +1) y la razn
es b. Cunto vale el primer trmino?
19. En una progresin aritmtica de 6 trminos, el primero vale 2 y la suma de todos ellos es
igual a la mitad del cuadrado del nmero de trminos. Formar la progresin.
20. La suma de los cuatro trminos de una progresin aritmtica es 3 y el ltimo trmino es 1.
Hallar los otros tres trminos.
21. Intercale siete nmeros entre 11 y 13 de modo que formen una P.A.
22. Intercale cinco nmeros entre 3 y 192 de modo que formen una P.G.
23. Sea
1
a
,
1
b
,
1
c
una P. A. tal que a + b = 0, a b = 0, a + c = 0 y a c = 0.
Demuestre que
a(a c)
(a b)(a +c)
= 1
24. Calcular el segundo trmino de una P. A. cuyo primer trmino es 2 y en la que el primero,
tercero y sptimo trmino estn en P. G.
25. Si el valor de un automvil se deprecia 20 % el primer ao y 5 % cada ao despus del
primero. Cul es el valor de un automvil con ocho aos de uso que cost originalmente
$3.000.000.
26. La vida media del istopo de Uranio 230 es de 20,8 das. Es decir, la masa m del Uranio 230
se reduce a
m
2
en 20,8 das. Cul es la cantidad que queda despus de 104 das?.
108
Vernica Gruenberg Stern 5.5. TEOREMA DEL BINOMIO
27. Demuestre que si a, b, c estn en P.A., entonces
1
b +
c
,
1
c +
a
,
1
a +
b
estn en P.A.
28. Determine la P.A. a, b, c si sabe que satisface las siguientes propiedades:
a) a, b y c son los coecientes de la ecuacin cuadrtica: ax
2
+bx +c = 0.
b)
1
3
(a +b +c) = x
1
+x
2
c) x
1
x
2
+ 7 = b, donde x
1
y x
2
son las races de la ecuacin cuadrtica del item a).
29. Una pelota se suelta desde 1 metro de altura. Si cada vez que rebota alcanza la mitad de la
altura que tena antes de rebotar. Calcular la distancia que recorre antes de detenerse.
5.5. Teorema del Binomio
Sean x, y R y evaluemos las potencias de (x +y):
(x +y)
0
= 1 = 1
(x +y)
1
= (x +y) = x +y
(x +y)
2
= (x +y) (x +y) = x
2
+ 2xy +y
2
(x +y)
3
= (x +y) (x +y)
2
= x
3
+ 3x
2
y + 3xy
2
+y
3
(x +y)
4
= (x +y) (x +y)
3
= x
4
+ 4x
3
y + 6x
2
y
2
+ 4xy
3
+y
4
(x +y)
5
= (x +y) (x +y)
4
= x
5
+ 5x
4
y + 10x
3
y
2
+ 10x
2
y
3
+ 5xy
4
+y
5
Se puede observar que aparece una regla para los coecientes de x
nk
y
k
de (x +y)
n
con n, k N.
sta se puede resumir en el conocido Tringulo de Pascal:
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
109
A continuacin se introducirn los conceptos y notaciones bsicas para poder plantear y de-
mostrar el Teorema del binomio.
DEFINICIN 5.5.1 (Coeciente Binomial) Sean n, k N{0} tal que n k 0. Se dene el n-
mero
_
n
k
_
, llamado coeciente binomial y que leemos "n sobre k", por:
_
n
k
_
=
n!
k!(n k)!
PROPIEDADES 5.5.1 Para n, m, k N
0
tales que m n k se tiene que:
1.
_
n
0
_
=
_
n
n
_
= 1.
2.
_
n
k 1
_
+
_
n
k
_
=
_
n + 1
k
_
. (Regla de formacin del tringulo de Pascal)
3.
_
n
k
_
N.
4.
_
n
k
_
=
_
n
n k
_
. (Simetra del tringulo de Pascal)
Dem.: Las propiedades 1. y 4. se verican por sustitucin directa.
2.
_
n
k 1
_
+
_
n
k
_
=
n!
(k 1)!(n k + 1)!
+
n!
k!(n k)!
=
k n! + (n k + 1)n!
k!(n k + 1)!
=
(n + 1)!
(n + 1 k)!k!
3. Por induccin sobre n:
Por 1., sabemos que
_
n
0
_
=
_
n
n
_
= 1 n N, en particular para n = 1.
Sea p(n) :
_
n
k 1
_

_
n
k
_
N y supongamos que p(n) es V.
Queremos probar que p(n + 1) :
_
n + 1
k
_
N es verdadero. Pero, por la propiedad
2. se tiene: _
n + 1
k
_
=
_
n
k 1
_
+
_
n
k
_
Como por la hiptesis de induccin ambos coecientes binomiales de la derecha son
nmeros naturales, su suma tambin lo es.
EJERCICIOS: Demuestre las siguientes:
110
1.
_
m
n + 1
_
=
_
mn
n + 1
__
m
n
_
. 2.
_
m+ 1
n + 1
_
=
_
m+ 1
n + 1
__
m
n
_
.
TEOREMA 5.5.1 (Teorema del Binomio) Sean x, y R y n N, entonces:
(x +y)
n
=
n
k=0
_
n
k
_
x
nk
y
k
Dem.:
Se demostrar utilizando induccin sobre n. Notar que esta expresin es vlida para n = 0 y
n = 1. Supongamos que es vlida para n = p. Se demostrar que la frmula es vlida para n = p+1
y con esto se concluir que es vlida para todo nmero natural.
(x +y)
p+1
= (x +y) (x +y)
p
= (x +y)
p
k=0
_
p
k
_
x
pk
y
k
= (x +y)
_
x
p
+y
p
+
p1
k=1
_
p
k
_
x
pk
y
k
_
= x
p+1
+y
p+1
+
_
xy
p
+
p1
k=1
_
p
k
_
x
p+1k
y
k
_
+
_
x
p
y +
p1
k=1
_
p
k
_
x
pk
y
k+1
_
= x
p+1
+y
p+1
+
p
k=1
_
p
k
_
x
p+1k
y
k
+
p1
k=0
_
p
k
_
x
pk
y
k+1
= x
p+1
+y
p+1
+
p
k=1
_
p
k
_
x
p+1k
y
k
+
p
l=1
_
p
l 1
_
x
p+1l
y
l
= x
p+1
+y
p+1
+
p
k=1
__
p
k
_
+
_
p
k 1
__
x
p+1k
y
k
= x
p+1
+y
p+1
+
p
k=1
_
p + 1
k
_
x
p+1k
y
k
=
p+1
k=0
_
p + 1
k
_
x
p+1k
y
k
y esta ltima expresin es la que queramos probar.
OBSERVACIN: Notar que
(x +y)
n
=
n
k=0
_
n
k
_
x
nk
y
k
=
n
k=0
_
n
k
_
x
k
y
nk
(x y)
n
=
_
n
0
_
x
n
_
n
1
_
x
n1
y +
_
n
2
_
x
n2
y
2
+ (1)
n
_
n
n
_
y
n
111
Aplicacin a Combinatoria Es importante tener presente que la notacin de coeciente binomial
y factorial permite simplicar la notacin para situaciones de la combinatoria:
n! es el nmero de formas de ordenar n elementos.
P
n
k
=
n!
(n k)!
es el nmero de formas de ordenar k elementos, tomados de un conjunto de
n elementos (permutaciones).
_
n
k
_
representa el nmero de subconjuntos de k elementos, tomados de un conjunto de n
elementos.
EJEMPLOS:
1. Calcular (sin desarrollar) el sexto trmino del desarrollo de (x +y)
15
.
Solucin: Sea t
6
el sexto trmino de este desarrollo. Entonces:
t
6
=
_
15
5
_
x
10
y
5
= 3003 x
10
y
5
2. Calcular (sin desarrollar) el trmino central del desarrollo de (x
1/3
x
2
/2)
6
.
Solucin: El desarrollo tiene 7 trminos, por lo que el trmino central es el cuarto. Luego:
t
4
=
_
6
3
_
(x
1/3
)
3
_
x
2
2
_
3
= 5x
5
/2.
3. Determine, si existe, el trmino independiente de x en el desarrollo de
_
x +
1
x
_
9
.
Solucin: Sea t
k
el ksimo trmino de este desarrollo. Entonces:
t
k
=
_
9
k 1
_
x
9k+1
_
1
x
_
k1
=
_
9
k 1
_
(1)
k1
x
9k+1k+1
Para que el trmino sea indepediente de x, el exponente de x debe ser igual a 0, es decir:
9 k + 1 k + 1 = 0 11 2k = 0 k =
11
2
N
no hay trmino independiente de x en este desarrollo.
4. Demostrar: a)
n
k=0
_
n
k
_
= 2
n
b)
n
k=0
(1)
k
_
n
k
_
= 0
Solucin:
a) 2
n
= (1 + 1)
n
=
n
k=0
_
n
k
_
1
nk
1
k
=
n
k=0
_
n
k
_
.
112
b) 0 = 0
n
= (1 1)
n
=
n
k=0
_
n
k
_
1
nk
(1)
k
=
n
k=0
(1)
k
_
n
k
_
.
5. Obtenga el coeciente de x
8
en el desarrollo de (1 +x
2
x
3
)
9
.
Solucin:
(1 +x
2
x
3
)
9
=
9
k=0
_
9
k
_
1
9k
(x
2
x
3
)
k
=
9
k=0
_
9
k
_
(x
2
x
3
)
k
Ahora:
(x
2
x
3
)
k
=
k
i=0
_
k
i
_
(x
2
)
ki
(x
3
)
i
=
k
i=0
_
k
i
_
(1)
i
x
2k+i
Necesitamos que 2k +i = 8, con 0 k 9 0 i k
Notamos que: si k > 4 entonces 2k +i > 8, de donde 0 k 4.
k = 0 i = 0 2k +i = 0 no sirve!
k = 1 i = 0, 1 2k +i = 2, 3 no sirve!
k = 2 i = 0, 1, 2 2k +i = 4, 5, 6 no sirve!
k = 3 i = 0, 1, 2, 3 2k +i = 6, 7, 8, 9 k = 3 i = 2
k = 4 i = 0, 1, 2, 3, 4 2k +i = 8, k = 4 i = 0
As, los coecientes que multiplican a x
8
son:
_
9
3
__
3
2
_
y
_
9
4
__
4
0
_
es decir, el coeciente
de x
8
es 3
_
9
3
_
+
_
9
4
_
= 378.
EJERCICIOS:
1. Determine, si es que existe, el coeciente de x
18
en el desarrollo de
_
x
2
+
2
x
_
15
.
2. Si es que existe, determine el coeciente del trmino independiente de x en el desarrollo de
_
3
x +
1
x
_
6
.
113
3. Determine el coeciente de x
5
en el desarrollo de (1 +x +x
2
)
10
.
4. Dado n N, determine el coeciente de x
4
en (1 +x)(1 x)
n
.
5. Muestre que si a
1
, a
2
, . . . es una progresin geomtrica de razn entonces
n
k=1
a
k+1
_
n
k
_
= a
1
(1 +)
n
6. Utilizando la igualdad (1 +x)
m
(1 +x)
n
= (1 +x)
n+m
muestre que
_
n
0
__
n
1
_
+
_
n
1
__
n
2
_
+ +
_
n
n 1
__
n
n
_
=
(2n)!
(n + 1)! (n 1)!
7. En el desarrollo de (1 +x)
2n
+ (1 x)
2n
determine:
a) el coeciente del trmino que contiene x
n
.
b) el trmino constante (independiente de x).
1. Calcular
n
k=2
1
(k 1)(k + 1)
2. Calcular
S =
n1
k=0
(1)
k
_
n 1
k
_
5
2n2k
2
2k2
6
k+2
3. Determine el coeciente que contiene a x
2
en el desarrollo de
_
2x
7
1
x
_
22
4. En una P.A. se sabe que a
13
= 34. Determine a
11
+a
15
.
5. Calcule
n
i=1
n
j=1
2
i+j
6. Demostrar que
2n
k=1
(1)
k
k
2
=
n
k=1
(4k 1) , n N.
7. Demostrar por induccin que
n N :
5
1 2

1
3
+
7
2 3

1
3
2
+ +
2n + 3
n (n + 1)

1
3
n
= 1
1
3
n
(n + 1)
114
8. Determine el valor de n en
_
x
3
y
_
n
para que la suma de los coecientes numricos del
cuarto y quinto trmino de su expansin sea igual a 0.
9. Una P.A. tiene 20 trminos. La suma de los trminos que ocupan los lugares pares es 250 y la
de los trmios que ocupan los lugares impares es 220. Encuentre los dos trminos centrales
de la P.A.
115
116
Captulo 6
Nmeros Complejos y Polinomios
6.1. Nmeros Complejos
La necesidad de ampliar el cuerpo R al de los nmeros complejos C se debe, esencialmente, a
que en R no es posible resolver cualquier ecuacin cuadrtica con coecientes reales. La extensin
de Ra C se consigue deniendo el nmero i como aquel nmero que resuelve la ecuacin cuadrtica
x
2
+ 1 = 0 x
2
= 1
En otras palabras, el nmero i satisface
i
2
= 1
Tal como se ha hecho con las sucesivas extensiones desde los nmeros naturales N (a Z, Q y
R), es deseable que el conjunto anterior est contenido en el siguiente, en este caso, que R C.
Y, por cierto, que las operaciones denidas sean consistentes con aquellas que ya conocemos, es
decir, que se preserve la estructura.
DEFINICIN 6.1.1 Un nmero complejo se puede representar en la forma a+ib, donde i es el nmero
que satisface i
2
= 1 y a, b R. El nmero complejo a +ib se puede representar tambin como
un par ordenado (a, b), elemento de RR, y por lo tanto tambin puede ser representado como un
punto en el plano cartesiano, como se ve en la gura.
Luego, el conjunto de los nmeros complejos es:
C = {a +bi / a, b R , i
2
= 1}
117
CAPTULO 6. NMEROS COMPLEJOS Y POLINOMIOS Vernica Gruenberg Stern
DEFINICIN 6.1.2 Sea z, w C tal que z = x +iy en donde x, y R. Se dene:
1. La parte real de z, denotado por Re{z}, al nmero real x. Esto es, Re{z} = x.
2. La parte imaginaria de z, denotado por Im{z}, al nmero real y. Esto es, Im{z} = y.
3. Adems, diremos que dos nmeros complejos z, w son iguales: z = w ssi Re{z} = Re{w}
e Im{z} = Im{w}.
6.1.1. Operaciones con nmeros complejos
Como vimos, algebraicamente los nmeros complejos se pueden representar al menos de dos
maneras equivalentes: en la forma de binomio o como par ordenado. Deniremos la suma y el
producto en ambos casos, de manera equivalente:
Sean z
1
, z
2
C de modo que z
1
= x
1
+iy
1
y z
2
= x
2
+iy
2
con x
1
, x
2
, y
1
, y
2
R. Se dene:
1. La suma de z
1
y z
2
: z
1
+z
2
= (x
1
+x
2
) +i(y
1
+y
2
).
2. El producto de z
1
y z
2
: z
1
z
2
= (x
1
x
2
y
1
y
2
) +i(x
1
y
2
+x
2
y
1
)
Sean z
1
, z
2
C de modo que z
1
= (x
1
, y
1
) y z
2
= (x
2
, y
2
) con x
1
, x
2
, y
1
, y
2
R. Se dene:
1. La suma de z
1
y z
2
: z
1
+z
2
= (x
1
, y
1
) + (x
2
, y
2
) = (x
1
+x
2
, y
1
+y
2
)
2. El producto de z
1
y z
2
: z
1
z
2
= (x
1
, y
1
) (x
2
, y
2
) = (x
1
x
2
y
1
y
2
, x
1
y
2
+x
2
y
1
)
OBSERVACIN:
La denicin del producto es consecuente con las propiedades del producto en R: si
z
1
, z
2
C con z
1
= x
1
+iy
1
y z
2
= x
2
+iy
2
con x
1
, x
2
, y
1
, y
2
R; entonces:
z
1
z
2
= (x
1
+iy
1
) (x
2
+iy
2
) = x
1
x
2
+i x
1
y
2
+i x
2
y
1
+ i
2
..
=1
y
1
y
2
lo cual correponde exactamente a la denicin del producto en C.
Tanto la suma como el producto son asociativas y conmutativas, y adems se satisface la
distributividad.
El elemento neutro para la suma es el 0 = 0 +i0, que escrito como par ordenado es (0, 0), y el
elemento neutro para el producto es el 1 = 1 +i0, que escrito como par ordenado es (1, 0). Si
z Ces cualquiera, entonces el complejo z es su elemento inverso aditivo. Para determinar
el inverso multiplicativo de z = x +yi procedemos de la siguiente manera:
118
Vernica Gruenberg Stern 6.1. NMEROS COMPLEJOS
1
z
=
1
x +iy
=
1
x +iy

x iy
x iy
=
x iy
x
2
+y
2
=
x
x
2
+y
2
i
y
x
2
+y
2
Este elemento ser denotado por z
1
=
1
z
.
Se puede demostrar que (C, +, ) cumple con los axiomas de cuerpo. Luego, son vlidas to-
das las propiedades de las operaciones que se hacen con los nmeros reales. Sin embargo, no se
satisfacen los axiomas de orden en los nmeros complejos. Para ver esto tratemos de ordenar i:
si i > 0, entonces i
2
= 1 > 0 , lo que no puede ser.
si i < 0 entonces i > 0 de donde (i)
2
= 1 > 0.
EJEMPLOS:
1. Determine la parte real e imaginaria de los siguientes nmeros complejos:
a) z
1
=
3 + 2i
4 + 3i
b) z
2
=
4 + 2i
7i
c) z
3
=
2 i
2. Determine x, y R: (x +iy) (3 2i) = 4 +i.
3. Determine z C :
z 12
z 8i
=
5
3
EJERCICIOS:
1. Encontrar las partes real e imaginaria de z
3
, si z = x +iy con x, y R.
2. Calcular i
457
+i
245
+ 2i
200
+i
3. Determine (i)
4n+3
, n N.
6.1.2. Conjugado y Mdulo
DEFINICIN 6.1.3 Sea z C , z = x + iy con x, y R. Se dene el conjugado de z, que
denotamos por z, como z = x iy.
OBSERVACIN: Notar que z +z = 2 Re (z) y que z z = 2 Im(z) i. Luego:
Re (z) =
z +z
2
y Im(z) =
z z
2i
Adems, se tienen las siguientes propiedades:
119
PROPIEDADES 6.1.1 Sean z, w C. Entonces se cumple que:
1. z = z.
2. z +w = z +w.
3. z w = z w.
4. Si w = 0 entonces
_
z
w
_
=
z
w
.
5. (z
n
) = (z)
n
.
6. Si z = 0 entonces z
1
=
z
z z
.
7. z = z z R.
EJEMPLO 6.1.1 Muestre que para todo n N,
z =
(1 + 2i)
n
+ (1 2i)
n
(1 + 3i)
n
+ (1 3i)
n
es un nmero real.
DEFINICIN 6.1.4 Dado z C, se dene el mdulo de z (la norma de z) por |z| =
z z.
OBSERVACIN: Si z = x + iy, x, y R, entonces |z| =
_
x
2
+y
2
. Con esta observacin se
puede concluir que Re (z) |z| y que Im(z) |z|. A continuacin se presentan algunas propieda-
des del mdulo de un nmero complejo.
PROPOSICIN 6.1.1 Sean z, w C. Entonces se cumple que:
1. |z| 0 y |z| = 0 z = 0.
2. |z w| = |z| |w|.
3. |z|
2
= z z
4. |z| = |z|
5. Si w = 0,
z
w
=
|z|
|w|
6. ||z| |w|| |z +w| |z| +|w|.
120
EJEMPLOS:
1. Determine el mdulo de:
a) 3 i b) 1 +i c)
2 + 3i
2 3i
Solucin:
a) |3 i| =
_
3i (3i) = 3 b) |1 +i| =
1 + 1 =
2 c)
2 + 3i
2 3i
= = 1
2. Encontrar todos los z C: |z| 1.
Solucin: Sea z = x +iy. Entonces:
|z| 1 |x +iy| 1
_
x
2
+y
2
1 x
2
+y
2
1
es decir, son todos los puntos en el plano complejo que forman la circunferencia centrada en
el origen de radio 1.
EJERCICIOS:
1. Encontrar todos los z C: |z (1 +i)| 1.
2. Determine el mdulo del nmero complejo z =
_
1 +
3i
_
3
(1 +i)
5
(1 i)
4
.
6.1.3. Forma Polar de un Nmero Complejo
Sea z = x +iy C , con x, y R. Vimos que este nmero complejo se puede representar como
un par ordenado (x, y), elemento de R R, y por lo tanto como un punto en el plano cartesiano.
Tal punto queda completamente determinado si se conoce su distancia al origen y el ngulo , desde
el eje OX al rayo desde el origen al punto.
Luego: x = Rcos , y = Rsen y R = |z| =
_
x
2
+y
2
. Adems se tendr que
tan = y/x. Luego:
z = x +iy = |z|(cos +isen )
que es la forma polar del nmero complejo z.
R = |z| es el mdulo de z y es el argumento de z.
Es habitual abreviar la expresin cos + isen usando la notacin cis = cos +isen de
donde todo nmero complejo puede ser expresado de la forma z = |z| cis .
121
EJEMPLOS:
Estn en forma polar: 3(cos

4
+i sen

4
);
3(cos

7
+i sen

7
)
No estn en forma polar: sen
3
4
+i cos
3
4
;
3(cos
2
3
i sen
2
3
); 3(cos

5
+i sen

5
)
Sin embargo, estas ltimas expresiones igualmente representan nmeros complejos, y podemos
determinar sus respectivas formas polares :
sen
3
4
+i cos
3
4
=
..
sen(
2
x)=cos x
cos
7
4
+i sen
7
4
3(cos
2
3
i sen
2
3
) =
3(cos
4
3
+i sen
4
3
) pues
_
cos( +

3
) = cos(

3
)
sen( +

3
) = sen(

3
)
3(cos

5
+i sen

5
) = 3(cos +i sen )
. .
3
(cos

5
+i sen

5
) = 3(cos
6
5
+i sen
6
5
)
PROPOSICIN 6.1.2 (Geometra del producto.) Sean z
1
, z
2
C de modo que z
1
= |z
1
| cis
1
y
z
2
= |z
2
| cis
2
. Entonces:
1. z
1
z
2
= |z
1
| |z
2
| cis (
1
+
2
).
2.
z
1
z
2
=
|z
1
|
|z
2
|
cis(
1
2
).
3. z
1
= |z
1
| cis(
1
).
4. z
1
1
=
1
|z
1
|
cis (
1
), si z = 0.
Dem.: Sean z
1
= r
1
cis
1
, z
2
= r
2
cis
2
. Entonces:
1. z
1
z
2
= r
1
cis
1
r
2
cis
2
= r
1
r
2
_
cos
1
cos
2
sen
1
sen
2
+i(sen
1
cos
2
sen
2
cos
1
)
_
= r
1
r
2
cis(
1
+
2
)
2.
z
1
z
2
=
r
1
cis
1
r
2
cis
2
=
..
racionalizando
r
1
r
2
_
cis(
1
2
)
_
EJEMPLO 6.1.2 Como ejemplo de una aplicacin de esta forma de representar a los nmeros com-
plejos, considere la funcin : C C denida por (z) = iz. Esta funcin representa una rota-
cin en el plano complejo. En efecto, se tiene que z = |z| cis e i = cis

2
, luego (z) = |z| cis
_
+

2
_
.
122
EJERCICIOS:
1. Exprese los siguientes nmeros complejos en su forma polar, y representelos en el plano
complejo:
a) 2 2i
b) 1 +
3i
c) i
d) 2
2 + 2
2i
e) 2
3 2i
f )
3
2

3i
2
g) 3 + 3i
h)
1
2 + 3i
+
1
1 2i
i) 1 cos +i sen
2. Estudiar el efecto de la transformacin : C C denida por (z) = z
2
. Si z = |z| cis
entonces
(z) = z
2
= (|z| cis )
2
= |z|
2
cis (2)
En que se transforma el conjunto A = {z R : Re (z) > 0 Im(z) > 0} a travs de la fun-
cin (z)?
6.1.4. Teorema de de Moivre
Sean z
1
, z
2
C de modo que z
1
= |z
1
| cis
1
y z
2
= |z
2
| cis
2
. Si z
1
= z
2
entonces se tendr que
|z
1
| = |z
2
| y que cis
1
= cis
2
. Por la igualdad de nmeros complejos se concluye que
1
=
2
+2k
con k Z.
TEOREMA 6.1.1 Sea z C de modo que z = |z| cis , y sea n N. Entonces: z
n
= |z|
n
cis(n).
Dem.: La demostracin es por induccin sobre n y queda como ejercicio.
Una aplicacin de este teorema es la obtencin de las races n-simas de un nmero complejo
(en particular, de un nmero real).
EJERCICIOS: Exprese en forma polar:
1. (1 +i)
3
2.
_
3
2

i
2
_
5
3.
_
1 +i
1 i
_
80
4. (1 +i)
3
(
3 +i)
4
123
6.1.5. Races n-simas de un nmero complejo
Obtener las races n-simas de la unidad quiere decir encontrar n nmeros w, de modo que
w
n
= 1. Por notacin se tendr que w =
n
1.
Se tiene que w = |w| cis y que 1 = cis 0. Por el teorema de Moivre, w
n
= |w|
n
cis(n). Por
hiptesis tenemos que w
n
= 1 cis 0, luego se concluye que |w|
n
= 1 y cis(n) = cis 0. De aqu:
|w| = 1 y n = 2k con k Z.
k = 0 ,
0
= 0 , w
0
= 1
k = 1 ,
1
= 2/n , w
1
= cis(2/n)
k = 2 ,
2
= 4/n , w
2
= cis(4/n)
.
.
. ,
.
.
. ,
.
.
.
k = n 1 ,
n1
= 2(n 1)/n , w
n1
= cis(2(n 1)/n)
k = n ,
n
= 2 , w
n
= 1
Notar que para k = n se empieza a repetir la solucin. Luego las races de la unidad vienen
dadas por:
w
n
= cis(
2k
n
) con k = 0, 1, . . . , n 1.
EJEMPLOS: Determine las races cbicas de la unidad y gracarlas.
Solucin:
w
0
= 1
w
1
= cis
_
2
3
_
= cos
2
3
+isen
2
3
=
1 +i
3
2
w
2
= cis
_
4
3
_
= cos
4
3
+isen
4
3
=
1 i
3
2
124
OBSERVACIN: Todas las races de la unidad se encuentran en la circunferencia unitaria. Esto
quiere decir que si w es una raz de 1 entonces |w| = 1.
Sea z C y n N. Se calcular la raz n-sima de z, esto es, encontrar n nmeros w de
modo que w
n
= z. Se tiene que z = |z| cis
z
y w = |w| cis
w
. Por el teorema de Moivre, w
n
=
|w|
n
cis(n
w
). Luego |w|
n
= |z| y n
w
=
z
+ 2k con k = 0, 1, . . . , n 1.
Las races n-sima de z,
n
z, vienen dadas por:

Sea z = |z| cis(
z
) C y n N, las races n-simas de z,
n
z, vienen dadas por (deducir):
k
=
n
_
|z| cis
_
z
+ 2k
n
_
con k = 0, 1, . . . , n 1.
El grco en el plano complejo de las races n-simas de la unidad, w
0
, . . . , w
n1
, forman los
vrtices de un polgono regular de n lados (polgono n-regular). Esto es, uniendo con una lnea
recta los puntos w
0
con w
1
, w
1
con w
2
, y as hasta unir w
n1
con w
0
.
OBSERVACIN: Las races n-simas de un complejo z pueden ser obtenidas conociendo slo una
de ellas, a partir de las races de la unidad. En efecto, sean w
0
, . . . , w
n1
son n races de la unidad,
y sea u una raz n-sima cualquiera de z. Entonces, las races n-simas de z estn dadas por:
uw
0
, . . . , uw
n1
EJEMPLOS: Determine
1.
3
1 +i 2.

i 3.
3
27
Solucin:
125
1. z = 1 +i
_
|z| =
2
3
_
|z| =
3
_
2 =
6
2
=

4

k
=
6
2 cis
_
+ 2k
3
_
, k = 0, 1, 2
es decir,
0
=
6
2 cis
_

12
_
,
1
=
6
2 cis
_
9
12
_
,
2
=
6
2 cis
_
17
12
_
2. z = i |i| = 1 =

2

k
= 1 cis
_
2
+ 2k
2
_
, k = 0, 1

0
= cis

4
,
1
= cis
5
4
3. z = 27 | 27| = 27
3
27 = 3 =

k
= 3 cis
_
+ 2k
3
_
, k = 0, 1, 2
es decir
0
= 3 cis
_
3
_
,
1
= 3 cis () ,
2
= 3 cis
_
5
3
_
EJERCICIOS:
1. Resuelva las siguientes ecuaciones en C:
a) z
4
+ 8iz = 0 b) z
4
+ 2z
2
+ 2 = 0
c) z
3
+ 3z
2
+z 5 = 0 d) 9z
2
+ 6(4 3i)z (1 + 9i) = 0
e) z
3
1 +i = 0 f) 2z
4
+z
2
z + 1 = 0 (raz cbica de la unidad es una raz)
2. Calcule en C:
a) (2
3 2i)
1
2
b) (4 + 4i)
1
5
c) (2 + 2
3i)
1
3
d) (16i)
1
4
e)
3
8 f)
4
16
g) (8 8
3i)
1
4
h)
2i
126
3. Encuentre z C que cumpla con [, 3/2], Re(z) =
3 Im(z) y que |z|

2
+3
z z 4 = 0.
4. Pruebe que el producto de 2 races n-simas de la unidad es raz n-sima de la unidad.
5. Pruebe que el inverso multiplicativo de raz n-sima de la unidad es raz n-sima de la uni-
dad.
6.1.6. Forma Exponencial
Sea z C de modo que z = x +iy con x, y R, el que puede ser expresado por z = |z| cis . La
Frmula de Euler, nos dice
e
i
= cos +isen
As, podemos introducir la Forma exponencial del complejo z por, z = |z|e
i
OBSERVACIN: Una expresin curiosa se obtiene al sustituir = en la frmula de Euler: e
i
+1 =
0.
PROPOSICIN 6.1.3 Sean , , n R, entonces se tiene que:
1. e
i
e
i
= e
i(+)
2. (e
i
)
n
= e
in
OBSERVACIN: Notar que e
a+ib
= e
a
e
ib
= e
a
(cos b +i sen b)
De la segunda parte de la proposicin se concluye que (cos +isen )
n
= cos (n) +isen (n).
EJERCICIOS:
1. Calcule las races de los siguientes nmeros.
a) (2
3 2i)
1
2
b) (4 + 4i)
1
5
c) (2 + 2
3i)
1
3
d) (16i)
1
4
e)
3
8 f)
4
16
g) (8 8
3i)
1
4
h)
2i
2. Calcular la forma exponencial de los nmeros 1, i, i
14
, (2
3 2i)
10
.
127
6.2. Polinomios
DEFINICIN 6.2.1 Sea K un cuerpo (en nuestro caso, K = R o K = C).
Un polinomio de grado n sobre K es una expresin de la forma:
p(x) = a
0
+a
1
x +a
2
x
2
+. . . +a
n
x
n
en donde a
i
K para i = 1, . . . , n.
Los nmeros a
i
sern llamados como los coecientes del polinomio. En particular el coe-
ciente a
n
ser llamado el coeciente principal del polinomio, y el coeciente a
0
se llama
trmino constante.
El grado de un polinomio es el exponente de la variable, que es ms grande. Si
p(x) = a
0
+a
1
x +a
2
x
2
+. . . +a
n
x
n
con a
n
= 0, el grado del polinomio p(x) es n; esto se denota por gr(p(x)) = gr(p) = n.
Si a
i
= 0 i 1, p(x) es el polinomio, constante y gr(p) = 0. Por convencin, se dice que
el polinomio nulo, p(x) = 0, no tiene grado. Esto permite una formulacin ms precisa de los
teoremas.
Denotaremos por K[x] al conjunto de todos los polinomios en la variable x, cuyos coe-
cientes estn en K.
DEFINICIN 6.2.2 Sean p, q K[x] con p(x) =
n
i=0
a
i
x
i
y q(x) =
m
i=0
b
i
x
i
. Diremos que ellos
son iguales, p(x) = q(x), si:
1. Tienen el mismo grado, es decir: gr(p) = gr(q).
2. Tienen los mismos coecientes, es decir: a
i
= b
i
i.
Deniremos a continuacin las operaciones entre polinomios:
DEFINICIN 6.2.3 Sean p, q K[x] con p(x) =
n
i=0
a
i
x
i
, q(x) =
m
i=0
b
i
x
i
con m n, y sea
K. Se denen las siguientes operaciones:
Adicin
(p +q)(x) = p(x) +q(x)
= (a
0
+. . . +a
n
x
n
) + (b
0
+. . . +b
m
x
m
)
= (a
0
+b
0
) + (a
1
+b
1
)x + (a
2
+b
2
)x
2
+. . . + (a
n
+b
n
)x
n
+b
n+1
x
n+1
+. . . +b
m
x
m
128
Vernica Gruenberg Stern 6.2. POLINOMIOS
Multiplicacin
(p q)(x) = p(x) q(x)
= (a
0
+. . . +a
n
x
n
) (b
0
+. . . +b
m
x
m
)
= (a
0
b
0
) + (a
0
b
1
+a
1
b
0
)x + (a
2
b
0
+a
1
b
1
+a
0
b
2
)x
2
+ . . . +a
n
b
m
x
n+m
Producto por escalar
( p)(x) = (a
0
+. . . +a
n
x
n
)
= a
0
+ a
1
x +. . . + a
n
x
n
OBSERVACIN:
1. En el caso de la adicin, se dice que la suma de polinomios se realiza trmino a trmino. En
el caso del producto por escalar, el escalar multiplica cada trmino del polinomio.
2. En el caso de la multiplicacin, podemos escribir el producto de manera formal:
(p q)(x) =
n+m
i=0
c
i
x
i
, donde c
i
= [pq]
i
=
j+k=i
a
j
b
k
PROPOSICIN 6.2.1 Sean p, q K[x]. Se cumple que:
1. gr(p +q) max{gr(p), gr(q)}.
2. Sea n N entonces gr(p
n
) = n gr(p).
3. gr(p q) = gr(p) + gr(q).
6.2.1. Estructura algebraica
Veremos a continuacin las propiedades que satisfacen las operaciones arriba denidas. Ellas
determinan la estructura algebraica, llamada anillo, que satisfacen los polinomios. Esencialmente,
K[x] es casi un cuerpo... falla la propiedad del inverso multiplicativo, que no pertenece, en
general, a K[x].
TEOREMA 6.2.1 En K[x] dotado de la adicin, que escribimos (K[x], +), se cumplen las siguientes:
1. Si p, q K[x] entonces (p +q) K[x] . (Clausura)
129
2. p, q, r K[x]: p(x) + (q(x) +r(x)) = (p(x) +q(x)) +r(x) . (Asociatividad)
3. p, q K[x] : p(x) +q(x) = q(x) +p(x) . (Conmutatividad)
4. e K[x] : p(x) + e(x) = p(x) p K[x]. Adems, e(x) = 0 . (Existencia del
neutro aditivo)
5. q K[x] : p(x) + q(x) = e(x) p K[x], donde q(x) = p(x) . (Existencia del
inverso aditivo)
Lo expuesto anteriormente corresponden a propiedades de (K[x], +) como grupo abeliano (ba-
jo la operacin suma). A continuacin se presentan algunas propiedades correspondientes a la
operacin multiplicacin.
TEOREMA 6.2.2 1. Si p, q K[x] entonces (p q) K[x]. (Clausura)
2. p, q, r K[x] : p(x) (q(x) r(x)) = (p(x) q(x)) r(x). (Asociatividad)
3. p, q K[x]: p(x) q(x) = q(x) p(x). (Conmutatividad)
4. e K[x] de modo que p(x) e(x) = p(x) p K[x]. Adems: e(x) = 1. (Existencia
del neutro multiplicativo)
5. Si p, q, r K[x] entonces p(x) (q(x) +r(x)) = p(x)q(x) +p(x)r(x) . (Distributividad)
OBSERVACIN: Si p(x) es un polinomio de grado mayor o igual que 1, entonces no existe su
inverso multiplicativo. Basta considerar p(x) = x. Su inverso viene dado por q(x) = 1/x = 1x
1
,
luego q / K[x]. Solo existen los inversos para los polinomios constantes no nulos, siempre que
K sea un cuerpo.
La estructura algebraica que satisfacen los polinomios dotados de la adicin y el producto por
escalar ser vista en MAT022.
6.2.2. Races
DEFINICIN 6.2.4 Sean p K[x] y x
0
K . Se dice que x
0
es una raz (o cero) de p(x) si
p(x
0
) = 0 . Se dir que x
0
es una raz de multiplicidad k (k n) si existe un polinomio h(x) tal
que p(x) = (x x
0
)
k
h(x) , con h(x
0
) = 0 .
EJEMPLO 6.2.1 Sea K = R y p R[x] dado por p(x) = x
3
3x + 2 = (x 1)
2
(x + 2) . Se tiene que
gr(p) = 3 y x
0
= 1 es una raz de multiplicidad 2 (aqu h(x) = x + 2) , por otra parte x
1
= 2 es
una raz de multiplicidad 1 (aqu h(x) = (x 1)
2
) .
130
OBSERVACIN: Sean K = R, p R[x] y x
0
R una raz de p(x). Si se grca p(x) como funcin
de x, es decir, y = p(x), se tendr que (x
0
, 0) corresponde al punto en donde la grca de p(x)
intersecta al eje x.
DEFINICIN 6.2.5 Sea (K, +, ) un cuerpo. K se dir que es algebraicamente cerrado si todo poli-
nomio de grado mayor o igual que 1 tiene al menos una raz en K .
Notar que si K = R se tiene que (R, +, ) no es algebraicamente cerrado: basta considerar en
R[x] el polinomio p(x) = x
2
+ 1 . Este es un polinomio de grado 2 sin races en R.
OBSERVACIN: K es algebraicamente cerrado si y solo si todo polinomio de grado n con n 1 ,
tiene exactamente n races en K , salvo multiplicidad.
TEOREMA 6.2.3 (Teorema Fundamental del lgebra) C es algebraicamente cerrado.
PROPOSICIN 6.2.2 Sea p R[x] de modo que z C es una raz de p(x), entonces z C tambin
es una raz de p(x).
Dem.: Sea p(x) =
n
i=0
a
i
x
i
R[x] a
i
R, i = 0, 1, , n
Se sabe que p(z) = 0 y se quiere probar que p(z) = 0 Pero:
p(z) = 0
n
i=0
a
i
z
i
= 0. Calculamos:
p(z) =
n
i=0
a
i
z
i
=
n
i=0
a
i
z
i
=
n
i=0
a
i
z
i
=
n
i=0
a
i
z
i
= 0 = 0
Considerando el teorema fundamental del lgebra y esta proposicin, se puede concluir que
todo elemento de R[x], p(x) con gr(p) = n, puede ser factorizado como:
p(x) = (x x
1
)
n
1
(x x
2
)
n
2
. . . (x x
i
)
n
i
(x
2
+
1
x +
1
) (x
2
+
2
x +
2
) . . . (x
2
+
j
x +
j
)
con n
1
+. . . +n
i
+
j
2
= gr(p) = n.
131
EJERCICIOS:
1. Determine todas las races de p(x) = x
3
7x
2
+ 17x 15, si sabe que 2 + i es un cero del
polinomio.
2. Considere el polinomio p(x) = (k 3)x
3
3(k 1)x
2
+ 8kx 6k.
a) Demuestre que x = 1 es una raz de p(x).
b) Encuentre los valores de k R de modo que todas las races de p(x) sean reales.
3. Resuelva la ecuacin 4x
3
24x
2
+ 23x + 18 = 0 sabiendo que las races estn en progresin
aritmtica
6.2.3. Funciones Polinomiales y Racionales
Una funcin denida por medio de un polinomio con coecientes en R recibe el nombre de
funcin polinomial. Una propiedad de este tipo de funciones es que su dominio corresponde al
conjunto de los nmeros reales y que son de clase C
.
DEFINICIN 6.2.6 Sean p, q R[x] dados por p(x) = a
n
x
n
+. . . +a
1
x +a
0
y q(x) = b
m
x
m
+
. . . +b
1
x +b
0
. Una funcin racional es una funcin de la forma:
f(x) =
p(x)
q(x)
=
a
n
x
n
+. . . +a
1
x +a
0
b
m
x
m
+. . . +b
1
x +b
0
El dominio de la anterior funcin racional ser R {x
1
, . . . , x
k
} donde x
1
, . . . , x
k
son las k m
races reales del polinomio q(x).
OBSERVACIN: Ms adelante se ver que toda funcin racional puede ser descompuesta en suma
de fracciones del tipo
A
(x c)
k
,
Bx +C
(x
2
+x +)
n
donde , , c, A, B, C R y
2
4 < 0.
6.2.4. Algoritmo de la Divisin
PROPOSICIN 6.2.3 Dados p, d K[x], existen q, r K[x] tales que p(x) = d(x)q(x) + r(x), en
donde gr(r) < gr(d) o r(x) = 0.
132
OBSERVACIN: Observe que si gr(p) = 1 entonces r() debe ser una funcin constante.
El polinomio q(x) recibe el nombre de cuociente (de dividir p(x) por d(x)) y el polinomio r(x)
recibe el nombre de resto. Para ilustrar el algoritmo de la divisin, considere el siguiente ejemplo.
EJEMPLO 6.2.2 Sean p(x) = x
4
3x
2
+ 2x 1 y d(x) = x
2
+ x + 1. Encuentre la divisin de p(x)
con d(x) indicando cual es el cuociente y el resto.
x
4
3x
2
+ 2x 1 : x
2
+x + 1 = x
2
x 3
( x
4
+x
3
+x
2
)
x
3
4x
2
+ 2x 1
( x
3
x
2
x )
3x
2
+ 3x + 1
( 3x
2
3x 3 )
6x + 4
De aqu se obtiene que el cuociente viene dado por q(x) = x
2
x3 y su resto por r(x) = 6x+4.
Notar que x
4
3x
2
+ 2x 1 = (x
2
x 3)(x
2
+x + 1) + (6x + 4).
DEFINICIN 6.2.7 Dados p, d K[x] se dice que d(x) divide a p(x) si r(x) = 0. Es decir, existe
q K[x] de modo que p(x) = d(x)q(x). Esto ser denotado por d(x)\p(x).
PROPOSICIN 6.2.4 Para p, q, h K[x] se tiene que:
1. p(x)\p(x).
2. Si q(x)\p(x) y p(x)\h(x) entonces q(x)\h(x).
3. Si q(x)\p(x) y q(x)\h(x) entonces q(x)\(a(x)p(x) +b(x)h(x)) a, b K[x].
EJEMPLO 6.2.3 Dado a R muestre que si p R[x] entonces (x a) divide a q(x) = p (x) p (a).
6.2.5. Divisin Sinttica (Regla de Rufni)
La divisin sinttica es un mtodo que permite dividir un polinomio de la forma p(x) = a
n
x
n
+
. . . +a
1
x+a
0
por otro polinomio de la forma q(x) = xc. Este mtodo consiste en la construccin
de la siguiente tabla:
133
a
n
a
n1
a
n2
. . . a
1
a
0
c b
n1
c b
n2
. . . . . . cb
0
c
b
n1
b
n2
b
n3
. . . b
0
r
y en el clculo de los nmeros b
0
, b
1
, . . . , b
n1
y r. Estos nmeros vienen dados por:
b
n1
= a
n
b
n2
= a
n1
+cb
n1
b
n3
= a
n2
+cb
n2
.
.
.
.
.
.
.
.
.
b
0
= a
1
+cb
1
r = a
0
+cb
0
El cuociente ser dado por h(x) = b
n1
x
n1
+b
n2
x
n2
+. . . +b
1
x +b
0
y el resto por r(x) = r.
Esto quiere decir, que p(x) = h(x)q(x) +r(x). Observar que si r = 0 se tendr que p(x) = h(x)q(x),
luego c ser una raz de p(x).
Para ilustrar este mtodo, considere el siguiente ejemplo.
EJEMPLO 6.2.4 Dividir (3x
3
4x + 2) por (x + 3), indicando cul es el cuociente y el resto.
3 0 4 2
9 27 69 3
3 9 23 67
Luego el cuociente es q(x) = 3x
2
9x + 23 y el resto es r(x) = 67. Notar que
3x
3
4x + 2 = (3x
2
9x + 23)(x + 3) + (67)
EJEMPLO 6.2.5 Vericar que 2 es una raz mltiple del polinomio
p (x) = x
5
6x
4
+ 11x
3
2x
2
12x + 8
TEOREMA 6.2.4 (Teorema del Resto) Sea p(x) K[x], a K. El resto de dividir el polinomio
p(x) por d(x) = x a es p(a).
Dem.: Debemos probar que p(x) = (x a)q(x) +p(a).
Por el algoritmo de la divisin: p(x) = (x a)q(x) +r(x), con gr(r) < gr(x a) = 1.
gr(r) = 0 r(x) = 0. Luego, r(x) = cte. Evaluando p en a : p(a) = r(a) = r(x).
Luego: p(x) = (x a)q(x) +p(a).
134
TEOREMA 6.2.5 (Teorema del Factor) Un polinomio p(x) es divisible por d(x) = x a si y slo si
p(a) = 0.
Dem:
p(x) es divisible por x a r(x) = 0 p(x) = (x a)q(x) a es raz de p(x).
Si a es raz de p(x) : p(x) = (x a)q(x) p(x) es divisible por x a.
COROLARIO 6.2.1 Sea p(x) R[x], con gr(p) = n. Entonces, p tiene a lo ms n races en R.
EJEMPLOS:
1. Sea p(x) = 4x
4
+ 10x
3
+ 19x + 5. Hallar p(3).
Solucin: Es posible evaluar directamente, pero es tedioso. Al hacer la divisin sinttica, se
obtiene resto igual a 2. Luego, p(3) = 2.
2. Sea p(x) = x
5
10x
3
+ 7x + 6. Es x 3 un factor de p(x)?
Solucin: Al dividir p(x) por x 3, obtenemos resto =0, de donde x 3 es un factor de p(x).
EJERCICIOS:
1. Cual es el resto de dividir x
100
x + 2 por x
2
1?
2. Sea p(x) = x
4
+bx
3
13x
2
14x + 24.
a) Determinar b R de modo que 2 sea raz de p(x).
b) Determinar las otras races del polinomio encontrado en a).
3. En cada una de las siguientes ecuaciones compruebe, por divisin sinttica, que el valor
indicado para x
0
es raz de la ecuacin, y determine las otras races reales, si es que existen.
a) 4x
3
+ 3x
2
5x 2 = 0 , x
0
= 1.
b) x
3
2x
2
5x + 6 = 0 , x
0
= 2.
c) 2x
3
11x
2
+ 17x 6 = 0 , x
0
= 2.
TEOREMA 6.2.6 Si p(x) R[x], y p(a) p(b) < 0 entonces existe una raz real de p entre a y b.
Dem.: Teorema del Valor Medio
135
EJEMPLO 6.2.6 p(x) = x
4
+ 3x
2
x 5 tiene un cero entre 1 y 2, pues p(1) < 0 y p(2) > 0.
TEOREMA 6.2.7 Sea p(x) =
n
i=0
a
i
x
i
, a
n
> 0, a
i
R. Si p(x) se divide por x r usando
divisin sinttica, entonces:
i) Si r 0 y todos los nmeros de la ltima la (del cuociente y del resto) son 0, entonces
todos los ceros de p(x) satisfacen: r.
ii) Si r 0 y todos los nmeros de la ltima la (del cuociente y del resto) se alternan en signo,
pudiendo considerarse +0 o 0, entonces todos los ceros de p(x) satisfacen: r.
Dem.: Demostraremos solo i) dejando ii) como ejercicio.
Por el algoritmo de la divisin: p(x) = q(x)(x r) + p(r). Como los coecientes de q son 0
y p(r) 0, entonces, si x > r > 0 : q(x) 0 x r > 0 de donde p(x) > 0 y luego no puede
tener races para x > r.
EJEMPLO 6.2.7 Encontrar cotas superiores e inferiores en Z para las races del polinomio
p(x) = x
3
4x
2
5x 8.
DEFINICIN 6.2.8 Sea p(x) R[x], escrito de manera ordenada en orden decreciente por grado. Se
dice que hay una variacin de signo si dos trminos consecutivos tienen signo opuesto.
EJEMPLO 6.2.8 Considere p(x) = 5x
8
+ 7x
6
5x
4
+ 2x
3
3x 1. Entonces:
p(x) tiene variacin de signo = 3.
p(x) = 5x
8
+ 7x
6
5x
4
2x
3
+ 3x 1 tiene variacin de signo = 3.
TEOREMA 6.2.8 (de los signos de Descartes) Sea p(x) R[x].
i) El nmero de ceros en R
+
contados cada uno segn su multiplicidad es igual a la variacin
de signo de p(x) o menor que sta en un nmero par.
ii) El nmero de ceros en R
contados cada uno segn su multiplicidad es igual a la variacin

de signo de p(x) o menor que sta en un nmero par.
EJEMPLOS: Determine el n muero posible de races reales de los siguientes:
136
1. p(x) = 5x
8
+ 7x
6
5x
4
+ 2x
3
3x 1.
Como vimos antes, las variaciones de signo de p(x) y de p(x) son ambas iguales a 3. Luego,
este polinomio de grado 8 tiene:
3 1 raz en R
+
3 1 raz en R
As, sabemos que posee al menos 2 races en R, y a lo ms 6 races en R. Su factorizacin tiene

al menos un factor irreducible de grado 2.
2. p(x) = 4x
5
+ 2x
4
x
3
+x 5
3. p(x) = x
3
2x 6
TEOREMA 6.2.9 Sea p(x) Z[x]. Si
c
d
Qes raz de p(x), donde c y d no tienen divisores en comn,
entonces
c divide a a
0
y d divide a a
n
Dem.: Como
c
d
Q es raz de p(x):
a
n
_
c
d
_
n
+a
n1
_
c
d
_
n1
+ +a
1
_
c
d
_
+a
0
= 0
a
n
c
n
+a
n1
c
n1
d + +a
1
cd
n1
+a
0
d
n
= 0
c (a
n
c
n1
+a
n1
c
n2
d + +a
1
d
n1
) = a
0
d
n
Luego, c divide a a
0
d
n
. Como c y d no tienen divisores en comn, necesariamente c divide a a
0
.
Anlogamente se prueba que d divide a a
n
.
EJEMPLO 6.2.9 Hallar todas las races reales de p(x) = 8x
4
+ 30x
3
+ 29x
2
2x 30.
Solucin:
Hay una raz entre 0 y 1. Como var(p(x)) = 1, hay exactamente una raz en R
+
, que es sta.
Hay una raz entre 3 y 2.
Las posibles races racionales son: {1,
1
2
,
1
4
,
1
8
, }. Se debe probar, con la informacin
disponible.
137
6.2.6. Polinomios Irreductibles
DEFINICIN 6.2.9 Si p K[x] y gr(p) 2 se dice que p es reducible (o reductible) en K[x] si es
divisible en K[x], es decir, existen q, h K[x], con gr(q) 1, gr(h) 1, tales que p(x) = q(x)h(x).
En caso contrario se dice que p es irreducible o primo en K[x].
EJEMPLOS:
1. p(x) = x
2
+ 1 es reducible en C[x] y es irreducible en R[x] y en Q[x].
2. Los polinomios de grado 1, p(x) = a
0
+a
1
x, son irreducibles o primos en K[x] .
3. El polinomio x
4
+ 3x
2
+ 2 Q[x] se puede factorizar como (x
2
+ 1)(x
2
+ 2). Vemos que
no tiene races en Q ni R, pero es reducible tanto en Q como en R.
TEOREMA 6.2.10 (de Factorizacin nica) Todo p(x) reducible sobre K puede escribirse como pro-
ducto en la forma
p(x) = ap
1
(x) p
2
(x) p
i
(x) , 1 i gr(p(x))
donde a es el coeciente principal de p(x), p
j
(x) (j = 1, , i) son irreducibles sobre K y cada
uno de ellos tiene coeciente principal igual a 1. Una factorizacin de este tipo es nica, salvo el
orden de los factores.
6.2.7. Descomposicin en Fracciones Parciales
DEFINICIN 6.2.10 Se dice que una funcin racional
P(x)
Q(x)
es una fraccin propia, si el grado del
polinomio P(x) es menor que el grado del polinomio Q(x). En caso contrario, es decir, si el grado
de P(x) es mayor o igual al de Q(x), la fraccin se llama impropia.
Toda fraccin impropia se puede expresar, efectuando la divisin, como la suma de un polinomio
mas una fraccin propia. Es decir,
P(x)
Q(x)
= M(x) +
N
1
(x)
Q(x)
donde M(x) es un polinomio
Caso 1 El denominador Q(x) es un producto de factores lineales distintos.
Esto signica que podemos escribir
Q(x) = (a
1
x +b
1
)(a
2
x +b
2
) (a
k
x +b
k
)
138
en donde no hay factor que se repita. En este caso, existen constantes A
1
, , A
k
tal que
P(x)
Q(x)
=
A
1
a
1
x +b
1
+
A
2
a
2
x +b
2
+ +
A
k
a
k
x +b
k
EJEMPLOS: Descomponer en fracciones parciales las siguientes funciones racionales:
1. f(x) =
7x + 3
x
2
+ 3x 4
Solucin El denominador de la funcin racional se puede descomponer en factores lineales
en la forma:
x
2
+ 3x 4 = (x + 4)(x 1)
Luego la descomposicin en fracciones parciales es:
7x + 3
x
2
+ 3x 4
=
7x + 3
(x + 4)(x 1)
=
A
x + 4
+
B
x 1
Para encontrar los valores de A y B, multiplicamos la igualdad por (x+4)(x1), obteniendo
7x + 3 = A(x 1) +B(x + 4)
Desarrollando se obtiene el siguiente sistema de ecuaciones:
A+B = 7
A+ 4B = 3
A = 5, B = 2
Luego, la funcin original queda:
7x + 3
x
2
+ 3x 4
=
5
x + 4
+
2
x 1
2. g(x) =
x
2
+ 2x 1
2x
3
+ 3x
2
2x
Solucin El denominador se puede factorizar como sigue:
2x
3
+ 3x
2
2x = x(2x
2
+ 3x 2) = x(2x 1)(x + 2)
Luego, la descomposicin en fracciones parciales es:
x
2
+ 2x 1
x(2x 1)(x + 2)
=
A
x
+
B
2x 1
+
C
x + 2
139
multiplicando ambos lados de la igualdad por el denominador comn, y luego resolviendo
la ecuacin, se obtiene
x
2
+ 2x 1 = A(2x 1)(x + 2) +Bx(x + 2) +Cx(2x 1)
Construyendo el sistema de ecuaciones anlogamente al caso anterior, obtenemos
A =
1
2
, B =
1
5
y C =
1
10
de donde
x
2
+ 2x 1
2x
3
+ 3x
2
2x
dx =
1
2
x
+
1
5
2x 1
+
1
10
x + 2
Caso 2 El denominador Q(x) es producto de factores lineales, algunos de los cuales se repiten.
Si Q(x) tiene un factor lineal repetido k veces, de la forma (a
1
x +b
1
)
k
, entonces la descomposi-
cin en fracciones parciales contiene k trminos de la forma:
A
1
a
1
x +b
1
+
A
2
(a
1
x +b
1
)
2
+ +
A
k
(a
1
x +b
1
)
k
donde A
1
, A
2
, , A
k
son constantes.
EJEMPLOS: Descomponer en fracciones parciales las siguientes funciones racionales:
1. f(x) =
5x
2
36x + 48
x(x 4)
2
Solucin La descomposicin en fracciones parciales es:
5x
2
36x + 48
x(x 4)
2
=
A
x
+
B
(x 4)
+
C
(x 4)
2
Multiplicando ambos miembros de la igualdad por el denominador comn
5x
2
36x + 48 = A(x 4)
2
+Bx(x 4) +Cx
se obtiene el sistema:
A+B = 5
8A4B +C = 36
16A = 48
de donde A = 3, B = 2, C = 4
140
Luego:
5x
2
36x + 48
x(x 4)
2
=
3
x
+
2
(x 4)

4
(x 4)
2
2. g(x) =
7x + 3
(x + 4)(x 1)
2
7x + 3
(x + 4)(x 1)
2
=
A
x + 4
+
B
x 1
+
C
(x 1)
2
Para encontrar los valores de A, B y C, multiplicamos la igualdad por (x + 4)(x 1)
2
, obte-
niendo
7x + 3 = A(x 1)
2
+B(x + 4)(x 1) +C(x + 4)
Se obtiene el siguiente sistema de ecuaciones:
A+B = 0
2A+ 3B +C = 7
A4B + 4C = 3
A = 1, B = 1, C = 2
Luego, la funcin original queda:
7x + 3
(x + 4)(x 1)
2
=
1
x + 4
+
1
x 1
+
2
(x 1)
2
3. h(x) =
7x + 3
(x + 4)
2
(x 1)
2
7x + 3
(x + 4)
2
(x 1)
2
=
A
x + 4
+
B
(x + 4)
2
+
C
(x 1)
+
D
(x 1)
2
Para encontrar los valores de A, B, C y D, procedemos anlogamente, obteniendo
A =
3
25
, B = 1, C =
3
25
, D =
2
5
(Ejercicio)
141
4. r(x) =
x
4
2x
2
+ 4x + 1
x
3
x
2
x + 1
Solucin Esta es una fraccin impropia, por lo que comenzaremos por efectuar la divisin
entre los polinomios que la componen:
x
4
2x
2
+ 4x + 1
x
3
x
2
x + 1
= x + 1 +
4x
x
3
x
2
x + 1
luego, descomponemos en fracciones parciales a la parte propia de la funcin original, que
es de la forma:
4x
(x 1)
2
(x + 1)
=
A
x 1
+
B
(x 1)
2
+
C
x + 1
de donde se obtiene: A = 1, B = 2 y C = 1, de modo que
x
4
2x
2
+ 4x + 1
x
3
x
2
x + 1
= x + 1 +
1
x 1
+
2
(x 1)
2

1
x + 1
Caso 3 El denominador Q(x) es producto de factores cuadrticos irreducibles distintos.
Si Q(x) tiene un factor cuadrtico no repetido de la forma ax
2
+bx+c, en donde, b
2
4ac < 0,
entonces la descomposicin en fracciones parciales contiene un trmino de la forma:
Ax +B
ax
2
+bx +c
donde A y B son constantes.
EJEMPLOS: Descomponer en fracciones parciales:
1. f(x) =
4x
2
8x + 1
x
3
x + 6
Tenemos que
4x
2
8x + 1
x
3
x + 6
=
4x
2
8x + 1
(x + 2)(x
2
2x + 3)
=
A
x + 2
+
Bx +C
x
2
2x + 3
Multiplicando por el comn denominador:
4x
2
8x + 1 = A(x
2
2x + 3) + (Bx +C)(x + 2)
obtenemos el sistema
142
A+B = 4
2A+ 2B +C = 8
3A+ 2C = 1
de donde A = 3, B = 1, C = 4
Por lo tanto,
4x
2
8x + 1
x
3
x + 6
=
3
x + 2
+
x 4
x
2
2x + 3
2. g(x) =
2x
2
x + 4
x
3
+ 4x
Solucin Se tiene que la fraccin se puede descomponer de la siguiente forma:
2x
2
x + 4
x
3
+ 4x
=
2x
2
x + 4
x(x
2
+ 4)
=
A
x
+
Bx +C
x
2
+ 4
Procediendo anlogamente se obtiene
A+B = 2, C = 1, 4A = 4 A = 1, B = 1 y C = 1
de donde
2x
2
x + 4
x
3
+ 4x
=
1
x
+
x 1
x
2
+ 4
Caso 4 El denominador Q(x) contiene un factor cuadrtico irreducible repetido.
Si Q(x) tiene un factor cuadrtico repetido k veces de la forma (ax
2
+bx+c)
k
, donde b
2
4ac < 0,
entonces la descomposicin en fracciones parciales contiene k trminos de la forma:
A
1
x +B
1
ax
2
+bx +c
+
A
2
x +B
2
(ax
2
+bx +c)
2
+ +
A
k
x +B
k
(ax
2
+bx +c)
k
donde A
1
, A
2
, , A
k
y B
1
, B
2
, B
k
son constantes.
EJEMPLOS: Descomponer en fracciones parciales
1 x + 2x
2
x
3
x(x
2
+ 1)
2
Solucin La forma de descomponer esta divisin de polinimios en fracciones parciales es
1 x + 2x
2
x
3
x(x
2
+ 1)
2
=
A
x
+
Bx +C
x
2
+ 1
+
Dx +E
(x
2
+ 1)
2
Multiplicando por x(x
2
+ 1)
2
, y luego igualando coecientes, se obtiene el siguiente sistema
143
A+B = 0, C = 1, 2A+B +D = 2, C +E = 1, A = 1
cuya solucin es (Ejercicio):
A = 1, B = 1, C = 1, D = 1 y E = 0
Entonces
1 x + 2x
2
x
3
x(x
2
+ 1)
2
=
1
x

x + 1
x
2
+ 1
+
x
(x
2
+ 1)
2
Podemos resumir todo lo anterior en el siguiente
TEOREMA 6.2.11 (Descomposicin en fracciones parciales) Cualquier fraccin propia
P(x)
Q(x)
se pue-
de descomponer en la suma de fracciones parciales del iguiente modo:
Si Q(x) tiene un factor lineal de la forma ax +b, no repetido, entonces la descomposicin de
P(x)
Q(x)
contiene un trmino de la forma
A
ax +b
, A =cte.
Si Q(x) tiene un factor lineal de la forma ax+b, repetido k veces, entonces la descomposicin
de
P(x)
Q(x)
contiene trminos de la forma
A
1
ax +b
+
A
2
(ax +b)
2
+ +
A
k
(ax +b)
k
, A
i
=cte.,
i = 1, , k.
Si Q(x) tiene un factor cuadrtico irreducible de la forma ax
2
+bx +c, no repetido, entonces
la descomposicin de
P(x)
Q(x)
contiene un trmino de la forma
Ax +B
ax
2
+bx +c
, A, B =ctes.
Si Q(x) tiene un factor cuadrtico irreducible de la forma ax
2
+ bx + c, repetido k veces,
entonces la descomposicin de
P(x)
Q(x)
contiene trminos de la forma
A
1
x +B
1
ax
2
+bx +c
+
A
2
x +B
2
(ax
2
+bx +c)
2
+ +
A
k
x +B
k
(ax
2
+bx +c)
k
, A
i
, B
i
=ctes., i = 1, , k.
Ejercicios Descomponer en fracciones parciales:
1. f
1
(x) =
5x + 7
x
2
+ 2x 3
2. f
2
(x) =
x
2
+ 11x + 15
(x 1)(x + 2)
2
3. f
3
(x) =
7x
2
11x + 6
(x 1)(2x
2
3x + 2)
144
4. f
4
(x) =
3x
3
6x
2
+ 7x 2
(x
2
2x + 2)
2
1. Resuelva en C z
4
= (1 +
3 i)z
2. Escribir en forma polar z = (1 +i)
100
+ (1 i)
100
3. Sea p(x) = x
6
+ax
5
15x
4
(14 + 2a)x
3
+ 50x
2
+ 28x 48. Determine:
a) la constante a R tal que 1 sea raz del polinomio p(x).
b) las restantes races de p(x) si sabe que
2 tambin es raz.
4. Al dividir un polinomio p(x) por (x 1) el resto es 1, al dividirlo por (x 2) el resto es 2 y al
dividirlo por (x 3) el resto es 3. Encuentre el resto al dividir p(x) por (x 1)(x 2)(x 3).
5. Determine a, b R para que el polinomio
p(x) = x
4
+ 2x
3
x
2
+ax +b
sea divisible por x
2
1, y encuentre todas las races reales de p(x).
6. Considere los conjuntos
A = {z C : |z 1| < 3}
B = {z C : |z 2i| < 2}
Describa y represente grcamente los conjuntos A B y A B.
7. Sean z, w C, con |z| =
3. Calcule
z +w
zw + 3
.
8. a) Resuelva la ecuacin z
3
1 +i = 0.
b) Represente en R
2
la regin determinada por
2 |z (1 i)| < 3 donde z = x +iy
9. Sea z
la solucin de la ecuacin z
7
+1 = 0 que se encuentra en el tercer cuadrante. Calcule
el valor de A, donde
A =
1
1
z
10. Sea z = x +iy. Dibuje la regin del plano dada por todos los z C : Re
_
1 +z
z
_
> 0.
11. Dado el polinomio p(x) = (a 1)x
n
+ (bn)x
n1
+x 2, determine a y b de modo que p(x)
sea divisible por x
2
3x + 2.
145

Apuntes MAT021 Complemento

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apuntes MAT021 Complemento

Cargado por

Copyright:

Formatos disponibles

Editado por

Vernica Gruenberg Stern

2 no es un nmero racional es F. Por lo tanto,

2 es un nmero racional es V , elegimos a y b sin divisores en co-

, debido a que la suma de los ngulos

. Esto contradice el supuesto de que L

estos dos conjuntos vacos. Queremos probar que =

. Por la proposicin 1.4.1, como

) se divide en 60 partes iguales, llamadas minutos, denotadas por

) se divide en 60 partes iguales, llamadas segundos, denotadas por

0 15 30 45 60 90 120 135 180 270 360

Luego, si denotamos la longitud del arco por s: s = r

Notamos que a cada (x, y) sobre la circunferencia le corres-

letricas anteriores son equivalentes a la

2. Sean = = /4. Vericar que:

siempre que tan = 1.

. Avanza 100 m hacia el edicio y el ngulo de elevacin es

. Avanza 50 m hacia el edicio y el

. Calcular la altura del edicio.

. Uno va a 15 km/hr y el otro a 25 km/hr. Determinar a qu

13, y se deduce que A =

. Desde la cima de la primera montaa, el ngulo de elevacin es de 30

F es movido a un horno cuya temperatura es de

F. Despus de 4 horas la temperatura del pollo alcanza 170

F. Si el pollo est listo para

F, calcule el tiempo que tomar cocinarlo.

) los puntos medios de MN y RS respectivamente. Luego:

que pasa por P y es perpendicular a L.

que es el punto de interseccin entre L y L

7, 0) y un vrtice en (4, 0)?

z, vienen dadas por:

z, vienen dadas por (deducir):

3 Im(z) y que |z|

contados cada uno segn su multiplicidad es igual a la variacin

As, sabemos que posee al menos 2 races en R, y a lo ms 6 races en R. Su factorizacin tiene

También podría gustarte