sigma_apply

Mathlib.NumberTheory.ArithmeticFunction

URI: https://scilib.ai/kg/mathlib#ArithmeticFunction.sigma_apply

English

For all k and n, σ_k(n) is the sum over divisors of n of d^k.

Русский

Для всех k и n верно: σ_k(n) = сумма по делителям n: d^k.

LaTeX

$$$ \sigma_k(n) = \sum_{d \mid n} d^k $$$

Lean4

theorem sigma_apply {k n : ℕ} : σ k n = ∑ d ∈ divisors n, d ^ k :=
  rfl

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

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

Разделы

Аффилиация

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