## Motivating examples

The addition theorem for cosine says that

and the addition theorem for hyperbolic cosine is analogous, though with a sign change.

An addition theorem is a theorem that relates a function’s value at *x* + *y* to its values at *x* and at *y*. The squaring function satisfies a very simple addition theorem

and the Jacobi function sn satisfies a more complicated addition theorem.

## Defining an algebraic addition theorem

Which functions have addition theorems? Before we can answer this question we need to be more precise about what an addition theorem is. We’ve said that an addition theorem for φ relates φ(*x* + *y*) to φ(*x*) and φ(*y*). But what exactly do we mean by “relate”? What counts as a relation?

Also, the examples above don’t exactly satisfy this definition. The addition law for cosines, for example, relates cos(*x* + *y*) to the values of cos(*x*) and cos(*y*) but also to sin(*x*) and sin(*y*). Somehow that feels OK because sine and cosine are related. But here again we’re talking about things being related without saying exactly what we mean.

Weierstrass (1815–1897) made the idea of an addition theorem precise and classified functions having addition theorems. A function satisfies an algebraic addition theorem if there is a polynomial *F* in three variables such that

For example, if φ(*x*) = *x*² then

and so we could take *F* to be

Similarly, if φ(*x*) = cos *x* then

and so we could take *F* to be

## Classifying functions with algebraic addition theorems

Now for **Weierstrass’ theorem**. A merimorphic function φ(*z*) has an algebraic addition theorem if and only if it is an elliptic function of *z*, a rational function of *z*, or a rational function of exp(λ*z*).

A merimorphic function is one that is analytic everywhere except at isolated singularities. To put it another way, we assume φ has a convergent power series everywhere in the complex plane except at isolated points.

The examples above illustrate all three cases of Weierstrass’ theorem. The function sn(*z*) is elliptic, the function *z*² is rational, and the functions cos(*z*) and cosh(*z*) are rational functions of exp(*iz*).

## Other kinds of addition theorems

Algebraic addition theorems are not the only kind of addition theorems. For example, Bessel functions satisfy a different kind of addition theorem:

This theorem relates the value of a Bessel function at *x* + *y* to the values of other Bessel functions at *x* and at *y*, but it is not an algebraic addition theorem because the right hand side is an infinite sum and because the Bessel functions are not algebraically related to each other.

I have a related conjecture: If a complex function f(z) is a solution to a [Homogeneous Linear Differential Equation Of Constant Coefficients], then f(z) has what you call an addition theorem. I have proved it for infinitely many specific cases, but in the general case, my best guess is that the proof has something to do with separation of variables.

My specific conjecture:

https://github.com/Nazgand/NazgandMathBook/blob/master/ArgumentSumRulesFromHomogeneousLinearDifferentialEquationsOfConstantCoefficientsConjecture.pdf

For any addition theorem, you f(a+b)=[some function of a and b].

If you replace b=c-a where c is a constant, then you get an invariant related to the function, f(c)=[some function of a].

Invariants are interesting, and a way to think of it is that we can allow a to vary in any way, but the function of a never varies.