Hyperbolic Functions and Inverse Integrals
Use exponential definitions to derive hyperbolic identities and select an inverse-function antiderivative.
Builds on Rational Integration and Partial Fractions
The bigger question: Which integration method fits this structure?
On this page
Define the functions through exponentials
Hyperbolic sine and cosine are
Differentiating directly gives and . Expanding the definitions shows . Unlike ordinary cosine, hyperbolic cosine is never negative and is at least one.
The quotient has derivative . These functions model shapes and transitions such as a hanging cable and smooth saturation, but their definitions are algebraic and do not depend on a particular application.
Visual guide
- cosh x
- sinh x
Worked example: reverse a chain rule
For , the derivative of is , so the antiderivative is . Likewise, .
The notation often means the inverse function, not the reciprocal. Writing avoids this ambiguity. The reciprocal of is instead .
Try it yourself.
Choose an answer and explain your reasoning to yourself. Use a hint if you get stuck.
Hint 1 · Find a starting point
Use cosh x=(eˣ+e⁻ˣ)/2 and sinh x=(eˣ−e⁻ˣ)/2.
Hint 2 · Take the next step
Subtract the expanded squares; the e²ˣ and e⁻²ˣ terms cancel.
Show the reasoning
Answer: cosh²x−sinh²x=1
The difference leaves 4/4=1. The sign differs from the circular-trig identity.
Before moving on: what would make one of the other answers wrong? Saying why is part of understanding.
Inverse hyperbolic sine
Since is strictly increasing onto the real numbers, it has a real inverse everywhere. Implicit differentiation of gives
The positive square root follows because . Solving the exponential definition also gives .
Worked example: a positive quadratic radical
For , set . Then and the denominator is . The integral is . An equivalent logarithmic form is , because the two versions differ by a constant.
Other inverse functions have narrower domains: conventionally has domain and derivative for ; has real domain and derivative . Matching a derivative formula never removes these domain choices.
Practice
- Differentiate .
- Integrate .
- Show why is not the hyperbolic identity.
Show worked solutions
- .
- Scale to obtain .
- The exponential definitions give the difference of the squares as one. At nonzero , both squares are positive and their sum exceeds one.
Pause before the next idea.
Can you explain how the visualization connects to this lesson’s goal? If a step still feels uncertain, put this lesson on your review list and try the check again another day.