結果 : identities of hyperbolic trigonometric functions