結果 : trigonometric identities of hyperbolic functions