Documente Academic
Documente Profesional
Documente Cultură
SANTOS
1 Notación y números 1
1.1 Notación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Operaciones con conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Conjuntos en el plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Operaciones con números reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5 Plenitud de los reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.6 Desigualdades y valor absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.7 Desigualdades célebres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2 Geometría analítica 28
2.1 Distancia en el plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2 Círculos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.3 Semicírculos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.4 Rectas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.5 Rectas paralelas y perpendiculares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.6 Rectas y valores absolutos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.7 Parábolas, hipérbolas y elipses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3 Funciones 47
3.1 Funciones: definición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2 Ecuaciones funcionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.3 Dominio natural de una fórmula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4 Gráficas de funciones 56
4.1 Gráficas de algunas funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.2 Funciones a trozos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.3 Funciones x !→ !x ", x !→ #x $, x !→ {x} . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.4 Traslaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4.5 Distorsiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.6 Reflexiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.7 Simetría . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
5 Inversión de funciones 70
5.1 Imagen de una función . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5.2 Funciones inyectivas y epiyectivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.3 Inversión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
ii
iii
7 Funciones polinómicas 98
7.1 Potencias de exponente positivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
7.2 Ceros de funciones polinómicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
7.3 Funciones polinómicas afines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
7.4 Funciones polinómicas cuadráticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
7.5 Polinomios de grado superior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
7.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
7.7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
8 Funciones racionales 99
8.1 Potencias de exponente negativo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
8.2 Funciones racionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
El buen cristiano debe estar precavido frente a los matemáticos y todos aquellos que hacen profecías vacuas.
Existe el peligro de que los matemáticos hayan pactado con el diablo para oscurecer el espíritu y confinar al
hombre en el infierno.1 -San Agustín
Varios lectores y amigos tanto de Iberoamérica como España hanme pedido el que traduzca mis apuntes de precálculo,
apuntes que he escrito en lengua gringa.2 Mis apuntes en lengua gringa los escribí al ver una marcada laguna en mate-
rial no estándar en precálculo. Explícome. La gran mayoría de libros de texto en los Estados Unidos siguen un patrón
más o menos uniforme, donde abunda el número de tópicos y ejercicios en los textos, donde los textos no poseen una
visión 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 ahora—mucho más en Iberoamérica que en España quizás—cierto imperialismo yanqui por parte de las
editoras de libros de texto.3 Han conjurado para crear un currículo tan pútrido como uniforme, caracterizado por su
oquedad de ideas, falta de coherencia, y libaciones a la mediocridad. Esto es, parece que en lo que al precálculo se refiere
(y como sabemos algunos, también en el cálculo), dictan las casas publicadoras el currículo en vez de los departamentos
de matemáticas. ¡Desastrosa situación!
Es lamentable que no exista entre los pueblos de habla castellana una escuela matemática de la altura de la de los
franceses, rusos, alemanes y anglófonos. Por eso, mucho de nuestro vocabulario es a menudo prestado, a veces poniendo
poca atención al uso castizo de las expresiones. Así pues, cuando lenguaje castizo no exista para una expresión, prefiero
seguir a los franceses por ser su lengua mucho más cercana a la nuestra. Así pues digo inversible y no invertible, reunión y
no unión, 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 cálculo. El desarrollo no es estrictamente lineal, ya
que, si mis pasados y presentes estudiantes sirven de guía, son numerosas las lagunas de álgebra que poseen los estudi-
antes. A la vez me propongo introducir varios problemas no rutinarios. El público que imagino son futuros estudiantes
de ciencias o matemáticas.
Este asunto de las banderas de Puerto Rico y España: son estos los países donde tuve mi educación primaria y secun-
daria. Mi educación superior la tuve en los EE UU. Alguna vez que tuviere tiempo trataré de escribir tantos capítulos como
países hispanófonos hay y tomar de cabeceras de capítulos sus banderas. Pero este es un proyecto que tomaría bastante
tiempo.
Por último, apreciaría 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 errores—involuntarios sin duda—habrá
aquí. O quizás 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 astrólogos. Era común en la época el llamarles matemáticos.
2 Se utiliza la palabra gringo/gringa como gentilicio de los Estados Unidos de América del Norte. Es incorrecto utilizar el término americano para este
gentilicio, ya que, son americanos todos los países 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 América del Norte no se habla inglés, 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 político, son en broma. Quienes me conocen saben mis inclinaciones decididamente de
derecha.
4 De ratones no.
iv
v
David A. SANTOS
Departamento de matemáticas
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
Notación y números
Las matemáticas no conocen ni razas ni barreras geográficas; para las matemáticas todas las culturas del
globo forman un país único. -David HILBERT
1.1 Notación
Introdúcese en esta sección símbolos que serán utilizados a lo largo de la discusión. Se demostrará también el
primer teorema de estos apuntes. Veráse que contrario a la religión, la política, las llamadas “ciencias sociales”
☞ y otras pseudo-ciencias, en las matemáticas las verdades no son obtenidas ni por revelación divina ni por la
mayoría de votos, sino que las demostraciones son necesarias. Preténdase que las matemáticas son un nuevo
idioma, con su propio alfabeto y taquigrafía, que se irán introduciendo poco a poco. Las nociones aquí intro-
ducidas son necesariamente intuitivas y poco formales. El lector que desee profundizar en estos tópicos, gustará
servirse de, por ejemplo, los libros de Halmos [Hal] y Kaplansky [Kap].
1 Definición Llamaráse conjunto a cualquier agregado o colección bien definida de objetos. Estos objetos se llamarán
los miembros o elementos del conjunto.
La definición arriba dada es un tanto insatisfactoria, ya que, por ejemplo, no se ha especificado lo que se quiere decir por
agregado o por colección. Sin embargo, el espíritu intuitivo de la definición tiene su llamativo. Aún más: fue una definición
parecida la que George Cantor, el creador de la teoría de conjuntos utilizó para definir conjuntos.
☞ Normalmente se denotará los conjuntos con mayúsculas, por ejemplo A,B, X ,R,... y los elementos con minúsculas,
por ejemplo a,b, x,r,....
Hay varias formas de referirse a un conjunto: puede darse una descripción 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 símbolo ∈. La negación de esta
aserción se denotará por ̸∈.
2 Ejemplo Hay infinitas maneras de referirse al conjunto de los enteros estrictamente entre −3 y 3. La más 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 descripción {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. Todavía otra descripción 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 alemán
Zählen, esto es, número.
1
1.1. Notación
1
3 Ejemplo Se tiene −2 ∈ Z, mas sin embargo ̸∈ Z.
2
4 Ejemplo En el conjunto
A = {3, 10, 17, . . . , 14045}
los elementos están en progresión aritmética. ¿Cuántos elementos tiene el conjunto A? ¿Yace el 10516 en este conjunto?
¿Cuál es la suma de los elementos de este conjunto?
Resolución ' Obsérvese 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 están en progresión aritmética, la suma de los términos uno a uno en sentido ordinario y
en reverso es idéntica. Así,
S = 3 + 10 + ··· + 14038 + 14045
S = 14045 + 14038 + ··· + 10 + 3
2S = 14048 + 14048 + ··· + 14048 + 14048
= 2007 · 14048,
de donde
2007 · 14048
S= = 14097168.
2
*
5 Definición Si un conjunto está totalmente contenido en otro, diráse que el primero es subconjunto del otro. Si A es
subconjunto de B, se escribirá A ! B.2
☞ Obsérvese que N ! Z ! Q ! R ! C.
S1 = ∅ S 4 = {c} S 7 = {c, a}
S 2 = {a} S 5 = {a,b}
S 3 = {b} S 6 = {b,c} S 8 = {a,b,c}
Resolución ' La idea es la siguiente. Se utiliza el resultado del ejemplo 6. Ahora bien, un subconjunto de
{a, b, c, d} o bien contiene a d o bien no lo contiene. Esto es, o bien se tendrá un subconjunto de {a, b, c}, o un
subconjunto de {a, b, c} con d agregado. Esto quiere decir que {a, b, c, d} tendrá 2 × 8 = 16 subconjuntos, ya que
{a, b, c} tiene 8. De aquí los subconjuntos de {a, b, c, d} son ocho en número:
2 Algunos autores escriben A ⊂ B si A es un subconjunto propio de B , esto es, si A es subconjunto de B sin ser igual a B y si tal posibilidad no se resalta,
escriben A ⊆ B . No se entrará en tal pedantería aquí.
2
Chapter 1. Notación y números
S1 = ∅ S 6 = {b,c} S 12 = {c,d}
S 2 = {a} S 7 = {c, a} S 13 = {a,b,d}
S 8 = {a,b,c}
S 3 = {b} S 14 = {b,c,d}
S 9 = {d}
S 4 = {c} S 10 = {a,d} S 15 = {c, a,d}
S 5 = {a,b} S 11 = {b,d} S 16 = {a,b,c,d}
Es obvio que si un conjunto tiene un número infinito de miembros, entonces tendrá un número infinito de subcon-
juntos. Razonando recursivamente obtenemos el siguiente resultado para conjuntos finitos.
8 Teorema (Número de subconjuntos de un conjunto finito) Si el conjunto finito A tiene n elementos, entonces
A tiene 2n subconjuntos.
Demostración: Por inducción. Es obvio que un conjunto A con un elemento (n = 1) tiene 21 = 2 subconjuntos:
∅ y el conjunto A propiamente. Supóngase que todo conjunto con n − 1 elementos tiene 2n−1 subconjuntos.
Tenga el conjunto B n elementos y sea B ′ ! B un subconjunto de B con exactamente n − 1 elementos. Existe
entonces una x ∈ B tal que x ̸∈ B ′ . Por la hipótesis de inducción, B ′ tiene 2n−1 subconjuntos. Ahora bien, los
subconjuntos de B o bien contienen a x o no la contienen.3 Si no contuviesen a x entonces serían además
subconjuntos de B ′ y estos son 2n−1 en número. Agregando a cada subconjunto de B ′ el elemento x se obtiene
un subconjunto de B y entonces hay también 2n−1 de estos subconjuntos. Se han entonces enumerado todos los
subconjuntos de B y se deduce pues que B tiene 2n−1 + 2n−1 = 2 · 2n−1 = 2n subconjuntos. ❑
Se concluirá esta sección con la introducción de varios otros símbolos. Primero se mencionan algunos de la lógica: ∀
(léase para todo, llamado cuantificador universal), ∃ (léase existe, llamado cuantificador existencial), =⇒ (léase implica)
y ⇐⇒ (léase si y sólo si). Luego, otros de la combinatoria: !x " (léase, 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, !3" = 3, !3.1" = 3, !3.9" = 3,
!−3" = −3, !−3.1" = −4 y !−π" = −4. De manera semejante, el techo de x, denotado por #x $ es x si x es entero y el entero
inmediatamente a la diestra de x si x no es entero. Así por ejemplo, #3$ = 3, #3.1$ = 4, #3.9$ = 4, !−3" = −3, #−3.1$ = −3
y !−π" = −3. Se observan las siguientes relaciones.
#x $ − 1 < x ≤ #x $ (1.2)
Tarea
Problema 1.1.1 Exprésese el conjunto {x ∈ Z : 5 < x 2 < 10} listando Problema 1.1.4 (Competición Putnam, 1978) Sea A cualquier
sus elementos. conjunto de veinte enteros escogidos de la progresión aritmética
1,4,... ,100. Demuéstrese que hay al menos dos enteros diferentes
en A cuya suma es 104.
Problema 1.1.2 ¿Cuántos elementos tiene el conjunto
{x ∈ R : −10 < x 2 < −5}?
3 Esto es, los subconjuntos de B vienen en dos deliciosos sabores. . . con x o sin ella.
3
1.2. Operaciones con conjuntos
☞ entre conjuntos. Es posible crear un álgebra con estas operaciones, esto es, un sistema de reglas que las gobiernen
y que sean más o menos análogas a las propiedades conmutativas, asociativas, distributivas, etc., conocidas
para las operaciones entre números, 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.
A ∪ B = {x : x ∈ A o x ∈ B}.
Obsérvese que este “o” es inclusivo, esto es, permite la posibilidad de que o bien x pertenezca o a A o a B o quizás a ambos
conjuntos A y B.
La intersección de dos conjuntos A y B es el conjunto
A ∩ B = {x : x ∈ A y x ∈ B}.
A \ B = {x : x ∈ A y x ̸∈ B}.
Véase las figuras 1.1 a 1.3, que representan estos conceptos por diagramas de Venn.
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}, A \ B = {a, d}, B \ A = {e, f }.
A B A B A B
Resolución ' La progresión de A tiene diferencia común 5 y la de B tiene diferencia común 6. Obsérvese que el
elemento menor que comparten es el 7 y así, comparten cada mcm[5, 6] = 30 elementos, comenzando con el 7.
Se quiere ahora la mayor k para la cual se cumpla
7 + 30k ≤ 302,
4
Chapter 1. Notación y números
en donde se ha escogido el 302 ya que es el menor entre 302 y 397. Así pues
302 − 7
k≤! " = 9.
7
Entonces hay 9 + 1 = 10 elementos en la intersección, la cual es
A ∩ B = {7, 37, 67, 97, 127, 157, 187, 217, 247, 277}.
{(x, y) : x ∈ A, y ∈ B}.
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 ̸= B × A.
14 Definición El conjunto R2 = R × R llamado plano cartesiano, es el conjunto de todos los pares ordenados de números
reales.
Se representa a R2 gráficamente como sigue. Interséquese en los correspondientes ceros dos copias perpendiculares de la
recta real, a las que se llamarán ejes.4 Su punto de intersección, el O = (0, 0) es denominado el origen. A cada punto P del
plano entonces se le asigna un par de coordenadas, dígase P = (x, y) de números 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.
☞ Un intervalo o bien es degenerado, no poseyendo ningún miembro (como por ejemplo a; a = ∅ y a; a = ∅),
o bien posee exactamente un miembro (como por ejemplo a; a = {a}), o posee infinitos miembros (como por ejemplo
a; a + 1 ).
16 Ejemplo Sean
4 4 π
A= 1 − 3; 1 + 2 , B= ;π .
2
Entonces 8
π 4 4 4 π 4
A ∩B = ;1+ 2 , A ∪B = 1 − 3; π , A \B = 1 − 3; , B\A= 1 + 2; π .
2 2
4 ¡Y no herejes!
5 Alumno: ¿Maestro, quién murió? Maestro: Abscisa bruto, no occisa.
6 Al llamarse la letra—según la Real Academia de la Lengua—ye y no i griega, se leerá y ye y no e i griega.
7 Se preferirá la notación europea a la de usanza gringosajona en la notación de intervalos abiertos o semi-abiertos. Por ejemplo, se escribirá a;b
en vez de (a,b), cosa que se puede confundir con un par ordenado o con el máximo común divisor de a y b.
4 4
8 Las aproximaciones 1 − 3 ≈ −0.732, 1 + 2 ≈ 2.414, π ≈ 1.571, π ≈ 3.142 pueden aquí avalar.
2
5
1.2. Operaciones con conjuntos
a; b {x ∈ R : a ≤ x ≤ b}
a b
a; b {x ∈ R : a < x < b}
a b
a; b {x ∈ R : a ≤ x < b}
a b
a; b {x ∈ R : a < x ≤ b}
a b
a; +∞ {x ∈ R : x > a}
a +∞
a; +∞ {x ∈ R : x ≥ a}
a +∞
−∞; b {x ∈ R : x < b}
−∞ b
−∞; b {x ∈ R : x ≤ b}
−∞ b
−∞; +∞ R
−∞ +∞
17 Definición Sea a ∈ R. Se dice que el conjunto Na ! R es un vecindario o entorno de a si existe un intervalo abierto I
centrado en a tal que I ! Na . En otras palabras, Na es un vecindario de a si existe un δ > 0 tal que a − δ; a + δ ! Na .
Esta última condición se puede escribir de la manera
{x ∈ R : |x − a| < δ} ! Na .
a −δ a
a −δ a a +δ a a +δ
6
Chapter 1. Notación y números
19 Definición Sea a ∈ R. Se dice que el conjunto V ! R es un vecindario diestro o entorno diestro de a si existe un δ > 0
tal que a; a +δ ! V . Se dice que el conjunto V ′ ! R es un vecindario siniestro o entorno siniestro de a si existe un δ′ > 0
tal que a − δ′ ; a ! V ′ .
Tarea
Problema 1.2.1 Sean C = −5;5 ,D = −1;+∞ . Determinar menos dos, dígase xi and x j ,i ̸= j , tales que
C ∩ D, C ∪ D, C \ D, y D \ C .
1
|xi − x j | ≤ .
Problema 1.2.2 Sean C = −5;3 ,D= 4;+∞ . Hallar C ∩D, 100
C ∪ D, C \ D, y D \ C .
Problema 1.2.4 Dado cualquier subconjunto A de diez enteros del
Problema 1.2.3 Considérese 101 elementos diferentes conjunto {1,2,... ,98,99} demuéstrese que siempre habrá dos sub-
x1 , x2 ,... , x101 del intervalo 0;1 . Demostrar que existe al conjuntos disjuntos de A cuyos elementos tienen la misma suma.
{(x, y) ∈ R2 : x = a}
la abscisa es constante, mientras y varía. Esto produce una recta vertical en el plano. De la misma manera, en el conjunto
{(x, y) ∈ R2 : y = b}
la ordenada es constante, mientras x varía, produciendo así una recta horizontal en el plano. Se justifican ahora las
siguientes definiciones.
20 Definición La ecuación de una recta vertical en el plano es x = a, en donde a es constante. La ecuación de una recta
horizontal en el plano es y = b, en donde b es constante.
4
3 4
2 3
1 2
1
−1
−4−3−2−1 1 2 3 4
−2 −1
−4−3−2−1 1 2 3 4
−3 −2
−4 −3
−4
Figure 1.7: Recta x = 3. Figure 1.8: Recta y = −1. Figure 1.9: Ejemplo 21. Figure 1.10: Ejemplo 22
.
7
1.4. Operaciones con números reales
Resolución ' El conjunto está acotado a la siniestra por la recta x = 1 y a la diestra por la recta x = 3, sin incluir
estas rectas. Está acotado arriba por la recta y = 4 y abajo por y = 2, sin incluir estas rectas. Así pues la región es
un cuadrado que carece de frontera, como aparece en la figura 1.9. *
22 Ejemplo La región R = 1; 3 × −3; +∞ es la franja infinita que aparece en la figura 1.10. Las líneas de la
frontera son sólidas, para denotar su inclusión. La frontera superior tiene forma de serrucho, para indicar que procede al
infinito.
Tarea
Problema 1.3.1 Hállese el área del △ABC en donde A = (−1,0), Problema 1.3.2 Dibújese la región
B = (0,4) y C = (1,−1).
R = {(x, y) ∈ R2 : |x| ≤ 2, |y| ≤ 2}.
☞ Se expondrá aquí ciertas propiedades de los números en lo referente a las operaciones aritméticas. Esta sección
aquí aparece solamente como para tener cierto vocabulario de base, y no tiene pretensiones de ser exhaustivo.
El lector que desee un tratamiento más completo, podrá avalarse de los excelentes [Her] y [HerKap].
Se mencionaron en la sección anterior los conjuntos de números N, Z, Q, R, C. Se estudiará ahora con mayor deten-
imiento estos conjuntos, en añadiendo las operaciones de la aritmética.
23 Definición Se llama operación binaria numérica, a aquella operación que involucra a dos números. Abreviadamente
se dirá simplemente operación binaria.
Sabidos ejemplos de operaciones binarias numéricas son la suma de dos numeros, la resta de dos números, la multipli-
cación de dos números y la división de dos números.
24 Ejemplo Hay un infinito número de operaciones binarias posibles que se pueden definir en un conjunto dado. Por
ejemplo, en el conjunto N de los números naturales, defínase, para todos los números naturales a, b, la operación ⊕ dada
por
a ⊕ b = 1 + ab.
Entonces
2 ⊕ 3 = 1 + (2)(3) = 7.
De igual manera, se puede definir la operación binaria ⊗ con
a ⊗ b = a2 − b 2.
Entonces
2 ⊗ 3 = 22 − 32 = −5.
25 Definición Se dice que una operación 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 operación binaria ⊕ del ejemplo 24 es cerrada, ya que si se multiplica dos naturales se obtiene un natural,
y si al resultado se le añade 1, se obtiene un natural. En símbolos,
x ∈ N, y ∈ N =⇒ x y ∈ N =⇒ 1 + x y ∈ N.
Vióse sin embargo, que la operación ⊗ del mismo ejemplo no era cerrada en N ya que 2 ∈ N, 3 ∈ N pero 2 ⊗ 3 ̸∈ N.
8
Chapter 1. Notación y números
27 Definición Se dice que una operación binaria ⊕ en un conjunto S es conmutativa si para todos los elementos a, b de
S cúmplese
a ⊕ b = b ⊕ a.
Es bien sabido que las operaciones de suma y multiplicación de números son conmutativas y que sin embargo, las de
resta y división no lo son.
28 Ejemplo La operación binaria ⊕ del ejemplo 24 es conmutativa, ya que de por sí la multiplicación en N es conmuta-
tiva, esto es
a ⊕ b = 1 + ab = 1 + ba = b ⊕ a.
En el mismo ejemplo, la operación ⊗ no es conmutativa. Esto se puede constatar con el contraejemplo
2 ⊗ 3 = 22 − 32 = −5 ̸= 5 = 32 − 22 = 3 ⊗ 2.
29 Definición Dado un conjunto S y una operación 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 operación binaria es asociativa, si no existe ambigüedad en el uso de paréntesis, 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 multiplicación de números son asociativas y que sin embargo,
las de resta y división no lo son.
2. la operación ⊕ es conmutativa.
3. la operación ⊕ es asociativa.
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 también es. Se debe ahora demostrar que −1 < < 1 para a y
1 + ab 1 + ab
b en −1; 1 . Se tiene,
a +b
−1 < <1 ⇔ −1 − ab < a + b < 1 + ab
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
1.4. Operaciones con números reales
a +b b+a
2. Como a ⊗ b = = = b ⊗ a, se sigue la conmutatividad de ⊗ de las mismas de la adición y
1 + ab 1 + ba
multiplicación de racionales.
3. Se tiene,
) *
b+c
a ⊗ (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
Por otra parte,
+ ,
a +b
(a ⊗ b) ⊗ c = ⊗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
de donde ⊗ es asociativa.
Se puede ahora enunciar el siguiente axioma, que resume ciertas propiedades de conjuntos de números ya conocidas.
31 Definición Sea F un conjunto conteniendo al menos dos elementos distintos 0F y 1F sobre el cual se definen dos
operaciones cerradas en F: · (multiplicación) y + (adición). Se dice que el triple (F, ·, +) es un cuerpo si para elementos
cualesquiera a, b, c de F se cumple:9
(a + b) + c = a + (b + c), (a · b) · c = a · (b · c) (1.3)
a + b = b + a, a · b = b · a (1.4)
a · (b + c) = a · b + a · c (1.5)
F4 0F es la identidad aditiva:
0F + a = a + 0F = a (1.6)
F5 1F es la identidad multiplicativa:
1F · a = a · 1F = a (1.7)
10
Chapter 1. Notación y números
a ̸= 0F =⇒ ∃a −1 ∈ F, a · a −1 = a −1 · a = 1F (1.9)
32 Axioma Tanto los racionales Q, como los reales R, como los complejos C forman un cuerpo sobre la adición y la
multiplicación.
−2 −1 0 1 2
4
2
4
33 Teorema [Hipaso de Metaponto] El conjunto R \ Q de números irracionales no es nulo. Aún más, 2 es irracional.
Demostración: Presúmase que existe s ∈ Q tal que s 2 = 2. Se puede entonces hallar enteros m, n ̸= 0 tal
m
que s = . La parte crucial del argumento es que se puede elegir a m, n de tal manera que la fracción tenga
n
denominador mínimo, esto es, que no se pueda cancelar ningún factor común. Por lo tanto, m, n no pueden ser
ambos pares. Ahora, n 2 s 2 = m 2 , esto es, 2n 2 = m 2 . De aquí se deduce que m 2 es par. Pero entonces m deberá
10 Y no quiera Di-s que sufráis de cálculo renal.
11 Puesta la pregunta de una manera más socarrona: con tremendo cuerpo que tiene Q, ¿por qué meterse en líos con cuerpos ajenos?
12 Este Pitágoras original no debe confundirse con otro, que vivió durante la gloriosa presidencia de Ronald Reagan y quien fue perro faldero de la
Dra. Hilda Villamil.
13 Lo que en Puerto Rico le llaman habichuelas.
14 Como pedagogos pederastas aconsejan. . . .
11
1.4. Operaciones con números reales
ser par, ya que el producto de dos nones es non. Así pues m = 2a para algún entero a no nulo. Esto a su vez da
2n 2 = (2a)2 = 4a 2 =⇒ n 2 = 2a 2 . De aquí n es también par, contradicción, ya que se había presumido que m, n
no podían ser ambos pares. ❑
☞ Este es uno de los primeros teoremas en la historia de las matemáticas. Si uno ha de considerarse de buena educación
matemática, cabe saber su demostración. Es más, ya dijo Platón: Indigno de ser llamado hombre es quien ignora que la
diagonal de un cuadrado es inconmensurable con sus lados.
El pánico que causó el descubrimiento de Hipaso fue tan grande que sus colegas lo ahogaron. Afortunadamente, los
matemáticos ya no recurren a este tipo de reacción, y dejan ahora que otras religiones o quemen gente en la hoguera o
que usen aeroplanos como proyectiles.
☞ Se demuestra en cursos elementales de teoría de números que todo número racional o bien tiene una expansión
decimal finita, o bien tiene una expansión decimal periódica y que un racional tendrá expansión decimal finita si y sólo si
su denominador es de la forma 2m 5n , para naturales m,n. Así pues son los decimales infinitos no periódicos los que son
irracionales.
34 Ejemplo Escríbase el decimal periódico 0.345 = 0.345454545. . . como el cociente de dos enteros.
Resolución ' El truco consiste en obtener múltiplos de x = 0.345454545. . . cuyas colas infinitas coincidan y
luego substraer estas colas infinitas para cancelarlas. Que ésto es legítimo depende del concepto de convergencia
que aquí no se estudiará. El argumento formal que sigue es sin embargo, de valor intrínseco. Obsérvese que
342 19
10x = 3.45454545. . . ; 1000x = 345.454545. . . =⇒ 1000x − 10x = 342 =⇒ x = = .
990 55
*
4
Luego de descubrirse que 2 era irracional, sospechose la existencia de otros números irracionales. De hecho, el gran
Arquímedes sospechaba que π era irracional, cantaleta que nos pregonan desde las escuelas primarias, pero que pocos
de nuestros profesores
4 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”, aserción que os tomará algunos cursos en teoría de números
para poder discernir.
Simplemente observar la expansión decimal de un número no es4guía 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á algún patrón o no?
Tarea
Problema 1.4.1 ¿Es cerrado R \ Q bajo la suma ordinaria de Problema 1.4.5 Presumiendo que todo entero natural estricta-
números reales? mente positivo puede descomponerse
4 en primos de forma única,
dar otra demostración de que 2 es irracional.
Problema 1.4.2 ¿Es cerrado R \ Q bajo la multiplicación ordinaria
de números reales? 4 4
Problema 1.4.6 Demostrar que 2 + 3 es irracional.
12
Chapter 1. Notación y números
Problema 1.4.8 (Competición Putnam, 1971) Sea S un conjunto Problema 1.4.10 Sea
no nulo y sea ◦ una operación binaria en S satisfaciendo ambas
propiedades: S = {x ∈ Z : ∃(a,b,c) ∈ Z3 , x = a 3 + b 3 + c 3 − 3abc}.
(∀x ∈ S)(x ◦ x = x),
y
Demuéstrese que S es cerrado bajo la multiplicación ordinaria, esto
(∀(x, y, z) ∈ S 3 )((x ◦ y) ◦ z = (y ◦ z) ◦ x).
es, que
Demostrar que ◦ es conmutativa.
x ∈ S, y ∈ S =⇒ x y ∈ S
35 Definición Un número u se dice que es una cota superior para un conjunto de números A si para todo a ∈ A se tiene
a ≤ u. La cota superior mínima es llamada el supremo15 del conjunto A. De igual guisa, a un número l se le llama cota
inferior para un conjunto de números B si para todo b ∈ B se tiene l ≤ b. La cota inferior máxima 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 números reales acotado superiormente posee un supremo. Todo con-
junto de números reales acotado inferiormente posee un ínfimo.
37 Teorema (Propiedad aproximativa del supremo y del ínfimo) Sea A ̸= ∅ un conjunto de reales poseyendo
un supremo sup A. Entonces
∀ε > 0 ∃a ∈ A tal que sup A − ε ≤ a.
Demostración: Si ∀a ∈ A, sup A − ε > a entonces sup A − ε sería una cota superior menor que la menor de
las cotas superiores, contradicción a la definición 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 + ε sería una cota inferior mayor que la mayor de las cotas inferiores,
contradicción a la definición de inf B. Luego deberá de existir algún truhán b ∈ B tal que inf B + ε ≥ b.
❑
☞ El resultado anterior debe apelar a la intuición 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
algún inquilino de A, o en otras palabras, A desafía a su supremo al proferir “si te adentras te parto al supremo.”
15 Yo el Supremo, dictador de la república. . . .
13
1.5. Plenitud de los reales
38 Teorema (Propiedad arquimediana de los reales) Si (x, y) ∈ R2 con x > 0, entonces existe un número natural
n con nx > y.
Esto significa que sup A − x es una cota superior de A inferior al supremo, contradicción. Luego existirá una
n ∈ N satisfaciendo nx > y. ❑
S = {x ∈ Q ∩ 0; +∞ : x 2 ≤ 2}
es no vacío y acotado superiormente, no posee un supremo. Como 12 < 2 y 1 ∈ Q, se tiene que S ̸= ∅. Véase 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.
Supóngase ahora que s = sup S. Por tricotomía 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.
1
Supóngase pues que s 2 < 2. Por la propiedad arquimediana de los reales, existe un entero n tal que 2− s 2 > .
10n
1
Póngase t = s + , obviamente racional y obsérvese que ya que s ≤ 2 se tiene
10n−1
2s 1 2s 1 5 1
t 2 = s2 + + 2n−2 < s 2 + n−1 + n−1 ≤ s 2 + n−1 < s 2 + n < 2.
10n−1 10 10 10 10 10
Así pues t ∈ S and t > s, esto es, t es un elemento de S mayor que su supremo, contradicción. Se concluye que S
supremo no tiene. *
41 Definición Se dice que un conjunto B ! R es denso en un conjunto A ! R si ∀(a1 , a2 ) ∈ A 2 , a1 < a2 , ∃b ∈ B tal que
a1 < b < a2 , esto es, entre elementos diferentes de A siempre se escurrirá algún elemento de B.
42 Teorema Q es denso en R.
Demostración: Sean x, y números reales con x < y. Como existe un número infinito de enteros positivos, debe
1
de existir uno, dígase n tal que n > por la propiedad arquimediana de R. Considérese el número racional
y −x
m
r = , en donde m es el menor natural satisfaciendo m > nx. Esto significa que
n
m > nx ≥ m − 1.
14
Chapter 1. Notación y números
m m
Se demostrará que x < < y. La primera desigualdad es obvia, ya que por elección, x < . Para demostrar la
n n
desigualdad segunda se observa que
1 m 1 1 m 1 1 m
nx ≥ m − 1 and y − x > =⇒ x > − and y > x + =⇒ y > − + = .
n n n n n n n n
m
Así pues es un racional entre x y y. ❑
n
43 Teorema R \ Q es denso en R.
a b
Demostración: Sean a, b con a < b números reales. Por el teorema 42, existe un racional r con 4 < r < 4 .
4 4 2 2
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
observarán las siguientes convenciones.
(+∞) + (+∞) = +∞ (1.12)
x + (+∞) = +∞ (1.14)
x + (−∞) = −∞ (1.15)
x
=0 (1.20)
±∞
Obsérvese que no se ha definido lo siguiente:
±∞ 1
, (+∞) + (−∞), , 0(±∞).
±∞ 0
Tarea
Problema 1.5.1 Sean A y B subconjuntos no nulos de números 2. si A y B son acotados superiormente, entonces A ∪ B es aco-
reales. Póngase tado superiormente y que
15
1.6. Desigualdades y valor absoluto
☞ de signo será útil para diversas situaciones. Atención 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 antónimos por la
simple prefijación de un no recuerda al 1984 de Orwell y por tanto, aquí se evitará.
Se presume que R está dotado de una relación > que satisface los siguientes axiomas.
x > y, x = y, o y > x.
16
Chapter 1. Notación y números
El próximo paso sería dividir uno y otro lado por 2. Siendo 2 > 0, el sentido de la desigualdad es preservado, así
−10
2x < −10 =⇒ x < =⇒ x < −5.
2
*
Resolución '
1. Obsérvese 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 −7; 5 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 axiomático y lineal.
17
1.6. Desigualdades y valor absoluto
Véase que en la última fila, el signo del producto (x +7)(x −5) es determinado por el producto de los signos
de x + 7 y de x − 5.
2. Del diagrama de signos arriba se deduce que
{x ∈ R : x 2 + 2x − 35 < 0} = −7; 5 .
Nótese que incluye tanto a x = −7 como a x = 5 en el conjunto, pues ahí se anula (x + 7)(x − 5).
4. Del diagrama de signos arriba se deduce que
- .
x +7
x∈R: ≥0 = −∞; −7 ∪ 5; +∞ .
x −5
x +7 x +7
Nótese que incluye a x = −7 pues ahí se anula , pero se excluye a x = 5 pues ahí está indefinida.
x −5 x −5
5. Se tiene
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:
x∈ −∞; 1 1; 5 5; +∞
3x − 3 − + +
x −5 − − +
3x − 3
+ − +
x −5
Se deduce que - .
x +7
x ∈R: ≤ −2 = 1; 5 .
x −5
3x − 3 3x − 3
Nótese que se incluye a x = 1 pues se anula aquí, pero se excluye a x = 5 pues es ahí in-
x −5 x −5
definido.
Resolución ' La ecuación −x 2 + 2x − 2 = 0 no tiene raíces racionales. Para buscar sus raíces, o bien se puede
utilizar la fórmula cuadrática, o se puede completar cuadrados. Este último método aplica a diversos tipos de
problemas, por lo cual se preferirá. Se tiene,
Así pues
−x 2 + 2x − 2 ≥ 0 ⇐⇒ −(x − 1)2 − 1 ≥ 0 ⇐⇒ −((x − 1)2 + 1) ≥ 0.
Pero esta última desigualdad es imposible para números reales, ya que la expresión −((x − 1)2 + 1) es estricta-
mente negativa.17 Así pues
{x ∈ R : −x 2 + 2x − 2 ≥ 0} = ∅.
*
17 ¿Por qué?
18
Chapter 1. Notación y números
Resolución ' La ecuación 32x 2 − 40x + 9 = 0 no tiene raíces racionales. Para buscar sus raíces, se completará
cuadrados: + ,
2 2 5 9
32x − 40x + 9 = 32 x − x +
4 32
+ ,
5 52 9 52
= 32 x 2 − x + 2 + − 2
4 8 32 8
++ , ,
5 2 7
= 32 x − −
2 8 4 64 32 4 3
5 7 5 7
= 32 x − − x− + .
8 8 8 8
4 4
5 7 5 7
Se puede ahora formar un diagrama de signos, punzando a la recta real en x = − y en x = + :
8 8 8 8
4 4 4 4
5 7 5 7 5 7 5 7
x∈ −∞; − − ; + + ; +∞
2 4 3 8 8 8 8 8 8 8 8
5 7
x− + − + +
8 8
2 4 3
5 7
x− − − − +
8 8
2 4 32 4 3
5 7 5 7
x− + x− − + − +
8 8 8 8
Se deduce que 4 4
0 2
1 5 7 5 7
x ∈ R : 32x − 40x + 9 > 0 = −∞; − ∪ + ; +∞ .
8 8 8 8
*
Cuando se transforma una desigualdad, deberá percatarse el estudiante de no introducir soluciones espurias.
Resolución ' Obsérvese primero que para que las raíces cuadradas hicieren sentido se deberá tener
x∈ −∞; 1 ∩ −1; +∞ ∩ 0; +∞ =⇒ x ∈ 0; 1 .
Cuadrando una y otra parte de la desigualdad, transponiendo y cuadrando otra vez,
4 4
4(1 − x) − 4 1 − x 2 + x + 1 > x =⇒ 5 − 4x > 4 1 − x 2 =⇒ 25 − 40x + 16x 2 > 16 − 16x 2 =⇒ 32x 2 − 40x + 9 > 0.
Esta desigualdad ya se ha resuelto en el ejemplo 53. Luego se quiere la intersección
2 4 4 3 4
5 7 5 7 5 7
−∞; − ∪ + ; +∞ ∩ 0; 1 = 0; − .
8 8 8 8 8 8
*
Se verá ahora cómo resolver algunas desigualdades que involucren valores absolutos.
19
1.6. Desigualdades y valor absoluto
Se ve entonces que el valor absoluto de una cantidad o bien es la cantidad propia o su opuesto.
Resolución ' Se sabe que |5 − x| = 5 − x si 5 − x ≥ 0 o que |5 − x| = −(5 − x) si 5 − x < 0. Como x > 10, se tiene
entonces |5 − x| = x − 5. Así pues
|3 − |5 − x|| = |3 − (x − 5)| = |8 − x|.
De la misma manera, o bien |8 − x| = 8 − x si 8 − x ≥ 0 o que |8 − x| = −(8 − x) si 8 − x < 0. Como x > 10, se tiene
entonces |8 − x| = x − 8. Se concluye que para x > 10,
|3 − |5 − x|| = x − 8.
57 Ejemplo Resolver
1. |x − 3| + |x + 2| = 3,
2. |x − 3| + |x + 2| = 5,
3. |x − 3| + |x + 2| = 7.
Resolución ' Se utilizará otra versión del método 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 opción. 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 −2; 3 3; +∞
|x − 3| = 3−x 3−x x −3
|x + 2| = −x − 2 x +2 x +2
|x − 3| + |x + 2| = −2x + 1 5 2x − 1
Así pues,
⎧
⎪
⎪
⎪
⎪ −2x + 1 si x ≤ −2,
⎪
⎪
⎪
⎨
|x − 3| + |x + 2| = 5 si − 2 ≤ x ≤ 3,
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎩ 2x − 1 si x ≥ 3.
−2x + 1 = 3 si x ≤ −2, 5 = 3 si − 2 ≤ x ≤ 3, 2x − 1 = 3 si x ≥ 3.
La primera ecuación da x = −1. Como −1 ̸∈ −∞; −2 , ésta es una solución espuria. La segunda
ecuación es una contradicción. En la tercera ecuación, 2x −1 = 3 =⇒ x = 2, que también es espuria ya que
2 ̸∈ 3; +∞ . Así pues la ecuación |x − 3| + |x + 2| = 3 no tiene soluciones reales.
20
Chapter 1. Notación y números
−2x + 1 = 5 si x ≤ −2, 5 = 5 si − 2 ≤ x ≤ 3, 2x − 1 = 5 si x ≥ 3.
La primera ecuación da x = −2. Como −2 ∈ −∞; −2 , esta es una solución legítima. La segunda
ecuación es una tautología, lo que quiere decir que todos los miembros del intervalo −2; 3 son solu-
ciones. En la tercera ecuación, 2x − 1 = 5 =⇒ x = 3, que también es legítima ya que 3 ∈ 3; +∞ . Así
pues la ecuación |x − 3| + |x + 2| = 5 tiene infinitas soluciones reales, todas en el intervalo −2; 3 .
3. Para resolver |x − 3| + |x + 2| = 7, se necesita
−2x + 1 = 7 si x ≤ −2, 5 = 7 si − 2 ≤ x ≤ 3, 2x − 1 = 7 si x ≥ 3.
La primera ecuación da x = −3. Como −3 ∈ −∞; −2 , esta es una solución legítima. La segunda
ecuación es una contradicción. En la tercera ecuación, 2x − 1 = 7 =⇒ x = 4, que también es legítima ya
que 4 ∈ 3; +∞ . Así pues la ecuación |x − 3| + |x + 2| = 3 tiene exactamente dos soluciones reales:
{x ∈ R : |x − 3| + |x + 2| = 7} = {−3, 4}.
Se demostrará ahora dos teoremas de gran utilidad para resolver desigualdades que involucren valores absolutos.
Si |x| = −x,
|x| ≤ t ⇐⇒ −x ≤ t ⇐⇒ −t ≤ x ≤ 0 ≤ t .
Si |x| = −x,
|x| ≥ t ⇐⇒ −x ≥ t ⇐⇒ x ≤ −t .
1 − |1 − x| ≥ 1 ⇐⇒ −|1 − x| ≥ 0 =⇒ x = 1,
21
1.6. Desigualdades y valor absoluto
y así pues
{x ∈ R : |1 − |1 − x|| ≥ 1} = −∞; −1 ∪ {1} ∪ 3; +∞ .
Tarea
Problema 1.6.1 Determinar los valores del parámetro real t tal Problema 1.6.7 Hallar las soluciones reales de la ecuación
que el conjunto
x 2 − 2|x + 1| − 2 = 0.
- .
t
A t = x ∈ R : (t − 1)x 2 + t x + = 0
4 Problema 1.6.8 Determínese explícitamente el conjunto
1. sea vacío. {x ∈ R : x 2 − x − 4 ≥ 0}.
2. tenga exactamente un elemento. / /
/ 2x /
3. tenga exactamente dos elementos. Problema 1.6.9 Resuélvase la ecuación // / = |x + 1|.
x −1 /
Problema 1.6.2 Liste los elementos del conjunto Problema 1.6.10 Exprésese al conjunto
! ) x* "
x ∈ Z : min x + 2,4 − ≥1 . {x ∈ R : |x + 1| − |x − 2| = −3}
3
en notación de intervalos.
22
Chapter 1. Notación y números
Problema 1.6.18 Demostrar que para todo real x > 0 se verifica Problema 1.6.19 Demostrar que para todo número real x se veri-
fica
11
2x 3 − 6x 2 + x + 1 > 0. x 8 − x 5 + x 2 − x + 1 > 0.
2
☞ Se estudiará en esta sección algunas desigualdades clásicas. El lector interesado deberá consultar las obras de
[HaLiPo] o [Mit] para un tratamiento más completo.
−|a| ≤ a ≤ |a|
a
−|b| ≤ b ≤ |b|,
se obtiene
−(|a| + |b|) ≤ a + b ≤ (|a| + |b|),
de donde sigue el teorema, en aplicando 58. Habrá aquí igualdad si o bien a + b = −(|a| + |b|) o si o bien a + b =
(|a| + |b|, esto es, si a y b tienen el mismo signo. ❑
18 El mío es escorpión.
23
1.7. Desigualdades célebres
Demostración: Se tiene
|a| = |a − b + b| ≤ |a − b| + |b|,
dando
|a| − |b| ≤ |a − b|.
De manera semejante,
|b| = |b − a + a| ≤ |b − a| + |a| = |a − b| + |a|,
dando
|b| − |a| ≤ |a − b| =⇒ − |a − b| ≤ |a| − |b| .
Así,
− |a − b| ≤ |a| − |b| ≤ |a − b|
y se aplica ahora el teorema 58. ❑
64 Teorema (Desigualdad de las medias aritmética y geométrica) Sean a, b números reales positivos. Entonces
4 a +b
su media geométrica ab es a lo sumo su media aritmética , esto es,
2
4 a +b
ab ≤ ,
2
habiendo igualdad si y sólo si a = b.
Al expandir, 4
a − 2 ab + b ≥ 0,
4 4
de donde se deduce la desigualdad deseada. Es claro que ocurre igualdad si y sólo si a = b, cuando a − b es
cero. ❑
65 Corolario (Desigualdad de las medias geométrica y armónica) Sean a, b números reales estrictamente pos-
2 4
itivos. Entonces su media armónica 1 1
es a lo sumo su media geométrica ab, esto es,
a + b
2 4
1 1
≤ ab,
a + b
1 1
Demostración: Utilizando el teorema 64 en y , se tiene,
a b
9 1
1 1 +1
· ≤ a b,
a b 2
de donde el resultado deseado se obtiene en arreglando los términos. Es claro que, de nuevo, hay igualdad si y
sólo si a = b. ❑
24
Chapter 1. Notación y números
4 44 4
4
abcd = ab · cd
:+ ,+ ,
a +b c +d
≤
+ 2, + 2 ,
a +b c +d
+
2 2
≤
2
a +b +c +d
= ,
4
demostrando el teorema para n = 4.
a +b +c
Se puede ya utilizar el resultado para n = 4, sabido cierto. Si = 0, entonces a = b = c = 0 siendo los
3
a +b +c
números positivos y la desigualdad se deduce trivialmente. Supóngase que ̸= 0. Se tiene, para las
3
a +b +c
cuatro cantidades a, b, c y ,
3
: a +b +c
+ , a +b +c +
4 a +b +c 3
abc ≤
3 4
a +b +c
= .
3
Así, + ,1/4 + ,
a +b +c a +b +c a + b + c 3/4 a +b +c
(abc)1/4 ≤ =⇒ (abc)1/4 ≤ =⇒ (abc)1/3 ≤ ,
3 3 3 3
demostrando la desigualdad para n = 3. ❑
67 Ejemplo Una caja rectangular tiene área de superficie S unidades cuadradas, en donde se presume que sólo se in-
cluyen las seis caras externas. Hallar su volumen máximo.
Resolución ' Sean a, b, c las dimensiones de largo, ancho y altura de la caja. Luego su área de superficie es
25
1.7. Desigualdades célebres
Habrá igualdad si y sólo 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).
4 4
Demostración: La desigualdad se cumple si a 2 + b 2 + c 2 x 2 + y 2 + z 2 = 0, (pues entonces serían o bien
a = b = c = 0 o bien x = y = z = 0) por lo tanto, presúmase lo contrario. Utilizando el corolario 62 y el teorema
64,
= 1,
Habrá igualdad si y sólo 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).
≤ a 2 + b 2 + c 2 + 2|ax + by + cz| + x 2 + y 2 + z 2
4 4
≤ a2 + b2 + c2 + 2 a2 + b2 + c2 x2 + y 2 + z2 + x2 + y 2 + z2
)4 4 *2
= a2 + b2 + c2 + x2 + y 2 + z2 ,
de donde, al tomar raíces cuadradas, se obtiene la desigualdad deseada. Habrá igualdad si y sólo 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
Chapter 1. Notación y números
Tarea
Problema 1.7.1 Sea x ∈ R. Minimizar la expresión Problema 1.7.11 Sea x > 0 un número real. Hallar el valor mín-
imo de la expresión
|x − 1| + |x + 2|.
x4 + x2 + 4
.
x
Problema 1.7.2 Calcúlese (123456789)2 −(123456791)(123456787)
mentalmente.
Problema 1.7.12 Sean x, y, z reales estrictamente positivos. De-
4 4 mostrar que
Problema 1.7.3 Hállese 5 + 2 6. 2 3
x2 y2 z2
x + y +z ≤ 2 + + .
Problema 1.7.4 La suma de dos reales positivos es 50. Maximizar y +z z +x x + y
su producto.
Problema 1.7.13 Demostrar que si a,b,c son reales positivos en-
Problema 1.7.5 Compútese tonces
4 (a + b)(b + c)(c + a) ≥ 8abc.
(1000000)(1000001)(1000002)(1000003) + 1
sin avalarse de calculatriz. Problema 1.7.14 Si a,b,c,d, son números reales que satisfacen
Problema 1.7.9 Sean a > 0,b > 0,c > 0 las longitudes de los la- a 3 + b 3 + c 3 − 3abc = (a + b + c)(a 2 + b 2 + c 2 − ab − bc − ca)
dos de un triángulo △ABC . (El vértice A está opuesto al lado
midiendo a, etc.) Recuérdese que la fórmula de Herón dice que y que
el área de un triángulo en términos de sus lados es S(a,b,c) =
4
s(s − a)(s − b)(s − c), en donde s =
a +b +c
es el semi-perímetro 2a 2 + 2b 2 + 2c 2 − 2ab − 2bc − 2ca = (a − b)2 + (b − c)2 + (c − a)2 .
2
S(a,b,c)
del triángulo. Demostrar que la cantidad f (a,b,c) = 2 De ésto, deducir la desigualdad de las medias aritméticas y ge-
a + b2 + c 2 ométricas para tres cantidades.
es maximizada cuando el triángulo △ABC es equilátero y hallar
este máximo.
Problema 1.7.18 Maximizar la cantidad (a + x)5 (a − x)3 , x ∈
Problema 1.7.10 Sean x, y, z reales estrictamente positivos. De- −a; a .
mostrar que 4
4 4
x + y + y +z + z +x 4 Problema 1.7.19 Si {a,b,c,d,e, f } = {1,2,3,4,5,6}, minimícese
4 ≤ 6.
x + y +z abc + de f .
27
2
Geometría analítica
En este capítulo se casarán, de feliz manera, la geometría euclídea con el álgebra. Su bellísima hija es la ge-
ometría analítica, que se ha relegado a la cocina como infeliz Cenicienta en los currículos de Gringaterra.
☞ El tratamiento aquí no es exhaustivo. Antes bien, muchos de los teoremas han sido probados en varias situa-
ciones ad hoc, cosa de no oscurecer los argumentos. El desarrollo que aquí se da se hace con el propósito de
mostrar al estudiante que ciertas ecuaciones algebraicas tienen ciertas curvas, no porque así lo diga el profesor,
sino porque así lo demanda la teoría.
n
/ / (x, y)
/ y2 − y1 / MA
m P R
Figure 2.1: Distancia entre Figure 2.2: Punto medio Figure 2.3: División de un
dos puntos. entre dos puntos. segmento
70 Teorema (Distancia entre dos puntos) La distancia entre dos puntos A = (x1 , y 1 ), B = (x2 , y 2 ) del plano carte-
siano R2 está dada por
< = 4
AB = d (x1 , y 1 ), (x2 , y 2 ) := (x1 − x2 )2 + (y 1 − y 2 )2 .
Demostración: Considérese 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 Pitágoras:
;
AB 2 = AC 2 + BC 2 =⇒ AB = (x2 − x1 )2 + (y 2 − y 1 )2 .
4
71 Ejemplo El punto (x, 1) está a distancia 11 del punto (1,−x). Hallar todos los valores posibles de x.
28
Chapter 2. Geometría analítica
⇐⇒ (x − 1)2 + (1 + x)2 = 11
⇐⇒ 2x 2 + 2 = 11.
4 4
Luego, x = − 3 2 2 o x = 3 2
2 . *
2x + 1 − 6y + 9 = −4x + 4 − 8y + 16,
2x + 1 − 6y + 9 = −2x + 1 − 2y + 1,
o
6x + 2y = 10,
4x − 4y = −8.
<3 11
=
Fácilmente se encuentra que (x, y) = 4, 4 .*
(m, n)
(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 ningún
triángulo equilátero en el plano cuyos tres vértices sean puntos reticulares.
Resolución ' Ya que el triángulo puede ser trasladado sin alterar sus ángulos, se puede considerar, sin pérdida
de generalidad, un triángulo △ABC 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 △ABC fuese equilátero, entonces
4 4
AB = BC = C A =⇒ b = (m − b)2 + n 2 = m 2 + n 2 .
29
2.1. Distancia en el plano
Al cuadrar y expandir,
b 2 = m 2 − 2bm + b 2 + n 2 = m 2 + n 2 .
De BC = C A se deduce que
−2bm + b 2 = 0 =⇒ b(b − 2m) =⇒ b = 2m,
ya que se presume b > 0. Entonces,
4
b2 3
b2 = m2 + n2 =
+ n 2 =⇒ n = b.
4 2
4
Como b se presume entero no nulo, n no puede ser entero, ya que 3 es irracional. *
)x +x y +y *
1 2 1 2
74 Teorema (Punto medio de un segmento) El punto , se encuentra en la recta que une A(x1 , y 1 )
2 2
y B(x2 , y 2 ) y está a igual distancia de estos dos puntos.
Demostración: Primero obsérvese que es muy fácil hallar el punto medio de un segmento finito de recta hori-
b −a a +b
zontal o vertical. El intervalo a; b mide b−a. 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 ), fórmese el △ABC , rectángulo en C . Desde (x, y)
considérese las proyecciones de este punto sobre AC y BC . Nótese que estas proyecciones son paralelas a los
catetos del triángulo. Por el corolario 235, las proyecciones pasan por los puntos medios de los catetos. Como
AC es un segmento horizontal, su punto medio es MB = ( x1 +x 2
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 . ❑
75 Teorema (Fórmula 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 razón m : n tiene coordenadas
) nx + mx n y + m y *
1 2 1 2
, .
m +n m +n
Demostración: La demostración procede de la misma manera que la del teorema 74. Primero se considera el
x−a m na + mb
intervalo finito a; b . Supóngase que a < x < b y que = . Entonces x = .
b−x n m +n
Fórmese ahora el △ABC , rectángulo en C . Desde P considérese la proyección Q sobre AC y la proyección R sobre
BC . Por el corolario 235, Q y R dividen, respectivamente, a AC y BC en razón m : n. Por lo arriba demostrado
) nx + mx * ) n y1 + m y2 *
1 2
para intervalos, las coordenadas de Q son , y 1 y las coordenadas de R son x2 , , de donde
m +n m +n
se desprende el resultado. ❑
Tarea
Problema 2.1.1 Hállese la distancia entre (a, b) y (b, a). Problema 2.1.3 Sea x > 0. Un auto se encuentra en el punto
A = (−x, 0) y otro auto idéntico se encuentra en el punto
(x, 0). Comenzando en t = 0, el auto en el punto A viaja
Problema 2.1.2 Demuéstrese, por cálculo directo, que
hacia el tercer cuadrante con velocidad constante, a α > 0
+ + ,, ++ , , kilómetros por hora. Simultáneamente, el auto en el punto
a +c b +d a +c b +d
d (a, b), , =d , , (c, d) . B viaja al primer cuadrante también a velocidad constante,
2 2 2 2
30
Chapter 2. Geometría analítica
pero a β > 0 kilómetros por hora. ¿Cuántos kilómetros Problema 2.1.8 Probar que las diagonales de un paralelo-
aparte estarán los autos luego de t > 0 horas? gramo se bisecan entre sí.
3
Problema 2.1.4 El punto C está a de la distancia de Problema 2.1.9 Un camello borracho comienza en (0, 0) y
5 camina 1 unidad hacia el norte, 1/2 unidad hacia el este,
A(1, 5) a B(4, 10) en el segmento AB (y claro, está más cerca
1/4 de unidad hacia el sur, 1/8 de unidad hacia el oeste, 1/16
de B que de A). Hállese a C .
de unidad hacia el norte, etc., y así ad infinitum. ¿Cuáles son
sus coordenadas finales?
Problema 2.1.5 ¿Para qué valores de x se encuentra el
punto (x, 1) a distancia 2 del punto (0, 2)?
Problema 2.1.10 (AIME, 1991) Sea P = {a1 , a2 , . . . , an } una
colección de puntos con
Problema 2.1.6 Osama Bin-Al-Cucaracha comienza a via-
jar desde el punto (−1, −1) y quiere llegar al punto (2, 1). En
0 < a1 < a2 < · · · < an < 17.
cada cuadrante y también, en los ejes, se mueve a razón de
1 de distancia por minuto, excepto en el segundo cuadrante,
Considérese
en donde se mueve a razón de media unidad de distancia
por minuto. ¿Qué ruta deberá tomar Osama para minimizar n ;
>
el tiempo del recorrido? ¡La respuesta no es una recta de S n = min (2k − 1)2 + ak2 ,
P k=1
(−1, −1) a (2, 1)!
en donde el mínimo es tomado sobre todas las particiones P .
Problema 2.1.7 Demostrar que las diagonales de un rectán- Demuéstrese que exactamente una de entre S 2 , S 3 , . . . , S n , . . .
gulo son congruentes. es un entero y hállese cuál lo es.
2.2 Círculos
5
4
3
2
1
R 0
(x0 , y 0 ) -1
-2
-3
-4
-5
-5 -4 -3 -2 -1 0 1 2 3 4 5
Figure 2.5: El círculo. Figure 2.6: Ejemplo 77. Figure 2.7: Ejemplo 78.
(x − x0 )2 + (y − y 0 )2 = R 2 . (2.1)
Demostración: El punto (x, y) pertenece a un círculo de radio R > 0 si y sólo si su distancia al centro del círculo
31
2.2. Círculos
es R. Luego se requiere
< =
⇐⇒ d (x, y), (x0 , y 0 ) = R
4
⇐⇒ (x − x0 )2 + (y − y 0 )2 = R ,
⇐⇒ (x − x0 )2 + (y − y 0 )2 = R2
Resolución ' Obsérvese que |x| ≥ 1 ⇐⇒ x ≥ 1 o x ≤ −1. La región yace en el interior del círculo 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. Véase la figura
2.6.
*
de donde el centro del círculo es (−1, 3) y el radio es 2. El punto (−1+2, 3) = (1, 3) yace en el círculo, dos unidades
a la derecha del centro. El punto (−1− 2, 3) = (−3, 3) yace en el círculo, dos unidades a la izquierda del centro. El
punto (−1, 3+ 2) = (−1, 5) yace en el círculo, dos unidades arriba del centro. El punto (−1, 3− 2) = (−1, 1) yace en
el círculo, dos unidades abajo del centro. Véase la figura 2.7. *
Resolución ' Por rotación, es claro que es suficiente buscar tal cuadrado con lados paralelos a los ejes. Se
observa que si el punto (x, y) es un vértice del cuadrado en el cuadrante I, los otros tres vértices lo serán (−x, y),
(x, −y) y (−x, −y). Así pues el cuadrado tendrá área (2x)(2y) = 4x y. Por la desigualdad de la media
;
x2 + y 2 R2
x2 y 2 ≤
= =⇒ 4x y ≤ 2R 2 .
2 2
4
Luego el área máxima es 2R 2 y ésta se obtiene cuando x = y = 2R. *
Tarea
Problema 2.2.1 Dibújese al conjunto Problema 2.2.4 Un círculo tiene ecuación
32
Chapter 2. Geometría analítica
2.3 Semicírculos
Dado un círculo de centro (a, b) y radio R > 0, su ecuación canónica es
(x − a)2 + (y − b)2 = R 2 .
Al resolver para y se tiene 4
(y − b)2 = R 2 − (x − a)2 =⇒ y = b ± R 2 − (x − a)2 .
4
Si se tomare el signo + entonces los valores de y yacerán arriba de la recta y =4b, y por lo tanto, y = b + R 2 − (x − a)2 es la
ecuación del semicírculo superior con centro en (a, b) y radio R > 0 y y = b − R 2 − (x − a)2 es la ecuación del semicírculo
inferior.
De la misma manera, al resolver para x se tiene
;
(x − a)2 = R 2 − (y − b)2 =⇒ x = a ± R 2 − (y − b)2 .
4
Si se tomare el signo + entonces los valores de x yacerán a la la recta x = a, 2 2
4y por lo tanto, x = a + R − (y − b) es la
ecuación del semicírculo derecho con centro en (a, b) y radio R > 0 y x = a − R 2 − (y − b)2 es la ecuación del semicírculo
izquierdo.
3 3
2 2
1 1
−5 −4 −3 −2−1
−1 1 2 3 −5 −4 −3 −2−1
−1 1 2 3
−2 −2
−3 −3
−4 −4
−5 −5
Figure 2.8: Ejemplo 80. Figure 2.9: Ejemplo 81.
4
80 Ejemplo Trácese el semicírculo de ecuación y = 1 − −x 2 − 6x − 5.
Resolución ' Por tener el radical signo negativo, se sabe que el semicírculo yacerá bajo la recta y = 1, así pues
será un semicírculo inferior.1 Se necesita hallar el centro y el radio del círculo. El truco consiste en completar la
ecuación del círculo. Así,
4 4
y = 1 − −x 2 − 6x − 5 =⇒ 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 semicírculo tiene centro (−3, 1) y radio 2. Su gráfica aparece en la figura 2.8. *
1 Y necesitará años de tratamiento psiquiátrico.
33
2.4. Rectas
Resolución ' El semicírculo tiene centro en (−1, 1) y radio 3. El círculo completo tendría ecuación
(x + 1)2 + (y − 1)2 = 9.
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 sección se desarrollará un estudio más general de rectas. Se comenzará con el
siguiente resultado.
(x2 , y 2 )
y2 − y1
(x, y)
y − y1
(x1 , y 1 )
x − x1
x2 − x1
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
esto es, la´razón
y − y1
= m,
x − x1
llamada pendiente o gradiente de la recta, es independiente de la posición de los puntos C (x, y) y A(x1 , y 2 ) sobre la recta.
Aún más. La ecuación 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.
Recíprocamente, los puntos del plano ligados por la ecuación y = ax + b, en donde a, b son constantes reales, forman
una recta.
34
Chapter 2. Geometría analítica
Demostración: Si L fuese horizontal se tendría y 1 = y 2 = y y las razones todas serían nulas. Si L fuese vertical
se tendría x1 = x2 = x y las razones todas serían infinitas. Supóngase pues que L ni es vertical ni horizontal
como en la figura 2.10. Por el Teorema de Tales se observa que
y2 − y1 y − y1 y − y2
= = ,
x2 − x1 x − x1 x − x2
siendo entonces la razón de la pendiente independiente de los puntos tomados, lo que demuestra la primera
aserción.
Masajeando las primeras dos igualdades un poco se colige que
+ , + ,
y2 − y1 y2 − y1
y= x − x1 + y1 ,
x2 − x1 x2 − x1
de donde se toma + ,
y2 − y1 y2 − y1
m= , k = −x1 + y1 ,
x2 − x1 x2 − x1
demostrando la segunda aserción.
Recíprocamente, considérense números reales x1 < x2 < x3 . Póngase P = (x1 , ax1 + b), Q = (x2 , ax2 + b) y R =
(x3 , ax3 + b), que pertenecen a la gráfica de ecuación y = ax + b. Se demostrará que
d( P, Q ) + d( Q, R ) = d( P, R ),
esto es, los puntos P,Q y R son colineales. Como los puntos P,Q, R son arbitrarios, se deduce pues que la gráfica
de la ecuación y = ax + b es una recta. En efecto, se tiene
; 4 4
d( P, Q ) = (x2 − x1 )2 + (ax2 − ax1 )2 = |x2 − x1 | 1 + a 2 = (x2 − x1 ) 1 + a 2 ,
; 4 4
d( Q, R ) = (x3 − x2 )2 + (ax3 − ax2 )2 = |x3 − x2 | 1 + a 2 = (x3 − x2 ) 1 + a 2 ,
; 4 4
d( P, Q ) = (x3 − x1 )2 + (ax3 − ax1 )2 = |x3 − x1 | 1 + a 2 = (x3 − x1 ) 1 + a 2 ,
de donde
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 0 1 2 3 4 5
Figure 2.11: La recta y = x. Figure 2.12: La recta y = −x. Figure 2.13: Ejemplo 84 .
35
2.5. Rectas paralelas y perpendiculares
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, tómese 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. Véanse las figuras 2.11 y 2.12.
Resolución ' La recta pasa por los puntos (−4, 3) y (3, −3). La pendiente de la recta es pues
3 − (−3) 6
=− .
−4 − 3 7
La ecuación pues tiene la forma
6
y = − x + k.
7
Se necesita ahora hallar k. Se puede utilizar cualquiera de los puntos dados, ambos resultarán 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 ecuación buscada es pues
6 3
y =− x− .
7 7
*
Tarea
Problema 2.4.1 Hállese la ecuación de la recta que une a Problema 2.4.3 Sea 0 < a < b. Hallar el área de la región en
(a, a 2 ) con (b, b 2 ). el primer cuadrante acotada por el eje de x, la recta y = x y
los círculos x 2 + y 2 = a y x 2 + y 2 = b?
y = mx
(x2 , y 2 )
• (1, m)
(x1 , y ′ )
1
(x1 , y 1 ) • (1, m 1 )
y = m1 x
36
Chapter 2. Geometría analítica
Demostración: Supóngase que las rectas L y L ′ son paralelas, y que los puntos A(x1 , y 1 ) y B(x2 , y 2 ) yacen
sobre L y que A ′ (x1 , y 1′ ) y B ′ (x2 , y 2′ ) yacen sobre L ′ . Obsérvese que ABB ′ A ′ es un paralelogramo, y por lo tanto
y 2 − y 1 = y 2′ − y 1′ , dando
y 2 − y 1 y 2′ − y 1′
= ,
x2 − x1 x2 − x1
demostrando que las pendientes de L y L ′ son iguales.
Presúmase ahora que las pendientes de L y L ′ son iguales. Entonces
y 2 − y 1 y 2′ − y 1′
= =⇒ y 2 − y 1 = y 2′ − y 1′ .
x2 − x1 x2 − x1
Luego los lados A A ′ y BB ′ del cuadrilátero ABB ′ A ′ son congruentes. Como también estos lados son paralelos,
al yacer sobre las verticales x = x1 y x = x2 , se deduce que ABB ′ A ′ es un paralelogramo, de donde L y L ′ son
paralelas. ❑
86 Teorema Dos rectas inclinadas son perpendiculares si y sólo si el producto de sus pendientes es −1.
(m − m 1 )2 = (1 + m 2 ) + (1 + m 12 ),
y
y =x
9 (b, a)
8
7
6
5 A
(−3, 5.4) 4 (x1 , y 1 )
3 3
P x 2 O
1 (a, b)
(x0 , y 0 )
2
L′ −1
−10
−9
−8
−7
−6
−5−2
−4
−3−1 123456789
−2
−3
−4
−5 L : y = mx + k
−6
L −7
−8
−9
−10
Figure 2.16: Ejemplo 87. Figure 2.17: Ejemplo 88. Figure 2.18: Teorema 90. Figure 2.19: Teorema 89.
37
2.5. Rectas paralelas y perpendiculares
1. Hállese la ecuación de L ′ .
Resolución '
1. Nótese que L ′ pasa por (−3, 5.4) y por (0, 3), así tiene pendiente
5.4 − 3
= −0.8.
−3 − 0
La ecuación de L ′ tiene la forma y = −0.8x + k. Como L ′ pasa por (0, 3), se deduce finalmente que L ′ tiene
ecuación y = −0.8x + 3.
2. Al P ser de la forma (2, y) y al pasar por L ′ se deduce que y = −0.8(2) + 3 = 1.4.
1
3. L tiene pendiente − = 1.25. Así pues L tiene ecuación de la forma y = 1.25x + k. Como P (2, 1.4) yace
−0.8
sobre L, se tiene 1.4 = 1.25(2) + k =⇒ k = −1.1. Se deduce que L tiene ecuación y = 1.25x − 1.1.
88 Ejemplo Considérese el círculo C de centro O(1, 2) y que pasa por A(5, 5), como se muestra en la figura 2.17.
1. Hállese la ecuación de C .
2. Hállense todos los valores posibles de a tal que el punto (2, a) yaga sobre el círculo C .
Resolución '
1. Sea R > 0 el radio del círculo. Entonces la ecuación del círculo tiene la forma
(x − 1)2 + (y − 2)2 = R 2 .
(5 − 1)2 + (5 − 2)2 = R 2 =⇒ 16 + 9 = R 2 =⇒ 25 = R 2 ,
de donde la ecuación de C es
(x − 1)2 + (y − 2)2 = 25.
2. Si el punto (2, a) yace sobre C , se tendrá
4 4 4
(2− 1)2 + (a − 2)2 = 25 =⇒ 1+ (a − 2)2 = 25 =⇒ (a − 2)2 = 24 =⇒ a − 2 = ± 24 =⇒ a = 2± 24 = 2± 2 6.
3. L es perpendicular a la recta que une (1, 2) y a (5, 5). Como esta última tiene pendiente
5−2 3
= ,
5−1 4
4
la recta L tendrá pendiente − . Así L tiene ecuación 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 ecuación y = − x + .
3 3
38
Chapter 2. Geometría analítica
*
A continuación se demostrarán dos teoremas que serán necesarios en secciones posteriores.
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 |
4 .
1 + m2
Demostración: Si la recta tuviese pendiente infinita, entonces L sería vertical de ecuación 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. Supóngase ahora que m ̸= 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 intersección (x1 , y 1 ) de la recta L ′ perpendicular a L y pasando por P . Ahora bien, es fácil de ver que
L ′ tiene ecuación
1 x0
L′ : y = − x + y0 + ,
m m
y entonces L y L ′ se intersecan en
y 0 m + x0 − bm y 0 m 2 + x0 m + k
x1 = , y 1 = .
1 + m2 1 + m2
Por lo tanto,
< =
d( L, P ) = d (x0 , y 0 ), (x1 , y 1 )
;
= (x0 − x1 )2 + (y 0 − y 1 )2
:
+ , + ,
y 0 m + x0 − km 2 y 0 m 2 + x0 m + k 2
= x0 − + y 0 −
1 + m2 1 + m2
4
(x0 m 2 − y 0 m + km)2 + (y 0 − x0 m − k)2
=
1 + m2
4
(m 2 + 1)(x0 m − y 0 + k)2
=
1 + m2
|x0 m − y 0 + k|
= 4 ,
1 + m2
demostrando el teorema. ❑
Demostración: La recta que une a (b, a) y a (a, b) tiene por ecuación y = −x +a +b. Esta recta es perpendicular
a la recta y = x y la interseca cuando
a +b
x = −x + a + b =⇒ x = .
2
a +b
Luego, como y = x = , el punto de intersección lo es ( a+b a+b
2 , 2 ). Pero este punto es también 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. Véase la figura 2.18. ❑
39
2.6. Rectas y valores absolutos
Tarea
Problema 2.5.1 Las rectas 5. L t es normal (perpendicular) a la recta de ecuación
y = − 14 x − 5.
L : ax + by = c, L′ : d x + e y = f
son perpendiculares, en donde a, b, c, d, e, f son constantes 6. ¿Existe acaso algún punto (x0 , y 0 ) que pertenece a to-
no nulas. Hallar la relación entre estas constantes. das las L t , para no importa qué valor de t ?
Problema 2.5.2 Considérese la recta L que pasa por A(−1, 2) Problema 2.5.4 Hallar la distancia del punto (−1, 1) a la
y por B(1, 3). recta L : 2x − 3y = 1.
1. Hallar la pendiente de L.
Problema 2.5.5 Hállese la ecuación del círculo con centro
2. Hallar la ecuación de L. en (3, 4) y que es tangente a la recta x − 2y + 3 = 0.
3. Hallar la ecuación de la recta L ′ paralela a L y que pasa
por (4, 4). Problema 2.5.6 El △ABC tiene vértices en A(a, 0), B(b, 0) y
′′ C (0, c), en donde a < 0 < b. Demuéstrese, utilizando
+ coorde-
,
4. Hallar la ecuación de la recta L perpendicular a L y a +b c
que pasa por (4, 4). nadas, que las medianas del △ABC concurren en , .
3 3
El punto de concurrencia se llama el baricentro o centroide
5. Hallar la ecuación de la recta L 1 que es la reflexión de
la recta L por el eje de x. del triángulo.
3. L t es paralela al eje de y.
Problema 2.5.9 Demostrar que las diagonales de un
4. L t es paralela a la recta de ecuación x − 2y − 6 = 0. cuadrado son perpendiculares entre sí.
91 Ejemplo Como
⎧
⎪
⎪
⎨ x si x ≥ 0
|x| =
⎪
⎪
⎩ −x si x < 0
la gráfica de la curva y = |x| es la de la recta y = −x para x < 0 y la de y = x para x ≥ 0. La gráfica se puede ver en la figura
2.20.
40
Chapter 2. Geometría analítica
92 Ejemplo Considérese la ecuación y = |x + 2| − |x − 2|. Los términos 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
|x + 2| − |x − 2| = (x + 2) − (x − 2) = 4.
Por lo tanto, ⎧
⎪
⎪
⎪
⎪ −4 si x ≤ −2,
⎪
⎪
⎪
⎨
y = |x + 2| − |x − 2| = 2x si − 2 ≤ x ≤ +2,
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎩ +4 si x ≥ +2,
7 7 7 7
6 6 6 6
5 5 5 5
4 4 4 4
3 3 3 3
2 2 2 2
1 1 1 1
−1 −1 −1 −1
−8
−7−6
−5−4−2
−3 −1 1 2 3 4 5 6 7
−2 −8
−7−6
−5−4−2
−3 −1 1 2 3 4 5 6 7
−2 −8
−7−6
−5−4−2
−3 −1 1 2 3 4 5 6 7
−2 −8
−7−6
−5−4−2
−3 −1 1 2 3 4 5 6 7
−2
−3 −3 −3 −3
−4 −4 −4 −4
−5 −5 −5 −5
−6 −6 −6 −6
−7 −7 −7 −7
−8 −8 −8 −8
Figure 2.20: y = |x|. Figure 2.21: Ejemplo 92. Figure 2.22: Ejemplo 93. Figure 2.23: Ejemplo 94.
Resolución ' La cantidad 1 − |x| cambia de signo cuando 1 − |x| = 0, esto es, cuando x = ±1. La cantidad |x|
cambia de signo cuando x = 0. Así pues se punza a la recta real en x = −1, x = 0 y x = 1.
Para x ≤ −1
|1 − |x|| = |x| − 1 = −x − 1.
Para −1 ≤ x ≤ 0
|1 − |x|| = 1 − |x| = 1 + x.
Para 0 ≤ x ≤ 1
|1 − |x|| = 1 − |x| = 1 − x.
Para x ≥ 1
|1 − |x|| = |x| − 1 = x − 1.
41
2.7. Parábolas, hipérbolas y elipses
Por lo tanto,
⎧
⎪
⎪
⎪
⎪ −x − 1 si x ≤ −1,
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎨ 1+x si − 1 ≤ x ≤ 0,
y = |1 − |x|| =
⎪
⎪
⎪
⎪ 1−x si 0 ≤ x ≤ 1,
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎩ x −1 si x ≥ 1,
94 Ejemplo Utilizando el teorema 90, se puede deducir que la gráfica de la curva x = |y| es la que aparece en la figura
2.23
Tarea
C : y = |x − 1| − |x| + |x + 1| .
Problema 2.6.2 Trazar la gráfica de la curva de ecuación
1. Hallar una expresión sin valores absolutos para C |x| = |y|.
cuando x ≤ −1.
2. Hallar una expresión sin valores absolutos para C Problema 2.6.3 Trazar la gráfica de la curva de ecuación
cuando −1 ≤ x ≤ 0. |x| + x
y= .
2
3. Hallar una expresión sin valores absolutos para C
cuando 0 ≤ x ≤ 1.
Problema 2.6.4 Trazar la gráfica del conjunto
4. Hallar una expresión sin valores absolutos para C
cuando x ≥ 1. {(x, y) ∈ R2 : x 2 + y 2 ≤ 16, |x| + |y| ≥ 4}.
95 Definición Una parábola es la colección de todos los puntos en el plano cuya distancia a punto fijo F (llamado el foco
de la parábola) es igual su distancia a una recta fija L (llamada la directriz de la parábola). Véase la figura 2.24, en donde
F D = DP .
Una parábola se puede trazar como sigue. Córtese un pedazo de cordón cuan largo como el tronco de una T-cuadrada
(véase la figura 2.25). Átese un extremo del cordón a la base de la T-cuadrada y el otro al foco. Deslícese ahora la cabeza
de la T a lo largo de la directriz, en manteniendo tenso el cordón contra la T con un lápiz.
x2
96 Teorema Sea d > 0 una constante real. La ecuación de la parábola con foco en (0, d) y directriz y = −d es y = .
4d
42
Chapter 2. Geometría analítica
Demostración: Sea (x, y) un punto arbitrario 4 sobre la parábola. La distancia de (x, y) a la recta y = −d es
|y + d|. La distancia de (x, y) al punto (0, d) es x 2 + (y − d)2 . Por tanto,
4
|y + d| = x 2 + (y − d)2 =⇒ (|y + d|)2 = x 2 + (y − d)2
=⇒ y 2 + 2yd + d 2 = x 2 + y 2 − 2yd + d 2
=⇒ 4d y = x 2
x2
=⇒ y= ,
4d
☞ Obsérvese que el punto medio del segmento de recta desde el foco y perpendicular a la directriz yace sobre la parábola.
x2
Este punto se llama el vértice de la parábola.. Para la parábola y = del teorema 96, el vértice es (0,0).
4d
3
2
1
F
D −3 −2−1
−1 1 2 3
−2
L −3
P
1 1
Resolución ' Del teorema 96, se requiere = 1, esto es, d = . Siguiendo el teorema, se localiza al foco de la
4d 4
1
parábola 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 vértice de la parábola yace en (0, 0) y su gráfica se ve en la figura 2.26. *
98 Ejemplo Utilizando el teorema 90, se puede trazar la gráfica de la curva x = y 2 . Su gráfica aparece en la figura 2.27.
4 4
99 Ejemplo De la gráfica de la curva x = y 2 , al tomar raíces cuadradas, se obtienen las gráficas de y = x y de y = − x.
Su gráficas aparecen en la figuras 2.28 y 2.29.
100 Definición Una hipérbola es la colección 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 hipérbola) es una constante estrictamente positiva. Véase la
figura 2.30, en donde
|F 1 D − F 2 D| = |F 1 D ′ − F 2 D ′ |.
43
2.7. Parábolas, hipérbolas y elipses
Se puede trazar una hipérbola como sigue. Póngase tachuelas sobre F 1 y F 2 , y mídase la distancia F 1 F 2 . Átese un
extremo de cordón a un extremo de una regla y el otro extremo del cordón a un foco, dígase a F 2 , en tanto se deja que la
regla pivote sobre F 1 . Las longitudes de la regla y del cordón deben satisfacer
Con un lápiz contra la regla, manténgase tenso el cordón, como en la figura 2.31.
3 3 3
2 2 2
1 1 1
−3 −2−1
−1 1 2 3 −3 −2−1
−1 1 2 3 −3 −2−1
−1 1 2 3
−2 −2 −2
−3 −3 −3
4 4
Figure 2.27: x = y 2 . Figure 2.28: y = x. Figure 2.29: y = − x.
101 Teorema Sea c > 0 una constante real. La hipérbola con focos en F1 = (−c, −c) y F2 = (c, c), y cuyo valor absoluto de
c2
diferencias de las distancias de sus puntos a los focos es 2c, tiene ecuación x y = .
2
F2
D
D′
F1
44
Chapter 2. Geometría analítica
/ < = < =/
/d (x, y), (−c, −c) − d (x, y), (c, c) / = 2c
/4 4 /
/ /
⇐⇒ / (x + c)2 + (y + c)2 − (x − c)2 + (y − c)2 / = 2c
4 4
⇐⇒ (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
4 4
⇐⇒ 2x 2 + 2y 2 = 2 (x 2 + y 2 + 2c 2 ) + (2xc + 2yc) · (x 2 + y 2 + 2c 2 ) − (2xc + 2yc)
4
⇐⇒ 2x 2 + 2y 2 = 2 (x 2 + y 2 + 2c 2 )2 − (2xc + 2yc)2
< =
⇐⇒ (2x 2 + 2y 2 )2 = 4 (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 ))
c2
⇐⇒ x y = ,
2
demostrando el teorema. ❑
☞ +
c
2
c
2
, +
c c
,
Obsérvese que los puntos − 4 ,− 4 y 4 , 4 yacen sobre la hipérbola x y =
2 2
c2
2
. Estos son los vértices de la
c 2
hipérbola. x y = .
2
1
102 Ejemplo Para trazar la hipérbola y = se procede como sigue. De acuerdo al teorema 101, sus focos yacen en los
4 4 4 4 x 4
puntos (− 2, − 2) y ( 2, 2). Póngase largo de regla − largo de cordón = 2 2. En pivotando, alternadamente utilizando
estos puntos, se obtiene la figura 2.32.
103 Definición Una elipse es la colección de los puntos del plano cuya suma de distancias a dos puntos fijos, llamados
focos, es constante.
(x − h)2 (y − k)2
+ = 1,
a2 b2
en donde b 2 = a 2 − c 2 .
45
2.7. Parábolas, hipérbolas y elipses
Demostración: Por la desigualdad del triángulo, t > F 1 F 2 = 2c, de donde a > c. Se tiene,
< = < =
d (x, y), (x1 , y 1 ) + d (x, y), (x2 , y 2 ) = t
4 4
⇐⇒ (x − h + c)2 + (y − k)2 = 2a − (x − h − c)2 + (y − k)2
4
⇐⇒ (x − h + c)2 + (y − k)2 = 4a 2 − 4a (x − h − c)2 + (y − k)2 + (x − h − c)2 + (y − k)2
4
⇐⇒ (x − h)2 + 2c(x − h) + c 2 = 4a 2 − 4a (x − h − c)2 + (y − k)2 + (x − h)2 − 2c(x − h) + c 2
4
⇐⇒ (x − h)c − a 2 = −a (x − h − c)2 + (y − k)2
⇐⇒ (x − h)2 (c 2 − a 2 ) − a 2 (y − k)2 = a 2 c 2 − a 2
(x − h)2 (y − k)2
⇐⇒ + 2 = 1.
a2 a − c2
105 Definición 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 ecuación canónica de una elipse con semi-ejes paralelos a los ejes de x y y es
(x − h)2 (y − k)2
+ = 1.
a2 b2
La figura 2.33 muestra como trazar una elipse dados los focos, un lápiz y un cordón.
106 Ejemplo La curva de ecuación 9x 2 − 18x + 4y 2 + 8y = 23 es una elipse, ya que al completar cuadrados,
(x − 1)2 (y + 1)2
9(x 2 − 2x + 1) + 4(y 2 + 2y + 1) = 23 + 9 + 4 =⇒ 9(x − 1)2 + 4(y + 1)2 = 36 =⇒ + = 1.
4 9
4 4
La elipse tiene centro en (h, k) = (1, −1). El semi-eje mayor mide 9 = 3 y el semi-eje menor mide 4 = 2.
Tarea
Problema 2.7.1 Trácese la curva de ecuación x 2 +2x +4y 2 −8y = 4. x2
y= como se muestra en el diagrama 2.34. Si el △ABC es equi-
2
látero, determinar las coordenadas de B y C .
Problema 2.7.2 El punto (x, y) se mueve en el plano de tal man-
C B
era que equidista del punto (2,3) y de la recta x = −4. Hállese la
ecuación de la curva que describe.
A
Problema 2.7.3 Hállese la ecuación de la parábola con directriz
y = −x y vértice en (1,1).
Problema 2.7.4 Los puntos A(0,0) , B, y C yacen sobre la parábola Figure 2.34: Problema 2.7.4.
46
3
Funciones
En este capítulo se estudiará uno de los conceptos centrales en las matemáticas: el concepto de función. El
☞ enfoque en estos apuntes se restringirá a funciones reales de una variable real. La definición aquí dada del
concepto de función es un tanto más moderna que la normalmente dada en los textos anglogringones. En la
mayoría de estos textos poca atención es dada a los conjuntos de entradas y salidas de una función, y por tanto
se equivocan los conceptos de inyectividad y epiyectividad que se verán más adelante.
< =
f Imagen f
< =
Rango f
< =
Dominio f
107 Definición Una función numérica real de una variable real, o más brevemente, función es la colección de los sigu-
ientes elementos:
1. Un nombre para la función. Normalmente se utilizan las letras f , g , h, etc., pero, no es sacrosanto el restringirse a
su uso.
3. Un nombre para la entrada típica. Mayormente se utilizará la letra x, a la que a veces se le llama variable muda o
independiente.
4. Una regla o fórmula, que asigna a cada entrada, una salida única. Si x es una entrada típica y f es el nombre de la
función, la salida de x se denotará por f (x) y la asignación de x a su salida se denotará por x !→ f (x). La salida f (x)
también se llamará la imagen de x bajo f , o más brevemente, imagen de x.
< =
5. El conjunto de todas las imágenes posibles de la función,1 llamado el rango de la función y denotado por Rango f .
1 Esto es, imágenes o no. El rango de la función es por lo tanto como una casa grande donde habitan tanto las imágenes de la función como otros
hijos espurios.
47
3.1. Funciones: definición
Se utilizará la notación
< = < =
Dominio f → Rango f
f :
x!→ f (x)
< = < =
para indicar que f es una función con dominio Dominio f y rango Rango f . Finalmente, la gráfica Γ f de una función
f es el conjunto del plano 0 < = 1
Γ f = (x, y) ∈ R2 : x ∈ Dominio f , y = f (x) .
Se debe hacer hincapié en que en la definición de función, a todo elemento del dominio le corresponde exactamente
un elemento del rango. Gráficamente esto quiere decir que toda recta vertical cortando la gráfica de la función lo hace en
exactamente un punto.
4
4 3
3 2
2 1
1
−1
−5−4−3−2−1 1 2 3 4
−1
−5−4−3−2−1 1 2 3 4 −2
−2 −3
−3 −4
−4 −5
−5
Figure 3.5: La curva
Figure 3.2: Ejemplo 109. Figure 3.3: No es función. Figure 3.4: No es función. y 2 = x 3 + 1 no es la grá-
fica de una función.
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 más de una salida. Tampoco lo es la gráfica 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 en´más de dos
puntos.
111 Ejemplo Hallar todas las funciones con dominio {1, 2, 3} y rango {4, 5}.
Resolución ' A cada uno de los valores en {1, 2, 3} se le debe adjudicar uno de los valores en {3, 4}. Por lo tanto,
habrán 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
Con el mismo argumento utilizado para contar las funciones en 111 se demuestra el siguiente teorema.
112 Teorema Si A ! R es un conjunto con n elementos y B ! R es un conjunto con m elementos, entonces hay m n de
A a B.
49
3.1. Funciones: definición
f
y la función cociente está dada por
g
+ ,
< = < = f
Dominio f ∩ Soporte g → Rango
f g
: .
g f (x)
x !→
g (x)
< =
U → Rango f ◦ g
f ◦g : . (3.1)
x !→ f (g (x))
( f + g )(x) = 2x + 1 + x 2 − 1 = x 2 + 2x
= (x + 1 + 1)2 − 2(x + 1 + 1) + 4
= (x + 1)2 + 3.
120 Definición Si f es una función, 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 fácil hallar el n-ésimo iterado de una función. Por ejemplo, se puede demostrar por
inducción que
n
a(x) = x t =⇒ a [n] (x) = x t ,
50
Chapter 3. Funciones
+ ,
mn − 1
c(x) = mx + k =⇒ c [n] (x) = m n x + k .
m −1
Tarea
1 (a ◦ b ◦ c)(t) = 123
Problema 3.1.4 Sea f : R \{0} → R dada por f (x) = . Determínese
x
f (x + h) − f (x − h)
. (c ◦ b ◦ a)(t) = 5
2h
(a ◦ c ◦ b)(t) = 3
Problema 3.1.5 Sean f (x) = ax + b, g (x) = bx + a (a, b enteros). Si
f (1) = 8 y f (g (50)) − g ( f (50)) = 28, hállese el producto ab.
Problema 3.1.11 Sean f , g ,h : R → R funciones. Demostrar que la
composición de funciones es asociativa, esto es,
Problema 3.1.6 Sea f : R → R, x !→ x 2 − x. Hallar
f ◦ (g ◦ h) = ( f ◦ g ) ◦ h,
f (x + h) − f (x − h)
.
h siempre y cuando las expresiones involucradas hicieren sentido.
Problema 3.1.8 Sea p : R → R dada por Problema 3.1.13 Sean f , g : R \ {1} → R, funciones con f (x) =
4
, g (x) = 2x. Hallar todas las x cumpliendo
p(x) = x 4 + x 3 + x 2 + x + 1. x −1
(g ◦ f )(x) = ( f ◦ g )(x).
Demostrar que si x ̸= 0 entonces
+ ,
1 Problema 3.1.14 Sean f : R → R, f (1 − x) = x 2 . Hállese ( f ◦ f )(x).
p(x) = x 4 p .
x
51
3.2. Ecuaciones funcionales
121 Ejemplo Sea f : R → R una función tal que para todo real x satisface f (1 − 2x) = x 2 − 1. Hallar f (3) y f (x).
1
Ahora bien, el truco de poner 1 − 2x = x no funciona aquí, pues esto daría un valor único de x = y se requiere
3
hallar a f (x) para x arbitrario. Se nota sin embargo que la variable x es muda, y bien se podría poner f (1−2u) =
1−x
u 2 − 1. Ahora se pone 1 − 2u = x =⇒ u = , de donde se colige que
2
+ + ,, + ,
1−x 1−x 2
f (x) = f 1 − 2 = − 1.
2 2
*
Esto quiere decir que además se necesita saber f (0) para poder hallar a f (−3). Tomando x = 0,
1
f (3) = f (3) f (0) =⇒ f (3) = f (3) f (3) f (−3) =⇒ f (−3) = .
2
*
Resolución ' 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 solución es g (x) = x 2 . *
Resolución ' Nótese que el polinomio tiene grado 2 · 2007 + 7 = 4021. Una vez expandido y simplificado, el
polinomio tendrá la forma
4 4
p(x) = (1 − 3x + 4x 2 )2007 (1 + 2x 5 − 2x 7 ) = a0 + a1 x + a2 x 2 + · · · a4021 x 4021 .
52
Chapter 3. Funciones
Tarea
Problema 3.2.1 Sea h : R → R dada por h(1−x) = 2x. Hallar h(3x). Problema 3.2.4 Hállese todas las funciones f : R → R que satisfa-
gan f (x y) = y f (x).
Problema 3.2.2 Considerar al polinomio
(1 − x 2 + x 4 )2003 = a 0 + a 1 x + a 2 x 2 + ··· + a 8012 x 8012 . Problema 3.2.5 Hallar todas las funciones f : R \ {0} → R para las
cuales
Hallar + ,
1
1. a 0 f (x) + 2f = x.
x
2. a 0 + a 1 + a 2 + ··· + a 8012
3. a 0 − a 1 + a 2 − a 3 + ··· − a 8011 + a 8012 Problema 3.2.6 Hallar todas las funciones f : R \{−1} → R que sat-
4. a 0 + a 2 + a 4 + ··· + a 8010 + a 8012 isfagan
+ + ,,
5. a 1 + a 3 + ··· + a 8009 + a 8011 1−x
( f (x))2 · f = 64x.
1+x
Problema 3.2.3 Sea f : R → R, una función tal que ∀x ∈
0;+∞ , 4 Problema 3.2.7 Sean f y g funciones definidas sobre todos los
[ f (x 3 + 1)] x = 5, reales tales que para todos x y y
hállese el valor de ;
? 2 3@ 27
27 + y 3 y
f (x + g (y)) = 2x + y + 5. (3.2)
f
y3
para y ∈ 0;+∞ . Hallar una expresión para g (x + f (y)).
125 Definición El dominio natural o dominio de definición de una fórmula es el subconjunto mayor de los números
reales sobre el cual la fórmula produce salidas reales.
En la práctica, para hallar el dominio natural de una fórmula, sólo se necesita de evitar errores crasos, como el dividir
por 0, o el tomar raíces cuadradas de números estrictamente negativos.
53
3.3. Dominio natural de una fórmula
x∈ −∞; −4 −4; 5 5; +∞
x +4 − + +
5−x + + −
(x + 4)(5 − x) − + −
x
127 Ejemplo Hallar el dominio natural de x !→ .
!x "
4 4
128 Ejemplo El dominio natural de x !→ x + −x es el conjunto {0}, ya que cualquier otro número real no produciría
salidas reales.
1
129 Ejemplo El dominio natural de x !→ 4 4 es el conjunto vacío ∅, ya que ningún número real produce salidas
x + −x
reales.
Tarea
54
Chapter 3. Funciones
55
4
Gráficas de funciones
3 3 3
2 2 2
1 1 1
−5 −4 −3 −2−1
−1 1 2 3 −5 −4 −3 −2−1
−1 1 2 3 −5 −4 −3 −2−1
−1 1 2 3
−2 −2 −2
−3 −3 −3
−4 −4 −4
−5 −5 −5
Figure 4.1: f : R → R, f (x) = 1. Figure 4.2: f : R → R, I(x) = x. Figure 4.3: f : R → R, f (x) = |x|.
3 3 3 3
2 2 2 2
1 1 1 1
130 Ejemplo (Función constante) Las gráfica de f : x !→ 1 aparece en las figura 4.1 y se obtuvo en la sección 2.4. Esta
es una función constante y< su
= gráfica es una línea recta horizontal. Nótese que la imagen de f consiste del conjunto de
un solo elemento: Imagen f = {1}.
56
Chapter 4. Gráficas de funciones
4
133 Ejemplo
< = Las gráfica de f : x !→ 1 − x 2 aparece en las figura 4.4 y se obtuvo en la sección 2.3. Se observa que
Imagen f = 0; 1 .
1
134 Ejemplo (Función recíproco) Las gráfica de f : x !→ aparece en las figura 4.5 y se obtuvo en la sección 2.7. Se
< = < = x
observa que Dominio f = Imagen f = R \ {0}.
4
136 Ejemplo (Función raíz< cuadrada)
= < Las
= gráfica de f : x !→ x aparece en las figura 4.7 y se obtuvo en la sección
2.7. Se observa que Dominio f = Imagen f = 0; +∞ .
137 Ejemplo Expresar f : R → R, f (x) = |x| − x como una función en trozos y trazar su gráfica. ¿Cuál es la imagen de la
función?
Resolución ' Para x ≥ 0, |x| = x y así f (x) = |x| − x = x − x = 0. De la misma manera, f (x) = |x| − x = −x − x =
−2x para x < 0. Se concluye que
⎧
⎪
⎪
⎨ 0 si x ≥ 0
f (x) =
⎪
⎪
⎩ −2x si x < 0
< =
La gráfica se puede observar en la figura 4.8. Se observa que Imagen f = 0; +∞ .*
138 Ejemplo Sea f : −4; 4 → −5; 1 con gráfica como en la figura 4.9. Hállese una fórmula en trozos para f .
1 − (−3) 4
m L1 = =
−1 − (−4) 3
4
y por tanto la ecuación de la recta que contiene este segmento es de la forma y = 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 ecuación
3 3
4 7
y = x+ .
3 3
El segundo segmento de recta es claramente horizontal y contenido en la recta y = 1.
−5 − 1
m L3 = = −3
4−2
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 ecuación y = −3x +5. Ensamblando
57
4.3. Funciones x !→ !x ", x !→ #x $, x !→ {x}
5 5
4 4
3 3
2 2 L2
1 1
−1 −1
−2−1 1 2 3 4 5
−7−6−5−4−3
−2 −2−1 1 2 3 4 5
−7−6−5−4−3
−2
−3 L1 −3
−4 −4
−5 −5 L3
−6 −6
−7 −7
Tarea
Problema 4.2.1 Exprésese f : R → R, f (x) = |x − 1| + |x + 2| como Problema 4.2.4 Discutir la gráfica de la función f : R → {0,1} con
una función a trozos. ⎧
⎪
⎪
⎨ 0 si x ∈ Q
Problema 4.2.2 Exprésese f : R → R, f (x) = x|x| como una función f (x) =
⎪
⎪
a trozos. ⎩ 1 si x ∈ R \ Q
R → Z
f :
x !→ !x "
n ≤ x < n + 1,
58
Chapter 4. Gráficas de funciones
entonces !x " = n. Esto quiere decir que la función x !→ !x " es constante entre dos enteros consecutivos. Por ejemplo,
entre el 0 y el 1, la función será 0; entre el 1 y el 2, la función será 1, etc., tomando siempre el menor entero entre enteros
consecutivos. Su gráfica, en forma de escalera,1 aparece en la figura 4.10.
R → Z
g:
x !→ #x $
n < x ≤ n + 1,
entonces #x $ = n + 1. Esto quiere decir que la función x !→ #x $ es constante entre dos enteros consecutivos. Por ejemplo,
entre el 0 y el 1, la función será 1; entre el 1 y el 2, la función será 2, etc., tomando siempre el menor entero entre enteros
consecutivos. Su gráfica aparece en la figura 4.11.
4 4 4 4
3 3 3 3
2 2 2 2
1 1 1 1
−5 −4 −3 −2−1
−1 1 2 3 4 −5 −4 −3 −2−1
−1 1 2 3 4 −5 −4 −3 −2−1
−1 1 2 3 4 −5 −4 −3 −2−1
−1 1 2 3 4
−2 −2 −2 −2
−3 −3 −3 −3
−4 −4 −4 −4
−5 −5 −5 −5
Figure 4.10: x !→ !x ". Figure 4.11: x !→ #x $. Figure 4.12: x !→ x − !x ". Figure 4.13: x !→ {x}2 .
141 Definición Una función f se dice periódica de periodo P si existe un número real P > 0 tal que
< = < =
x ∈ Dominio f =⇒ (x + P ) ∈ Dominio f , f (x + P ) = f (x).
Esto es, si f es periódica 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 discusión a continuación necesitará del siguiente lema.
Luego, se tiene que demostrar que !x + z " − z también satisface esta desigualdad.
1 ¿Y entonces por qué no llamarle la función escalera?
59
4.4. Traslaciones
143 Ejemplo Póngase {x} = x − !x ". Considérese la función f : R → 0; 1 , f (x) = {x}, llamada la parte decimal de x.
Se tiene
!x " ≤ x < !x " + 1 =⇒ 0 ≤ x − !x " < 1.
Además, por el lema 142,
x∈ 0; 1 =⇒ {x} = x,
de donde se colige que entre 0 y 1, f se comporta como la función identidad, esto es, su gráfica es una recta que biseca en
45◦ el primer cuadrante. La gráfica de x !→ {x} aparece en la figura 4.12 .
{x + 1}2 = {x}
x∈ 0; 1 =⇒ {x}2 = x 2 ,
se deduce que entre 0 y 1, la función se comporta como la función x !→ x 2 . Su gráfica aparece en la figura 4.13 .
*
Tarea
Problema 4.3.1 Investigar la gráfica de x !→ !2x ". Problema 4.3.4 Demostrar que la función f : R → {−1,1} dada por
f (x) = (−1)!x " es periódica de periodo 2 y trazar su gráfica.
Problema 4.3.2 Denótese por ||x|| la distancia de x al entero más
1 1
cercano. Obsérvese que 0 ≤ ||x|| ≤ . Trazar la gráfica de x !→ ||x||. Problema 4.3.5 Discutir la gráfica de x !→ .
2 #x $ − !x "
0 1
Problema 4.3.3 ¿Será cierto que x 2 = {x}2 ?
4.4 Traslaciones
Se estudiará en esta sección los efectos de varias transformaciones rígidas a la gráfica de una función.
145 Teorema Sea f una función y sean v y h constantes reales. Si (x0 , y 0 ) está en la gráfica de f , entonces (x0 , y 0 + v)
está en la gráfica de g , en donde g (x) = f (x)+ v y si (x1 , y 1 ) está en la gráfica de f , entonces (x1 −h, y 1 ) yace sobre la gráfica
j , en donde j (x) = f (x + h).
60
Chapter 4. Gráficas de funciones
De manera semejante,
146 Definición Sea f una función y sean v y h números reales. Se dice que la curva y = f (x)+v es una traslación vertical
de la curva y = f (x). Si v > 0 la traslación es v unidades hacia arriba y si v < 0 la traslación es v unidades hacia abajo. De
manera semejante, se dice que y = f (x + h) es una traslación horizontal de la curva y = f (x). Si h > 0, la traslación es h
unidades a la izquierda y si h < 0 la traslación es h unidades a la derecha.
☞ Es pertinente advertir al lector de los correspondientes cambios en el dominio de una traslación horizontal y en la
imagen de una traslación vertical.
4
147 Ejemplo Considérese f : −1; 1 → 0; 1 dada por f (x) = 1 − x 2 . La gráfica de esta función es un semicírculo
superior centrado en el origen y de radio 1. La curva
y = f (x + 2) − 1,
es una traslación horizontal dos unidades a la izquierda y una hacia abajo del mencionado semicírculo. Nótese que si se
pone g (x) = f (x + 2) − 1, entonces se tendrá
−3; 0 → −1; 0
g: .
4
x !→ 1 − (x + 2)2 − 1
Figure 4.14: Ejemplo 147. Figure 4.15: Ejemplo 148 Figure 4.16: Ejemplo 149
148 Ejemplo Considérese f : R → 0; +∞ dada por f (x) = x 2 . La gráfica de esta función es la parábola de la figura
4.6. La curva
y = f (x − 2) + 1,
es una traslación horizontal dos unidades a la derecha y una hacia arriba de la mencionada parábola. Nótese que si se
pone g (x) = f (x − 2) + 1, entonces se tendrá
R → 1; +∞
g: .
x !→ (x − 2)2 + 1
61
4.5. Distorsiones
4
149 Ejemplo Considérese f : 0; +∞ → 0; +∞ dada por f (x) = x. La gráfica de esta función es la de la figura
4.7. La curva
y = f (x + 1) − 2,
es una traslación horizontal una unidad a la izquierda y dos hacia abajo de la mencionada gráfica. Nótese que si se pone
g (x) = f (x + 1) − 2, entonces se tendrá
−1; +∞ → −2; +∞
g: .
4
x !→ x +1−2
Tarea
1
Problema 4.4.1 Trazar las siguientes curvas. Notar todos los inter- Problema 4.4.2 Discuta y trace la gráfica de x !→ {x} − .
ceptos, asíntotas, etc., si los hubiere. 2
1. y = |x − 1| − 1 - .
2. y = (x − 2)2 − 3 1 2
Problema 4.4.3 Discuta y trace la gráfica de x !→ x − .
1 2
3. y = +1
4 1
x −
4. y = x − 2 − 2
4.5 Distorsiones
150 Teorema Sea f una función y sean V ̸= 0 y H ̸= 0 números reales. Si (x0 , y 0 ) yace en la gráfica de f , entonces (x) 0 ,V y 0*)
x1
está en la gráfica de g , en donde g (x) = V f (x). De manera semejante, si (x1 , y 1 ) yace en la gráfica de f , entonces , y1
H
yace en la gráfica de j , en donde j (x) = f (H x).
Además,
)x * )x * )x *
1 1 1
(x1 , y 1 ) ∈ Γ f ⇐⇒ y 1 = f (x1 ) ⇐⇒ y 1 = f · H ⇐⇒ y 1 = j ⇐⇒ , y1 ∈ Γ j ,
H H H
demostrando el teorema. ❑
151 Definición Sean V > 0, H > 0, números reales y sea f una función. La curva y = V f (x) es una distorsión vertical de
la curva y = f (x). La gráfica de y = V f (x) es una dilatación vertical de la gráfica de y = f (x) si V > 1 y una contracción
vertical si 0 < V < 1. La curva y = f (H x) es una distorsión horizontal de la curva y = f (x) La gráfica de y = f (H x) es una
dilatación horizontal de la gráfica de y = f (x) si 0 < H < 1 y una contracción horizontal de H > 1.
−4; 4 → −6; 6
f :
x !→ f (x)
62
Chapter 4. Gráficas de funciones
f (x)
Si a(x) = entonces
2
−4; 4 → −3; 3
a: ,
x !→ a(x)
−2; 2 → −6; 6
b: ,
x !→ b(x)
7 7
7 7
6 6
6 6
5 5
5 5
4 4
4 4
3 3
3 3
2 2
2 2
1 1
1 1
0 0
0 0
-1 -1
-1 -1
-2 -2
-2 -2
-3 -3
-3 -3
-4 -4
-4 -4
-5 -5
-5 -5
-6 -6
-6 -6
-7 -7
-7 -7
-7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7
-7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7
f (x) f (2x)
Figure 4.17: y = f (x) Figure 4.18: y = Figure 4.19: y = f (2x) Figure 4.20: y =
2 2
4.6 Reflexiones
153 Teorema Sea f una función. Si (x0 , y 0 ) yace en la gráfica
< de
= f , entonces (x0 , −y 0 ) yace en la gráfica de g , en donde
g (x) = − f (x). Si (x1 , y 1 ) yace en la gráfica de f , entonces −x1 , y 1 yace en la gráfica de j , en donde j (x) = f (−x).
De manera semejante,
< =
(x1 , y 1 ) ∈ Γ f ⇐⇒ y 1 = f (x1 ) ⇐⇒ y 1 = f (−(−x1 )) ⇐⇒ y 1 = j (−x1 ) ⇐⇒ −x1 , y 1 ∈ Γ j .
154 Definición Sea f una función. La curva y = − f (x) es una reflexión de f en torno al eje de x y la curva y = f (−x) es
una reflexión 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 función
0; +∞ → 0; +∞
f : .
4
x !→ x
4 4 4
Nótese los respectivos cambios al dominio e imagen de la función. Así pues, si a(x) = −x, b(x) = − x y c(x) = − −x,
entonces
7 7 7 7
6 6 6 6
5 5 5 5
4 4 4 4
3 3 3 3
2 2 2 2
1 1 1 1
0 0 0 0
-1 -1 -1 -1
-2 -2 -2 -2
-3 -3 -3 -3
-4 -4 -4 -4
-5 -5 -5 -5
-6 -6 -6 -6
-7 -7 -7 -7
-7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7
4 4 4 4
Figure 4.21: y = x Figure 4.22: y = −x Figure 4.23: y = − x Figure 4.24: y = − −x
2
y = − f (x) = 1 − − x = a(x),
x
dígase. Luego de una traslación horizontal 3 unidades a la izquierda se obtiene la curva
2 2
y = a(x + 3) = 1 − − (x + 3) = −2 − − x = b(x),
x +3 x +3
dígase. Luego de una reflexión en torno al eje de y se obtiene la curva
2
y = b(−x) = −2 − + x = c(x),
−x + 3
64
Chapter 4. Gráficas de funciones
4
y = 2c(x) = −4 + + 2x,
x −3
que es la ecuación buscada. Nótese que
4.7 Simetría
< = < =
157 Definición Se dice que una función f es par si ∀x ∈ Dominio f se verifica −x ∈ Dominio f y f (x) = f (−x), esto
es, la porción de la gráfica con x < 0 es una reflexión de espejo de la parte con x > 0. Esto a< su
= vez quiere decir que la gráfica
< =
de f es simétrica con respecto al eje de y. Una función g ´se dice impar si ∀x ∈ Dominio g se verifica −x ∈ Dominio g y
también g (−x) = −g (x), esto es, g es simétrica con respecto al origen. Esto implica que si la gráfica tuviese una porción en
el cuadrante I, tendría una porción semejante en el cuadrante III, que puede ser obtenida por una rotación de 180◦ grados
y que si la gráfica tuviese una porción en el cuadrante II, tendría una porción semejante en el cuadrante IV, que puede ser
obtenida por una rotación de 180◦ grados.
158 Ejemplo La curva en la figura 4.25 es par y aquélla 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,
Demostración: Se tiene
65
4.7. Simetría
demostrando el teorema. ❑
160 Corolario Sea p(x) = a0 + a1 x + a2 x 2 + a3 x 3 + · · · + an−1 x n−1 + an x n un polinomio con coeficientes reales. Entonces
la función
x → p(x)
p:
R !→ R
es una función par si y sólo si cada uno de sus términos tiene grado par y es una función impar si y sólo si cada uno de sus
términos grado impar tiene.
Demostración: Presúmase que p es una función par. Entonces p(x) = p(−x) y luego
p(x) + p(−x)
p(x) =
2
a0 + a1 x + a2 x 2 + a3 x 3 + · · · + an−1 x n−1 + an x n
=
2
a0 − a1 x + a2 x 2 − a3 x 3 + · · · + (−1)n−1 an−1 x n−1 + (−1)n an x n
+
2
= a0 + a2 x 2 + a4 x 4 + · · · +
demostrando que el polinomio tiene sólo términos de grado par. La recíproca del teorema es obvia y la segunda
aserción se demuestra de manera semejante. ❑
x → f (x)
Resolución ' Sea f : con
R !→ R
Entonces
f (−x) = (1 + x + x 2 + x 3 + · · · + x 99 + x 100 )(1 − x + x 2 − x 3 + · · · − x 99 + x 100 ) = f (x),
lo que significa que f es una función par. Como f es polinomio, esto significa que no tiene ningún término
impar.*
162 Teorema Sea f : R → R una función arbitraria. Entonces f puede escribirse como la suma de una función par y una
función impar.
Demostración: Dado x ∈ R, póngase E (x) = f (x) + f (−x) y O(x) = f (x) − f (−x). Demostraráse que E es una
función par y qu O es una función impar. Se tiene
66
Chapter 4. Gráficas de funciones
4. d : R → R, d(x) = |x + 2|.
Resolución '
1.
(−x)3 x3
a(−x) = = − = −a(x),
(−x)2 + 1 x2 + 1
de donde a es impar, ya que su dominio es simétrico.
2.
| − x| |x|
b(−x) = 2
= 2 = b(x),
(−x) + 1 x + 1
de donde b es par, ya que su dominio es simétrico.
3.
c(−x) = | − x| + 2 = |x| + 2 = c(x),
de donde c es par, ya que su dominio es simétrico.
4. d(−1) = | − 1 + 2| = 1, mas d(1) = 3. La función ni es par ni impar.
5. El dominio de f no es simétrico, luego f ni es par ni impar.
164 Teorema Sea f una función. Tanto x !→ f (|x|) como x !→ f (−|x|) son funciones pares.
Demostración: Póngase a(x) = f (|x|). Entones a(−x) = f (| − x|) = f (|x|) = a(x), de donde x !→ a(x) es par. De
manera semejante, si b(x) = f (−|x|), entonces b(−x) = f (−| − x|) = f (−|x|) = b(x) demostrando que x !→ b(x)
par es. ❑
67
4.7. Simetría
Obsérvese que f (x) = f (|x|) para x > 0. Como x !→ f (|x|) es par, la gráfica de x !→ f (|x|) se obtiene pues borrando la
porción de la gráfica de x !→ f (x) con x < 0 y reflejando la parte con x > 0. De manera semejante, como f (x) = f (−|x|)
para x < 0, la gráfica de x !→ f (−|x|) se obtiene borrando la poción de la gráfica de x !→ f (x) con x > 0 y reflejando la parte
con x < 0.
165 Teorema Sea f una función. Si (x0 , y 0 ) yace en gráfica de f , entonces (x0 , |y 0 |) yace en la gráfica 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
exhiben varias transformaciones de x !→ . Las figuras 4.29 a la 4.32 exhiben varias transformaciones de x !→ (x − 1)2 − 3.
x
Figure 4.29: y = f (x) = (x − Figure 4.30: y = f (|x|)| = Figure 4.31: y = f (−|x|) = Figure 4.32: y = | f (|x|)| =
1)2 − 3 (|x| − 1)2 − 3 (−|x| − 1)2 − 3 |(|x| − 1)2 − 3|
Tarea
Problema 4.7.1 Complétese la gráfica del siguiente fragmento de Problema 4.7.2 Utilícese la gráfica de f en la figura 4.34 para
tal forma que la gráfica resultante sea la gráfica de una función (i) dibujar cada una de las curvas abajo indicadas.
par, (ii) impar.
1. y = 2f (x) 5. y = −f (−x)
2. y = f (2x) 6. y = f (|x|)
3. y = f (−x) 7. y = | f (x)|
4. y = −f (x) 8. y = f (−|x|)
0
-4 -3 -2 -1 0 1 2 3 4
-1
-3
-4
68
Chapter 4. Gráficas de funciones
Problema 4.7.3 Sea f una función impar definida en x = 0. De- Problema 4.7.8 Sea f : R → R una función par y sea g : R → R una
mostrar que f (0) = 0. función impar. Si f (−2) = 3, f (3) = 2 y g (−2) = 2, g (3) = 4, hallar
Problema 4.7.4 ¿Puede ser simultáneamente una función tanto ( f + g )(2), (g ◦ f )(2).
par como impar?
Problema 4.7.9 Póngase
4
Problema 4.7.5 Trazar la gráfica de la curva y = |x|.
f 1 (x) = x;
69
5
Inversión de funciones
R → R
f : .
x !→ x
< =
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 gráficamente al notar que toda recta horizontal corta la gráfica
de f .
R → R
f : .
x !→ |x|
Es claro que su dominio natural es R. Como |x| ≥ 0 para todo real x se tendrá f (R) ! 0; +∞ . Se puede decir aún más. Si
a ∈ 0; +∞ , entonces < = f (a) = f (−a) = a y por lo tanto 0; +∞ ! 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; +∞ gráficamente
al notar que toda recta horizontal sobre el eje de x corta la gráfica de f .
R → R
f : .
2
x !→ x
Es claro que su dominio natural es R. Como x 2 ≥ 0 para todo real x se tendrá f (R) ! 0; +∞ . Se puede decir aún más.
4 4 4
Si a ∈ 0; +∞ , entonces a ∈ R<y =f ( a) = f (− a) = a. Por lo tanto 0; +∞ ! 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; +∞
gráficamente al notar que toda recta horizontal sobre el eje de x corta la gráfica de f .
R \ {0} → R
f : .
1
x !→
x
70
Chapter 5. Inversión de funciones
1
Es claro que su dominio natural es R \ {0}. Como ̸= 0 para todo real x se tendrá f (R \ {0}) ! R \ {0}. De hecho, si a ∈ R \ {0},
+ , x
1 1
entonces ∈ R y f = a. Por lo tanto R \ {0} ! f (R \ {0}). Así pues se concluye que f (R \ {0}) = R \ {0}. Se deduce que
< a= a < =
Imagen f = R \ {0}. El lector se puede percatar de la veracidad de Imagen f = R \ {0} gráficamente al notar que toda
recta horizontal diferente del eje de x corta la gráfica de f .
☞ La gráfica de una función inyectiva posee la propiedad de que cada recta horizontal que la cruza, la encuentra en
exactamente un punto.
R → R
172 Ejemplo La función a : no es ni inyectiva ni epiyectiva. Por ejemplo, a(−2) = a(2) = 4 pero −2 ̸= 2 y
2
x !→ x
71
5.2. Funciones inyectivas y epiyectivas
R → 0; +∞
no existe ningún x ∈ R con a(x) = −1. La función b : no es inyectiva pero es epiyectiva. La función
2
x !→ x
0; +∞ → R 0; +∞ → 0; +∞
c: es inyectiva pero no es epiyectiva. La función d : es biyectiva.
x !→ x2 x !→ x2
< =
173 Ejemplo Sea f : R → R, f (x) = x 2 + 2x + 3. Determinar Imagen f .
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
< = (siempre y cuando se aproxime a 0 por valores positivos) y tan grande como se
x cercanos a −1) como se quiera
quiera, se tiene que Imagen f ! 2; +∞ . Ahora bien, sea a ∈ 2; +∞ . Entonces
4
x 2 + 2x + 3 = a ⇐⇒ (x + 1)2 + 2 = a ⇐⇒ x = −1 ± a − 2.
4 < = < =
Como a ≥ 2, a − 2 ∈ R y x ∈ R. Esto quiere decir que 2; +∞ ! Imagen f y se concluye que Imagen f =
2 : +∞ . *
2x < =
174 Ejemplo Sea f : R \ {1} → R, f (x) = . Determinar Imagen f .
x −1
A → B
175 Ejemplo Considérese la función f : en donde A es el dominio de definición de f .
x −1
x !→
x +1
1. Determínese A.
x −1
Resolución ' La fórmula f (x) = rinde números reales excepto para x = −1, luego A = R \ {−1}.
x +1
Ahora bien
x −1 2
= 1+ ̸= 1,
x +1 x −1
72
Chapter 5. Inversión de funciones
2
ya que nunca se anula. Si a ̸= 1 entonces
x −1
x −1 1+a
= a =⇒ ax − a = x + 1 =⇒ x(a − 1) = 1 + a =⇒ x = ,
x +1 1−a
< =
que es un número real, ya que a ̸= 1. Así pues Imagen f = R \ {1}.
Para demostrar que f es inyectiva, se observa que
a −1 b −1
f (a) = f (b) =⇒ = =⇒ (a−1)(b+1) = (a+1)(b−1) =⇒ ab+a−b = ab−a+b =⇒ 2a = 2b =⇒ a = b,
a +1 b +1
de donde la función es inyectiva.
*
es una biyección.
h(a) = h(b) =⇒ a3 = b3
=⇒ a3 − b3 = 0
=⇒ (a − b)(a 2 + ab + b 2 ) = 0
Ahora bien,
) 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. Cójase 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 ¿Cuántas funciones inyectivas hay de {a,b} a Problema 5.2.2 ¿Cuántas funciones inyectivas hay de {1,2,3} a
{1,2,3}? ¿Cuántas epiyectivas? {a,b}? ¿Cuántas epiyectivas?
5.3 Inversión
Aquí IS es la función identidad en el conjunto S, esto es, IS : S → S con IS (x) = x.
177 Definición Sea A × B ⊆ R2 . Una función f : A → B se dice inversible a diestra si existiere una función 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 función
h : B → A tal que h ◦ f = I A . Una función se dice inversible si es inversible a diestra y siniestra.
73
5.3. Inversión
178 Teorema Sea f : A → B inversible a diestra y siniestra. Entonces su inverso diestro coincide con su inverso siniestro.
Demostración: 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.
Demostración: Si f tuviese dos inversos, dígase s, t : B → A, en particular s sería un inverso diestro y t uno
siniestro, que en virtud del teorema anterior, deben coincidir. ❑
( f ◦ g )−1 = g −1 ◦ f −1 .
Demostración: Por la unicidad de inversos, f ◦ g puede tener solamente un inverso, el cual es, por definición
( f ◦ g )−1 . Quiere decir que si otra función cumpliese con las propiedades de ser el inverso de f ◦ g , entonces sería
necesariamente igual a ( f ◦ g )−1 . Se tiene
(g −1 ◦ f −1 ) ◦ ( f ◦ g ) = g −1 ◦ ( f −1 ◦ f ) ◦ g = g −1 ◦ I A ◦ g = g −1 ◦ g = IC .
De la misma manera
( f ◦ g ) ◦ (g −1 ◦ f −1 ) = f ◦ (g ◦ g −1 ) ◦ f −1 = f ◦ I A ◦ f −1 = f ◦ f −1 = IB .
74
Chapter 5. Inversión de funciones
Demostración: Presúmase primero que f es inversible. Entonces existe una función f −1 : B → A tal que
f ◦ f −1 = IB y f −1 ◦ f = I A . (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 función 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.
Presúmase ahora que f es una biyección. 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 función. Es claro que g ◦ f = I A y que f ◦ g = IB . Se tomará entonces f −1 = g .
Esto concluye la demostración. ❑
Figure 5.5: Función e in- Figure 5.6: Función e in- Figure 5.7: Función e in-
versa. versa. versa.
☞ Por el teorema 90, (x, f (x)) y ( f (x), x) son simétricos con respecto a la recta y = x, por lo tanto la gráfica de una
función inversible f es simétrica con la gráfica de su inverso con respecto a la recta y = x.
En los siguientes ejemplos se dará una receta para hallar inversos de funciones sencillas.
Resolución ' Para demostrar que f es inversible, se demuestra que es biyectiva. Primero,
as + b at + b
f (s) = f (s) =⇒ =
cs + d ct + d
=⇒ (as + b)(ct + d) = (cs + d)(at + b)
=⇒ (ad − bc)(s − t ) = 0.
75
5.3. Inversión
f (s) = f (t ) =⇒ s = t
y f es inyectiva.
!a"
Segundo, sea u ∈ R \ . ¿Habrá acaso alguna solución 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
Como u ̸= , es un número real, demostrando que f es epiyectiva.
c a − uc
Al ser f biyectiva, es f inversible. Si g es su inverso, entonces
ag (x) + b dx −b
( f ◦ g )(x) = x =⇒ = x =⇒ g (x) = .
cg (x) + d −cx + a
Por lo tanto, el inverso de f lo es
!a" .-
d
R\ → R\ −
f −1 : c c .
dx −b
x !→
−cx + a
*
185 Ejemplo Considérese la fórmula f (x) = x 2 + 4x + 5. Demuéstrese que f es inyectiva en −2; +∞ y determínese
f( −2; +∞ ). Hállese el inverso de
−2; +∞ → f( −2; +∞ )
f : .
2
x !→ x + 4x + 5
Resolución ' Obsérvese que x 2 +4x +5 = (x +2)2 +1. Ahora bien, si a ∈ −2; +∞ yb∈ −2; +∞ , entonces
Como a + 2 ≥ 0 y b + 2 ≥ 0, se tiene
(a + 2)2 = (b + 2)2 =⇒ a + 2 = b + 2 =⇒ a = b,
76
Chapter 5. Inversión de funciones
1; +∞ → −2; +∞
f −1 : .
4
x !→ −2 + x − 1
−∞;−2 → 1;+∞
g:
x !→ x 2 + 4x + 5
1;+∞ → −∞;−2
g −1 : .
4
x !→ −2 − x − 1
Tarea
Problema 5.3.1 Sea f : R → R, con f (x) = ax +b. ¿Para qué valores Problema 5.3.7 Considerar la fórmula f : x !→ x 2 − 4x + 5. Hallar
de los parámetros a y b se tendrá f = f −1 ? dos intervalos I 1 e I 2 con R = I 1 ∪ I 2 y con I 1 ∩ I 2 consistiendo de ex-
actamente un elemento,
/ tal
/ que f sea inyectiva en las restricciones
/ /
Problema 5.3.2 Demuéstrese que si ab ̸= −4 y a cada intervalo f / y f / . Luego, hallar el inverso de f en cada
I1 I2
restricción.
f : R \ {2/b} → R \ {2/b},
3
2
0
x +2
en donde f (x) = 3
-1
. Hállese f −1 . -2
x −1 -3
-4
-5
-7
-7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7
77
5.3. Inversión
Problema 5.3.9 Verifíquese que las funciones abajo dadas tienen Problema 5.3.13 Demostrar que
el dominio natural especificado, la imagen especificada y la inversa ; ;
4 3 3 4
especificada. f : R → R, f (x) = x+ x2 + 1 + x− x 2 + 1,
x 3 + 3x
Regla Dominio natural Imagen Inversa f −1 : R → R, f −1 (x) = .
2
4
x !→ 2−x ] − ∞;2] [0;+∞[ x !→ 2 − x 2
Problema 5.3.14 Considérese la función f : R → R, con
1 1
x !→ 4 ] − ∞;2[ ]0;+∞[ x !→ 2 − 2 ⎧
2−x 9
x ⎪
⎪
⎨ 2x si x ≤ 0
2 + x3 4
3 3 2x −2 f (x) =
x !→ R \ { 2} R \ {−1} x !→ ⎪
2 − x3 9 x + 1 ⎪
⎩ x2 si x > 0
1 3 1
x !→ 3 R \ {1} R \ {0} x !→ 1 +
x −1 x cuya gráfica 5.9. aparece en la figura 5.9.
1. ¿Es f inversible?
Problema 5.3.10 Sea f : 0;+∞ → 0;+∞ dada por
2. Si la respuesta anterior es afirmativa, trazar la gráfica de
;
4 f −1 .
f (x) = x + x.
3. Si f es inversible, hállese una fórmula para f −1 .
Demostrar que f es biyectiva y que su inversa es
4 4
1− 1 + 4x 2
f −1 : 0;+∞ → 0;+∞ , f −1 (x) = + x2. 3
2
2
4
3
4
3
0
1+x − 1−x
f :R→ −1;1 , f (x) = 4
3
4
3
, -1
1+x + 1−x
-2
es biyectiva y que su inversa es
-3
x(x 2 + 3) -4
f −1 : −1;1 → R, f −1 (x) = . -4 -3 -2 -1 0 1 2 3 4
1 + 3x 2
Figure 5.9: Problema 5.3.14.
Problema 5.3.12 Demostrar que
4 Problema 5.3.15 Demostrar que f : 0;1 → 0;1 , con
1 1 − 1 + 4x ⎧
f : − ;+∞ → −1;1 , f (x) = 4 ,
4 1 + 1 + 4x ⎪
⎪
⎨ x si x ∈ Q ∩ 0;1
f (x) =
es biyectiva y que su inversa es ⎪
⎪
⎩ 1−x si x ∈ (R \ Q) ∩ 0;1
−1 1 −1 x
f : −1;1 → − ;+∞ , f (x) = − .
4 (1 + x)2 es biyectiva y que f = f −1 .
78
6
Introducción al cálculo diferencial
x 1
Figure 6.1: a : x !→ |x|, x ̸= 0. Figure 6.2: b : x !→ , x ̸= 0. Figure 6.3: c : x !→ , x ̸= 0.
|x| x
entonces se dice que f tiene límite siniestro f (x0 −) = L cuando x aumenta hacia x0 y se escribe
Si L ′ = f (x0 +) = f (x0 −) = L, entonces se dice que f tiene límite L cuando x tiende a x0 y se escribe
lim f (x) = L.
x→x 0
79
6.1. Límites funcionales
187 Teorema (Unicidad de límites) Sea X ! R, a ∈ R, y f : X → R. Si limx→a f (x) = L y si también se tiene lim x→a f (x) =
L ′ entonces L = L ′ .
/ /
Demostración: Si se tuviere L ̸= L ′ , tómese 2ε = /L − L ′ / en la definición de límite. Entonces existe δ > 0 tal que
/ / / /
/ / /L − L ′ / / / /L − L ′ /
/
0 < − a| < δ =⇒ f (x) − L <
|x / , / ′/
f (x) − L < .
2 2
Por la desigualdad del triángulo,
/ / / /
/ / / / / / /L − L ′ / /L − L ′ / / /
/L − L ′ / ≤ /L − f (x)/ + / f (x) − L ′ / < + = /L − L ′ / ,
2 2
/ / / /
pero /L − L ′ / < /L − L ′ / es una contradicción. ❑
188 Teorema (Acotación local) Sea X ! R, a ∈ R, y f : X → R. Si limx→a f (x) = L existe y es finito, entonces f es
acotado en un vecindario de a.
189 Teorema (Propiedades de orden) Sean X ! R, a ∈ R, y f : X → R. Si limx→a 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).
3. si s < L < t entonces existe un vecindario Na de a contenido en X tal que ∀x ∈ Na , s < f (x) < t .
Demostración:
80
Chapter 6. Introducción al cálculo diferencial
190 Teorema (Teorema del emparedado) Sean a, b, c son funciones definidas en un vecindario Nx0 de x0 excepto
quizás en el punto x0 mismo. Presúmase que en Nx0 se satisfacen las desigualdades a(x) ≤ b(x) ≤ c(x). Entonces
0 < |x − x0 | < δ =⇒ |a(x) − L| < ε and |c(x) − L| < ε =⇒ L − ε < a(x) < L + ε and L − ε < c(x) < L + ε.
L − ε < a(x) ≤ b(x) ≤ c(x) < L + ε =⇒ L − ε < b(x) < L + ε =⇒ |b(x) − L| < ε,
Demostración:
// / / / /
1. Esto se deduce de la desigualdad // f (x)/ − |L|/ ≤ / f (x) − L /.
2. Esto se deduce de las desigualdades
/ / / / / /
− / f (x)/ ≤ f (x) ≤ / f (x)/ , min(− f (x), f (x)) ≤ / f (x)/ ≤ max(− f (x), f (x))
Como el lado diestro se puede hacer tan pequeño como se quisiere, la aserción queda demostrada.
4. Para toda ε > 0 existen δ1 > 0 y δ2 > 0 tal que
/ / / /
0 < |x − a| < δ1 =⇒ / f (x) − L / < ε, and 0 < |x − a| < δ2 =⇒ / g (x) − L ′ / < ε.
Además, por el teorema 188, g es localmente acotado y entonces existe B > 0, y δ3 > 0 tal que
/ /
0 < |x − a| < δ3 =⇒ /g (x)/ < B.
Como el lado diestro se puede hacer tan pequeño como se quisiere, la aserción queda demostrada.
81
6.1. Límites funcionales
Como el lado diestro se puede hacer tan pequeño como se quisiere, la aserción queda demostrada.
/ ′/
/ / / / /L /
6. Primero /g (x)/ → /L ′ / cuando x → a por la aserción (1). Así pues para ε = // // > 0 existe una pequeñísima
2
δ′ > 0 tal que
/ / / / / / / ′/ / /
// / / // /L ′ / / ′ / /L ′ / / / / ′ / /L ′ / /L / / / 3 /L ′ /
//g (x)/ − /L ′ // < /
=⇒ 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
/ / / /
0 < |x − a| < δ1 =⇒ / f (x) − L / < ε, and 0 < |x − a| < δ2 =⇒ / g (x) − L ′ / < ε.
Para δ = min(δ1 , δ2 , δ′ ),
/ ′/ / /
/L / / / 3 /L ′ /
0 < |x − a| < δ =⇒ L − ε < f (x) < L + ε, / /
< g (x) < , y L ′ − ε < g (x) < L ′ + ε.
2 2
Luego
/ / / / / / / // / / / / /
/ f (x) L / / L ′ f (x) − Lg (x) / / L ′ ( f (x) − L) − L(g (x) − L ′ ) / /L ′ / / f (x) − L / + |L| / g (x) − L ′ / 2(/L ′ / + |L|)ε
/ / / /=/ /≤ / / ,
/ g (x) − L ′ / = / g (x)L ′ / / g (x)L ′ / /g (x)/ |L ′ |
<
|L ′ | |L ′ |
dando el resultado.
Demostración: Se demuestra el teorema por inducción 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 implicación
con cualquier ε > 0 y cualquier δ > 0. De aquí, el teorema es cierto para polinomios constantes.
Supóngase que deg p(x) = 1, por ejemplo, p(x) = mx + b, con m ̸= 0 y b constantes reales. Entonces, para tener
en donde q(x) es un polinomio de grado n − 1. Entonces por el teorema 191 y por la hipótesis de inducción,
) *) * ) *
lim p(x) = lim xq(x) + a0 = lim a lim q(x) + lim a0 = aq(a) + a0 = p(a),
x→a x→a x→a x→a x→a
82
Chapter 6. Introducción al cálculo diferencial
El teorema anterior dice que límites de polinomios se pueden obtener por simple evaluación. Se darán ahora algunos
ejemplos.
0
193 Ejemplo Tanto x 3 − 1 como x 5 − 1 tienden a 0 cuando x tiende a 1 y, evidentemente, definido no está. Pero la
0
reducción
x3 − 1 (x − 1)(x 2 + x + 1) x2 + x + 1
= = 4
x − 1 (x − 1)(x + x + x + x + 1) x + x 3 + x 2 + x + 1
5 4 3 2
es válida siempre y cuando x ̸= 1. Se hace pues ahora uso de que en la definición de límite se ignora el valor de la función
en el punto de interés, pero se investigan los valores cercanos al punto de interés. Así pues se tiene
x3 − 1 (x − 1)(x 2 + x + 1) x2 + x + 1 3
lim 5
= lim 4 3 2
= lim 4 3 2
= .
x→1 x − 1 x→1 (x − 1)(x + x + x + x + 1) x→1 x + x + x + x + 1 5
194 Ejemplo Para valores de x cercanos a 1 pero a la siniestra de 1, !x " = 0. Para valores de x cercanos a 1 pero a la
diestra de 1, !x " = 1. Se tiene pues
Entonces lim x→a f (x) no existe para ningún a ∈ R ya que en cualquier vecindad de a, f salta alocadamente de 0 a 1.
1
Formalmente, tomando ε = , no existe ningún δ > 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 ∈ a − δ; a + δ con
/ f (x) − f (a)/ = 1.
196 Definición Se dice que limx→a+ 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 limx→a− f (x) = +∞ o que limx↗a f (x) = +∞ si ∀M > 0, ∃δ > 0 tal que
x∈ a − δ; a =⇒ f (x) > M.
x∈ a − δ; a + δ =⇒ f (x) > M.
197 Definición Se dice que limx→a+ 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 limx→a− f (x) = −∞ o que limx↗a f (x) = −∞ si ∀M < 0, ∃δ > 0 tal que
x∈ a − δ; a =⇒ f (x) < M.
x∈ a − δ; a + δ =⇒ f (x) < M.
83
6.1. Límites funcionales
1
198 Ejemplo Para valores de x a la siniestra de 1 pero cerca de 1, x − 1 < 0 y pequeño, luego lim x→1− = −∞. Para
x −1
1 1
valores de x a la diestra de 1 pero cerca de 1, x−1 > 0 y pequeño, luego lim x→1+ = +∞. Se concluye que lim x→1 =
x −1 x −1
+∞ no existe.
f (x) − f (−1)
1. Hallar limx→−1− .
x +1
f (x) − f (−1)
2. Hallar limx→−1+ .
x +1
f (x) − f (1)
3. Hallar limx→1− .
x −1
f (x) − f (1)
4. Hallar limx→1+ .
x −1
f (x) − f (1)
5. Hallar limx→1 .
x −1
Resolución '
1
−1
f (x) − f (−1) x
1. = → +∞ cuando x → −1−.
x +1 x +1
f (x) − f (−1) |x| − 1 −x − 1
2. = . Para x < 0 esto es = −1.
x +1 x +1 x +1
f (x) − f (1) |x| − 1 x −1
3. = . Para x > 0 esto es = 1.
x −1 x −1 x −1
f (x) − f (1) x 2 − 1
4. = = x + 1 → 2 cuando x → 1+.
x −1 x −1
5. Como f (1−) ̸= f (1+), el límite no existe cuando x → 1.
84
Chapter 6. Introducción al cálculo diferencial
Esto quiere decir que f + g se puede hacer arbitrariamente grande en un vecindario de a y por lo tanto
limx→a ( f (x) + g (x)) = +∞.
2. Para toda ε > 0 existe δ2 > 0 tal que
Esto quiere decir que f + g se puede hacer arbitrariamente grande en un vecindario de a y por lo tanto
limx→a ( f (x) + g (x)) = +∞.
3. Para toda M ′ > 0 existe δ1 > 0 tal que
en donde la multiplicación preserva el sentido de la desigualdad ya que ambos factores son positivos.
Esto quiere decir que f g se puede hacer arbitrariamente grande en un vecindario de a y por lo tanto
limx→a ( f (x)g (x)) = +∞.
4. Para toda ε > 0 existe δ2 > 0 tal que
Como L es positivo, se puede tomar ε lo suficientemente pequeño tal que L − ε > 0. Luego, para δ′ =
min(δ, δ2 ) se tendrá
0 < |x − a| < δ′ =⇒ f (x)g (x) > M(L − ε) > 0,
en donde la multiplicación preserva el sentido de la desigualdad ya que ambos factores son positivos.
Esto quiere decir que f g se puede hacer arbitrariamente grande en un vecindario de a y por lo tanto
limx→a ( f (x) + g (x)) = +∞.
201 Teorema Si limx→a f (x) = b, limx→b g (x) = c y si existe un vecindario de a para el cual f (x) ̸= b para todo x ̸= a,
entonces
lim (g ◦ f )(x) = c.
x→a
Demostración: Para toda ε > 0, ε′ > 0 existen δ > 0, δ′ > 0 tales que
85
6.2. Límites en la infinidad
☞ Si ⎧
⎪
⎪
⎨ 0 si x ∈ R \ {0}
g (x) =
⎪
⎪
⎩ 1 si x = 0
y si ∀x ∈ R , f (x) = 0, entonces
lim f (x) = lim g (x) = 0,
x→0 x→0
pero limx→0 g ( f (x)) = 1.
Tarea
4
Problema 6.1.1 Hallar limx→1− !x "#x $ y limx→1+ !x "#x $. x +1−1
Problema 6.1.7 Hallar limx→0 .
x
Problema 6.1.2 Hallar
4 4 4
|x − 2| |x − 2| x −1+ x2 + 1 − x4 + 1
lim , lim . Problema 6.1.8 Hallar limx→1 4 4 4 .
x→2− (2 − x)!x " x→2+ (2 − x)!x "
x +1+ x2 − 1 − x3 + 1
+ ,
1 2 (x n − 1)(x n−1 − 1) · · · (x n−k+1 − 1)
Problema 6.1.6 Hallar limx→1 − 2 . Problema 6.1.10 Hallar limx→1 .
x −1 x −1 (x − 1)(x 2 − 1) · · · (x k − 1)
86
Chapter 6. Introducción al cálculo diferencial
204 Definición 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 asíntota (horizontal) de la función f .
205 Definición Sea k > 0 un entero. Una función f tiene un polo de orden k en el punto x = a si (x − a)k−1 f (x) → ±∞
cuando x → a, pero si (x − a)k f (x) cuando x → a es finito. Algunos autores llaman a los polos asíntotas verticales.
1 1 1
Figure 6.4: x !→ Figure 6.5: x !→ −1 Figure 6.6: x !→ +3
x x −1 x +2
R \ {0} → R \ {0}
206 Ejemplo Como x f (x) = 1, f (0−) = −∞, f (0+) = +∞ para f : , f tiene un polo de orden 1 en
1
x !→
x
x = 0. Obsérvese además que la recta y = 0 (esto es, el eje de x) es asíntota de f . La gráfica de f aparece en 4.5.
207 Ejemplo Si
R \ {0} → R \ {0}
f :
1
x !→
x
entonces la curva y = f (x − 1) − 1 es una traslación una unidad hacia la derecha y una unidad hacia abajo. El polo pues se
ha trasladado a la recta x = 1 y la asíntota a la recta a y = −1. Si g (x) = f (x − 1) − 1, entonces la gráfica de
R \ {1} → R \ {−1}
g:
1
x !→ −1
x −1
208 Ejemplo Si
R \ {0} → R \ {0}
f :
1
x !→
x
entonces la curva y = f (x + 2) + 3 es una traslación una unidad hacia la derecha y una unidad hacia abajo. El polo pues se
87
6.2. Límites en la infinidad
R \ {−2} → R \ {3}
g:
1
x !→ +3
x +2
se puede ver en la figura 6.6.
Los siguientes ejemplos muestran una técnica útil para hallar límites en la infinidad de funciones racionales.
cuando x → +∞.
Tarea
Problema 6.2.1 Trazar las gráficas de las curvas Determínese
1
1. y = −1
x −1 1. g (−∞) 4. g (−1+) 7. g (1)
/ /
/ 1 / 2. g (−1−) 5. g (0) 8. g (1+)
2. y = // − 1//
x −1
3. g (−1) 6. g (1−) 9. g (+∞)
1
3. y = −1
|x| − 1 !ax "
Problema 6.2.3 Sea a ∈ R. Determinar limx→+∞ .
x
Problema 6.2.2 Sea g : R → R la función a trozos definida por
⎧ Problema 6.2.4 Hallar limx→+∞ {x}.
⎪
⎪ 1
⎪
⎪ si x ∈ −∞;−1
⎪
⎪
⎨ x
⎪ 4 4 4
Problema 6.2.5 Hallar limx→+∞ x + x − x.
g (x) = |x| si x ∈ −1;1
⎪
⎪
⎪
⎪
⎪
⎪ 4
⎪ 3
⎩ 1 + 2x si x ∈ 1;+∞ Problema 6.2.6 Hallar limx→+∞ x 3 + x − x.
88
Chapter 6. Introducción al cálculo diferencial
6.3 Continuidad
< = < =
212 Definición (Continuidad en un punto) Sea f : Dominio f → R y t ∈ Dominio f . Se dice que f es continua a
la diestra en t si f (t ) = f (t +). Se dice que f es continua a la siniestra en t si f (t ) = f (t −). Se dice que f es continua en t si
f (t ) = limx→t f (x).
☞ Se ve que para una función ser continua en t se deben cumplir los siguientes requisitos:
Intuitivamente, una función continua es aquella cuya gráfica se puede trazar sin levantar el lápiz.
213 Definición Sea f : a; b → R. Se dice que f es continua en el intervalo a; b si f es continua en todo punto
de a; b , f es continua en la diestra en a y f es continua en la siniestra en b.
4
214 Ejemplo Demostrar que la función f : 0; +∞ → 0; +∞ , x !→ x, es continua.
Resolución ' Se demostrará primero que f es continua a la diestra de 0 y luego que es continua en ambas
direcciones de toda a > 0.
4 4
Obsérvese que f (0) = 0 y que para tener | x| = x < ε se necesita 0 < x < ε2 . Así pues, elíjase δ < ε2 . Luego se
tendrá,
/ /
0 < x − 0 < δ =⇒ 0 < x < ε2 =⇒ / f (x) − f (0)/ < ε,
de donde f es continua en 0.
/4 4 / 4
Considérese ahora a > 0. Como / x + a / ≥ a, se tendrá
/ /
/ f (x) − f (a)/ < ε
siempre y cuando
/4 4 / 4
/ x − a / < ε =⇒ /4|x − 4a| |x − a|
/< 4 < ε =⇒ |x − a| < aε.
/ x + a/ a
4
Luego es suficiente tomar δ < aε y así se tendrá
4
/4 4 / |x − a| δ aε
|x − a| < δ =⇒ / / /
x− a = 4 / < < 4 = ε,
/ x + 4a / 4a a
demostrando la continuidad en a. *
Por el teorema 192, todo polinomio es continuo en R. Utilizando los teoremas 192 y 191, toda función racional es con-
tinua 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 denomi-
nador.
89
6.3. Continuidad
Demostración: Si a ∈ I , se debe distinguir los casos en donde sea un punto interior del intervalo (para con-
tinuidad 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
/ /
|x − a| < δ =⇒ / g (x) − g (a)/ < ε.
Ahora bien, g (a) ∈ J y entonces como f es continua en g (a) se tiene que ∀ε′ > 0 ∃δ′ > 0 tal que
/ / / /
/ g (x) − g (a)/ < δ′ =⇒ / f (g (x)) − f (g (a))/ < ε′ .
de donde f ◦ g es continua en a. ❑
216 Ejemplo Si g : R → R,
⎧
⎪
⎪ x −1
⎨
2 −1
si x ̸= 1
g (x) = x
⎪
⎪
⎩ a si x = 1
es continua en x = 1, hallar a.
x −1 1 1 1
Resolución ' Se tiene = → cuando x → 1. Luego se necesita a = . *
x2 − 1 x + 1 2 2
; 4 4
217 Ejemplo Sea f : 0; +∞ → 0; +∞ , x !→ x+ x + x + · · ·. Determinar si f es continua a la diestra de 0.
218 Ejemplo Hallar una función f : R → R tal que f no sea continua en ninguna parte pero que | f | sea continua en todas
partes.
R → R
⎧
f : ⎪
⎪
⎨ −1 si x ∈ Q
x !→
⎪
⎪
⎩ +1 si x ∈ R \ Q
1
Entonces f no es continua en ninguna parte. Por ejemplo, para ε = 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 ∈ a − δ; a + δ con
/ f (x) − f (a)/ = 2.
Como | f | es idénticamente constante, | f | es continua en todas partes.
*
90
Chapter 6. Introducción al cálculo diferencial
Tarea
Problema 6.3.1 Sea f : R → R satisfaciendo Problema 6.3.4 Encontrar los puntos de discontinuidad de la fun-
/ /
∀x / f (x)/ ≤ |x|. R → R
⎧
Demostrar que f es continua en 0. ción f : ⎪
⎪ .
⎨ 0 si x ∈ Q
x !→
⎪
⎪
Problema 6.3.2 Encontrar los ⎩ x si x ∈ R \ Q
4 puntos de discontinuidad de la fun-
ción f : R → R, f : x !→ !x " + x − !x ".
Problema 6.3.3 Encontrar los puntos de discontinuidad de la fun- Problema 6.3.5 Encontrar los puntos de discontinuidad de la fun-
R → R R → R
⎧ ⎧
ción f : ⎪
⎪ . ción f : ⎪
⎪ .
⎨ x si x ∈ Q ⎨ 0 si x ∈ Q
x !→ x !→
⎪
⎪ ⎪
⎪
⎩ 0 si x ∈ R \ Q ⎩ 1 si x ∈ R \ Q
| f (s)|
Demostración: Póngase ε = en la definición de continuidad. Existe una δ > 0 tal que
2
| f (s)| | f (s)|
|x − s| < δ =⇒ f (s) − < f (x) < f (s) + .
2 2
| f (s)|
Si f (s) es estrictamente positivo, también lo serán f (s) ± . De la misma manera, si f (s) es estrictamente
2
| f (s)|
negativo, también lo serán f (s) ± .❑
2
220 Teorema (Teorema del valor intermedio o de Bolzano-Darboux-Weierstrass) Si una función continua cam-
biare de signo en un intervalo, entonces anularse ha en dicho intervalo. Con más precisión: sea f : a; b → R continua,
con f (a) < 0 < f (b). Entonces existe c ∈ a; b tal que f (c) = 0.
Entonces S ̸= ∅ ya que a ∈ S. En efecto, por el principio de inercia (teorema 219) existe δ > 0 con a; a + δ ! S.
S es acotado superiormente ya que b es una cota superior. Por el axioma del supremo, S tiene un supremo,
dígase s = sup S. Luego a < s < b ya que a ∈ S y S ! 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 aproximación 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
6.4. Propiedades de las funciones continuas
s − δ2 < y 0 < s.
221 Corolario Todo polinomio p(x) ∈ R[x] con coeficientes reales y grado non posee al menos una raíz real.
222 Ejemplo Demostrar que la ecuación x 3 − x + 1 = 0 tiene una raíz en el intervalo −2; −1 .
Resolución ' Póngase p(x) = x 3 − x + 1. Obsérvese que p es continuo en R. Entonces p(−2) = −7, p(−1) = 1.
Como p(−2) y p(−1) cambian de signo, el resultado se deduce del teorema del valor intermedio.2 *
223 Teorema Si f es continua en a; b entonces f está acotada tanto superiormente como inferiormente.
Como a ∈ S, S ̸= ∅. Además, S está acotado superiormente por b. Por el axioma del supremo, ∃s = sup S.
Demostraráse que s = b.
Supóngase 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 algún x0 ∈ S con s − δ < x0 < s, de donde f es acotada en a; x0 . Pero si
x1 satisficiere s < x1 < s + δ, entonces f sería también 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 pequeño δ′ > 0 tal que f es acotada en b − δ′ ; b + δ′ . Existe un x2 ∈ S tal que b − δ′ < 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 considérese el anterior argumento con − f en vez de f .
❑
Demostración: Por el teorema 223, el conjunto f ( a; b ) es acotado. Como este conjunto es claramente no
nulo, posee una cota superior, dígase s = sup( f ( a; b )). Luego
∀x ∈ a; b , f (x) ≤ s.
2 Se puede demostrar, mediante una aplicación engorrosa de las fórmulas de Cardano, que la raíz real es x = − 1 108 + 12 2
< 4 =1/3
69 −< 4 =1/3 ≈
6 108 + 12 69
−1.324717957.
3 Se presume en esta demostración que a < s, cosa de que f sea definida en s −δ; s +δ . Si este no fuere el caso entonces cámbiese s −δ; s +δ
por a; s + δ y continúese la demostración.
92
Chapter 6. Introducción al cálculo diferencial
∀β ∈ a; b , s ̸= f (β).
Luego la función
1
g: a; b → R, g (x) =
s − f (x)
es continua en a; b .
Como s es el supremo de f ( a; b ), ∀ε > 0 existe x ∈ a; b con s − f (x) < ε. Luego
1
∀ε > 0∃x ∈ a; b , g (x) > ,
ε
esto es, g es continua en a; b pero no acotada, contradiciendo el teorema 223.
Para demostrar la existencia de α, considérese − f . ❑
225 Ejemplo (Ecuación funcional de Cauchy) Supóngase 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.
Resolución ' 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)
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 ̸= 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.
+ ,
!nx " !nx "
Sea x ∈ R. Si n > 0 es entero, entonces f =c y
n n
!nx " 1
!nx " ≤ nx < !nx " + 1 =⇒ ≤ x < + ,
n n
lo que quiere decir que al incrementar n, se puede obtener una aproximación tan precisa como se deseare de x,
!nx "
o, en otras palabras → x cuando n → +∞.4 Por ser f continua,
n
+ ,
!nx " !nx "
c =f → f (x),
n n
!nx "
y como → x, se obtiene la conclusión. *
n
4 Desgraciadamente no se quiere utilizar el lenguaje de sucesiones aquí y por lo tanto, el argumento dado es un tanto impreciso.
93
6.4. Propiedades de las funciones continuas
226 Teorema (Generalisation of Bernoulli’s Inequality) Let (α, x) ∈ R2 with x ≥ −1. If 0 < α < 1 then
(1 + x)α ≤ 1 + αx.
If α ∈ −∞; 0 ∪ 1; +∞ then
(1 + x)α ≥ 1 + αx.
Equality holds in either case if and only if x = 0.
m
Demostración: Let α ∈ Q, 0 < α < 1. Then α = for integers m, n with 1 ≤ m < n. Since x + 1 ≥ 0, we may use
n
the AM-GM Inequality to obtain
(1 + x)α = (1 + x)m/n
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 ! Q such that
an → α as n → +∞. Then
(1 + x)a n ≤ 1 + an x,
whence by the continuity of the power functions (Theorem ??),
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
(1 + αx)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,
α2 2 ) α *) α * 1 α
1 ≥ 1− 2
x = 1 − x 1 + x =⇒ α ≥ 1 + n x,
n n n 1− x
n
94
Chapter 6. Introducción al cálculo diferencial
α 1
(1 + x)−α/n ≤ 1 − x =⇒ (1 + x)α/n ≥ α
n 1− x
n
α
=⇒ (1 + x)α/n ≥ 1 + x
n
) α *n
=⇒ (1 + x)α ≥ 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 Problema 6.4.4 Bajo las mismas condiciones del problema 6.4.3,
que f tiene un punto fijo, esto es, que existe un punto c ∈ a;b demostrar que no existen cuerdas de longitud a,0 < a < 1, a ̸= 1/n.
tal que f (c) = c.
Problema 6.4.5 Sean p(x), q(x) polinomios con coeficientes reales
Problema 6.4.2 Suponer que f : 0;1 → 0;1 es continua. y satisfaciendo
Demostrar que existe un número c en 0;1 tal que f (c) = 1 − c. p(x 2 + x + 1) = p(x)q(x).
Demostrar que p debe tener grado par.
Problema 6.4.3 (Teorema de las cuerdas) Supóngase que f :
0;1 → 0;1 es continua con f (0) = f (1). Sea n > 0 un entero. Problema 6.4.6 Sea f : R → R continua y satisfaciendo para toda
Demostrar que existe un x ∈ 0;1 tal que f (x) = f (x + 1/n). x la propiedad < = < =
f (x) · ( f ◦ f )(x) = 1.
Dado que que f (1000) = 999, hallar f (500).
6.5 Infinitésimos
227 Definición Sean f y g dos funciones definidas en un vecindario de a ∈ R ∪ {±∞}. Se dice que f es infinitésima con
respecto a g cuando x tiende a a si ∀ε > 0 existe un vecindario de a, Na tal que
f (x) < =
lim = 0 =⇒ f = o g , x → a.
x→a g (x)
x2
lim = lim x = 0.
x→0 x x→0
95
6.5. Infinitésimos
< =
229 Ejemplo Se tiene x = o x 2 cuando x → +∞, ya que
x 1
lim = lim = 0.
x→+∞ x 2 x→+∞ x
< = < =
230 Teorema Se tiene ∀(α, β) ∈ R2 , x α = ox→+∞ x β ⇐⇒ α < β. Además, ∀(α, β) ∈ R2 , x α = ox→0+ x β ⇐⇒ α > β.
Demostración:
❑
☞
x → 0.
< =
La relación oh pequeña no es simétrica, por ejemplo, x 2 = o (x) cuando x → 0, pero no es cierto que x = o x 2 cuando
< = < =
231 Definición Se escribe α(x) = γ(x) + o β(x) cuando x → a si α − γ = o β cuando x → a.
El siguiente teorema asegura que tanto la suma como el producto de infinitésimos es infinitésimos y provee una “ley
de composición a la diestra.”
232 Teorema Sean f , g , α, β, funciones reales definidas en un vecindario de a ∈ R ∪ {±∞}. Sea λ ∈ R constante. Sea h
una función real definida en un intervalo conteniendo a b ∈ R ∪ {±∞}. Entonces
1. f = o (α) =⇒ λf = o (α).
Demostración:
96
Chapter 6. Introducción al cálculo diferencial
6.6 La derivada
97
7
Funciones polinómicas
7.6
7.7
98
8
Funciones racionales
99
9
Funciones exponenciales y logarítmicas
100
10
Funciones goniométricas
101
11
Funciones goniométricas inversas
102
A
Teorema de Tales y teorema de Pitágoras
←→
233 Notación Se utilizará mayúsculas A, B,C , . . . para indicar puntos en el plano. AB es la recta (infinita) que pasa por
←→ ←→ ←→ ←→
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 △ABC , las longitudes de
los lados se denotan con minúsculas de los vértices opuestos: así a = BC , b = C A y c = AB. Los puntos medios de cada
lado del triángulo se denotan por la letra del vértice 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 vértice A como su medida se
denotará por AB = CC AB = BCAC . Véase la figura A.1. Si el △ABC es congruente al △DE F , se escribirá △ABC ∼ = △DE F ,
renombrando los vértices, quizás, de tal manera que AB = DE , BC = E F y C A = F D.
A A A A′
R R′
L
b
MC S S′
c
MC MB D MB L′
P
T T′
L ′′
Q
MA
C C′
B C
a B C
234 Teorema El segmento de recta que une los puntos medios de dos lados de un triángulo es paralelo al tercer lado y
mide la mitad de éste.
←→ ← → ←−−−→
Demostración: Constrúyase BD ∥ AC e intersecando MB MC en D. Por ser ángulos opuestos por el vértice MC ,
D E ←→ ←→
M B MC B = D MB B . Por ser ángulos alternos internos de las paralelas AC ∥ DB se tiene que AB = M
EC BD . Como
∼ 1
por hipótesis AMC = MC B se concluye por el criterio ALA que △AMC MB = △B 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 triángulo y es paralela a otro de sus lados, biseca también al tercer
lado.
←−−→ ←→
Demostración: Supóngase que en la figura A.2, la recta MC F es paralela a BC , donde F es la intersección de
←−−−→ ← → ←−−−→ ←−−→
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
El siguiente teorema generaliza al teorema 234.
236 Teorema Si una secante es dividida en segmentos congruentes por rectas paralelas, entonces toda otra secante
también será dividida en segmentos congruentes por dichas rectas paralelas.
Demostración: Véase la figura A.3, en donde se supone que las rectas L, L ′ y L ′′ son paralelas al segmento CC ′ y
que R ′ S ′ = S ′ T ′ . Se debe demostrar que RS = ST . Constrúyase, paralelo a A ′C ′ , los segmentos RP y SQ como en
la figura. Entonces RR ′ S ′ P y SS ′ T ′ Q son paralelogramos y por tanto RP = R ′ S ′ y SQ = S ′ T ′ , conllevando ésto a
RP = SQ. Al ser ángulos correspondientes en paralelas, QT CS = P C C =P
SR y QST C RS. Así pues, por el criterio ALA,
∼
△RP S = △SQT y por tanto, RS = ST , tal como se quería demostrar. ❑
A n+1 A ′n+1
A A′ P Q
A A′
Q′
An A ′n
B B′ B B′ A B
M N
N′
C C′ C C′ C D
Figure A.4: Teorema 237, Figure A.5: Teorema 237, Figure A.6: Recíproca del
caso racional. caso irracional. teorema 237.
237 Teorema (Teorema de Tales) Rectas paralelas determinan sobre dos secantes cualesquiera segmentos correspon-
dientes proporcionales.2 Recíprocamente, toda recta que determine sobre los lados no paralelos de un trapecio segmentos
proporcionales es paralela a las bases.3
AB
= r.
BC
Se tiene que demostrar que
A′B ′
= r.
B ′C ′
m
Presúmase primero que r = , el cociente de dos enteros positivos. Luego n AB = mBC . Divídase a A ′ B ′ en m
n
′ ′
partes iguales y a B C en n partes iguales. Por el teorema 236, AB está dividido por estas paralelas en m partes
2 “Si tres o más paralelas (Si tres o más parale-le-le-las)
Si tres o más paralelas (Si tres o más parale-le-le-las)
Son cortadas, son cortadas (por dos transversales, dos transversales)
Son cortadas, son cortadas (por dos transversales, dos transversales)
Si tres o más parale-le-le-las Si tres o más parale-le-le-las
Son cortadas, son cortadas Son cortadas, son cortadas...
Dos segmentos de una de estas,
dos segmentos cualesquiera
Dos segmentos de una de estas
son proporcionales
A los segmentos correspondientes de la oootraaa....”
Les Luthiers.
3 Recuérdese que un trapecio es un cuadrilátero en el que exactamente dos lados (las bases) son paralelas.
104
Appendix A. Teorema de Tales y teorema de Pitágoras
iguales, y BC está dividido por estas paralelas en n partes iguales. Por consiguiente,
AB m
= ,
BC n
Considérese ahora el caso r ∈ R \ Q. Dado un entero q > 0, divídase a B ′ C ′ en q partes iguales, de medida común.
Comenzando en B ′ y en la dirección de A ′ comiéncese a dividir a A ′ B ′ en segmentos de longitud de esta medida
A′B ′
común. Como ′ ′ es irracional, el punto A ′ yace entre dos puntos, dígase A ′n y A ′n+1 , con A ′n B siendo n veces
BC
esta medida común y A ′n+1 B siendo n + 1 veces esta medida común. Las paralelas a las rectas A A ′ , BB ′ , CC ′
pasando por las A ′k cortan a AC en A k . Se tiene
An B AB A n+1 B A ′n B ′ A′B ′ A′ B ′
< < , < < n+1 ,
BC BC BC B ′C ′ ′
BC ′ B ′C ′
de donde
AB A n B A n A n+1 1 A ′ B ′ A ′n B ′ A ′n A ′n+1 1
0< − < = , 0< − < = .
BC BC BC q B ′C ′ B ′C ′ B ′C ′ q
An B A′ B ′
Gracias al caso arriba demostrado cuando r ∈ Q, se tiene = n′ ′ . De aquí, por la desigualdad del trián-
BC BC
gulo,
/ ′ ′ / / ′ ′ / / /
/A B AB // // A B A n B // // A n B AB // 2
/
/ B ′ C ′ − BC / < / B ′ C ′ − BC / + / BC − BC / < q ,
Se definirá ahora el importante concepto de la semejanza de triángulos, y veráse, gracias al Teorema de Tales, un
importante criterio de semejanza de triángulos.
238 Definición (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 dilatación o con-
tracción utilizada se llama coeficiente de homotecia o de semejanza. Si S y T son semejantes se escribe S ∼ T .
239 Teorema (Criterio AAA) Dos triángulos son semejantes si y sólo si sus ángulos homólogos son congruentes.
240 Teorema (Pitágoras) La suma de los cuadrados de las longitudes de los catetos de un triángulo rectángulo es igual
a la longitud del cuadrado de la hipotenusa.
105
Tarea
c a−x b x
= , = =⇒ c 2 = a(a − x), b 2 = ax,
a c a b
de donde
c 2 + b 2 = a(a − x) + ax = a 2 ,
como se tenía que demostrar. ❑
C x
E a a−
x
b
A B
c
241 Teorema (Recíproca del Teorema Pitágoras) Si en el triángulo △ABC , a 2 + b 2 = c 2 , entonces el triángulo es
rectángulo en C .
X Y 2 = X Z 2 + Z Y 2 = b 2 + a 2 = c 2 =⇒ X Y = c.
Tarea
106
Appendix A. Teorema de Tales y teorema de Pitágoras
G H D
A C
F I A B
O P
Figure A.9: Problema 244.
BD AB B A
= .
CD AC
O
A
246 Problema Se inscribe un círculo de radio 2 en un
cuadrado. Un círculo menor, de radio r es tangente tanto
al círculo mayor como a dos lados del cuadrado dentro del
cuadrado. Hallar r.
C
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.4 Agrúpese los treinticuatro enteros de esta progresión en los dicienueve grupos
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 sumarán a 104.
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 subcon-
juntos le asociamos su suma. La máxima 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 idéntica. Luego, S \ (S ∩ T ) y T \ (S ∩ T ) también tienen suma
idéntica de elementos.
1.3.2 La región R = {(x, y) ∈ R2 : |x| ≤ 2, |y| ≤ 2} es el cuadrado 4 × 4 que aparece en la figura B.1.
4
3
2
1
−1
−4−3−2−1 1 2 3 4
−2
−3
−4
108
Appendix B. Indicaciones y respuestas
4 4 4 4
1.4.1 No. Tanto 2 ∈ R \ Q como − 2 ∈ R \ Q, pero 2 + (− 2) = 0 ∈ Q.
4 4 4 4
1.4.2 No. Tanto 2 ∈ R \ Q como − 2 ∈ R \ Q, pero 2 · (− 2) = −4 ∈ Q.
rt
1.4.3 Si r + t ∈ Q, entonces t = r + t − r ∈ Q, contradicción. De la misma manera, si r t ∈ Q, entonces t = ∈ Q, contradicción.
r
1.4.4 Al poner x = 0.1242424..., se deduce 10x = 1.242424..., 1000x = 124.242424... de donde se colige que
123 41
1000x − 10x = 124.242424... − 1.242424... = 123 =⇒ x = = .
990 330
4 a
1.4.5 Presúmase que 2 = , con enteros positivos a,b. Esto conlleva a 2b 2 = a 2 . Ahora bien, tanto a 2 como b 2 tienen un número par
b
de primos en su factorización (contando repeticiones). Luego 2b 2 tiene un número impar de primos en su factorización y a 2 tiene un
número par de primos en su factorización. Esto contradice el hecho de que todo entero positivo mayor que 1 puede descomponerse
en factores primos de forma única.
4 4
1.4.6 Si 2 + 3 = r ∈ Q entonces
4 4 4 4 r2 −1
3 = r − 2 =⇒ 3 = r 2 − 2r 2 + 2 =⇒ 2 = ∈ Q,
2r
4
contradicción al hecho que 2 ̸∈ Q.
1.4.8 Se tiene
x◦y = (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.
109
Indicaciones y respuestas
y
(0 ∗ 0) ∗ 1 = (−0 − 0) ∗ 1 = (0) ∗ 1 = −0 − 1 = −1,
la operación asociativa no es.
4
1.4.10 Sea ω = − 12 + i 23 . Entonces ω2 + ω + 1 = 0 y ω3 = 1.1 Entonces
(a + ωb + ω2 c)(u + ωv + ω2 w ) = au + bw + cv
+ω(av + bu + cw )
(a + ω2 b + ωc)(u + ω2 v + ωw ) = au + bw + cv
+ω(aw + bv + cu)
+ω2 (av + bu + cw ).
Se ha demostrado que
a ⊗ (b ⊗ c) = a ⊗ (b + c − bc)
= a + b + c − bc − a(b + c − bc)
= a + b + c − ab − bc − ca + abc.
Por otra parte,
(a ⊗ b) ⊗ c = (a + b − ab) ⊗ c
= a + b − ab + c − (a + b − ab)c
= a + b + c − ab − bc − ca + abc,
(a + 2b)2
1.5.3 Supóngase que al contrario ≥ 2. Entonces,
(a + b)2
(a + 2b)2 2 2 2 2 2 2 a2
≥ 2 =⇒ a + 4ab + 4b ≥ 2(a + 2ab + b ) =⇒ 2b ≥ a =⇒ ≥ 2,
(a + b)2 b2
contradicción. Además, por adición
110
Appendix B. Indicaciones y respuestas
Luego A t = ∅ ⇐⇒ t ∈ −∞;0 .
La ecuación cuadrática tendrá exactamente una solución si o bien t − 1 = 0, esto es, si la ecuación es lineal, o si tiene una raíz
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
1 1
A 1 = {x ∈ Rx + = 0} = {− }, A 0 = {x ∈ R − x 2 = 0} = {0}.
4 4
La ecuación cuadrática tendrá exactamente dos soluciones reales si su discriminate es estrictamente positivo:
1.6.2 {−1,0,1,2,3,4, 5, 6, 7, 8, 9}
1.6.3
1. Obsérvese que x 2 − x − 6 = (x − 3)(x + 2). Entonces se observa que en las cercanías de x = −2 y x = 3, se tiene:
x∈ −∞ −2 −2;3 3;+∞
x +2 − + +
x −3 − − +
(x + 2)(x − 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.
4 4
1.6.6 Cuatro. O bien x 2 − 4x = −3 o bien x 2 − 4x = 3. Así, x ∈ {1,3,2 − 7,2 + 7}.
4
1.6.7 x ∈ {−2,1 + 5}
1.6.8 La ecuación x 2 − x − 4 = 0 no tiene raíces racionales. Para buscar sus raíces, se completará cuadrados:
+ , 2 4 32 4 3
2 21 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
Así pues
4 322 4 3
2 1 17 1 17
x − x − 4 ≥ 0 ⇐⇒ x − − x− + ≥ 0.
2 2 2 2
111
Indicaciones y respuestas
4 4
1 17 1 17
Se puede ahora formar un diagrama de signos, punzando a la recta real en x = − y en x = + :
2 2 2 2
4 4 4 4
1 17 1 17 1 17 1 17
x∈ −∞; − − ; + + ;+∞
2 4 3 2 2 2 2 2 2 2 2
1 17
x− − − + +
2 2
2 4 3
1 17
x− + − − +
2 2
2 4 32 4 3
1 17 1 17
x− − x− + + − +
2 2 2 2
Se deduce que 4 4
! " 1 17 1 17
x ∈ R : x2 − x − 4 ≥ 0 = −∞; − ∪ + ;+∞ .
2 2 2 2
4 4 4 4
1.6.9 Hay cuatro soluciones: {−1 − 2,−1 + 2,1 − 2,−1 + 2}.
1.6.10 −∞;−1 .
1.6.11 −2;−1
/ /
1.6.12 Obviamente, max(x, / /
/ y) + / min(x, y) = x + y. Ahora, o bien x − y = x − y y entonces x ≥ y, lo que significa que max(x, y) −
min(x, y) = x − y, o bien /x −/ y / = /−(x − y) = y − x, lo que significa que y ≥ x y entonces max(x, y) − min(x, y) = y − x. En cualquier
caso, max(x, y) − min(x, y) = /x − y /. Resolviendo el sistema de ecuaciones
1.6.14 3;+∞
12 1
1.6.15 ;
25 2
- .
5
1.6.16
2
1.6.19 O bien x ∈ −∞;0 , o bien x ∈ 0;1 , o bien x ∈ 1;+∞ . En el primer caso la desigualdad es obvia, ya que para x ≤ 0
x 8 − x 5 + x 2 − x + 1 = x 8 + x 2 (1 − x 3 ) + (1 − x) > 0.
112
Appendix B. Indicaciones y respuestas
1.7.3 Se tiene ; ; ;
4 4 4 4 4 4
5+2 6 = 2+2 6+3 = ( 2 + 3)2 = 2 + 3
4 x+y
xy ≤ = 25,
2
con igualdad si y sólo si x = y = 25. Luego el valor máximo del producto es 625, ya que
x y ≤ 252 = 625.
Así,
4
x(x + 1)(x + 2)(x + 3) + 1 = y +1
= x 2 + 3x + 1
= 1012 + 3 · 106 + 1
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
x2 + y2 y2 + z2 z2 + x2
≥ 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
1) *
x 2 + y 2 + z 2 − (x y + yz + zx) = (x − y)2 + (y − z)2 + (z − x)2 ,
2
de donde resulta la desigualdad al notar que el lado diestro es siempre positivo.
113
Indicaciones y respuestas
x4 + y4 + z4 = (x 2 )2 + (y 2 )2 + (z 2 )2
≥ x2 y2 + y2 z2 + z2 x2
= x yz(x + y + z),
a 4 + b4 + c 4 1
≥ ,
(a 2 + b 2 + c 2 )2 3
dando a su vez, 9 4
S(a,b,c) 1 2 1 3
≤ 1− = 4 = ,
a 2 + b2 + c 2 4 3 4 3 12
el máximo deseado.
1.7.10 Partiendo de
y +z z +x x+y
+ + = 2,
x + y +z x + y +z x + y +z
utilícese la desigualdad de Cauchy:
4 4 4 + ,
x+y y +z z +x x+y y +z z + x 1/2 < 2 =1/2
4 ·1+ 4 ·1+ 4 ·1 ≤ + + 1 + 12 + 11
x + y +z x + y +z x + y +z 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,
3 1 1 1 1 9
x4 + x2 + 4 x + x + x + x + x + x 6 1 1 1 1
= ≥ x 3 + x · · · · = 1,
x 6 x x x x
luego
x4 + x2 + 4
≥ 6,
x
1
y el valor mínimo es 6, que ocurre cuando x 3 = x = = 1.
x
114
Appendix B. Indicaciones y respuestas
x 4 y 4 z 4
x + y +z = 4 · y +z + 4 · z +x + 4 · x+y
y +z z + x x+y
2 31/2
x2 y2 z2 < = 1/2
≤ + + (y + z) + (z + x) + (x + y)
y +z z +x x + y
2 31/2
4 x2 y2 z2 < = 1/2
= 2 + + x + y +z ,
y +z z +x x + y
1.7.14 Transponiendo
a 2 − ab + b 2 − bc + c 2 − dc + d 2 − d a = 0,
or
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 sólo si cada sumando es cero, se obtiene a = b,b = c,c = d,d = a, lo cual demuestra
la aserción.
1.7.15 25
1.7.16 Se tiene
(r − s + t)2 − t 2 = (r − s + t − t)(r − s + t + t) = (r − s)(r − s + 2t).
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 .
= (a + b + c)(a 2 + b 2 + c 2 − ab − bc − ca).
Para deducir la desigualdad de las medias, obsérvese que con lo que se ha demostrado, ya que a 2 +b 2 +c 2 −ab−bc −ca ≥ 0 y a+b+c ≥ 0,
que
a 3 + b3 + c 3
a 3 + b 3 + c 3 − 3abc ≥ 0 =⇒ abc ≤
3
4 4 4
y poniendo a = 3 x, b = 3 y, c = 3 z, se deduce que
a 3 + b3 + c 3 4 x + y +z
abc ≤ =⇒ 3 x yz ≤ .
3 3
115
Indicaciones y respuestas
a +x
1.7.18 Si x ∈ −a; a , entonces tanto a+x ≥ 0 como a−x ≥ 0. Se utiliza la desigualdad de la media par n = 8, a 1 = a 2 = ··· = a 5 =
5
a −x
and a 6 = a 7 = a 8 = . Se deduce que
3
⎛ )a +x * ) a − x * ⎞8
) a + x *5 ) a − x *3 5 +3 ) a *8
⎜
≤⎝ 5 3 ⎟
,
⎠ =
5 3 8 4
de donde
55 33 a 8
(a + x)5 (a − x)3 ≤ ,
48
a +x a −x
con igualdad si y sólo si = .
5 3
2.1.1 Se tiene ; ; 4
d( (a,b), (b, a) ) = (a − b)2 + (b − a)2 = 2(a − b)2 = |a − b| 2.
2.1.2 Se tiene : :
+ + ,, ) ) a + c **2 + + ,,2 ) a − c *2 + ,
a +c b +d b +d b −d 2
d (a,b), , = a− + b− = + .
2 2 2 2 2 2
Además, : :
++ , , )) a + c * *2 ++ , ,2 ) a − c *2 + ,
a +c b +d b +d b −d 2
d , , (c,d) = −c + −d = + .
2 2 2 2 2 2
;
2.1.3 4x 2 + (α + β)2 t 2
2.1.5 Se necesita ; 4 4
(x − 0)2 + (1 − 2)2 = 2 =⇒ 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,b4 > 0 entonces la recta que une a (−b,0) y (a,0) yace en el segundo
4 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 sólo invierte unos a + b minutos aquí. Así pues, en tanto
a 2 + b2
a +b ≤ ,
2
la cucaracha deberá evitar el segundo cuadrante a toda costa. Pero por la desigualdad de la media
4 4
2ab ≤ a 2 + b 2 =⇒ (a + b)2 = a 2 + 2ab + b 2 ≤ 2a 2 + 2b 2 =⇒ a + b ≤ 2 a 2 + b2 ,
1 1 1
lo que significa que en tanto la velocidad de la cucaracha en el segundo cuadrante sea < 4 será mejor evitarlo. Ya que < 4 , se
2 2 2
sigue lo anunciado.
116
Appendix B. Indicaciones y respuestas
2.1.7 Sin pérdida de generalidad, presúmase que el rectángulo ABC D tiene vértices en A(0,0), B(u,0), C (u, v ) y D(0, v ). Sus diagonales
son AC y BD, lo cual resulta en
; 4
AC = (u − 0)2 + (v − 0)2 = u 2 + v 2 ,
y
; 4
BD = (u − 0)2 + (0 − v )2 = u2 + v 2 ,
demostrando su igualdad.
2.1.8 Sin pérdida de generalidad, presúmase que el paralelogramo ABC D tiene vértices 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
1 1 1 4
1− + − ··· = = .
4 16 1 − −1 5
4
2.1.10 Úsese el teorema de Minkowski y el hecho que 172 + 1442 = 1452 . El valor buscado es S 12 .
Figure B.2: B
+ , + ,
0+1 1+0 1 1
2.2.2 El centro del círculo está en el punto medio del segmento de recta que une (0,1) y (1,0): , = , . Si R > 0 es el radio
2 2 2 2
del círculo entonces,
+ , + ,
1 2 1 2
x− + y− = R2.
2 2
Como (0,1) yace en el círculo,
+ , + ,
1 2 1 2 1 1 1
0− + 1− = R 2 =⇒ + = R 2 =⇒ = R 2 .
2 2 4 4 2
Así, la ecuación buscada es,
+ , + ,
1 2 1 2 1
x− + y− = .
2 2 2
117
Indicaciones y respuestas
2.2.3 El centro (h,k) del círculo equidista de estos puntos y por lo tanto
2. 4π − 4
a 2 = (a + b)a + k =⇒ k = −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.
1−a 3
π(b − a)
2.4.3 .
8
118
Appendix B. Indicaciones y respuestas
; ;
2.4.4 La distancia de (x, y) a (2,5) es (x − 2)2 + (y − 5)2 . La distancia de (x, y) a (3,−1) es (x − 3)2 + (y + 1)2 . Se quiere
; ;
x 3
(x − 2)2 + (y − 3)2 = (x − 3)2 + (y + 1)2 ⇐⇒ (x − 2)2 + (y − 3)2 = (x − 3)2 + (y + 1)2 ⇐⇒ y = + ,
4 8
que es la ecuación de una recta.
a d
2.5.1 L tiene pendiente − y L ′ tiene pendiente − . Luego
b e
a e
L ⊥ L ′ =⇒ − = =⇒ ad + eb = 0.
b d
2.5.2
3−2 1
1. Esta es claramente m = = .
1 − (−1) 2
x −1 5 x 5
2. L tiene la forma y = + k. Luego 2 = + k =⇒ k = de donde la recta tiene ecuación y = + .
2 2 2 2 2
′ x 4 x
3. L tiene ecuación de la forma y = + k. Así 4 = + k =⇒ k = 2, de donde la ecuación buscada es y = + 2.
2 2 2
4. L ′′ 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 ecuación y = + . Su reflexión por el eje de x tiene ecuación
2 2
x 5 x 5
−y = + =⇒ y = − − .
2 2 2 2
x 5
6. L tiene ecuación y = + . Su reflexión por el eje de y tiene ecuación
2 2
x 5
y =− + .
2 2
2.5.3
1. Si L t pasa por (−2,3) entonces
(t − 2)(−2) + (t + 3)(3) + 10t − 5 = 0,
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.
6. Si tal punto existiese, entonces pasaría 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
el punto (−7,−3) pasa por todas las rectas L t no importa cual valor de t.
4
2.5.4 6 1313
119
Indicaciones y respuestas
2.5.5 El radio del círculo es la distancia del centro a la recta tangente. El radio es pues
/ /
/ 3−2·4+3 / 2
/ /
r = /4 /= 4 .
/ 12 + (−2)2 / 5
c
←−−→ 2 ca c ca
AM A : y= x+ = x+ ,
b 2a − b b − 2a 2a − b
2 −a
c
←−−→ cb c cb
B MB : y = a 2 x+ = x+ ,
2 − b 2b − a a − 2b 2b −a
y
←−−→ c 2c
C MC : y= x +c = − x + c.
− a+b
2
a +b
←−−→ ←−−→
Como el triángulo 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
a +b
Para hallar el valor de la coordenada de y, se substituye x = en cualquiera de estas dos rectas, dígase en la primera:
3
c ca c a +b ca c
y= x+ = · + = .
b − 2a 2a − b b − 2a 3 2a − b 3
+ ,
a +b c ←−−→
Para concluir la demostración, se tiene que demostrar que el punto , yace sobre la recta C MC , esto es, se debe verificar
3 3
c ? 2c a +b
=− · + c,
3 a +b 3
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 , serán los opuestos de los recíprocos de las
pendientes de las rectas BC , C A, AB. Se encuentra pues que sus ecuaciones son
←−−→ b ab
AM A : y= x− ,
c c
←−−→ a ab
B MB : y= x− ,
c c
y
←−−→
C MC : x = 0.
←−−→ ←−−→
Se arguye que el triángulo no es degenerado y que por lo tanto AM A , B MB habrán de intersecarse. Por tanto x = 0 y
b ab a ab
x− = x− =⇒ x = 0,
c c c c
+ ,
ab ab
ya que al triángulo no ser degenerado, a ̸= b. Por lo tanto, y = − . Es obvio que 0,− también yace sobre L C MC , lo que demuestra
c c
el resultado.
120
Appendix B. Indicaciones y respuestas
←−→ a +b
A′B ′ : x= ,
2
←− → b
B ′C ′ : y= x,
c
←−→ a
C ′ A′ : y = x.
c
←−→ ←−→ a +b
Como A ′ B ′ , B ′C ′ han de intersecarse, x = y
2
b(a + b)
y= .
2c
2 3
a + b ab + c 2 ←−→
Como , también yace sobre C ′ A ′ , queda demostrado el resultado.
2 2c
2.5.9 Se puede suponer, sin pérdida de generalidad, que el cuadrado ABC D tiene vertices en A(0,0), B(a,0), C (a, a) y D(0, a). Las
←→ ← →
pendientes de las rectas AD y BC son 1 y −1, de donde las diagonales son perpendiculares.
2.6.1
1. Esto es y = (−x + 1) − (−x) + (−x − 1) = −x.
2. Esto es y = (−x + 1) − (−x) + (x + 1) = x + 2.
3. Esto es y = (−x + 1) − (+x) + (x + 1) = −x + 2.
4. Esto es y = (x − 1) − (+x) + (x + 1) = x.
5. La gráfica de C aparece en la figura adjunta .
7
6
5
4
3
2
1
−1
−8
−7−6
−5−4
−3 −1 1 2 3 4 5 6 7
−2
−2
−3
−4
−5
−6
−7
−8
7
6
5
4
3
2
1
−1
−8
−7−6
−5−4
−3 −1 1 2 3 4 5 6 7
−2
−2
−3
−4
−5
−6
−7
−8
121
Indicaciones y respuestas
7
6
5
4
3
2
1
−1
−8
−7−6
−5−4
−3 −1 1 2 3 4 5 6 7
−2
−2
−3
−4
−5
−6
−7
−8
2.6.4 El conjunto consiste de cuatro segmentos de círculo dentro del círculo x 2 + y 2 = 16 y acotado por las rectas y = x + 4, y = x − 4,
y = −x + 4 y y = −x − 4. Su gráfica aparece en la figura .
7
6
5
4
3
2
1
−1
−8
−7−6
−5−4
−3 −1 1 2 3 4 5 6 7
−2
−2
−3
−4
−5
−6
−7
−8
;
2.7.2 La distancia de (x, y) a (2,3) es (x − 2)2 + (y − 3)2 . La distancia de (x, y) a la recta x = −4 es |x − (−4)| = |x + 4|. We need
;
y2 y 1
(x − 2)2 + (y − 3)2 = |x + 4| ⇐⇒ (x − 2)2 + (y − 3)2 = (x + 4)2 ⇐⇒ x = − − ,
12 2 2
de donde la curva es una parábola.
x 2 + y 2 − 2x y − 4x − 4y + 4 = 0.
2 3 2 3
x2 x2
2.7.4 Póngase x > 0 y A = (0,0), B = x, y C = −x, . Entonces
2 2
M M
N 2 32 N 2 32 2 3
N x 2 N x2 x2 x2 4
O
AB = BC =⇒ (x − 0) + 2 O
− 0 = (x − (−x)) + 2 − 2
=⇒ x 1 + = 4x 2 =⇒ x = 2 3.
2 2 2 4
4 4
Los puntos son A(0,0), B(2 3,6) and C (−2 3,6).
122
Appendix B. Indicaciones y respuestas
2
1
−3 −2−1
−1 1 2 3
−2
−3
3.1.3 Se tiene
f (x − 1) − f (x + 1) = ((x − 1)2 − 2) − ((x + 1)2 − 2) = (x 2 − 2x − 1) − (x 2 + 2x − 1) = −4x.
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)
de donde
28 = f (g (50)) − g ( f (50)) = a 2 − b 2 − (a − b) = (a − b)(a + b − 1) = 7(a − b) =⇒ a − b = 4.
Luego,
(a + b)2 − (a − b)2 64 − 16
ab = = = 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
luego a = 2, b = −1, c = 3.
4
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
1 x −1
1. f [2] (x) = ( f ◦ f )(x) = f ( f (x)) = 1
= .
1 − 1−x x
+ ,
x −1 1
2. f [3] (x) = ( f ◦ f ◦ f )(x) = f ( f [2] (x))) = f = = x.
x 1 − x−1
x
3. Obsérvese que f [4] (x) = ( f ◦ f [3] )(x) = f ( f [3] (x)) = f (x) = f [1] (x). Se tiene que f es cíclica 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 Cambiándole el nombre a la variable muda, h(1 − s) = 2s. Si 1 − s = 3x entonces s = 1 − 3x. Así,
3.2.2 Póngase
p(x) = (1 − x 2 + x 4 )2003 = a 0 + a 1 x + a 2 x 2 + ··· + a 8012 x 8012 .
Entonces
1. a 0 = p(0) = (1 − 02 + 04 )2003 = 1.
2. a 0 + a 1 + a 2 + ··· + a 8012 = p(1) = (1 − 12 + 14 )2003 = 1.
3.
= 1.
p(1) + p(−1)
4. La suma requerida es = 1.
2
p(1) − p(−1)
5. La suma pedida es = 0.
2
3.2.3 Se tiene ; ;
P + ,Q 27 P +) * ,Q3 3
27+y 3 y 3 y
f 3 = f 3y + 1
y
⎛ ; ⎞
P +) * ,Q 3 3
3 y
= ⎝ f 3 +1 ⎠
y
= 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 ecuación 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). Además, al substituir 1/x por x en la ecuación original, se deduce que
x x 2 2
f (1/x) + 2f (x) = 1/x.
Luego, + ,
1 1 1 1 x 1
f (x) = − f (1/x) = − − f (x) ,
2x 2 2x 2 2 2
2 x
dando f (x) = − .
3x 3
124
Appendix B. Indicaciones y respuestas
3.2.6 Se tiene + ,
1−x
( f (x))2 · f = 64x,
1+x
y así,
+ + ,,
1−x 2
( f (x))4 · f ) = 642 x 2 (I )
1+x
Substitúyase x por 1−x
1+x . Entonces + , + ,
1−x 2 1−x
f f (x) = 64 . (I I )
1+x 1+x
Dividiendo (I) por (II),
+ , + ,
1+x 1 + x 1/3
f (x)3 = 64x 2 =⇒ f (x) = 4x 2/3 ,
1−x 1−x
dando la función pedida.
3.3.2 Se requiere
4 1 1
x − 1 − 2x − 1 ≥ 0, 2x − 1 ≥ 0 =⇒ (x − 1)2 ≥ 2x − 1, x≥ =⇒ x 2 − 4x + 2 ≥ 0, x≥ .
2 2
Al hacer un diagrama de signos para 4 4
x 2 − 4x + 2 = (x − 2)2 − 2 = (x − 2 − 2)(x − 2 + 2),
4
se obtiene que el dominio natural buscado es 2 + 2;+∞ .
3.3.5 R \ Z
4.2.1 Se tiene ⎧
⎪
⎪
⎪
⎪ −2x − 1 si x ∈ −∞;−2
⎪
⎪
⎪
⎨
f (x) = 3 si x ∈ −2;1
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎩ 2x + 1 si x ∈ 1;+∞
4.2.2 Se tiene ⎧
⎪
⎪
⎨ −x 2 si x ∈ −∞;0
f (x) =
⎪
⎪
⎩ x2 si x ∈ 0;+∞
125
Indicaciones y respuestas
4.2.4 Recuérdese que tanto los racionales como los irracionales son densos en los reales. La gráfica 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 Recuérdese que tanto los racionales como los irracionales son densos en los reales. La gráfica consiste de dos rectas “porosas”: la
y = 0 con poros en los irracionales y la y = x con poros en los racionales.
n
4.3.1 La gráfica saltará cada vez que 2x = n, entero, esto es, x = , en cada entero y entre medio, en toda fracción de denominador 2.
2
Su gráfica aparece en la figura adjunta.
4
3
2
1
−5 −4 −3 −2−1
−1 1 2 3 4
−2
−3
−4
−5
4
3
2
1
−5 −4 −3 −2−1
−1 1 2 3 4
−2
−3
−4
−5
0 1
4.3.3 La aserción es falsa. Por ejemplo, si x = 2.1 entonces {2.1}2 = 0.12 = 0.01 mientras que 2.12 = {4.41} = 0.41
1 1
4.3.5 La fórmula x !→ no está definida para x ∈ Z. Si x ∈ R \ Z entonces = 1. Luego la gráfica consiste de la recta
#x $ − !x " #x $ − !x "
horizontal de ecuación y = 1 menos los puntos (n,1), n ∈ Z.
126
3 3 3 3
2 2 2 Appendix B. Indicaciones
2 y respuestas
1 1 1 1
−5 −4 −3 −2−1
−1 1 2 3 −5 −4 −3 −2−1
−1 1 2 3 −5 −4 −3 −2−1
−1 1 2 3 −5 −4 −3 −2−1
−1 1 2 3
−2 −2 −2 −2
−3 −3 −3 −3
−4 −4 −4 −4
−5 −5 −5 −5
1 4
Figure B.3: y = |x − 1| − 1 Figure B.4: y = (x + 2)2 − 3 Figure B.5: y = +1 Figure B.6: y = x −2−2
x −1
4.4.2 La gráfica es una traslación media unidad hacia abajo de la gráfica en 4.12. Su gráfica aparece en la figura adjunta.
4
3
2
1
−5 −4 −3 −2−1
−1 1 2 3 4
−2
−3
−4
−5
- . - . - .
1 2 1 1 1 2
4.4.3 Observe que x !→ x − es periódica de periodo 1. Si x ∈ 0;1 , entonces x − = x− , luego las ´gráficas de x !→ x −
2 2 2 2
+ ,
1 2
y de x !→ x − coinciden cuando x ∈ 0;1 . Su gráfica aparece en la figura adjunta.
2
4
−5 −4 −3 −2 −1 1 2 3 4
−1
−2
−3
−4
4.7.1 La gráficas aparecen en la figura adjunta.
−5
127
Indicaciones y respuestas
7 7 7 7
6 6 6 6
5 5 5 5
4 4 4 4
3 Figure B.7: Par 3 3 Figure B.8: Impar
3
2 2 2 2
1 1 1 1
0 0 0 0
-1 -1 -1 -1
-2 -2 -2 -2
-3 -3 -3 -3
-4 -4 -4 -4
-5 -5 -5 -5
-6 -6 -6 -6
-7 -7 -7 -7
-7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7
Figure B.9: y = 2f (x) Figure B.10: y = f (2x) Figure B.11: y = f (−x) Figure B.12: y = − f (x)
7 7 7 7
6 6 6 6
5 5 5 5
4 4 4 4
3 3 3 3
2 2 2 2
1 1 1 1
0 0 0 0
-1 -1 -1 -1
-2 -2 -2 -2
-3 -3 -3 -3
-4 -4 -4 -4
-5 -5 -5 -5
-6 -6 -6 -6
-7 -7 -7 -7
-7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7
Figure B.13: y = − f (−x) Figure B.14: y = f (|x|) Figure B.15: y = | f (x)| Figure B.16: y = f (−|x|)
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 función R → {0} es la única función par e impar. Si g fuere par e impar, entonces si g (−x) = g (x) = −g (x) se tendría 2g (x) =
0 =⇒ g (x) = 0.
3
2
1
−5 −4 −3 −2−1
−1 1 2 3
−2
−3
−4
−5
4
4.7.6 Obsérvese que y = x 2 + 2x + 3 es un semicírculo superior y que
4
y= −x 2 + 2x + 3 =⇒ x 2 − 2x + y 2 = 3 =⇒ (x − 1)2 + y 2 = 4,
4
de donde se deduce que el semicírculo4 tiene radio 2 y centro en (1,0), como aparece en la figura B.17. La gráfica de y = −x 2 + 2|x| + 3
aparece en la figura B.18 y la de y = −x 2 − 2|x| + 3 aparece en la figura B.19.
128
3 3 3
2 2 2
Appendix B. Indicaciones y respuestas
1 1 1
−5 −4 −3 −2−1
−1 1 2 3 −5 −4 −3 −2−1
−1 1 2 3 −5 −4 −3 −2−1
−1 1 2 3
−2 −2 −2
−3 −3 −3
−4 −4 −4
−5 −5 −5
Figure B.17: Problema 4.7.6. Figure B.18: Problema 4.7.6. Figure B.19: Problema 4.7.6.
5 5 5 5
4 4 4 4
3 3 3 3
2 2 2 2
1 1 1 1
−5 −4 −3 −2−1
−1 1 2 3 4 5 −5 −4 −3 −2−1
−1 1 2 3 4 5 −5 −4 −3 −2−1
−1 1 2 3 4 5 −5 −4 −3 −2−1
−1 1 2 3 4 5
−2 −2 −2 −2
−3 −3 −3 −3
−4 −4 −4 −4
−5 −5 −5 −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í,
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 función epiyectiva, ya que hay menos entradas que posibles salidas.
5.2.2 No existe ninguna función inyectiva, ya que hay menos salidas que entradas y así, por el principio de las pichoneras, siempre
habrá algún elemento del rango de la función que será asignado a dos o más entradas.
Hay 2 3 2 3
3 3 3 3
23 − 1 + 0 = 8−3 = 5
1 2
funciones epiyectivas. Esto es, de las 8 funciones que hay en total, se han descartado las tres que no son epiyectivas.
x3 + 2
5.3.5 f : R \ {1} → R \ {1}, f −1 (x) = 3 .
x −1
129
Indicaciones y respuestas
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 ecuación 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 fórmula para f −1 es sólo válida 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 ecuación 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 fórmula para f −1 es sólo válida para −3 ≤ x ≤ −1.
6
5
4
3
1
0
-1
-2
-3
-4
-5
-6
-7
-1
-2
-3
-3 -2 -1 0 1 2 3 4
6.1.1 0, 2.
|x − 2| 2−x 1
= · → (1) · (1) = 1,
(2 − x)!x " (2 − x) !x "
cuando x → 2− y
|x − 2| x −2 1 1 1
= · → (−1) · = − ,
(2 − x)!x " (2 − x) !x " 2 2
cuando x → 2+.
x − |x| x − (−x) 2x
= = = 1,
2x 2x 2x
cuando x → 0− y
x − |x| x − (x) 0
= = = 0,
2x 2x 2x
cuando x → 0+.
130
Appendix B. Indicaciones y respuestas
x2 − 1 x2 − 1 x +1 1
= = →
x 2 − 1 − 2|x − 1| x 2 − 1 + 2(x − 1) x + 1 + 2 2
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
x 2 + 3x + 2 (x + 2)(x + 1) x + 2 −1 + 2
lim = lim = lim = = −1.
x→−1 x2 + x x→−1 x(x + 1) x→−1 x −1
1 2 x +1−2 1 1
6.1.6 Se tiene − = 2 = → cuando x → 1.
x − 1 x2 − 1 x −1 x +1 2
6.1.7 Se tiene 4 4 4
x +1−1 ( x + 1 − 1)( x + 1 + 1) 1 1
lim = lim 4 = lim 4 = .
x→0 x x→0 x( x + 1 + 1) x→0 ( x + 1 + 1) 2
4
2
6.1.8
2
6.1.9 Entonces limx→0 f (x) = 0, pero limx→a f (x) no existe para ningún a ∈ R \ {0} ya que en cualquier vecindad de a, f salta alocada-
mente de 0 a a.
6.1.10 Se tiene
/ /
1 / 1 / 1
Figure B.20: x !→ −1 Figure B.21: x !→ // − 1// Figure B.22: x !→ −1
x −1 x −1 |x| − 1
6.2.2 0; −1; 1; 1; 0; 1; 1; 3; +∞
131
Indicaciones y respuestas
6.2.4 El límite no existe, ya que {x} oscila alocadamente entre 0 y 1 cuando x → +∞.
cuando x → +∞.
2ab
4 a +b +
2
≤ (x + a)(x + b) ≤
x +a +x +b
=⇒ x ≤ 4(x + a)(x + b) − x ≤ a + b .
1 1 2 a +b 2
+ 2+
x +a x +b x
132
Appendix B. Indicaciones y respuestas
Luego
⎧
⎪
⎪ 4
; ⎨ n − 1 + n − (n − 1) = n as x → n−
!x " + x − !x " →
⎪
⎩ n + 4n − n
⎪
= 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. Presúmase pues que f (a) > a y que f (b) < b. Entonces la función 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 habría nada que demostrar. Presúmase pues que 0 ≥ f (0) < 1 y que 0 < f (1) ≤ 1. Póngase
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 Considérese g (x) = f (x) − f (x + 1/n), que es claramente continua. Si which is clearly continuous. If g is never 0 in 0;1 then
by Corollary ?? g must be either strictly positive or strictly negative. But then
+ + ,, + + , + ,, + + , + ,, + + , ) n *,
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 n
The sum of each parenthesis on the right is strictly positive or strictly negative and hence never 0, a contradiction.
sin 2πx
a
6.4.4 Considerar la función f : 0;1 → 0;1 , x !→ − x.
sin 2π
a
6.4.5 Si p tuviese grado impar, entonces, por el teorema del valor intermedio, tendría al menos una raíz real. Sea α la mayor de estas
raíces. Entonces,
0 = p(α)q(α) = p(α2 + α + 1)
lo que significa que α2 + α + 1 > α es una raíz mayor que la mayor de las raíces reales, contradicción.
1 1 < =
6.4.6 Observe que f (1000)f ( f (1000)) = 1 =⇒ f (999) = . Luego ;999 ! Imagen f . Por el teorema del valor intermedio,
999 999
existe a tal que f (a) = 500. Así pues
1
f (a) f ( f (a)) = 1 =⇒ f (500) = .
500
2
4 Desenróllese la escalera, formando así un triángulo rectángulo de catetos que miden H y C . Luego la longitud de la escalera es
243
2 2
H +C .
244 Como los lados paralelos de un lado del triángulo 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. Además 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 intersección de las de rectas
C = π y AC
paralelas a los lados del cuadrado que pasan por A y C . Como ABC C B = π4 , △ABC es isósceles. Evidentemente, AC = 2 + r,
2
AB = 2 − r, BC = 2 − r . Por el teorema de Pitágoras,
(2 − r )2 + (2 − r )2 = (2 + r )2 .
Esto simplifica a
r 2 − 12r + 4 = 0,
4
de donde r = 6 − 4 2, escogiendo la raíz menor que 2.
Además, 4
AD 2 = BD 2 − AB 2 =⇒ (AE + BD)2 = 64 + BD 2 =⇒ (4 2 + BD)2 = 64 + BD 2 ,
que a su vez 4 4
=⇒ 32 + 8BD 2 + BD 2 = 64 + BD 2 =⇒ BD = 2 2.
248 Sean R y r los radios del círculo externo e interno, respectivamente. El área buscada es π(R 2 − r 2 ). Por el Teorema de Pitágoras,
20
R 2 − r 2 = ( )2 = 100. El área deseada es pues 100π.
2
O
A
249 Únase los centros de ambos círculos, como en la figura. Obsérvese que R = a + 2r , en donde r es el radio del círculo menor y a
es la medida del segmento de recta fuera del círculo menor desde el centro del círculo mayor. Trácense dos radios del círculo menor,
paralelos a los dos radios del círculo mayor, obteniendo un cuadrado de lado r . En utilizando el teorema de Pitágoras,
4
r 2 + r 2 = (a + r )2 =⇒ a = ( 2 − 1)r,
134
Bibliography
[Eves] Howard EVES, “An Introduction to the History of Mathematics”, 3rd ed., 1969.
[HaKn] H.S. HALL y S.R. KNIGHT, “Algebra for Beginners”, Macmillan, 1st ed., 1893.
[Woo] Mark R. WOODARD, http://math.furman.edu/ mwoodard/data.html, Quotes from the Mathematical Quota-
tions Server.
135