Hyperbolic Functions
Hyperbolic functions are defined in terms of the exponential function and share remarkable
Similarities with trigonometric functions. They arise in the solution of differential Equations, the
description of hanging cables (catenary), special relativity, and many areas of Physics and
engineering.
Hyperbolic Functions: sinh, cosh, tanh
Adjust the parameters in the graph above to explore the relationships between variables.
Board Coverage
Board Paper Notes AQA Paper 1 Definitions, identities, calculus Edexcel FP2 Full coverage: definitions, identities, inverses, calculus OCR (A) Paper 1 Definitions and basic identities CIE (9231) P2 Full coverage including logarithmic forms of inverses
:::info The formula booklet lists hyperbolic identities and the logarithmic forms of the inverse
Hyperbolic functions. CIE requires the derivation of these logarithmic forms.
:::
1. Definitions
1.1 The three principal hyperbolic functions
Definition. The hyperbolic cosine , hyperbolic sine , and hyperbolic tangent are
Defined by:
cosh x = e x + e − x 2 \boxed{\cosh x = \frac{e^x + e^{-x}}{2}} cosh x = 2 e x + e − x
sinh x = e x − e − x 2 \boxed{\sinh x = \frac{e^x - e^{-x}}{2}} sinh x = 2 e x − e − x
tanh x = ◆ L B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh x ◆ R B ◆ = e x − e − x e x + e − x \boxed{\tanh x = \frac◆LB◆\sinh x◆RB◆◆LB◆\cosh x◆RB◆ = \frac{e^x - e^{-x}}{e^x + e^{-x}}} tanh x = L ◆ B ◆ sinh x ◆ R B ◆◆ L B ◆ cosh x ◆ R B ◆ = e x + e − x e x − e − x
1.2 The reciprocal hyperbolic functions
Definition.
s e c h x = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ cosh x ◆ R B ◆ , c o s e c h x = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ sinh x ◆ R B ◆ , coth x = ◆ L B ◆ cosh x ◆ R B ◆◆ L B ◆ sinh x ◆ R B ◆ \mathrm{sech}\,x = \frac◆LB◆1◆RB◆◆LB◆\cosh x◆RB◆, \qquad \mathrm{cosech}\,x = \frac◆LB◆1◆RB◆◆LB◆\sinh x◆RB◆, \qquad \coth\,x = \frac◆LB◆\cosh x◆RB◆◆LB◆\sinh x◆RB◆ sech x = L ◆ B ◆1◆ R B ◆◆ L B ◆ cosh x ◆ R B ◆ , cosech x = L ◆ B ◆1◆ R B ◆◆ L B ◆ sinh x ◆ R B ◆ , coth x = L ◆ B ◆ cosh x ◆ R B ◆◆ L B ◆ sinh x ◆ R B ◆
:::caution Note the spelling: cosh \cosh cosh , sinh \sinh sinh , tanh \tanh tanh are standard abbreviations. The reciprocals
Use s e c h \mathrm{sech} sech (not s e c h \mathrm{sec h} sech ), c o s e c h \mathrm{cosech} cosech (not c s c h \mathrm{csch} csch ), and coth \coth coth .
:::
1.3 Domain and range
Function Domain Range sinh x \sinh x sinh x R \mathbb{R} R R \mathbb{R} R cosh x \cosh x cosh x R \mathbb{R} R [ 1 , ∞ ) [1, \infty) [ 1 , ∞ ) tanh x \tanh x tanh x R \mathbb{R} R ( − 1 , 1 ) (-1, 1) ( − 1 , 1 ) s e c h x \mathrm{sech}\,x sech x R \mathbb{R} R ( 0 , 1 ] (0, 1] ( 0 , 1 ]
1.4 Key values
sinh 0 = 0 , cosh 0 = 1 , tanh 0 = 0 \sinh 0 = 0, \quad \cosh 0 = 1, \quad \tanh 0 = 0 sinh 0 = 0 , cosh 0 = 1 , tanh 0 = 0
sinh ( − x ) = − sinh x ( o d d f u n c t i o n ) \sinh(-x) = -\sinh x \quad (\mathrm{odd function}) sinh ( − x ) = − sinh x ( oddfunction )
cosh ( − x ) = cosh x ( e v e n f u n c t i o n ) \cosh(-x) = \cosh x \quad (\mathrm{even function}) cosh ( − x ) = cosh x ( evenfunction )
2. Hyperbolic Identities
2.1 The fundamental identity
Theorem. For all x ∈ R x \in \mathbb{R} x ∈ R :
cosh 2 x − sinh 2 x = 1 \boxed{\cosh^2 x - \sinh^2 x = 1} cosh 2 x − sinh 2 x = 1
Proof of cosh 2 x − sinh 2 x = 1 \cosh^2 x - \sinh^2 x = 1 cosh 2 x − sinh 2 x = 1
cosh 2 x − sinh 2 x = ( e x + e − x 2 ) 2 − ( e x − e − x 2 ) 2 \cosh^2 x - \sinh^2 x = \left(\frac{e^x+e^{-x}}{2}\right)^2 - \left(\frac{e^x-e^{-x}}{2}\right)^2 cosh 2 x − sinh 2 x = ( 2 e x + e − x ) 2 − ( 2 e x − e − x ) 2
= e 2 x + 2 + e − 2 x 4 − e 2 x − 2 + e − 2 x 4 = 4 4 = 1 ■ = \frac{e^{2x}+2+e^{-2x}}{4} - \frac{e^{2x}-2+e^{-2x}}{4} = \frac{4}{4} = 1 \quad \blacksquare = 4 e 2 x + 2 + e − 2 x − 4 e 2 x − 2 + e − 2 x = 4 4 = 1 ■
Corollary. Dividing by cosh 2 x \cosh^2 x cosh 2 x :
1 − tanh 2 x = s e c h 2 x \boxed{1 - \tanh^2 x = \mathrm{sech}^2\,x} 1 − tanh 2 x = sech 2 x
Dividing by sinh 2 x \sinh^2 x sinh 2 x :
coth 2 x − 1 = c o s e c h 2 x \boxed{\coth^2 x - 1 = \mathrm{cosech}^2\,x} coth 2 x − 1 = cosech 2 x
Theorem.
sinh ( x + y ) = sinh x cosh y + cosh x sinh y \boxed{\sinh(x+y) = \sinh x\cosh y + \cosh x\sinh y} sinh ( x + y ) = sinh x cosh y + cosh x sinh y
cosh ( x + y ) = cosh x cosh y + sinh x sinh y \boxed{\cosh(x+y) = \cosh x\cosh y + \sinh x\sinh y} cosh ( x + y ) = cosh x cosh y + sinh x sinh y
sinh ( x + y ) = e x + y − e − ( x + y ) 2 = e x e y − e − x e − y 2 \sinh(x+y) = \frac{e^{x+y}-e^{-(x+y)}}{2} = \frac{e^x e^y - e^{-x}e^{-y}}{2} sinh ( x + y ) = 2 e x + y − e − ( x + y ) = 2 e x e y − e − x e − y
= ( e x + e − x ) ( e y − e − y ) + ( e x − e − x ) ( e y + e − y ) 4 = \frac{(e^x+e^{-x})(e^y-e^{-y}) + (e^x-e^{-x})(e^y+e^{-y})}{4} = 4 ( e x + e − x ) ( e y − e − y ) + ( e x − e − x ) ( e y + e − y )
= e x e y − e x e − y + e − x e y − e − x e − y + e x e y + e x e − y − e − x e y − e − x e − y 4 = \frac{e^x e^y - e^x e^{-y} + e^{-x}e^y - e^{-x}e^{-y} + e^x e^y + e^x e^{-y} - e^{-x}e^y - e^{-x}e^{-y}}{4} = 4 e x e y − e x e − y + e − x e y − e − x e − y + e x e y + e x e − y − e − x e y − e − x e − y
Wait — a cleaner approach:
sinh x cosh y + cosh x sinh y = e x − e − x 2 ⋅ e y + e − y 2 + e x + e − x 2 ⋅ e y − e − y 2 \sinh x\cosh y + \cosh x\sinh y = \frac{e^x-e^{-x}}{2}\cdot\frac{e^y+e^{-y}}{2} + \frac{e^x+e^{-x}}{2}\cdot\frac{e^y-e^{-y}}{2} sinh x cosh y + cosh x sinh y = 2 e x − e − x ⋅ 2 e y + e − y + 2 e x + e − x ⋅ 2 e y − e − y
= e x + y + e x − y − e − x + y − e − x − y + e x + y − e x − y + e − x + y − e − x − y 4 = \frac{e^{x+y}+e^{x-y}-e^{-x+y}-e^{-x-y}+e^{x+y}-e^{x-y}+e^{-x+y}-e^{-x-y}}{4} = 4 e x + y + e x − y − e − x + y − e − x − y + e x + y − e x − y + e − x + y − e − x − y
= 2 e x + y − 2 e − ( x + y ) 4 = e x + y − e − ( x + y ) 2 = sinh ( x + y ) ■ = \frac{2e^{x+y} - 2e^{-(x+y)}}{4} = \frac{e^{x+y}-e^{-(x+y)}}{2} = \sinh(x+y) \quad \blacksquare = 4 2 e x + y − 2 e − ( x + y ) = 2 e x + y − e − ( x + y ) = sinh ( x + y ) ■
sinh 2 x = 2 sinh x cosh x \sinh 2x = 2\sinh x\cosh x sinh 2 x = 2 sinh x cosh x
cosh 2 x = cosh 2 x + sinh 2 x = 2 cosh 2 x − 1 = 1 + 2 sinh 2 x \cosh 2x = \cosh^2 x + \sinh^2 x = 2\cosh^2 x - 1 = 1 + 2\sinh^2 x cosh 2 x = cosh 2 x + sinh 2 x = 2 cosh 2 x − 1 = 1 + 2 sinh 2 x
2.4 Osborn’s rule
Definition. Osborn’s rule states that any trigonometric identity can be converted to the
Corresponding hyperbolic identity by:
Replacing cos \cos cos with cosh \cosh cosh and sin \sin sin with sinh \sinh sinh .
Changing the sign of every term that contains a product of two sinh \sinh sinh factors.
This works because 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 So each sin \sin sin introduces a Factor
of i i i And sin 2 \sin^2 sin 2 introduces i 2 = − 1 i^2 = -1 i 2 = − 1 .
Example. cos 2 x + sin 2 x = 1 → O s b o r n cosh 2 x − sinh 2 x = 1 \cos^2 x + \sin^2 x = 1 \xrightarrow{\mathrm{Osborn}} \cosh^2 x - \sinh^2 x = 1 cos 2 x + sin 2 x = 1 Osborn cosh 2 x − sinh 2 x = 1 . (The
sinh 2 \sinh^2 sinh 2 term flips sign.)
Example.
cos 2 x = cos 2 x − sin 2 x → O s b o r n cosh 2 x = cosh 2 x + sinh 2 x \cos 2x = \cos^2 x - \sin^2 x \xrightarrow{\mathrm{Osborn}} \cosh 2x = \cosh^2 x + \sinh^2 x cos 2 x = cos 2 x − sin 2 x Osborn cosh 2 x = cosh 2 x + sinh 2 x . (The
sinh 2 \sinh^2 sinh 2 term flips sign, turning − - − into + + + .)
:::tip Osborn’s rule is a useful mnemonic but should not replace understanding. Always verify
Identities by direct computation from the exponential definitions when in doubt.
:::
3. Inverse Hyperbolic Functions
Definition. The inverse hyperbolic functions are:
a r s i n h x = ln ( x + x 2 + 1 ) , x ∈ R \boxed{\mathrm{arsinh}\,x = \ln\!\left(x + \sqrt{x^2+1}\right), \quad x \in \mathbb{R}} arsinh x = ln ( x + x 2 + 1 ) , x ∈ R
a r c o s h x = ln ( x + x 2 − 1 ) , x ≥ 1 \boxed{\mathrm{arcosh}\,x = \ln\!\left(x + \sqrt{x^2-1}\right), \quad x \geq 1} arcosh x = ln ( x + x 2 − 1 ) , x ≥ 1
a r t a n h x = 1 2 ln ( 1 + x 1 − x ) , ∣ x ∣ < 1 \boxed{\mathrm{artanh}\,x = \frac{1}{2}\ln\!\left(\frac{1+x}{1-x}\right), \quad |x| < 1} artanh x = 2 1 ln ( 1 − x 1 + x ) , ∣ x ∣ < 1
Proof of 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 )
Let y = a r s i n h x y = \mathrm{arsinh}\,x y = arsinh x . Then 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 2x = e^y - e^{-y} 2 x = e y − e − y
Multiply by e y e^y e y : 2 x e y = e 2 y − 1 2xe^y = e^{2y} - 1 2 x e y = e 2 y − 1 .
e 2 y − 2 x e y − 1 = 0 e^{2y} - 2xe^y - 1 = 0 e 2 y − 2 x e y − 1 = 0
This is a quadratic in e y e^y e y :
e y = ◆ L B ◆ 2 x ± 4 x 2 + 4 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ = x ± x 2 + 1 e^y = \frac◆LB◆2x \pm \sqrt{4x^2+4}◆RB◆◆LB◆2◆RB◆ = x \pm \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
Since e y > 0 e^y > 0 e y > 0 for all y y y We need x + x 2 + 1 > 0 x + \sqrt{x^2+1} > 0 x + x 2 + 1 > 0 Which is always true. And
x − x 2 + 1 < 0 x - \sqrt{x^2+1} < 0 x − x 2 + 1 < 0 for all x x x So we take the positive root:
e y = x + x 2 + 1 e^y = x + \sqrt{x^2+1} e y = x + x 2 + 1
y = ln ( x + x 2 + 1 ) y = \ln(x + \sqrt{x^2+1}) y = ln ( x + x 2 + 1 )
Therefore 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 ) . ■ \blacksquare ■
Proof of a r c o s h x = ln ( x + x 2 − 1 ) \mathrm{arcosh}\,x = \ln(x + \sqrt{x^2-1}) arcosh x = ln ( x + x 2 − 1 )
Let y = a r c o s h x y = \mathrm{arcosh}\,x y = arcosh x . Then x = cosh y = e y + e − y 2 x = \cosh y = \dfrac{e^y + e^{-y}}{2} x = cosh y = 2 e y + e − y for y ≥ 0 y \geq 0 y ≥ 0 .
2 x = e y + e − y 2x = e^y + e^{-y} 2 x = e y + e − y
e 2 y − 2 x e y + 1 = 0 e^{2y} - 2xe^y + 1 = 0 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 = \frac◆LB◆2x \pm \sqrt{4x^2-4}◆RB◆◆LB◆2◆RB◆ = x \pm \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
Since e y ≥ 1 e^y \geq 1 e y ≥ 1 and y ≥ 0 y \geq 0 y ≥ 0 : we need e y ≥ 1 e^y \geq 1 e y ≥ 1 . Both roots are positive (for x ≥ 1 x \geq 1 x ≥ 1 ),
But x + x 2 − 1 ≥ 1 x + \sqrt{x^2-1} \geq 1 x + x 2 − 1 ≥ 1 and x − x 2 − 1 ≤ 1 x - \sqrt{x^2-1} \leq 1 x − x 2 − 1 ≤ 1 . Since cosh \cosh cosh is not one-to-one on all
Of R \mathbb{R} R We restrict to y ≥ 0 y \geq 0 y ≥ 0 Giving e y ≥ 1 e^y \geq 1 e y ≥ 1 :
e y = x + x 2 − 1 ⟹ y = ln ( x + x 2 − 1 ) e^y = x + \sqrt{x^2-1} \implies y = \ln(x + \sqrt{x^2-1}) e y = x + x 2 − 1 ⟹ y = ln ( x + x 2 − 1 )
Therefore a r c o s h x = ln ( x + x 2 − 1 ) \mathrm{arcosh}\,x = \ln(x + \sqrt{x^2-1}) arcosh x = ln ( x + x 2 − 1 ) for x ≥ 1 x \geq 1 x ≥ 1 . ■ \blacksquare ■
Proof of a r t a n h x = 1 2 ln ( 1 + x 1 − x ) \mathrm{artanh}\,x = \frac{1}{2}\ln\!\left(\frac{1+x}{1-x}\right) artanh x = 2 1 ln ( 1 − x 1 + x )
Let y = a r t a n h x y = \mathrm{artanh}\,x y = artanh x . Then x = tanh y = ◆ L B ◆ sinh y ◆ R B ◆◆ L B ◆ cosh y ◆ R B ◆ x = \tanh y = \dfrac◆LB◆\sinh y◆RB◆◆LB◆\cosh y◆RB◆ x = tanh y = L ◆ B ◆ sinh y ◆ R B ◆◆ L B ◆ cosh y ◆ R B ◆ .
Using cosh 2 y − sinh 2 y = 1 \cosh^2 y - \sinh^2 y = 1 cosh 2 y − sinh 2 y = 1 :
x = ◆ L B ◆ sinh y ◆ R B ◆◆ L B ◆ cosh y ◆ R B ◆ ⟹ ◆ L B ◆ sinh y ◆ R B ◆◆ L B ◆ cosh y ◆ R B ◆ = x ⟹ sinh y = x cosh y x = \frac◆LB◆\sinh y◆RB◆◆LB◆\cosh y◆RB◆ \implies \frac◆LB◆\sinh y◆RB◆◆LB◆\cosh y◆RB◆ = x \implies \sinh y = x\cosh y x = L ◆ B ◆ sinh y ◆ R B ◆◆ L B ◆ cosh y ◆ R B ◆ ⟹ L ◆ B ◆ sinh y ◆ R B ◆◆ L B ◆ cosh y ◆ R B ◆ = x ⟹ sinh y = x cosh y
cosh 2 y − x 2 cosh 2 y = 1 ⟹ cosh 2 y = 1 1 − x 2 \cosh^2 y - x^2\cosh^2 y = 1 \implies \cosh^2 y = \frac{1}{1-x^2} cosh 2 y − x 2 cosh 2 y = 1 ⟹ cosh 2 y = 1 − x 2 1
Also tanh y = e 2 y − 1 e 2 y + 1 \tanh y = \dfrac{e^{2y}-1}{e^{2y}+1} tanh y = e 2 y + 1 e 2 y − 1 So:
x = e 2 y − 1 e 2 y + 1 ⟹ x ( e 2 y + 1 ) = e 2 y − 1 ⟹ x e 2 y + x = e 2 y − 1 x = \frac{e^{2y}-1}{e^{2y}+1} \implies x(e^{2y}+1) = e^{2y}-1 \implies xe^{2y}+x = e^{2y}-1 x = e 2 y + 1 e 2 y − 1 ⟹ x ( e 2 y + 1 ) = e 2 y − 1 ⟹ x e 2 y + x = e 2 y − 1
e 2 y ( 1 − x ) = 1 + x ⟹ e 2 y = 1 + x 1 − x e^{2y}(1-x) = 1+x \implies e^{2y} = \frac{1+x}{1-x} e 2 y ( 1 − x ) = 1 + x ⟹ e 2 y = 1 − x 1 + x
2 y = ln ( 1 + x 1 − x ) ⟹ y = 1 2 ln ( 1 + x 1 − x ) ■ 2y = \ln\!\left(\frac{1+x}{1-x}\right) \implies y = \frac{1}{2}\ln\!\left(\frac{1+x}{1-x}\right) \quad \blacksquare 2 y = ln ( 1 − x 1 + x ) ⟹ y = 2 1 ln ( 1 − x 1 + x ) ■
4. Calculus with Hyperbolic Functions
4.1 Derivatives
d d x sinh x = cosh x \boxed{\frac{d}{dx}\sinh x = \cosh x} d x d sinh x = cosh x
d d x cosh x = sinh x \boxed{\frac{d}{dx}\cosh x = \sinh x} d x d cosh x = sinh x
d d x tanh x = s e c h 2 x \boxed{\frac{d}{dx}\tanh x = \mathrm{sech}^2\,x} d x d tanh x = sech 2 x
Proof of d d x sinh x = cosh x \frac{d}{dx}\sinh x = \cosh x d x d sinh x = cosh x
d d x sinh x = d d x ( e x − e − x 2 ) = e x + e − x 2 = cosh x ■ \frac{d}{dx}\sinh x = \frac{d}{dx}\left(\frac{e^x - e^{-x}}{2}\right) = \frac{e^x + e^{-x}}{2} = \cosh x \quad \blacksquare d x d sinh x = d x d ( 2 e x − e − x ) = 2 e x + e − x = cosh x ■
Proof of d d x cosh x = sinh x \frac{d}{dx}\cosh x = \sinh x d x d cosh x = sinh x
d d x cosh x = d d x ( e x + e − x 2 ) = e x − e − x 2 = sinh x ■ \frac{d}{dx}\cosh x = \frac{d}{dx}\left(\frac{e^x + e^{-x}}{2}\right) = \frac{e^x - e^{-x}}{2} = \sinh x \quad \blacksquare d x d cosh x = d x d ( 2 e x + e − x ) = 2 e x − e − x = sinh x ■
4.2 Derivatives of inverse hyperbolic functions
d d x a r s i n h x = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 + 1 ◆ R B ◆ \boxed{\frac{d}{dx}\mathrm{arsinh}\,x = \frac◆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 ◆
d d x a r c o s h x = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 − 1 ◆ R B ◆ , x > 1 \boxed{\frac{d}{dx}\mathrm{arcosh}\,x = \frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2-1}◆RB◆, \quad x > 1} d x d arcosh x = L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 − 1 ◆ R B ◆ , x > 1
d d x a r t a n h x = 1 1 − x 2 , ∣ x ∣ < 1 \boxed{\frac{d}{dx}\mathrm{artanh}\,x = \frac{1}{1-x^2}, \quad |x| < 1} d x d artanh x = 1 − x 2 1 , ∣ x ∣ < 1
Proof of d d x a r s i n h x = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 + 1 ◆ R B ◆ \frac{d}{dx}\mathrm{arsinh}\,x = \frac◆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 ◆
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 ) .
d d x ln ( x + x 2 + 1 ) = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x + x 2 + 1 ◆ R B ◆ ⋅ ( 1 + ◆ L B ◆ x ◆ R B ◆◆ L B ◆ x 2 + 1 ◆ R B ◆ ) \frac{d}{dx}\ln(x+\sqrt{x^2+1}) = \frac◆LB◆1◆RB◆◆LB◆x+\sqrt{x^2+1}◆RB◆\cdot\left(1 + \frac◆LB◆x◆RB◆◆LB◆\sqrt{x^2+1}◆RB◆\right) d x d ln ( x + x 2 + 1 ) = L ◆ B ◆1◆ R B ◆◆ L B ◆ x + x 2 + 1 ◆ R B ◆ ⋅ ( 1 + L ◆ B ◆ x ◆ R B ◆◆ L B ◆ x 2 + 1 ◆ R B ◆ )
= ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x + x 2 + 1 ◆ R B ◆ ⋅ ◆ L B ◆ x 2 + 1 + x ◆ R B ◆◆ L B ◆ x 2 + 1 ◆ R B ◆ = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 + 1 ◆ R B ◆ ■ = \frac◆LB◆1◆RB◆◆LB◆x+\sqrt{x^2+1}◆RB◆\cdot\frac◆LB◆\sqrt{x^2+1}+x◆RB◆◆LB◆\sqrt{x^2+1}◆RB◆ = \frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2+1}◆RB◆ \quad \blacksquare = L ◆ B ◆1◆ R B ◆◆ L B ◆ x + x 2 + 1 ◆ R B ◆ ⋅ L ◆ B ◆ x 2 + 1 + x ◆ R B ◆◆ L B ◆ x 2 + 1 ◆ R B ◆ = L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 + 1 ◆ R B ◆ ■
Proof of d d x a r t a n h x = 1 1 − x 2 \frac{d}{dx}\mathrm{artanh}\,x = \frac{1}{1-x^2} d x d artanh x = 1 − x 2 1
a r t a n h x = 1 2 ln ( 1 + x 1 − x ) \mathrm{artanh}\,x = \dfrac{1}{2}\ln\!\left(\dfrac{1+x}{1-x}\right) artanh x = 2 1 ln ( 1 − x 1 + x ) .
d d x ⋅ 1 2 ln ( 1 + x 1 − x ) = 1 2 ⋅ 1 − x 1 + x ⋅ ( 1 ) ( 1 − x ) − ( 1 + x ) ( − 1 ) ( 1 − x ) 2 \frac{d}{dx}\cdot\frac{1}{2}\ln\!\left(\frac{1+x}{1-x}\right) = \frac{1}{2}\cdot\frac{1-x}{1+x}\cdot\frac{(1)(1-x)-(1+x)(-1)}{(1-x)^2} d x d ⋅ 2 1 ln ( 1 − x 1 + x ) = 2 1 ⋅ 1 + x 1 − x ⋅ ( 1 − x ) 2 ( 1 ) ( 1 − x ) − ( 1 + x ) ( − 1 )
= 1 2 ⋅ 1 − x 1 + x ⋅ 2 ( 1 − x ) 2 = 1 1 − x 2 ■ = \frac{1}{2}\cdot\frac{1-x}{1+x}\cdot\frac{2}{(1-x)^2} = \frac{1}{1-x^2} \quad \blacksquare = 2 1 ⋅ 1 + x 1 − x ⋅ ( 1 − x ) 2 2 = 1 − x 2 1 ■
4.3 Standard integrals
The derivative results immediately give:
∫ ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 + a 2 ◆ R B ◆ d x = a r s i n h ( x a ) + C = ln ( x a + ◆ L B ◆ x 2 a 2 + 1 ◆ R B ◆ ) + C \boxed{\int \frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2+a^2}◆RB◆\,dx = \mathrm{arsinh}\!\left(\frac{x}{a}\right) + C = \ln\!\left(\frac{x}{a}+\sqrt◆LB◆\frac{x^2}{a^2}+1◆RB◆\right)+C} ∫ L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 + a 2 ◆ R B ◆ d x = arsinh ( a x ) + C = ln ( a x + ◆ L B ◆ a 2 x 2 + 1◆ R B ◆ ) + C
∫ ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 − a 2 ◆ R B ◆ d x = a r c o s h ( x a ) + C = ln ( x a + ◆ L B ◆ x 2 a 2 − 1 ◆ R B ◆ ) + C , x > a \boxed{\int \frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2-a^2}◆RB◆\,dx = \mathrm{arcosh}\!\left(\frac{x}{a}\right) + C = \ln\!\left(\frac{x}{a}+\sqrt◆LB◆\frac{x^2}{a^2}-1◆RB◆\right)+C, \quad x > a} ∫ L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 − a 2 ◆ R B ◆ d x = arcosh ( a x ) + C = ln ( a x + ◆ L B ◆ a 2 x 2 − 1◆ R B ◆ ) + C , x > a
∫ 1 a 2 − x 2 d x = 1 a a r t a n h ( x a ) + C , ∣ x ∣ < a \boxed{\int \frac{1}{a^2-x^2}\,dx = \frac{1}{a}\mathrm{artanh}\!\left(\frac{x}{a}\right) + C, \quad |x| < a} ∫ a 2 − x 2 1 d x = a 1 artanh ( a x ) + C , ∣ x ∣ < a
Example.
∫ ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 + 9 ◆ R B ◆ d x = a r s i n h ( x 3 ) + C = ln ( x 3 + ◆ L B ◆ x 2 9 + 1 ◆ R B ◆ ) + C = ln ( ◆ L B ◆ x + x 2 + 9 ◆ R B ◆◆ L B ◆ 3 ◆ R B ◆ ) + C \displaystyle\int \frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2+9}◆RB◆\,dx = \mathrm{arsinh}\!\left(\frac{x}{3}\right) + C = \ln\!\left(\frac{x}{3}+\sqrt◆LB◆\frac{x^2}{9}+1◆RB◆\right)+C = \ln\!\left(\frac◆LB◆x+\sqrt{x^2+9}◆RB◆◆LB◆3◆RB◆\right)+C ∫ L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 + 9 ◆ R B ◆ d x = arsinh ( 3 x ) + C = ln ( 3 x + ◆ L B ◆ 9 x 2 + 1◆ R B ◆ ) + C = ln ( L ◆ B ◆ x + x 2 + 9 ◆ R B ◆◆ L B ◆3◆ R B ◆ ) + C .
Example.
∫ ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ x 2 − 4 ◆ R B ◆ d x = a r c o s h ( x 2 ) + C \displaystyle\int \frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2-4}◆RB◆\,dx = \mathrm{arcosh}\!\left(\frac{x}{2}\right) + C ∫ L ◆ B ◆1◆ R B ◆◆ L B ◆ x 2 − 4 ◆ R B ◆ d x = arcosh ( 2 x ) + C
For x > 2 x > 2 x > 2 .
Example.
∫ 1 4 − x 2 d x = 1 2 a r t a n h ( x 2 ) + C \displaystyle\int \frac{1}{4-x^2}\,dx = \frac{1}{2}\mathrm{artanh}\!\left(\frac{x}{2}\right) + C ∫ 4 − x 2 1 d x = 2 1 artanh ( 2 x ) + C
For ∣ x ∣ < 2 |x| < 2 ∣ x ∣ < 2 .
4.4 Integrals of hyperbolic functions
∫ cosh x d x = sinh x + C \int \cosh x\,dx = \sinh x + C ∫ cosh x d x = sinh x + C
∫ sinh x d x = cosh x + C \int \sinh x\,dx = \cosh x + C ∫ sinh x d x = cosh x + C
∫ 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
∫ tanh x d x = ln ( cosh x ) + C \int \tanh x\,dx = \ln(\cosh x) + C ∫ tanh x d x = ln ( cosh x ) + C
:::tip When you encounter an integral of the form ◆ 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 ◆ or
◆ 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
Problem 1
Solve cosh x = 3 \cosh x = 3 cosh x = 3 for x > 0 x > 0 x > 0 .
Hint 1
Use the definition of cosh \cosh cosh to obtain a quadratic in e x e^x e x .
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 ).
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 ◆ .
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 .
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 ◆. ■
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 .
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 .
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 .
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 .
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 .
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 ◆ ) .
Problem 5
Differentiate a r c o s h ( x 2 + 1 ) \mathrm{arcosh}(x^2+1) arcosh ( x 2 + 1 ) .
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 .
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 ◆ .
Problem 6
Find ∫ cosh 2 x d x \displaystyle\int \cosh^2 x\,dx ∫ cosh 2 x d x .
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 .
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 .
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 .
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 .
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 .
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 .
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 ) .
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 .
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 .
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 .
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 .
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.
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 ) .
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 ◆ 4 cosh 2 u − 4 ◆ 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{4\cosh^2 u - 4}◆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 ◆ 4 cosh 2 u − 4 ◆ 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 ◆ 1 + sinh 2 u ◆ 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{1+\sinh^2 u}◆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 ◆ 1 + sinh 2 u ◆ 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 ) − 1 3 + 10 ◆ 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{1}{3+\sqrt{10}}◆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 ) − 3 + 10 1 ◆ 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 ■