Vamos con una orientación.
Observa que el dominio de la función es D = R, y que es continua en todo su dominio, y además observa que la función toma valores estrictamente mayores que 1, por lo que su imagen es: I = [1,+inf)
Luego, para estudiar su crecimiento o decrecimiento, planteamos su derivada primera:
y ' = ( e^x - e^(-x) )/2 =( e^x - 1/e^x )/2 = extraemos denominador común en el agrupamiento:
= ( e^(2x) - 1 ) / 2e^x,
luego observa que el denominador es estrictamente positivo en todo el dominio, y que el numerador es estrictamente positivo para el intervalo (0,+inf), y que la derivada toma el valor 0 para x=0 (es un punto crítico, y el valor de la función para él es f(0) = 1 y corresponde a un mínimo), por lo que tenemos que la función es creciente en el intervalo [0,+inf).
Luego, planteamos para la función inversa:
y = argcoshx,
componemos con la función inversa del argumento coseno hiperbólico y queda:
coshy = x (*),
derivamos con respecto a x en ambos miembros (observa que a la izquierda debemos aplicar la regla de la cadena):
senhy*y ' = 1, sustituimos con la identidad hiperbólica senhy = V( cosh²y - 1 ) y queda.
V( cosh²y - 1 ) * y ' = 1, sustituimos con la ecuación señalada (*) y queda:
V( x² - 1 ) * y ' = 1, hacemos pasaje de factor como divisor y queda:
y ' = 1/V( x² - 1 ),
y su dominio coincide con la imagen de la función: [1,+inf).
Espero haberte ayudado.
