Aubrey, as the starting point for the proof you need to substitue the x for "s + t," that is,
cosh x = cosh (s + t).
Note: This equivalence will be important during the last steps of this demonstration.
For the next step, it's preponderant to remember the identity for cosh (s + t):
cosh (s + t) = cosh s cosh t + senh s senh t
(Please, don't confuse the identity of cosh (s + t) with the identity of cos (s + t) in which the latter deals with subtraction instead of addition.)
Using the equivalences involving the expression with the constant e for both sinh and cosh, make the adequate substitutions for the above identity:
cosh (s + t) = cosh s cosh t + senh s senh t
= [½(es + e-s)][½(et + e-t)] + [½(es - e-s)][½(et - e-t)]
Multiply ½ times every term in each parenthesis using the distributive property:
= (½es + ½e-s)(½et + ½e-t) + (½es - ½e-s)(½et - ½e-t)
Use FOIL:
= (¼es+t + ¼es-t + ¼e-s+t + ¼e-s-t) + (¼es+t - ¼es-t - ¼e-s+t + ¼e-s-t)
Since we're dealing with addition the parentheses symbols can be ignored. Remember: when multiplying terms with the same bases, the exponents are added. This is the result after dealing with all the like terms in the above expression:
= ½es+t + ½e-s-t
Next, factor the exponent in the second term using -1 as the common factor:
= ½es+t + ½e-(s+t)
Earlier, I recalled the importance of the equivalence x = s + t. Now it's time to rewrite the above expression using the original variable:
= ½ex + ½e-x
Voilà! We're arrived at the solution to this proof. By the way, if you want to prove the addition form for sinh, it can be done in a similar way. Hope that this proof can be helpful to you.
Walter B.
Diregard Please, I have completed the proof, I will post laster, I apologize, but this is messy.09/14/12