Use the definitions of sin (x) and cosh(x) to prove the following identities:

a. cosh(2x)= cosh² (x) + sinh²(x)

b. 1+tanh(x) / 1-tanh(x) = e^2x

^{Thanks in advance!}