Hyperbolic functions form the backbone of advanced calculus, differential equations, and special relativity, providing a bridge between algebraic manipulation and geometric interpretation on a hyperbola. While the sine and cosine functions describe circular motion, their hyperbolic counterparts, sinh and cosh, describe the behavior of a hanging cable, the shape of a hanging chain, and the underlying geometry of spacetime. Understanding the identities that connect these functions is essential for unlocking their power in both theoretical and applied mathematics.
The Foundational Definitions
Before diving into the identities, it is crucial to anchor the discussion in the exponential definitions that give hyperbolic functions their mathematical life. These definitions emerge directly from the equation of a unit hyperbola, $x^2 - y^2 = 1$, mirroring how circular trigonometric functions relate to the unit circle $x^2 + y^2 = 1$. By parameterizing the hyperbola using the area swept by a ray from the origin, mathematicians arrived at expressions involving the natural base $e$. This derivation reveals that these functions are not arbitrary inventions but natural consequences of combining geometry with the properties of exponentiation.
The Exponential Core
The function cosh, or hyperbolic cosine, is defined as the average of the exponential function $e^x$ and its reciprocal $e^{-x}$. This averaging process inherently creates the characteristic "U" shape of the graph, ensuring that the output is always greater than or equal to one. Conversely, sinh, or hyperbolic sine, is defined as half the difference between the same two exponentials. This subtraction results in an odd function, meaning it is symmetric with respect to the origin, producing the familiar "S" curve that passes through the origin. These definitions are the bedrock upon which all subsequent identities are built.
Fundamental Algebraic Identities
The most immediate relationship between the two core functions is derived directly from their exponential definitions. By squaring both sinh and cosh and subtracting the result, the cross terms involving $e^{2x}$ and $e^{-2x}$ cancel out perfectly, leaving a difference of exactly one. This yields the fundamental Pythagorean-like identity, $\cosh^2(x) - \sinh^2(x) = 1$. This equation is the hyperbolic analog of the trigonometric identity $\sin^2(x) + \cos^2(x) = 1$, and it is indispensable for solving integrals and differential equations involving hyperbolic terms.
Sum and Difference Formulas
To manipulate expressions involving sums of angles, the sum and difference formulas are indispensable. These identities mirror their trigonometric counterparts but with a critical sign change that reflects the hyperbolic nature of the functions. For instance, the formula for the hyperbolic cosine of a sum, $\cosh(x + y) = \cosh(x)\cosh(y) + \sinh(x)\sinh(y)$, retains a positive product of the sinh terms. In contrast, the formula for the hyperbolic sine of a sum, $\sinh(x + y) = \sinh(x)\cosh(y) + \cosh(x)\sinh(y)$, aligns structurally with the trigonometric version. These formulas are essential for breaking down complex arguments or proving more advanced theorems.
Double-Angle and Power-Reduction
Building upon the sum formulas, the double-angle identities provide a way to express functions of $2x$ in terms of functions of $x$. For hyperbolic cosine, there are three equivalent forms, which offer flexibility depending on whether one needs $\cosh^2(x)$ or $\sinh^2(x)$. Specifically, $\cosh(2x) = \cosh^2(x) + \sinh^2(x)$ simplifies further to $2\cosh^2(x) - 1$ or $1 + 2\sinh^2(x)$. These variations are particularly useful in integration, where reducing the power of a function is often the first step toward finding an antiderivative.
