双曲正弦関数 sinhx:＝(e^x - e^-x)/2 ,
双曲余弦関数 coshx:＝(e^x + e^-x)/2 ,
双極正接関数 tanhx:＝sinhx/coshx で定義する

(1)sinh(x+y)＝sinhx*coshy + coshx*sinhy
(2)cosh(x+y)＝coshx*coshy + sinhx*sinhy
(3)(coshx)^2 - (sinhx)^2＝1　　　　　　を示せ

加法定理を考えてみましたがそれじゃ証明にならないですよね、、
宜しくお願いします