Prcticas de Matemticas con

Mathematica .
Matemticas I . Ingeniera Tcnica Industrial Mecnica.
Prctica n 2. Funciones inversas.
Departamento de Matemtica Aplicada.
Ejemplo 1: Calcule la funcin inversa de f[x_] :=
2x
x2
Es necesario conocer el dominio de f[x]:
Reduce[2 x 0 && x 2 0, {x}, Reals]
2 x 2
Primero estudiaremos la inyectividad de f[x]. Imponemos que f[x]=f[y], de donde debemos obtener que y=x.
La ecuacin f[x]=f[y] despus de elevar al cuadrado dos veces se transforma en
(2 x)^2 (2 y) (2 y)^2 (2 x) // Simplify
2 x
2
2 y 2 x 2 y
2
O bien, escrito en otra forma:
Expand[(2 x)^2 (2 y) (2 y)^2 (2 x) 0]
12 x 2 x
2
12 y x
2
y 2 y
2
x y
2
0
Como y=x debe ser solucin de la ecuacin anterior, factorizando obtenemos que y-x es uno de los factores.
Factor]12 x 2 x
2
12 y x
2
y 2 y
2
x y
2

x y 12 2 x 2 y x y
As que y=x es una solucin. La cuestin que se presenta ahora es si el otro factor puede ser cero. La repuesta
es que no, pues dentro del dominio de f[x], -2 < x 2, slo se da la igualdad
2 x + 2 y + x y=12 cuando x=y=2, que es un caso de la solucin anterior. As pues
2 x + 2 y + x y-120 para xy, y la funcin es inyectiva.
El siguiente paso es determinar la expresin de la funcin inversa. Para ello, en la ecuacin x =
2y
y2
despejamos el valor de y:
Solve_x
2 y
y 2
, y_
y
1
2
4 x
4
x
2
16 x
4
, y
1
2
4 x
4
x
2
16 x
4

Obtenemos dos posibilidades. Para ver cual puede ser la correcta evaluamos f en un valor a, y el valor de la
inversa en el valor obtenido deber ser de nuevo a:
f[x_] : Sqrt[(2 x)/Sqrt[2 x]]
a 0
0
f[a]
2
14
fInv1[x_] :
1
2
4 x
4
x
2
16 x
4
;
fInv2[x_] :
1
2
4 x
4
x
2
16 x
4
{fInv1[f[a]], fInv2[f[a]]}
0, 6
Observamos que el valor correcto es el que corresponde al signo negativo, es decir,
fInv[x_] :
1
2
4 x
4
x
2
16 x
4
dib1 Plot[f[x], {x, 2, 2}]
2 1 1 2
0.5
1.0
1.5
2.0
2.5
3.0
3.5
2 Prcticas 30-9-2010(2-inversas).nb
dib2 Plot[fInv[x], {x, 0, 5}, PlotStyle Red]
1 2 3 4 5
2
1
1
2
Comprobamos que las grficas de f y de su inversa son simtricas respecto de la diagonal.
Show[dib2, dib1, PlotRange {{2, 4}, {2, 4}},
AspectRatio Automatic, Epilog Line[{{2, 2}, {4, 4}}]]
2 1 1 2 3 4
2
1
1
2
3
4
Comprobemos ahora que la composicin en ambos sentidos resulta ser la funcin identidad. Es importante
observar que la composicin debe estar definida en el dominio adecuado. f[fInv[x]] est definida en [0,), mientras
que fInv[ f[x]] est definida en (-2,2].
Grficamente obtenemos el resultado correcto pues se tiene que las grficas de ambas composiciones son la funcin
y=x en el dominio correspondiente.
Prcticas 30-9-2010(2-inversas).nb 3
Plot[f[fInv[x]], {x, 0, 5}, AspectRatio Automatic]
1 2 3 4 5
1
2
3
4
5
Plot[fInv[f[x]], {x, 2, 2}, AspectRatio Automatic]
2 1 1 2
2
1
1
2
Pero la operacin algebraica para el Mathematica resulta ms complicada.
f[fInv[x]] // FullSimplify
x
2
x
2
16x
4
8x
4
x
2
16x
4
2
14
Lo hacemos paso a paso. Cogemos la expresin dentro de la raz cuadrada y multiplicamos por las expre-
siones conjugadas
4 Prcticas 30-9-2010(2-inversas).nb
x
2
]x
2
16 x
4
]x
2
16 x
4

]8 x
4
x
2
16 x
4
]8 x
4
x
2
16 x
4

// Simplify
2 x
2
Y luego dividimos por las expresiones conjugadas, resultando que la expresin dentro de la raiz cuadrada
queda reducida a
2 x
2
8 x
4
x
2
16 x
4
x
2
16 x
4
^2 // Simplify
2 x
2
Finalmente simplificamos teniendo en cuenta que x 0:
Simplify_
2 x
2
2
1/4
, x 0_
x
Para la otra composicin se hace algo parecido
fInv[f[x]]
1
2
4
2 x
2
2 x

2 x 16
2x
2
2x
2 x
Con la orden Together obtenemos una nica fraccin:
Together[fInv[f[x]]] // Simplify
12 2 x 4
6x
2
2x
x
2
2 x
6x
2
2x
2 2 x
32
Seguidamente agrupamos trminos, y simplificamos resultando que la composicin tambin nos da la
funcin identidad:
[12 x
2
| 2 x [x
2
4|
(6x)
2
2x
2 (2 x) 2 x
[12 x
2
| 2 x [x
2
4|
(6x)
2x
2 (2 x) 2 x
Prcticas 30-9-2010(2-inversas).nb 5
[12 x
2
| (2 x) [x
2
4| (6 x)
2 (2 x) (2 x)
// Simplify
x
Por tanto, la funcin inversa que determinamos anteriormente era la correcta.
Ejemplo 2 (propuesto): Calcule la funcin inversa de f[x_] :
x
3
1
x4
en el intervalo (-,-1]
6 Prcticas 30-9-2010(2-inversas).nb