tanh

Mathlib.Analysis.Complex.Trigonometric

URI: https://scilib.ai/kg/mathlib#Complex.tanh

English

The complex hyperbolic tangent is defined by tanh z = sinh z / cosh z.

Русский

Комплексная гиперболическая тангенс определяется как tanh z = sinh z / cosh z.

LaTeX

$$$$ \tanh z = \frac{\sinh z}{\cosh z} $$$$

Lean4

/-- The complex hyperbolic tangent function, defined as `sinh z / cosh z` -/
@[pp_nodot]
def tanh (z : ℂ) : ℂ :=
  sinh z / cosh z

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru