Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Precálculo PDF
Precálculo PDF
SANTOS
July 17, 2008
Contents
1 Notacin y nmeros
1.1 Notacin . . . . . . . . . . . . . .
1.2 Operaciones con conjuntos . . .
1.3 Conjuntos en el plano . . . . . .
1.4 Operaciones con nmeros reales
1.5 Plenitud de los reales . . . . . . .
1.6 Desigualdades y valor absoluto .
1.7 Desigualdades clebres . . . . .
.
.
.
.
.
.
.
2 Geometra analtica
2.1 Distancia en el plano . . . . . . . .
2.2 Crculos . . . . . . . . . . . . . . . .
2.3 Semicrculos . . . . . . . . . . . . .
2.4 Rectas . . . . . . . . . . . . . . . . .
2.5 Rectas paralelas y perpendiculares
2.6 Rectas y valores absolutos . . . . .
2.7 Parbolas, hiprbolas y elipses . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
. 1
. 4
. 7
. 8
. 13
. 16
. 23
.
.
.
.
.
.
.
28
28
31
33
34
36
40
42
.
.
.
.
.
.
.
3 Funciones
47
3.1 Funciones: definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2 Ecuaciones funcionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.3 Dominio natural de una frmula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4 Grficas de funciones
4.1 Grficas de algunas funciones . . . .
4.2 Funciones a trozos . . . . . . . . . . .
4.3 Funciones x 7 Tx U, x 7 Vx W, x 7 {x}
4.4 Traslaciones . . . . . . . . . . . . . . .
4.5 Distorsiones . . . . . . . . . . . . . . .
4.6 Reflexiones . . . . . . . . . . . . . . . .
4.7 Simetra . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
56
56
57
58
60
62
63
65
5 Inversin de funciones
5.1 Imagen de una funcin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Funciones inyectivas y epiyectivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3 Inversin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
70
70
71
73
79
79
86
89
91
95
97
97
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
ii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iii
7 Funciones polinmicas
7.1 Potencias de exponente positivo . .
7.2 Ceros de funciones polinmicas . .
7.3 Funciones polinmicas afines . . .
7.4 Funciones polinmicas cuadrticas
7.5 Polinomios de grado superior . . . .
7.6 . . . . . . . . . . . . . . . . . . . . . .
7.7 . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
98
98
98
98
98
98
98
98
8 Funciones racionales
99
8.1 Potencias de exponente negativo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
8.2 Funciones racionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
9 Funciones exponenciales y logartmicas
100
10 Funciones goniomtricas
101
102
Prolegmeno
El buen cristiano debe estar precavido frente a los matemticos y todos aquellos que hacen profecas vacuas.
Existe el peligro de que los matemticos hayan pactado con el diablo para oscurecer el espritu y confinar al
-San Agustn
hombre en el infierno.1
Varios lectores y amigos tanto de Iberoamrica como Espaa hanme pedido el que traduzca mis apuntes de preclculo,
apuntes que he escrito en lengua gringa.2 Mis apuntes en lengua gringa los escrib al ver una marcada laguna en material no estndar en preclculo. Explcome. La gran mayora de libros de texto en los Estados Unidos siguen un patrn
ms o menos uniforme, donde abunda el nmero de tpicos y ejercicios en los textos, donde los textos no poseen una
visin o tema unificador, y donde sobradamente los problemas de tarea son simples y rutinarios. Para sacar a mis pobres
estudiantes de esta rutina, decid escribir estas notas.
Notamos ahoramucho ms en Iberoamrica que en Espaa quizscierto imperialismo yanqui por parte de las
editoras de libros de texto.3 Han conjurado para crear un currculo tan ptrido como uniforme, caracterizado por su
oquedad de ideas, falta de coherencia, y libaciones a la mediocridad. Esto es, parece que en lo que al preclculo se refiere
(y como sabemos algunos, tambin en el clculo), dictan las casas publicadoras el currculo en vez de los departamentos
de matemticas. Desastrosa situacin!
Es lamentable que no exista entre los pueblos de habla castellana una escuela matemtica de la altura de la de los
franceses, rusos, alemanes y anglfonos. Por eso, mucho de nuestro vocabulario es a menudo prestado, a veces poniendo
poca atencin al uso castizo de las expresiones. As pues, cuando lenguaje castizo no exista para una expresin, prefiero
seguir a los franceses por ser su lengua mucho ms cercana a la nuestra. As pues digo inversible y no invertible, reunin y
no unin, cuerpo y no campo, positivo y no no negativo, estrictamente positivo y no positivo.
El programa que aqu me propongo es el siguiente. Tratar de dar un tratamiento elemental, semi-formal, pero a la vez
completo y coherente, sobre las funciones elementales usadas en el clculo. El desarrollo no es estrictamente lineal, ya
que, si mis pasados y presentes estudiantes sirven de gua, son numerosas las lagunas de lgebra que poseen los estudiantes. A la vez me propongo introducir varios problemas no rutinarios. El pblico que imagino son futuros estudiantes
de ciencias o matemticas.
Este asunto de las banderas de Puerto Rico y Espaa: son estos los pases donde tuve mi educacin primaria y secundaria. Mi educacin superior la tuve en los EE UU. Alguna vez que tuviere tiempo tratar de escribir tantos captulos como
pases hispanfonos hay y tomar de cabeceras de captulos sus banderas. Pero este es un proyecto que tomara bastante
tiempo.
Por ltimo, apreciara del lector diligente que me notificase de erratas y de errores.4 Al no tener yo ni el tiempo, ni
el dinero, ni los recursos que las casas publicadoras dan a sus autores, muchos erroresinvoluntarios sin dudahabr
aqu. O quizs al buen lector le pluguiese enviarme un saludo si encontrase estos apuntes de utilidad.
1 Cabe decir que el buen santo se refiere a los astrlogos. Era comn en la poca el llamarles matemticos.
2 Se utiliza la palabra gringo/gringa como gentilicio de los Estados Unidos de Amrica del Norte. Es incorrecto utilizar el trmino americano para este
gentilicio, ya que, son americanos todos los pases del continente americano. Tampoco se utiliza estadounidense, ya que hay Estados Unidos Mexicanos
y Estados Unidos de Brasil. Por ltimo, en los Estados Unidos de Amrica del Norte no se habla ingls, pues ya nos advirti el gran George Bernard Shaw:
England and America are two countries separated by a common language. No hay nada de despectivo en mi uso de gringo/gringa, mi mujer es gringa. . . .
3 Estos pronunciamientos, de lenguaje aparentemente poltico, son en broma. Quienes me conocen saben mis inclinaciones decididamente de
derecha.
4 De ratones no.
iv
v
David A. SANTOS
Departamento de matemticas
Community College of Philadelphia
Philadelphia, PA 19130 USA
dsantos@ccp.edu
http://faculty.ccp.edu/faculty/dsantos
Si natura no da, Salamanca no presta.
1
Notacin y nmeros
Las matemticas no conocen ni razas ni barreras geogrficas; para las matemticas todas las culturas del
globo forman un pas nico.
-David HILBERT
1.1 Notacin
Introdcese en esta seccin smbolos que sern utilizados a lo largo de la discusin. Se demostrar tambin el
primer teorema de estos apuntes. Verse que contrario a la religin, la poltica, las llamadas ciencias sociales
y otras pseudo-ciencias, en las matemticas las verdades no son obtenidas ni por revelacin divina ni por la
mayora de votos, sino que las demostraciones son necesarias. Pretndase que las matemticas son un nuevo
idioma, con su propio alfabeto y taquigrafa, que se irn introduciendo poco a poco. Las nociones aqu introducidas son necesariamente intuitivas y poco formales. El lector que desee profundizar en estos tpicos, gustar
servirse de, por ejemplo, los libros de Halmos [Hal] y Kaplansky [Kap].
1 Definicin Llamarse conjunto a cualquier agregado o coleccin bien definida de objetos. Estos objetos se llamarn
los miembros o elementos del conjunto.
La definicin arriba dada es un tanto insatisfactoria, ya que, por ejemplo, no se ha especificado lo que se quiere decir por
agregado o por coleccin. Sin embargo, el espritu intuitivo de la definicin tiene su llamativo. An ms: fue una definicin
parecida la que George Cantor, el creador de la teora de conjuntos utiliz para definir conjuntos.
Normalmente se denotar los conjuntos con maysculas, por ejemplo A,B, X ,R,... y los elementos con minsculas,
por ejemplo a,b, x,r,....
Hay varias formas de referirse a un conjunto: puede darse una descripcin concreta del conjunto, puede darse un
listado de los elementos del conjunto, etc. Normalmente se utilizar llaves { } para resaltar estas descripciones o estos
listados. Para denotar si un elemento es miembro o no de un conjunto, se utilizar el smbolo . La negacin de esta
asercin se denotar por 6.
2 Ejemplo Hay infinitas maneras de referirse al conjunto de los enteros estrictamente entre 3 y 3. La ms obvia es un
simple listado: {2, 1, 0, 1, 2}, cosa que se leer como el conjunto cuyos miembros son 2, 1, 0, 1 y 2. Otra manera de
representar el mismo conjunto es por la descripcin {x Z : |x| 2}, lo que se leer como el conjunto de los enteros x tales
que el valor absoluto de x es menor o igual a 2. Todava otra descripcin se logra con {x Z : x 2 4}, esto es, el conjunto de
enteros x tales que el cuadrado de x es menor o igual a 4.
1 Es tendencia gringa el no incluir al 0 como natural. Aqu se seguir a Bourbaki y se incluir al 0 en los naturales. La zeta de Z proviene del alemn
Zhlen, esto es, nmero.
1.1. Notacin
1
6 Z.
2
4 Ejemplo En el conjunto
A = {3, 10, 17, . . . , 14045}
los elementos estn en progresin aritmtica. Cuntos elementos tiene el conjunto A? Yace el 10516 en este conjunto?
Cul es la suma de los elementos de este conjunto?
Resolucin Obsrvese que los elementos tienen la forma 3 + 7n para n 0. Luego
3 + 7n = 14045 = n = 2006.
As pues hay 2006 + 1 = 2007 elementos, pues se empieza a contar desde 3 = 3 + 7 0, 10 = 3 + 7 1, . . . hasta el
3 + 7 2006 = 14045.
Todos los elementos de A dejan residuo 3 al ser divididos por 7. Como 10516 = 7 1502 + 2 deja residuo 2 al ser
divido por 7, no pertenece al conjunto.
Para sumar los elementos del conjunto, usaremos el truco de Gauss. La suma es la misma si se sumare en reverso.
Como los elementos estn en progresin aritmtica, la suma de los trminos uno a uno en sentido ordinario y
en reverso es idntica. As,
S
S
2S
=
=
=
=
3
14045
14048
2007 14048,
+
+
+
de donde
S=
10
14038
14048
+
+
+
+
+
+
14038
10
14048
+
+
+
14045
3
14048
2007 14048
= 14097168.
2
5 Definicin Si un conjunto est totalmente contenido en otro, dirse que el primero es subconjunto del otro. Si A es
subconjunto de B, se escribir A j B.2
Obsrvese que N j Z j Q j R j C.
S 4 = {c}
S 7 = {c, a}
S 3 = {b}
S 6 = {b,c}
S 8 = {a,b,c}
S 2 = {a}
S 5 = {a,b}
S1 =
S 12 = {c,d}
S 7 = {c, a}
S 2 = {a}
S 13 = {a,b,d}
S 8 = {a,b,c}
S 9 = {d}
S 3 = {b}
S 4 = {c}
S 14 = {b,c,d}
S 15 = {c, a,d}
S 10 = {a,d}
S 5 = {a,b}
S 11 = {b,d}
S 16 = {a,b,c,d}
Es obvio que si un conjunto tiene un nmero infinito de miembros, entonces tendr un nmero infinito de subconjuntos. Razonando recursivamente obtenemos el siguiente resultado para conjuntos finitos.
8 Teorema (Nmero de subconjuntos de un conjunto finito) Si el conjunto finito A tiene n elementos, entonces
A tiene 2n subconjuntos.
Demostracin: Por induccin. Es obvio que un conjunto A con un elemento (n = 1) tiene 21 = 2 subconjuntos:
y el conjunto A propiamente. Supngase que todo conjunto con n 1 elementos tiene 2n1 subconjuntos.
Tenga el conjunto B n elementos y sea B 0 j B un subconjunto de B con exactamente n 1 elementos. Existe
entonces una x B tal que x 6 B 0 . Por la hiptesis de induccin, B 0 tiene 2n1 subconjuntos. Ahora bien, los
subconjuntos de B o bien contienen a x o no la contienen.3 Si no contuviesen a x entonces seran adems
subconjuntos de B 0 y estos son 2n1 en nmero. Agregando a cada subconjunto de B 0 el elemento x se obtiene
un subconjunto de B y entonces hay tambin 2n1 de estos subconjuntos. Se han entonces enumerado todos los
subconjuntos de B y se deduce pues que B tiene 2n1 + 2n1 = 2 2n1 = 2n subconjuntos.
Se concluir esta seccin con la introduccin de varios otros smbolos. Primero se mencionan algunos de la lgica:
(lase para todo, llamado cuantificador universal), (lase existe, llamado cuantificador existencial), = (lase implica)
y (lase si y slo si). Luego, otros de la combinatoria: Tx U (lase, suelo de x) es la parte entera de x, esto es, x si x
es entero y el entero inmediatamente a la siniestra de x si x no es entero. As por ejemplo, T3U = 3, T3.1U = 3, T3.9U = 3,
T3U = 3, T3.1U = 4 y TU = 4. De manera semejante, el techo de x, denotado por Vx W es x si x es entero y el entero
inmediatamente a la diestra de x si x no es entero. As por ejemplo, V3W = 3, V3.1W = 4, V3.9W = 4, T3U = 3, V3.1W = 3
y TU = 3. Se observan las siguientes relaciones.
Tx U x < Tx U + 1
(1.1)
Vx W 1 < x Vx W
(1.2)
Tarea
Problema 1.1.1 Exprsese el conjunto {x Z : 5 < x 2 < 10} listando
sus elementos.
Problema 1.1.2 Cuntos
{x R : 10 < x 2 < 5}?
elementos
tiene
el
conjunto
)
x2
x Z:T U=1
10
3 Esto es, los subconjuntos de B vienen en dos deliciosos sabores. . . con x o sin ella.
Se continuar aqu el ya comenzado escueto tratamiento de la teora de conjuntos. Defnense varias operaciones
entre conjuntos. Es posible crear un lgebra con estas operaciones, esto es, un sistema de reglas que las gobiernen
y que sean ms o menos anlogas a las propiedades conmutativas, asociativas, distributivas, etc., conocidas
para las operaciones entre nmeros, pero el deseo aqu no es tan abarcador. Los ya citados [Hal] y [Kap] son
grandemente recomendados para la los lectores que deseen ahondar sus conocimientos.
10 Ejemplo Sean
A = {a, b, c, d},
B = {b, c, e, f }.
Entonces
A B = {a, b, c, d, e, f },
A B = {b, c},
Figure 1.1: A B
A \ B = {a, d},
Figure 1.2: A B
B \ A = {e, f }.
Figure 1.3: A \ B
302 7
U = 9.
7
A B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)}
y
B A = {(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3)}.
En particular, A B 6= B A.
14 Definicin El conjunto R2 = R R llamado plano cartesiano, es el conjunto de todos los pares ordenados de nmeros
reales.
Se representa a R2 grficamente como sigue. Intersquese en los correspondientes ceros dos copias perpendiculares de la
recta real, a las que se llamarn ejes.4 Su punto de interseccin, el O = (0, 0) es denominado el origen. A cada punto P del
plano entonces se le asigna un par de coordenadas, dgase P = (x, y) de nmeros reales. Aqu x es la abscisa,5 que mide el
desplazamiento horizontal de P desde el origen, y y es la ordenada,6 que mide el desplazamiento vertical desde P hasta
el origen.
16 Ejemplo Sean
A=
p
p
1 3; 1 + 2
A B =
p
1 3;
B=
;
2
Entonces 8
A B =
;1+ 2
2
A \B =
p
1 3;
2
B\A=
p
1 + 2;
4 Y no herejes!
7 Se preferir la notacin europea a la de usanza gringosajona en la notacin de intervalos abiertos o semi-abiertos. Por ejemplo, se escribir
en vez de (a,b), cosa que se puede confundir con un par ordenado o con el mximo comn divisor de a y b.
p
p
8 Las aproximaciones 1 3 0.732, 1 + 2 2.414, 1.571, 3.142 pueden aqu avalar.
2
a;b
Notacin de intervalos
Notacin conjuntista
Representacin grfica
{x R : a x b}
{x R : a < x < b}
{x R : a x < b}
{x R : a < x b}
a; +
{x R : x > a}
a; +
{x R : x a}
; b
{x R : x < b}
+
b
; b
{x R : x b}
; +
a; b
a; b
a; b
a; b
17 Definicin Sea a R. Se dice que el conjunto Na j R es un vecindario o entorno de a si existe un intervalo abierto I
centrado en a tal que I j Na . En otras palabras, Na es un vecindario de a si existe un > 0 tal que a ; a + j Na .
Esta ltima condicin se puede escribir de la manera
{x R : |x a| < } j Na .
Si Na es un entorno de a, entonces se dice que Na \ {a} es un entorno reducido de a.
Esto es, Na es un vecindario de a si a tiene vecinos en Na a diestra y siniestra.
bb
a +
bb
bb
a +
19 Definicin Sea a R. Se dice que el conjunto V j R es un vecindario diestro o entorno diestro de a si existe un > 0
a; a + j V . Se dice que el conjunto V 0 j R es un vecindario siniestro o entorno siniestro de a si existe un 0 > 0
a 0 ; a j V 0 .
tal que
tal que
Tarea
Problema 1.2.1 Sean C = 5;5
C D, C D, C \ D, y D \ C .
,D =
1;+
. Determinar
,D=
4;+
. Hallar C D,
5;3
101
elementos
diferentes
0;1
. Demostrar que existe al
1
.
100
20 Definicin La ecuacin de una recta vertical en el plano es x = a, en donde a es constante. La ecuacin de una recta
horizontal en el plano es y = b, en donde b es constante.
4
3
2
1
1
432
1
2
3
4
4
3
2
1
1 2 3 4
1
432
1
2
3
4
1 2 3 4
1; 3
2; 4
22 Ejemplo La regin R = 1; 3
3; +
es la franja infinita que aparece en la figura 1.10. Las lneas de la
frontera son slidas, para denotar su inclusin. La frontera superior tiene forma de serrucho, para indicar que procede al
infinito.
Tarea
Problema 1.3.1 Hllese el rea del 4ABC en donde A = (1,0),
B = (0,4) y C = (1,1).
Se expondr aqu ciertas propiedades de los nmeros en lo referente a las operaciones aritmticas. Esta seccin
aqu aparece solamente como para tener cierto vocabulario de base, y no tiene pretensiones de ser exhaustivo.
El lector que desee un tratamiento ms completo, podr avalarse de los excelentes [Her] y [HerKap].
Se mencionaron en la seccin anterior los conjuntos de nmeros N, Z, Q, R, C. Se estudiar ahora con mayor detenimiento estos conjuntos, en aadiendo las operaciones de la aritmtica.
23 Definicin Se llama operacin binaria numrica, a aquella operacin que involucra a dos nmeros. Abreviadamente
se dir simplemente operacin binaria.
Sabidos ejemplos de operaciones binarias numricas son la suma de dos numeros, la resta de dos nmeros, la multiplicacin de dos nmeros y la divisin de dos nmeros.
24 Ejemplo Hay un infinito nmero de operaciones binarias posibles que se pueden definir en un conjunto dado. Por
ejemplo, en el conjunto N de los nmeros naturales, defnase, para todos los nmeros naturales a, b, la operacin dada
por
a b = 1 + ab.
Entonces
2 3 = 1 + (2)(3) = 7.
De igual manera, se puede definir la operacin binaria con
a b = a2 b 2.
Entonces
2 3 = 22 32 = 5.
25 Definicin Se dice que una operacin binaria en un conjunto S es cerrada en S, o que satisface la propiedad de
clausura en S, si
a S, b S = a b S.
26 Ejemplo La operacin binaria del ejemplo 24 es cerrada, ya que si se multiplica dos naturales se obtiene un natural,
y si al resultado se le aade 1, se obtiene un natural. En smbolos,
x N, y N = x y N = 1 + x y N.
Vise sin embargo, que la operacin del mismo ejemplo no era cerrada en N ya que 2 N, 3 N pero 2 3 6 N.
8
27 Definicin Se dice que una operacin binaria en un conjunto S es conmutativa si para todos los elementos a, b de
S cmplese
a b = b a.
Es bien sabido que las operaciones de suma y multiplicacin de nmeros son conmutativas y que sin embargo, las de
resta y divisin no lo son.
28 Ejemplo La operacin binaria del ejemplo 24 es conmutativa, ya que de por s la multiplicacin en N es conmuta-
tiva, esto es
a b = 1 + ab = 1 + ba = b a.
29 Definicin Dado un conjunto S y una operacin binaria en S, se dice que es asociativa si para todos a, b, c en S
se cumple
a (b c) = (a b) c.
En otras palabras, una operacin binaria es asociativa, si no existe ambigedad en el uso de parntesis, esto es, si se puede
escribir a b c sin temor de que el resultado se vea afectado por el orden en que se decida operar.
De nuevo, es bien sabido que las operaciones de suma y multiplicacin de nmeros son asociativas y que sin embargo,
las de resta y divisin no lo son.
30 Ejemplo En el conjunto S = Q
1; 1
Demustrese que
a +b
.
1 + ab
1. la operacin es cerrada en S.
2. la operacin es conmutativa.
3. la operacin es asociativa.
Resolucin Se proceder segn el orden de las partes.
1. Si a, b son nmeros racionales, entonces
|a| < 1, |b| < 1 = |ab| < 1 = 1 < ab < 1 = 1 + ab > 0,
de donde el denominador nunca se anular, y como las sumas y productos de racionales racionales son,
a +b
a +b
se ha demostrado que
racional tambin es. Se debe ahora demostrar que 1 <
< 1 para a y
1 + ab
1 + ab
b en 1; 1 . Se tiene,
1 <
a +b
<1
1 + ab
1 ab < a + b < 1 + ab
1 ab a b < 0 < 1 + ab a b
Por yacer a y b en
1; 1 , se tiene (a + 1)(b + 1) > 0 y as pues (a + 1)(b + 1) < 0, lo que depara en
la desigualdad siniestra. De manera semejante, a 1 < 0 y b 1 < 0 dando (a 1)(b 1) > 0 y de aqu,
la desigualdad diestra. Como los pasos son reversibles, se ha demostrado que de verdad se tiene 1 <
a +b
< 1.
1 + ab
9
2. Como a b =
3. Se tiene,
a (b c)
=
=
=
b+c
a 1+bc
b +c
a+
1 + bc
b +c
1+a
1 + bc
a(1 + bc) + b + c
a + b + c + abc
=
.
1 + bc + a(b + c) 1 + ab + bc + ca
(a b) c
=
=
=
=
de donde es asociativa.
a +b
c
1 + ab
a +b
+c
1 + ab
a +b
1+
c
1 + ab
(a + b) + c(1 + ab)
1 + ab + (a + b)c
a + b + c + abc
,
1 + ab + bc + ca
Se puede ahora enunciar el siguiente axioma, que resume ciertas propiedades de conjuntos de nmeros ya conocidas.
31 Definicin Sea F un conjunto conteniendo al menos dos elementos distintos 0F y 1F sobre el cual se definen dos
operaciones cerradas en F: (multiplicacin) y + (adicin). Se dice que el triple (F, , +) es un cuerpo si para elementos
cualesquiera a, b, c de F se cumple:9
F1 Tanto la adicin como la multiplicacin son asociativas:
(a + b) + c = a + (b + c), (a b) c = a (b c)
(1.3)
(1.4)
(1.5)
0F + a = a + 0F = a
(1.6)
1F a = a 1F = a
(1.7)
a F, a + (a) = (a) + a = 0F
(1.8)
F4 0F es la identidad aditiva:
F5 1F es la identidad multiplicativa:
F6 Todo elemento tiene un inverso aditivo:
10
(1.9)
32 Axioma Tanto los racionales Q, como los reales R, como los complejos C forman un cuerpo sobre la adicin y la
multiplicacin.
Por qu todos estos sistemas numricos?
Considrese primero los naturales estrictamente positivos. Sociedades primitivas necesitaron contar objetos, dgase
vacas, ovejas, mujeres, etc. Aunque algunas sociedades primitivascomo los polticos de nuestra madre Amrica, o
los profesores de Ciencias Socialesno saben contar sino hasta tres, la necesidad de contar es indisputable. En efecto,
muchas de estas sociedades lograron concebir la siguiente abstraccin: por cada oveja, pngase una piedra en una pila,
esto es, hgase una correspondencia entre el nmero de piedras y el de ovejas. De hecho, la palabra clculo corresponde
a piedra en latn.10
El partir o fraccionar un objeto en partes casi iguales justific la creacin de las fracciones. De hecho, la mayora de las
antiguas sociedades crearon civilizaciones avanzadas con slo conocer a los nmeros racionales estrictamente positivos.
A medida que las sociedades crecieron en sofisticacin, increment la necesidad de nuevos nmeros. Se cree que la
introduccin de nmeros negativos no surgi sino hasta el siglo VII despus de nuestro Seor, en la India.
As pues, se ha construido N, Z y Q. En Q se posee, en efecto, un sistema numrico muy elegante que permite cuatro operaciones aritmticas (suma, resta, multiplicacin y divisin) y que proporciona la nocin de orden. Para qu
entonces crear R?11
Entra ahora la escuela pitagrica, cuyo fundador, Pitgoras, vivi cerca de los 582500 antes de nuestro Seor.12 Esta
secta de griegos degenerados prohibi a sus miembros el comer judas.13 Pero su locura lleg an ms lejos. En vez
de estudiar a los nmeros para resolver problemas cotidianos,14 ellos trataron de entender los nmeros en su esencia,
estudindolos de una manera abstracta. En un principio pensaron ellos que slo existan nmeros racionales. Pero uno
de entre ellos, un tal Hipaso de Metaponto, pudo demostrar que la longitud de la hipotenusa de un tringulo rectngulo
cuyos catetos ambos miden una unidad, no puede ser expresada como la razn de dos enteros, esto es, que es irracional.
2
b
p
2
11 Puesta la pregunta de una manera ms socarrona: con tremendo cuerpo que tiene Q, por qu meterse en los con cuerpos ajenos?
12 Este Pitgoras original no debe confundirse con otro, que vivi durante la gloriosa presidencia de Ronald Reagan y quien fue perro faldero de la
11
Este es uno de los primeros teoremas en la historia de las matemticas. Si uno ha de considerarse de buena educacin
matemtica, cabe saber su demostracin. Es ms, ya dijo Platn: Indigno de ser llamado hombre es quien ignora que la
diagonal de un cuadrado es inconmensurable con sus lados.
El pnico que caus el descubrimiento de Hipaso fue tan grande que sus colegas lo ahogaron. Afortunadamente, los
matemticos ya no recurren a este tipo de reaccin, y dejan ahora que otras religiones o quemen gente en la hoguera o
que usen aeroplanos como proyectiles.
Se demuestra en cursos elementales de teora de nmeros que todo nmero racional o bien tiene una expansin
decimal finita, o bien tiene una expansin decimal peridica y que un racional tendr expansin decimal finita si y slo si
su denominador es de la forma 2m 5n , para naturales m,n. As pues son los decimales infinitos no peridicos los que son
irracionales.
34 Ejemplo Escrbase el decimal peridico 0.345 = 0.345454545. . . como el cociente de dos enteros.
Resolucin El truco consiste en obtener mltiplos de x = 0.345454545. . . cuyas colas infinitas coincidan y
luego substraer estas colas infinitas para cancelarlas. Que sto es legtimo depende del concepto de convergencia
que aqu no se estudiar. El argumento formal que sigue es sin embargo, de valor intrnseco. Obsrvese que
10x = 3.45454545. . . ; 1000x = 345.454545. . . = 1000x 10x = 342 = x =
342 19
=
.
990 55
p
Luego de descubrirse que 2 era irracional, sospechose la existencia de otros nmeros irracionales. De hecho, el gran
Arqumedes sospechaba que era irracional, cantaleta que nos pregonan desde las escuelas primarias, pero que pocos
de nuestros profesores
p saben demostrar. No fue sino hasta el siglo XIX que Lambert demostr que era irracional. Las
irracionalidades de 2 y de son a su vez de sabor distinto, asercin que os tomar algunos cursos en teora de nmeros
para poder discernir.
Simplemente observar la expansin decimal de un nmero no espgua apta para decidir si es irracional o no. Por
ejemplo, una calculatriz ordinaria da nueve cifras decimales dice que 2 1.414213562. Lo que sucede luego del 2 final
es lo interesante: se repetir algn patrn o no?
Tarea
Problema 1.4.1 Es cerrado R \ Q bajo la suma ordinaria de
nmeros reales?
Problema 1.4.2 Es cerrado R \ Q bajo la multiplicacin ordinaria
de nmeros reales?
Problema 1.4.3 Demostrar que
r Q, t R \ Q = r + t R \ Q.
Si adems, r 6= 0, entonces r t R \ Q.
Problema 1.4.4 Exprsese el decimal peridico
0.1242424... = 0.124
Problema 1.4.5 Presumiendo que todo entero natural estrictamente positivo puede descomponerse
en primos de forma nica,
p
dar otra demostracin de que 2 es irracional.
p
p
2 + 3 es irracional.
12
x S,
y S = x y S
Problema 1.4.9 (Competicin Putnam, 1972) Sea S un conjunto no nulo y sea una operacin binaria en S que satisface
las siguientes leyes: (x, y) S 2
Problema 1.4.11 Sobre el conjunto R \{1} defnase la operacin binaria dada por
x (x y) = y,
(1.10)
a b = a + b ab,
(y x) x = y.
(1.11)
35 Definicin Un nmero u se dice que es una cota superior para un conjunto de nmeros A si para todo a A se tiene
a u. La cota superior mnima es llamada el supremo15 del conjunto A. De igual guisa, a un nmero l se le llama cota
inferior para un conjunto de nmeros B si para todo b B se tiene l b. La cota inferior mxima es llamada el nfimo de
B.
Los reales poseen la siguiente propiedad, que los distingue de los racionales.
36 Axioma (Plenitud de R) Todo conjunto de nmeros reales acotado superiormente posee un supremo. Todo conjunto de nmeros reales acotado inferiormente posee un nfimo.
37 Teorema (Propiedad aproximativa del supremo y del nfimo) Sea A 6= un conjunto de reales poseyendo
sup A a.
tal que
inf A + b.
Demostracin: Si a A, sup A > a entonces sup A sera una cota superior menor que la menor de
las cotas superiores, contradiccin a la definicin de sup A. Luego deber de existir alguna a A delincuente tal
que sup A a.
Si b A, inf B + < b entonces inf B + sera una cota inferior mayor que la mayor de las cotas inferiores,
contradiccin a la definicin de inf B. Luego deber de existir algn truhn b B tal que inf B + b.
El resultado anterior debe apelar a la intuicin del lector. Posa sup A sobre una verja, como gallo majadero, o gato
maullador, justo a la diestra del conjunto A. Luego pues, al aventurarse un poquito a la izquierda deber de toparse con
algn inquilino de A, o en otras palabras, A desafa a su supremo al proferir si te adentras te parto al supremo.
15 Yo el Supremo, dictador de la repblica. . . .
13
38 Teorema (Propiedad arquimediana de los reales) Si (x, y) R2 con x > 0, entonces existe un nmero natural
n con nx > y.
Esto significa que sup A x es una cota superior de A inferior al supremo, contradiccin. Luego existir una
n N satisfaciendo nx > y.
0; +
: x 2 2}
es no vaco y acotado superiormente, no posee un supremo. Como 12 < 2 y 1 Q, se tiene que S 6= . Vase que 2
es una cota superior de S ya que si x S y x > 2 entonces x 2 > 4, lo que contradice x S. Luego S es no vacuo y
acotado superiormente por 2.
Supngase ahora que s = sup S. Por tricotoma o bien s 2 < 2, o bien s 2 = 2, o bien s 2 > 2. Como se ha visto, no
hay racionales s con s 2 = 2, as que se tendr o bien s 2 < 2, o bien s 2 > 2. Se eliminar el caso s 2 < 2, dejando
que el lector elimine el caso s 2 > 2.
Supngase pues que s 2 < 2. Por la propiedad arquimediana de los reales, existe un entero n tal que 2 s 2 >
Pngase t = s +
1
, obviamente racional y obsrvese que ya que s 2 se tiene
10n1
t 2 = s2 +
1
.
10n
1
2s
1
5
1
2s
+ 2n2 < s 2 + n1 + n1 s 2 + n1 < s 2 + n < 2.
n1
10
10
10
10
10
10
As pues t S and t > s, esto es, t es un elemento de S mayor que su supremo, contradiccin. Se concluye que S
supremo no tiene.
b B tal que
42 Teorema Q es denso en R.
Demostracin: Sean x, y nmeros reales con x < y. Como existe un nmero infinito de enteros positivos, debe
1
de existir uno, dgase n tal que n >
por la propiedad arquimediana de R. Considrese el nmero racional
y x
m
r = , en donde m es el menor natural satisfaciendo m > nx. Esto significa que
n
m > nx m 1.
14
nx m 1 and y x >
As pues
1
m 1
1
m 1 1 m
= x >
and y > x + = y >
+ = .
n
n n
n
n n n
n
m
es un racional entre x y y.
n
43 Teorema R \ Q es denso en R.
a
b
Demostracin: Sean a, b con a < b nmeros reales. Por el teorema 42, existe un racional r con p < r < p .
2
2
p
p
Entonces a < 2r < b y 2r irracional es.
Se le agregan ahora los objetos + (mayor que todo real) y (menor que todo real) al conjunto R. Si x R, se
observarn las siguientes convenciones.
(+) + (+) = +
(1.12)
() + () =
(1.13)
x + (+) = +
(1.14)
x + () =
(1.15)
x(+) = + si x > 0
(1.16)
x(+) = si x < 0
(1.17)
x() = si x > 0
(1.18)
x() = + si x < 0
(1.19)
x
=0
(1.20)
(+) + (),
1
, 0().
0
Tarea
Problema 1.5.1 Sean A y B subconjuntos no nulos de nmeros
reales. Pngase
A = {x : x A},
A B = {a b : (a,b) A B}.
Demostrar que
1. si A es acotado superiormente, entonces A es acotado inferiormente y que
sup A = inf(A).
15
< 2 =
(a + 2b)2
(a + b)2
< 2.
2
<
2
.
(a + b)2
b2
(a + 2b)2
Esto quiere decir que si
p
a p
< 2 es una aproximacin a 2, entonces
b
a + 2b
es una mejor aproximacin.
a +b
p
2x + 5 p
x + 2 5 < x 5 .
Se estudiar en esta seccin como resolver desigualdades simples. El mtodo aqu expuesto de formar diagramas
de signo ser til para diversas situaciones. Atencin debe tenerse al vocabulario. Lo que los anglogringones
llaman positivo, ser aqu llamado estrictamente positivo. Lo que ellos llaman no negativo, ser llamado aqu
positivo. Por lo tanto, el 0 es tanto positivo como negativo. Esa mala costumbre de producir antnimos por la
simple prefijacin de un no recuerda al 1984 de Orwell y por tanto, aqu se evitar.
Se presume que R est dotado de una relacin > que satisface los siguientes axiomas.
x = y,
y > x.
y >z
entonces x > z.
entonces x + z > y + z.
10
= x < 5.
2
2x 3 13 = 2x 13 + 3 = 2x 10.
El prximo paso sera dividir uno y otro lado por 2. Siendo 2 < 0, el sentido de la desigualdad es invertido,
as
10
2x 10 = x
= x 5.
2
El mtodo anterior de resolver desigualdades lineales se generaliza al caso de un producto de factores lineales. Para
investigar el conjunto de la recta real donde se verifica la desigualdad
(a1 x + b 1 ) (an x + b n ) > 0,
(1.21)
examinamos primero donde cada factor se anula. Por la ley de tricotoma, y para cada k, la recta real ser dividida en tres
zonas distintas:
{x R : ak x + b k > 0} {x R : ak x + b k = 0} {x R : ak x + b k < 0}.
ak
Llamarse a la recta real punzada en los x = , en indicando las reas donde cada factor cambia de signos, el diagrama
bk
de signos correspondiente a la desigualdad (1.21). Se examinan pues las localidades donde cada factor cambia de signo y
as se resolver la desigualdad. 16 Se ver ahora algunos ejemplos.
x 2 + 2x 35 < 0.
x +7
4. Expresar al conjunto x R :
0 como un intervalo o como reunin de intervalos.
x 5
x +7
5. Expresar al conjunto x R :
2 como un intervalo o como reunin de intervalos.
x 5
Resolucin
1. Obsrvese que x 2 + 2x 35 = (x 5)(x + 7), que se anula cuando o bien x = 7 o bien x = 5. Se observa que
en un vecindario de x = 7 y x = 5, se tiene:
x
7; 5
; 7
5; +
x +7
x 5
(x + 7)(x 5)
16 El experto notar que, en efecto, se enmascara aqu un argumento de continuidad. Pero como ya se ha dicho antes, nuestro tratamiento no es
necesariamente axiomtico y lineal.
17
{x R : x 2 + 2x 35 < 0} =
3. Del diagrama de signos arriba se deduce que
x R : x 2 + 2x 35 0 =
7; 5
; 7
5; +
Ntese que incluye tanto a x = 7 como a x = 5 en el conjunto, pues ah se anula (x + 7)(x 5).
x +7
xR:
0 =
x 5
Ntese que incluye a x = 7 pues ah se anula
5. Se tiene
; 7
5; +
x +7
x +7
, pero se excluye a x = 5 pues ah
est indefinida.
x 5
x 5
x +7
x +7
x + 7 2x 10
3x 3
2
+ 2 0
+
0
0.
x 5
x 5
x 5
x 5
x 5
Debe ahora construirse un diagrama de signos punzando a la recta real en x = 1 y en x = 5:
; 1
5; +
3x 3
x 5
3x 3
x 5
Se deduce que
1; 5
x R:
x +7
2 =
x 5
1; 5
3x 3
3x 3
se anula aqu, pero se excluye a x = 5 pues
es ah inx 5
x 5
Pero esta ltima desigualdad es imposible para nmeros reales, ya que la expresin ((x 1)2 + 1) es estrictamente negativa.17 As pues
{x R : x 2 + 2x 2 0} = .
17 Por qu?
18
5
9
2
2
32x 40x + 9 = 32 x x +
4
32
2
5
5
9
52
= 32 x 2 x + 2 +
2
4
8
32 8
5 2 7
= 32 x
8 p 64
!
p !
5
7
5
7
= 32 x
x +
.
8
8
8
8
p
p
5
7
7
5
Se puede ahora formar un diagrama de signos, punzando a la recta real en x =
y en x = +
:
8
8
8
8
p
p
p
p
5
7
5
7 5
7
5
7
x
;
; +
+
; +
8
8
8
8 8
8
8
8
p !
5
7
x +
+
+
8
8
p !
5
7
x
+
8
8
p !
p !
5
5
7
7
x +
x
+
+
8
8
8
8
Se deduce que
p
7
5
;
8
8
p
5
7
+
; +
8
8
Cuando se transforma una desigualdad, deber percatarse el estudiante de no introducir soluciones espurias.
p
p
p
2 1 x x + 1 x.
Resolucin Obsrvese primero que para que las races cuadradas hicieren sentido se deber tener
x
; 1
1; +
0; +
= x
0; 1
!
p
p
p
5
7
5
7
5
7
;
+
; +
0; 1 = 0;
8
8
8
8
8
8
Se ver ahora cmo resolver algunas desigualdades que involucren valores absolutos.
si x < 0,
si x 0.
19
57 Ejemplo Resolver
1. |x 3| + |x + 2| = 3,
2. |x 3| + |x + 2| = 5,
3. |x 3| + |x + 2| = 7.
Resolucin Se utilizar otra versin del mtodo de diagramas de signos para resolver este problema. Se sabe
que
|x 3| = (x 3)
y que
|x + 2| = (x + 2).
Se debe determinar en qu regiones de la recta real se ha de tomar cada opcin. Para esto, se punza la recta real
en x = 3 y en x = 2, esto es, donde cambian de signo las cantidades en valores absolutos. Se obtiene
x
2; 3
; 2
3; +
|x 3| =
3x
3x
x 3
|x + 2| =
x 2
x +2
x +2
|x 3| + |x + 2| =
2x + 1
2x 1
As pues,
|x 3| + |x + 2| =
2x + 1
2x 1
si x 2,
si 2 x 3,
si x 3.
5 = 3 si 2 x 3,
2x 1 = 3 si x 3.
5 = 5 si 2 x 3,
2x 1 = 5 si x 3.
5 = 7 si 2 x 3,
2x 1 = 7 si x 3.
Se demostrar ahora dos teoremas de gran utilidad para resolver desigualdades que involucren valores absolutos.
|x| t t x t .
|x| t x t t 0 x t .
Si |x| = x,
|x| t x t t x 0 t .
|x| t x t
x t .
|x| t x t .
Si |x| = x,
|x| t x t x t .
|1 |1 x|| 1 1 |1 x| 1 o 1 |1 x| 1.
3; +
; 1
y as pues
{x R : |1 |1 x|| 1} =
; 1
{1}
3; +
Tarea
Problema 1.6.1 Determinar los valores del parmetro real t tal
que el conjunto
t
A t = x R : (t 1)x 2 + t x + = 0
4
1. sea vaco.
2. tenga exactamente un elemento.
3. tenga exactamente dos elementos.
Problema 1.6.2 Liste los elementos del conjunto
n
x Z : min x + 2,4
x
3
o
1 .
2x
= |x + 1|.
Problema 1.6.9 Resulvase la ecuacin
x 1
{x R : |x + 1| |x 2| = 3}
en notacin de intervalos.
x R:
x 3
0
x +2
n
o
1x
x R : x2 x 6 0 x R :
1
x +3
en notacin de intervalos.
x + y + x y
max(x, y) =
2
y
x + y x y
min(x, y) =
.
2
Problema 1.6.13 Resolver la desigualdad |x 1||x + 2| > 4.
x2 + x 6
x R: 2
0
x x 6
|x 4x| = 3 ?
x 2 4x + 3 x + 2.
p
1 4x 2 1
> .
x
2
22
11
x + 1 > 0.
2
Se estudiar en esta seccin algunas desigualdades clsicas. El lector interesado deber consultar las obras de
[HaLiPo] o [Mit] para un tratamiento ms completo.
(1.22)
..
.
||a| |b|| |a b| .
(1.23)
18 El mo es escorpin.
23
64 Teorema (Desigualdad de las medias aritmtica y geomtrica) Sean a, b nmeros reales positivos. Entonces
su media geomtrica
a +b
, esto es,
2
ab
a +b
,
2
p
a 2 ab + b 0,
de donde se deduce la desigualdad deseada. Es claro que ocurre igualdad si y slo si a = b, cuando
cero.
p
a b es
65 Corolario (Desigualdad de las medias geomtrica y armnica) Sean a, b nmeros reales estrictamente positivos. Entonces su media armnica
1
a
1
b
1
b
ab,
1 1
y , se tiene,
a b
r
1
+1
1 1
a b,
a b
2
de donde el resultado deseado se obtiene en arreglando los trminos. Es claro que, de nuevo, hay igualdad si y
slo si a = b.
En general, para nmeros reales estrictamente positivos ak se tiene
n
p
a1 + + an
n a1 an
.
1
1
n
+ +
a1
an
(1.24)
Existen varias demostraciones de la desigualdad (1.24), como podr el lector percatarse al leer [Mit]. Una bellsima demostracin es debida a Cauchy, quien la demostr por induccin, primero demostrando su validez para potencias de 2,
y luego intercalando medias aritmticas entre dos potencias consecutivas de 2. Aqu solamente se demostrarn los casos
n = 3 y n = 4, usando el mismo argumento de Cauchy.
24
p
4
abc
a +b +c
3
a +b +c +d
,
4
con igualdad si y slo si todas las cantidades a, b, c, d son iguales.
abcd
abcd
pp
p
ab cd
s
a +b c +d
2 2
a +b
c +d
+
2
2
2
a +b +c +d
,
4
a +b +c
= 0, entonces a = b = c = 0 siendo los
3
a +b +c
nmeros positivos y la desigualdad se deduce trivialmente. Supngase que
6= 0. Se tiene, para las
3
a +b +c
cuatro cantidades a, b, c y
,
3
Se puede ya utilizar el resultado para n = 4, sabido cierto. Si
s
4
a +b +c
abc
3
As,
(abc)1/4
a +b +c
3
1/4
a +b +c +
a +b +c
3
4
a +b +c
.
3
a +b +c
a + b + c 3/4
a +b +c
= (abc)1/4
= (abc)1/3
,
3
3
3
67 Ejemplo Una caja rectangular tiene rea de superficie S unidades cuadradas, en donde se presume que slo se incluyen las seis caras externas. Hallar su volumen mximo.
Resolucin Sean a, b, c las dimensiones de largo, ancho y altura de la caja. Luego su rea de superficie es
S = 2ab + 2bc + 2ca
y su volumen V = abc. Por la desigualdad de la media para tres cantidades positivas,
y de aqu,
.
63/2
El volumen mximo se obtiene cuando ab = bc = ca = a = b = c, esto es, cuando la caja es un cubo.
abc
25
a2 + b2 + c2
x2 + y 2 + z2.
Habr igualdad si y slo si la terna ordenada (a, b, c) es proporcional a la terna ordenada (x, y, z), esto es, si existe una
constante tal que (a, b, c) = (x, y, z).
p
p
Demostracin: La desigualdad se cumple si a 2 + b 2 + c 2 x 2 + y 2 + z 2 = 0, (pues entonces seran o bien
a = b = c = 0 o bien x = y = z = 0) por lo tanto, presmase lo contrario. Utilizando el corolario 62 y el teorema
64,
p
|ax + by + cz|
p
x2 + y 2 + z2
a2 + b2 + c2
|a||x|
|b||y|
|c||z|
+p
+p
p
p
p
2
2
2
2
2
2
2
2
2
2
2
x +y +z
a +b +c
x +y +z
a + b + c2 x2 + y 2 + z2
1
1
|a|2
|x|2
|b|2
|y|2
2
+
+
+
2 a + b2 + c2 x2 + y 2 + z2
2 a2 + b2 + c2 x2 + y 2 + z2
2
2
1
|c|
|z|
+ 2
+
2 a + b2 + c2 x2 + y 2 + z2
1,
a2 + b2 + c2
|a1 b 1 + + an b n |
a12 + + an2
b 12 + + b n2
(1.25)
Habr igualdad si y slo si la terna ordenada (a, b, c) es proporcional a la terna ordenada (x, y, z), esto es, si existe una
constante tal que (a, b, c) = (x, y, z).
Demostracin: Utilizando tanto la desigualdad trivial t |t | como la de Cauchy-Bunyakovsky-Schwarz,
(a + x)2 + (b + y)2 + (c + z)2
a 2 + b 2 + c 2 + 2(ax + by + cz) + x 2 + y 2 + z 2
a 2 + b 2 + c 2 + 2|ax + by + cz| + x 2 + y 2 + z 2
p
p
a2 + b2 + c2 + 2 a2 + b2 + c2 x2 + y 2 + z2 + x2 + y 2 + z2
p
2
p
a2 + b2 + c2 + x2 + y 2 + z2 ,
de donde, al tomar races cuadradas, se obtiene la desigualdad deseada. Habr igualdad si y slo si hubiere
igualdad en la desigualdad de Cauchy-Bunyakovsky-Schwarz, esto es, cuando existiere una constante tal que
(a, b, c) = (x, y, z).
19 Se ha usado |t |2 = t 2 para todo real t .
26
(a1 + b 1 )2 + + (an + b n )2
a12 + + an2 +
q
b 12 + + b n2
(1.26)
Tarea
Problema 1.7.1 Sea x R. Minimizar la expresin
|x 1| + |x + 2|.
Problema 1.7.2 Calclese (123456789)2 (123456791)(123456787)
mentalmente.
p
p
Problema 1.7.3 Hllese 5 + 2 6.
Problema 1.7.11 Sea x > 0 un nmero real. Hallar el valor mnimo de la expresin
x4 + x2 + 4
.
x
Problema 1.7.12 Sean x, y, z reales estrictamente positivos. Demostrar que
!
x2
y2
z2
x + y +z 2
+
+
.
y +z z +x x + y
2 2
demostrar que a = b = c = d.
De-
(a + b + c ) 3(a + b + c ).
Problema 1.7.8 Demostrar que para nmeros reales cualesquiera,
se cumplen las desigualdades
x 2 + y 2 + z 2 x y + yz + zx
y
a 2 + b 2 + c 2 + d 2 = ab + bc + cd + d a,
x 4 + y 4 + z 4 x yz(x + y + z).
Problema 1.7.9 Sean a > 0,b > 0,c > 0 las longitudes de los lados de un tringulo 4ABC . (El vrtice A est opuesto al lado
midiendo a, etc.) Recurdese que la frmula de Hern dice que
el rea de un tringulo en trminos de sus lados es S(a,b,c) =
p
a +b +c
s(s a)(s b)(s c), en donde s =
es el semi-permetro
2
S(a,b,c)
del tringulo. Demostrar que la cantidad f (a,b,c) = 2
a + b2 + c 2
es maximizada cuando el tringulo 4ABC es equiltero y hallar
este mximo.
Problema 1.7.10 Sean x, y, z reales estrictamente positivos. Demostrar que
p
p
p
x + y + y +z + z +x p
6.
p
x + y +z
Problema 1.7.15 Los valores de a,b,c,d son 1,2,3,4 pero no necesariamente en este orden. Cul es el valor mximo de
ab + bc + cd + d a?
Problema 1.7.16 Demostrar que si r s t entonces
r 2 s 2 + t 2 (r s + t)2 .
Problema 1.7.17 Demostrar que
a 3 + b 3 + c 3 3abc = (a + b + c)(a 2 + b 2 + c 2 ab bc ca)
y que
2a 2 + 2b 2 + 2c 2 2ab 2bc 2ca = (a b)2 + (b c)2 + (c a)2 .
De sto, deducir la desigualdad de las medias aritmticas y geomtricas para tres cantidades.
Problema 1.7.18 Maximizar la cantidad (a + x)5 (a x)3 , x
a; a .
Problema 1.7.19 Si {a,b,c,d,e, f } = {1,2,3,4,5,6}, minimcese
abc + de f .
27
2
Geometra analtica
En este captulo se casarn, de feliz manera, la geometra eucldea con el lgebra. Su bellsima hija es la geometra analtica, que se ha relegado a la cocina como infeliz Cenicienta en los currculos de Gringaterra.
El tratamiento aqu no es exhaustivo. Antes bien, muchos de los teoremas han sido probados en varias situaciones ad hoc, cosa de no oscurecer los argumentos. El desarrollo que aqu se da se hace con el propsito de
mostrar al estudiante que ciertas ecuaciones algebraicas tienen ciertas curvas, no porque as lo diga el profesor,
sino porque as lo demanda la teora.
B(x2 , y 2 )
B(x2 , y 2 )
B(x2 , y 2 )
(x, y)
y2 y1
A(x1 , y 1 )
|x2 x1 |
C (x2 , y 1 )
bM
m
A(x1 , y 1 )
C (x2 , y 1 )
MB
A(x1 , y 1 )
bR
b
C (x2 , y 1 )
70 Teorema (Distancia entre dos puntos) La distancia entre dos puntos A = (x1 , y 1 ), B = (x2 , y 2 ) del plano cartesiano R2 est dada por
p
AB = d (x1 , y 1 ), (x2 , y 2 ) := (x1 x2 )2 + (y 1 y 2 )2 .
Demostracin: Considrese dos puntos en el plano, como en la figura 2.1. Construyendo los segmentos C A y
BC con C = (x2 , y 1 ), se puede hallar la longitud del segmento AB , esto es, la distancia de A a B, en utilizando el
Teorema de Pitgoras:
AB 2 = AC 2 + BC 2 = AB =
q
(x2 x1 )2 + (y 2 y 1 )2 .
71 Ejemplo El punto (x, 1) est a distancia 11 del punto (1, x). Hallar todos los valores posibles de x.
28
p
3 2
2 .
11
11
p
(x 1)2 + (1 + x)2
(x 1)2 + (1 + x)2
11
2x 2 + 2
11.
Luego, x = 3 2 2 o x =
d (x, y), (1, 3) = d (x, y), (2, 4) = (x + 1)2 + (y 3)2 = (x 2)2 + (y 4)2 ,
d (x, y), (1, 3) = d (x, y), (1, 1) = (x + 1)2 + (y 3)2 = (x 1)2 + (y 1)2 .
2x + 1 6y + 9 = 4x + 4 8y + 16,
2x + 1 6y + 9 = 2x + 1 2y + 1,
o
6x + 2y = 10,
Fcilmente se encuentra que (x, y) =
11
4, 4
4x 4y = 8.
.
(m, n)
b
(b, 0)
73 Ejemplo Se dice que un punto del plano (x, y) R2 es un punto reticular si x Z y y Z. Probar que no existe ningn
tringulo equiltero en el plano cuyos tres vrtices sean puntos reticulares.
Resolucin Ya que el tringulo puede ser trasladado sin alterar sus ngulos, se puede considerar, sin prdida
de generalidad, un tringulo 4ABC con A(0, 0), B(b, 0), C (m, n), con enteros b > 0, m > 0 y n > 0, como en la
figura 2.4. Si 4ABC fuese equiltero, entonces
AB = BC = C A = b =
p
p
(m b)2 + n 2 = m 2 + n 2 .
29
b 2 = m 2 2bm + b 2 + n 2 = m 2 + n 2 .
2bm + b 2 = 0 = b(b 2m) = b = 2m,
p
3
b2
+ n 2 = n =
b.
4
2
p
Como b se presume entero no nulo, n no puede ser entero, ya que 3 es irracional.
b2 = m2 + n2 =
x +x y +y
1
2
1
2
,
se encuentra en la recta que une A(x1 , y 1 )
2
2
Demostracin: Primero obsrvese que es muy fcil hallar el punto medio de un segmento finito de recta horib a a +b
zontal o vertical. El intervalo a; b mide ba. Por lo tanto su punto medio se encuentra en a+
=
.
2
2
Sea (x, y) el punto medio de A(x1 , y 1 ) y B(x2 , y 2 ). Con C (x2 , y 1 ), frmese el 4ABC , rectngulo en C . Desde (x, y)
considrese las proyecciones de este punto sobre AC y BC . Ntese que estas proyecciones son paralelas a los
catetos del tringulo. Por el corolario 235, las proyecciones pasan por los puntos medios de los catetos. Como
2
AC es un segmento horizontal, su punto medio es MB = ( x1 +x
2 , y 1 ). Como BC es un segmento horizontal, su
y 1 +y 2
punto medio es M A = (x2 , 2 ). El resultado se deduce en notando que (x, y) debe tener la misma abscisa que
MB y la misma ordenada que M A .
En general, se puede demostrar el siguiente resultado.
75 Teorema (Frmula de Joachimstal) El punto P que divide al segmento de recta AB, con A(x1 , y 1 ) y B(x2 , y 2 ) , en
dos segmentos de razn m : n tiene coordenadas
nx + mx n y + m y
1
2
1
2
,
.
m +n
m +n
Demostracin: La demostracin procede de la misma manera que la del teorema 74. Primero se considera el
xa m
na + mb
intervalo finito a; b . Supngase que a < x < b y que
= . Entonces x =
.
bx
n
m +n
Frmese ahora el 4ABC , rectngulo en C . Desde P considrese la proyeccin Q sobre AC y la proyeccin R sobre
BC . Por el corolario 235, Q y R dividen, respectivamente, a AC y BC en razn m : n. Por lo arriba demostrado
nx + mx
n y1 + m y2
1
2
, y 1 y las coordenadas de R son x2 ,
, de donde
para intervalos, las coordenadas de Q son
m +n
m +n
se desprende el resultado.
Tarea
Problema 2.1.1 Hllese la distancia entre (a, b) y (b, a).
Problema 2.1.2 Demustrese, por clculo directo, que
a +c b +d
a +c b +d
d (a, b),
,
=d
,
, (c, d) .
2
2
2
2
30
3
de la distancia de
5
A(1, 5) a B(4, 10) en el segmento AB (y claro, est ms cerca
de B que de A). Hllese a C .
Problema 2.1.6 Osama Bin-Al-Cucaracha comienza a viajar desde el punto (1, 1) y quiere llegar al punto (2, 1). En
cada cuadrante y tambin, en los ejes, se mueve a razn de
1 de distancia por minuto, excepto en el segundo cuadrante,
en donde se mueve a razn de media unidad de distancia
por minuto. Qu ruta deber tomar Osama para minimizar
el tiempo del recorrido? La respuesta no es una recta de
(1, 1) a (2, 1)!
n q
X
(2k 1)2 + ak2 ,
k=1
2.2 Crculos
b
5
4
(x0 , y 0 )
0
-1
-2
-3
-4
-5
-5
-4
-3
-2
-1
(2.1)
Demostracin: El punto (x, y) pertenece a un crculo de radio R > 0 si y slo si su distancia al centro del crculo
31
2.2. Crculos
es R. Luego se requiere
(x x0 )2 + (y y 0 )2
R2
p
(x x0 )2 + (y y 0 )2
{(x, y) R2 : x 2 + y 2 4,
|x| 1}.
Resolucin Obsrvese que |x| 1 x 1 o x 1. La regin yace en el interior del crculo con centro en
(0, 0) y radio 2, a la derecha de la recta vertical x = 1 y a la izquierda de la recta vertical x = 1. Vase la figura
2.6.
x 2 + 2x + y 2 6y = 6.
x2 + y 2 R2
=
= 4x y 2R 2 .
2
2
p
Luego el rea mxima es 2R 2 y sta se obtiene cuando x = y = 2R.
x2 y 2
Tarea
Problema 2.2.1 Dibjese al conjunto
{(x, y) R2 : x 2 + y 2 1,
(x 1)2 + y 2 1}.
2. Hallar su rea.
Problema 2.2.6 El punto A(1, 2) yace sobre el crculo
C:
(x + 1)2 + (y 1)2 = 5,
2.3 Semicrculos
Dado un crculo de centro (a, b) y radio R > 0, su ecuacin cannica es
(x a)2 + (y b)2 = R 2 .
R 2 (x a)2 .
p
Si se tomare el signo + entonces los valores de y yacern arriba de la recta y =pb, y por lo tanto, y = b + R 2 (x a)2 es la
ecuacin del semicrculo superior con centro en (a, b) y radio R > 0 y y = b R 2 (x a)2 es la ecuacin del semicrculo
inferior.
De la misma manera, al resolver para x se tiene
q
(x a)2 = R 2 (y b)2 = x = a R 2 (y b)2 .
p
2
2
Si se tomare el signo + entonces los valores de x yacern a la la recta x = a,
py por lo tanto, x = a + R (y b) es la
ecuacin del semicrculo derecho con centro en (a, b) y radio R > 0 y x = a R 2 (y b)2 es la ecuacin del semicrculo
izquierdo.
b
3
2
1b
5 4 3 21
1
2
3
4
5
3
2
1b
1 2 3
5 4 3 21
1
2b
3
4
5
1 2 3
p
y 1 = x 2 6x 5
(y 1)2 = x 2 6x 5
x 2 + 6x + 9 + (y 1)2 = 5 + 9
(x + 3)2 + (y 1)2 = 4,
de donde el semicrculo tiene centro (3, 1) y radio 2. Su grfica aparece en la figura 2.8.
33
2.4. Rectas
9 (y 1)2 .
2.4 Rectas
Recuerde el lector que una recta vertical en el plano es el conjunto de puntos
{(x, y) R2 : x = a},
en donde a R es una constante. De la misma manera, una recta horizontal en el plano es el conjunto de puntos
{(x, y) R2 : y = b},
en donde b R es una constante. En esta seccin se desarrollar un estudio ms general de rectas. Se comenzar con el
siguiente resultado.
(x1 , y 1 )
b
y y1
(x, y)
y2 y1
(x2 , y 2 )
b
x x1
x2 x1
Figure 2.10: Teorema 82.
82 Teorema Sea L una recta en el plano y sean A(x1 , y 1 ), B(x2 , y 2 ), C (x, y) tres puntos arbitrarios y diferentes sobre L.
Entonces
y2 y1 y y2 y y1
=
=
,
x2 x1 x x2 x x1
y y1
= m,
x x1
llamada pendiente o gradiente de la recta, es independiente de la posicin de los puntos C (x, y) y A(x1 , y 2 ) sobre la recta.
An ms. La ecuacin cartesiana de toda recta no vertical en el plano es de la forma y = mx + k, en donde m R y
k R son constantes.
Recprocamente, los puntos del plano ligados por la ecuacin y = ax + b, en donde a, b son constantes reales, forman
una recta.
34
y2 y1
y2 y1
x x1
+ y1 ,
x2 x1
x2 x1
y2 y1
y2 y1
, k = x1
m=
+ y1 ,
x2 x1
x2 x1
q
p
p
(x2 x1 )2 + (ax2 ax1 )2 = |x2 x1 | 1 + a 2 = (x2 x1 ) 1 + a 2 ,
q
p
p
(x3 x2 )2 + (ax3 ax2 )2 = |x3 x2 | 1 + a 2 = (x3 x2 ) 1 + a 2 ,
q
p
p
(x3 x1 )2 + (ax3 ax1 )2 = |x3 x1 | 1 + a 2 = (x3 x1 ) 1 + a 2 ,
d( P, Q ) + d( Q, R ) = d( P, R ).
Como y = m(0) + k, el punto (0,k) es el intercepto del eje de y de la recta que pasa por (x1 , y 1 ) y (x2 , y 2 ). Una recta
horizontal tiene pendiente 0. Una recta vertical tiene pendiente infinita.
5
4
3
2
1
0
-1
-2
-3
-4
-5
-5
-4
-3
-2
-1
35
83 Ejemplo La recta y = x es de fundamental importancia, como se ver en futuras secciones. Su pendiente es +1 biseca
el primer y tercer cuadrantes. Para dibujarla, tmese dos puntos en la recta, por ejemplo (0, 0) y (1, 1) y nanse. De la
misma manera, a recta y = x tiene pendiente 1 y biseca al segundo y cuarto cuadrantes. Vanse las figuras 2.11 y 2.12.
6
y = x + k.
7
Se necesita ahora hallar k. Se puede utilizar cualquiera de los puntos dados, ambos resultarn en el mismo
valor de k. As, cuando x = 4 se tiene y = 3:
6
24
3
3 = (4) + k = k = 3
= .
7
7
7
La ecuacin buscada es pues
3
6
y = x .
7
7
Tarea
Problema 2.4.1 Hllese la ecuacin de la recta que une a
(a, a 2 ) con (b, b 2 ).
y = mx
b (x2 , y2 )
(x1 , y 0 )
1
b
b (x1 , y1 )
(1, m)
(1, m 1 )
y = m1 x
86 Teorema Dos rectas inclinadas son perpendiculares si y slo si el producto de sus pendientes es 1.
Demostracin: Se quiere demostrar que L 1 : y = mx + k es perpendicular a L 2 : y = m 1 x + k 1 si y slo si
1
m 1 = . Refirase a la figura 2.15. Ya que el trasladar rectas no afecta el ngulo entre ellas, se podr presumir
m
sin prdida de generalidad que tanto L 1 : y = mx + k como L 2 : y = m 1 x + k 1 se intersecan en (0, 0), en cuyo caso
k = k 1 = 0. Ahora bien, la recta y = mx se encuentra con la recta vertical x = 1 en (1, m) y la recta y = m 1 x se
encuentra con esta misma vertical en (1, m 1 ). Si las rectas fuesen perpendiculares el Teorema de Pitgoras dara
(m m 1 )2 = (1 + m 2 ) + (1 + m 12 ),
que simplificando resulta en mm 1 = 1.
y
b
(3, 5.4)
bP
b
2
L0
9
8
7
6
bA
5
4
3 b
2
O
x
1
1
2
10
9
8
7
6
5
4
3
2
1 123456789
3
4
5
6
7
8
9
10
(b, a)
y =x
b (x1 , y1 )
b (a, b)
b (x0 , y0 )
L : y = mx + k
La ecuacin de L 0 tiene la forma y = 0.8x + k. Como L 0 pasa por (0, 3), se deduce finalmente que L 0 tiene
ecuacin y = 0.8x + 3.
88 Ejemplo Considrese el crculo C de centro O(1, 2) y que pasa por A(5, 5), como se muestra en la figura 2.17.
1. Hllese la ecuacin de C .
2. Hllense todos los valores posibles de a tal que el punto (2, a) yaga sobre el crculo C .
3. Hllese la ecuacin de la recta L tangente a C en A.
Resolucin
1. Sea R > 0 el radio del crculo. Entonces la ecuacin del crculo tiene la forma
(x 1)2 + (y 2)2 = R 2 .
4
la recta L tendr pendiente . As L tiene ecuacin de la forma
3
4
y = x + k.
3
Como (5, 5) yace sobre la recta,
4
20
35
5 = 5 + k = 5 +
= k = k =
,
3
3
3
4
35
de donde se deduce que L tiene ecuacin y = x + .
3
3
38
89 Teorema (Distancia de un punto a una recta) Sea L : y = mx + k una recta en el plano y sea P = (x0 , y 0 ) un
punto que no yaga sobre L. La distancia d( L, P ) de L a P est dada por
|x0 m + k y 0 |
.
p
1 + m2
Demostracin: Si la recta tuviese pendiente infinita, entonces L sera vertical de ecuacin x = c, para alguna
constante c, de donde claramente
d( L, P ) = |x0 c|.
Si m = 0, entonces L es horizontal y claramente
d( L, P ) = |y 0 k|,
lo que concuerda con el teorema. Supngase ahora que m 6= 0. La recta L tiene pendiente m y cualquier recta
1
perpendicular a L tiene pendiente m
. La distancia de P a L es la longitud del segmento de recta que une P con
el punto de interseccin (x1 , y 1 ) de la recta L 0 perpendicular a L y pasando por P . Ahora bien, es fcil de ver que
L 0 tiene ecuacin
1
x0
L0 : y = x + y0 + ,
m
m
y entonces L y L 0 se intersecan en
x1 =
Por lo tanto,
d( L, P )
=
=
=
=
=
=
demostrando el teorema.
y 0 m + x0 bm
y 0 m 2 + x0 m + k
,
y
=
.
1
1 + m2
1 + m2
d (x0 , y 0 ), (x1 , y 1 )
q
(x0 x1 )2 + (y 0 y 1 )2
s
y 0 m + x0 km 2
y 0 m 2 + x0 m + k 2
x0
+
y
0
1 + m2
1 + m2
p
(x0 m 2 y 0 m + km)2 + (y 0 x0 m k)2
1 + m2
p
(m 2 + 1)(x0 m y 0 + k)2
1 + m2
|x0 m y 0 + k|
,
p
1 + m2
a +b
.
2
a +b
a+b
, el punto de interseccin lo es ( a+b
2 , 2 ). Pero este punto es tambin el punto medio
2
de (a, b) y (b, a), lo que quiere decir que tanto (a, b) como (b, a) se encuentran a igual distancia de la recta y = x,
estableciendo el resultado. Vase la figura 2.18.
Luego, como y = x =
39
Tarea
Problema 2.5.1 Las rectas
L : ax + by = c,
L0 : d x + e y = f
6. Existe acaso algn punto (x0 , y 0 ) que pertenece a todas las L t , para no importa qu valor de t ?
1. Hallar la pendiente de L.
2. Hallar la ecuacin de L.
3. Hallar la ecuacin de la recta L 0 paralela a L y que pasa
por (4, 4).
00
En los casos siguientes , encuentre el valor de t y L t que satisface las condiciones estipuladas.
1. L t pasa por (2, 3).
2. L t es paralela a al eje de x.
3. L t es paralela al eje de y.
4. L t es paralela a la recta de ecuacin x 2y 6 = 0.
ab
nadas, que las alturas del 4ABC concurren en 0,
. El
c
punto de concurrencia se llama el ortocentro del tringulo.
Problema 2.5.8 El 4ABC tiene vrtices en A(a, 0), B(b, 0)
y C (0, c), en donde a < 0 < b. Demustrese, en utilizando
coordenadas, que las mediatrices del 4ABC concurren en
a + b ab + c 2
. El punto de concurrencia se llama el cir,
2
2c
cuncentro del tringulo.
Problema 2.5.9 Demostrar que las diagonales de un
cuadrado son perpendiculares entre s.
91 Ejemplo Como
|x| =
si x 0
si x < 0
la grfica de la curva y = |x| es la de la recta y = x para x < 0 y la de y = x para x 0. La grfica se puede ver en la figura
2.20.
40
92 Ejemplo Considrese la ecuacin y = |x + 2| |x 2|. Los trminos en valores absolutos se anulan cuando x = 2 o
x = 2. Si x 2 entonces
|x + 2| |x 2| = (x 2) (x + 2) = 4.
Para 2 x 2, se tiene
|x + 2| |x 2| = (x + 2) (x + 2) = 2x.
Para x 2, se tiene
Por lo tanto,
|x + 2| |x 2| = (x + 2) (x 2) = 4.
y = |x + 2| |x 2| =
2x
+4
si x 2,
si 2 x +2,
si x +2,
7
6
5
4
3
2
1
1
2
8
7
6
5
4
3
2
1 1 2 3 4 5 6 7
3
4
5
6
7
8
7
6
5
b
4
3
2
1
1
2
8
7
6
5
4
3
2
1 1 2 3 4 5 6 7
3b
4
5
6
7
8
7
6
5
4
3
2
1
1
2
8
7
6
5
4
3
2
1 1 2 3 4 5 6 7
3
4
5
6
7
8
7
6
5
4
3
2
1
1
2
8
7
6
5
4
3
2
1 1 2 3 4 5 6 7
3
4
5
6
7
8
|1 |x|| = |x| 1 = x 1.
|1 |x|| = 1 |x| = 1 + x.
|1 |x|| = 1 |x| = 1 x.
|1 |x|| = |x| 1 = x 1.
41
y = |1 |x|| =
x 1
1+x
1x
x 1
si x 1,
si 1 x 0,
si 0 x 1,
si x 1,
94 Ejemplo Utilizando el teorema 90, se puede deducir que la grfica de la curva x = |y| es la que aparece en la figura
2.23
Tarea
Problema 2.6.1 Considrese la curva
C : y = |x 1| |x| + |x + 1| .
1. Hallar una expresin sin valores absolutos para C
cuando x 1.
2. Hallar una expresin sin valores absolutos para C
cuando 1 x 0.
3. Hallar una expresin sin valores absolutos para C
cuando 0 x 1.
4. Hallar una expresin sin valores absolutos para C
cuando x 1.
5. Trazar C .
Problema 2.6.2 Trazar la grfica de la curva de ecuacin
|x| = |y|.
Problema 2.6.3 Trazar la grfica de la curva de ecuacin
|x| + x
y=
.
2
Problema 2.6.4 Trazar la grfica del conjunto
{(x, y) R2 : x 2 + y 2 16, |x| + |y| 4}.
96 Teorema Sea d > 0 una constante real. La ecuacin de la parbola con foco en (0, d) y directriz y = d es y =
x2
.
4d
42
x 2 + (y d)2
y 2 + 2yd + d 2 = x 2 + y 2 2yd + d 2
4d y = x 2
y=
x2
,
4d
Obsrvese que el punto medio del segmento de recta desde el foco y perpendicular a la directriz yace sobre la parbola.
x2
Este punto se llama el vrtice de la parbola.. Para la parbola y =
del teorema 96, el vrtice es (0,0).
4d
bD
b
Figure 2.25:
parbola.
3
2
1
1 2 3
3 21
1
2
3
Figure 2.26: y = x 2 .
1
1
= 1, esto es, d = . Siguiendo el teorema, se localiza al foco de la
4d
4
1
parbola en(0, 14 ) y se traza la recta y = , que ser la directriz, en utilizando una T-cuadrada con estos puntos
4
de referencia. El vrtice de la parbola yace en (0, 0) y su grfica se ve en la figura 2.26.
98 Ejemplo Utilizando el teorema 90, se puede trazar la grfica de la curva x = y 2 . Su grfica aparece en la figura 2.27.
p
100 Definicin Una hiprbola es la coleccin de todos los puntos en el plano cuyo valor absoluto de diferencias de
distancias a dos puntos fijos F 1 y F 2 (llamados los focos de la hiprbola) es una constante estrictamente positiva. Vase la
figura 2.30, en donde
|F 1 D F 2 D| = |F 1 D 0 F 2 D 0 |.
43
Con un lpiz contra la regla, mantngase tenso el cordn, como en la figura 2.31.
3
2
1
3 21
1
2
3
3
2
1
1 2 3
Figure 2.27: x = y 2 .
3
2
1
1 2 3
3 21
1
2
3
Figure 2.28: y =
3 21
1
2
3
1 2 3
p
Figure 2.29: y = x.
x.
101 Teorema Sea c > 0 una constante real. La hiprbola con focos en F1 = (c, c) y F2 = (c, c), y cuyo valor absoluto de
c2
.
2
diferencias de las distancias de sus puntos a los focos es 2c, tiene ecuacin x y =
F2
D
b
D0
b
b
F1
1
.
x
44
p
p
(x + c)2 + (y + c)2 + (x c)2 + (y c)2 2 (x + c)2 + (y + c)2 (x c)2 + (y c)2 = 4c 2
p
p
2x 2 + 2y 2 = 2 (x 2 + y 2 + 2c 2 ) + (2xc + 2yc) (x 2 + y 2 + 2c 2 ) (2xc + 2yc)
p
2x 2 + 2y 2 = 2 (x 2 + y 2 + 2c 2 )2 (2xc + 2yc)2
4x 4 + 8x 2 y 2 + 4y 4 = 4((x 4 + y 4 + 4c 4 + 2x 2 y 2 + 4y 2 c 2 + 4x 2 c 2 ) (4x 2 c 2 + 8x yc 2 + 4y 2 c 2 ))
x y =
c2
,
2
demostrando el teorema.
c
c
c
c
c2
Obsrvese que los puntos p , p y p , p yacen sobre la hiprbola x y =
. Estos son los vrtices de la
2
2
2
2 2
2
c
hiprbola. x y =
.
2
1
se procede como sigue. De acuerdo al teorema 101, sus focos yacen en los
x
p
p p
p
p
puntos ( 2, 2) y ( 2, 2). Pngase largo de regla largo de cordn = 2 2. En pivotando, alternadamente utilizando
estos puntos, se obtiene la figura 2.32.
103 Definicin Una elipse es la coleccin de los puntos del plano cuya suma de distancias a dos puntos fijos, llamados
focos, es constante.
b
b
p
p
(x h + c)2 + (y k)2 = 2a (x h c)2 + (y k)2
p
(x h + c)2 + (y k)2 = 4a 2 4a
(x h)2 + 2c(x h) + c 2 = 4a 2 4a
(x h)c a 2 = a
(x h)2 (c 2 a 2 ) a 2 (y k)2 = a 2 c 2 a 2
(x h c)2 + (y k)2
(x h)2 (y k)2
+ 2
= 1.
a2
a c2
105 Definicin La recta que une a (h + a, k) y a (h a, k) es llamada el eje horizontal de la elipse y la recta uniendo a
(h, k b) y (h, k + b) el eje vertical. max(a, b) es el semi-eje mayor, y min(a, b) el semi-eje menor.
Se deduce que la ecuacin cannica de una elipse con semi-ejes paralelos a los ejes de x y y es
(x h)2
a2
(y k)2
b2
= 1.
La figura 2.33 muestra como trazar una elipse dados los focos, un lpiz y un cordn.
106 Ejemplo La curva de ecuacin 9x 2 18x + 4y 2 + 8y = 23 es una elipse, ya que al completar cuadrados,
(x 1)2 (y + 1)2
+
= 1.
4
9
p
p
La elipse tiene centro en (h, k) = (1, 1). El semi-eje mayor mide 9 = 3 y el semi-eje menor mide 4 = 2.
9(x 2 2x + 1) + 4(y 2 + 2y + 1) = 23 + 9 + 4 = 9(x 1)2 + 4(y + 1)2 = 36 =
Tarea
Problema 2.7.1 Trcese la curva de ecuacin x 2 +2x +4y 2 8y = 4.
Problema 2.7.2 El punto (x, y) se mueve en el plano de tal manera que equidista del punto (2,3) y de la recta x = 4. Hllese la
ecuacin de la curva que describe.
x2
como se muestra en el diagrama 2.34. Si el 4ABC es equi2
ltero, determinar las coordenadas de B y C .
y=
46
3
Funciones
En este captulo se estudiar uno de los conceptos centrales en las matemticas: el concepto de funcin. El
enfoque en estos apuntes se restringir a funciones reales de una variable real. La definicin aqu dada del
concepto de funcin es un tanto ms moderna que la normalmente dada en los textos anglogringones. En la
mayora de estos textos poca atencin es dada a los conjuntos de entradas y salidas de una funcin, y por tanto
se equivocan los conceptos de inyectividad y epiyectividad que se vern ms adelante.
bb
Imagen f
bb
bb
b
b
Dominio f
b
b
Rango f
107 Definicin Una funcin numrica real de una variable real, o ms brevemente, funcin es la coleccin de los siguientes elementos:
1. Un nombre para la funcin. Normalmente se utilizan las letras f , g , h, etc., pero, no es sacrosanto el restringirse a
su uso.
2. Un conjunto de entradas, llamado el
o campo de valores de la funcin. Si el nombre
de la funcin es f , se
dominio
4. Una regla o frmula, que asigna a cada entrada, una salida nica. Si x es una entrada tpica y f es el nombre de la
funcin, la salida de x se denotar por f (x) y la asignacin de x a su salida se denotar por x 7 f (x). La salida f (x)
tambin se llamar la imagen de x bajo f , o ms brevemente, imagen de x.
5. El conjunto de todas las imgenes posibles de la funcin,1 llamado el rango de la funcin y denotado por Rango f .
1 Esto es, imgenes o no. El rango de la funcin es por lo tanto como una casa grande donde habitan tanto las imgenes de la funcin como otros
hijos espurios.
47
Dominio f
Rango f
7
f (x)
para indicar que f es una funcin con dominio Dominio f y rango Rango f . Finalmente, la grfica f de una funcin
f es el conjunto del plano
108 Definicin Dada una funcin f : Dominio f Rango f y un conjunto A j Dominio f , la imagen de A es
f (A) = { f (a) : a A}.
f = { f (x) : x Dominio f } := f (Dominio f ) de todas las imgenes legtimas
La imagen de f es el
conjunto Imagen
f :
{1, 0, 1, 2}
{1, 0, 1, 2, 4, 5}
7
x2
una funcin. Entonces Dominio f = {1, 0, 1, 2}, Rango f = {1, 0, 1, 2, 4, 5}. Para hallar la imagen de f se nota que
x
4
3
2
1
1
5432
1
2
3
4
5
b
b
1 2 3 4
4
3
2
1
1
5432
1
2
3
4
5
1 2 3 4
Figure 3.5:
La curva
y 2 = x 3 + 1 no es la grfica de una funcin.
110 Ejemplo Los diagramas en las figuras 3.3 y 3.4 no representan funciones. El primer diagrama porque no todas las
entradas tienen una salida y el segundo, porque existe una entrada con ms de una salida. Tampoco lo es la grfica de
48
Chapter 3. Funciones
la curva y 2 = x 3 + 1 representada en la figura 3.5, ya que hay varias rectas verticales que cortan a la curva enms de dos
puntos.
111 Ejemplo Hallar todas las funciones con dominio {1, 2, 3} y rango {4, 5}.
Resolucin A cada uno de los valores en {1, 2, 3} se le debe adjudicar uno de los valores en {3, 4}. Por lo tanto,
habrn 2 2 2 = 8 funciones, ya que a 1 se le puede adjudicar 2 valores (el 3 o el 4) y lo mismo ocurre para el 2 y
el 3. Las ocho funciones son entonces
1. a(1) = a(2) = a(3) = 3.
2. b(1) = b(2) = b(3) = 4.
3. c(1) = c(2) = 3, c(3) = 4.
4. d(1) = d(3) = 3, d(2) = 4.
5. e(2) = e(3) = 3, e(1) = 4.
6. f (1) = f (2) = 4, f (3) = 3.
7. g (1) = g (3) = 4, g (2) = 3.
8. h(2) = h(3) = 4, h(1) = 3.
Con el mismo argumento utilizado para contar las funciones en 111 se demuestra el siguiente teorema.
112 Teorema Si A j R es un conjunto con n elementos y B j R es un conjunto con m elementos, entonces hay m n de
A a B.
113 Definicin
Sean f : Dominio
f Rango f y g : Dominio g Rango g funciones. Entonces Dominio f g =
Dominio f Dominio g y la funcin suma (respectivamente, diferencia) f + g (respectivamente, f g ) est dada por
f g :
Dominio f Dominio g
Rango f g
f (x) g (x)
114 Definicin
Sean f : Dominio
f Rango f y g : Dominio g Rango g funciones. Entonces Dominio f g =
fg:
Dominio f Dominio g
Rango f g
f (x) g (x)
115 Definicin Sea g : Dominio g Rango g una funcin. El soporte de g , denotado por Soporte g , es el conjunto
Soporte g = {x Dominio g : g (x) 6= 0}.
f
= Dominio f Soporte g
g
49
y la funcin cociente
f
est dada por
g
Dominio f Soporte g
f
:
g
f
g
.
f (x)
g (x)
Rango
f g :
Rango f g
(3.1)
f (g (x))
2x + 1 + x 2 1 = x 2 + 2x
( f g )(x)
(2x + 1)(x 2 1) = 2x 3 + x 2 2x 1
( f g )(x)
(g f )(x)
(x + 2)2 2(x + 2) + 4
(x + 1 + 1)2 2(x + 1 + 1) + 4
(x + 1)2 + 3.
120 Definicin Si f es una funcin, su iterado en x es f ( f (x)), esto es, se utiliza su salida como nueva entrada. Los
iterados en x son
x, f (x), f ( f (x)), f ( f ( f (x))), . . .
y son llamados el 0-iterado, el 1er iterado, el 2ndo iterado, el 3er iterado, etc. Se denotar el n-simo iterado de f por f [n] .
En algunos casos particulares, es fcil hallar el n-simo iterado de una funcin. Por ejemplo, se puede demostrar por
induccin que
n
a(x) = x t = a [n] (x) = x t ,
50
Chapter 3. Funciones
b(x) = mx = b [n] (x) = m n x,
c(x) = mx + k = c [n] (x) = m n x + k
mn 1
.
m 1
Tarea
Problema 3.1.1 Hallar todas las funciones de {1,1} a {0,1,2} .
1 1
1
Problema 3.1.2 Sea f : 1,
, ,1 R, f (x) = . Hallar la
2 2
x
imagen de f y trazar la grfica de f .
1
. Determnese
x
(a b)(t)
t3 2
(b a)(t)
(t 2)3
(b c)(t)
125
(c b)(t)
(c a)(t)
(a b c)(t)
123
(c b a)(t)
(a c b)(t)
definida
por f (x) =
Problema
p 3.1.12 Sea f : R R una funcin
p
p
ax 2 2 para algn real a > 0. Si ( f f )( 2) = 2 encuntrese a.
p(x) = x 4 + x 3 + x 2 + x + 1.
Demostrar que si x 6= 0 entonces
p(x) = x 4 p
(g f )(x) = ( f g )(x).
1
.
x
t(x) = (g f h)(x).
b(t) = t 3 ,
c(t) = 5.
1
. Hallar
1x
2. f [3] = f f f ,
3. f [69] =
f f f f
|
{z
}
51
121 Ejemplo Sea f : R R una funcin tal que para todo real x satisface f (1 2x) = x 2 1. Hallar f (3) y f (x).
Resolucin Si 1 2x = 3 entonces x = 1. Luego
1
y se requiere
3
hallar a f (x) para x arbitrario. Se nota sin embargo que la variable x es muda, y bien se podra poner f (12u) =
1x
u 2 1. Ahora se pone 1 2u = x = u =
, de donde se colige que
2
1x
1x 2
=
f (x) = f 1 2
1.
2
2
Ahora bien, el truco de poner 1 2x = x no funciona aqu, pues esto dara un valor nico de x =
g (x + y) + g (x y) = 2x 2 + 2y 2 .
Resolucin Si y = 0, entonces 2g (x) = 2x 2 , esto es, g (x) = x 2 . Se verificar ahora que g (x) = x 2 funciona. Se
tiene
g (x + y) + g (x y) = (x + y)2 + (x y)2 = x 2 + 2x y + y 2 + x 2 2x y + y 2 = 2x 2 + 2y 2 ,
luego la nica solucin es g (x) = x 2 .
52
Chapter 3. Funciones
Tarea
Problema 3.2.1 Sea h : R R dada por h(1x) = 2x. Hallar h(3x).
"
para y
0;+
27 + y 3
y3
!#
27
y
1x
( f (x))2 f
= 64x.
1+x
Problema 3.2.7 Sean f y g funciones definidas sobre todos los
reales tales que para todos x y y
f (x + g (y)) = 2x + y + 5.
(3.2)
125 Definicin El dominio natural o dominio de definicin de una frmula es el subconjunto mayor de los nmeros
reales sobre el cual la frmula produce salidas reales.
En la prctica, para hallar el dominio natural de una frmula, slo se necesita de evitar errores crasos, como el dividir
por 0, o el tomar races cuadradas de nmeros estrictamente negativos.
1
,
20 + x x 2
2. x 7 p
p
1
20 + x x 2
5x
,
x +4
r
5x
4. x 7
,
x +4
r
x +4
5. x 7
+1
5x
p
p
6. x 7 x + 4 + 5 x
3. x 7
4; 5
; 4
5; +
x +4
5x
(x + 4)(5 x)
5. Se requiere que
x +4
x +4 5x
9
+ 1 0 =
+
=
0
5x
5x 5x 5x
r
x +4
y que el denominador no se anule. El dominio natural de x 7
+ 1 es pues ; 5 .
5x
6. Se requiere que, simultneamente, x + 4 0 y 5 xp 0. Delpdiagrama de signos, esto ocurre en el intervalo
4; 5 y es ste pues el dominio natural de x 7 x + 4 + 5 x.
Tx U
0; 1
0; 1
128 Ejemplo El dominio natural de x 7 x + x es el conjunto {0}, ya que cualquier otro nmero real no producira
salidas reales.
1
es el conjunto vaco , ya que ningn nmero real produce salidas
p
x + x
Tarea
54
Chapter 3. Funciones
Dominio natural
3;1
3;1
3;1
3;1
Problema 3.3.4 Verifquese que las frmulas dadas tienen el dominio natural indicado.
Frmula
r
x
x 7
x2 9
p
x 7 |x|
p
||x| 2|
r
1
x 7
sx
1
x 7
x2
r
1
x 7
s x
1
x 7
|x|
x 7
1
x 7 p
x x +1
p
p
x 7 1 + x + 1 x
Dominio natural
3;0
{0}
3;+
{2,2}
0;+
R \ {0}
;0
1;0
1;1
0;+
Vx W Tx U
55
4
Grficas de funciones
3
2
1
5 4 3 21
1
2
3
4
5
3
2
1
1 2 3
3
2
1
1 2 3
5 4 3 21
1
2
3
4
5
3
2
1
3
2
1
3
2
1
1 2 3
5 4 3 21
1
2
3
4
5
3
2
1
5 4 3 21
1
1 2 3
5 4 3 21
1
1 2 3
5 4 3 21
1
1 2 3
5 4 3 21
1
1 2 3
2
2
2
2
3
3
3
3
4
4
4
4
5
5
5
5
Figure 4.5: f : R \ {0}
Figure 4.4: pf : [1; 1]
Figure 4.6: f : R [0; +[,
Figure 4.7: f : [0; +[
p
1
[0; 1], f (x) = 1 x 2 .
f (x) = x 2 .
[0; +[, f (x) = x.
R \ {0}, f (x) = .
x
130 Ejemplo (Funcin constante) Las grfica de f : x 7 1 aparece en las figura 4.1 y se obtuvo en la seccin 2.4. Esta
0; +
56
133 Ejemplo
Las grfica de f : x 7
Imagen f =
0; 1
p
1 x 2 aparece en las figura 4.4 y se obtuvo en la seccin 2.3. Se observa que
observa que Dominio f = Imagen f = R \ {0}.
1
aparece en las figura 4.5 y se obtuvo en la seccin 2.7. Se
x
2
135 Ejemplo (Funcin
cuadrtica) Las grfica de f : x 7 x aparece en las figura 4.6 y se obtuvo en la seccin 2.7. Se
0; +
Las
grfica de f : x 7
2.7. Se observa que Dominio f = Imagen f =
0; +
137 Ejemplo Expresar f : R R, f (x) = |x| x como una funcin en trozos y trazar su grfica. Cul es la imagen de la
funcin?
0
si x 0
f (x) =
2x si x < 0
La grfica se puede observar en la figura 4.8. Se observa que Imagen f =
4; 4
5; 1
0; +
con grfica como en la figura 4.9. Hllese una frmula en trozos para f .
1 (3)
4
=
1 (4) 3
4
x + k 1 . Como (1, 1) yace
3
4
7
sobre la recta, se deduce 1 = +k 1 = k 1 = y por lo tanto el segmento est contenido en la recta de ecuacin
3
3
7
4
y = x+ .
3
3
El segundo segmento de recta es claramente horizontal y contenido en la recta y = 1.
Finalmente, el tercer segmento de recta tiene pendiente
m L3 =
5 1
= 3
42
y por tanto la recta que lo contiene es de la forma y = 3x + k 2 . Como (1, 2) yace en esta recta se tendr 2 = 3 +
k 2 = k 2 = 5 y por lo tanto el segmento de recta es contenido en la recta de ecuacin y = 3x +5. Ensamblando
57
f (x) =
4
7
x+
3x + 5
si x
4; 1
si x
1; 2
si x
2; 4
5
4
3
2
1
5
4
3
2b
1
1
76543
21 1 2 3 4 5
2
3
4
5
6
7
L2
b
1
76543
21 1 2 3 4 5
2
b
L1 3
4
bL
5
3
6
7
Tarea
Problema 4.2.1 Exprsese f : R R, f (x) = |x 1| + |x + 2| como
una funcin a trozos.
f (x) =
si x Q
si x R \ Q
0 si x Q
f (x) =
x si x R \ Q
si x < 1
1
| f (x)| |g (x)| + h(x) = 3x + 2
si 1 x 0
2x + 2 si x > 0.
f :
Tx U
g:
Vx W
4
3
2
1
5 4 3 21
1
2
3
4
5
4
3
2
1
1 2 3 4
Figure 4.10: x 7 Tx U.
5 4 3 21
1
2
3
4
5
4
3
2
1
1 2 3 4
Figure 4.11: x 7 Vx W.
5 4 3 21
1
2
3
4
5
4
3
2
1
1 2 3 4
5 4 3 21
1
2
3
4
5
Figure 4.12: x 7 x Tx U.
1 2 3 4
141 Definicin Una funcin f se dice peridica de periodo P si existe un nmero real P > 0 tal que
x Dominio f = (x + P ) Dominio f ,
f (x + P ) = f (x).
Esto es, si f es peridica de periodo P entonces una vez determinada f en un intervalo de longitud P , queda entonces f
determinada para todo valor de su dominio.
La discusin a continuacin necesitar del siguiente lema.
Tx + z U = Tx U + z.
Tx U x < Tx U + 1.
Luego, se tiene que demostrar que Tx + z U z tambin satisface esta desigualdad.
1 Y entonces por qu no llamarle la funcin escalera?
59
4.4. Traslaciones
Ahora bien, como por definicin,
Tx + z U x + z < Tx + z U + 1,
y as se tiene,
Tx + z U z x < Tx + z U z + 1,
de donde Tx + z U z satisface la desigualdad requerida y se concluye que Tx + z U z = Tx U, demostrando el
teorema.
0; 1
Se tiene
Tx U x < Tx U + 1 = 0 x Tx U < 1.
Adems, por el lema 142,
f (x + 1) = {x + 1} = (x + 1) Tx + 1U = (x + 1) (Tx U + 1) = x Tx U = {x} = f (x),
lo que quiere decir que f es peridica de periodo 1. Ahora bien,
x
0; 1
= {x} = x,
de donde se colige que entre 0 y 1, f se comporta como la funcin identidad, esto es, su grfica es una recta que biseca en
45 el primer cuadrante. La grfica de x 7 {x} aparece en la figura 4.12 .
0; 1
= {x}2 = x 2 ,
se deduce que entre 0 y 1, la funcin se comporta como la funcin x 7 x 2 . Su grfica aparece en la figura 4.13 .
Tarea
Problema 4.3.1 Investigar la grfica de x 7 T2x U.
Problema 4.3.2 Dentese por ||x|| la distancia de x al entero ms
1
cercano. Obsrvese que 0 ||x|| . Trazar la grfica de x 7 ||x||.
2
Vx W Tx U
Problema 4.3.3 Ser cierto que x 2 = {x}2 ?
4.4 Traslaciones
Se estudiar en esta seccin los efectos de varias transformaciones rgidas a la grfica de una funcin.
145 Teorema Sea f una funcin y sean v y h constantes reales. Si (x0 , y 0 ) est en la grfica de f , entonces (x0 , y 0 + v)
est en la grfica de g , en donde g (x) = f (x)+ v y si (x1 , y 1 ) est en la grfica de f , entonces (x1 h, y 1 ) yace sobre la grfica
j , en donde j (x) = f (x + h).
60
146 Definicin Sea f una funcin y sean v y h nmeros reales. Se dice que la curva y = f (x)+v es una traslacin vertical
de la curva y = f (x). Si v > 0 la traslacin es v unidades hacia arriba y si v < 0 la traslacin es v unidades hacia abajo. De
manera semejante, se dice que y = f (x + h) es una traslacin horizontal de la curva y = f (x). Si h > 0, la traslacin es h
unidades a la izquierda y si h < 0 la traslacin es h unidades a la derecha.
Es pertinente advertir al lector de los correspondientes cambios en el dominio de una traslacin horizontal y en la
imagen de una traslacin vertical.
p
1 x 2 . La grfica de esta funcin es un semicrculo
y = f (x + 2) 1,
es una traslacin horizontal dos unidades a la izquierda y una hacia abajo del mencionado semicrculo. Ntese que si se
pone g (x) = f (x + 2) 1, entonces se tendr
g:
3; 0
4.6. La curva
1; 0
p
1 (x + 2)2 1
0; +
es una traslacin horizontal dos unidades a la derecha y una hacia arriba de la mencionada parbola. Ntese que si se
pone g (x) = f (x 2) + 1, entonces se tendr
g:
1; +
(x 2)2 + 1
4.5. Distorsiones
0; +
0; +
y = f (x + 1) 2,
es una traslacin horizontal una unidad a la izquierda y dos hacia abajo de la mencionada grfica. Ntese que si se pone
g (x) = f (x + 1) 2, entonces se tendr
1; +
g:
2; +
p
x +12
Tarea
1
Problema 4.4.2 Discuta y trace la grfica de x 7 {x} .
2
Problema 4.4.1 Trazar las siguientes curvas. Notar todos los interceptos, asntotas, etc., si los hubiere.
1. y = |x 1| 1
1 2
Problema 4.4.3 Discuta y trace la grfica de x 7 x
.
2
2. y = (x 2)2 3
1
3. y =
+1
x
p 1
4. y = x 2 2
4.5 Distorsiones
150 Teorema Sea f una funcin y sean V 6= 0 y H 6= 0 nmeros reales. Si (x0 , y 0 ) yace en la grfica de f , entonces (x 0 ,V y 0)
est en la grfica de g , en donde g (x) = V f (x). De manera semejante, si (x1 , y 1 ) yace en la grfica de f , entonces
x1
, y1
H
x
x
1
1
H y 1 = j
, y1 j ,
H
H
H
1
151 Definicin Sean V > 0, H > 0, nmeros reales y sea f una funcin. La curva y = V f (x) es una distorsin vertical de
la curva y = f (x). La grfica de y = V f (x) es una dilatacin vertical de la grfica de y = f (x) si V > 1 y una contraccin
vertical si 0 < V < 1. La curva y = f (H x) es una distorsin horizontal de la curva y = f (x) La grfica de y = f (H x) es una
dilatacin horizontal de la grfica de y = f (x) si 0 < H < 1 y una contraccin horizontal de H > 1.
4; 4
6; 6
f (x)
Si a(x) =
a:
4; 4
3; 3
a(x)
2; 2
6; 6
b(x)
2; 2
3; 3
c(x)
-7
-6
-5
-4
-3
-2
-1
-5
-7
-6
-5
-4
-3
-2
-1
Figure 4.18: y =
f (x)
2
-6
-6
-7
-7
-4
-5
-6
-6
-3
-4
-5
-5
-2
-3
-4
-4
-1
-2
-3
-3
-1
-2
-2
-1
-1
b b
b b
-7
-7
-7
-6
-5
-4
-3
-2
-1
-7
-6
-5
-4
-3
-2
-1
Figure 4.20: y =
f (2x)
2
4.6 Reflexiones
153 Teorema Sea f una funcin. Si (x0 , y 0 ) yace en la grfica
de
154 Definicin Sea f una funcin. La curva y = f (x) es una reflexin de f en torno al eje de x y la curva y = f (x) es
una reflexin de f en torno al eje de y.
63
4.6. Reflexiones
155 Ejemplo Las figuras 4.22 a la 4.24 muestran varias reflexiones de la funcin
0; +
f :
0; +
a:
0; +
0; +
b:
; 0
; 0
c:
p
p
x, b(x) = x y c(x) = x,
-1
-1
-1
-1
-2
-2
-2
-2
-3
-3
-3
-3
-4
-4
-4
-4
-5
-5
-5
-5
-6
-6
-6
-7
-7
-6
-5
-4
-3
-2
-1
Figure 4.21: y =
-6
-5
-4
-3
-2
-1
Figure 4.22: y =
-6
-7
-7
p
x
-7
-7
-7
; 0
-6
-5
-4
-3
-2
-1
p
Figure 4.23: y = x
-7
-6
-5
-4
-3
-2
-1
p
Figure 4.24: y = x
2
1.
x
La curva y = f (x) experimenta las transformaciones sucesivas siguientes:
f (x) = x +
2
x = a(x),
x
2
2
(x + 3) = 2
x = b(x),
x +3
x +3
2
+ x = c(x),
x + 3
64
4
+ 2x,
x 3
4.7 Simetra
157 Definicin Se dice que una funcin f es par si x Dominio f se verifica x Dominio f y f (x) = f (x), esto
es, la porcin de la grfica con x < 0 es una reflexin de espejo de la parte con x > 0. Esto a su
vez quiere decir que la grfica
de f es simtrica con respecto al eje de y. Una funcin g se dice impar si x Dominio g se verifica x Dominio g y
tambin g (x) = g (x), esto es, g es simtrica con respecto al origen. Esto implica que si la grfica tuviese una porcin en
el cuadrante I, tendra una porcin semejante en el cuadrante III, que puede ser obtenida por una rotacin de 180 grados
y que si la grfica tuviese una porcin en el cuadrante II, tendra una porcin semejante en el cuadrante IV, que puede ser
obtenida por una rotacin de 180 grados.
158 Ejemplo La curva en la figura 4.25 es par y aqulla de la figura 4.26 impar es.
159 Teorema Si 1 , 2 son funciones pares y si 1 , 2 son funciones impares compartiendo el mismo dominio, entonces,
1. 1 2 es una funcin par.
2. 1 2 es una funcin impar.
3. 1 2 es una funcin par.
4. 1 2 es una funcin par.
5. 1 1 es una funcin impar.
Demostracin: Se tiene
1. (1 2 )(x) = 1 (x) 2 (x) = 1 (x) 2 (x).
65
4.7. Simetra
demostrando el teorema.
160 Corolario Sea p(x) = a0 + a1 x + a2 x 2 + a3 x 3 + + an1 x n1 + an x n un polinomio con coeficientes reales. Entonces
la funcin
p:
p(x)
es una funcin par si y slo si cada uno de sus trminos tiene grado par y es una funcin impar si y slo si cada uno de sus
trminos grado impar tiene.
Demostracin: Presmase que p es una funcin par. Entonces p(x) = p(x) y luego
p(x) + p(x)
2
a0 + a1 x + a2 x 2 + a3 x 3 + + an1 x n1 + an x n
=
2
a0 a1 x + a2 x 2 a3 x 3 + + (1)n1 an1 x n1 + (1)n an x n
+
2
p(x)
= a0 + a2 x 2 + a4 x 4 + +
demostrando que el polinomio tiene slo trminos de grado par. La recproca del teorema es obvia y la segunda
asercin se demuestra de manera semejante.
Resolucin Sea f :
x
R
f (x)
con
lo que significa que f es una funcin par. Como f es polinomio, esto significa que no tiene ningn trmino
impar.
162 Teorema Sea f : R R una funcin arbitraria. Entonces f puede escribirse como la suma de una funcin par y una
funcin impar.
Demostracin: Dado x R, pngase E (x) = f (x) + f (x) y O(x) = f (x) f (x). Demostrarse que E es una
funcin par y qu O es una funcin impar. Se tiene
E (x) = f (x) + f ((x)) = f (x) + f (x) = E (x),
O(x) = f (x) f ((x)) = ( f (x) f (x))) = O(x),
66
1
1
f (x) = E (x) + O(x),
2
2
x3
.
x2 + 1
|x|
x2 + 1
3. c : R R, c(x) = |x| + 2.
4. d : R R, d(x) = |x + 2|.
5. f : [4; 5] R, f (x) = |x| + 2.
Resolucin
1.
a(x) =
(x)3
x3
=
= a(x),
(x)2 + 1
x2 + 1
| x|
|x|
= 2
= b(x),
2
(x) + 1 x + 1
164 Teorema Sea f una funcin. Tanto x 7 f (|x|) como x 7 f (|x|) son funciones pares.
Demostracin: Pngase a(x) = f (|x|). Entones a(x) = f (| x|) = f (|x|) = a(x), de donde x 7 a(x) es par. De
manera semejante, si b(x) = f (|x|), entonces b(x) = f (| x|) = f (|x|) = b(x) demostrando que x 7 b(x)
par es.
67
4.7. Simetra
Obsrvese que f (x) = f (|x|) para x > 0. Como x 7 f (|x|) es par, la grfica de x 7 f (|x|) se obtiene pues borrando la
porcin de la grfica de x 7 f (x) con x < 0 y reflejando la parte con x > 0. De manera semejante, como f (x) = f (|x|)
para x < 0, la grfica de x 7 f (|x|) se obtiene borrando la pocin de la grfica de x 7 f (x) con x > 0 y reflejando la parte
con x < 0.
165 Teorema Sea f una funcin. Si (x0 , y 0 ) yace en grfica de f , entonces (x0 , |y 0 |) yace en la grfica de g , en donde
g (x) = | f (x)|.
166 Ejemplo Las figuras 4.27 y 4.28 muestran las curvas y = x 2 1 y y = |x 2 1|, respectivamente. Las figuras ?? a la ??
1
. Las figuras 4.29 a la 4.32 exhiben varias transformaciones de x 7 (x 1)2 3.
x
Tarea
Problema 4.7.1 Compltese la grfica del siguiente fragmento de
tal forma que la grfica resultante sea la grfica de una funcin (i)
par, (ii) impar.
5. y = f (x)
3. y = f (x)
7. y = | f (x)|
6. y = f (|x|)
2. y = f (2x)
8. y = f (|x|)
4. y = f (x)
4
3
2
b
b b
1
0
-4
-3
-2
-1
b
2
b
b
3
-1
b b
-2
-3
-4
68
p
|x|.
2. y = |(x 1)2 2|
3. y = (|x| 1)2 2
(g f )(2).
69
5
Inversin de funciones
f :
Es claro que su dominio natural es R y que, por tanto, Imagen f = f (R) = R. Esto es, dado un real r , siempre se puede
conseguir a una entrada que tenga a a r como salida.
Basta poner de entrada a la misma r , porque entonces f (r ) = r . El
lector se puede percatar de la veracidad de Imagen f = R grficamente al notar que toda recta horizontal corta la grfica
de f .
f :
|x|
Es claro que su dominio natural es R. Como |x| 0 para todo real x se tendr f (R) j 0; + . Se puede decir an ms. Si
a 0; + , entonces
f (a) = f (a) = a y por lo tanto 0; + j f (R). As pues se concluye
que f (R) = 0; + . Se
deduce que Imagen f = 0; + . El lector se puede percatar de la veracidad de Imagen f = 0; + grficamente
al notar que toda recta horizontal sobre el eje de x corta la grfica de f .
f :
Es claro que su dominio natural es R. Como x 2 0 para todo real x se tendr f (R) j 0; + . Se puede decir an ms.
p
p
p
Si a 0; + , entonces a Ry f ( a) = f ( a) = a. Por lo tanto 0; + j f (R). As pues se concluye
que f (R) =
0; + . Se deduce que Imagen f = 0; + . El lector se puede percatar de la veracidad de Imagen f = 0; +
grficamente al notar que toda recta horizontal sobre el eje de x corta la grfica de f .
f :
R \ {0}
x
70
1
x
Dominio f
Rango f
f (x)
f (a) = f (b) = a = b,
esto es, entradas diferentes resultan en salidas diferentes.1 Se dice que f es epiyectiva si Imagen f = Rango f ,2 esto es,
si
t Rango f
a Dominio f
tal que f (a) = t .
La grfica de una funcin inyectiva posee la propiedad de que cada recta horizontal que la cruza, la encuentra en
exactamente un punto.
Figure 5.1:
epiyectiva.
Inyectiva, no
71
c:
0; +
x2
0; +
x
0; +
0; +
x2
es biyectiva.
x 2 + 2x + 3 = x 2 + 2x + 1 + 2 = (x + 1)2 + 2 2,
ya que el cuadrado de todo real es positivo. Como (x + 1)2 se puede hacer tan cercano a 0 (tomando valores de
x cercanos a 1) como se quiera
(siempre y cuando se aproxime a 0 por valores positivos) y tan grande como se
quiera, se tiene que Imagen f j 2; + . Ahora bien, sea a 2; + . Entonces
p
x 2 + 2x + 3 = a (x + 1)2 + 2 = a x = 1 a 2.
p
Como a 2, a 2 R y x R. Esto quiere decir que
2 : + .
2; +
2x
. Determinar Imagen f .
x 1
2x
2
= 2+
6= 2
x 1
x 1
2
nunca se anula para ningn valor real x. Se demostrar que Imagen f = R \ {2}. De hecho, sea
x 1
a 6= 2. Entonces
2x
a
= a = 2x = ax a = x(2 a) = a = x =
.
x 1
a 2
Pero si a 6= 2, entonces x R y se concluye que Imagen f = R \ {2}.
ya que
A
x
1. Determnese A.
x 1
x +1
x 1
rinde nmeros reales excepto para x = 1, luego A = R \ {1}.
x +1
x 1
2
= 1+
6= 1,
x +1
x 1
72
ya que
2
nunca se anula. Si a 6= 1 entonces
x 1
x 1
1+a
= a = ax a = x + 1 = x(a 1) = 1 + a = x =
,
x +1
1a
que es un nmero real, ya que a 6= 1. As pues Imagen f = R \ {1}.
a 1 b 1
=
= (a1)(b+1) = (a+1)(b1) = ab+ab = aba+b = 2a = 2b = a = b,
a +1 b +1
x3
es una biyeccin.
Resolucin Presmase que h(b) = h(a). Entonces
h(a) = h(b)
Ahora bien,
a3 = b3
a3 b3 = 0
(a b)(a 2 + ab + b 2 ) = 0
a 2 3a 2
+
b 2 + ab + a 2 = b +
,
2
4
lo que demuestra que b 2 + ab + a 2 es siempre estrictamente positivo a menos que tanto a como b sean 0. As
pues b a = 0 en todos los casos. Se ha demostrado que h(b) = h(a) = b = a, de donde h es inyectiva.
Para demostrar que h es epiyectiva, deber demostrarse que ( b R) (a) tal que h(a) = b. Cjase a tal que
a = b 1/3 . Entonces
h(a) = h(b 1/3 ) = (b 1/3 )3 = b,
de donde se desprende que h epiyectiva es.
Tarea
Problema 5.2.1 Cuntas funciones inyectivas hay de {a,b} a
{1,2,3}? Cuntas epiyectivas?
5.3 Inversin
Aqu IS es la funcin identidad en el conjunto S, esto es, IS : S S con IS (x) = x.
177 Definicin Sea A B R2 . Una funcin f : A B se dice inversible a diestra si existiere una funcin g : B A,
llamada la inversa diestra de f tal que f g = IB . De manera semejante, f se dice inversible a siniestra si existe una funcin
h : B A tal que h f = I A . Una funcin se dice inversible si es inversible a diestra y siniestra.
73
5.3. Inversin
178 Teorema Sea f : A B inversible a diestra y siniestra. Entonces su inverso diestro coincide con su inverso siniestro.
Demostracin: Sean g , h : B A los respectivos inversos diestro y siniestro. Utilizando la asociatividad de las
composiciones,
( f g ) = (IB ) = h ( f g ) = h IB = (h f ) g = h IB = (I A ) g = h IB = g = h.
R \ {1}
R \ {2}
2x
x 1
. Demustrese que g :
R \ {2}
R \ {1}
x
x 2
es el inverso de f .
2x
2x
x 2 =
= x,
x
x
(x
2)
1
x 2
2x
f (x)
2x
x
1 =
(g f )(x) = g ( f (x)) =
=
= x,
2x
f (x) 2
2x 2(x 1)
2
x 1
74
(5.1)
Se demostrar que f es tanto inyectiva como epiyectiva. Pertenezcan s, t al dominio de f y sean tales que f (s) =
f (t ). En aplicando f 1 a cada lado de esta igualdad, se obtiene
( f 1 f )(s) = ( f 1 f )(t ) = (I A )(s) = (I A )(t ) = t ,
de donde la funcin es inyectiva. Para demostrar que f es epiyectiva, se debe demostrar que b f (A) a A
tal que f (a) = b. Tomando a = f 1 (b) (observe que f 1 (b) A). Luego
f (a) = f ( f 1 (b)) = ( f f 1 )(b) = (IB )(b) = b,
de donde f es epiyectiva.
Presmase ahora que f es una biyeccin. Para toda b B existe una a nica tal que f (a) = b. Luego pues,
g : B A dada por g (b) = a es una funcin. Es claro que g f = I A y que f g = IB . Se tomar entonces f 1 = g .
Esto concluye la demostracin.
b
b
b
b
Figure 5.5: Funcin e inversa.
b
b
Por el teorema 90, (x, f (x)) y ( f (x), x) son simtricos con respecto a la recta y = x, por lo tanto la grfica de una
funcin inversible f es simtrica con la grfica de su inverso con respecto a la recta y = x.
En los siguientes ejemplos se dar una receta para hallar inversos de funciones sencillas.
d
R\
c
f :
R\
nao
c
ax + b
cx + d
as + b at + b
=
cs + d
ct + d
(ad bc)(s t ) = 0.
75
5.3. Inversin
Como se supone que ad bc 6= 0, se tendr que s = t . Luego
f (s) = f (t ) = s = t
y f es inyectiva.
Segundo, sea u R \
nao
. Habr acaso alguna solucin x para
c
ax + b
=u
cx + d
Se tiene
ax + b
ud b
= u = ax + b = u(cx + d) = x(a uc) = ud b = x =
.
cx + d
a uc
a ud b
es un nmero real, demostrando que f es epiyectiva.
Como u 6= ,
c a uc
Al ser f biyectiva, es f inversible. Si g es su inverso, entonces
( f g )(x) = x =
ag (x) + b
dx b
= x = g (x) =
.
cg (x) + d
cx + a
f 1 :
nao
d
R\
c .
dx b
cx + a
2; +
). Hllese el inverso de
2; +
f :
f(
2; +
2; +
y determnese
x + 4x + 5
2; +
yb
2; +
, entonces
2; +
2; +
1; +
. Sea b
1; +
. Resolviendo
p
x = 2 + b 1
Como
f :
2; +
)=
1; +
2; +
1; +
x 2 + 4x + 5
76
y 1,
p
en donde se ha tomado la raz positiva ya que x 2. Intercambiando x y y se tiene y = 2 + x 1. Se deduce
que el inverso de f es
f 1 :
1; +
2; +
p
2 + x 1
;2
1;+
x 2 + 4x + 5
g:
1;+
;2
p
2 x 1
Tarea
Problema 5.3.1 Sea f : R R, con f (x) = ax +b. Para qu valores
de los parmetros a y b se tendr f = f 1 ?
Problema 5.3.2 Demustrese que si ab 6= 4 y
f : R \ {2/b} R \ {2/b},
con f (x) =
restriccin.
I2
3;5
que aparece en la figura 5.8 y que est
compuesta de dos rectas. Obsrvese que f es inversible.
2x + a
entonces f = f 1 .
bx 2
5;0
0;5
3. Trcese la grfica de f 1 .
7
6
5
4
3
2
Problema 5.3.5 r
Presmase que f : R \{1} R \{1} es una biyeccin,
3 x +2
en donde f (x) =
. Hllese f 1 .
x 1
1
0
-1
-2
-3
-4
-5
-6
-7
-7
f (1) = 2,
f (2) = 3,
f (3) = 1,
g (1) = 1,
g (2) = 3,
g (4) = 2.
Hllese ( f g )1 (1).
-6
-5
-4
-3
-2
-1
77
5.3. Inversin
f (x) =
x+
x2 + 1 +
q
3
p
2x
1
x 7 p
2x
2 + x3
x 7
2 x3
1
x 7 3
x 1
f 1 : R R,
Dominio natural
Imagen
Inversa
] ;2]
[0;+[
x 7 2 x 2
] ;2[
]0;+[
p
3
R \ { 2}
R \ {1}
R \ {1}
R \ {0}
0;+
f (x) =
0;+
x 7 2 2
x
r
2x
2
3
x 7
x
+
1
r
1
3
x 7 1 +
x
dada por
f 1 (x) =
x 2 + 1,
x 3 + 3x
.
2
2x
si x 0
x2
si x > 0
x + x.
0;+
0;+
f 1 (x) =
1 + 4x 2
+ x2.
2
4
3
2
1;1
0
-1
1;1
R,
-2
p
p
3
3
1+x 1x
,
f (x) = p
p
3
3
1+x + 1x
-3
f 1 (x) =
x(x 2 + 3)
1 + 3x 2
-4
-4
-3
-2
-1
f :
1;1
p
1 1 + 4x
f (x) =
,
p
1 + 1 + 4x
f (x) =
1;1
1
;+
4
(x) =
x
(1 + x)2
1x
si x Q
0;1
0;1
, con
0;1
si x (R \ Q)
0;1
es biyectiva y que f = f 1 .
78
6
Introduccin al clculo diferencial
c
b
c
b
c
b
a; b
Figure 6.2: b : x 7
R y sea x0
x
, x 6= 0.
|x|
Figure 6.3: c : x 7
entonces se dice que f tiene lmite siniestro f (x0 ) = L cuando x aumenta hacia x0 y se escribe
f (x0 ) = lim f (x) = lim f (x) = L.
xx 0
x%x 0
entonces se dice que f tiene lmite diestro f (x0 +) = L 0 cuando x disminuye hacia x0 y se escribe
f (x0 +) = lim f (x) = lim f (x) = L 0 .
xx 0 +
x&x 0
Si L 0 = f (x0 +) = f (x0 ) = L, entonces se dice que f tiene lmite L cuando x tiende a x0 y se escribe
lim f (x) = L.
xx 0
79
1
, x 6= 0.
x
187 Teorema (Unicidad de lmites) Sea X j R, a R, y f : X R. Si limxa f (x) = L y si tambin se tiene lim xa f (x) =
L 0 entonces L = L 0 .
Demostracin: Si se tuviere L 6= L 0 , tmese 2 = L L 0 en la definicin de lmite. Entonces existe > 0 tal que
L L 0
L L 0
0
|x
0 < a| < = f (x) L <
,
.
f (x) L <
2
2
L L 0 L L 0
188 Teorema (Acotacin local) Sea X j R, a R, y f : X R. Si limxa f (x) = L existe y es finito, entonces f es
acotado en un vecindario de a.
189 Teorema (Propiedades de orden) Sean X j R, a R, y f : X R. Si limxa f (x) = L existe y es finito, entonces
1. si s < L entonces existe un vecindario Na de a contenido en X tal que x Na , s < f (x).
2. si L < t entonces existe un vecindario Na de a contenido en X tal que x Na , f (x) < t .
3. si s < L < t entonces existe un vecindario Na de a contenido en X tal que x Na , s < f (x) < t .
4. si existiere un vecindario Na j X tal que x Na , s f (x), entonces s L.
5. si existiere un vecindario Na j X tal que x Na , f (x) t , entonces L t .
6. si existiere un vecindario Na j X tal que x Na , s f (x) t , entonces s L t .
Demostracin:
1. Tmese = L s > 0 en la definicin de lmite . Existe > 0 tal que
190 Teorema (Teorema del emparedado) Sean a, b, c son funciones definidas en un vecindario Nx0 de x0 excepto
quizs en el punto x0 mismo. Presmase que en Nx0 se satisfacen las desigualdades a(x) b(x) c(x). Entonces
lim a(x) = L = lim c(x) = lim b(x) = L.
xx 0
xx 0
xx 0
L
f (x)
6. limxa f (x) = L, lim xa g (x) = L 0 6= 0 = limxa
= 0.
g (x)
L
Demostracin:
Como el lado diestro se puede hacer tan pequeo como se quisiere, la asercin queda demostrada.
4. Para toda > 0 existen 1 > 0 y 2 > 0 tal que
Adems, por el teorema 188, g es localmente acotado y entonces existe B > 0, y 3 > 0 tal que
f (x)g (x) LL 0 = ( f (x) L)g (x) + L(g (x) L 0 ) f (x) L g (x) + |L| g (x) L 0 < (B + L 0 ).
Como el lado diestro se puede hacer tan pequeo como se quisiere, la asercin queda demostrada.
81
Como el lado diestro se puede hacer tan pequeo como se quisiere, la asercin queda demostrada.
0
L
6. Primero g (x) L 0 cuando x a por la asercin (1). As pues para = > 0 existe una pequesima
2
0 > 0 tal que
0
L
L 0
0 L 0
0 L 0
3 L 0
g (x) L 0 <
= L
< g (x) < L +
=
< g (x) <
,
2
2
2
2
2
esto es, g (x) est apartada de 0 si x es lo suficientemente cerca de a. Ahora para toda > 0 existen 1 > 0
y 2 > 0 tales que
Para = min(1 , 2 , 0 ),
0
L
3 L 0
Luego
f (x) L L 0 f (x) Lg (x) L 0 ( f (x) L) L(g (x) L 0 ) L 0 f (x) L + |L| g (x) L 0 2(L 0 + |L|)
<
,
g (x) L 0 =
g (x) |L 0 |
|L 0 | |L 0 |
g (x)L 0
g (x)L 0
dando el resultado.
xa
Demostracin: Se demuestra el teorema por induccin en deg p(x), el grado de p. Si p(x) = b, una constante
real, entonces se tiene |p(x) p(a)| = |b b| = 0 y luego se cumple vacuamente la implicacin
|x a| < = |p(x) p(a)| <
con cualquier > 0 y cualquier > 0. De aqu, el teorema es cierto para polinomios constantes.
Supngase que deg p(x) = 1, por ejemplo, p(x) = mx + b, con m 6= 0 y b constantes reales. Entonces, para tener
y entonces
|m|
Supngase ahora que el teorema es vlido para cualquier polinomio de grado n 1. Sea
p(x) = an x n + an1 x n1 + + a1 x + a0 := xq(x) + a0 ,
en donde q(x) es un polinomio de grado n 1. Entonces por el teorema 191 y por la hiptesis de induccin,
lim p(x) = lim xq(x) + a0 = lim a lim q(x) + lim a0 = aq(a) + a0 = p(a),
xa
xa
xa
xa
xa
82
reduccin
0
definido no est. Pero la
0
x3 1
(x 1)(x 2 + x + 1)
x2 + x + 1
=
= 4
5
4
3
2
x 1 (x 1)(x + x + x + x + 1) x + x 3 + x 2 + x + 1
es vlida siempre y cuando x 6= 1. Se hace pues ahora uso de que en la definicin de lmite se ignora el valor de la funcin
en el punto de inters, pero se investigan los valores cercanos al punto de inters. As pues se tiene
x3 1
(x 1)(x 2 + x + 1)
x2 + x + 1
3
=
lim
=
lim
= .
5
4
3
2
4
3
2
x1 x 1
x1 (x 1)(x + x + x + x + 1)
x1 x + x + x + x + 1
5
lim
194 Ejemplo Para valores de x cercanos a 1 pero a la siniestra de 1, Tx U = 0. Para valores de x cercanos a 1 pero a la
diestra de 1, Tx U = 1. Se tiene pues
lim x Tx U = 1 0 = 0,
x1
lim x Tx U = 1 1 = 1.
x1+
si x Q
si x R \ Q
Entonces lim xa f (x) no existe para ningn a R ya que en cualquier vecindad de a, f salta alocadamente de 0 a 1.
1
Formalmente, tomando = , no existe ningn > 0 tal que
4
1
0 < |x a| < = | f (x) f (a)| < ,
4
porque gracias
a la densidad de los racionales como los irracionales siempre se encontrar un x
f (x) f (a) = 1.
a ; a +
con
196 Definicin Se dice que limxa+ f (x) = + o que limx&a f (x) = + si M > 0, > 0 tal que
x
a; a +
= f (x) > M.
De manera semejante, se dice que limxa f (x) = + o que limx%a f (x) = + si M > 0, > 0 tal que
x
a ; a
= f (x) > M.
a ; a +
= f (x) > M.
197 Definicin Se dice que limxa+ f (x) = o que limx&a f (x) = si M < 0, > 0 tal que
x
a; a +
= f (x) < M.
De manera semejante, se dice que limxa f (x) = o que limx%a f (x) = si M < 0, > 0 tal que
x
a ; a
= f (x) < M.
a ; a +
= f (x) < M.
83
198 Ejemplo Para valores de x a la siniestra de 1 pero cerca de 1, x 1 < 0 y pequeo, luego lim x1
valores de x a la diestra de 1 pero cerca de 1, x1 > 0 y pequeo, luego lim x1+
+ no existe.
f (x) =
1. Hallar limx1
2. Hallar limx1+
3. Hallar limx1
4. Hallar limx1+
5. Hallar limx1
f (x) f (1)
.
x +1
|x|
x2
si x < 1
si 1 x 1
si x > 1
f (x) f (1)
.
x +1
f (x) f (1)
.
x 1
f (x) f (1)
.
x 1
f (x) f (1)
.
x 1
Resolucin
1.
2.
3.
4.
5.
1
1
f (x) f (1)
x
=
+ cuando x 1.
x +1
x +1
f (x) f (1) |x| 1
x 1
=
. Para x < 0 esto es
= 1.
x +1
x +1
x +1
f (x) f (1) |x| 1
x 1
=
. Para x > 0 esto es
= 1.
x 1
x 1
x 1
f (x) f (1) x 2 1
=
= x + 1 2 cuando x 1+.
x 1
x 1
Como f (1) 6= f (1+), el lmite no existe cuando x 1.
201 Teorema Si limxa f (x) = b, limxb g (x) = c y si existe un vecindario de a para el cual f (x) 6= b para todo x 6= a,
entonces
lim (g f )(x) = c.
xa
Demostracin: Para toda > 0, 0 > 0 existen > 0, 0 > 0 tales que
0 < |x a| < = | f (x) b| < ,
0 < |x b| < 0 = |g (x) c| < 0 .
85
Si
g (x) =
y si x R , f (x) = 0, entonces
si x R \ {0}
si x = 0
x0
x0
Tarea
p
|x 2|
.
x2+ (2 x)Tx U
lim
x0
x |x|
,
2x
lim
x0+
lim
x1 x 2 1 2|x 1|
lim
f (x) =
x1+ x 2 1 2|x 1|
x2 1
x 2 + 3x + 2
x2 + x
x 1+
x +1+
p
p
x2 + 1
x2 1
p
p
x4 + 1
x3 + 1
x |x|
.
2x
x +11
.
x
si x Q
si x R \ Q
1
2
2
.
x 1 x 1
(x n 1)(x n1 1) (x nk+1 1)
(x 1)(x 2 1) (x k 1)
a; +
; a
x M = f (x) L < .
R. Se dice que
f () = lim f (x) = L
x
x M = f (x) L < .
86
204 Definicin Si lim x+ f (x) = b o si limx (x) (o posiblemente, si ambos tendieren a b, se dice que a recta y = b
es una asntota (horizontal) de la funcin f .
205 Definicin Sea k > 0 un entero. Una funcin f tiene un polo de orden k en el punto x = a si (x a)k1 f (x)
cuando x a, pero si (x a)k f (x) cuando x a es finito. Algunos autores llaman a los polos asntotas verticales.
Figure 6.4: x 7
1
x
Figure 6.5: x 7
1
1
x 1
Figure 6.6: x 7
R \ {0}
1
+3
x +2
R \ {0}
207 Ejemplo Si
f :
R \ {0}
R \ {0}
1
x
entonces la curva y = f (x 1) 1 es una traslacin una unidad hacia la derecha y una unidad hacia abajo. El polo pues se
ha trasladado a la recta x = 1 y la asntota a la recta a y = 1. Si g (x) = f (x 1) 1, entonces la grfica de
g:
R \ {1}
R \ {1}
1
1
x 1
208 Ejemplo Si
f :
R \ {0}
R \ {0}
1
x
entonces la curva y = f (x + 2) + 3 es una traslacin una unidad hacia la derecha y una unidad hacia abajo. El polo pues se
87
R \ {2}
R \ {3}
1
+3
x +2
Los siguientes ejemplos muestran una tcnica til para hallar lmites en la infinidad de funciones racionales.
1
1
1
1
x 2+ + 2
2+ + 2
2x 2 + x + 1
x x
x x 2+0+0 = 2.
=
=
2
1
2
2
1
3x + 2x + 1
3+0+0 3
3+ + 2
x2 3 + + 2
x x
x x
2
cuando x +.
1
1
1
1
x 2+ + 2
2+ + 2
2x 2 + x + 1
2
x x
x x
=
=
= 0.
3
2
2
1
1
3x + 2x + 1
+(3)
x3 3 + 2 + 3
x 3+ 2 + 3
x
x
x
x
2
cuando x +.
1
1
1
1
3
x
2
+
+
2
+
+
x
2x 3 + x + 1
+(2)
x2 x3
x2 x3
=
= +.
=
2
1
2
1
3x 2 + 2x + 1
3
3+ + 2
x2 3 + + 2
x x
x x
cuando x +.
Tarea
Problema 6.2.1 Trazar las grficas de las curvas
1
1. y =
1
x 1
2. y =
1
x 1
1
3. y =
1
|x| 1
1. g ()
4. g (1+)
7. g (1)
2. g (1)
5. g (0)
8. g (1+)
3. g (1)
6. g (1)
9. g (+)
x
g (x) =
|x|
1 + 2x
Determnese
si x
;1
si x
1;1
si x
1;+
Tax U
x
p
p
x + x x.
p
3
x 3 + x x.
88
6.3 Continuidad
212 Definicin (Continuidad en un punto) Sea f : Dominio f R y t Dominio f . Se dice que f es continua a
Se ve que para una funcin ser continua en t se deben cumplir los siguientes requisitos:
a; b
0; +
0; +
, x 7
a; b
x, es continua.
Resolucin Se demostrar primero que f es continua a la diestra de 0 y luego que es continua en ambas
direcciones de toda a > 0.
p
p
Obsrvese que f (0) = 0 y que para tener | x| = x < se necesita 0 < x < 2 . As pues, eljase < 2 . Luego se
tendr,
p
p p
Considrese ahora a > 0. Como x + a a, se tendr
siempre y cuando
p
p
p
|x a|
a|
x a < = p|x p
< p
< = |x a| < a.
x + a
a
p
Luego es suficiente tomar < a y as se tendr
p
p
p
|x a|
|x a| < =
x a = p
<
< p = ,
x + pa pa
a
demostrando la continuidad en a.
Por el teorema 192, todo polinomio es continuo en R. Utilizando los teoremas 192 y 191, toda funcin racional es continua en todo punto donde no se anule su denominador. De el mismo teorema se deduce que la suma y el producto de
funciones continuas es continua, y que el cociente de funciones continuas es continuo en donde no se anule el denominador.
89
6.3. Continuidad
Demostracin: Si a I , se debe distinguir los casos en donde sea un punto interior del intervalo (para continuidad bi-direccional) o un punto fronterizo (para continuidad uni-direccional).
Se demostrar solamente el caso en donde existe un vecindario de a totalmente contenido en I , dejando los otros
dos casos al lector. Como g es continua en a, > 0, > 0 tal que
Ahora bien, g (a) J y entonces como f es continua en g (a) se tiene que 0 > 0 0 > 0 tal que
216 Ejemplo Si g : R R,
x 1
2 1
x
g (x) =
es continua en x = 1, hallar a.
Resolucin Se tiene
si x 6= 1
si x = 1
1
1
1
x 1
=
cuando x 1. Luego se necesita a = .
x2 1 x + 1
2
2
0; +
0; +
, x 7
x+
p
x + x + . Determinar si f es continua a la diestra de 0.
p
1 + 1 + 4x
x + f (x) = ( f (x)) f (x) x = 0 = f (x) =
= lim f (x) = 1,
x0+
2
2
218 Ejemplo Hallar una funcin f : R R tal que f no sea continua en ninguna parte pero que | f | sea continua en todas
partes.
Resolucin La funcin
R
f :
x
+1
si x Q
si x R \ Q
1
nunca se hallar un > 0
2
1
|x a| < = f (x) f (a) < ,
2
ya que por la
densidad de los racionales y los irracionales siempre se podr hallar x
f (x) f (a) = 2.
a ; a +
con
90
Tarea
Problema 6.3.1 Sea f : R R satisfaciendo
x f (x) |x|.
cin f :
x
cin f :
x
si x Q
cin f :
si x Q
si x R \ Q
si x R \ Q
si x Q
si x R \ Q
a; b
R continua. Si s
a; b
| f (s)|
en la definicin de continuidad. Existe una > 0 tal que
2
|x s| < = f (s)
| f (s)|
| f (s)|
< f (x) < f (s) +
.
2
2
| f (s)|
.
2
| f (s)|
. De la misma manera, si f (s) es estrictamente
2
220 Teorema (Teorema del valor intermedio o de Bolzano-Darboux-Weierstrass) Si una funcin continua cambiare de signo en un intervalo, entonces anularse ha en dicho intervalo. Con ms precisin: sea f :
con f (a) < 0 < f (b). Entonces existe c a; b tal que f (c) = 0.
a; b
R continua,
a; b
Entonces S 6= ya que a S. En efecto, por el principio de inercia (teorema 219) existe > 0 con
a; a +
j S.
S es acotado superiormente ya que b es una cota superior. Por el axioma del supremo, S tiene un supremo,
dgase s = sup S. Luego a < s < b ya que a S y S j a; b . Se demostrar que f (s) = 0.
Si f (s) < 0, existe un vecindario de s contenido en a; b en el que f guarda el mismo signo que f (s), esto es,
1 > 0 tal que
x s 1 ; s + 1 a; b
= f (x) < 0.
Por la propiedad de aproximacin del supremo (teorema 37) x0 S tal que
s 1 < x0 < s.
1 Se entiende que ser un vecindario diestro si s = a y uno siniestro si s = b.
91
) < 0 y luego f (
a; x1
) < 0,
Si f (s) > 0, existe un vecindario de s contenido en a; b en el que f guarda el mismo signo que f (s), esto es,
2 > 0 tal que
= f (x) > 0.
x s 2 ; s + 2 a; b
Por la propiedad de aproximacin del supremo (teorema 37) y 0 S tal que
s 2 < y 0 < s.
Por lo tanto, f (
a; y 0
Habindose eliminado las posibilidades f (s) > 0 y f (s) < 0, se concluye que f (s) = 0.
221 Corolario Todo polinomio p(x) R[x] con coeficientes reales y grado non posee al menos una raz real.
Demostracin: Sea p(x) = a0 + a1 x + a2 x 2 + + an x n , con an 6= 0 y n non. Ya que p tiene grado impar,
limx p(x) = ()signum (an ) y limx+ p(x) = (+)signum (an ), que son de signo opuesto. Por el teorema
del valor intermedio, al ser p continuo, p deber anularse en alguna parte.
2; 1
a; b
a; b
a; b
: M > 0, f (y) My
a; x
}.
Como a S, S 6= . Adems, S est acotado superiormente por b. Por el axioma del supremo, s = sup S.
Demostrarse que s = b.
Supngase al contrario que s < b. Por el teorema 188 , existe > 0 tal que f es acotada en
s ; s + .3
Como s es el supremo de S, existe algn x0 S con s < x0 < s, de donde f es acotada en a; x0 . Pero si
x1 satisficiere s < x1 < s + , entonces f sera tambin acotada en x0 ; x1 . Por consiguiente, f es acotada en
a; x1 y por tanto x1 S, contradiciendo el hecho de que s es el supremo de S. Luego se tendr s = b.
Existe ahora un pequeo 0 > 0 tal que f es acotada en b 0 ; b + 0 . Existe un x2 S tal que b 0 < x2 < b.
Luego f es acotada en a; x2 y en x2 ; b y por lo tanto en a; b .
Para demostrar que f est acotada inferiormente considrese el anterior argumento con f en vez de f .
tales que f () f (x) f (), esto es, f alcanza valores mximos y mnimos en
a; b entonces existen , en
a; b .
Demostracin: Por el teorema 223, el conjunto f ( a; b ) es acotado. Como este conjunto es claramente no
nulo, posee una cota superior, dgase s = sup( f ( a; b )). Luego
x
a; b
f (x) s.
2 Se puede demostrar, mediante una aplicacin engorrosa de las frmulas de Cardano, que la raz real es x = 1 108 + 12
1.324717957.
3 Se presume en esta demostracin que a < s, cosa de que f sea definida en
por a; s + y continese la demostracin.
s ; s +
69
1/3
p 1/3
108 + 12 69
s ; s +
92
a; b
, s 6= f ().
Luego la funcin
g:
es continua en
a; b
a; b
R,
. Si, al contrario,
g (x) =
1
s f (x)
Como s es el supremo de f (
), > 0 existe x
a; b
> 0x
esto es, g es continua en
a; b
a; b
a; b
,
225 Ejemplo (Ecuacin funcional de Cauchy) Supngase que f : R R es continua y que satisface f (a + b) =
f (a) + f (b) para todos los reales a, b. Demostrar que c R tal que f (x) = cx, x R.
Resolucin Poniendo b = 0 se obtiene, f (a) = f (a) + f (0) y as f (0) = 0. Si k > 0 es un entero, entonces
f (ka)
= f (a + (k 1)a)
= f (a) + f ((k 1)a)
= f (a) + f (a) + f ((k 2)a) = 2f (a) + f ((k 2)a)
= 2f (a) + f (a) + f ((k 3)a) = 3f (a) + f ((k 3)a)
..
.
= = k f (a) + f (0) = k f (a).
Poniendo b = a se obtiene 0 = f (0) = f (a) + f (a) y as f (a) = f (a). Luego f (na) = n f (a) para n Z.
s
Tomando a Q, esto es, si a = para enteros s, t con t 6= 0. Esto significa que t a = s 1 y por lo tanto f (t a) =
t
s
f (s 1). Por lo acabado de demostrar para enteros, t f (a) = s f (1). As pues f (a) = f (1) = a f (1). Como f (1) es
t
una constante, se puede poner c = f (1). Se deduce que f (r ) = cr para r Q.
Tnx U
Tnx U
Sea x R. Si n > 0 es entero, entonces f
=c
y
n
n
Tnx U
n
1
,
n
lo que quiere decir que al incrementar n, se puede obtener una aproximacin tan precisa como se deseare de x,
Tnx U
o, en otras palabras
x cuando n +.4 Por ser f continua,
n
Tnx U
Tnx U
=f
c
f (x),
n
n
y como
Tnx U
n
x, se obtiene la conclusin.
4 Desgraciadamente no se quiere utilizar el lenguaje de sucesiones aqu y por lo tanto, el argumento dado es un tanto impreciso.
93
226 Teorema (Generalisation of Bernoullis Inequality) Let (, x) R2 with x 1. If 0 < < 1 then
(1 + x) 1 + x.
If
; 0
1; +
then
(1 + x) 1 + x.
(1 + x)
m
for integers m, n with 1 m < n. Since x + 1 0, we may use
n
(1 + x)m/n
m(1 + x) + (n m) 1
n
n + mx
n
m
1+ x
n
1 + x.
Equality holds when are the factors are the same, that is, when 1 + x = 1 = x = 0.
Assume now that R \ Q with 0 < < 1. We can find a sequence of rational numbers {an }+
n=1 j Q such that
an as n +. Then
(1 + x)a n 1 + an x,
whence by the continuity of the power functions (Theorem ??),
(1 + x) = lim (1 + x)a n lim (1 + an x) = 1 + x,
n+
n+
giving the result for all real numbers with 0 < < 1, except that we need to prove that equality holds only for
x = 0. Take a rational number r with 0 < < r < 1, and recall that we are assuming that is irrational. Then
r
(1 + x) = (1 + x)/r )r 1 + x .
r
r
Since the exponent on the right is rational, by what we have proved above 1 + x 1+ x with equality if and
r
only if x = 0. Hence the full result has been proved for the case R with 0 < < 1.
Let > 1. If 1+ x < 0, then obviously (1+ x) > 0 > 1+ x, and there is nothing to prove. Hence we will assume
1
that x 1. By the first part of the theorem, since 0 < < 1,
(1 + x)1/ 1 +
1
x = 1 + x = 1 + x (1 + x) ,
with equality only if x = 0. The theorem has been proved for > 1.
Finally, let < 0. Again, if 1+x < 0, then obviously (1+ x) > 0 > 1+x, and there is nothing to prove. Assume
thus x 1. Choose a strictly positive integer n satisfying 0 < < n. Now,
1 1
2 2
1
x = 1 x 1 + x =
1 + n x,
2
n
n
n
1 x
n
94
x
n
=
=
=
1 x
n
(1 + x)/n 1 + x
n
(1 + x) 1 + x ,
n
(1 + x)/n
n
and since n is a positive integer, 1 + x 1 + n x = 1 + x and so (1 + x) 1 + x also when < 0. This
n
n
finishes the proof of the theorem.
Tarea
Problema 6.4.1 Sea f : a;b a;b continua. Demostrar
que f tiene un punto fijo, esto es, que existe un punto c a;b
tal que f (c) = c.
Problema 6.4.2 Suponer que f : 0;1 0;1 es continua.
Demostrar que existe un nmero c en 0;1 tal que f (c) = 1 c.
Problema 6.4.3 (Teorema de las cuerdas) Supngase que f :
0;1 0;1 es continua con f (0) = f (1). Sea n > 0 un entero.
Demostrar que existe un x 0;1 tal que f (x) = f (x + 1/n).
f (x) ( f f )(x) = 1.
6.5 Infinitsimos
227 Definicin Sean f y g dos funciones definidas en un vecindario de a R {}. Se dice que f es infinitsima con
respecto a g cuando x tiende a a si > 0 existe un vecindario de a, Na tal que
x Na = | f (x)| |g (x)|,
lo que se denota por f = o g as x a, lo que se lee como f es oh pequea de g cuando x a.
Finalmente, se dice que la f es infinitsima cuando x tiende a a si f = o (1) cuando x a.
Se debera utilizar ms propiamente
el smbolo en vez de =: esto es, se debera escribir f o g , diciendo que f
pertenece la clase de funciones que son o g cuando x tiende a a.
xa
f (x)
= 0 = f = o g ,
g (x)
x a.
95
6.5. Infinitsimos
x+
1
x
= lim
= 0.
x 2 x+ x
x 0.
La relacin oh pequea no es simtrica, por ejemplo, x 2 = o (x) cuando x 0, pero no es cierto que x = o x 2 cuando
232 Teorema Sean f , g , , , funciones reales definidas en un vecindario de a R {}. Sea R constante. Sea h
una funcin real definida en un intervalo conteniendo a b R {}. Entonces
1. f = o () = f = o ().
2. f = o () , g = o () = f + g = o ().
3. f = o () , g = o = f g = o .
b ; b +
and
b2 ; b+2
= |h(x) a| = h(x)
a; a+ .
1.
2.
3.
4.
5.
o f + o g = o | f | + o |g | = o max | f |,|g |
o f +o f = o f
o o f =o f
96
6.6 La derivada
6.7 Monotona y convexidad
97
7
Funciones polinmicas
98
8
Funciones racionales
99
9
Funciones exponenciales y logartmicas
100
10
Funciones goniomtricas
101
11
Funciones goniomtricas inversas
102
A
Teorema de Tales y teorema de Pitgoras
dos puntos distintos A y B. Se escribe AB C D si estas dos rectas son paralelas y AB C D si fueren perpendiculares.
Tanto el segmento de recta (finito) que une a A y B como su longitud se denotar por AB. En el 4ABC , las longitudes de
los lados se denotan con minsculas de los vrtices opuestos: as a = BC , b = C A y c = AB. Los puntos medios de cada
lado del tringulo se denotan por la letra del vrtice opuesto. As M A es el punto medio del segmento BC , MB es el punto
medio del segmento C A y MC es el punto medio del segmento AB. Tanto el ngulo en el vrtice A como su medida se
denotar por Ab = C
AB = B
AC . Vase la figura A.1. Si el 4ABC es congruente al 4DE F , se escribir 4ABC
= 4DE F ,
renombrando los vrtices, quizs, de tal manera que AB = DE , BC = E F y C A = F D.
233 Notacin Se utilizar maysculas A, B,C , . . . para indicar puntos en el plano. AB es la recta (infinita) que pasa por
MC
MB
MCb
bMB
MA
b
bA
bR
L
bS
L0
P
T
bT
L 00
Q
b
C
C
bC
234 Teorema El segmento de recta que une los puntos medios de dos lados de un tringulo es paralelo al tercer lado y
mide la mitad de ste.
M
MB B . Por ser ngulos alternos internos de las paralelas AC DB se tiene que Ab = M
B MC B = D
C BD . Como
1
por hiptesis AMC = MC B se concluye por el criterio ALA que 4AMC MB = 4B MC D. As, MB MC = MC D y
D MB BC
AMB = DB. Luego BD MB C es un paralelogramo. Finalmente, MB MC =
=
.
2
2
235 Corolario La recta que biseca a un lado de un tringulo y es paralela a otro de sus lados, biseca tambin al tercer
lado.
la dicha recta con el lado AC . Del teorema 234, MC MB BC . Luego se tiene MC MB MC F . Tanto MB como F
yacen sobre AC , se tiene F = MB .
1 ALA aqu es ngulo-lado-ngulo. No se refiere ni a extremidades de aves ni a dioses moros.
103
236 Teorema Si una secante es dividida en segmentos congruentes por rectas paralelas, entonces toda otra secante
tambin ser dividida en segmentos congruentes por dichas rectas paralelas.
Demostracin: Vase la figura A.3, en donde se supone que las rectas L, L 0 y L 00 son paralelas al segmento CC 0 y
que R 0 S 0 = S 0 T 0 . Se debe demostrar que RS = ST . Constryase, paralelo a A 0C 0 , los segmentos RP y SQ como en
la figura. Entonces RR 0 S 0 P y SS 0 T 0 Q son paralelogramos y por tanto RP = R 0 S 0 y SQ = S 0 T 0 , conllevando sto a
S = P
=P
SR y QST
RS. As pues, por el criterio ALA,
RP = SQ. Al ser ngulos correspondientes en paralelas, QT
A n+1
0
bA
A
An
bB
0
b b A n+1
b b 0
b 0
b 0
An
bB
A
Mb
bB
bN
b
N0
bC
bC
bD
237 Teorema (Teorema de Tales) Rectas paralelas determinan sobre dos secantes cualesquiera segmentos correspondientes proporcionales.2 Recprocamente, toda recta que determine sobre los lados no paralelos de un trapecio segmentos
proporcionales es paralela a las bases.3
Demostracin: En la figura A.4, supngase que A A 0 CC 0 y que
AB
= r.
BC
Se tiene que demostrar que
A0B 0
= r.
B 0C 0
m
, el cociente de dos enteros positivos. Luego n AB = mBC . Divdase a A 0 B 0 en m
n
0 0
partes iguales y a B C en n partes iguales. Por el teorema 236, AB est dividido por estas paralelas en m partes
104
A 0n B 0
B 0C 0
de donde
0<
A n A n+1 1
AB A n B
<
= ,
BC
BC
BC
q
0<
<
A0 B 0
A0B 0
< n+1
,
0
0
BC
B 0C 0
A 0 B 0 A 0n B 0 A 0n A 0n+1 1
<
= .
B 0C 0 B 0C 0
B 0C 0
q
A0 B 0
An B
= n0 0 . De aqu, por la desigualdad del trinBC
BC
0 0
0 0
A B
AB A B
A n B A n B AB 2
B 0 C 0 BC < B 0 C 0 BC + BC BC < q ,
Recprocamente, sea M N (o PQ) una recta que determine sobre los lados no paralelos de un trapecio AC y BD,
segmentos proporcionales, como en la figura A.6. La paralela a las bases que pasa por M corta BD en un punto
N 0 , y se tiene, por lo ya demostrado, que
BN0
AM
= 0 .
MC N D
Por hiptesis,
confunden.
AM
BN
BN
BN0
=
, de donde se deduce que
= 0 , queriendo esto decir que los puntos N y N 0 se
MC
ND
ND
ND
Se definir ahora el importante concepto de la semejanza de tringulos, y verse, gracias al Teorema de Tales, un
importante criterio de semejanza de tringulos.
238 Definicin (Semejanza) Dos figuras S y T se dicen semejantes si mediante una serie de rotaciones, traslaciones,
reflexiones, dilataciones o contracciones se puede hacer a la una coincidir con la otra. La constante de dilatacin o contraccin utilizada se llama coeficiente de homotecia o de semejanza. Si S y T son semejantes se escribe S T .
239 Teorema (Criterio AAA) Dos tringulos son semejantes si y slo si sus ngulos homlogos son congruentes.
Demostracin: Slo es necesario mostrar la suficiencia.
c0 = Bb y C
c0 = Cb. Superpngase al 4A 0 B 0 C 0 sobre el 4ABC .
b B
Considrese el tringulo 4A 0 B 0 C 0 en donde c
A 0 = A,
Como los ngulos coinciden, los lados homlogos son paralelos. El resultado ahora se sigue del teorema 237.
240 Teorema (Pitgoras) La suma de los cuadrados de las longitudes de los catetos de un tringulo rectngulo es igual
a la longitud del cuadrado de la hipotenusa.
105
Tarea
Demostracin: Considrese el 4ABC , rectngulo en A. Se quiere demostrar que b 2 + c 2 = a 2 . 4 Sea E la
proyeccin ortogonal de A sobre el segmento BC . Por el criterio AAA, 4ABC 4E B A 4E AC . Pngase C E = x,
E B = a x. Por la semejanza de los tringulos involucrados,
c
ax
=
,
a
c
de donde
b x
= = c 2 = a(a x),
a b
b 2 = ax,
c 2 + b 2 = a(a x) + ax = a 2 ,
bE
241 Teorema (Recproca del Teorema Pitgoras) Si en el tringulo 4ABC , a 2 + b 2 = c 2 , entonces el tringulo es
rectngulo en C .
Tarea
demustrese que r =
r 12 + r 22 .
106
D
G
A
bE
B
4
bH
b
bD
bC
bB
248 Problema En la figura adjunta, los crculos son con245 Problema (Teorema de la bisectriz) Demustrese cntricos, AB es tangente al crculo interno y AB = 20. Halque si en el 4ABC , D es la interseccin de la bisectriz angular del Ab con BC , entonces
BD
AB
=
.
CD
AC
b
Figure A.13: Problema 248.
bD
bC
C
Figure A.14: Problema 249.
107
B
Indicaciones y respuestas
1.1.1 {3,2,1,0,1,2,3}
1.1.2 Ninguno. El cuadrado de todo real es positivo y por lo tanto {x R : 10 < x 2 < 5} = .
1.1.3 {12,9,6,3,0,3,6,9,12, 15}
1.1.4 Agrpese los treinticuatro enteros de esta progresin en los dicienueve grupos
{1},{52},{4,100},{7, 97},{10,94},. .. ,{49,55}.
Como se habr de escoger veinte y se tiene diecienueve conjuntos, se habr de tomar dos enteros, al menos, perteneciendo al mismo
conjunto, y estos sumarn a 104.
1.1.5 Obsrvese que
T
Luego {x Z : T
x2
U = 1} = {4,4}.
10
1.2.1
1;5
1.2.2 ,
5;3
5;+
4;+
x2
x2
x2
x2
U
< T U + 1 = 1
< 1 + 1 = 10 < x 2 < 20.
10
10
10
10
5;1
,
5;3
5;+[
,
4;+
0;
1
100
2
3
;
100 100
99
;1
100
De los 101 puntos, dos debern caer en el mismo subintervalo, lo que demuestra la asercin.
1.2.4 Hay 210 1 = 1023 subconjuntos no nulos que se pueden formar con un conjunto de diez elementos. A cada uno de estos subconjuntos le asociamos su suma. La mxima suma que puede ser obtenible es 90 + 91 + + 99 = 945 < 1023. Luego, hay dos subconjuntos,
digamos S,T (no necesariamente disjuntos) cuya suma de elementos es idntica. Luego, S \ (S T ) y T \ (S T ) tambin tienen suma
idntica de elementos.
1.3.1 4.5 unidades cuadradas.
1.3.2 La regin R = {(x, y) R2 : |x| 2,
4
3
2
1
1
432
1
2
3
4
1 2 3 4
108
p
p
p
p
2 R \ Q como 2 R \ Q, pero 2 + ( 2) = 0 Q.
p
p
p
p
2 R \ Q como 2 R \ Q, pero 2 ( 2) = 4 Q.
rt
Q, contradiccin.
r
1.4.4 Al poner x = 0.1242424..., se deduce 10x = 1.242424..., 1000x = 124.242424... de donde se colige que
1000x 10x = 124.242424... 1.242424... = 123 = x =
123
41
=
.
990 330
p
a
2 = , con enteros positivos a,b. Esto conlleva a 2b 2 = a 2 . Ahora bien, tanto a 2 como b 2 tienen un nmero par
b
de primos en su factorizacin (contando repeticiones). Luego 2b 2 tiene un nmero impar de primos en su factorizacin y a 2 tiene un
nmero par de primos en su factorizacin. Esto contradice el hecho de que todo entero positivo mayor que 1 puede descomponerse
en factores primos de forma nica.
1.4.6 Si
p
p
2 + 3 = r Q entonces
p
2 6 Q.
p
p
p
p
r2 1
3 = r 2 = 3 = r 2 2r 2 + 2 = 2 =
Q,
2r
(a b) 1,
ab
a b
a +b
b 6= 0,
(x y) (x y)
[y (x y)] x
[(x y) x] y
[(y x) x] y
[(x x) y] y
(y y) (x x)
y x,
probando la conmutatividad.
1.4.9 Por (1.11)
De nuevo, por (1.11) se tiene
Gracias a (1.10),
x y = ((x y) x) x.
((x y) x) x = ((x y) ((x y) y)) x.
((x y) ((x y) y)) x = (y) x = y x,
109
Indicaciones y respuestas
y
(0 0) 1 = (0 0) 1 = (0) 1 = 0 1 = 1,
As pues
au + bw + cv
+(av + bu + cw )
+2 (aw + bv + cu),
y
(a + 2 b + c)(u + 2 v + w )
au + bw + cv
+(aw + bv + cu)
+2 (av + bu + cw ).
Se ha demostrado que
xy
Se tiene adems,
a (b c)
a (b + c bc)
a + b + c bc a(b + c bc)
a + b + c ab bc ca + abc.
(a + b ab) c
a + b ab + c (a + b ab)c
a + b + c ab bc ca + abc,
(a + 2b)2
(a + b)2
2. Entonces,
(a + 2b)2
a2
2
2
2
2
2
2
2
=
a
+
4ab
+
4b
2(a
+
2ab
+
b
)
=
2b
a
=
2,
(a + b)2
b2
< 2,
b2
(a + 2b)2
a 2 (a + 2b)2
(a + 2b)2
a2
<
2
=
+
<
4
=
2
<
2
.
(a + b)2
b2
(a + b)2
(a + b)2
b2
110
;0
Luego A t = t ;0 .
La ecuacin cuadrtica tendr exactamente una solucin si o bien t 1 = 0, esto es, si la ecuacin es lineal, o si tiene una raz
repetida, lo que ocurre si su discriminate es cero:
t 2 (t 1)(t) = 0 = t = 0.
Luego el conjunto tiene exactamente un elemento cuando t = 1 y cuando t = 0 y
A 1 = {x Rx +
1
1
= 0} = { },
4
4
A 0 = {x R x 2 = 0} = {0}.
La ecuacin cuadrtica tendr exactamente dos soluciones reales si su discriminate es estrictamente positivo:
t 1 6= 0, t 2 (t 1)(t) > 0 = t
0;1
1;+
t
4 t 4t 4 t 4t
A t = x R : (t 1)x 2 + t x + = 0 =
,
.
4
8t 8
8t 8
1.6.2 {1,0,1,2,3,4, 5, 6, 7, 8, 9}
1.6.3
1. Obsrvese que x 2 x 6 = (x 3)(x + 2). Entonces se observa que en las cercanas de x = 2 y x = 3, se tiene:
x
x +2
x 3
(x + 2)(x 3)
2;3
;3
2;2
3;+
2;3
3;+
;2
3;+
}.
1.6.5 Se tiene
|1 2x| < 3 3 < 1 2x < 3 4 < 2x < 2 1 < x < 2 x
1;2
en donde ha de recordarse que el dividir a una desigualdad por una cantidad negativa, se invierte el sentido de la desigualdad.
1.6.6 Cuatro. O bien x 2 4x = 3 o bien x 2 4x = 3. As, x {1,3,2
p
7,2 + 7}.
p
1.6.7 x {2,1 + 5}
1.6.8 La ecuacin x 2 x 4 = 0 no tiene races racionales. Para buscar sus races, se completar cuadrados:
p !
p !
1 1
1 2 17
1
17
1
17
x x 4 = x x + 4 = x
= x
x +
.
4 4
2
4
2
2
2
2
2
As pues
p !
p !
1
17
1
17
x x 4 0 x
x +
0.
2
2
2
2
2
111
Indicaciones y respuestas
p
p
1
17
1
17
y en x = +
:
2
2
2
2
p
p
p
1
17 1
17
1
17
; +
+
;+
2
2 2
2
2
2
p !
1
17
2
2
p !
1
17
x +
2
2
p !
p !
1
17
1
17
x
x +
2
2
2
2
x
Se deduce que
p
1
17
2
2
o
x R : x2 x 4 0 =
p
1
17
2
2
p
1
17
+
;+
2
2
p
p
p
p
1.6.9 Hay cuatro soluciones: {1 2,1 + 2,1 2,1 + 2}.
1.6.10
;1
1.6.11
2;1
max(x, y) + min(x, y)
x+y
max(x, y) min(x, y)
x y ,
;3
2;+
3;+
12 1
;
25 2
5
1.6.16
2
1.6.15
1.6.17
4;1
2;5
;0
, o bien x
0;1
11
x + 1 >= x
2
, o bien x
1;+
p
3 2
2x p
+ 1 + 1.
2
x 8 x 5 + x 2 x + 1 = x 5 (x 3 1) + x(x 1) + 1 > 0
2;1
112
p
5+2 6 =
p
2+2 6+3 =
q
p
p
p p
( 2 + 3)2 = 2 + 3
xy
x+y
= 25,
2
con igualdad si y slo si x = y = 25. Luego el valor mximo del producto es 625, ya que
x y 252 = 625.
1.7.5 Pngase x = 1 000 000 = 106 . Entonces
x(x + 1)(x + 2)(x + 3) = x(x + 3)(x + 1)(x + 2) = (x 2 + 3x)(x 2 + 3x + 2).
Pngase y = x 2 + 3x. Entonces
x(x + 1)(x + 2)(x + 3) + 1 = (x 2 + 3x)(x 2 + 3x + 2) + 1 = y(y + 2) + 1 = (y + 1)2 .
As,
p
y +1
x 2 + 3x + 1
1012 + 3 106 + 1
1
1
1 1 1/2 p
7
7 3
|x + y + z| = x + 2y
.
+ 3z
(x 2 + 4y 2 + 9z 2 )1/2 1 + +
= 27
=
2
3
4 9
6
2
(x,2y,3z) = (1,1/2,1/3) = x = , y =
Para lograr el mximo entonces se pone
x=
2 2
18 3
, z = = 2 +
+
= 27 = =
.
4
9
4
9
7
p
18 3
,
7
y=
p
9 3
,
14
z=
p
2 3
.
7
(a 2 )2 + (b 2 )2 + (c 2 )2
donde se puede omitir los valores absolutos, ya que la suma de cuadrados de reales es positiva.
1.7.8 Se demuestra la primera desigualdad de dos maneras distintas. La primera consiste en utilizar la desigualdad de la media tres
veces y notar que
y2 + z2
z2 + x2
x2 + y2
x y,
yz,
zx, = x 2 + y 2 + z 2 x y + yz + zx,
2
2
2
al sumar.
La segunda manera resulta de la igualdad
x 2 + y 2 + z 2 (x y + yz + zx) =
1
(x y)2 + (y z)2 + (z x)2 ,
2
113
Indicaciones y respuestas
Para demostrar la segunda desigualdad se utiliza la desigualdad mostrada dos veces:
x4 + y4 + z4
(x 2 )2 + (y 2 )2 + (z 2 )2
x2 y2 + y2 z2 + z2 x2
x yz(x + y + z),
=
=
=
Luego
1p
(a + b + c)(b + c a)(c + a b)(a + b c)
4
1p 2
(a + b 2 + c 2 )2 2(a 4 + b 4 + c 4 )
4
1
=
a 2 + b2 + c 2 4
S(a,b,c)
12
(a 2 + b 2 + c 2 )2
a 4 + b4 + c 4
(a 2 + b 2 + c 2 )2
a 4 + b4 + c 4
(a 2 + b 2 + c 2 )2
dando a su vez,
1
a 2 + b2 + c 2 4
S(a,b,c)
el mximo deseado.
1.7.10 Partiendo de
1
,
3
p
2
1
3
= p =
,
3 4 3
12
y +z
z +x
x+y
+
+
= 2,
x + y +z x + y +z x + y +z
p
p
y +z
z +x
1+ p
1+ p
1
x + y +z
x + y +z
x + y +z
a 4 + b4 + c 4
x+y
1/2
x+y
y +z
z + x 1/2 2
+
+
1 + 12 + 11
x + y +z x + y +z x + y +z
1.7.11 Se tiene
x4 + x2 + 4
1 1 1 1
= x3 + x + + + + ,
x
x x x x
la suma de seis cantidades cuyo producto es la unidad. Luego, por la desigualdad de la media para n = 6,
1 1 1 1
3
r
x4 + x2 + 4 x + x + x + x + x + x
1 1 1 1
6
=
x 3 + x = 1,
x
6
x x x x
luego
x4 + x2 + 4
6,
x
y el valor mnimo es 6, que ocurre cuando x 3 = x =
1
= 1.
x
114
p
x
y
z
p
p
y +z + p
z +x + p
x+y
p
y +z
x+y
z
+
x
!1/2
1/2
x2
y2
z2
+
+
(y + z) + (z + x) + (x + y)
y +z z +x x + y
!1/2
p
1/2
y2
z2
x2
+
+
2
x + y +z
,
y +z z +x x + y
a 2 ab + b 2 bc + c 2 dc + d 2 d a = 0,
a2
b2 b2
c2 c2
d2 d2
a2
ab +
+
bc +
+
dc +
+
da +
= 0.
2
2
2
2
2
2
2
2
Factorizando,
1
1
1
1
(a b)2 + (b c)2 + (c d)2 + (d a)2 = 0.
2
2
2
2
Como la suma de cantidades positivas es cero si y slo si cada sumando es cero, se obtiene a = b,b = c,c = d,d = a, lo cual demuestra
la asercin.
1.7.15 25
1.7.16 Se tiene
Ya que t s 0, r s + 2t = r + s + 2(t s) r + s y as
(r s + t)2 t 2 (r s)(r + s) = r 2 s 2 ,
lo que resulta en
(r s + t)2 r 2 s 2 + t 2 .
x 3 + y 3 = (x + y)3 3x y(x + y)
(a + b + c)(a 2 + b 2 + c 2 ab bc ca).
Para deducir la desigualdad de las medias, obsrvese que con lo que se ha demostrado, ya que a 2 +b 2 +c 2 abbc ca 0 y a+b+c 0,
que
a 3 + b3 + c 3
a 3 + b 3 + c 3 3abc 0 = abc
3
p
p
p
y poniendo a = 3 x, b = 3 y, c = 3 z, se deduce que
abc
a 3 + b3 + c 3
x + y +z
p
= 3 x yz
.
3
3
115
Indicaciones y respuestas
1.7.18 Si x
5
3
,
=
8
4
a + x 5 a x 3
de donde
(a + x)5 (a x)3
con igualdad si y slo si
a +x
5
55 33 a 8
48
a +x a x
=
.
5
3
p
as que se quiere abc de f 26.83. Nunca habr igualdad ya que abc + de f es entero y 2 6! irracional. El mnimo se obtiene dejando
{a,b,c} = {1,5,6} y {d,e, f } = {2,3,4}, con el mnimo de
p
1 5 6 + 2 3 4 = 54 = d 2 6! e.
Tambin se obtiene 54 tomando {a,b,c} = {1,4,6} y {d,e, f } = {2,3,5}.
2.1.1 Se tiene
d( (a,b), (b, a) ) =
2.1.2 Se tiene
a +c b +d
d (a,b),
,
2
2
Adems,
2.1.3
a +c b +d
,
, (c,d) =
2
2
q
4x 2 + ( + )2 t 2
s
s
(a b)2 + (b a)2 =
a + c 2
a + c
p
2(a b)2 = |a b| 2.
b +d
+ b
2
2
b +d
d =
2
a c 2
s
a c 2
b d 2
.
2
b d 2
.
2
2 1 + 3 4 2 5 + 3 10
14
C=
,
=
,8 .
3+2
3+2
5
2.1.5 Se necesita
(x 0)2 + (1 2)2 = 2 =
p
x 2 + 1 = 2 = x 2 + 1 = 4 = x 2 = 3 = x = 3.
2.1.6 Osama deber viajar sobre dos segmentos de recta: primero desde (1,1) hasta el origen (0,0), y luego desde (0,0) hasta (2,1),
evitando a toda costa el segundo cuadrante. Esto es porque si a > 0,bp
> 0 entonces la recta que une a (b,0) y (a,0) yace en el segundo
p
a 2 + b2
cuadrante y mide a 2 + b 2 unidades. La cucaracha pasa aqu unos
minutos. Pero en el camino sobre los ejes desde (b,0)
2
hasta (a,0) es a + b unidades de largo y la cucaracha slo invierte unos a + b minutos aqu. As pues, en tanto
a +b
a 2 + b2
,
2
la cucaracha deber evitar el segundo cuadrante a toda costa. Pero por la desigualdad de la media
2ab a 2 + b 2 = (a + b)2 = a 2 + 2ab + b 2 2a 2 + 2b 2 = a + b
p p
2 a 2 + b2 ,
1
1
1
lo que significa que en tanto la velocidad de la cucaracha en el segundo cuadrante sea < p ser mejor evitarlo. Ya que < p , se
2
2
2
sigue lo anunciado.
116
BD =
demostrando su igualdad.
(u 0)2 + (0 v )2 =
u2 + v 2 ,
2.1.8 Sin prdida de generalidad, presmase que el paralelogramo ABC D tiene vrtices en A(0,0), B(u,0), C (u + w, v ) y D(w, v ). Las
u +w v
coordenadas del punto medio de AC son
, , que son las mismas de las del punto medio de BD, lo que demuestra el resultado.
2
2
2.1.9 Su coordenada de x es la suma geomtrica infinita
1
1
1 1
2
2
+
=
= .
1
2 8 32
5
1 4
Su coordenada de y es la suma geomtrica infinita
1
1
1
4
+
=
= .
4 16
5
1 1
4
1
Luego, el camello termina en
2 4
, .
5 5
a + ar + ar 2 + ar 3 + =
vlida para |r | < 1.
a
,
1r
2.1.10 sese el teorema de Minkowski y el hecho que 172 + 1442 = 1452 . El valor buscado es S 12 .
2.2.1 Vase la figura adjunta.
b
b
Figure B.2: B
2.2.2 El centro del crculo est en el punto medio del segmento de recta que une (0,1) y (1,0):
del crculo entonces,
0+1 1+0
1 1
,
= , . Si R > 0 es el radio
2
2
2 2
1 2
1 2
+ y
= R2.
2
2
1 2
1 2
1 1
1
+ 1
= R 2 = + = R 2 = = R 2 .
2
2
4 4
2
1 2
1 2 1
+ y
= .
2
2
2
117
Indicaciones y respuestas
2.2.3 El centro (h,k) del crculo equidista de estos puntos y por lo tanto
(h 1)2 + (k 1)2 = h 2 + (k 1)2 ,
(h 1)2 + (k 1)2 = (h 1)2 + (k 2)2 .
De la primera ecuacin se desprende que h = 12 y de la segunda, que k = 32 . El centro del crculo es pues (h,k) = ( 21 , 32 ). El radio del
crculo es la distancia del centro a cualquiera de los tres puntos dados, dgase a (0,1):
s
2
2 p
1
3
2
+
1 =
.
2
2
2
1 2
3 2 1
+ y
= .
2
2
2
c + a 2 + 4b 2 .
2. 4 4
2.2.6 El punto (1,1) es el punto medio de A y B, de donde
s +1 t +2
s +1
,
= (1,1) =
= 1,
2
2
2
2.4.1 La pendiente de la recta es
t +2
= 1, = s = 3,
2
t = 0.
b2 a 2
= a + b,
b a
y = (a + b)x + k,
en donde k es una constante que debe ser hallada. Como (a, a 2 ) yace en la recta se tendr
a 2 = (a + b)a + k = k = ab,
y se concluye que la recta tiene ecuacin
y = (a + b)x ab.
2.4.2 El valor de la pendiente es independiente de los puntos que se utilizaren para computarla. As pues,
a 1 a 3
=
= a 3 = 3 = a = 0.
1a
3
2.4.3
(b a)
.
8
118
(x 2)2 + (y 3)2 =
x 3
+ ,
4 8
a
d
y L 0 tiene pendiente . Luego
b
e
L L 0 =
e
a
=
= ad + eb = 0.
b d
2.5.2
1. Esta es claramente m =
32
1
= .
1 (1) 2
x
1
5
x 5
+ k. Luego 2 =
+ k = k = de donde la recta tiene ecuacin y = + .
2
2
2
2 2
x
4
x
0
3. L tiene ecuacin de la forma y = + k. As 4 = + k = k = 2, de donde la ecuacin buscada es y = + 2.
2
2
2
4. L 00 has the form y = 2x + k. Hence 4 = 8 + k = k = 12 so the line sought is y = 2x + 12.
x 5
5. L tiene ecuacin y = + . Su reflexin por el eje de x tiene ecuacin
2 2
2. L tiene la forma y =
y =
6. L tiene ecuacin y =
x 5
x 5
+ = y = .
2 2
2 2
x 5
+ . Su reflexin por el eje de y tiene ecuacin
2 2
y =
x 5
+ .
2 2
2.5.3
1. Si L t pasa por (2,3) entonces
8 . En este caso la recta es
de donde t = 11
30
25
135
x+
y
= 0.
11
11
11
2. L t ser paralela al eje de x si el coeficiente de x desaparece, lo que ocurrir cuando t 2 = 0, o sea, t = 2. En este caso la recta es
y = 3.
3. L t ser paralela al eje de y si el coeficiente de y es cero, lo cual necesita t + 3 = 0, o sea, t = 3. En este caso la recta es
x = 7.
2t
1
4. La recta de ecuacin x 2y 6 = 0 tiene pendiente 12 y L t tiene pendiente 2t
t +3 . Las rectas sern paralelas cuando t +3 = 2 or
t = 1/3. En este caso la ecuacin de la recta es
5
10
5
x+
y = 0.
3
3
3
2t
5. La recta y = 14 x 5 tiene pendiente 14 y L t tiene pendiente 2t
t +3 . Las rectas sern perpendiculares cuando t +3 = 4 or t = 2.
En este caso la recta pedida es
4x + y 25 = 0.
6. Si tal punto existiese, entonces pasara por las rectas verticales y horizontales de la familia de L t arriba obtenidas. Por lo tanto
(x0 , y 0 ) = (7,3) es un candidato para tal punto. Como
(t 2)(7) + (t + 3)(3) + 10t 5 = 7t + 14 3t 9 + 10t 5 = 0
el punto (7,3) pasa por todas las rectas L t no importa cual valor de t.
p
2.5.4 6 1313
119
Indicaciones y respuestas
2.5.5 El radio del crculo es la distancia del centro a la recta tangente. El radio es pues
324+3
2
r = p
= p .
12 + (2)2
5
(x 3)2 + (y 4)2 =
4
.
5
AM A :
B MB :
y
y=
c
2
b
2 a
x+
c
ca
ca
=
x+
,
2a b b 2a
2a b
cb
c
cb
y = a 2 x+
=
x+
,
2b
a
a
2b
2b
a
b
2
C MC :
y=
c
a+b
2
x +c =
2c
x + c.
a +b
Como el tringulo se supone no degenerado (esto es, no es aplastado), AM A y B MB se han de intersecar. Luego
c
ca
c
cb
a +b
x+
=
x+
= x =
.
b 2a
2a b a 2b
2b a
3
Para hallar el valor de la coordenada de y, se substituye x =
a +b
en cualquiera de estas dos rectas, dgase en la primera:
3
c
ca
c
a +b
ca
c
x+
=
+
= .
b 2a
2a b b 2a
3
2a b 3
a +b c
c ?
2c
a +b
=
+ c,
3
a +b
3
cosa que se deja al lector.
2.5.7 Sean H A , HB y HC las bases de las alturas desde A hasta BC , desde B hasta C A y de C hasta AB, respectivamente. Por ser
las alturas perpendiculares a los lados, las respectivas pendientes de AH A , B HB , C HC , sern los opuestos de los recprocos de las
pendientes de las rectas BC , C A, AB. Se encuentra pues que sus ecuaciones son
AM A :
B MB :
y=
b
ab
x
,
c
c
y=
a
ab
x
,
c
c
C MC : x = 0.
Se arguye que el tringulo no es degenerado y que por lo tanto AM A , B MB habrn de intersecarse. Por tanto x = 0 y
b
ab a
ab
x
= x
= x = 0,
c
c
c
c
ab
ab
ya que al tringulo no ser degenerado, a 6= b. Por lo tanto, y =
. Es obvio que 0,
tambin yace sobre L C MC , lo que demuestra
c
c
el resultado.
120
A0B 0 :
x=
B 0C 0 :
C 0 A0 :
a +b
y
Como A 0 B 0 , B 0C 0 han de intersecarse, x =
2
y=
a +b
,
2
b
x,
c
a
y = x.
c
y=
b(a + b)
.
2c
a + b ab + c 2
Como
,
tambin yace sobre C 0 A 0 , queda demostrado el resultado.
2
2c
2.5.9 Se puede suponer, sin prdida de generalidad, que el cuadrado ABC D tiene vertices en A(0,0), B(a,0), C (a, a) y D(0, a). Las
3. Esto es y = (x + 1) (+x) + (x + 1) = x + 2.
4. Esto es y = (x 1) (+x) + (x + 1) = x.
5. La grfica de C aparece en la figura adjunta .
7
6
5
4
3
2
1
1
8
7
6
5
4
3
2
1 1 2 3 4 5 6 7
2
3
4
5
6
7
8
2.6.2 La grfica aparece en la figura adjunta.
7
6
5
4
3
2
1
1
8
7
6
5
4
3
2
1 1 2 3 4 5 6 7
2
3
4
5
6
7
8
121
Indicaciones y respuestas
2.6.3 Esta es la curva
y=
La grfica aparece en la figura adjunta.
|x| + x
=
si x 0,
si x < 0.
7
6
5
4
3
2
1
1
8
7
6
5
4
3
2
1 1 2 3 4 5 6 7
2
3
4
5
6
7
8
2.6.4 El conjunto consiste de cuatro segmentos de crculo dentro del crculo x 2 + y 2 = 16 y acotado por las rectas y = x + 4, y = x 4,
y = x + 4 y y = x 4. Su grfica aparece en la figura .
7
6
5
4
3
2
1
1
8
7
6
5
4
3
2
1 1 2 3 4 5 6 7
2
3
4
5
6
7
8
2.7.2 La distancia de (x, y) a (2,3) es
q
y2 y 1
,
12 2 2
(x 1)2 + (y 1)2
x 2 + y 2 2x y 4x 4y + 4 = 0.
!
x2
x2
2.7.4 Pngase x > 0 y A = (0,0), B = x,
y C = x,
. Entonces
2
2
v
v
!2 u
!2
!
u
2
u
u
p
x
x2 x2
x2
t
t
2
2
2
AB = BC = (x 0) +
0 = (x (x)) +
= x 1 +
= 4x 2 = x = 2 3.
2
2
2
4
p
p
Los puntos son A(0,0), B(2 3,6) and C (2 3,6).
122
1
1
= 2, f (1) = 1 y f
= 2, se ve que Imagen f = {2,1,1,2}. La grfica de f aparece en la figura
3.1.2 Como f (1) = 1, f
2
2
adjunta.
2
1
b
3 21
1
2
3
3.1.3 Se tiene
b
b
1 2 3
3.1.4 Se tiene
f (x + h) f (x h)
1
1
1
1 x h (x + h)
1
=
=
=
.
2h
2h x + h x h
2h
(x + h)
(x + h)
(a + b)2 (a b)2 64 16
=
= 12.
4
4
3.1.6 4x 2
3.1.7 f (x) = x 2 2x + 1; f (x + 2) = x 2 + 2x + 1; f (x 2) = x 2 6x + 9
3.1.9 Pngase h(x) = x 3 , g (x) = x 1, f (x) = 2x. Entonces
(g f h)(x) = g ( f (h(x))) = g ( f (x 3 )) = g (2x 3 ) = 2x 3 1 = t(x),
luego a = 2, b = 1, c = 3.
p
2
3.1.12
2
3.1.13 x = 1/3.
123
Indicaciones y respuestas
3.1.14 ( f f )(x) = 4x 2 4x 3 + x 4 .
3.1.15 Se tiene f [2] (x) = f (2x) = 22 x, f [3] (x) = f (22 x) = 23 x y as, recursivamente, f [n] (x) = 2n x.
3.1.16 Se tiene
x 1
.
x
x 1
1
2. f [3] (x) = ( f f f )(x) = f ( f [2] (x))) = f
=
= x.
x
1 x1
x
1
1 1x
3. Obsrvese que f [4] (x) = ( f f [3] )(x) = f ( f [3] (x)) = f (x) = f [1] (x). Se tiene que f es cclica de periodo 3, esto es, f [1] = f [4] =
f [7] = ... , f [2] = f [5] = f [8] = ... , f [3] = f [6] = f [9] = .... Luego f [69] (x) = f [3] (x) = x.
3.2.1 Cambindole el nombre a la variable muda, h(1 s) = 2s. Si 1 s = 3x entonces s = 1 3x. As,
h(3x) = h(1 s) = 2s = 2(1 3x) = 2 6x.
3.2.2 Pngase
Entonces
1. a 0 = p(0) = (1 02 + 04 )2003 = 1.
a 0 a 1 + a 2 a 3 + a 8011 + a 8012
p(1)
1.
p(1) + p(1)
= 1.
2
p(1) p(1)
= 0.
5. La suma pedida es
2
4. La suma requerida es
3.2.3 Se tiene
27+y 3
f
3
y
27
y
=
=
=
=
3 3
3
y
f 3y + 1
q
3 3
3
y
f 3 +1
53
125.
3.2.4 Sea x = 1. Entonces f (y) = y f (1). Como f (1) es una constante, se puede poner k = f (1). As que todas las funciones que satisfacen
la ecuacin dada son de la forma f (y) = k y.
1
1
x 1
3.2.5 De f (x) + 2f ( ) = x se deduce f ( ) = f (x). Adems, al substituir 1/x por x en la ecuacin original, se deduce que
x
x
2 2
f (1/x) + 2f (x) = 1/x.
Luego,
f (x) =
dando f (x) =
2
x
.
3x 3
1
1
1
1 x 1
f (1/x) =
f (x) ,
2x 2
2x 2 2 2
124
1x
= 64x,
1+x
1x 2
( f (x))4 f
) = 642 x 2
1+x
1x . Entonces
Substityase x por 1+x
f
Dividiendo (I) por (II),
(I )
1x 2
1x
f (x) = 64
.
1+x
1+x
f (x)3 = 64x 2
dando la funcin pedida.
1+x
1x
(I I )
= f (x) = 4x 2/3
1 + x 1/3
,
1x
p
1; 2
y
.
2
x + f (y)
x + 2y 2g (0) + 5 x + 2y + 5
= g (0) +
=
.
2
2
2
3.3.2 Se requiere
p
x 1 2x 1 0,
2x 1 0 = (x 1)2 2x 1,
1
= x 2 4x + 2 0,
2
1
.
2
p
p
x 2 4x + 2 = (x 2)2 2 = (x 2 2)(x 2 + 2),
p
se obtiene que el dominio natural buscado es 2 + 2;+ .
3.3.5 R \ Z
4.2.1 Se tiene
2x 1
f (x) =
3
2x + 1
4.2.2 Se tiene
f (x) =
4.2.3 Recordar que
Luego, si F (x) = | f (x)| |g (x)| + h(x) entonces
x 2
x2
si x
;2
si x
2;1
si x
1;+
si x
;0
si x
0;+
max(r, s) = (r + s + |r s|)/2.
(5x + |5x|)/2 + 3x + 2
1
,
2
125
Indicaciones y respuestas
4.2.4 Recurdese que tanto los racionales como los irracionales son densos en los reales. La grfica consiste de dos rectas horizontales
porosas: la y = 0 con poros en los irracionales y la y = 1 con poros en los racionales.
4.2.5 Recurdese que tanto los racionales como los irracionales son densos en los reales. La grfica consiste de dos rectas porosas: la
y = 0 con poros en los irracionales y la y = x con poros en los racionales.
4.3.1 La grfica saltar cada vez que 2x = n, entero, esto es, x =
Su grfica aparece en la figura adjunta.
n
, en cada entero y entre medio, en toda fraccin de denominador 2.
2
4
3
2
1
5 4 3 21
1
2
3
4
5
4.3.2 La funcin es peridica de periodo 1. Si x
0;1
1 2 3 4
entonces
||x|| = min(x,1 x).
1 2 3 4
4.3.3 La asercin es falsa. Por ejemplo, si x = 2.1 entonces {2.1}2 = 0.12 = 0.01 mientras que 2.12 = {4.41} = 0.41
4.3.5 La frmula x 7
Vx W Tx U
Vx W Tx U
126
3
2
1
5 4 3 21
1
2
3
4
5
3
2
1
3
2
1
1 2 3
Figure B.3: y = |x 1| 1
5 4 3 21
1
2
3
4
5
1 2 3
5 4 3 21
1
2
3
4
5
3
Appendix B. Indicaciones
y respuestas
2
1
1 2 3
Figure B.5: y =
1
+1
x 1
5 4 3 21
1
2
3
4
5
Figure B.6: y =
1 2 3
x 22
4.4.2 La grfica es una traslacin media unidad hacia abajo de la grfica en 4.12. Su grfica aparece en la figura adjunta.
4
3
2
1
5 4 3 21
1
2
3
4
5
1 2 3 4
1 2
1
1
1 2
4.4.3 Observe que x 7 x
= x , luego las grficas de x 7 x
es peridica de periodo 1. Si x 0;1 , entonces x
2
2
2
2
1 2
coinciden cuando x 0;1 . Su grfica aparece en la figura adjunta.
y de x 7 x
2
4
3
2
1
1
1
2
3
4.7.1 La grficas aparecen en la figura adjunta.
4
5
127
Indicaciones y respuestas
5
4
-1
-1
-1
-2
-2
-3
-3
b b
-4
-5
-6
-7
-6
-5
-4
-3
-2
-1
-3
b b
-4
-4
-5
-5
-6
-6
-6
-7
-7
-6
-5
-4
-3
-2
-1
-7
-7
-6
-5
-4
-3
-2
-1
-7
b b
-1
b
b
b
b
b b
b
b b
0
-1
-2
-3
-4
-4
-4
-5
-5
-5
-5
-6
-6
-6
-7
-7
-7
-4
-7
-6
-5
-4
-3
-2
-1
-7
-6
-5
-4
-3
-2
-1
-1
b b
b b
-6
-7
-7
-2
b b
b b b b
-3
-3
-2
-3
-4
b
b b
-1
-2
-3
-5
-1
-2
-6
-3
-5
-2
-4
-7
-7
-2
b b
-1
bb
-6
-5
-4
-3
-2
-1
-7
-6
-5
-4
-3
-2
-1
4.7.3 Como f es impar, f (0) = f (0). Pero f (0) = f (0), dando f (0) = f (0), esto es, 2f (0) = 0, lo que resulta en f (0) = 0.
4.7.4 La funcin R {0} es la nica funcin par e impar. Si g fuere par e impar, entonces si g (x) = g (x) = g (x) se tendra 2g (x) =
0 = g (x) = 0.
4.7.5 La grfica aparece en la figura adjunta.
3
2
1
5 4 3 21
1
2
3
4
5
4.7.6 Obsrvese que y =
1 2 3
x 2 + 2x + 3 = x 2 2x + y 2 = 3 = (x 1)2 + y 2 = 4,
x 2 + 2|x| + 3
128
3
2
1
5 4 3 21
1
2
3
4
5
3
2
1
1 2 3
5 4 3 21
1
2
3
4
5
3
Appendix B. Indicaciones
y respuestas
2
1
1 2 3
1 2 3
5 4 3 21
1
2
3
4
5
5
4
3
2
1
5 4 3 21
1
2
3
4
5
5
4
3
2
1
1 2 3 4 5 5 4 3 21
1
2
3
4
5
5
4
3
2
1
1 2 3 4 5 5 4 3 21
1
2
3
4
5
5
4
3
2
1
1 2 3 4 5 5 4 3 21
1
2
3
4
5
1 2 3 4 5
4.7.8 Como f es par, f (2) = 3, f (3) = 2. Como g es impar, g (2) = 2, g (3) = 4. As,
( f + g )(2) = f (2) + g (2) = 3 + (2) = 1,
5.2.1 a puede tomar 3 valores. Luego de ser a determinado, b puede tomar 2 valores. As pues hay 3 2 = 6 funciones inyectivas. No
existe ninguna funcin epiyectiva, ya que hay menos entradas que posibles salidas.
5.2.2 No existe ninguna funcin inyectiva, ya que hay menos salidas que entradas y as, por el principio de las pichoneras, siempre
habr algn elemento del rango de la funcin que ser asignado a dos o ms entradas.
Hay
!
!
3 3
3 3
23
1 +
0 = 83 = 5
1
2
funciones epiyectivas. Esto es, de las 8 funciones que hay en total, se han descartado las tres que no son epiyectivas.
5.3.1 O bien a = 1,b = 0, o bien a = 1 y b arbitraria.
5.3.3 Para x 0, f (x) = x 2
la solucin positiva de
5.3.4 f 1 : R R, f 1 (x) =
1
tiene inverso f 1 (x) =
4
r
3
1
x + . Las grficas de f y f 1 se encuentran en la recta y = x. Luego se busca
4
p
1
1+ 2
x 2 = x = x =
.
4
2
x
2
x3 + 2
5.3.5 f : R \ {1} R \ {1}, f 1 (x) = 3
.
x 1
5.3.6 ( f g )1 (1) = (g 1 f 1 )(1) = g 1 ( f 1 (1)) = g 1 (3) = 2.
129
Indicaciones y respuestas
5.3.7 Como x 2 4x + 5 = (x 2)2 + 1, considerar I 1 =
y I2 =
;2
2;+
5.3.8
6
1. El primer trozo de f es un segmento de recta con extremos en (5,5),(0,1), y cuya pendiente es . Luego la ecuacin de f
5
6
6
5
5
5
5
es f (x) = x 1. Poniendo y = x 1 y resolviendo para x se obtiene x = y . Se deduce que f 1 (x) = x . Para
5
5
6
6
6
6
x [5;0], 1 f (x) 5, luego la frmula para f 1 es slo vlida para 1 x 5.
2
2. El segundo trozo consiste de un segmento de recta con extremos en (0,1),(5,3), cuya pendiente es . La ecuacin de f es
5
2
2
5
5
5
5
f (x) = x 1. Poniendo y = x 1 y resolviendo para x, se obtiene x = y . Se deduce que f 1 (x) = x . Para
5
5
2
2
2
2
x [0;5], 3 f (x) 1, luego esta frmula para f 1 es slo vlida para 3 x 1.
6
5
4
3
2
1
0
-1
-2
-3
-4
-5
-6
-7
-7
-6
-5
-4
-3
-2
2
f 1 (x) =
-1
si x 0
si x > 0
4
3
2
1
0
-1
-2
-3
-3
-2
-1
6.1.1 0, 2.
6.1.2 Como |x 2| = x 2 o 2 x dependiendo de que lado de 2 se encuentre x, se tiene
|x 2|
2x
1
=
(1) (1) = 1,
(2 x)Tx U (2 x) Tx U
cuando x 2 y
cuando x 2+.
|x 2|
x 2
1
1
1
=
(1) = ,
(2 x)Tx U (2 x) Tx U
2
2
x |x| x (x)
0
=
=
= 0,
2x
2x
2x
cuando x 0+.
130
2
x 2 1 2|x 1| x 2 1 + 2(x 1) x + 1 + 2
x2 1
cuando x 1 y
x2 1
x2 1
x +1
=
=
+.
x 2 1 2|x 1| x 2 1 2(x 1) x + 1 2
cuando x 1+.
6.1.5 Se tiene
lim
x1
6.1.6 Se tiene
x 2 + 3x + 2
x2 + x
= lim
x1
(x + 2)(x + 1)
x + 2 1 + 2
= lim
=
= 1.
x1 x
x(x + 1)
1
1
x +12
1
2
1
= 2
=
cuando x 1.
x 1 x2 1
x +1
2
x 1
6.1.7 Se tiene
lim
x0
p
2
6.1.8
2
p
p
x +11
1
1
( x + 1 1)( x + 1 + 1)
= lim
= lim p
= .
p
x0
x0 ( x + 1 + 1)
x
2
x( x + 1 + 1)
6.1.9 Entonces limx0 f (x) = 0, pero limxa f (x) no existe para ningn a R \ {0} ya que en cualquier vecindad de a, f salta alocadamente de 0 a a.
6.1.10 Se tiene
limx1
(x n 1)(x n1 1) (x nk+1 1)
(x 1)(x 2 1) (x k 1)
=
=
=
Figure B.20: x 7
xn 1
x n1 1
x nk+1 1
limx1
lim
x1
x 1
x2 1
xk 1
n n 2
n k +1
1
2
k
n
k .
limx1
Figure B.21: x 7
1
x 1
1
1
x 1
Figure B.22: x 7
1
1
|x| 1
6.2.2 0; 1; 1; 1; 0; 1; 1; 3; +
6.2.3 Tmese x > 0. Entonces
Tax U
x
Tax U
x
a<
Tax U + 1
x
. = a
1 Tax U
<
a
x
x
a cuando x +.
131
Indicaciones y respuestas
6.2.4 El lmite no existe, ya que {x} oscila alocadamente entre 0 y 1 cuando x +.
6.2.5 Se usa a 2 b 2 = (a b)(a + b):
p
x+ x x
p
p p
p
p
x+ x x
x+ x+ x
p
p
p
x+ x+ x
p
x + x x
p
p
p
x+ x+ x
p
x
p
p
p
x+ x+ x
p
x
s
!
p
1
x
1+ p +1
x
=
=
=
=
1
1
1+ p +1
x
1
p
1+0+1
1
,
2
=
cuando x +.
6.2.6 Se usa a 3 b 3 = (a b)(a 2 + ab + b 2 ):
p
3
x3 + x x
(
=
=
=
p
3
p
2
p
3
3
x 3 + x x)(
x 3 + x + (( x 3 + x)x + x 2 ))
p
2 p
3
3
x 3 + x + ( x 3 + x)x + x 2
p
3
x3 + x x3
2 p
3
x 3 + x + ( x 3 + x)x + x 2
x
r
!
2 p
1
3
x x 3 x+
+ x3 + x + x
x
=
x
r
3
1
+
0.
x+
1
x
p
3
x3 + x + x
2ab
a +b +
x +a +x +b
x p(x + a)(x + b) x a + b .
(x + a)(x + b)
=
a +b
2
2
2+
x
Tx U
n 1
as x n
as x n+
132
Tx U +
x Tx U
n 1 + n (n 1)
n + pn n
as x n
as x n+
Se deduce que f es continua en los enteros. Como f es claramente continua en puntos no enteros, se concluye que f es continua en
todas partes.
6.4.1 Si f (a) = a o f (b) = b, entonces no hay nada que demostrar. Presmase pues que f (a) > a y que f (b) < b. Entonces la funcin g
con g (x) = f (x) x es continua y satisface g (a) > 0 y g (b) < 0. As por el teorema del valor intermedio, existe c a;b con g (c) = 0,
de donde se deduce el resultado.
6.4.2 Si se tuviere f (0) = 1 o f (1) = 0, no habra nada que demostrar. Presmase pues que 0 f (0) < 1 y que 0 < f (1) 1. Pngase
g (x) = f (x) + x 1. Entonces g (0) = f (0) 1 < 0 y g (1) = f (1) > 0. En virtud del teorema de los valores intermedios, hay una c 0;1
tal que g (c) = 0, esto es, f (c) + c 1 = 0, tal como se demandaba.
6.4.3 Considrese g (x) = f (x) f (x + 1/n), que es claramente continua. Si which is clearly continuous. If g
by Corollary ?? g must be either strictly positive or strictly negative. But then
1
1
2
2
3
n 1
0 = f (0) f (1) = f (0) f
+ f
f
+ f
f
+ + f
f
n
n
n
n
n
n
is never 0 in
n
0;1
then
The sum of each parenthesis on the right is strictly positive or strictly negative and hence never 0, a contradiction.
6.4.4 Considerar la funcin f :
0;1
0;1
, x 7
sin 2x
a
sin 2
a
x.
6.4.5 Si p tuviese grado impar, entonces, por el teorema del valor intermedio, tendra al menos una raz real. Sea la mayor de estas
races. Entonces,
0 = p()q() = p(2 + + 1)
lo que significa que 2 + + 1 > es una raz mayor que la mayor de las races reales, contradiccin.
1
. Luego
999
1
;999
999
2
243
p Desenrllese la escalera, formando as un tringulo rectngulo de catetos que miden H y C . Luego la longitud de la escalera es
2
2
H +C .
244 Como los lados paralelos de un lado del tringulo cortan a los otros lados en segmentos proporcionales, se tiene
BD BE
AF
AG C H
CI
BJ
=
=
=
=
=
=
,
AB
BC
AC
AB
CB
C A AB
luego B J = AG = BD = t, de donde D y J coinciden. Adems BE = C H y AF = C I .
133
Indicaciones y respuestas
246 nanse los centros A y C como en la figura A.11. El punto B, directamente abajo del punto A, es la interseccin de las de rectas
= y AC
paralelas a los lados del cuadrado que pasan por A y C . Como ABC
B = 4 , 4ABC es issceles. Evidentemente, AC = 2 + r,
2
AB = 2 r, BC = 2 r . Por el teorema de Pitgoras,
(2 r )2 + (2 r )2 = (2 + r )2 .
Esto simplifica a
p
de donde r = 6 4 2, escogiendo la raz menor que 2.
r 2 12r + 4 = 0,
p
AE 2 = AP 2 PE 2 = 36 4 = 32 = AE = 4 2.
Adems,
que a su vez
p
AD 2 = BD 2 AB 2 = (AE + BD)2 = 64 + BD 2 = (4 2 + BD)2 = 64 + BD 2 ,
p
p
= 32 + 8BD 2 + BD 2 = 64 + BD 2 = BD = 2 2.
248 Sean R y r los radios del crculo externo e interno, respectivamente. El rea buscada es (R 2 r 2 ). Por el Teorema de Pitgoras,
20
R 2 r 2 = ( )2 = 100. El rea deseada es pues 100.
2
C
249 nase los centros de ambos crculos, como en la figura. Obsrvese que R = a + 2r , en donde r es el radio del crculo menor y a
es la medida del segmento de recta fuera del crculo menor desde el centro del crculo mayor. Trcense dos radios del crculo menor,
paralelos a los dos radios del crculo mayor, obteniendo un cuadrado de lado r . En utilizando el teorema de Pitgoras,
p
r 2 + r 2 = (a + r )2 = a = ( 2 1)r,
ya que a > 0. Finalmente,
p
p
R
R = a + 2r = ( 2 1 + 2)r = r = p
= ( 2 1)R.
2+1
134
Bibliography
[Chen]
[Eves]
[HaKn]
H.S. HALL y S.R. KNIGHT, Algebra for Beginners, Macmillan, 1st ed., 1893.
[HaLiPo]
[Gard]
[GeSh]
[Hal]
[Her]
[HerKap]
[Kap]
[Kap]
[Mit]
[Penn]
[Toom]
[Woo]
Mark R. WOODARD, http://math.furman.edu/ mwoodard/data.html, Quotes from the Mathematical Quotations Server.
135