Skip to main content
Ch. 7 - Logarithmic, Exponential Functions, and Hyperbolic Functions
Briggs - Calculus: Early Transcendentals 3rd Edition
Briggs3rd EditionCalculus: Early TranscendentalsISBN: 9780136847243Not the one you use?Change textbook
Chapter 7, Problem 7.3.105

Inverse identity Show that cosh⁻¹(cosh x) = |x| by using the formula cosh⁻¹ t = ln (t + √(t² – 1)) and considering the cases x ≥ 0 and x < 0.

Verified step by step guidance
1
Recall the definition of the inverse hyperbolic cosine function: \(\cosh^{-1} t = \ln \left(t + \sqrt{t^2 - 1} \right)\) for \(t \geq 1\).
Substitute \(t = \cosh x\) into the formula to get \(\cosh^{-1}(\cosh x) = \ln \left( \cosh x + \sqrt{\cosh^2 x - 1} \right)\).
Use the identity \(\cosh^2 x - 1 = \sinh^2 x\) to rewrite the expression as \(\ln \left( \cosh x + |\sinh x| \right)\).
Consider the two cases separately: - For \(x \geq 0\), \(\sinh x \geq 0\), so \(|\sinh x| = \sinh x\). - For \(x < 0\), \(\sinh x < 0\), so \(|\sinh x| = -\sinh x\).
Evaluate the expression in each case: - When \(x \geq 0\), \(\ln (\cosh x + \sinh x) = \ln (e^x) = x\). - When \(x < 0\), \(\ln (\cosh x - \sinh x) = \ln (e^{-x}) = -x = |x|\). Thus, \(\cosh^{-1}(\cosh x) = |x|\).

Verified video answer for a similar problem:

This video solution was recommended by our tutors as helpful for the problem above.
Video duration:
4m
Was this helpful?

Key Concepts

Here are the essential concepts you must grasp in order to answer the question correctly.

Inverse Hyperbolic Cosine Function

The inverse hyperbolic cosine, denoted as cosh⁻¹(t), is the function that returns the value x such that cosh(x) = t for t ≥ 1. It is defined by the formula cosh⁻¹(t) = ln(t + √(t² – 1)), which expresses the inverse in terms of natural logarithms and square roots.
Recommended video:
4:49
Inverse Cosine

Properties of the Hyperbolic Cosine Function

The hyperbolic cosine function, cosh(x), is an even function, meaning cosh(x) = cosh(–x). It is always greater than or equal to 1 and increases exponentially for large |x|. This symmetry is key to understanding why cosh⁻¹(cosh x) equals the absolute value of x.
Recommended video:
06:21
Properties of Functions

Piecewise Analysis Based on Domain

To prove cosh⁻¹(cosh x) = |x|, it is essential to consider two cases: x ≥ 0 and x < 0. Since cosh is even, analyzing these cases separately helps show that the inverse function returns x when x is nonnegative and –x when x is negative, resulting in the absolute value.
Recommended video:
05:36
Piecewise Functions