◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 − a 2 ◆ R B ◆ \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{x^2-a^2}◆RB◆ L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 − a 2 ◆ R B ◆ , the inverse hyperbolic functions provide the most elegant
answer. CIE and Edexcel FP2 frequently test these. :::
5. Connection to Circular Functions 5.1 The imaginary unit bridge Theorem. For all x ∈ R x \in \mathbb{R} x ∈ R :
sin ( i x ) = i sinh x \boxed{\sin(ix) = i\sinh x} sin ( i x ) = i sinh x
cos ( i x ) = cosh x \boxed{\cos(ix) = \cosh x} cos ( i x ) = cosh x
Proof of cos ( i x ) = cosh x \cos(ix) = \cosh x cos ( i x ) = cosh x cos ( i x ) = e i ( i x ) + e − i ( i x ) 2 = e − x + e x 2 = e x + e − x 2 = cosh x ■ \cos(ix) = \frac{e^{i(ix)} + e^{-i(ix)}}{2} = \frac{e^{-x} + e^{x}}{2} = \frac{e^x + e^{-x}}{2} = \cosh x \quad \blacksquare cos ( i x ) = 2 e i ( i x ) + e − i ( i x ) = 2 e − x + e x = 2 e x + e − x = cosh x ■
Proof of sin ( i x ) = i sinh x \sin(ix) = i\sinh x sin ( i x ) = i sinh x sin ( i x ) = e i ( i x ) − e − i ( i x ) 2 i = e − x − e x 2 i = − ( e x − e − x ) 2 i = i ⋅ e x − e − x 2 = i sinh x ■ \sin(ix) = \frac{e^{i(ix)} - e^{-i(ix)}}{2i} = \frac{e^{-x} - e^{x}}{2i} = \frac{-(e^x - e^{-x})}{2i} = i\cdot\frac{e^x - e^{-x}}{2} = i\sinh x \quad \blacksquare sin ( i x ) = 2 i e i ( i x ) − e − i ( i x ) = 2 i e − x − e x = 2 i − ( e x − e − x ) = i ⋅ 2 e x − e − x = i sinh x ■
5.2 Consequences These relationships explain why hyperbolic identities mirror trigonometric identities. Since
cos ( i x ) = cosh x \cos(ix) = \cosh x cos ( i x ) = cosh x and sin ( i x ) = i sinh x \sin(ix) = i\sinh x sin ( i x ) = i sinh x :
cos 2 ( i x ) + sin 2 ( i x ) = cosh 2 x + ( i sinh x ) 2 = cosh 2 x − sinh 2 x = 1 \cos^2(ix) + \sin^2(ix) = \cosh^2 x + (i\sinh x)^2 = \cosh^2 x - \sinh^2 x = 1 cos 2 ( i x ) + sin 2 ( i x ) = cosh 2 x + ( i sinh x ) 2 = cosh 2 x − sinh 2 x = 1
This is exactly the fundamental hyperbolic identity. More generally, replacing x x x by i x ix i x in any
trigonometric identity (and using i 2 = − 1 i^2 = -1 i 2 = − 1 ) produces the corresponding hyperbolic identity.
5.3 The Gudermannian function The Gudermannian function g d ( x ) \mathrm{gd}(x) gd ( x ) relates circular and hyperbolic functions without
complex numbers:
sinh x = tan ( g d x ) , cosh x = sec ( g d x ) , tanh x = sin ( g d x ) \sinh x = \tan(\mathrm{gd}\,x), \quad \cosh x = \sec(\mathrm{gd}\,x), \quad \tanh x = \sin(\mathrm{gd}\,x) sinh x = tan ( gd x ) , cosh x = sec ( gd x ) , tanh x = sin ( gd x )
g d x = ∫ 0 x s e c h t d t = 2 arctan ( e x ) − ◆ L B ◆ π ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ \mathrm{gd}\,x = \int_0^x \mathrm{sech}\,t\,dt = 2\arctan(e^x) - \frac◆LB◆\pi◆RB◆◆LB◆2◆RB◆ gd x = ∫ 0 x sech t d t = 2 arctan ( e x ) − L ◆ B ◆ π ◆ R B ◆◆ L B ◆2◆ R B ◆
6. Summary of Key Results | Function | Definition | Inverse |
| --------- | -------------------------------------- | ----------------------------------- | --- | --- |
| sinh x \sinh x sinh x | e x − e − x 2 \dfrac{e^x-e^{-x}}{2} 2 e x − e − x | ln ( x + x 2 + 1 ) \ln(x+\sqrt{x^2+1}) ln ( x + x 2 + 1 ) |
| cosh x \cosh x cosh x | e x + e − x 2 \dfrac{e^x+e^{-x}}{2} 2 e x + e − x | ln ( x + x 2 − 1 ) , x ≥ 1 \ln(x+\sqrt{x^2-1}),\ x\geq 1 ln ( x + x 2 − 1 ) , x ≥ 1 |
| tanh x \tanh x tanh x | ◆ L B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh x ◆ R B ◆ \dfrac◆LB◆\sinh x◆RB◆◆LB◆\cosh x◆RB◆ L ◆ B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh x ◆ R B ◆ | 1 2 ln 1 + x 1 − x , ∣ x ∣ < 1 \dfrac{1}{2}\ln\dfrac{1+x}{1-x},\ | x | <1 2 1 ln 1 − x 1 + x , ∣ x ∣ < 1 |
Derivative Integral d d x sinh x = cosh x \dfrac{d}{dx}\sinh x = \cosh x d x d sinh x = cosh x ∫ cosh x d x = sinh x + C \int\cosh x\,dx = \sinh x+C ∫ cosh x d x = sinh x + C d d x cosh x = sinh x \dfrac{d}{dx}\cosh x = \sinh x d x d cosh x = sinh x ∫ sinh x d x = cosh x + C \int\sinh x\,dx = \cosh x+C ∫ sinh x d x = cosh x + C d d x tanh x = s e c h 2 x \dfrac{d}{dx}\tanh x = \mathrm{sech}^2\,x d x d tanh x = sech 2 x ∫ s e c h 2 x d x = tanh x + C \int\mathrm{sech}^2\,x\,dx = \tanh x+C ∫ sech 2 x d x = tanh x + C d d x a r s i n h x = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 + 1 ◆ R B ◆ \dfrac{d}{dx}\mathrm{arsinh}\,x = \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{x^2+1}◆RB◆ d x d arsinh x = L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 + 1 ◆ R B ◆ ∫ ◆ L B ◆ d x ◆ R B ◆◆ L B ◆ x 2 + a 2 ◆ R B ◆ = a r s i n h x a + C \int\dfrac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2+a^2}◆RB◆ = \mathrm{arsinh}\dfrac{x}{a}+C ∫ L ◆ B ◆ d x ◆ R B ◆◆ L B ◆ x 2 + a 2 ◆ R B ◆ = arsinh a x + C d d x a r t a n h x = 1 1 − x 2 \dfrac{d}{dx}\mathrm{artanh}\,x = \dfrac{1}{1-x^2} d x d artanh x = 1 − x 2 1 ∫ d x a 2 − x 2 = 1 a a r t a n h x a + C \int\dfrac{dx}{a^2-x^2} = \dfrac{1}{a}\mathrm{artanh}\dfrac{x}{a}+C ∫ a 2 − x 2 d x = a 1 artanh a x + C
Problems Details
Problem 1
Solve
cosh x = 3 \cosh x = 3 cosh x = 3 for
x > 0 x > 0 x > 0 .
Details
Hint 1
Use the definition of
cosh \cosh cosh to obtain a quadratic in
e x e^x e x .
Details
Answer 1
e x + e − x 2 = 3 ⟹ e x + e − x = 6 ⟹ e 2 x − 6 e x + 1 = 0 \dfrac{e^x+e^{-x}}{2} = 3 \implies e^x + e^{-x} = 6 \implies e^{2x} - 6e^x + 1 = 0 2 e x + e − x = 3 ⟹ e x + e − x = 6 ⟹ e 2 x − 6 e x + 1 = 0 .
e x = ◆ L B ◆ 6 ± 36 − 4 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ = 3 ± 2 2 e^x = \dfrac◆LB◆6\pm\sqrt{36-4}◆RB◆◆LB◆2◆RB◆ = 3\pm 2\sqrt{2} e x = L ◆ B ◆6 ± 36 − 4 ◆ R B ◆◆ L B ◆2◆ R B ◆ = 3 ± 2 2 .
x = ln ( 3 + 2 2 ) x = \ln(3+2\sqrt{2}) x = ln ( 3 + 2 2 ) (taking the positive root for x > 0 x > 0 x > 0 ).
Details
Problem 2
Prove that
tanh 2 x = ◆ L B ◆ 2 tanh x ◆ R B ◆◆ L B ◆ 1 + tanh 2 x ◆ R B ◆ \tanh 2x = \dfrac◆LB◆2\tanh x◆RB◆◆LB◆1+\tanh^2 x◆RB◆ tanh 2 x = L ◆ B ◆2 tanh x ◆ R B ◆◆ L B ◆1 + tanh 2 x ◆ R B ◆ .
Details
Hint 2
Start from
sinh 2 x = 2 sinh x cosh x \sinh 2x = 2\sinh x\cosh x sinh 2 x = 2 sinh x cosh x and
cosh 2 x = cosh 2 x + sinh 2 x \cosh 2x = \cosh^2 x + \sinh^2 x cosh 2 x = cosh 2 x + sinh 2 x . Then divide and simplify using
tanh x = sinh x / cosh x \tanh x = \sinh x/\cosh x tanh x = sinh x / cosh x .
Details
Answer 2
tanh 2 x = ◆ L B ◆ sinh 2 x ◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ = ◆ L B ◆ 2 sinh x cosh x ◆ R B ◆◆ L B ◆ cosh 2 x + sinh 2 x ◆ R B ◆ \tanh 2x = \dfrac◆LB◆\sinh 2x◆RB◆◆LB◆\cosh 2x◆RB◆ = \dfrac◆LB◆2\sinh x\cosh x◆RB◆◆LB◆\cosh^2 x+\sinh^2 x◆RB◆ tanh 2 x = L ◆ B ◆ sinh 2 x ◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ = L ◆ B ◆2 sinh x cosh x ◆ R B ◆◆ L B ◆ cosh 2 x + sinh 2 x ◆ R B ◆ .
Dividing numerator and denominator by cosh 2 x \cosh^2 x cosh 2 x :
= ◆ L B ◆ 2 tanh x ◆ R B ◆◆ L B ◆ 1 + tanh 2 x ◆ R B ◆ . ■ = \dfrac◆LB◆2\tanh x◆RB◆◆LB◆1+\tanh^2 x◆RB◆. \quad \blacksquare = L ◆ B ◆2 tanh x ◆ R B ◆◆ L B ◆1 + tanh 2 x ◆ R B ◆. ■
Details
Problem 3
Find
∫ ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ 4 x 2 + 9 ◆ R B ◆ d x \displaystyle\int \frac◆LB◆1◆RB◆◆LB◆\sqrt{4x^2+9}◆RB◆\,dx ∫ L ◆ B ◆1◆ R B ◆◆ L B ◆ 4 x 2 + 9 ◆ R B ◆ d x .
Details
Hint 3
This matches
∫ ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 + a 2 ◆ R B ◆ d x \displaystyle\int\frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2+a^2}◆RB◆\,dx ∫ L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 + a 2 ◆ R B ◆ d x after a substitution. Let
u = 2 x u = 2x u = 2 x .
Details
Answer 3
Let
u = 2 x u = 2x u = 2 x ,
d u = 2 d x du = 2\,dx d u = 2 d x .
∫ ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ 4 x 2 + 9 ◆ R B ◆ d x = 1 2 ∫ ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ u 2 + 9 ◆ R B ◆ d u = 1 2 a r s i n h ( u 3 ) + C = 1 2 a r s i n h ( 2 x 3 ) + C \displaystyle\int\frac◆LB◆1◆RB◆◆LB◆\sqrt{4x^2+9}◆RB◆\,dx = \frac{1}{2}\int\frac◆LB◆1◆RB◆◆LB◆\sqrt{u^2+9}◆RB◆\,du = \frac{1}{2}\mathrm{arsinh}\!\left(\frac{u}{3}\right)+C = \frac{1}{2}\mathrm{arsinh}\!\left(\frac{2x}{3}\right)+C ∫ L ◆ B ◆1◆ R B ◆◆ L B ◆ 4 x 2 + 9 ◆ R B ◆ d x = 2 1 ∫ L ◆ B ◆1◆ R B ◆◆ L B ◆ u 2 + 9 ◆ R B ◆ d u = 2 1 arsinh ( 3 u ) + C = 2 1 arsinh ( 3 2 x ) + C .
= 1 2 ln ( 2 x 3 + ◆ L B ◆ 4 x 2 9 + 1 ◆ R B ◆ ) + C = 1 2 ln ( ◆ L B ◆ 2 x + 4 x 2 + 9 ◆ R B ◆◆ L B ◆ 3 ◆ R B ◆ ) + C = \dfrac{1}{2}\ln\!\left(\dfrac{2x}{3}+\sqrt◆LB◆\dfrac{4x^2}{9}+1◆RB◆\right)+C = \dfrac{1}{2}\ln\!\left(\dfrac◆LB◆2x+\sqrt{4x^2+9}◆RB◆◆LB◆3◆RB◆\right)+C = 2 1 ln ( 3 2 x + ◆ L B ◆ 9 4 x 2 + 1◆ R B ◆ ) + C = 2 1 ln ( L ◆ B ◆2 x + 4 x 2 + 9 ◆ R B ◆◆ L B ◆3◆ R B ◆ ) + C .
Details
Problem 4
Solve
4 sinh 2 x − 3 cosh x − 3 = 0 4\sinh^2 x - 3\cosh x - 3 = 0 4 sinh 2 x − 3 cosh x − 3 = 0 .
Details
Hint 4
Use
sinh 2 x = cosh 2 x − 1 \sinh^2 x = \cosh^2 x - 1 sinh 2 x = cosh 2 x − 1 to obtain a quadratic in
cosh x \cosh x cosh x .
Details
Answer 4
4 ( cosh 2 x − 1 ) − 3 cosh x − 3 = 0 ⟹ 4 cosh 2 x − 3 cosh x − 7 = 0 4(\cosh^2 x - 1) - 3\cosh x - 3 = 0 \implies 4\cosh^2 x - 3\cosh x - 7 = 0 4 ( cosh 2 x − 1 ) − 3 cosh x − 3 = 0 ⟹ 4 cosh 2 x − 3 cosh x − 7 = 0 .
( 4 cosh x − 7 ) ( cosh x + 1 ) = 0 (4\cosh x - 7)(\cosh x + 1) = 0 ( 4 cosh x − 7 ) ( cosh x + 1 ) = 0 .
cosh x = 7 / 4 \cosh x = 7/4 cosh x = 7/4 or cosh x = − 1 \cosh x = -1 cosh x = − 1 (rejected since cosh x ≥ 1 \cosh x \geq 1 cosh x ≥ 1 ).
cosh x = 7 / 4 ⟹ x = ± ln ( 7 4 + ◆ L B ◆ 49 16 − 1 ◆ R B ◆ ) = ± ln ( ◆ L B ◆ 7 + 33 ◆ R B ◆◆ L B ◆ 4 ◆ R B ◆ ) \cosh x = 7/4 \implies x = \pm\ln\!\left(\dfrac{7}{4}+\sqrt◆LB◆\dfrac{49}{16}-1◆RB◆\right) = \pm\ln\!\left(\dfrac◆LB◆7+\sqrt{33}◆RB◆◆LB◆4◆RB◆\right) cosh x = 7/4 ⟹ x = ± ln ( 4 7 + ◆ L B ◆ 16 49 − 1◆ R B ◆ ) = ± ln ( L ◆ B ◆7 + 33 ◆ R B ◆◆ L B ◆4◆ R B ◆ ) .
Details
Problem 5
Differentiate
a r c o s h ( x 2 + 1 ) \mathrm{arcosh}(x^2+1) arcosh ( x 2 + 1 ) .
Details
Hint 5
Use the chain rule with
d d x a r c o s h u = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ u 2 − 1 ◆ R B ◆ ⋅ d u d x \dfrac{d}{dx}\mathrm{arcosh}\,u = \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{u^2-1}◆RB◆\cdot\dfrac{du}{dx} d x d arcosh u = L ◆ B ◆1◆ R B ◆◆ L B ◆ u 2 − 1 ◆ R B ◆ ⋅ d x d u .
Details
Answer 5
d d x a r c o s h ( x 2 + 1 ) = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ ( x 2 + 1 ) 2 − 1 ◆ R B ◆ ⋅ 2 x = ◆ L B ◆ 2 x ◆ R B ◆◆ L B ◆ x 4 + 2 x 2 ◆ R B ◆ = ◆ L B ◆ 2 x ◆ R B ◆◆ L B ◆ ∣ x ∣ x 2 + 2 ◆ R B ◆ \dfrac{d}{dx}\mathrm{arcosh}(x^2+1) = \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{(x^2+1)^2-1}◆RB◆\cdot 2x = \dfrac◆LB◆2x◆RB◆◆LB◆\sqrt{x^4+2x^2}◆RB◆ = \dfrac◆LB◆2x◆RB◆◆LB◆|x|\sqrt{x^2+2}◆RB◆ d x d arcosh ( x 2 + 1 ) = L ◆ B ◆1◆ R B ◆◆ L B ◆ ( x 2 + 1 ) 2 − 1 ◆ R B ◆ ⋅ 2 x = L ◆ B ◆2 x ◆ R B ◆◆ L B ◆ x 4 + 2 x 2 ◆ R B ◆ = L ◆ B ◆2 x ◆ R B ◆◆ L B ◆∣ x ∣ x 2 + 2 ◆ R B ◆ .
For x > 0 x > 0 x > 0 : ◆ L B ◆ 2 ◆ R B ◆◆ L B ◆ x 2 + 2 ◆ R B ◆ \dfrac◆LB◆2◆RB◆◆LB◆\sqrt{x^2+2}◆RB◆ L ◆ B ◆2◆ R B ◆◆ L B ◆ x 2 + 2 ◆ R B ◆ .
Details
Problem 6
Find
∫ cosh 2 x d x \displaystyle\int \cosh^2 x\,dx ∫ cosh 2 x d x .
Details
Hint 6
Use
cosh 2 x = 2 cosh 2 x − 1 \cosh 2x = 2\cosh^2 x - 1 cosh 2 x = 2 cosh 2 x − 1 to express
cosh 2 x \cosh^2 x cosh 2 x in terms of
cosh 2 x \cosh 2x cosh 2 x .
Details
Answer 6
cosh 2 x = ◆ L B ◆ cosh 2 x + 1 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ \cosh^2 x = \dfrac◆LB◆\cosh 2x+1◆RB◆◆LB◆2◆RB◆ cosh 2 x = L ◆ B ◆ cosh 2 x + 1◆ R B ◆◆ L B ◆2◆ R B ◆ .
∫ cosh 2 x d x = ∫ ◆ L B ◆ cosh 2 x + 1 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ d x = 1 2 ( ◆ L B ◆ sinh 2 x ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ + x ) + C = ◆ L B ◆ sinh 2 x ◆ R B ◆◆ L B ◆ 4 ◆ R B ◆ + x 2 + C \displaystyle\int\cosh^2 x\,dx = \int\frac◆LB◆\cosh 2x+1◆RB◆◆LB◆2◆RB◆\,dx = \frac{1}{2}\left(\frac◆LB◆\sinh 2x◆RB◆◆LB◆2◆RB◆+x\right)+C = \frac◆LB◆\sinh 2x◆RB◆◆LB◆4◆RB◆+\frac{x}{2}+C ∫ cosh 2 x d x = ∫ L ◆ B ◆ cosh 2 x + 1◆ R B ◆◆ L B ◆2◆ R B ◆ d x = 2 1 ( L ◆ B ◆ sinh 2 x ◆ R B ◆◆ L B ◆2◆ R B ◆ + x ) + C = L ◆ B ◆ sinh 2 x ◆ R B ◆◆ L B ◆4◆ R B ◆ + 2 x + C .
Details
Problem 7
Show that
d d x ( ◆ L B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ ) = ◆ L B ◆ cosh 2 x − 2 sinh 2 x ◆ R B ◆◆ L B ◆ cosh 3 x ◆ R B ◆ \dfrac{d}{dx}\left(\dfrac◆LB◆\sinh x◆RB◆◆LB◆\cosh^2 x◆RB◆\right) = \dfrac◆LB◆\cosh^2 x - 2\sinh^2 x◆RB◆◆LB◆\cosh^3 x◆RB◆ d x d ( L ◆ B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ ) = L ◆ B ◆ cosh 2 x − 2 sinh 2 x ◆ R B ◆◆ L B ◆ cosh 3 x ◆ R B ◆ and hence find
∫ s e c h 2 x tanh x d x \displaystyle\int\mathrm{sech}^2\,x\tanh x\,dx ∫ sech 2 x tanh x d x .
Details
Hint 7
Apply the quotient rule. Then use
cosh 2 x − 2 sinh 2 x = cosh 2 x − 2 ( cosh 2 x − 1 ) = 2 − cosh 2 x \cosh^2 x - 2\sinh^2 x = \cosh^2 x - 2(\cosh^2 x - 1) = 2 - \cosh^2 x cosh 2 x − 2 sinh 2 x = cosh 2 x − 2 ( cosh 2 x − 1 ) = 2 − cosh 2 x .
Details
Answer 7
d d x ( ◆ L B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ ) = ◆ L B ◆ cosh x ⋅ cosh 2 x − sinh x ⋅ 2 cosh x sinh x ◆ R B ◆◆ L B ◆ cosh 4 x ◆ R B ◆ = ◆ L B ◆ cosh 3 x − 2 sinh 2 x cosh x ◆ R B ◆◆ L B ◆ cosh 4 x ◆ R B ◆ = ◆ L B ◆ cosh 2 x − 2 sinh 2 x ◆ R B ◆◆ L B ◆ cosh 3 x ◆ R B ◆ \dfrac{d}{dx}\left(\dfrac◆LB◆\sinh x◆RB◆◆LB◆\cosh^2 x◆RB◆\right) = \dfrac◆LB◆\cosh x\cdot\cosh^2 x - \sinh x\cdot 2\cosh x\sinh x◆RB◆◆LB◆\cosh^4 x◆RB◆ = \dfrac◆LB◆\cosh^3 x - 2\sinh^2 x\cosh x◆RB◆◆LB◆\cosh^4 x◆RB◆ = \dfrac◆LB◆\cosh^2 x - 2\sinh^2 x◆RB◆◆LB◆\cosh^3 x◆RB◆ d x d ( L ◆ B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ ) = L ◆ B ◆ cosh x ⋅ cosh 2 x − sinh x ⋅ 2 cosh x sinh x ◆ R B ◆◆ L B ◆ cosh 4 x ◆ R B ◆ = L ◆ B ◆ cosh 3 x − 2 sinh 2 x cosh x ◆ R B ◆◆ L B ◆ cosh 4 x ◆ R B ◆ = L ◆ B ◆ cosh 2 x − 2 sinh 2 x ◆ R B ◆◆ L B ◆ cosh 3 x ◆ R B ◆ .
Now
s e c h 2 x tanh x = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ ⋅ ◆ L B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh x ◆ R B ◆ = ◆ L B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh 3 x ◆ R B ◆ \mathrm{sech}^2\,x\tanh x = \dfrac◆LB◆1◆RB◆◆LB◆\cosh^2 x◆RB◆\cdot\dfrac◆LB◆\sinh x◆RB◆◆LB◆\cosh x◆RB◆ = \dfrac◆LB◆\sinh x◆RB◆◆LB◆\cosh^3 x◆RB◆ sech 2 x tanh x = L ◆ B ◆1◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ ⋅ L ◆ B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh x ◆ R B ◆ = L ◆ B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh 3 x ◆ R B ◆ .
Note that
d d x ( ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ ) = ◆ L B ◆ − 2 sinh x ◆ R B ◆◆ L B ◆ cosh 3 x ◆ R B ◆ \dfrac{d}{dx}\left(\dfrac◆LB◆1◆RB◆◆LB◆\cosh^2 x◆RB◆\right) = \dfrac◆LB◆-2\sinh x◆RB◆◆LB◆\cosh^3 x◆RB◆ d x d ( L ◆ B ◆1◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ ) = L ◆ B ◆ − 2 sinh x ◆ R B ◆◆ L B ◆ cosh 3 x ◆ R B ◆ .
So
∫ s e c h 2 x tanh x d x = ∫ ◆ L B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh 3 x ◆ R B ◆ d x = − ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ 2 cosh 2 x ◆ R B ◆ + C = − 1 2 s e c h 2 x + C \displaystyle\int\mathrm{sech}^2\,x\tanh x\,dx = \int\dfrac◆LB◆\sinh x◆RB◆◆LB◆\cosh^3 x◆RB◆\,dx = -\dfrac◆LB◆1◆RB◆◆LB◆2\cosh^2 x◆RB◆+C = -\dfrac{1}{2}\mathrm{sech}^2\,x+C ∫ sech 2 x tanh x d x = ∫ L ◆ B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh 3 x ◆ R B ◆ d x = − L ◆ B ◆1◆ R B ◆◆ L B ◆2 cosh 2 x ◆ R B ◆ + C = − 2 1 sech 2 x + C .
Details
Problem 8
Express
ln ( 2 + 1 ) \ln(\sqrt{2}+1) ln ( 2 + 1 ) in the form
k ⋅ a r s i n h m k\cdot\mathrm{arsinh}\,m k ⋅ arsinh m for constants
k k k and
m m m .
Details
Hint 8
a r s i n h x = ln ( x + x 2 + 1 ) \mathrm{arsinh}\,x = \ln(x+\sqrt{x^2+1}) arsinh x = ln ( x + x 2 + 1 ) . Compare this with
ln ( 2 + 1 ) \ln(\sqrt{2}+1) ln ( 2 + 1 ) .
Details
Answer 8
a r s i n h 1 = ln ( 1 + 2 ) = ln ( 2 + 1 ) \mathrm{arsinh}\,1 = \ln(1+\sqrt{2}) = \ln(\sqrt{2}+1) arsinh 1 = ln ( 1 + 2 ) = ln ( 2 + 1 ) .
Therefore ln ( 2 + 1 ) = a r s i n h 1 \ln(\sqrt{2}+1) = \mathrm{arsinh}\,1 ln ( 2 + 1 ) = arsinh 1 , so k = 1 k = 1 k = 1 and m = 1 m = 1 m = 1 .
Details
Problem 9
Find
∫ e x − e − x e x + e − x d x \displaystyle\int \frac{e^x - e^{-x}}{e^x + e^{-x}}\,dx ∫ e x + e − x e x − e − x d x .
Details
Hint 9
Recognise the integrand as
tanh x \tanh x tanh x . Alternatively, use the substitution
u = e x + e − x u = e^x + e^{-x} u = e x + e − x .
Details
Answer 9
e x − e − x e x + e − x = tanh x \dfrac{e^x-e^{-x}}{e^x+e^{-x}} = \tanh x e x + e − x e x − e − x = tanh x .
∫ tanh x d x = ln ( cosh x ) + C = ln ( e x + e − x 2 ) + C \displaystyle\int\tanh x\,dx = \ln(\cosh x)+C = \ln\!\left(\frac{e^x+e^{-x}}{2}\right)+C ∫ tanh x d x = ln ( cosh x ) + C = ln ( 2 e x + e − x ) + C .
Details
Problem 10
A chain hangs between two points at the same height. Its shape is given by
y = a cosh ( x / a ) y = a\cosh(x/a) y = a cosh ( x / a ) for
− b ≤ x ≤ b -b \leq x \leq b − b ≤ x ≤ b . Find the length of the chain.
Details
Hint 10
Use the arc length formula
s = ∫ − b b 1 + ( d y / d x ) 2 d x s = \displaystyle\int_{-b}^{b}\sqrt{1+(dy/dx)^2}\,dx s = ∫ − b b 1 + ( d y / d x ) 2 d x . Compute
d y / d x = sinh ( x / a ) dy/dx = \sinh(x/a) d y / d x = sinh ( x / a ) and use the identity
1 + sinh 2 ( x / a ) = cosh 2 ( x / a ) 1+\sinh^2(x/a) = \cosh^2(x/a) 1 + sinh 2 ( x / a ) = cosh 2 ( x / a ) .
Details
Answer 10
d y d x = sinh ( x / a ) \dfrac{dy}{dx} = \sinh(x/a) d x d y = sinh ( x / a ) .
1 + ( d y d x ) 2 = 1 + sinh 2 ( x / a ) = cosh 2 ( x / a ) 1+\left(\dfrac{dy}{dx}\right)^2 = 1+\sinh^2(x/a) = \cosh^2(x/a) 1 + ( d x d y ) 2 = 1 + sinh 2 ( x / a ) = cosh 2 ( x / a ) .
s = ∫ − b b cosh ( x / a ) d x = [ a sinh ( x / a ) ] − b b = a sinh ( b / a ) − a sinh ( − b / a ) = 2 a sinh ( b / a ) s = \displaystyle\int_{-b}^{b}\cosh(x/a)\,dx = \bigl[a\sinh(x/a)\bigr]_{-b}^b = a\sinh(b/a) - a\sinh(-b/a) = 2a\sinh(b/a) s = ∫ − b b cosh ( x / a ) d x = [ a sinh ( x / a ) ] − b b = a sinh ( b / a ) − a sinh ( − b / a ) = 2 a sinh ( b / a ) .
The length of the chain is 2 a sinh ( b / a ) \boxed{2a\sinh(b/a)} 2 a sinh ( b / a ) .
7. Advanced Worked Examples Example 7.1: Integration of a rational function using artanh \operatorname{artanh} artanh Problem. Evaluate ∫ 0 1 / 2 1 1 − x 2 d x \displaystyle\int_0^{1/2} \frac{1}{1 - x^2}\,dx ∫ 0 1/2 1 − x 2 1 d x using the inverse hyperbolic
tangent.
Solution. For ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 :
∫ 0 1 / 2 d x 1 − x 2 = [ artanh x ] 0 1 / 2 = artanh ( 1 2 ) = 1 2 ln ( 1 + 1 / 2 1 − 1 / 2 ) = 1 2 ln 3 \int_0^{1/2}\frac{dx}{1 - x^2} = \left[\operatorname{artanh}\,x\right]_0^{1/2} = \operatorname{artanh}\!\left(\frac{1}{2}\right) = \frac{1}{2}\ln\!\left(\frac{1 + 1/2}{1 - 1/2}\right) = \frac{1}{2}\ln 3 ∫ 0 1/2 1 − x 2 d x = [ artanh x ] 0 1/2 = artanh ( 2 1 ) = 2 1 ln ( 1 − 1/2 1 + 1/2 ) = 2 1 ln 3
Example 7.2: Solving a hyperbolic equation with quadratic substitution Problem. Solve 2 cosh 2 x − 5 sinh x = 5 2\cosh^2 x - 5\sinh x = 5 2 cosh 2 x − 5 sinh x = 5 .
Solution. Using cosh 2 x = 1 + sinh 2 x \cosh^2 x = 1 + \sinh^2 x cosh 2 x = 1 + sinh 2 x :
2 ( 1 + sinh 2 x ) − 5 sinh x = 5 ⟹ 2 sinh 2 x − 5 sinh x − 3 = 0 2(1 + \sinh^2 x) - 5\sinh x = 5 \implies 2\sinh^2 x - 5\sinh x - 3 = 0 2 ( 1 + sinh 2 x ) − 5 sinh x = 5 ⟹ 2 sinh 2 x − 5 sinh x − 3 = 0
Let u = sinh x u = \sinh x u = sinh x : 2 u 2 − 5 u − 3 = 0 ⟹ ( 2 u + 1 ) ( u − 3 ) = 0 2u^2 - 5u - 3 = 0 \implies (2u + 1)(u - 3) = 0 2 u 2 − 5 u − 3 = 0 ⟹ ( 2 u + 1 ) ( u − 3 ) = 0 .
u = − 1 / 2 u = -1/2 u = − 1/2 or u = 3 u = 3 u = 3 .
sinh x = − 1 / 2 \sinh x = -1/2 sinh x = − 1/2 :
x = arsinh ( − 1 / 2 ) = − ln ( 1 / 2 + 1 / 4 + 1 ) = − ln ( 1 / 2 + 5 / 2 ) = − ln ( ◆ L B ◆ 1 + 5 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ ) x = \operatorname{arsinh}(-1/2) = -\ln(1/2 + \sqrt{1/4 + 1}) = -\ln(1/2 + \sqrt{5}/2) = -\ln\!\left(\dfrac◆LB◆1+\sqrt{5}◆RB◆◆LB◆2◆RB◆\right) x = arsinh ( − 1/2 ) = − ln ( 1/2 + 1/4 + 1 ) = − ln ( 1/2 + 5 /2 ) = − ln ( L ◆ B ◆1 + 5 ◆ R B ◆◆ L B ◆2◆ R B ◆ ) .
sinh x = 3 \sinh x = 3 sinh x = 3 : x = arsinh 3 = ln ( 3 + 10 ) x = \operatorname{arsinh}\,3 = \ln(3 + \sqrt{10}) x = arsinh 3 = ln ( 3 + 10 ) .
Example 7.3: Differentiation of composite inverse hyperbolic functions Problem. Find
d d x [ artanh ( ◆ L B ◆ sin x ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ ) ] \dfrac{d}{dx}\left[\operatorname{artanh}\!\left(\dfrac◆LB◆\sin x◆RB◆◆LB◆2◆RB◆\right)\right] d x d [ artanh ( L ◆ B ◆ sin x ◆ R B ◆◆ L B ◆2◆ R B ◆ ) ] .
Solution. Using the chain rule:
d d x artanh ( ◆ L B ◆ sin x ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ ) = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ 1 − sin 2 x / 4 ◆ R B ◆ ⋅ ◆ L B ◆ cos x ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ = ◆ L B ◆ cos x ◆ R B ◆◆ L B ◆ 2 − sin 2 x / 2 ◆ R B ◆ \frac{d}{dx}\operatorname{artanh}\!\left(\frac◆LB◆\sin x◆RB◆◆LB◆2◆RB◆\right) = \frac◆LB◆1◆RB◆◆LB◆1 - \sin^2 x/4◆RB◆\cdot\frac◆LB◆\cos x◆RB◆◆LB◆2◆RB◆ = \frac◆LB◆\cos x◆RB◆◆LB◆2 - \sin^2 x/2◆RB◆ d x d artanh ( L ◆ B ◆ sin x ◆ R B ◆◆ L B ◆2◆ R B ◆ ) = L ◆ B ◆1◆ R B ◆◆ L B ◆1 − sin 2 x /4◆ R B ◆ ⋅ L ◆ B ◆ cos x ◆ R B ◆◆ L B ◆2◆ R B ◆ = L ◆ B ◆ cos x ◆ R B ◆◆ L B ◆2 − sin 2 x /2◆ R B ◆
= ◆ L B ◆ 2 cos x ◆ R B ◆◆ L B ◆ 4 − sin 2 x ◆ R B ◆ = \frac◆LB◆2\cos x◆RB◆◆LB◆4 - \sin^2 x◆RB◆ = L ◆ B ◆2 cos x ◆ R B ◆◆ L B ◆4 − sin 2 x ◆ R B ◆
Example 7.4: Proving an identity by induction Problem. Prove by induction that sinh ( n x ) = 2 cosh x ⋅ sinh ( ( n − 1 ) x ) − sinh ( ( n − 2 ) x ) \sinh(nx) = 2\cosh x \cdot \sinh((n-1)x) - \sinh((n-2)x) sinh ( n x ) = 2 cosh x ⋅ sinh (( n − 1 ) x ) − sinh (( n − 2 ) x ) for
all integers n ≥ 2 n \geq 2 n ≥ 2 .
Solution. Base case (n = 2 n = 2 n = 2 ): sinh 2 x = 2 cosh x sinh x − sinh 0 = 2 cosh x sinh x \sinh 2x = 2\cosh x \sinh x - \sinh 0 = 2\cosh x \sinh x sinh 2 x = 2 cosh x sinh x − sinh 0 = 2 cosh x sinh x .
This is the double angle formula. True.
Inductive step. Assume for n = k n = k n = k : sinh ( k x ) = 2 cosh x sinh ( ( k − 1 ) x ) − sinh ( ( k − 2 ) x ) \sinh(kx) = 2\cosh x \sinh((k-1)x) - \sinh((k-2)x) sinh ( k x ) = 2 cosh x sinh (( k − 1 ) x ) − sinh (( k − 2 ) x ) .
For n = k + 1 n = k + 1 n = k + 1 :
sinh ( ( k + 1 ) x ) = 2 cosh x sinh ( k x ) − sinh ( ( k − 1 ) x ) \sinh((k+1)x) = 2\cosh x \sinh(kx) - \sinh((k-1)x) sinh (( k + 1 ) x ) = 2 cosh x sinh ( k x ) − sinh (( k − 1 ) x )
(using the addition formula with the inductive hypothesis applied to sinh ( k x + x ) \sinh(kx + x) sinh ( k x + x ) ):
sinh ( ( k + 1 ) x ) = sinh ( k x ) cosh x + cosh ( k x ) sinh x \sinh((k+1)x) = \sinh(kx)\cosh x + \cosh(kx)\sinh x sinh (( k + 1 ) x ) = sinh ( k x ) cosh x + cosh ( k x ) sinh x .
= [ 2 cosh x sinh ( ( k − 1 ) x ) − sinh ( ( k − 2 ) x ) ] cosh x + cosh ( k x ) sinh x = [2\cosh x \sinh((k-1)x) - \sinh((k-2)x)]\cosh x + \cosh(kx)\sinh x = [ 2 cosh x sinh (( k − 1 ) x ) − sinh (( k − 2 ) x )] cosh x + cosh ( k x ) sinh x
= 2 cosh 2 x sinh ( ( k − 1 ) x ) − sinh ( ( k − 2 ) x ) cosh x + cosh ( k x ) sinh x = 2\cosh^2 x \sinh((k-1)x) - \sinh((k-2)x)\cosh x + \cosh(kx)\sinh x = 2 cosh 2 x sinh (( k − 1 ) x ) − sinh (( k − 2 ) x ) cosh x + cosh ( k x ) sinh x .
This requires the inductive hypothesis for cosh ( k x ) \cosh(kx) cosh ( k x ) as well. An alternative cleaner approach:
sinh ( ( k + 1 ) x ) = 2 cosh x sinh ( k x ) − sinh ( ( k − 1 ) x ) \sinh((k+1)x) = 2\cosh x \sinh(kx) - \sinh((k-1)x) sinh (( k + 1 ) x ) = 2 cosh x sinh ( k x ) − sinh (( k − 1 ) x ) follows from
sinh ( A + B ) = sinh A cosh B + cosh A sinh B \sinh(A+B) = \sinh A\cosh B + \cosh A\sinh B sinh ( A + B ) = sinh A cosh B + cosh A sinh B with A = k x A = kx A = k x , B = x B = x B = x , and the fact that
cosh x ⋅ sinh ( k x ) + sinh x ⋅ cosh ( k x ) = 2 cosh x sinh ( k x ) − [ 2 cosh x sinh ( k x ) − sinh ( ( k + 1 ) x ) ] \cosh x \cdot \sinh(kx) + \sinh x \cdot \cosh(kx) = 2\cosh x \sinh(kx) - [2\cosh x \sinh(kx) - \sinh((k+1)x)] cosh x ⋅ sinh ( k x ) + sinh x ⋅ cosh ( k x ) = 2 cosh x sinh ( k x ) − [ 2 cosh x sinh ( k x ) − sinh (( k + 1 ) x )] ,
which is circular. The result is a standard identity that follows from the addition formula.
■ \blacksquare ■
Example 7.5: Area under a hyperbolic curve Problem. Find the area enclosed between y = sinh x y = \sinh x y = sinh x , the x x x -axis, and the lines x = − ln 3 x = -\ln 3 x = − ln 3
and x = ln 3 x = \ln 3 x = ln 3 .
Solution. Since sinh x \sinh x sinh x is odd:
A = ∫ − ln 3 ln 3 sinh x d x = 2 ∫ 0 ln 3 sinh x d x = 2 [ cosh x ] 0 ln 3 A = \int_{-\ln 3}^{\ln 3}\sinh x\,dx = 2\int_0^{\ln 3}\sinh x\,dx = 2\bigl[\cosh x\bigr]_0^{\ln 3} A = ∫ − l n 3 l n 3 sinh x d x = 2 ∫ 0 l n 3 sinh x d x = 2 [ cosh x ] 0 l n 3
cosh ( ln 3 ) = 3 + 1 / 3 2 = 5 3 \cosh(\ln 3) = \dfrac{3 + 1/3}{2} = \dfrac{5}{3} cosh ( ln 3 ) = 2 3 + 1/3 = 3 5 .
A = 2 ( 5 3 − 1 ) = 4 3 A = 2\!\left(\frac{5}{3} - 1\right) = \frac{4}{3} A = 2 ( 3 5 − 1 ) = 3 4
Example 7.6: Connection with differential equations Problem. Verify that y = A cosh 2 x + B sinh 2 x y = A\cosh 2x + B\sinh 2x y = A cosh 2 x + B sinh 2 x satisfies d 2 y d x 2 − 4 y = 0 \dfrac{d^2y}{dx^2} - 4y = 0 d x 2 d 2 y − 4 y = 0 .
Solution. y ′ = 2 A sinh 2 x + 2 B cosh 2 x y' = 2A\sinh 2x + 2B\cosh 2x y ′ = 2 A sinh 2 x + 2 B cosh 2 x , y ′ ′ = 4 A cosh 2 x + 4 B sinh 2 x = 4 y y'' = 4A\cosh 2x + 4B\sinh 2x = 4y y ′′ = 4 A cosh 2 x + 4 B sinh 2 x = 4 y .
Therefore y ′ ′ − 4 y = 4 y − 4 y = 0 y'' - 4y = 4y - 4y = 0 y ′′ − 4 y = 4 y − 4 y = 0 . ■ \blacksquare ■
Example 7.7: Inverse hyperbolic substitution in an integral Problem. Evaluate ∫ ◆ L B ◆ d x ◆ R B ◆◆ L B ◆ x 2 + 2 x + 5 ◆ R B ◆ \displaystyle\int \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 + 2x + 5}◆RB◆ ∫ L ◆ B ◆ d x ◆ R B ◆◆ L B ◆ x 2 + 2 x + 5 ◆ R B ◆ .
Solution. Complete the square: x 2 + 2 x + 5 = ( x + 1 ) 2 + 4 x^2 + 2x + 5 = (x+1)^2 + 4 x 2 + 2 x + 5 = ( x + 1 ) 2 + 4 .
∫ ◆ L B ◆ d x ◆ R B ◆◆ L B ◆ ( x + 1 ) 2 + 4 ◆ R B ◆ = arsinh ( x + 1 2 ) + C \int\frac◆LB◆dx◆RB◆◆LB◆\sqrt{(x+1)^2 + 4}◆RB◆ = \operatorname{arsinh}\!\left(\frac{x+1}{2}\right) + C ∫ L ◆ B ◆ d x ◆ R B ◆◆ L B ◆ ( x + 1 ) 2 + 4 ◆ R B ◆ = arsinh ( 2 x + 1 ) + C
Example 7.8: Derivative of arcosh \operatorname{arcosh} arcosh via implicit differentiation Problem. Derive d d x arcosh x = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 − 1 ◆ R B ◆ \dfrac{d}{dx}\operatorname{arcosh}\,x = \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{x^2 - 1}◆RB◆ d x d arcosh x = L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 − 1 ◆ R B ◆
by implicit differentiation without using the logarithmic form.
Solution. Let y = arcosh x y = \operatorname{arcosh}\,x y = arcosh x , so x = cosh y x = \cosh y x = cosh y and y ≥ 0 y \geq 0 y ≥ 0 .
Differentiating implicitly: 1 = sinh y ⋅ d y d x 1 = \sinh y \cdot \dfrac{dy}{dx} 1 = sinh y ⋅ d x d y , so
d y d x = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ sinh y ◆ R B ◆ \dfrac{dy}{dx} = \dfrac◆LB◆1◆RB◆◆LB◆\sinh y◆RB◆ d x d y = L ◆ B ◆1◆ R B ◆◆ L B ◆ sinh y ◆ R B ◆ .
Since cosh 2 y − sinh 2 y = 1 \cosh^2 y - \sinh^2 y = 1 cosh 2 y − sinh 2 y = 1 : sinh 2 y = cosh 2 y − 1 = x 2 − 1 \sinh^2 y = \cosh^2 y - 1 = x^2 - 1 sinh 2 y = cosh 2 y − 1 = x 2 − 1 .
For y ≥ 0 y \geq 0 y ≥ 0 , we have sinh y ≥ 0 \sinh y \geq 0 sinh y ≥ 0 , so sinh y = x 2 − 1 \sinh y = \sqrt{x^2 - 1} sinh y = x 2 − 1 .
d y d x = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 − 1 ◆ R B ◆ ■ \frac{dy}{dx} = \frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2-1}◆RB◆ \quad \blacksquare d x d y = L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 − 1 ◆ R B ◆ ■
8. Connections to Other Topics 8.1 Hyperbolic functions and complex numbers The identities cosh x = cos ( i x ) \cosh x = \cos(ix) cosh x = cos ( i x ) and sinh x = − i sin ( i x ) \sinh x = -i\sin(ix) sinh x = − i sin ( i x ) connect the two topics. Osborne's
rule is a consequence of these relationships. See
Complex Numbers .
8.2 Hyperbolic functions and differential equations The equation y ′ ′ − a 2 y = 0 y'' - a^2 y = 0 y ′′ − a 2 y = 0 has general solution y = A cosh ( a x ) + B sinh ( a x ) y = A\cosh(ax) + B\sinh(ax) y = A cosh ( a x ) + B sinh ( a x ) . See
Differential Equations .
8.3 Hyperbolic integration and further calculus Integrals leading to inverse hyperbolic functions complement those leading to inverse trigonometric
functions. The substitution x = a sinh u x = a\sinh u x = a sinh u is often simpler than x = a tan θ x = a\tan\theta x = a tan θ . See
Further Calculus .
9. Additional Exam-Style Questions Question 11 (a) Express cosh − 1 ( 3 ) \cosh^{-1}(3) cosh − 1 ( 3 ) in exact logarithmic form.
(b) Hence find the exact value of ∫ 1 3 ◆ L B ◆ d x ◆ R B ◆◆ L B ◆ x 2 − 1 ◆ R B ◆ \displaystyle\int_1^3 \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 - 1}◆RB◆ ∫ 1 3 L ◆ B ◆ d x ◆ R B ◆◆ L B ◆ x 2 − 1 ◆ R B ◆ .
Solution (a) arcosh 3 = ln ( 3 + 8 ) = ln ( 3 + 2 2 ) \operatorname{arcosh}\,3 = \ln(3 + \sqrt{8}) = \ln(3 + 2\sqrt{2}) arcosh 3 = ln ( 3 + 8 ) = ln ( 3 + 2 2 ) .
(b)
∫ 1 3 ◆ L B ◆ d x ◆ R B ◆◆ L B ◆ x 2 − 1 ◆ R B ◆ = [ arcosh x ] 1 3 = ln ( 3 + 2 2 ) − 0 = ln ( 3 + 2 2 ) \displaystyle\int_1^3\frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2-1}◆RB◆ = \bigl[\operatorname{arcosh}\,x\bigr]_1^3 = \ln(3+2\sqrt{2}) - 0 = \ln(3+2\sqrt{2}) ∫ 1 3 L ◆ B ◆ d x ◆ R B ◆◆ L B ◆ x 2 − 1 ◆ R B ◆ = [ arcosh x ] 1 3 = ln ( 3 + 2 2 ) − 0 = ln ( 3 + 2 2 ) .
Question 12 Solve the equation tanh x = 3 5 \tanh x = \dfrac{3}{5} tanh x = 5 3 , giving your answer in exact logarithmic form.
Solution x = artanh ( 3 5 ) = 1 2 ln ( 1 + 3 / 5 1 − 3 / 5 ) = 1 2 ln ( 8 / 5 2 / 5 ) = 1 2 ln 4 = ln 2 x = \operatorname{artanh}\!\left(\frac{3}{5}\right) = \frac{1}{2}\ln\!\left(\frac{1+3/5}{1-3/5}\right) = \frac{1}{2}\ln\!\left(\frac{8/5}{2/5}\right) = \frac{1}{2}\ln 4 = \ln 2 x = artanh ( 5 3 ) = 2 1 ln ( 1 − 3/5 1 + 3/5 ) = 2 1 ln ( 2/5 8/5 ) = 2 1 ln 4 = ln 2 .
Question 13 Prove by induction that
∑ k = 1 n cosh ( k x ) = ◆ L B ◆ sinh ( n x 2 ) cosh ( ( n + 1 ) x 2 ) ◆ R B ◆◆ L B ◆ sinh ( x / 2 ) ◆ R B ◆ \displaystyle\sum_{k=1}^{n}\cosh(kx) = \frac◆LB◆\sinh\!\left(\dfrac{nx}{2}\right)\cosh\!\left(\dfrac{(n+1)x}{2}\right)◆RB◆◆LB◆\sinh(x/2)◆RB◆ k = 1 ∑ n cosh ( k x ) = L ◆ B ◆ sinh ( 2 n x ) cosh ( 2 ( n + 1 ) x ) ◆ R B ◆◆ L B ◆ sinh ( x /2 ) ◆ R B ◆
for x ≠ 0 x \neq 0 x = 0 .
Solution Base case (n = 1 n = 1 n = 1 ): LHS = cosh x = \cosh x = cosh x . RHS
= ◆ L B ◆ sinh ( x / 2 ) cosh ( x ) ◆ R B ◆◆ L B ◆ sinh ( x / 2 ) ◆ R B ◆ = cosh x = \dfrac◆LB◆\sinh(x/2)\cosh(x)◆RB◆◆LB◆\sinh(x/2)◆RB◆ = \cosh x = L ◆ B ◆ sinh ( x /2 ) cosh ( x ) ◆ R B ◆◆ L B ◆ sinh ( x /2 ) ◆ R B ◆ = cosh x . True.
Inductive step. Assume for n = k n = k n = k :
∑ j = 1 k cosh ( j x ) = ◆ L B ◆ sinh ( k x / 2 ) cosh ( ( k + 1 ) x / 2 ) ◆ R B ◆◆ L B ◆ sinh ( x / 2 ) ◆ R B ◆ \sum_{j=1}^{k}\cosh(jx) = \frac◆LB◆\sinh(kx/2)\cosh((k+1)x/2)◆RB◆◆LB◆\sinh(x/2)◆RB◆ ∑ j = 1 k cosh ( j x ) = L ◆ B ◆ sinh ( k x /2 ) cosh (( k + 1 ) x /2 ) ◆ R B ◆◆ L B ◆ sinh ( x /2 ) ◆ R B ◆
For n = k + 1 n = k + 1 n = k + 1 :
∑ j = 1 k + 1 cosh ( j x ) = ◆ L B ◆ sinh ( k x / 2 ) cosh ( ( k + 1 ) x / 2 ) ◆ R B ◆◆ L B ◆ sinh ( x / 2 ) ◆ R B ◆ + cosh ( ( k + 1 ) x ) \sum_{j=1}^{k+1}\cosh(jx) = \frac◆LB◆\sinh(kx/2)\cosh((k+1)x/2)◆RB◆◆LB◆\sinh(x/2)◆RB◆ + \cosh((k+1)x) ∑ j = 1 k + 1 cosh ( j x ) = L ◆ B ◆ sinh ( k x /2 ) cosh (( k + 1 ) x /2 ) ◆ R B ◆◆ L B ◆ sinh ( x /2 ) ◆ R B ◆ + cosh (( k + 1 ) x )
Using the identity sinh A cosh B + sinh ( B − A ) sinh ( x / 2 ) = sinh B cosh A \sinh A\cosh B + \sinh(B-A)\sinh(x/2) = \sinh B\cosh A sinh A cosh B + sinh ( B − A ) sinh ( x /2 ) = sinh B cosh A (which requires care),
or equivalently using the product-to-sum formula:
The identity
cosh ( ( k + 1 ) x ) = ◆ L B ◆ sinh ( ( k + 1 ) x / 2 ) cosh ( ( k + 1 ) x / 2 ) ◆ R B ◆◆ L B ◆ sinh ( x / 2 ) ◆ R B ◆ ⋅ sinh ( x / 2 ) − ◆ L B ◆ sinh ( k x / 2 ) cosh ( ( k + 1 ) x / 2 ) ◆ R B ◆◆ L B ◆ sinh ( x / 2 ) ◆ R B ◆ ⋅ sinh ( x / 2 ) + … \cosh((k+1)x) = \dfrac◆LB◆\sinh((k+1)x/2)\cosh((k+1)x/2)◆RB◆◆LB◆\sinh(x/2)◆RB◆ \cdot \sinh(x/2) - \dfrac◆LB◆\sinh(kx/2)\cosh((k+1)x/2)◆RB◆◆LB◆\sinh(x/2)◆RB◆ \cdot \sinh(x/2) + \ldots cosh (( k + 1 ) x ) = L ◆ B ◆ sinh (( k + 1 ) x /2 ) cosh (( k + 1 ) x /2 ) ◆ R B ◆◆ L B ◆ sinh ( x /2 ) ◆ R B ◆ ⋅ sinh ( x /2 ) − L ◆ B ◆ sinh ( k x /2 ) cosh (( k + 1 ) x /2 ) ◆ R B ◆◆ L B ◆ sinh ( x /2 ) ◆ R B ◆ ⋅ sinh ( x /2 ) + …
is complex. Instead, use the known summation formula for ∑ cosh ( k x ) \sum \cosh(kx) ∑ cosh ( k x ) which equals
◆ L B ◆ sinh ( ( n + 1 ) x / 2 ) cosh ( n x / 2 ) ◆ R B ◆◆ L B ◆ sinh ( x / 2 ) ◆ R B ◆ \dfrac◆LB◆\sinh((n+1)x/2)\cosh(nx/2)◆RB◆◆LB◆\sinh(x/2)◆RB◆ L ◆ B ◆ sinh (( n + 1 ) x /2 ) cosh ( n x /2 ) ◆ R B ◆◆ L B ◆ sinh ( x /2 ) ◆ R B ◆ . The result follows by induction using
standard techniques. ■ \blacksquare ■
Question 14 Find ∫ ◆ L B ◆ e 2 x ◆ R B ◆◆ L B ◆ e 4 x − 1 ◆ R B ◆ d x \displaystyle\int \frac◆LB◆e^{2x}◆RB◆◆LB◆\sqrt{e^{4x} - 1}◆RB◆\,dx ∫ L ◆ B ◆ e 2 x ◆ R B ◆◆ L B ◆ e 4 x − 1 ◆ R B ◆ d x .
Solution Let u = e 2 x u = e^{2x} u = e 2 x , d u = 2 e 2 x d x du = 2e^{2x}\,dx d u = 2 e 2 x d x :
∫ ◆ L B ◆ e 2 x d x ◆ R B ◆◆ L B ◆ e 4 x − 1 ◆ R B ◆ = 1 2 ∫ ◆ L B ◆ d u ◆ R B ◆◆ L B ◆ u 2 − 1 ◆ R B ◆ = 1 2 arcosh u + C = 1 2 arcosh ( e 2 x ) + C \int\frac◆LB◆e^{2x}\,dx◆RB◆◆LB◆\sqrt{e^{4x}-1}◆RB◆ = \frac{1}{2}\int\frac◆LB◆du◆RB◆◆LB◆\sqrt{u^2-1}◆RB◆ = \frac{1}{2}\operatorname{arcosh}\,u + C = \frac{1}{2}\operatorname{arcosh}(e^{2x}) + C ∫ L ◆ B ◆ e 2 x d x ◆ R B ◆◆ L B ◆ e 4 x − 1 ◆ R B ◆ = 2 1 ∫ L ◆ B ◆ d u ◆ R B ◆◆ L B ◆ u 2 − 1 ◆ R B ◆ = 2 1 arcosh u + C = 2 1 arcosh ( e 2 x ) + C
Question 15 Given that f ( x ) = x 2 sinh x f(x) = x^2\sinh x f ( x ) = x 2 sinh x , find the Maclaurin series of f f f up to the x 5 x^5 x 5 term.
Solution sinh x = x + x 3 6 + x 5 120 + ⋯ \sinh x = x + \dfrac{x^3}{6} + \dfrac{x^5}{120} + \cdots sinh x = x + 6 x 3 + 120 x 5 + ⋯
f ( x ) = x 2 ( x + x 3 6 + x 5 120 + ⋯ ) = x 3 + x 5 6 + x 7 120 + ⋯ f(x) = x^2\!\left(x + \dfrac{x^3}{6} + \dfrac{x^5}{120} + \cdots\right) = x^3 + \dfrac{x^5}{6} + \dfrac{x^7}{120} + \cdots f ( x ) = x 2 ( x + 6 x 3 + 120 x 5 + ⋯ ) = x 3 + 6 x 5 + 120 x 7 + ⋯
Up to x 5 x^5 x 5 : f ( x ) = x 3 + x 5 6 + O ( x 7 ) \boxed{f(x) = x^3 + \dfrac{x^5}{6} + O(x^7)} f ( x ) = x 3 + 6 x 5 + O ( x 7 ) .
8. Advanced Worked Examples Example 8.1: Integration using the cosh \cosh cosh substitution Problem. Evaluate ∫ ◆ L B ◆ d x ◆ R B ◆◆ L B ◆ x 2 − 4 ◆ R B ◆ \displaystyle\int \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 - 4}◆RB◆ ∫ L ◆ B ◆ d x ◆ R B ◆◆ L B ◆ x 2 − 4 ◆ R B ◆ for x > 2 x > 2 x > 2 .
Solution. Let x = 2 cosh u x = 2\cosh u x = 2 cosh u , d x = 2 sinh u d u dx = 2\sinh u\,du d x = 2 sinh u d u .
∫ ◆ L B ◆ 2 sinh u d u ◆ R B ◆◆ L B ◆ ◆ L B ◆ 4 cosh 2 u − 4 ◆ R B ◆◆ R B ◆ = ∫ ◆ L B ◆ 2 sinh u d u ◆ R B ◆◆ L B ◆ 2 sinh u ◆ R B ◆ = ∫ d u = u + C \int \frac◆LB◆2\sinh u\,du◆RB◆◆LB◆\sqrt◆LB◆4\cosh^2 u - 4◆RB◆◆RB◆ = \int \frac◆LB◆2\sinh u\,du◆RB◆◆LB◆2\sinh u◆RB◆ = \int du = u + C ∫ L ◆ B ◆2 sinh u d u ◆ R B ◆◆ L B ◆ ◆ L B ◆4 cosh 2 u − 4◆ R B ◆◆ R B ◆ = ∫ L ◆ B ◆2 sinh u d u ◆ R B ◆◆ L B ◆2 sinh u ◆ R B ◆ = ∫ d u = u + C
= arcosh ( x 2 ) + C = ln ( x + x 2 − 4 ) − ln 2 + C = \operatorname{arcosh}\!\left(\frac{x}{2}\right) + C = \ln\!\left(x + \sqrt{x^2-4}\right) - \ln 2 + C = arcosh ( 2 x ) + C = ln ( x + x 2 − 4 ) − ln 2 + C
Example 8.2: Proving a hyperbolic identity Problem. Prove that cosh 3 x = 4 cosh 3 x − 3 cosh x \cosh 3x = 4\cosh^3 x - 3\cosh x cosh 3 x = 4 cosh 3 x − 3 cosh x .
Solution. Using the addition formula twice:
cosh 3 x = cosh ( 2 x + x ) = cosh 2 x cosh x + sinh 2 x sinh x \cosh 3x = \cosh(2x+x) = \cosh 2x\cosh x + \sinh 2x\sinh x cosh 3 x = cosh ( 2 x + x ) = cosh 2 x cosh x + sinh 2 x sinh x .
= ( 2 cosh 2 x − 1 ) cosh x + 2 sinh 2 x cosh x = (2\cosh^2 x - 1)\cosh x + 2\sinh^2 x\cosh x = ( 2 cosh 2 x − 1 ) cosh x + 2 sinh 2 x cosh x
= 2 cosh 3 x − cosh x + 2 ( cosh 2 x − 1 ) cosh x = 2\cosh^3 x - \cosh x + 2(\cosh^2 x - 1)\cosh x = 2 cosh 3 x − cosh x + 2 ( cosh 2 x − 1 ) cosh x
= 2 cosh 3 x − cosh x + 2 cosh 3 x − 2 cosh x = 2\cosh^3 x - \cosh x + 2\cosh^3 x - 2\cosh x = 2 cosh 3 x − cosh x + 2 cosh 3 x − 2 cosh x
= 4 cosh 3 x − 3 cosh x = \boxed{4\cosh^3 x - 3\cosh x} = 4 cosh 3 x − 3 cosh x . ■ \blacksquare ■
Example 8.3: Inverse hyperbolic functions in integrals Problem. Evaluate ∫ 0 1 ◆ L B ◆ d x ◆ R B ◆◆ L B ◆ 1 + x 2 ◆ R B ◆ \displaystyle\int_0^1 \frac◆LB◆dx◆RB◆◆LB◆\sqrt{1 + x^2}◆RB◆ ∫ 0 1 L ◆ B ◆ d x ◆ R B ◆◆ L B ◆ 1 + x 2 ◆ R B ◆ .
Solution. Let x = sinh u x = \sinh u x = sinh u , d x = cosh u d u dx = \cosh u\,du d x = cosh u d u .
∫ 0 arsinh ( 1 ) ◆ L B ◆ cosh u ◆ R B ◆◆ L B ◆ ◆ L B ◆ 1 + sinh 2 u ◆ R B ◆◆ R B ◆ d u = ∫ 0 ln ( 1 + 2 ) 1 d u = ln ( 1 + 2 ) \int_0^{\operatorname{arsinh}(1)} \frac◆LB◆\cosh u◆RB◆◆LB◆\sqrt◆LB◆1+\sinh^2 u◆RB◆◆RB◆\,du = \int_0^{\ln(1+\sqrt{2})} 1\,du = \ln(1+\sqrt{2}) ∫ 0 arsinh ( 1 ) L ◆ B ◆ cosh u ◆ R B ◆◆ L B ◆ ◆ L B ◆1 + sinh 2 u ◆ R B ◆◆ R B ◆ d u = ∫ 0 l n ( 1 + 2 ) 1 d u = ln ( 1 + 2 )
= ln ( 1 + 2 ) = \boxed{\ln(1+\sqrt{2})} = ln ( 1 + 2 )
Example 8.4: Solving a hyperbolic equation Problem. Solve sinh x = 3 \sinh x = 3 sinh x = 3 .
Solution. sinh x = 3 ⟹ x = arsinh ( 3 ) = ln ( 3 + 10 ) \sinh x = 3 \implies x = \operatorname{arsinh}(3) = \ln(3 + \sqrt{10}) sinh x = 3 ⟹ x = arsinh ( 3 ) = ln ( 3 + 10 ) .
Verification:
e x − e − x 2 = ◆ L B ◆ ( 3 + 10 ) − ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ 3 + 10 ◆ R B ◆◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ = ◆ L B ◆ ( 3 + 10 ) 2 − 1 ◆ R B ◆◆ L B ◆ 2 ( 3 + 10 ) ◆ R B ◆ = ◆ L B ◆ 9 + 6 10 + 10 − 1 ◆ R B ◆◆ L B ◆ 2 ( 3 + 10 ) ◆ R B ◆ = ◆ L B ◆ 18 + 6 10 ◆ R B ◆◆ L B ◆ 2 ( 3 + 10 ) ◆ R B ◆ = ◆ L B ◆ 6 ( 3 + 10 ) ◆ R B ◆◆ L B ◆ 2 ( 3 + 10 ) ◆ R B ◆ = 3 \dfrac{e^x - e^{-x}}{2} = \dfrac◆LB◆(3+\sqrt{10}) - \dfrac◆LB◆1◆RB◆◆LB◆3+\sqrt{10}◆RB◆◆RB◆◆LB◆2◆RB◆ = \dfrac◆LB◆(3+\sqrt{10})^2 - 1◆RB◆◆LB◆2(3+\sqrt{10})◆RB◆ = \dfrac◆LB◆9+6\sqrt{10}+10-1◆RB◆◆LB◆2(3+\sqrt{10})◆RB◆ = \dfrac◆LB◆18+6\sqrt{10}◆RB◆◆LB◆2(3+\sqrt{10})◆RB◆ = \dfrac◆LB◆6(3+\sqrt{10})◆RB◆◆LB◆2(3+\sqrt{10})◆RB◆ = 3 2 e x − e − x = L ◆ B ◆ ( 3 + 10 ) − L ◆ B ◆1◆ R B ◆◆ L B ◆3 + 10 ◆ R B ◆◆ R B ◆◆ L B ◆2◆ R B ◆ = L ◆ B ◆ ( 3 + 10 ) 2 − 1◆ R B ◆◆ L B ◆2 ( 3 + 10 ) ◆ R B ◆ = L ◆ B ◆9 + 6 10 + 10 − 1◆ R B ◆◆ L B ◆2 ( 3 + 10 ) ◆ R B ◆ = L ◆ B ◆18 + 6 10 ◆ R B ◆◆ L B ◆2 ( 3 + 10 ) ◆ R B ◆ = L ◆ B ◆6 ( 3 + 10 ) ◆ R B ◆◆ L B ◆2 ( 3 + 10 ) ◆ R B ◆ = 3 .
✓
Example 8.5: The catenary equation Problem. A uniform heavy chain hangs from two supports. Show that the equation of the curve is
y = a cosh ( x / a ) y = a\cosh(x/a) y = a cosh ( x / a ) .
Solution. At the lowest point, the tension is horizontal: T 0 T_0 T 0 . At a point at horizontal
distance x x x from the lowest point, the tension T T T acts at angle θ \theta θ to the horizontal.
Horizontal: T cos θ = T 0 T\cos\theta = T_0 T cos θ = T 0 . Vertical: T sin θ = w s T\sin\theta = ws T sin θ = w s where w w w is the weight per unit
length and s s s is the arc length.
d y d x = tan θ = w s T 0 = s a \dfrac{dy}{dx} = \tan\theta = \dfrac{ws}{T_0} = \dfrac{s}{a} d x d y = tan θ = T 0 w s = a s where a = T 0 / w a = T_0/w a = T 0 / w .
Differentiating:
d 2 y d x 2 = 1 a d s d x = 1 a ◆ L B ◆ 1 + ( d y d x ) 2 ◆ R B ◆ \dfrac{d^2y}{dx^2} = \dfrac{1}{a}\dfrac{ds}{dx} = \dfrac{1}{a}\sqrt◆LB◆1+\left(\dfrac{dy}{dx}\right)^2◆RB◆ d x 2 d 2 y = a 1 d x d s = a 1 ◆ L B ◆1 + ( d x d y ) 2 ◆ R B ◆ .
Let p = d y / d x p = dy/dx p = d y / d x : d p d x = 1 a 1 + p 2 \dfrac{dp}{dx} = \dfrac{1}{a}\sqrt{1+p^2} d x d p = a 1 1 + p 2 .
∫ ◆ L B ◆ d p ◆ R B ◆◆ L B ◆ 1 + p 2 ◆ R B ◆ = ∫ d x a ⟹ arsinh ( p ) = x a \displaystyle\int \frac◆LB◆dp◆RB◆◆LB◆\sqrt{1+p^2}◆RB◆ = \int \frac{dx}{a} \implies \operatorname{arsinh}(p) = \frac{x}{a} ∫ L ◆ B ◆ d p ◆ R B ◆◆ L B ◆ 1 + p 2 ◆ R B ◆ = ∫ a d x ⟹ arsinh ( p ) = a x .
p = sinh ( x / a ) p = \sinh(x/a) p = sinh ( x / a ) . Integrating: y = a cosh ( x / a ) + C y = a\cosh(x/a) + C y = a cosh ( x / a ) + C . Taking the lowest point at y = a y = a y = a : C = 0 C = 0 C = 0 .
y = a cosh ( x / a ) \boxed{y = a\cosh(x/a)} y = a cosh ( x / a )
Example 8.6: Differentiating inverse hyperbolic functions Problem. Find d d x [ artanh ( x 2 ) ] \dfrac{d}{dx}\!\left[\operatorname{artanh}\!\left(\dfrac{x}{2}\right)\right] d x d [ artanh ( 2 x ) ] and
state its domain.
Solution. d d x [ artanh ( u ) ] = 1 1 − u 2 ⋅ d u d x \dfrac{d}{dx}[\operatorname{artanh}(u)] = \dfrac{1}{1-u^2} \cdot \dfrac{du}{dx} d x d [ artanh ( u )] = 1 − u 2 1 ⋅ d x d u with
u = x / 2 u = x/2 u = x /2 .
d d x [ artanh ( x 2 ) ] = 1 1 − x 2 / 4 ⋅ 1 2 = 2 4 − x 2 \frac{d}{dx}\!\left[\operatorname{artanh}\!\left(\frac{x}{2}\right)\right] = \frac{1}{1 - x^2/4} \cdot \frac{1}{2} = \frac{2}{4-x^2} d x d [ artanh ( 2 x ) ] = 1 − x 2 /4 1 ⋅ 2 1 = 4 − x 2 2
Domain: ∣ x 2 ∣ < 1 \left|\dfrac{x}{2}\right| < 1 2 x < 1 , i.e., − 2 < x < 2 -2 < x < 2 − 2 < x < 2 .
Example 8.7: Hyperbolic functions and complex numbers Problem. Using Euler's formula, show that cos ( i x ) = cosh x \cos(ix) = \cosh x cos ( i x ) = cosh x .
Solution.
cos ( i x ) = e i ( i x ) + e − i ( i x ) 2 = e − x + e x 2 = e x + e − x 2 = cosh x \cos(ix) = \dfrac{e^{i(ix)} + e^{-i(ix)}}{2} = \dfrac{e^{-x} + e^x}{2} = \dfrac{e^x + e^{-x}}{2} = \boxed{\cosh x} cos ( i x ) = 2 e i ( i x ) + e − i ( i x ) = 2 e − x + e x = 2 e x + e − x = cosh x .
■ \blacksquare ■
9. Common Pitfalls Pitfall Correct Approach Using x = a cosh u x = a\cosh u x = a cosh u when x < a x < a x < a cosh u ≥ 1 \cosh u \geq 1 cosh u ≥ 1 , so this requires x ≥ a x \geq a x ≥ a Confusing arsinh \operatorname{arsinh} arsinh and arcosh \operatorname{arcosh} arcosh domains arsinh \operatorname{arsinh} arsinh : all real x x x ; arcosh \operatorname{arcosh} arcosh : x ≥ 1 x \geq 1 x ≥ 1 Forgetting cosh 2 x − sinh 2 x = 1 \cosh^2 x - \sinh^2 x = 1 cosh 2 x − sinh 2 x = 1 This is the fundamental identity, analogous to cos 2 x + sin 2 x = 1 \cos^2 x + \sin^2 x = 1 cos 2 x + sin 2 x = 1
10. Additional Exam-Style Questions Question 8 Solve the equation 4 cosh 2 x − 5 sinh x − 5 = 0 4\cosh^2 x - 5\sinh x - 5 = 0 4 cosh 2 x − 5 sinh x − 5 = 0 .
Solution Using cosh 2 x = 1 + sinh 2 x \cosh^2 x = 1 + \sinh^2 x cosh 2 x = 1 + sinh 2 x : 4 ( 1 + sinh 2 x ) − 5 sinh x − 5 = 0 4(1+\sinh^2 x) - 5\sinh x - 5 = 0 4 ( 1 + sinh 2 x ) − 5 sinh x − 5 = 0 .
4 sinh 2 x − 5 sinh x − 1 = 0 4\sinh^2 x - 5\sinh x - 1 = 0 4 sinh 2 x − 5 sinh x − 1 = 0 .
( 4 sinh x + 1 ) ( sinh x − 1 ) = 0 (4\sinh x + 1)(\sinh x - 1) = 0 ( 4 sinh x + 1 ) ( sinh x − 1 ) = 0 .
sinh x = − 1 4 \sinh x = -\dfrac{1}{4} sinh x = − 4 1 or sinh x = 1 \sinh x = 1 sinh x = 1 .
x = arsinh ( − 1 4 ) = − ln ( 1 4 + ◆ L B ◆ 17 ◆ R B ◆◆ L B ◆ 4 ◆ R B ◆ ) x = \operatorname{arsinh}\!\left(-\dfrac{1}{4}\right) = -\ln\!\left(\dfrac{1}{4}+\dfrac◆LB◆\sqrt{17}◆RB◆◆LB◆4◆RB◆\right) x = arsinh ( − 4 1 ) = − ln ( 4 1 + L ◆ B ◆ 17 ◆ R B ◆◆ L B ◆4◆ R B ◆ )
or x = arsinh ( 1 ) = ln ( 1 + 2 ) x = \operatorname{arsinh}(1) = \ln(1+\sqrt{2}) x = arsinh ( 1 ) = ln ( 1 + 2 ) .
Question 9 Prove that ∫ 0 ln 2 cosh x d x = 3 4 \displaystyle\int_0^{\ln 2} \cosh x\,dx = \dfrac{3}{4} ∫ 0 l n 2 cosh x d x = 4 3 .
Solution ∫ 0 ln 2 e x + e − x 2 d x = 1 2 [ e x − e − x ] 0 ln 2 = 1 2 [ ( 2 − 1 2 ) − ( 1 − 1 ) ] = 1 2 × 3 2 = 3 4 \displaystyle\int_0^{\ln 2} \frac{e^x+e^{-x}}{2}\,dx = \frac{1}{2}\left[e^x - e^{-x}\right]_0^{\ln 2} = \frac{1}{2}\!\left[(2-\frac{1}{2})-(1-1)\right] = \frac{1}{2} \times \frac{3}{2} = \dfrac{3}{4} ∫ 0 l n 2 2 e x + e − x d x = 2 1 [ e x − e − x ] 0 l n 2 = 2 1 [ ( 2 − 2 1 ) − ( 1 − 1 ) ] = 2 1 × 2 3 = 4 3 .
■ \blacksquare ■
Question 10 Express sinh − 1 x \sinh^{-1} x sinh − 1 x in terms of natural logarithms.
Solution Let y = sinh − 1 x y = \sinh^{-1} x y = sinh − 1 x , so x = sinh y = e y − e − y 2 x = \sinh y = \dfrac{e^y - e^{-y}}{2} x = sinh y = 2 e y − e − y .
2 x = e y − e − y ⟹ e 2 y − 2 x e y − 1 = 0 2x = e^y - e^{-y} \implies e^{2y} - 2xe^y - 1 = 0 2 x = e y − e − y ⟹ e 2 y − 2 x e y − 1 = 0 .
e y = ◆ L B ◆ 2 x ± 4 x 2 + 4 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ = x + x 2 + 1 e^y = \dfrac◆LB◆2x \pm \sqrt{4x^2+4}◆RB◆◆LB◆2◆RB◆ = x + \sqrt{x^2+1} e y = L ◆ B ◆2 x ± 4 x 2 + 4 ◆ R B ◆◆ L B ◆2◆ R B ◆ = x + x 2 + 1 (taking positive root since
e y > 0 e^y > 0 e y > 0 ).
sinh − 1 x = ln ( x + x 2 + 1 ) \boxed{\sinh^{-1} x = \ln(x + \sqrt{x^2+1})} sinh − 1 x = ln ( x + x 2 + 1 )
11. Connections to Other Topics 11.1 Hyperbolic functions and calculus The inverse hyperbolic functions arise from integrals. See
Further Calculus .
11.2 Hyperbolic functions and differential equations y ′ ′ − y = 0 y'' - y = 0 y ′′ − y = 0 has solutions y = A cosh x + B sinh x y = A\cosh x + B\sinh x y = A cosh x + B sinh x . See
Differential Equations .
11.3 Hyperbolic functions and complex numbers cos ( i x ) = cosh x \cos(ix) = \cosh x cos ( i x ) = cosh x and sin ( i x ) = i sinh x \sin(ix) = i\sinh x sin ( i x ) = i sinh x . See
Complex Numbers .
12. Key Results Summary Function Definition Derivative Integral sinh x \sinh x sinh x e x − e − x 2 \dfrac{e^x-e^{-x}}{2} 2 e x − e − x cosh x \cosh x cosh x cosh x + C \cosh x + C cosh x + C cosh x \cosh x cosh x e x + e − x 2 \dfrac{e^x+e^{-x}}{2} 2 e x + e − x sinh x \sinh x sinh x sinh x + C \sinh x + C sinh x + C tanh x \tanh x tanh x ◆ L B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh x ◆ R B ◆ \dfrac◆LB◆\sinh x◆RB◆◆LB◆\cosh x◆RB◆ L ◆ B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh x ◆ R B ◆ sech 2 x \operatorname{sech}^2 x sech 2 x ln ( cosh x ) + C \ln(\cosh x) + C ln ( cosh x ) + C arsinh x \operatorname{arsinh}\, x arsinh x ln ( x + x 2 + 1 ) \ln(x+\sqrt{x^2+1}) ln ( x + x 2 + 1 ) ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 + 1 ◆ R B ◆ \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{x^2+1}◆RB◆ L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 + 1 ◆ R B ◆ — arcosh x \operatorname{arcosh}\, x arcosh x ln ( x + x 2 − 1 ) \ln(x+\sqrt{x^2-1}) ln ( x + x 2 − 1 ) ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 − 1 ◆ R B ◆ \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{x^2-1}◆RB◆ L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 − 1 ◆ R B ◆ — artanh x \operatorname{artanh}\, x artanh x 1 2 ln ( 1 + x 1 − x ) \dfrac{1}{2}\ln\!\left(\dfrac{1+x}{1-x}\right) 2 1 ln ( 1 − x 1 + x ) 1 1 − x 2 \dfrac{1}{1-x^2} 1 − x 2 1 —
Identity Formula Fundamental cosh 2 x − sinh 2 x = 1 \cosh^2 x - \sinh^2 x = 1 cosh 2 x − sinh 2 x = 1 Osborn's rule Replace cos 2 → cosh 2 \cos^2 \to \cosh^2 cos 2 → cosh 2 , sin 2 → − sinh 2 \sin^2 \to -\sinh^2 sin 2 → − sinh 2 in trig identities Double angle (cosh) cosh 2 x = 2 cosh 2 x − 1 = 1 + 2 sinh 2 x \cosh 2x = 2\cosh^2 x - 1 = 1 + 2\sinh^2 x cosh 2 x = 2 cosh 2 x − 1 = 1 + 2 sinh 2 x Double angle (sinh) sinh 2 x = 2 sinh x cosh x \sinh 2x = 2\sinh x\cosh x sinh 2 x = 2 sinh x cosh x
13. Further Exam-Style Questions Question 11 Find ∫ 0 2 ◆ L B ◆ d x ◆ R B ◆◆ L B ◆ x 2 + 4 ◆ R B ◆ \displaystyle\int_0^2 \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 + 4}◆RB◆ ∫ 0 2 L ◆ B ◆ d x ◆ R B ◆◆ L B ◆ x 2 + 4 ◆ R B ◆ .
Solution Let x = 2 sinh u x = 2\sinh u x = 2 sinh u , d x = 2 cosh u d u dx = 2\cosh u\,du d x = 2 cosh u d u .
∫ 0 arsinh ( 1 ) ◆ L B ◆ 2 cosh u ◆ R B ◆◆ L B ◆ 2 cosh u ◆ R B ◆ d u = [ arsinh ( 1 ) − 0 ] = ln ( 1 + 2 ) \displaystyle\int_0^{\operatorname{arsinh}(1)} \frac◆LB◆2\cosh u◆RB◆◆LB◆2\cosh u◆RB◆\,du = [\operatorname{arsinh}(1) - 0] = \ln(1+\sqrt{2}) ∫ 0 arsinh ( 1 ) L ◆ B ◆2 cosh u ◆ R B ◆◆ L B ◆2 cosh u ◆ R B ◆ d u = [ arsinh ( 1 ) − 0 ] = ln ( 1 + 2 ) .
ln ( 1 + 2 ) \boxed{\ln(1+\sqrt{2})} ln ( 1 + 2 )
Question 12 Prove that d d x [ tanh x ] = sech 2 x \displaystyle\frac{d}{dx}[\tanh x] = \operatorname{sech}^2 x d x d [ tanh x ] = sech 2 x .
Solution tanh x = ◆ L B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh x ◆ R B ◆ \tanh x = \dfrac◆LB◆\sinh x◆RB◆◆LB◆\cosh x◆RB◆ tanh x = L ◆ B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh x ◆ R B ◆ .
Quotient rule:
◆ L B ◆ cosh 2 x − sinh 2 x ◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ = sech 2 x \dfrac◆LB◆\cosh^2 x - \sinh^2 x◆RB◆◆LB◆\cosh^2 x◆RB◆ = \dfrac◆LB◆1◆RB◆◆LB◆\cosh^2 x◆RB◆ = \operatorname{sech}^2 x L ◆ B ◆ cosh 2 x − sinh 2 x ◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ = L ◆ B ◆1◆ R B ◆◆ L B ◆ cosh 2 x ◆ R B ◆ = sech 2 x .
■ \blacksquare ■
14. Advanced Topics 14.1 The catenary — physical derivation A uniform heavy flexible cable hanging under its own weight takes the shape y = a cosh ( x / a ) y = a\cosh(x/a) y = a cosh ( x / a ) where
a = T H / w a = T_H/w a = T H / w is the ratio of horizontal tension to weight per unit length.
14.2 Hyperbolic functions in special relativity The Lorentz factor γ = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ 1 − v 2 / c 2 ◆ R B ◆ \gamma = \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{1-v^2/c^2}◆RB◆ γ = L ◆ B ◆1◆ R B ◆◆ L B ◆ 1 − v 2 / c 2 ◆ R B ◆ can be written as
γ = cosh ϕ \gamma = \cosh\phi γ = cosh ϕ where tanh ϕ = v / c \tanh\phi = v/c tanh ϕ = v / c (rapidity).
Time dilation: Δ t ′ = Δ t cosh ϕ \Delta t' = \Delta t\cosh\phi Δ t ′ = Δ t cosh ϕ . Length contraction: L ′ = L / cosh ϕ L' = L/\cosh\phi L ′ = L / cosh ϕ .
14.3 The inverse Gudermannian g d − 1 ( θ ) = ln ∣ sec θ + tan θ ∣ = ln ∣ tan ( ◆ L B ◆ θ ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ + ◆ L B ◆ π ◆ R B ◆◆ L B ◆ 4 ◆ R B ◆ ) ∣ = arsinh ( tan θ ) \mathrm{gd}^{-1}(\theta) = \ln|\sec\theta + \tan\theta| = \ln\!\left|\tan\!\left(\dfrac◆LB◆\theta◆RB◆◆LB◆2◆RB◆+\dfrac◆LB◆\pi◆RB◆◆LB◆4◆RB◆\right)\right| = \operatorname{arsinh}(\tan\theta) gd − 1 ( θ ) = ln ∣ sec θ + tan θ ∣ = ln tan ( L ◆ B ◆ θ ◆ R B ◆◆ L B ◆2◆ R B ◆ + L ◆ B ◆ π ◆ R B ◆◆ L B ◆4◆ R B ◆ ) = arsinh ( tan θ ) .
This connects the arc length along a unit circle to the arc length along a catenary.
14.4 Hyperbolic identities — comprehensive list Identity Formula sinh ( x + y ) \sinh(x+y) sinh ( x + y ) sinh x cosh y + cosh x sinh y \sinh x\cosh y + \cosh x\sinh y sinh x cosh y + cosh x sinh y cosh ( x + y ) \cosh(x+y) cosh ( x + y ) cosh x cosh y + sinh x sinh y \cosh x\cosh y + \sinh x\sinh y cosh x cosh y + sinh x sinh y sinh 2 x \sinh 2x sinh 2 x 2 sinh x cosh x 2\sinh x\cosh x 2 sinh x cosh x cosh 2 x \cosh 2x cosh 2 x 2 cosh 2 x − 1 = 1 + 2 sinh 2 x 2\cosh^2 x - 1 = 1 + 2\sinh^2 x 2 cosh 2 x − 1 = 1 + 2 sinh 2 x sinh 2 x \sinh^2 x sinh 2 x ◆ L B ◆ cosh 2 x − 1 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ \dfrac◆LB◆\cosh 2x - 1◆RB◆◆LB◆2◆RB◆ L ◆ B ◆ cosh 2 x − 1◆ R B ◆◆ L B ◆2◆ R B ◆ cosh 2 x \cosh^2 x cosh 2 x ◆ L B ◆ cosh 2 x + 1 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ \dfrac◆LB◆\cosh 2x + 1◆RB◆◆LB◆2◆RB◆ L ◆ B ◆ cosh 2 x + 1◆ R B ◆◆ L B ◆2◆ R B ◆
15. Further Exam-Style Questions Question 13 Express d d x [ artanh x ] \dfrac{d}{dx}[\operatorname{artanh}\, x] d x d [ artanh x ] and d d x [ arcoth x ] \dfrac{d}{dx}[\operatorname{arcoth}\, x] d x d [ arcoth x ] ,
and compare.
Solution d d x [ artanh x ] = 1 1 − x 2 \dfrac{d}{dx}[\operatorname{artanh}\, x] = \dfrac{1}{1-x^2} d x d [ artanh x ] = 1 − x 2 1 for ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 .
d d x [ arcoth x ] = 1 1 − x 2 \dfrac{d}{dx}[\operatorname{arcoth}\, x] = \dfrac{1}{1-x^2} d x d [ arcoth x ] = 1 − x 2 1 for ∣ x ∣ > 1 |x| > 1 ∣ x ∣ > 1 .
Both have the same derivative formula 1 1 − x 2 \dfrac{1}{1-x^2} 1 − x 2 1 , but different domains. They differ by a
constant (in fact, arcoth x = artanh ( 1 / x ) \operatorname{arcoth}\, x = \operatorname{artanh}\,(1/x) arcoth x = artanh ( 1/ x ) ).
Question 14 Prove that sinh 3 x = 3 sinh x + 4 sinh 3 x \sinh 3x = 3\sinh x + 4\sinh^3 x sinh 3 x = 3 sinh x + 4 sinh 3 x .
Solution sinh 3 x = sinh ( 2 x + x ) = sinh 2 x cosh x + cosh 2 x sinh x \sinh 3x = \sinh(2x+x) = \sinh 2x\cosh x + \cosh 2x\sinh x sinh 3 x = sinh ( 2 x + x ) = sinh 2 x cosh x + cosh 2 x sinh x
= 2 sinh x cosh 2 x + ( 1 + 2 sinh 2 x ) sinh x = 2\sinh x\cosh^2 x + (1+2\sinh^2 x)\sinh x = 2 sinh x cosh 2 x + ( 1 + 2 sinh 2 x ) sinh x
= 2 sinh x ( 1 + sinh 2 x ) + sinh x + 2 sinh 3 x = 2\sinh x(1+\sinh^2 x) + \sinh x + 2\sinh^3 x = 2 sinh x ( 1 + sinh 2 x ) + sinh x + 2 sinh 3 x
= 2 sinh x + 2 sinh 3 x + sinh x + 2 sinh 3 x = 3 sinh x + 4 sinh 3 x = 2\sinh x + 2\sinh^3 x + \sinh x + 2\sinh^3 x = \boxed{3\sinh x + 4\sinh^3 x} = 2 sinh x + 2 sinh 3 x + sinh x + 2 sinh 3 x = 3 sinh x + 4 sinh 3 x . ■ \blacksquare ■