Skip to content

Hyperbolic Functions (Extended)

Hyperbolic Functions (Extended Treatment)

This document provides a rigorous treatment of hyperbolic functions, their identities, inverses, and Calculus.

:::info Hyperbolic functions are analogues of trigonometric functions defined using exponentials Rather than circles. They arise in many areas including differential equations, special Relativity, and catenary curves. :::


1. Definitions

1.1 The three fundamental hyperbolic functions

sinhx=exex2\sinh x = \frac{e^x - e^{-x}}{2}

coshx=ex+ex2\cosh x = \frac{e^x + e^{-x}}{2}

tanhx=LBsinhxRB◆◆LBcoshxRB=exexex+ex\tanh x = \frac◆LB◆\sinh x◆RB◆◆LB◆\cosh x◆RB◆ = \frac{e^x - e^{-x}}{e^x + e^{-x}}

1.2 Reciprocal functions

cosechx=LB1RB◆◆LBsinhxRB=2exex,x0\mathrm{cosech}\,x = \frac◆LB◆1◆RB◆◆LB◆\sinh x◆RB◆ = \frac{2}{e^x - e^{-x}}, \quad x \neq 0

sechx=LB1RB◆◆LBcoshxRB=2ex+ex\mathrm{sech}\,x = \frac◆LB◆1◆RB◆◆LB◆\cosh x◆RB◆ = \frac{2}{e^x + e^{-x}}

cothx=LB1RB◆◆LBtanhxRB=ex+exexex,x0\coth x = \frac◆LB◆1◆RB◆◆LB◆\tanh x◆RB◆ = \frac{e^x + e^{-x}}{e^x - e^{-x}}, \quad x \neq 0

1.3 Basic properties

  • \sinh 0 = 0$$\cosh 0 = 1$$\tanh 0 = 0.
  • sinhx\sinh x is odd: sinh(x)=sinhx\sinh(-x) = -\sinh x.
  • coshx\cosh x is even: cosh(x)=coshx\cosh(-x) = \cosh x.
  • tanhx\tanh x is odd.
  • As x+x \to +\infty: \sinh x \to +\infty$$\cosh x \to +\infty$$\tanh x \to 1.
  • As xx \to -\infty: \sinh x \to -\infty$$\cosh x \to +\infty$$\tanh x \to -1.

1.4 Connection with Euler’s formula

coshx=cos(ix),sinhx=isin(ix)\cosh x = \cos(ix), \qquad \sinh x = -i\sin(ix)

Proof. cos(ix)=ei(ix)+ei(ix)2=ex+ex2=coshx\cos(ix) = \dfrac{e^{i(ix)} + e^{-i(ix)}}{2} = \dfrac{e^{-x} + e^{x}}{2} = \cosh x.

isin(ix)=iei(ix)ei(ix)2i=exex2=exex2=sinhx-i\sin(ix) = -i \cdot \dfrac{e^{i(ix)} - e^{-i(ix)}}{2i} = \dfrac{e^{-x} - e^{x}}{-2} = \dfrac{e^x - e^{-x}}{2} = \sinh x. \blacksquare

1.5 Graphs

  • sinhx\sinh x: passes through the origin, increasing, resembles y=x/2y = x/2 near the origin and y=ex/2y = e^x/2 for large positive xx.
  • coshx\cosh x: minimum at (0,1)(0, 1)Symmetric about the yy-axis, resembles y=1+x2/2y = 1 + x^2/2 near the origin and y=ex/2y = e^x/2 for large positive xx.
  • tanhx\tanh x: S-shaped curve with horizontal asymptotes at y=±1y = \pm 1Passing through the origin with gradient 1.

2. Hyperbolic Identities

2.1 Fundamental identity

cosh2xsinh2x=1\boxed{\cosh^2 x - \sinh^2 x = 1}

Proof.

cosh2xsinh2x=(ex+ex)24(exex)24\cosh^2 x - \sinh^2 x = \frac{(e^x + e^{-x})^2}{4} - \frac{(e^x - e^{-x})^2}{4}

=e2x+2+e2x(e2x2+e2x)4=44=1= \frac{e^{2x} + 2 + e^{-2x} - (e^{2x} - 2 + e^{-2x})}{4} = \frac{4}{4} = 1 \quad \blacksquare

2.2 Identity for tanh\tanh

1tanh2x=sech2x\boxed{1 - \tanh^2 x = \mathrm{sech}^2\,x}

Proof. Divide the fundamental identity by cosh2x\cosh^2 x:

1tanh2x=LB1RB◆◆LBcosh2xRB=sech2x1 - \tanh^2 x = \frac◆LB◆1◆RB◆◆LB◆\cosh^2 x◆RB◆ = \mathrm{sech}^2\,x \quad \blacksquare

2.3 Osborne’s rule

Every trigonometric identity has a corresponding hyperbolic identity, obtained by:

  • Replacing cos\cos with cosh\cosh.
  • Replacing sin\sin with sinh\sinh.
  • Negating every product (or power of 2 or more) of sinh\sinh.

Example: cos2x+sin2x=1\cos^2 x + \sin^2 x = 1 becomes cosh2xsinh2x=1\cosh^2 x - \sinh^2 x = 1 (the sinh2\sinh^2 term is Negated).

Example: sin2x=2sinxcosx\sin 2x = 2\sin x\cos x becomes sinh2x=2sinhxcoshx\sinh 2x = 2\sinh x\cosh x (the product sinhxcoshx\sinh x \cosh x is negated since it contains sinh\sinhBut sinh2x\sinh 2x on the left is not a product, So the overall sign changes on both sides cancel).

2.4 Double angle formulas

sinh2x=2sinhxcoshx\sinh 2x = 2\sinh x\cosh x

cosh2x=cosh2x+sinh2x=2cosh2x1=1+2sinh2x\cosh 2x = \cosh^2 x + \sinh^2 x = 2\cosh^2 x - 1 = 1 + 2\sinh^2 x

Proof of cosh2x=2cosh2x1\cosh 2x = 2\cosh^2 x - 1:

cosh2x=e2x+e2x2=(ex+ex)222=LB4cosh2x2RB◆◆LB2RB=2cosh2x1\cosh 2x = \frac{e^{2x} + e^{-2x}}{2} = \frac{(e^x + e^{-x})^2 - 2}{2} = \frac◆LB◆4\cosh^2 x - 2◆RB◆◆LB◆2◆RB◆ = 2\cosh^2 x - 1 \quad \blacksquare

2.5 Addition formulas

sinh(A±B)=sinhAcoshB±coshAsinhB\sinh(A \pm B) = \sinh A\cosh B \pm \cosh A\sinh B

cosh(A±B)=coshAcoshB±sinhAsinhB\cosh(A \pm B) = \cosh A\cosh B \pm \sinh A\sinh B

Proof of the addition formula for sinh\sinh:

sinh(A+B)=eA+Be(A+B)2=eAeBeAeB2\sinh(A + B) = \frac{e^{A+B} - e^{-(A+B)}}{2} = \frac{e^A e^B - e^{-A}e^{-B}}{2}

=(eAeA)(eB+eB)+(eA+eA)(eBeB)4= \frac{(e^A - e^{-A})(e^B + e^{-B}) + (e^A + e^{-A})(e^B - e^{-B})}{4}

=sinhAcoshB+coshAsinhB= \sinh A\cosh B + \cosh A\sinh B \quad \blacksquare

2.6 Worked example

Problem. Given sinhx=3\sinh x = 3Find coshx\cosh x and tanhx\tanh x without finding xx.

From cosh2xsinh2x=1\cosh^2 x - \sinh^2 x = 1:

cosh2x=1+9=10    coshx=10\cosh^2 x = 1 + 9 = 10 \implies \cosh x = \sqrt{10}

(We take the positive root since coshx1\cosh x \geq 1 for all xx.)

tanhx=LBsinhxRB◆◆LBcoshxRB=LB3RB◆◆LB10RB=LB310RB◆◆LB10RB\tanh x = \frac◆LB◆\sinh x◆RB◆◆LB◆\cosh x◆RB◆ = \frac◆LB◆3◆RB◆◆LB◆\sqrt{10}◆RB◆ = \frac◆LB◆3\sqrt{10}◆RB◆◆LB◆10◆RB◆


3. Inverse Hyperbolic Functions

3.1 Definitions in logarithmic form

arsinhx=ln ⁣(x+x2+1),xR\operatorname{arsinh}\,x = \ln\!\left(x + \sqrt{x^2 + 1}\right), \quad x \in \mathbb{R}

arcoshx=ln ⁣(x+x21),x1\operatorname{arcosh}\,x = \ln\!\left(x + \sqrt{x^2 - 1}\right), \quad x \geq 1

artanhx=12ln ⁣(1+x1x),1<x<1\operatorname{artanh}\,x = \frac{1}{2}\ln\!\left(\frac{1 + x}{1 - x}\right), \quad -1 \lt x \lt 1

3.2 Derivation of arsinhx=ln(x+x2+1)\operatorname{arsinh}\,x = \ln(x + \sqrt{x^2 + 1})

Let y=arsinhxy = \operatorname{arsinh}\,xSo x=sinhy=eyey2x = \sinh y = \dfrac{e^y - e^{-y}}{2}.

2x=eyey    e2y2xey1=02x = e^y - e^{-y} \implies e^{2y} - 2xe^y - 1 = 0

This is a quadratic in eye^y:

ey=LB2x±4x2+4RB◆◆LB2RB=x±x2+1e^y = \frac◆LB◆2x \pm \sqrt{4x^2 + 4}◆RB◆◆LB◆2◆RB◆ = x \pm \sqrt{x^2 + 1}

Since ey>0e^y \gt 0 and x2+1>x\sqrt{x^2 + 1} \gt |x|We take the positive root:

ey=x+x2+1    y=ln ⁣(x+x2+1)e^y = x + \sqrt{x^2 + 1} \implies y = \ln\!\left(x + \sqrt{x^2 + 1}\right) \quad \blacksquare

3.3 Derivation of arcoshx=ln(x+x21)\operatorname{arcosh}\,x = \ln(x + \sqrt{x^2 - 1})

Let y=arcoshxy = \operatorname{arcosh}\,xSo x=coshy=ey+ey2x = \cosh y = \dfrac{e^y + e^{-y}}{2}.

2x=ey+ey    e2y2xey+1=02x = e^y + e^{-y} \implies e^{2y} - 2xe^y + 1 = 0

ey=LB2x±4x24RB◆◆LB2RB=x±x21e^y = \frac◆LB◆2x \pm \sqrt{4x^2 - 4}◆RB◆◆LB◆2◆RB◆ = x \pm \sqrt{x^2 - 1}

Since ey1e^y \geq 1 and x1x \geq 1We need ey1e^y \geq 1. Both roots are positive when x1x \geq 1. The convention is to take ey=x+x21e^y = x + \sqrt{x^2 - 1} (which gives y0y \geq 0):

y=ln ⁣(x+x21)y = \ln\!\left(x + \sqrt{x^2 - 1}\right) \quad \blacksquare

3.4 Derivation of artanhx\operatorname{artanh}\,x

Let y=artanhxy = \operatorname{artanh}\,xSo x=tanhyx = \tanh y.

x=eyeyey+ey=e2y1e2y+1x = \frac{e^y - e^{-y}}{e^y + e^{-y}} = \frac{e^{2y} - 1}{e^{2y} + 1}

x(e2y+1)=e2y1    e2y(1x)=1+xx(e^{2y} + 1) = e^{2y} - 1 \implies e^{2y}(1 - x) = 1 + x

e2y=1+x1x    2y=ln ⁣(1+x1x)e^{2y} = \frac{1 + x}{1 - x} \implies 2y = \ln\!\left(\frac{1 + x}{1 - x}\right)

y=12ln ⁣(1+x1x)y = \frac{1}{2}\ln\!\left(\frac{1 + x}{1 - x}\right) \quad \blacksquare

3.5 Worked example

Problem. Evaluate arsinh2\operatorname{arsinh}\,2 and artanh13\operatorname{artanh}\,\dfrac{1}{3} in exact Logarithmic form.

arsinh2=ln(2+5)\operatorname{arsinh}\,2 = \ln(2 + \sqrt{5})

artanh13=12ln ⁣(4/32/3)=12ln2\operatorname{artanh}\,\frac{1}{3} = \frac{1}{2}\ln\!\left(\frac{4/3}{2/3}\right) = \frac{1}{2}\ln 2

3.6 Domains and ranges

FunctionDomainRange
arsinhx\operatorname{arsinh}\,xR\mathbb{R}R\mathbb{R}
arcoshx\operatorname{arcosh}\,xx1x \geq 1y0y \geq 0
artanhx\operatorname{artanh}\,x1<x<1-1 \lt x \lt 1R\mathbb{R}

4. Calculus of Hyperbolic Functions

4.1 Differentiation

ddx(sinhx)=coshx\frac{d}{dx}(\sinh x) = \cosh x

ddx(coshx)=sinhx\frac{d}{dx}(\cosh x) = \sinh x

ddx(tanhx)=sech2x\frac{d}{dx}(\tanh x) = \mathrm{sech}^2\,x

Proof of ddxsinhx=coshx\dfrac{d}{dx}\sinh x = \cosh x:

ddx ⁣(exex2)=ex+ex2=coshx\frac{d}{dx}\!\left(\frac{e^x - e^{-x}}{2}\right) = \frac{e^x + e^{-x}}{2} = \cosh x \quad \blacksquare

4.2 Differentiation of inverse hyperbolic functions

ddx(arsinhx)=LB1RB◆◆LBx2+1RB\frac{d}{dx}(\operatorname{arsinh}\,x) = \frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2 + 1}◆RB◆

ddx(arcoshx)=LB1RB◆◆LBx21RB,x>1\frac{d}{dx}(\operatorname{arcosh}\,x) = \frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2 - 1}◆RB◆, \quad x \gt 1

ddx(artanhx)=11x2,x<1\frac{d}{dx}(\operatorname{artanh}\,x) = \frac{1}{1 - x^2}, \quad |x| \lt 1

Proof for arsinhx\operatorname{arsinh}\,x. Let y=arsinhxy = \operatorname{arsinh}\,xSo x=sinhyx = \sinh y.

dydx=LB1RB◆◆LBdxdyRB=LB1RB◆◆LBcoshyRB=LB1RB◆◆LB1+sinh2yRB=LB1RB◆◆LB1+x2RB\frac{dy}{dx} = \frac◆LB◆1◆RB◆◆LB◆\dfrac{dx}{dy}◆RB◆ = \frac◆LB◆1◆RB◆◆LB◆\cosh y◆RB◆ = \frac◆LB◆1◆RB◆◆LB◆\sqrt{1 + \sinh^2 y}◆RB◆ = \frac◆LB◆1◆RB◆◆LB◆\sqrt{1 + x^2}◆RB◆ \quad \blacksquare

Proof for artanhx\operatorname{artanh}\,x. Let y=artanhxy = \operatorname{artanh}\,xSo x=tanhyx = \tanh y.

dydx=LB1RB◆◆LBsech2yRB=LB1RB◆◆LB1tanh2yRB=11x2\frac{dy}{dx} = \frac◆LB◆1◆RB◆◆LB◆\mathrm{sech}^2\,y◆RB◆ = \frac◆LB◆1◆RB◆◆LB◆1 - \tanh^2 y◆RB◆ = \frac{1}{1 - x^2} \quad \blacksquare

4.3 Integration

The differentiation results give standard integrals:

coshxdx=sinhx+C\int \cosh x\,dx = \sinh x + C

sinhxdx=coshx+C\int \sinh x\,dx = \cosh x + C

sech2xdx=tanhx+C\int \mathrm{sech}^2\,x\,dx = \tanh x + C

4.4 Integrals leading to inverse hyperbolic functions

LB1RB◆◆LBx2+a2RBdx=arsinh ⁣(xa)+C\int \frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2 + a^2}◆RB◆\,dx = \operatorname{arsinh}\!\left(\frac{x}{a}\right) + C

LB1RB◆◆LBx2a2RBdx=arcosh ⁣(xa)+C,x>a\int \frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2 - a^2}◆RB◆\,dx = \operatorname{arcosh}\!\left(\frac{x}{a}\right) + C, \quad x \gt a

1a2x2dx=1aartanh ⁣(xa)+C,x<a\int \frac{1}{a^2 - x^2}\,dx = \frac{1}{a}\operatorname{artanh}\!\left(\frac{x}{a}\right) + C, \quad |x| \lt a

Proof of the first formula. Let u=x/au = x/a:

LBdxRB◆◆LBx2+a2RB=LBaduRB◆◆LBau2+1RB=arsinhu+C=arsinh ⁣(xa)+C\int \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 + a^2}◆RB◆ = \int \frac◆LB◆a\,du◆RB◆◆LB◆a\sqrt{u^2 + 1}◆RB◆ = \operatorname{arsinh}\,u + C = \operatorname{arsinh}\!\left(\frac{x}{a}\right) + C \quad \blacksquare

4.5 Worked example: differentiation

Problem. Differentiate f(x)=sinh(3x2)f(x) = \sinh(3x^2).

f(x)=6xcosh(3x2)f'(x) = 6x\cosh(3x^2)

4.6 Worked example: integration

Problem. Evaluate LB1RB◆◆LB4x2+9RBdx\displaystyle\int \frac◆LB◆1◆RB◆◆LB◆\sqrt{4x^2 + 9}◆RB◆\,dx.

LBdxRB◆◆LB4x2+9RB=12LBd(2x)RB◆◆LB(2x)2+9RB=12arsinh ⁣(2x3)+C\int \frac◆LB◆dx◆RB◆◆LB◆\sqrt{4x^2 + 9}◆RB◆ = \frac{1}{2}\int \frac◆LB◆d(2x)◆RB◆◆LB◆\sqrt{(2x)^2 + 9}◆RB◆ = \frac{1}{2}\operatorname{arsinh}\!\left(\frac{2x}{3}\right) + C

4.7 Worked example: definite integral

Problem. Evaluate 01LBdxRB◆◆LBx2+1RB\displaystyle\int_0^1 \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 + 1}◆RB◆.

=[arsinhx]01=arsinh1arsinh0=ln(1+2)0=ln(1+2)= \left[\operatorname{arsinh}\,x\right]_0^1 = \operatorname{arsinh}\,1 - \operatorname{arsinh}\,0 = \ln(1 + \sqrt{2}) - 0 = \ln(1 + \sqrt{2})

4.8 Worked example: integration by substitution with hyperbolic functions

Problem. Evaluate x2+4dx\displaystyle\int \sqrt{x^2 + 4}\,dx.

Use the substitution x=2sinhux = 2\sinh u, dx=2coshududx = 2\cosh u\,du:

LB4sinh2u+4RB2coshudu=2coshu2coshudu=4cosh2udu\int \sqrt◆LB◆4\sinh^2 u + 4◆RB◆\cdot 2\cosh u\,du = \int 2\cosh u \cdot 2\cosh u\,du = 4\int \cosh^2 u\,du

Using cosh2u=LB1+cosh2uRB◆◆LB2RB\cosh^2 u = \dfrac◆LB◆1 + \cosh 2u◆RB◆◆LB◆2◆RB◆:

=4LB1+cosh2uRB◆◆LB2RBdu=2u+sinh2u+C= 4\int \frac◆LB◆1 + \cosh 2u◆RB◆◆LB◆2◆RB◆\,du = 2u + \sinh 2u + C

=2u+2sinhucoshu+C= 2u + 2\sinh u\cosh u + C

Since x=2sinhux = 2\sinh u: sinhu=x2\sinh u = \dfrac{x}{2} coshu=LB1+x24RB=LBx2+4RB◆◆LB2RB\cosh u = \sqrt◆LB◆1 + \dfrac{x^2}{4}◆RB◆ = \dfrac◆LB◆\sqrt{x^2 + 4}◆RB◆◆LB◆2◆RB◆ u=arsinh ⁣(x2)u = \operatorname{arsinh}\!\left(\dfrac{x}{2}\right).

=2arsinh ⁣(x2)+LBxx2+4RB◆◆LB2RB+C= 2\operatorname{arsinh}\!\left(\frac{x}{2}\right) + \frac◆LB◆x\sqrt{x^2 + 4}◆RB◆◆LB◆2◆RB◆ + C

:::caution Common Pitfall The substitution x=asinhux = a\sinh u is a powerful technique for integrals Involving x2+a2\sqrt{x^2 + a^2}. Similarly, x=acoshux = a\cosh u handles x2a2\sqrt{x^2 - a^2} and x=atanhux = a\tanh u handles expressions with a2x2a^2 - x^2. The choice of substitution mirrors the Trigonometric substitutions but is often simpler algebraically. :::


5. Practice Problems

Problem 1

Solve the equation 4sinhx3coshx=04\sinh x - 3\cosh x = 0.

Solution

4sinhx=3coshx    tanhx=344\sinh x = 3\cosh x \implies \tanh x = \dfrac{3}{4}.

x=artanh ⁣(34)=12ln ⁣(1+3/413/4)=12ln7x = \operatorname{artanh}\!\left(\dfrac{3}{4}\right) = \dfrac{1}{2}\ln\!\left(\dfrac{1 + 3/4}{1 - 3/4}\right) = \dfrac{1}{2}\ln 7.

Problem 2

Prove that sinh3x=3sinhx+4sinh3x\sinh 3x = 3\sinh x + 4\sinh^3 x.

Solution

sinh3x=sinh(2x+x)=sinh2xcoshx+cosh2xsinhx\sinh 3x = \sinh(2x + x) = \sinh 2x\cosh x + \cosh 2x\sinh x

=2sinhxcosh2x+(1+2sinh2x)sinhx= 2\sinh x\cosh^2 x + (1 + 2\sinh^2 x)\sinh x

=2sinhx(1+sinh2x)+sinhx+2sinh3x= 2\sinh x(1 + \sinh^2 x) + \sinh x + 2\sinh^3 x

=2sinhx+2sinh3x+sinhx+2sinh3x=3sinhx+4sinh3x= 2\sinh x + 2\sinh^3 x + \sinh x + 2\sinh^3 x = 3\sinh x + 4\sinh^3 x.

Problem 3

Evaluate 02LBdxRB◆◆LBx2+16RB\displaystyle\int_0^2 \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 + 16}◆RB◆.

Solution

=[arsinh ⁣(x4)]02=arsinh ⁣(12)=ln ⁣(12+LB54RB)=ln ⁣(LB1+5RB◆◆LB2RB)= \left[\operatorname{arsinh}\!\left(\dfrac{x}{4}\right)\right]_0^2 = \operatorname{arsinh}\!\left(\dfrac{1}{2}\right) = \ln\!\left(\dfrac{1}{2} + \sqrt◆LB◆\dfrac{5}{4}◆RB◆\right) = \ln\!\left(\dfrac◆LB◆1 + \sqrt{5}◆RB◆◆LB◆2◆RB◆\right).

Problem 4

Differentiate f(x)=xarcoshxf(x) = x\,\operatorname{arcosh}\,x for x>1x \gt 1.

Solution

Using the product rule:

f(x)=arcoshx+xLB1RB◆◆LBx21RB=arcoshx+LBxRB◆◆LBx21RBf'(x) = \operatorname{arcosh}\,x + x \cdot \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{x^2 - 1}◆RB◆ = \operatorname{arcosh}\,x + \dfrac◆LB◆x◆RB◆◆LB◆\sqrt{x^2 - 1}◆RB◆.


6. Further Proofs and Key Results

6.1 Proof: LB1RB◆◆LBx2a2RBdx=arcosh ⁣(xa)+C\int \frac◆LB◆1◆RB◆◆LB◆\sqrt{x^2 - a^2}◆RB◆\,dx = \operatorname{arcosh}\!\left(\frac{x}{a}\right) + C

Proof. Let u=x/au = x/aSo dx=adudx = a\,du:

LBdxRB◆◆LBx2a2RB=LBaduRB◆◆LBau21RB=LBduRB◆◆LBu21RB\int \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 - a^2}◆RB◆ = \int \frac◆LB◆a\,du◆RB◆◆LB◆a\sqrt{u^2 - 1}◆RB◆ = \int \frac◆LB◆du◆RB◆◆LB◆\sqrt{u^2 - 1}◆RB◆

Now let u=coshtu = \cosh tSo du=sinhtdtdu = \sinh t\,dt:

=LBsinhtdtRB◆◆LBcosh2t1RB=LBsinhtdtRB◆◆LBsinhtRB=1dt=t+C=arcoshu+C= \int \frac◆LB◆\sinh t\,dt◆RB◆◆LB◆\sqrt{\cosh^2 t - 1}◆RB◆ = \int \frac◆LB◆\sinh t\,dt◆RB◆◆LB◆\sinh t◆RB◆ = \int 1\,dt = t + C = \operatorname{arcosh}\,u + C

=arcosh ⁣(xa)+C= \operatorname{arcosh}\!\left(\frac{x}{a}\right) + C \quad \blacksquare

6.2 Proof: 1a2x2dx=1aartanh ⁣(xa)+C\int \frac{1}{a^2 - x^2}\,dx = \frac{1}{a}\operatorname{artanh}\!\left(\frac{x}{a}\right) + C

Proof. Let u=x/au = x/aSo dx=adudx = a\,du:

dxa2x2=1adu1u2=1aartanhu+C=1aartanh ⁣(xa)+C\int \frac{dx}{a^2 - x^2} = \frac{1}{a}\int \frac{du}{1 - u^2} = \frac{1}{a}\operatorname{artanh}\,u + C = \frac{1}{a}\operatorname{artanh}\!\left(\frac{x}{a}\right) + C \quad \blacksquare

6.3 Proof: the catenary equation

Theorem. A uniform chain hanging under gravity takes the shape y=acosh ⁣(xa)+cy = a\cosh\!\left(\dfrac{x}{a}\right) + c.

Proof (sketch). Consider a small element of the chain between horizontal positions xx and x+δxx + \delta x. Let the tension at position xx be TTMaking angle θ\theta with the horizontal.

Horizontal equilibrium: Tcosθ=T0T\cos\theta = T_0 (constant).

Vertical equilibrium: ddx(Tsinθ)=w\dfrac{d}{dx}(T\sin\theta) = w where ww is the weight per unit length.

Since T=T0secθT = T_0\sec\theta and Tsinθ=T0tanθT\sin\theta = T_0\tan\theta:

ddx(T0tanθ)=w    T0sec2θLBdθRB◆◆LBdxRB=w\frac{d}{dx}(T_0\tan\theta) = w \implies T_0\sec^2\theta\,\frac◆LB◆d\theta◆RB◆◆LB◆dx◆RB◆ = w

Let y=tanθy' = \tan\thetaSo dydx=sec2θLBdθRB◆◆LBdxRB=wT0\dfrac{dy'}{dx} = \sec^2\theta\,\dfrac◆LB◆d\theta◆RB◆◆LB◆dx◆RB◆ = \dfrac{w}{T_0}.

Integrating: y=wT0x+C1y' = \dfrac{w}{T_0}\,x + C_1. Taking C1=0C_1 = 0 by symmetry:

y=xawhere a=T0wy' = \frac{x}{a} \quad \text{where } a = \frac{T_0}{w}

Integrating again: y=acosh ⁣(xa)+Cy = a\cosh\!\left(\dfrac{x}{a}\right) + C. \blacksquare


7. Common Pitfalls

:::caution Common Pitfall

  1. Sign in the fundamental identity: Unlike cos2x+sin2x=1\cos^2 x + \sin^2 x = 1The hyperbolic identity is cosh2xsinh2x=1\cosh^2 x - \sinh^2 x = 1. The minus sign is crucial and is the source of many errors.
  2. Domain of arcosh\operatorname{arcosh}: The domain is x1x \geq 1 (not x>0x > 0). Attempting to evaluate arcosh(0.5)\operatorname{arcosh}(0.5) is undefined.
  3. coshx1\cosh x \geq 1 always: When solving cosh2x=k\cosh^2 x = k and taking the square root, always take the positive root coshx=+k\cosh x = +\sqrt{k} since coshx1>0\cosh x \geq 1 > 0 for all real xx.
  4. Integration: artanh vs ln: When x>a|x| > a in dxa2x2\displaystyle\int \frac{dx}{a^2 - x^2}The result involves arcoth\operatorname{arcoth} (or an alternative logarithmic form), not artanh\operatorname{artanh}. Check the domain of the integrand carefully. :::

8. Additional Exam-Style Questions

Question 5

(a) Solve the equation coshx=2.5\cosh x = 2.5Giving your answer in exact logarithmic form.

(b) Hence solve cosh2x=2.5\cosh 2x = 2.5.

Solution

(a) coshx=ex+ex2=2.5\cosh x = \dfrac{e^x + e^{-x}}{2} = 2.5

ex+ex=5    e2x5ex+1=0e^x + e^{-x} = 5 \implies e^{2x} - 5e^x + 1 = 0

ex=LB5±254RB◆◆LB2RB=LB5±21RB◆◆LB2RBe^x = \dfrac◆LB◆5 \pm \sqrt{25 - 4}◆RB◆◆LB◆2◆RB◆ = \dfrac◆LB◆5 \pm \sqrt{21}◆RB◆◆LB◆2◆RB◆

x=ln ⁣(LB5±21RB◆◆LB2RB)x = \ln\!\left(\dfrac◆LB◆5 \pm \sqrt{21}◆RB◆◆LB◆2◆RB◆\right)

Since cosh\cosh is even, both ±\pm give valid solutions (one positive, one negative).

(b) cosh2x=2.5    2x=ln ⁣(LB5±21RB◆◆LB2RB)\cosh 2x = 2.5 \implies 2x = \ln\!\left(\dfrac◆LB◆5 \pm \sqrt{21}◆RB◆◆LB◆2◆RB◆\right)

x=12ln ⁣(LB5±21RB◆◆LB2RB)x = \dfrac{1}{2}\ln\!\left(\dfrac◆LB◆5 \pm \sqrt{21}◆RB◆◆LB◆2◆RB◆\right)

Alternatively, using cosh2x=2cosh2x1=2.5    cosh2x=1.75\cosh 2x = 2\cosh^2 x - 1 = 2.5 \implies \cosh^2 x = 1.75Which gives the Same result.

Question 6

(a) Prove that ddx(arcoshx)=LB1RB◆◆LBx21RB\dfrac{d}{dx}(\operatorname{arcosh}\,x) = \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{x^2 - 1}◆RB◆ For x>1x > 1.

(b) Evaluate 23LBdxRB◆◆LBx21RB\displaystyle\int_2^3 \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 - 1}◆RB◆ in exact form.

Solution

(a) Let y=arcoshxy = \operatorname{arcosh}\,xSo x=coshyx = \cosh y.

dxdy=sinhy\dfrac{dx}{dy} = \sinh ySo dydx=LB1RB◆◆LBsinhyRB\dfrac{dy}{dx} = \dfrac◆LB◆1◆RB◆◆LB◆\sinh y◆RB◆.

Since cosh2ysinh2y=1\cosh^2 y - \sinh^2 y = 1: sinhy=LBcosh2y1RB=x21\sinh y = \sqrt◆LB◆\cosh^2 y - 1◆RB◆ = \sqrt{x^2 - 1}.

dydx=LB1RB◆◆LBx21RB\dfrac{dy}{dx} = \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{x^2 - 1}◆RB◆ \quad \blacksquare

(b) 23LBdxRB◆◆LBx21RB=[arcoshx]23\displaystyle\int_2^3 \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 - 1}◆RB◆ = \bigl[\operatorname{arcosh}\,x\bigr]_2^3

=ln(3+8)ln(2+3)=ln(3+22)ln(2+3)= \ln(3 + \sqrt{8}) - \ln(2 + \sqrt{3}) = \ln(3 + 2\sqrt{2}) - \ln(2 + \sqrt{3})

=ln ⁣(LB3+22RB◆◆LB2+3RB)= \ln\!\left(\dfrac◆LB◆3 + 2\sqrt{2}◆RB◆◆LB◆2 + \sqrt{3}◆RB◆\right).

Question 7

A curve CC has equation y=sinh1(2x1)y = \sinh^{-1}(2x - 1).

(a) Find dydx\dfrac{dy}{dx}.

(b) Find the equation of the tangent to CC at the point where x=1x = 1.

Solution

(a) y=arsinh(2x1)y = \operatorname{arsinh}(2x - 1).

dydx=LB2RB◆◆LB(2x1)2+1RB=LB2RB◆◆LB4x24x+2RB\dfrac{dy}{dx} = \dfrac◆LB◆2◆RB◆◆LB◆\sqrt{(2x - 1)^2 + 1}◆RB◆ = \dfrac◆LB◆2◆RB◆◆LB◆\sqrt{4x^2 - 4x + 2}◆RB◆.

(b) At x=1x = 1: y=arsinh(1)=ln(1+2)y = \operatorname{arsinh}(1) = \ln(1 + \sqrt{2}).

dydxx=1=LB2RB◆◆LB44+2RB=LB2RB◆◆LB2RB=2\dfrac{dy}{dx}\bigg|_{x=1} = \dfrac◆LB◆2◆RB◆◆LB◆\sqrt{4 - 4 + 2}◆RB◆ = \dfrac◆LB◆2◆RB◆◆LB◆\sqrt{2}◆RB◆ = \sqrt{2}.

Equation of tangent: yln(1+2)=2(x1)y - \ln(1 + \sqrt{2}) = \sqrt{2}(x - 1)I.e.

y=2x2+ln(1+2)y = \sqrt{2}\,x - \sqrt{2} + \ln(1 + \sqrt{2}).


9. Advanced Worked Examples

Example 9.1: Solving hyperbolic equations

Problem. Solve 3sinhx+4coshx=53\sinh x + 4\cosh x = 5Giving your answer in exact logarithmic form.

Solution. Using the exponential definitions:

3exex2+4ex+ex2=53\cdot\frac{e^x - e^{-x}}{2} + 4\cdot\frac{e^x + e^{-x}}{2} = 5

3ex3ex+4ex+4ex=103e^x - 3e^{-x} + 4e^x + 4e^{-x} = 10

7ex+ex=107e^x + e^{-x} = 10

Multiplying by exe^x: 7e2x+1=10ex7e^{2x} + 1 = 10e^x

7e2x10ex+1=07e^{2x} - 10e^x + 1 = 0

This is a quadratic in exe^x:

ex=LB10±10028RB◆◆LB14RB=LB10±72RB◆◆LB14RB=LB10±62RB◆◆LB14RB=LB5±32RB◆◆LB7RBe^x = \frac◆LB◆10 \pm \sqrt{100 - 28}◆RB◆◆LB◆14◆RB◆ = \frac◆LB◆10 \pm \sqrt{72}◆RB◆◆LB◆14◆RB◆ = \frac◆LB◆10 \pm 6\sqrt{2}◆RB◆◆LB◆14◆RB◆ = \frac◆LB◆5 \pm 3\sqrt{2}◆RB◆◆LB◆7◆RB◆

x=ln ⁣(LB5+32RB◆◆LB7RB)orx=ln ⁣(LB532RB◆◆LB7RB)x = \ln\!\left(\frac◆LB◆5 + 3\sqrt{2}◆RB◆◆LB◆7◆RB◆\right) \quad \text{or} \quad x = \ln\!\left(\frac◆LB◆5 - 3\sqrt{2}◆RB◆◆LB◆7◆RB◆\right)

Since LB532RB◆◆LB7RB0.109>0\dfrac◆LB◆5 - 3\sqrt{2}◆RB◆◆LB◆7◆RB◆ \approx 0.109 > 0Both solutions are valid.

Example 9.2: Integration using hyperbolic substitution

Problem. Evaluate x29dx\displaystyle\int \sqrt{x^2 - 9}\,dx for x3x \geq 3.

Solution. Use the substitution x=3coshux = 3\cosh u, dx=3sinhududx = 3\sinh u\,du:

LB9cosh2u9RB3sinhudu=3sinhu3sinhudu=9sinh2udu\int \sqrt◆LB◆9\cosh^2 u - 9◆RB◆\cdot 3\sinh u\,du = \int 3\sinh u \cdot 3\sinh u\,du = 9\int \sinh^2 u\,du

Using sinh2u=LBcosh2u1RB◆◆LB2RB\sinh^2 u = \dfrac◆LB◆\cosh 2u - 1◆RB◆◆LB◆2◆RB◆:

=9LBcosh2u1RB◆◆LB2RBdu=92(LBsinh2uRB◆◆LB2RBu)+C=94sinh2u92u+C= 9\int \frac◆LB◆\cosh 2u - 1◆RB◆◆LB◆2◆RB◆\,du = \frac{9}{2}\left(\frac◆LB◆\sinh 2u◆RB◆◆LB◆2◆RB◆ - u\right) + C = \frac{9}{4}\sinh 2u - \frac{9}{2}u + C

Since x=3coshux = 3\cosh u: coshu=x3\cosh u = \dfrac{x}{3} sinhu=LBx291RB=LBx29RB◆◆LB3RB\sinh u = \sqrt◆LB◆\dfrac{x^2}{9} - 1◆RB◆ = \dfrac◆LB◆\sqrt{x^2 - 9}◆RB◆◆LB◆3◆RB◆.

sinh2u=2sinhucoshu=LB2xx29RB◆◆LB9RB\sinh 2u = 2\sinh u\cosh u = \dfrac◆LB◆2x\sqrt{x^2 - 9}◆RB◆◆LB◆9◆RB◆.

u=arcosh ⁣(x3)=ln ⁣(x3+LBx291RB)u = \operatorname{arcosh}\!\left(\dfrac{x}{3}\right) = \ln\!\left(\dfrac{x}{3} + \sqrt◆LB◆\dfrac{x^2}{9} - 1◆RB◆\right).

=LBxx29RB◆◆LB2RB92arcosh ⁣(x3)+C= \frac◆LB◆x\sqrt{x^2 - 9}◆RB◆◆LB◆2◆RB◆ - \frac{9}{2}\operatorname{arcosh}\!\left(\frac{x}{3}\right) + C

Example 9.3: Proving an identity using Osborne’s rule

Problem. Prove that cosh3x=4cosh3x3coshx\cosh 3x = 4\cosh^3 x - 3\cosh x.

Solution. From the trigonometric identity cos3θ=4cos3θ3cosθ\cos 3\theta = 4\cos^3\theta - 3\cos\thetaApplying Osborne’s rule: since cos3θ\cos^3\theta contains no products of sin\sinIt remains unchanged. Therefore:

cosh3x=4cosh3x3coshx\cosh 3x = 4\cosh^3 x - 3\cosh x

Direct proof. Starting from cosh3x=cosh(2x+x)\cosh 3x = \cosh(2x + x):

=cosh2xcoshx+sinh2xsinhx=(2cosh2x1)coshx+2sinh2xcoshx= \cosh 2x\cosh x + \sinh 2x\sinh x = (2\cosh^2 x - 1)\cosh x + 2\sinh^2 x\cosh x

=2cosh3xcoshx+2(cosh2x1)coshx=2cosh3xcoshx+2cosh3x2coshx= 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

=4cosh3x3coshx= 4\cosh^3 x - 3\cosh x \quad \blacksquare

Example 9.4: Differentiation involving multiple hyperbolic functions

Problem. Find dydx\dfrac{dy}{dx} where y=LBsinhxRB◆◆LB1+coshxRBy = \dfrac◆LB◆\sinh x◆RB◆◆LB◆1 + \cosh x◆RB◆ and simplify Your answer.

Solution. Using the quotient rule:

dydx=LBcoshx(1+coshx)sinhxsinhxRB◆◆LB(1+coshx)2RB=LBcoshx+cosh2xsinh2xRB◆◆LB(1+coshx)2RB\frac{dy}{dx} = \frac◆LB◆\cosh x(1 + \cosh x) - \sinh x \cdot \sinh x◆RB◆◆LB◆(1 + \cosh x)^2◆RB◆ = \frac◆LB◆\cosh x + \cosh^2 x - \sinh^2 x◆RB◆◆LB◆(1 + \cosh x)^2◆RB◆

Using cosh2xsinh2x=1\cosh^2 x - \sinh^2 x = 1:

=LBcoshx+1RB◆◆LB(1+coshx)2RB=LB1RB◆◆LB1+coshxRB=sech2 ⁣(x2)= \frac◆LB◆\cosh x + 1◆RB◆◆LB◆(1 + \cosh x)^2◆RB◆ = \frac◆LB◆1◆RB◆◆LB◆1 + \cosh x◆RB◆ = \mathrm{sech}^2\!\left(\frac{x}{2}\right)

The final simplification uses the identity 1+coshx=2cosh2(x/2)1 + \cosh x = 2\cosh^2(x/2).

Example 9.5: Definite integral with inverse hyperbolic functions

Problem. Evaluate 01LBdxRB◆◆LB1+4x2RB\displaystyle\int_0^1 \frac◆LB◆dx◆RB◆◆LB◆\sqrt{1 + 4x^2}◆RB◆.

Solution. Write 1+4x2=4(x2+1/4)=2x2+(1/2)2\sqrt{1 + 4x^2} = \sqrt{4(x^2 + 1/4)} = 2\sqrt{x^2 + (1/2)^2}.

01LBdxRB◆◆LB1+4x2RB=1201LBdxRB◆◆LBx2+1/4RB=12[arsinh ⁣(x1/2)]01\int_0^1 \frac◆LB◆dx◆RB◆◆LB◆\sqrt{1 + 4x^2}◆RB◆ = \frac{1}{2}\int_0^1 \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 + 1/4}◆RB◆ = \frac{1}{2}\left[\operatorname{arsinh}\!\left(\frac{x}{1/2}\right)\right]_0^1

=12[arsinh2arsinh0]=12ln(2+5)= \frac{1}{2}\bigl[\operatorname{arsinh}\,2 - \operatorname{arsinh}\,0\bigr] = \frac{1}{2}\ln(2 + \sqrt{5})

Example 9.6: Parametric differentiation with hyperbolic functions

Problem. A curve is given parametrically by x=2coshtx = 2\cosh t, y=3sinhty = 3\sinh t. Find the value of dydx\dfrac{dy}{dx} at t=ln2t = \ln 2.

Solution. dxdt=2sinht\dfrac{dx}{dt} = 2\sinh t, dydt=3cosht\dfrac{dy}{dt} = 3\cosh t.

dydx=LB3coshtRB◆◆LB2sinhtRB=32cotht\frac{dy}{dx} = \frac◆LB◆3\cosh t◆RB◆◆LB◆2\sinh t◆RB◆ = \frac{3}{2}\coth t

At t=ln2t = \ln 2: cosh(ln2)=2+1/22=54\cosh(\ln 2) = \dfrac{2 + 1/2}{2} = \dfrac{5}{4} sinh(ln2)=21/22=34\sinh(\ln 2) = \dfrac{2 - 1/2}{2} = \dfrac{3}{4}.

dydxt=ln2=LB35/4RB◆◆LB23/4RB=15/43/2=52\frac{dy}{dx}\bigg|_{t = \ln 2} = \frac◆LB◆3 \cdot 5/4◆RB◆◆LB◆2 \cdot 3/4◆RB◆ = \frac{15/4}{3/2} = \frac{5}{2}

Example 9.7: Verifying a reduction formula

Problem. Let In=0π/2coshn(sinx)dxI_n = \displaystyle\int_0^{\pi/2} \cosh^n(\sin x)\,dx is not well-formed. Instead, verify that tanh3xdx=ln(coshx)12sech2xtanhx+C\displaystyle\int \tanh^3 x\,dx = \ln(\cosh x) - \dfrac{1}{2}\mathrm{sech}^2\,x\tanh x + C is Incorrect, and find the correct integral.

Solution. Let us compute tanh3xdx\displaystyle\int \tanh^3 x\,dx correctly.

Write tanh3x=tanhxtanh2x=tanhx(1sech2x)=tanhxtanhxsech2x\tanh^3 x = \tanh x \cdot \tanh^2 x = \tanh x(1 - \mathrm{sech}^2\,x) = \tanh x - \tanh x\,\mathrm{sech}^2\,x.

tanh3xdx=tanhxdxtanhxsech2xdx\int \tanh^3 x\,dx = \int \tanh x\,dx - \int \tanh x\,\mathrm{sech}^2\,x\,dx

The first integral: tanhxdx=ln(coshx)+C\displaystyle\int\tanh x\,dx = \ln(\cosh x) + C.

For the second integral, let u=tanhxu = \tanh x, du=sech2xdxdu = \mathrm{sech}^2\,x\,dx:

udu=u22+C=LBtanh2xRB◆◆LB2RB+C\int u\,du = \frac{u^2}{2} + C = \frac◆LB◆\tanh^2 x◆RB◆◆LB◆2◆RB◆ + C

Therefore:

tanh3xdx=ln(coshx)LBtanh2xRB◆◆LB2RB+C\boxed{\int \tanh^3 x\,dx = \ln(\cosh x) - \frac◆LB◆\tanh^2 x◆RB◆◆LB◆2◆RB◆ + C}

Example 9.8: Arc length of a hyperbolic cosine curve

Problem. Find the arc length of y=acosh(x/a)y = a\cosh(x/a) from x=0x = 0 to x=bx = b.

Solution. dydx=sinh(x/a)\dfrac{dy}{dx} = \sinh(x/a).

s=0bLB1+sinh2(x/a)RBdx=0bcosh(x/a)dx=[asinh(x/a)]0b=asinh(b/a)s = \int_0^b \sqrt◆LB◆1 + \sinh^2(x/a)◆RB◆\,dx = \int_0^b \cosh(x/a)\,dx = \bigl[a\sinh(x/a)\bigr]_0^b = a\sinh(b/a)


10. Connections to Other Topics

10.1 Hyperbolic functions and differential equations

The differential equation d2ydx2y=0\dfrac{d^2y}{dx^2} - y = 0 has general solution y=Acoshx+Bsinhxy = A\cosh x + B\sinh xWhich can also be written y=Cex+Dexy = Ce^x + De^{-x}. See Differential Equations.

10.2 Hyperbolic functions and complex numbers

The identities coshx=cos(ix)\cosh x = \cos(ix) and sinhx=isin(ix)\sinh x = -i\sin(ix) connect the two topics. See Complex Numbers.

10.3 Hyperbolic functions and integration techniques

Hyperbolic substitutions (x=asinhux = a\sinh u, x=acoshux = a\cosh u) are powerful alternatives to trigonometric Substitutions. See Further Calculus.

10.4 The catenary and mechanics

The shape y=acosh(x/a)y = a\cosh(x/a) describes a hanging chain. The arc length is s=asinh(x/a)s = a\sinh(x/a). See Further Mechanics.


11. Additional Exam-Style Questions

Question 8

(a) Given sinhx=125\sinh x = \dfrac{12}{5}Find the exact value of coshx\cosh x and tanhx\tanh x.

(b) Hence evaluate arcosh ⁣(135)\operatorname{arcosh}\!\left(\dfrac{13}{5}\right) in exact logarithmic Form.

Solution

(a) cosh2x=1+sinh2x=1+14425=16925\cosh^2 x = 1 + \sinh^2 x = 1 + \dfrac{144}{25} = \dfrac{169}{25}So coshx=135\cosh x = \dfrac{13}{5} (positive root).

tanhx=LBsinhxRB◆◆LBcoshxRB=12/513/5=1213\tanh x = \dfrac◆LB◆\sinh x◆RB◆◆LB◆\cosh x◆RB◆ = \dfrac{12/5}{13/5} = \dfrac{12}{13}.

(b) Since coshx=135\cosh x = \dfrac{13}{5}:

arcosh ⁣(135)=x=ln ⁣(135+LB169251RB)=ln ⁣(135+125)=ln5\operatorname{arcosh}\!\left(\frac{13}{5}\right) = x = \ln\!\left(\frac{13}{5} + \sqrt◆LB◆\frac{169}{25} - 1◆RB◆\right) = \ln\!\left(\frac{13}{5} + \frac{12}{5}\right) = \ln 5

Question 9

Find the exact value of 0ln2cosh2xdx\displaystyle\int_0^{\ln 2} \cosh 2x\,dx.

Solution

0ln2cosh2xdx=[LBsinh2xRB◆◆LB2RB]0ln2=LBsinh(2ln2)RB◆◆LB2RB\int_0^{\ln 2}\cosh 2x\,dx = \left[\frac◆LB◆\sinh 2x◆RB◆◆LB◆2◆RB◆\right]_0^{\ln 2} = \frac◆LB◆\sinh(2\ln 2)◆RB◆◆LB◆2◆RB◆

sinh(2ln2)=LBe2ln2e2ln2RB◆◆LB2RB=41/42=158\sinh(2\ln 2) = \dfrac◆LB◆e^{2\ln 2} - e^{-2\ln 2}◆RB◆◆LB◆2◆RB◆ = \dfrac{4 - 1/4}{2} = \dfrac{15}{8}.

0ln2cosh2xdx=1516\int_0^{\ln 2}\cosh 2x\,dx = \frac{15}{16}

Question 10

Prove by induction that dndxn(sinhx)=sinhx\dfrac{d^n}{dx^n}(\sinh x) = \sinh x when nn is even and dndxn(sinhx)=coshx\dfrac{d^n}{dx^n}(\sinh x) = \cosh x when nn is odd.

Solution

Base case (n=0n = 0): d0dx0(sinhx)=sinhx\dfrac{d^0}{dx^0}(\sinh x) = \sinh x. Correct for n=0n = 0 (even).

Base case (n=1n = 1): ddx(sinhx)=coshx\dfrac{d}{dx}(\sinh x) = \cosh x. Correct for n=1n = 1 (odd).

Inductive step. Assume the result holds for n=kn = k.

If kk is even: dkdxk(sinhx)=sinhx\dfrac{d^k}{dx^k}(\sinh x) = \sinh x. Then dk+1dxk+1(sinhx)=ddx(sinhx)=coshx\dfrac{d^{k+1}}{dx^{k+1}}(\sinh x) = \dfrac{d}{dx}(\sinh x) = \cosh x. Since k+1k + 1 is odd, the Result holds.

If kk is odd: dkdxk(sinhx)=coshx\dfrac{d^k}{dx^k}(\sinh x) = \cosh x. Then dk+1dxk+1(sinhx)=ddx(coshx)=sinhx\dfrac{d^{k+1}}{dx^{k+1}}(\sinh x) = \dfrac{d}{dx}(\cosh x) = \sinh x. Since k+1k + 1 is even, the Result holds. \blacksquare

Question 11

Evaluate 3/22LB3RB◆◆LB4x29RBdx\displaystyle\int_{3/2}^2 \frac◆LB◆3◆RB◆◆LB◆\sqrt{4x^2 - 9}◆RB◆\,dx in exact form.

Solution

3/22LB3RB◆◆LB4x29RBdx=323/22LBdxRB◆◆LBx29/4RB=32[arcosh ⁣(2x3)]3/22\int_{3/2}^2 \frac◆LB◆3◆RB◆◆LB◆\sqrt{4x^2 - 9}◆RB◆\,dx = \frac{3}{2}\int_{3/2}^2 \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 - 9/4}◆RB◆ = \frac{3}{2}\left[\operatorname{arcosh}\!\left(\frac{2x}{3}\right)\right]_{3/2}^2

=32[arcosh ⁣(43)arcosh(1)]=32arcosh ⁣(43)= \frac{3}{2}\left[\operatorname{arcosh}\!\left(\frac{4}{3}\right) - \operatorname{arcosh}(1)\right] = \frac{3}{2}\operatorname{arcosh}\!\left(\frac{4}{3}\right)

=32ln ⁣(43+LB1691RB)=32ln ⁣(LB4+7RB◆◆LB3RB)= \frac{3}{2}\ln\!\left(\frac{4}{3} + \sqrt◆LB◆\frac{16}{9} - 1◆RB◆\right) = \frac{3}{2}\ln\!\left(\frac◆LB◆4 + \sqrt{7}◆RB◆◆LB◆3◆RB◆\right)

Question 12

Given that y=ln(sinhx)y = \ln(\sinh x)Show that d2ydx2=cosech2x\dfrac{d^2y}{dx^2} = -\mathrm{cosech}^2\,x.

Solution

dydx=LBcoshxRB◆◆LBsinhxRB=cothx\frac{dy}{dx} = \frac◆LB◆\cosh x◆RB◆◆LB◆\sinh x◆RB◆ = \coth x

d2ydx2=ddx(cothx)=cosech2x=LB1RB◆◆LBsinh2xRB\frac{d^2y}{dx^2} = \frac{d}{dx}(\coth x) = -\mathrm{cosech}^2\,x = \frac◆LB◆-1◆RB◆◆LB◆\sinh^2 x◆RB◆ \quad \blacksquare

Question 13

(a) Express sinh(2ln3)\sinh(2\ln 3) in the form ab\dfrac{a}{b} where a,ba, b are integers.

(b) Hence find ln3ln2\ln 3 - \ln 2 in terms of inverse hyperbolic functions.

Solution

(a) sinh(2ln3)=2sinh(ln3)cosh(ln3)\sinh(2\ln 3) = 2\sinh(\ln 3)\cosh(\ln 3).

sinh(ln3)=31/32=43\sinh(\ln 3) = \dfrac{3 - 1/3}{2} = \dfrac{4}{3} cosh(ln3)=3+1/32=53\cosh(\ln 3) = \dfrac{3 + 1/3}{2} = \dfrac{5}{3}.

sinh(2ln3)=24353=409\sinh(2\ln 3) = 2 \cdot \dfrac{4}{3} \cdot \dfrac{5}{3} = \dfrac{40}{9}.

(b) ln3ln2=ln(3/2)\ln 3 - \ln 2 = \ln(3/2). Since arsinhx=ln(x+x2+1)\operatorname{arsinh}\,x = \ln(x + \sqrt{x^2+1}):

arsinh ⁣(34)=ln ⁣(34+LB916+1RB)=ln ⁣(34+54)=ln2\operatorname{arsinh}\!\left(\dfrac{3}{4}\right) = \ln\!\left(\dfrac{3}{4} + \sqrt◆LB◆\dfrac{9}{16}+1◆RB◆\right) = \ln\!\left(\dfrac{3}{4} + \dfrac{5}{4}\right) = \ln 2.

Therefore ln2=arsinh(3/4)\ln 2 = \operatorname{arsinh}(3/4) and ln3=ln2+ln(3/2)=arsinh(3/4)+artanh(1/5)\ln 3 = \ln 2 + \ln(3/2) = \operatorname{arsinh}(3/4) + \operatorname{artanh}(1/5) (using artanh(1/5)=12ln(6/4)=12ln(3/2)\operatorname{artanh}(1/5) = \frac{1}{2}\ln(6/4) = \frac{1}{2}\ln(3/2)).

So ln3ln2=artanh(1/5)\ln 3 - \ln 2 = \operatorname{artanh}(1/5).


12. Summary of Extended Results

IdentityFormula
Triple anglesinh3x=3sinhx+4sinh3x\sinh 3x = 3\sinh x + 4\sinh^3 x
Triple anglecosh3x=4cosh3x3coshx\cosh 3x = 4\cosh^3 x - 3\cosh x
Half anglecosh2 ⁣(x2)=LB1+coshxRB◆◆LB2RB\cosh^2\!\left(\dfrac{x}{2}\right) = \dfrac◆LB◆1 + \cosh x◆RB◆◆LB◆2◆RB◆
Half anglesinh2 ⁣(x2)=LBcoshx1RB◆◆LB2RB\sinh^2\!\left(\dfrac{x}{2}\right) = \dfrac◆LB◆\cosh x - 1◆RB◆◆LB◆2◆RB◆
Integral of tanh\tanhtanhxdx=ln(coshx)+C\displaystyle\int\tanh x\,dx = \ln(\cosh x) + C
Integral of coth\cothcothxdx=ln(sinhx)+C\displaystyle\int\coth x\,dx = \ln(\sinh x) + C
Integral of tanh3\tanh^3tanh3xdx=ln(coshx)LBtanh2xRB◆◆LB2RB+C\displaystyle\int\tanh^3 x\,dx = \ln(\cosh x) - \dfrac◆LB◆\tanh^2 x◆RB◆◆LB◆2◆RB◆ + C
Arc length of catenarys=asinh(b/a)s = a\sinh(b/a) for y=acosh(x/a)y = a\cosh(x/a)

13. Further Common Pitfalls

:::caution Common Pitfall

  1. Substitution domain errors: When using x=acoshux = a\cosh uThe substitution requires xax \geq a (since coshu1\cosh u \geq 1). Attempting to use x=acoshux = a\cosh u for x<ax < a leads to an error. Use x=asinhux = a\sinh u for x2+a2\sqrt{x^2 + a^2} and x=acoshux = a\cosh u for x2a2\sqrt{x^2 - a^2}.
  2. Confusing artanh\operatorname{artanh} and ln\ln forms: The formula dxa2x2=12aln ⁣a+xax\displaystyle\int\frac{dx}{a^2 - x^2} = \frac{1}{2a}\ln\!\left|\frac{a+x}{a-x}\right| is valid for all xa|x| \neq aBut 1aartanh(x/a)\dfrac{1}{a}\operatorname{artanh}(x/a) is only valid for x<a|x| < a. For x>a|x| > aUse the logarithmic form or arcoth\operatorname{arcoth}.
  3. No absolute value needed for cosh\cosh: Unlike cosx|\cos x|, LBcosh2xRB=coshx\sqrt◆LB◆\cosh^2 x◆RB◆ = \cosh x (no absolute value needed) since coshx1>0\cosh x \geq 1 > 0 for all real xx.
  4. Differential equation solutions: The equation yy=0y'' - y = 0 has solutions in both exponential and hyperbolic forms. When boundary conditions involve y(0)y(0) and y(0)y'(0)The hyperbolic form y=Acoshx+Bsinhxy = A\cosh x + B\sinh x is often more convenient since cosh0=1\cosh 0 = 1 and sinh0=0\sinh 0 = 0. :::

14. Advanced Worked Examples

Example 14.1: Integration using sinh\sinh substitution

Problem. Evaluate x2+9dx\displaystyle\int \sqrt{x^2 + 9}\,dx.

Solution. Let x=3sinhux = 3\sinh u, dx=3coshududx = 3\cosh u\,du.

3coshu3coshudu=9cosh2udu=9LB1+cosh2uRB◆◆LB2RBdu=92 ⁣(u+LBsinh2uRB◆◆LB2RB)\int 3\cosh u \cdot 3\cosh u\,du = 9\int \cosh^2 u\,du = 9\int \frac◆LB◆1+\cosh 2u◆RB◆◆LB◆2◆RB◆\,du = \frac{9}{2}\!\left(u + \frac◆LB◆\sinh 2u◆RB◆◆LB◆2◆RB◆\right)

=9u2+LB9sinhucoshuRB◆◆LB2RB=92arsinh ⁣(x3)+LBxx2+9RB◆◆LB2RB+C= \frac{9u}{2} + \frac◆LB◆9\sinh u\cosh u◆RB◆◆LB◆2◆RB◆ = \frac{9}{2}\operatorname{arsinh}\!\left(\frac{x}{3}\right) + \frac◆LB◆x\sqrt{x^2+9}◆RB◆◆LB◆2◆RB◆ + C

Example 14.2: Solving y4y=0y'' - 4y = 0 with hyperbolic functions

Problem. Solve y4y=0y'' - 4y = 0 with y(0)=3y(0) = 3 and y(0)=8y'(0) = 8.

Solution. Auxiliary: m24=0    m=±2m^2 - 4 = 0 \implies m = \pm 2.

y=Acosh2x+Bsinh2xy = A\cosh 2x + B\sinh 2x.

y(0)=A=3y(0) = A = 3. y(0)=2B=8    B=4y'(0) = 2B = 8 \implies B = 4.

y=3cosh2x+4sinh2x\boxed{y = 3\cosh 2x + 4\sinh 2x}

In exponential form: y=3e2x+e2x2+4e2xe2x2=72e2x12e2xy = 3 \cdot \dfrac{e^{2x}+e^{-2x}}{2} + 4 \cdot \dfrac{e^{2x}-e^{-2x}}{2} = \dfrac{7}{2}e^{2x} - \dfrac{1}{2}e^{-2x}.

Example 14.3: Arc length of a catenary

Problem. Find the arc length of y=coshxy = \cosh x from x=0x = 0 to x=1x = 1.

Solution. y=sinhxy' = \sinh x. ds=LB1+sinh2xRBdx=coshxdxds = \sqrt◆LB◆1 + \sinh^2 x◆RB◆\,dx = \cosh x\,dx.

s=01coshxdx=[sinhx]01=sinh1=ee121.175s = \int_0^1 \cosh x\,dx = [\sinh x]_0^1 = \sinh 1 = \frac{e - e^{-1}}{2} \approx \boxed{1.175}

Example 14.4: Osborn’s rule applied to tan2x\tan 2x

Problem. Using Osborn’s rule, find tanh2x\tanh 2x in terms of tanhx\tanh x.

Solution. tan2x=LB2tanxRB◆◆LB1tan2xRB\tan 2x = \dfrac◆LB◆2\tan x◆RB◆◆LB◆1-\tan^2 x◆RB◆. Apply Osborn’s rule (change tan2x\tan^2 x to tanh2x-\tanh^2 x):

tanh2x=LB2tanhxRB◆◆LB1+tanh2xRB\boxed{\tanh 2x = \frac◆LB◆2\tanh x◆RB◆◆LB◆1+\tanh^2 x◆RB◆}

Example 14.5: Deriving the Gudermannian function relationship

Problem. The Gudermannian function relates circular and hyperbolic functions: secθ=coshu\sec\theta = \cosh u where u=gd1(θ)u = \operatorname{gd}^{-1}(\theta). Show that LBdθRB◆◆LBduRB=sechu\dfrac◆LB◆d\theta◆RB◆◆LB◆du◆RB◆ = \operatorname{sech}\, u.

Solution. secθ=coshu    cosθ=sechu\sec\theta = \cosh u \implies \cos\theta = \operatorname{sech}\, u.

Differentiating implicitly with respect to uu: sinθLBdθRB◆◆LBduRB=sechutanhu-\sin\theta \cdot \dfrac◆LB◆d\theta◆RB◆◆LB◆du◆RB◆ = -\operatorname{sech}\,u \tanh u.

LBdθRB◆◆LBduRB=LBsechutanhuRB◆◆LBsinθRB\dfrac◆LB◆d\theta◆RB◆◆LB◆du◆RB◆ = \dfrac◆LB◆\operatorname{sech}\,u \tanh u◆RB◆◆LB◆\sin\theta◆RB◆.

Since cosθ=sechu\cos\theta = \operatorname{sech}\,u: sinθ=LB1sech2uRB=LB11cosh2uRB=LBcosh2u1RB◆◆LBcoshuRB=LBsinhuRB◆◆LBcoshuRB=tanhu\sin\theta = \sqrt◆LB◆1-\operatorname{sech}^2 u◆RB◆ = \sqrt◆LB◆1-\dfrac{1}{\cosh^2 u}◆RB◆ = \dfrac◆LB◆\sqrt{\cosh^2 u - 1}◆RB◆◆LB◆\cosh u◆RB◆ = \dfrac◆LB◆\sinh u◆RB◆◆LB◆\cosh u◆RB◆ = \tanh u.

LBdθRB◆◆LBduRB=LBsechutanhuRB◆◆LBtanhuRB=sechu\dfrac◆LB◆d\theta◆RB◆◆LB◆du◆RB◆ = \dfrac◆LB◆\operatorname{sech}\,u \tanh u◆RB◆◆LB◆\tanh u◆RB◆ = \boxed{\operatorname{sech}\,u}. \blacksquare


15. Additional Exam-Style Questions

Question 16

Evaluate 12LBdxRB◆◆LBx21RB\displaystyle\int_1^2 \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2 - 1}◆RB◆.

Solution

=[arcoshx]12=ln(2+3)ln1=ln(2+3)= [\operatorname{arcosh}\, x]_1^2 = \ln(2+\sqrt{3}) - \ln 1 = \boxed{\ln(2+\sqrt{3})}.

Question 17

Prove that sinh(x+y)=sinhxcoshy+coshxsinhy\sinh(x+y) = \sinh x\cosh y + \cosh x\sinh y.

Solution

sinhxcoshy+coshxsinhy=(exex)(ey+ey)+(ex+ex)(eyey)4\sinh x\cosh y + \cosh x\sinh y = \dfrac{(e^x-e^{-x})(e^y+e^{-y}) + (e^x+e^{-x})(e^y-e^{-y})}{4}

=ex+y+exyex+yexy+ex+yexy+ex+yexy4= \dfrac{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}

=2ex+y2e(x+y)4=ex+ye(x+y)2=sinh(x+y)= \dfrac{2e^{x+y}-2e^{-(x+y)}}{4} = \dfrac{e^{x+y}-e^{-(x+y)}}{2} = \sinh(x+y). \blacksquare

Question 18

Find ddx[arcoshx]\dfrac{d}{dx}[\operatorname{arcosh}\, x] and state the domain.

Solution

Let y=arcoshxy = \operatorname{arcosh}\, xSo x=coshyx = \cosh y and x1x \geq 1.

1=sinhydydx1 = \sinh y \cdot \dfrac{dy}{dx}.

dydx=LB1RB◆◆LBsinhyRB=LB1RB◆◆LBcosh2y1RB=LB1RB◆◆LBx21RB\dfrac{dy}{dx} = \dfrac◆LB◆1◆RB◆◆LB◆\sinh y◆RB◆ = \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{\cosh^2 y - 1}◆RB◆ = \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{x^2-1}◆RB◆.

ddx[arcoshx]=LB1RB◆◆LBx21RB\boxed{\dfrac{d}{dx}[\operatorname{arcosh}\, x] = \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{x^2-1}◆RB◆} for x>1x > 1.


16. Advanced Topics

16.1 The Gudermannian function

The Gudermannian function gd(x)\mathrm{gd}(x) relates circular and hyperbolic functions without complex Numbers:

sin(gdx)=tanhx\sin(\mathrm{gd}\,x) = \tanh x, cos(gdx)=sechx\cos(\mathrm{gd}\,x) = \mathrm{sech}\,x tan(gdx)=sinhx\tan(\mathrm{gd}\,x) = \sinh x.

ddxgd(x)=sechx\dfrac{d}{dx}\mathrm{gd}(x) = \mathrm{sech}\,x.

16.2 Hyperbolic functions and the Lorentz transformation

In special relativity, the Lorentz transformation uses hyperbolic functions. If β=v/c\beta = v/c and γ=(1β2)1/2=coshϕ\gamma = (1-\beta^2)^{-1/2} = \cosh\phi where tanhϕ=β\tanh\phi = \betaThen:

t=tcoshϕxsinhϕ/ct' = t\cosh\phi - x\sinh\phi/c, x=xcoshϕctsinhϕx' = x\cosh\phi - ct\sinh\phi.

16.3 Inverse hyperbolic functions in logarithmic form

| Function | Logarithmic Form | Domain | | -------------------------- | -------------------------------------------------------------- | -------------- | --- | ---- | | arsinhx\operatorname{arsinh}\,x | ln(x+x2+1)\ln(x+\sqrt{x^2+1}) | all real xx | | arcoshx\operatorname{arcosh}\,x | ln(x+x21)\ln(x+\sqrt{x^2-1}) | x1x \geq 1 | | artanhx\operatorname{artanh}\,x | 12ln ⁣(1+x1x)\dfrac{1}{2}\ln\!\left(\dfrac{1+x}{1-x}\right) | x<1 | x | < 1 | | arcothx\operatorname{arcoth}\,x | 12ln ⁣(x+1x1)\dfrac{1}{2}\ln\!\left(\dfrac{x+1}{x-1}\right) | x>1 | x | > 1 | | arsechx\operatorname{arsech}\,x | ln ⁣(LB1+1x2RB◆◆LBxRB)\ln\!\left(\dfrac◆LB◆1+\sqrt{1-x^2}◆RB◆◆LB◆x◆RB◆\right) | 0<x10 < x \leq 1 | | arcschx\operatorname{arcsch}\,x | ln ⁣(1x+LB1x2+1RB)\ln\!\left(\dfrac{1}{x}+\sqrt◆LB◆\dfrac{1}{x^2}+1◆RB◆\right) | x0x \neq 0 |

16.4 Hyperbolic functions and catenary applications

The catenary y=acosh(x/a)y = a\cosh(x/a) appears in:

  • Suspension bridges (cables hang in a catenary)
  • Arch shapes (the inverted catenary is the strongest arch)
  • Power lines between poles

17. Further Exam-Style Questions

Question 19

Solve the equation 2coshxsinhx=32\cosh x - \sinh x = 3.

Solution

2ex+ex2exex2=32\cdot\dfrac{e^x+e^{-x}}{2} - \dfrac{e^x-e^{-x}}{2} = 3.

ex+exex2+ex2=3e^x+e^{-x} - \dfrac{e^x}{2} + \dfrac{e^{-x}}{2} = 3.

ex2+3ex2=3    ex+3ex=6\dfrac{e^x}{2} + \dfrac{3e^{-x}}{2} = 3 \implies e^x + 3e^{-x} = 6.

e2x6ex+3=0e^{2x} - 6e^x + 3 = 0.

ex=LB6±3612RB◆◆LB2RB=3±6e^x = \dfrac◆LB◆6 \pm \sqrt{36-12}◆RB◆◆LB◆2◆RB◆ = 3 \pm \sqrt{6}.

x=ln(3+6)x = \ln(3+\sqrt{6}) or x=ln(36)x = \ln(3-\sqrt{6}).

Since 36>03-\sqrt{6} > 0Both are valid.

Question 20

Prove that arcoshx=ln(x+x21)\operatorname{arcosh}\,x = \ln(x+\sqrt{x^2-1}) for x1x \geq 1.

Solution

Let y=arcoshxy = \operatorname{arcosh}\,xSo x=coshy=ey+ey2x = \cosh y = \dfrac{e^y+e^{-y}}{2}.

2x=ey+ey    e2y2xey+1=02x = e^y + e^{-y} \implies e^{2y} - 2xe^y + 1 = 0.

ey=LB2x±4x24RB◆◆LB2RB=x±x21e^y = \dfrac◆LB◆2x \pm \sqrt{4x^2-4}◆RB◆◆LB◆2◆RB◆ = x \pm \sqrt{x^2-1}.

Since ey1e^y \geq 1 and x1x \geq 1: ey=x+x21e^y = x + \sqrt{x^2-1} (the positive root, since xx211x-\sqrt{x^2-1} \leq 1).

y=ln(x+x21)y = \ln(x+\sqrt{x^2-1}). \blacksquare


17. Further Advanced Topics

17.1 Hyperbolic substitutions in integration

Standard substitutions:

  • x2+a2\sqrt{x^2+a^2}: use x=acoshtx = a\cosh t
  • x2a2\sqrt{x^2-a^2}: use x=acoshtx = a\cosh t (for xax \geq a)
  • a2x2\sqrt{a^2-x^2}: use x=acostx = a\cos t (circular, not hyperbolic)

Example: LBdxRB◆◆LBx24RB\displaystyle\int \frac◆LB◆dx◆RB◆◆LB◆\sqrt{x^2-4}◆RB◆ with x=2coshtx = 2\cosh t:

dx=2sinhtdtdx = 2\sinh t\,dt, x24=2sinht\sqrt{x^2-4} = 2\sinh t.

LB2sinhtRB◆◆LB2sinhtRBdt=t=arcosh ⁣(x2)+C\displaystyle\int \frac◆LB◆2\sinh t◆RB◆◆LB◆2\sinh t◆RB◆\,dt = t = \operatorname{arcosh}\!\left(\frac{x}{2}\right) + C.

17.2 Gudermannian function

The Gudermannian function relates circular and hyperbolic functions without complex numbers:

gd(x)=0xsechtdt=2arctan(ex)LBπRB◆◆LB2RB\operatorname{gd}(x) = \int_0^x \operatorname{sech} t\,dt = 2\arctan(e^x) - \frac◆LB◆\pi◆RB◆◆LB◆2◆RB◆

Key identities:

  • sin(gdx)=tanhx\sin(\operatorname{gd}\,x) = \tanh x
  • cos(gdx)=sechx\cos(\operatorname{gd}\,x) = \operatorname{sech} x
  • tan(gdx)=sinhx\tan(\operatorname{gd}\,x) = \sinh x

17.3 Hyperbolic functions and catenary

The catenary curve y=acosh ⁣(xa)y = a\cosh\!\left(\dfrac{x}{a}\right) describes a hanging chain.

Arc length from the vertex: s=asinh ⁣(xa)s = a\sinh\!\left(\dfrac{x}{a}\right).


18. Further Exam-Style Questions

Question 16

Prove that arsinhx=ln(x+x2+1)\operatorname{arsinh}\,x = \ln(x+\sqrt{x^2+1}).

Solution

Let y=arsinhxy = \operatorname{arsinh}\,xSo x=sinhy=eyey2x = \sinh y = \dfrac{e^y-e^{-y}}{2}.

2x=eyey    e2y2xey1=02x = e^y - e^{-y} \implies e^{2y} - 2xe^y - 1 = 0.

ey=LB2x+4x2+4RB◆◆LB2RB=x+x2+1e^y = \dfrac◆LB◆2x + \sqrt{4x^2+4}◆RB◆◆LB◆2◆RB◆ = x + \sqrt{x^2+1} (positive root since ey>0e^y > 0).

y=ln(x+x2+1)y = \ln(x+\sqrt{x^2+1}). \blacksquare

Question 17

Use the substitution x=3sinhtx = 3\sinh t to evaluate 0arsinh(4/3)x2+9dx\displaystyle\int_0^{\operatorname{arsinh}(4/3)} \sqrt{x^2+9}\,dx.

Solution

dx=3coshtdtdx = 3\cosh t\,dt, x2+9=3cosht\sqrt{x^2+9} = 3\cosh t.

=0arsinh(4/3)9cosh2tdt=920arsinh(4/3)(1+cosh2t)dt= \displaystyle\int_0^{\operatorname{arsinh}(4/3)} 9\cosh^2 t\,dt = \frac{9}{2}\int_0^{\operatorname{arsinh}(4/3)} (1+\cosh 2t)\,dt

=92 ⁣[t+LBsinh2tRB◆◆LB2RB]0arsinh(4/3)= \frac{9}{2}\!\left[t + \frac◆LB◆\sinh 2t◆RB◆◆LB◆2◆RB◆\right]_0^{\operatorname{arsinh}(4/3)}.

At t=arsinh(4/3)t = \operatorname{arsinh}(4/3): sinht=4/3\sinh t = 4/3, cosht=5/3\cosh t = 5/3 sinh2t=24353=409\sinh 2t = 2\cdot\dfrac{4}{3}\cdot\dfrac{5}{3} = \dfrac{40}{9}.

=92 ⁣(arsinh ⁣43+209)=92arsinh ⁣43+10= \frac{9}{2}\!\left(\operatorname{arsinh}\!\frac{4}{3} + \frac{20}{9}\right) = \boxed{\frac{9}{2}\operatorname{arsinh}\!\frac{4}{3} + 10}.