(1)
cosh2x−sinh2x=(2ex+e−x)2−(2ex−e−x)2=4e2x+2+e−2x−e2x+2−e−2x=1
(2)
(sinhx)′=(2ex−e−x)′=21(ex+e−x)=coshx
(3)
(coshx)′=(2ex+e−x)′=21(ex−e−x)=sinhx
(4)
(tanhx)′=(coshxsinhx)′=(ex+e−xex−e−x)′=(ex+e−x)2(ex+e−x)(ex+e−x)−(ex−e−x)(ex−e−x)
=(ex+e−x)2e2x+2+e−2x−e2x+2−e−2x=(2ex+e−x)21=cosh2x1