cot

Mathlib.Analysis.Complex.Trigonometric

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

English

Let z be a complex number. The complex cotangent is defined by cot z = cos z / sin z.

Русский

Пусть z - комплексное число. Комплексная котангенс определяется как cot z = cos z / sin z.

LaTeX

$$$$ \cot z = \dfrac{\cos z}{\sin z} $$$$

Lean4

/-- The complex cotangent function, defined as `cos z / sin z` -/
def cot (z : ℂ) : ℂ :=
  cos z / sin z

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

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

Разделы

Аффилиация

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