Hyperbolic Trigonometry

In the landscape of mathematics, few discoveries are as elegant as those that reveal a hidden unity between seemingly disparate concepts. Hyperbolic trigonometry offers one such revelation, introducing the hyperbolic functions, sinh and cosh, as the long-lost siblings of the familiar circular functions, sin and cos. While sine and cosine describe motion on a circle, a natural question arises: what functions describe motion on a hyperbola, and what is their relationship to the trigonometry we already know? This article addresses this gap, revealing that these two families of functions are merely two faces of the same underlying mathematical structure, connected by the magic of complex numbers.

The journey begins in the "Principles and Mechanisms" chapter, where we will define the hyperbolic functions through their connection to the hyperbola and the exponential function. We will uncover their secret identity, showing how they are inextricably linked to sine and cosine through Euler's formula and the imaginary unit i. Following this, the "Applications and Interdisciplinary Connections" chapter will showcase the remarkable utility of these functions. We will see how they form the bedrock of non-Euclidean geometry, appear in the differential equations that govern the physical world, and provide powerful tools for solving complex problems across engineering and mathematical analysis.

In science, we often find that ideas we thought were separate are, in fact, deeply connected. The story of hyperbolic functions is a beautiful example of this unity, a tale that begins with simple geometry and takes us on an unexpected journey into the wonderland of complex numbers. It’s a story about seeing old friends—sine and cosine—in a new light and discovering their long-lost siblings.

You’ve known the trigonometric functions, sine and cosine, for a long time. You know they are the heart of describing anything that oscillates or rotates. We can think of them as the ​​circular functions​​ because for any angle $t$, the point $(\cos(t), \sin(t))$ traces out a perfect circle. This is a direct consequence of the famous identity that every student learns:

This is the equation of a circle with radius 1. Now, let’s look at another curve, a close relative of the circle: the hyperbola. Its simplest form is given by a very similar equation, with just one tiny, crucial change—a minus sign.

This small change transforms the bounded, closed circle into an open, sweeping curve with two distinct branches. A natural question then arises: if sine and cosine parameterize the circle, are there analogous functions that parameterize the hyperbola? Could we find a pair of functions, let's call them the ​​hyperbolic cosine​​ ($\cosh$) and ​​hyperbolic sine​​ ($\sinh$), such that $x(t) = \cosh(t)$ and $y(t) = \sinh(t)$? If so, they would have to satisfy their own fundamental identity:

It turns out such functions exist, and they are not just mathematical curiosities. They describe real-world phenomena. Imagine a subatomic particle whose trajectory follows a hyperbola. Its path can be perfectly described using these new functions. For a hyperbola with its closest point to the origin at $(a, 0)$ and asymptotes with slope $\pm \frac{b}{a}$, the particle's motion can be parameterized as $x(t) = a \cosh(t)$ and $y(t) = b \sinh(t)$. Just as $\cos(t)$ and $\sin(t)$ generate a circle, $\cosh(t)$ and $\sinh(t)$ generate a hyperbola. This is where they get their name.

So what are these mysterious functions? Are they just defined to fit a curve? The answer is far more profound. They are built from one of the most fundamental functions in all of mathematics: the exponential function.

At first glance, these definitions might seem arbitrary. But with a little algebra, you can see for yourself that if you square them and subtract, the identity $\cosh^{2}(z) - \sinh^{2}(z) = 1$ pops out beautifully. This is no accident.

But the real magic happens when we remember what we know about sine and cosine. Thanks to Euler’s magnificent formula, $\exp(i\theta) = \cos(\theta) + i \sin(\theta)$, we know that the circular functions are also intimately related to the exponential function. In fact, we can write them in a strikingly similar way:

Look at these definitions side-by-side! The hyperbolic functions are not a new family at all. They are what you get if you take the definitions for sine and cosine and simply remove the imaginary unit, $i$. Or, to put it another way, the trigonometric functions are just hyperbolic functions evaluated at an imaginary argument.

This connection is not just a curious coincidence; it's a Rosetta Stone that allows us to translate between the world of trigonometry and the world of hyperbolics. The key relationships, which can be derived directly from the exponential definitions, are:

These two simple-looking equations are incredibly powerful. They reveal a deep unity in mathematics. They tell us that any identity involving trigonometric functions has a corresponding identity for hyperbolic functions. This principle, sometimes known as ​​Osborne's Rule​​, feels almost like a magic trick.

For example, take the familiar double-angle formula, $\sin(2w) = 2\sin(w)\cos(w)$. What happens if we make the substitution $w = iz$? The left side becomes $\sin(2iz)$. Using our translation rule, this is $i\sinh(2z)$. The right side becomes $2\sin(iz)\cos(iz)$, which translates to $2(i\sinh(z))(\cosh(z))$. So we have:

Canceling the $i$ on both sides, we are left with the hyperbolic double-angle formula: $\sinh(2z) = 2\sinh(z)\cosh(z)$. We derived it without breaking a sweat, simply by translating its trigonometric cousin! This works for all sorts of identities. The famous $\cos^{2}(w) + \sin^{2}(w) = 1$ transforms into $\cosh^{2}(z) - \sinh^{2}(z) = 1$ using the same substitution. The two worlds are one.

This deep link allows for remarkable simplifications in problems that seem terribly complex at first glance. An engineer might be faced with a horribly complicated expression involving a mix of trig and hyperbolic functions, only to find that applying these translation rules causes the entire structure to collapse into a simple constant.

Once we accept that trigonometric and hyperbolic functions are just different facets of the same underlying exponential reality, we can explore how they behave in the full expanse of the complex plane, $z=x+iy$. The results are often surprising and beautiful.

Using the angle-addition formulas, we can decompose a complex sine function into its real and imaginary parts. The result is a stunning blend of the two worlds:

Think about what this means. Along the real axis ($y=0$), where $\cosh(0)=1$ and $\sinh(0)=0$, the formula reduces to $\sin(x)$. No surprise there. But as we move off the real axis into the imaginary direction, the function’s behavior changes dramatically. The real part, $\sin(x)\cosh(y)$, is an oscillation from $\sin(x)$ whose amplitude, $\cosh(y)$, grows exponentially! Similarly, for a complex cosine, we can find that the square of its magnitude is given by:

This formula shatters one of our most basic intuitions. In the real world, the cosine function is always meekly bounded between $-1$ and $1$. But in the complex plane, because $\sinh^{2}(y)$ can grow without limit, the complex cosine function is ​​unbounded​​! It can become as large as you want. Stepping into the imaginary dimension has unleashed it from its cage.

This pattern of blending trigonometric and hyperbolic parts is universal. If we decompose $\cosh(2z)$ or $\tan(z)$, we find similar elegant structures where real and imaginary parts are expressed as combinations of real trigonometric and real hyperbolic functions of $x$ and $y$.

To end our journey, consider a final puzzle. We know that $\cos(z)$ is periodic with period $2\pi$. That is, $\cos(z+2\pi k) = \cos(z)$ for any integer $k$. It turns out that $\cosh(z)$ is also periodic. Using its connection to cosine, $\cosh(z) = \cos(iz)$, we can find its periods are $2\pi i k$—purely imaginary numbers.

So, if you add two periodic functions together, is the result periodic? Let's consider the function $f(z) = \cos(z) + \cosh(z)$. Our intuition screams "yes!" But our intuition is wrong.

For $f(z)$ to be periodic with period $p$, $p$ must be a period for both $\cos(z)$ and $\cosh(z)$ simultaneously. This means $p$ must be in the set $\{ \dots, -4\pi, -2\pi, 0, 2\pi, 4\pi, \dots \}$ and also in the set $\{ \dots, -4\pi i, -2\pi i, 0, 2\pi i, 4\pi i, \dots \}$. A moment's thought reveals that the only number these two sets have in common is $0$. Since a period must be non-zero, there is no common period. The function $f(z)$ is not periodic at all!

This beautiful result teaches us a final, crucial lesson. The complex plane is a true plane. The real direction and the imaginary direction are fundamentally different. The periodicity of $\cos(z)$ lives on the real axis, while the periodicity of $\cosh(z)$ lives on the imaginary axis. By adding them, we've created a function that repeats itself in neither direction. It is a testament to the rich, often counter-intuitive structure that emerges when we see familiar ideas through the lens of complex numbers, revealing a deeper and more unified mathematical landscape than we ever imagined.

Now that we have become acquainted with the hyperbolic functions—their definitions, their identities, and their intimate relationship with the complex exponential—one might be tempted to ask, "What are they good for?" Are they merely a clever algebraic contrivance, a set of functions that mirror their trigonometric cousins but with a few minus signs sprinkled about? The answer, you will be delighted to find, is a resounding no. The hyperbolic functions are not just a mathematical curiosity; they are woven into the very fabric of our physical and mathematical universe. They appear, unexpectedly and beautifully, in fields as diverse as geometry, physics, engineering, and the deepest corners of mathematical analysis. Embarking on a tour of these applications is like discovering that a key you thought opened only one door in fact unlocks a whole palace.

Perhaps the most intuitive and profound application of hyperbolic functions is in describing the geometry of space itself. We are all familiar with Euclidean geometry—the flat world of desktops and city grids where parallel lines never meet and the angles of a triangle sum to $\pi$ radians. Its language is that of lines, circles, and, of course, the trigonometric functions $\sin$ and $\cos$, which describe relationships on a circle.

But what if space is not flat? Consider the surface of a sphere. It has constant positive curvature. On a sphere, the shortest path between two points is a great circle, "parallel" lines of longitude always meet at the poles, and the angles of a triangle sum to more than $\pi$. The natural language of this spherical geometry is, as you might guess, trigonometry.

Now, what about a space with constant negative curvature? Imagine a surface that curves away from itself at every point, like a saddle or a Pringles chip, extending infinitely in all directions. This is the world of hyperbolic geometry. In this strange and wonderful space, parallel lines diverge, and the angles of any triangle sum to less than $\pi$. And what is the natural language for describing distances and angles in this world? It is hyperbolic trigonometry. The functions $\sinh$ and $\cosh$ play the exact same role in hyperbolic space that $\sin$ and $\cos$ play in spherical or Euclidean space. For instance, the familiar law of sines for a flat triangle, $\frac{a}{\sin \alpha} = \frac{b}{\sin \beta}$, becomes the hyperbolic law of sines, $\frac{\sinh a}{\sin \alpha} = \frac{\sinh b}{\sin \beta}$. Using this very rule, one can prove that an isosceles triangle in the hyperbolic plane (with two equal side lengths) must also have two equal base angles, a familiar result in a very unfamiliar setting.

This profound connection is beautifully encapsulated in advanced differential geometry. When studying the geometry of curved manifolds, mathematicians use a model function, let's call it $s_k(r)$, to describe the circumference of a small circle of radius $r$ in a space of constant curvature $k$. A remarkable unification occurs:

• For positive curvature $k > 0$ (like a sphere), $s_k(r)$ is proportional to $\sin(\sqrt{k}r)$.
• For zero curvature $k = 0$ (flat space), $s_k(r)$ is proportional to $r$.
• For negative curvature $k < 0$ (hyperbolic space), $s_k(r)$ is proportional to $\sinh(\sqrt{-k}r)$.

Trigonometric, linear, and hyperbolic functions are not three separate ideas; they are three faces of a single concept, describing the intrinsic geometry of space itself.

Beyond the abstract realm of geometry, hyperbolic functions appear with startling regularity in the differential equations that govern the physical world. Whenever a system's behavior involves both oscillation and exponential growth or decay, you are likely to find trigonometric and hyperbolic functions working side-by-side.

A classic example comes from mechanical engineering: the vibration of a uniform elastic beam. When you analyze the forces on such a beam, you arrive at a deceptively simple equation for its shape: $\frac{d^4 y}{dx^4} - k^4 y = 0$. What does the solution look like? It is not one or the other, but a beautiful superposition of both types of functions: $y(x) = C_1 \cos(kx) + C_2 \sin(kx) + C_3 \cosh(kx) + C_4 \sinh(kx)$. The trigonometric parts describe the wavy, oscillating modes of vibration, while the hyperbolic parts describe the non-oscillatory bending modes, which grow or decay exponentially from a point. Nature, in its elegance, requires both vocabularies to describe the beam's motion.

This partnership extends to many areas of engineering and physics, especially in signal processing and the analysis of linear systems. Tools like the Laplace transform are used to convert complicated differential equations into simpler algebraic ones. When transforming functions that are products of trigonometric and hyperbolic terms, such as $f(t) = C_1 \cosh(\alpha t)\cos(\alpha t) + C_2 \sinh(\alpha t)\sin(\alpha t)$, the deep connection between these functions in the complex plane allows for elegant simplifications, turning a messy problem into a tidy rational function in the transformed domain.

We've seen hints of a deep connection, a "secret identity" shared between trigonometric and hyperbolic functions. The grand stage where this secret is revealed in its full glory is the complex plane. As we learned in the previous chapter, Euler's formula connects the exponential function to trigonometry via $e^{ix} = \cos(x) + i\sin(x)$. By extending this to hyperbolic functions, we found the master keys:

In the world of complex numbers, trigonometric and hyperbolic functions are not just analogous; they are, in a sense, the same function viewed from different perspectives—a rotation by $i$ in the complex plane transforms one into the other.

This isn't just a pretty mathematical fact; it's an engine of discovery. We can solve equations that mix the two, like finding the complex numbers $z$ where $\sin(z) = i \sinh(z)$, by simply rewriting it as $\sin(z) = \sin(iz)$ and using what we know about the sine function. We can extend our familiar inverse functions into the complex domain, finding a unique complex number $z$ that satisfies an equation like $\operatorname{Arccot}(z) = \frac{\pi}{4} + i\ln(2)$ by leveraging the relationships between trigonometric functions of complex arguments and hyperbolic functions of their real and imaginary parts.

This unity gives us tremendous power. For instance, the structure of an entire function (a function analytic everywhere in the complex plane) can be described by its zeros. The sine function has a famous "infinite product" representation based on its zeros at $n\pi$. By simply taking the formula for $\sin(z)$ and replacing $z$ with $iz$, we can, with almost no effort, derive the corresponding infinite product representation for $\sinh(z)$. It feels like magic—a result from one field is gifted to another, with the complex plane acting as the conduit. This interconnectedness also dictates practical properties, like the radius of convergence of a power series. The region where a series for a function like $f(z) = \frac{z^2}{\cosh(z) - \cos(z)}$ converges is limited by the nearest singularity, which occurs where the denominator is zero. Finding these points requires solving $\cosh(z) = \cos(z)$, a task that elegantly marries the two functions in the complex plane.

Furthermore, this complex relationship provides a powerful tool for solving seemingly impossible problems in the real world. Consider an integral filled with a nightmarish combination of trigonometric and hyperbolic functions. Such integrals arise in various physical models, and attacking them directly can be a Sisyphean task. Yet, by recasting the problem on the unit circle in the complex plane, the integrand often simplifies into a known analytic function, and a powerful result like Cauchy's Integral Formula can dispatch the entire problem in a few elegant steps. Similarly, path integrals representing physical quantities, like the change in a wave's complex amplitude, become trivial to calculate when the function involved, such as $f(z) = \sinh(z)\cosh(z)$, is understood to have a simple antiderivative in the complex plane.

The utility of these functions does not stop with numbers, real or complex. In fields like linear algebra, quantum mechanics, and control theory, one often needs to apply a function not to a number, but to a matrix or an operator. What could $\tanh(A)$ possibly mean when $A$ is a $4 \times 4$ matrix? The theory of spectral decomposition gives us a clear answer: we apply the function to each of the matrix's eigenvalues. This procedure is not just a mathematical game; it is essential for solving systems of linear differential equations and for describing the time evolution of quantum systems. Calculating such a quantity often involves finding complex eigenvalues and applying the hyperbolic function to them, once again relying on the properties of these functions in the complex plane to find a final, concrete answer.

From the shape of the universe to the vibration of a guitar string, from the analysis of electrical signals to the heart of quantum mechanics, hyperbolic functions are there. They are a testament to the profound and often surprising unity of mathematics. What began as a formal analogy to trigonometry has revealed itself to be an essential part of nature's mathematical language, a language that speaks of curvature, growth, and oscillation, all at once.