Universidad de Chile

Programa de Bachillerato
Matemáticas 1
Primer semestre de 2022

Ayudantı́a 9
Funciones biyectivas y cı́rculo unitario
08/07/2022

En este taller buscaremos condiciones suficientes para determinar las funciones inversas de un modelo
cuadrático y otro racional. También estudiaremos a las funciones trigonométricas a partir del cı́rculo uni-
tario.

Objetivos:

Decidir si una función es biyectiva y encontrar su función inversa.

Comparar el gráfico de una función con el de su inversa.

Identificar ángulos notables en la circunferencia unitaria y sus respectivas evaluaciones bajo las fun-
ciones trigonométricas.

Ejercicios Propuestos

1. Considere las siguiente funciones

1
i) f : ] − ∞, a] → [4, +∞[, f (x) = (x − 3)2 + 2,
2
1
ii) g : R \ {2} → R \ {b}, g(x) = − 4,
x−2
donde a y b son números reales fijos.

Determine las constantes a y b de tal manera que f y g sean funciones invertibles. Justifique su
afirmación.

Solución: Notemos que f corresponde a una función cuadrática escrita en su forma canóni-
1
ca, donde A = , h = 3 y k = 2, por lo cual, su gráfica corresponde a una parábola cóncava
2

1
hacia arriba (convexa) cuyo vértice se ubica en el punto (h, k) = (3, 2). Su gráfica está dada por

A partir de la gráfica podemos notar que f es inyectiva desde ] − ∞, 3]. En efecto, consideremos
x1 , x2 ∈] − ∞, 3] tales que f (x1 ) = f (x2 ), es decir,
1 1
(x1 − 3)2 + 2 = (x2 − 3)2 + 2 /−2
2 2
1 1
(x1 − 3)2 = (x2 − 3)2 /·2
2 2
√
(x1 − 3)2 = (x2 − 3)2 /
|x1 − 3| = |x2 − 3|
Como x1 , x2 ∈] − ∞, 3] se tiene que ambos valores absolutos son negativos, por lo tanto
−(x1 − 3) = −(x2 − 3) / · −1
x1 − 3 = x2 − 3 /+3
x1 = x2
Por lo tanto para todo x1 , x2 ∈] − ∞, 3] se tiene que
f (x1 ) = f (x2 ) ⇒ x1 = x2 .
Luego, considerando a = 3 nos aseguramos que se cumple la inyectividad.
No obstante, notemos que la imagen de la función corresponde al conjunto
Im(f ) = [2, ∞].
Mientras que, el codominio considerado corresponde al conjunto [4, ∞[. Por lo tanto, debemos
restringir el dominio: para ello buscaremos la preimagen x̄ ∈] − ∞, 3] tal que f (x̄) = 4. De hecho,
1
f (x̄) = 4 ⇐⇒ (x̄ − 3)2 + 2 = 4,
2

2
de donde,
1
(x̄ − 3)2 + 2 = 4 /−2
2
1
(x̄ − 3)2 = 2 /·2
2
√
(x̄ − 3)2 = 4 /
|x̄ − 3| = 2,

como nos interesa encontrar el x̄ ∈]∞, 3], se tiene

−(x̄ − 3) = 2 / · −1
x̄ − 3 = −2 /+3
x̄ = 1

Por consiguiente, dada la monotonı́a de f y considerando el dominio ] − ∞, 1] nos aseguramos

la sobreyectividad de f pues f (] − ∞, 1]) = [4, ∞[, vale decir, Im(f ) = cod(f ).

Finalmente, considerando a = 1 nos aseguramos que se cumplan ambas condiciones (inyectividad

y sobreyectividad) lo que implica la biyectividad de f y la eventual invertibilidad.

Por otro lado, notemos que g corresponde a una función racional escrita en su forma canónica,
donde A = 1, h = 2 y k = −4, por lo cual, su gráfica corresponde a hipérbola equilátera
decreciente cuyas ası́ntotas son x = 2 (vertical) e y = −4 (horizontal). Se gráfica está dada por

3
A partir del gráfico de la función podemos notar que la imagen de g corresponde al conjunto

Im(g) = R \ {−4}

Además, g es inyectiva en todo su dominio pues dados x1 , x2 ∈ R \ {2} tales que g(x1 ) = g(x2 ),
se tiene
1 1
−4= −4 /+4
x1 − 2 x2 − 2
1 1
= /(·)−1
x1 − 2 x2 − 2
x1 − 2 = x2 − 2 /+2
x1 = x2 .

Por lo tanto se tiene que

∀ x1 , x2 ∈ R \ {2} : (g(x1 ) = g(x2 ) ⇒ x1 = x2 )

Finalmente, considerando g : R \ {2} → R \ {−4} tenemos una función biyectiva. Por lo tanto
consideramos b = −4.
Encuentre la función inversa de f y la inversa de g indicando dominio, codominio y regla de
asignación.

Solución: En virtud de lo anterior tenemos las funciones invertibles

f : ] − ∞, 1] → [4, ∞[ y g : R \ {2} → R \ {−4}.

De donde podemos concluir que

f −1 : [4, ∞[→] − ∞, 1] y g −1 : R \ {−4} → R \ {2}

Cuyas reglas de asignación satisfacen:

• Por un lado, para y ∈ [4, ∞[ se tiene que
1
y = f (x) ⇐⇒ y = (x − 3)2 + 2
2
⇐⇒ 2(y − 2) = (x − 3)2
p
⇐⇒ − 2(y − 2) = x − 3
p
⇐⇒ − 2(y − 2) + 3 = x.

pues x < 1. Por lo tanto, se concluye que la regla de asignación para la función inversa de f
es p
f −1 (x) = 3 − 2(x − 2).

4
 • Por otro lado, consideremos y ∈ R \ {−4}, entonces
1
y = f (x) ⇐⇒ y = −4
x−2
1
⇐⇒ y + 4 =
x−2
1
⇐⇒ =x−2
y+4
1
⇐⇒ + 2 = x.
y+4
Por lo tanto, la regla de asignación para la función inversa de g está dada por
1
g −1 (x) = + 2.
x+4

En un mismo plano esboce las gráficas de f y f −1 . Haga lo mismo con g y g −1 .

Solución: Se adjuntan las gráficas

5
2. Decida la veracidad de las siguientes proposiciones. Justifique cualquiera sea su respuesta.
√ √
3 2
a) Existe α ∈ R que cumple con sen(α) = y cos(α) = .
2 2

Solución: Por √un lado, considerando la expre-

3
sión sen(α) = , la cual podemos visualizar
2
de la siguiente manera: estamos interesades en
encontrar los ángulos cuya
√ proyección sobre el
3
eje Y sea exactamente (ver figura).
2 √ !
1 3
Ahora, consideremos los puntos A − , ,
2 2
√ ! √ !
1 3 3
B , , C(0, 0) y D 0, . For-
2 2 2
memos el triángulo △ABC de vérti-
ces en los puntos anteriores A, B y C.

Luego, notemos que corresponde a un triángulo equilátero, en efecto como AC = CB = 1 (son

radios) el trı́angulo es al menos isósceles y como CD⊥AB, CD es altura luego bisectriz y se tiene

6
 π π
que el ángulo ∠BCD = . Por ende, el ángulo ∠ACB = . Además, como BC es paralela al
6 3
eje X se concluye que
 π  √3   √
2π 3
sen = y sen =
3 2 3 2
Además, considerando todas las repeticiones de la circunferencia se tiene que el conjunto de
ángulos que cumplen lo anterior es
nπ o  2π 
S1 = + 2kπ | k ∈ Z ∪ + 2mπ | m ∈ Z .
3 3
√
2
Por otro lado, si consideramos la expresión cos(α) = , estamos interesades en encontrar los
√2
2
ángulos cuya proyección en el eje X es exactamente . Considere la siguiente visualización:
2

Notemos, que tenemos √ triángulos rectángulos isósceles con hipotenusa igual a 1, además, sus
2
catetos son iguales a , entonces
2
 π  √2  π  √2
cos = y cos − =
4 2 4 2

7
Ası́, considerando las todas las repeticiones se tiene el que conjunto de ángulos que cumplen lo
anterior está dado por
n π o nπ o
S2 = − + 2kπ | k ∈ Z ∪ + 2mπ | m ∈ Z .
4 4
Entonces, si existe algún α que pertenezca a S1 y S2 , éste cumplirı́a que
n o  2π  hn
π π o nπ oi
α∈ + 2kπ | k ∈ Z ∪ + 2ℓπ | ℓ ∈ Z ∩ − + 2mπ | m ∈ Z ∪ + 2nπ | n ∈ Z
3 3 4 4

Donde,
π
Si para algún k ∈ Z se tiene α = + 2kπ y
3
π
• Si α = − + 2nπ, para algún n ∈ Z, se tendrı́a
4
π π
+ 2kπ =− + 2nπ
3 4
π π
+ = 2π(n − k)
3 4
7
= 2(n − k)
12
7
= (n − k).
24
Pero, n − k ∈ Z, por lo cual llegamos a una contradicción. Por lo tanto, en este caso, no
existe α.
π
• Si α = + 2nπ, para algún n ∈ Z, se tendrı́a
4
π π
+ 2kπ = + 2nπ
3 4
π π
− = 2π(n − k)
3 4
1
= 2(n − k)
12
1
= (n − k).
24
Pero, n − k ∈ Z, por lo cual llegamos a la misma contradicción. Por lo tanto, en este
caso tampoco existe α.

8
 2π
Si para algún k ∈ Z se tiene α = + 2kπ y
3
π
• Si α = − + 2nπ, para algún n ∈ Z, se tendrı́a
4
2π π
+ 2kπ =− + 2nπ
3 4
2π π
+ = 2π(n − k)
3 4
11
= 2(n − k)
12
11
= (n − k).
24
Pero, n − k ∈ Z, por lo cual llegamos a la misma contradicción.
π
• Si α = + 2nπ, para algún n ∈ Z, se tendrı́a
4
2π π
+ 2kπ = + 2nπ
3 4
2π π
− = 2π(n − k)
3 4
5
= 2(n − k)
12
5
= (n − k).
24
Pero, n − k ∈ Z, por lo cual llegamos a la misma contradicción. Por lo tanto, en este
caso tampoco existe α.
Por consiguiente, a partir del análisis de casos anterior podemos concluir que

S1 ∩ S2 = ∅

Finalmente, no existe α ∈ R satisfaciendo ambas condiciones.

Observación: Note que a partir de la identidad pitagórica se tiene que para todo α ∈ R se
cumple
sen2 (α) + cos2 (α) = 1.

9
 Luego, considerando ambas condiciones podemos notar que
√ !2 √ !2
3 2
sen2 (α) + cos2 (α) = +
2 2
3 2
= +
4 4
5
= ̸= 1
4
Como la identidad es para todo α ∈ R, al no cumplirse en nuestro caso, la proposición es falsa
√ √
2 2
b) La cantidad de α ∈ R que cumplen con sen(α) = − y cos(α) = es infinita.
2 2
√ √ !
2 2
Solución: Note que ambas condiciones caracterizan el punto ,− , el cual pertenece a
2 2
la circunferencia.

Además, notemos que esto ocurre cuando

π
α = − + 2kπ, k ∈ Z.
4
Por consiguiente, bajo estas condiciones tenemos tantos α ∈ R como enteros hay. Por lo tanto la
proposición es verdadera.

10
 1
c) Si α ∈ R es tal que sen(α) = − , entonces el valor de cos(α) está unı́vocamente determinado.
2
Solución: Visualicemos la situación

Notemos que a simple vista el cos(α) no está unı́vocamente determinado. De hecho, basta con-
siderar α ∈ [0, 2π] tenemos que
1 7π 11π
sen(α) = − ⇐⇒ α = y α=
2 6 6
y √     √
3 7π 11π 3
− = cos ̸= cos = .
2 6 6 2
Por lo cual, la afirmación es falsa.

3. Determine los números reales x ∈ [0, 2π[ de las siguientes ecuaciones:

√
3
a) sen(x) = − .
2
Solución: Buscamos los x ∈ [0, 2π[ que satisfagan la ecuación anterior, situación que la podemos

11
 visualizar mediante la gráfica:

√ √

3 3
Luego, considerando A − 12 , − 1


2
, O(0, 0) y B , −
y M el punto medio del segmento AB,
2 2
π
el triángulo △AOB es isósceles donde el ángulo ∠AOM = = ∠M OB pues OM es bisectriz
6
del ángulo ∠AOB, de forma que los valores de x buscados están dados por
3π π 4π
x= − =
2 6 3
o bien
3π π 5π
x= + = .
2 6 3
b) (1 + sen(x)) · cos(x) = 0.

Solución: En primer lugar notemos que

(1 + sen(x)) · cos(x) = 0 ⇐⇒ 1 + sen(x) = 0 ∨ cos(x) = 0

⇐⇒ sen(x) = −1 ∨ cos(x) = 0

3π
Ahora, por un lado los valores de x ∈ [0, 2π[ tales que sen(x) = −1 serı́a solo x = .
2
π 3π
Por otro lado, los valores de x ∈ [0, 2π[ tales que cos(x) = 0 son x = y x = .
2 2
Por lo tanto, el conjunto solución de la ecuación está dado por
nπ π o
,
2 2

12
 1
c) cos2 (x) = .
2
Solución: En primer lugar aplicamos raı́z cuadrada, reduciendo el problema a la ecuación
√
2
cos(x) = ± .
2
√ √
2 2
Ahora debemos resolver las ecuaciones cos(x) = y cos(x) = − , con x ∈ [0, 2π[.
2 2
Para encontrar las soluciones, observe la siguiente figura

√
2 π 7π
Luego, las soluciones de cos(x) = tales que x ∈ [0, 2π[ son x = y x = .
2 √ 4 4
2 3π 5π
Análogamente, las soluciones de cos(x) = − tales que x ∈ [0, 2π] son x = yx= .
2 4 4
1
Por lo tanto, las soluciones de cos2 (x) = , con x ∈ [0, 2π[ son
2
 
π 3π 5π 7π
, , , .
4 4 4 4

13