jacobiTheta_two_add

Mathlib.NumberTheory.ModularForms.JacobiTheta.OneVariable

URI: https://scilib.ai/kg/mathlib#jacobiTheta_two_add

← MathLib Explorer

English

Adding 2 to the argument leaves Jacobi’s theta unchanged: θ(τ + 2) = θ(τ).

Русский

Прибавление 2 к аргументу не меняет θ: θ(τ+2) = θ(τ).

LaTeX

$$$\operatorname{jacobiTheta}(\tau + 2) = \operatorname{jacobiTheta}(\tau).$$$

Lean4

theorem jacobiTheta_two_add (τ : ℂ) : jacobiTheta (2 + τ) = jacobiTheta τ := by
  simp_rw [jacobiTheta_eq_jacobiTheta₂, add_comm, jacobiTheta₂_add_right]

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

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

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

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