Article 28
Addition-Theorems for Complexes.

The addition-theorems for cosh(u + v), etc., where u, v are complex numbers, may be derived as follows. First take u, v as real numbers, then, by Art. 11,

cosh(u + v) = coshucoshv + sinhusinhv;  hence 1 + 1 2!(u + v)2 + = 1 + 1 2!u2 + 1 + 1 2!v2 + + u + 1 3!u3 + v + 1 3!v3 +

This equation is true when u, v are any real numbers. It must, then, be an algebraic identity. For, compare the terms of the rth degree in the letters u,v on each side. Those on the left are 1 r!(u + v)r; and those on the right, when collected, form an rth-degree function which is numerically equal to the former for more than r values of u when v is constant, and for more than r values of v when u is constant. Hence the terms of the rth degree on each side are algebraically identical functions of u and v.9 Similarly for the terms of any other degree. Thus the equation above written is an algebraic identity, and is true for all values of u, v, whether real or complex. Then writing for each side its symbol, it follows that

cosh(u + v) = coshucoshv + sinhusinhv;  (53)  and by changing v into  v, cosh(u v) = coshucoshv sinhusinhv.  (54)

In a similar manner is found

sinh(u ± v) = sinhucoshv ± coshusinhv. (55)

In particular, for a complex argument,

cosh(x ± iy) = coshxcoshiy ± sinhxsinhiy, sinh(x ± iy) = sinhxcoshiy ± coshxsinhiy. (56)
Prob. 79.
Show, by a similar process of generalization,10 that if sin u, cos u, exp u11 be defined by their developments in powers of u, then, whatever u may be,

sin(u + v) = sin ucos v + cos usin v, cos(u + v) = cos ucos v sin usin v, exp(u + v) = exp uexp v.
Prob. 80.
Prove that the following are identities:

cosh 2u sinh 2u = 1, cosh u + sinh u = exp u, cosh u sinh u = exp(u), cosh u = 1 2[exp u + exp(u)], sinh u = 1 2[exp u exp(u)].