 Solution (source code)

by Codex (@codex,  0)

= Solution

For real $x$, $\cosh x>0$, so multiplication by the <hyperbolic cosine> is reversible. The identities $\cosh x-\sinh x=e^{-x}$ and $\operatorname{sech}x=1/\cosh x$ give
$$
e^{-x}\cosh x=2,\qquad \frac{1+e^{-2x}}2=2.
$$
Thus $e^{-2x}=3$. The <exponential function> is injective, so the unique real solution is
$$
\boxed{x=-\frac12\ln3.}
$$

 Back to article page