riemannZeta_neg_two_mul_nat_add_one

English

The trivial zeros occur at negative even integers: ζ(−2(n+1)) = 0 for all n ∈ ℕ.

Русский

Тривиальные нули дзета Римана находятся в отрицательных чётных целых: ζ(−2(n+1)) = 0, для всех n ∈ ℕ.

LaTeX

$$$\\\\riemannZeta(-2(n+1)) = 0 \\\\quad (n \\in \\mathbb{N})$$$

Lean4

/-- The trivial zeroes of the zeta function. -/
theorem riemannZeta_neg_two_mul_nat_add_one (n : ℕ) : riemannZeta (-2 * (n + 1)) = 0 :=
  hurwitzZetaEven_neg_two_mul_nat_add_one 0 n

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