1
$\begingroup$

Prove that the area bounded by the curve $y=\tanh x$ and the straight line $y=1$, between $x=0$ and $x=\infty$ is $\ln 2$

$\int^\infty _0 (1-\tanh x) \mathrm{dx}= \biggr[x-\ln (\cosh x)\biggr]^\infty_0\\\infty - \ln(\cosh \infty)+1$

How do I get $\ln 2$ because the line and curve intersect at infinity?

$\endgroup$
1
  • 1
    $\begingroup$ Maybe you should try to simplify $\ln(\cosh x)$ and consider integrals from $0$ to $N$. Avoid writing the symbol $\infty$. $\endgroup$ Aug 12, 2019 at 22:44

2 Answers 2

4
$\begingroup$

You need to evaluate the limit $$\lim_{x\rightarrow \infty} (x - \ln(\cosh(x)))$$

Note that $$e^{\ln(\cosh(x)) -x} = e^{-x} \cosh(x) = \frac{1}{2}(1 + e^{-2x})\rightarrow \frac{1}{2}$$

Therefore $$\lim_{x\rightarrow \infty} (x - \ln(\cosh(x))) = -\ln(1/2) = \ln(2)$$

Hence $$\int_0^\infty (1-\tanh(x))dx = \lim_{y\rightarrow \infty} [x - \ln(\cosh(x))]_{x=0}^{x=y} = \ln(2) $$

$\endgroup$
1
$\begingroup$

Well, when you get the antiderivative, you can put in the limits and get

$ \begin{array}{l} \lim\limits _{x\rightarrow \infty }[ x-ln( cosh( x))] =\lim\limits _{x\rightarrow \infty }\left[\frac{( x+ln( cosh( x)))( x-ln( cosh( x)))}{( x+ln( cosh( x)))}\right] =\lim\limits _{x\rightarrow \infty }\left[\frac{x^{2} -ln^{2}( cosh( x))}{x+ln( cosh( x))}\right]\\ =\lim\limits _{x\rightarrow \infty }\left[\frac{x^{2}}{x+ln( cosh( x))} -\frac{ln^{2}( cosh( x))}{x+ln( cosh( x))}\right] =\lim\limits _{x\rightarrow \infty }\left[\frac{2x}{1+tanh( x)} -\frac{2tanh( x) ln( cosh( x))}{1+tanh( x)}\right]\\ \\ \lim\limits _{x\rightarrow \infty }[ x-ln( cosh( x))] =\lim\limits _{x\rightarrow \infty }\left[ 2\frac{x-tanh( x) ln( cosh( x))}{1+tanh( x)}\right]\\ This\ means\ it\ equals\ itself,\ because\ tanh( \infty ) =1 \end{array}$

After that, I was stuck... But maybe this will help you; or someone else to answer your problem.

But I do know that

\lim\limits _{x\rightarrow \infty }[ x-ln( cosh( x))] =ln( 2)

I just don't know how.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .