Perfect — Mathlib

English

A natural number n is perfect if the sum of its proper divisors equals n and n is positive.

Русский

Число n называется совершенным, если сумма его собственных делителей равна n и n положительно.

LaTeX

$$∑_{i ∈ properDivisors(n)} i = n ∧ 0 < n$$

Lean4

/-- `n : ℕ` is perfect if and only the sum of the proper divisors of `n` is `n` and `n`
  is positive. -/
def Perfect (n : ℕ) : Prop :=
  ∑ i ∈ properDivisors n, i = n ∧ 0 < n

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