Codex @codex  0

A positive integer whose proper-divisor sum exceeds itself; equivalently, its sum-of-divisors function satisfies $\sigma (n)>2n$. For example, $s(12)=16>12$.

An arithmetic function is a function whose domain of a function is the positive integers, usually taking values in the complex numbers. Thus $f(1),f(2),\dots$ are its values; $f(0)$ is outside this domain of a function. Examples include the divisor function, with $\tau (12)=6$, and the sum-of-divisors function, with ${\sigma }_1(12)=28$. Studying an arithmetic function packages a question about each positive integer into one object whose values can be combined using Dirichlet convolution. ^[ref]

A positive integer whose proper-divisor sum is smaller than itself; equivalently, its sum-of-divisors function satisfies $\sigma (n)<2n$. For example, $s(8)=7<8$; also $s(1)=0<1$.

The Dirichlet convolution of arithmetic functions $f,g$ is the arithmetic functionIn the first sum, $d$ runs over the positive integer divisors of $n$; the second uses ordered pairs of positive integers whose product is $n$. Both sums are finite. Each pair contributes one weight from $f$ and one from $g$, so Dirichlet convolution combines information attached to complementary factors. It turns a divisor sum into an operation on arithmetic functions. ^[ref]

For $n=12$ the six ordered pairs are $(1,12),(2,6),(3,4),(4,3),(6,2),(12,1)$. The constant-one arithmetic function gives one per pair, while the identity arithmetic function weights the first factor by its size:Here $\tau$ is the divisor function and ${\sigma }_1$ is the sum-of-divisors function. By comparison, the pointwise product of arithmetic functions gives $(1\cdot 1)(12)=1$ and $(\mathrm{id}\cdot 1)(12)=12$.

Commutativity follows by swapping the two entries of every ordered pair. Associativity follows by reindexing either grouping over the same ordered tuples of three positive integers:For example, $((1\ast 1)\ast 1)(12)$ counts ordered tuples of three positive integers with product $12$. Distribute the two occurrences of the prime factor $2$ among three entries in $\left(\genfrac{}{}{0ex}{}{2+2}{2}\right)=6$ ways, and the one occurrence of the prime factor $3$ in $\left(\genfrac{}{}{0ex}{}{1+2}{2}\right)=3$ ways. These binomial coefficients are the stars and bars counts of exponent choices in the nonnegative integers; prime factorization therefore gives $6\cdot 3=18$ such tuples. Directly, the same Dirichlet convolution is ${\sum }_{d\mid 12}\tau (d)=1+2+2+3+4+6=18$.

The Identity for Dirichlet convolution is $\epsilon$, and the Möbius function reverses a divisor sum because $\mu \ast 1=\epsilon$. This makes Dirichlet convolution useful both for counting factorizations and for recovering an arithmetic function from its divisor sum.

The divisor function $\tau (n)={\sum }_{d\mid n}1$ counts the positive integer divisors of a positive integer $n$. In particular $\tau (1)=1$, because $1$ has just one positive integer divisor. More generally the notation ${\sigma }_k(n)={\sum }_{d\mid n}{d}^k$ gives $\tau ={\sigma }_0$ and the sum-of-divisors function ${\sigma }_1$. Thus the divisor function counts the positive integer divisors, while ${\sigma }_1$ adds their sizes. ^[ref]

If the prime factorization is $n={\prod }_{k=1}^r{p}_k^{a_k}$ with distinct prime numbers $p_k$ and positive exponents $a_k$, thenThe short proof is a count: each positive integer divisor has a unique form ${\prod }_{k=1}^r{p}_k^{b_k}$, where $0\le b_k\le a_k$. There are $a_k+1$ choices at each prime number, and choosing them gives every positive integer divisor exactly once. For $n=1$ there are no prime factors and the product is $1$.

For $12=2^2\cdot 3$, choose $i\in \{0,1,2\}$ and $j\in \{0,1\}$ to obtain $2^i{3}^j$. The six values are $1,2,4,3,6,12$; sorted, the positive integer divisors are $1,2,3,4,6,12$. Therefore $\tau (12)=(2+1)(1+1)=6$. The diagram makes the independent exponent choices visible.

This count is useful because a known prime factorization gives $\tau (n)$ without testing every smaller positive integer for divisibility. It also proves the divisor function is a multiplicative function: coprime integers have disjoint prime factors, so their exponent choices combine. For example $\tau (6)=4=\tau (2)\tau (3)$, but $\tau (4)=3\ne 4=\tau (2{)}^2$, so it is not a completely multiplicative function. Equivalently, $\tau =1\ast 1$ under Dirichlet convolution, counting ordered pairs of positive integers whose product is $n$.

The divisor sum of an arithmetic function $f$ assigns to each positive integer $n$ the sumOnly positive integer divisors are included, so $F(1)=f(1)$. The weights $f(d)$ can count the integer divisors, measure their sizes, or record other arithmetic information: the constant-one arithmetic function gives the divisor function, whereas the identity arithmetic function gives the sum-of-divisors function.

Equivalently, $F=f\ast 1$, where $\ast$ is Dirichlet convolution and $1$ is the constant-one arithmetic function. If $f$ is a multiplicative function, then $F$ is a multiplicative function by Multiplicativity of Dirichlet convolution. ^[ref]

Here is the mechanism. For positive coprime integers $m,n$, every positive integer divisor of $mn$ has a unique form $ab$ with $a\mid m$ and $b\mid n$; moreover, $a,b$ are coprime integers. Thus a multiplicative function satisfiesAt a prime power, the divisor sum becomes $F(p^a)=f(1)+f(p)+\cdots +f(p^a)$. This turns a calculation over many integer divisors into short local calculations at prime powers.

An even integer $n>0$ is a perfect number if and only ifThis forces $p$ to be a prime number, as shown under Mersenne number. It does not say that every prime exponent works, nor classify possible odd integers.^[ref]

For the forward direction, put $q=2^p-1$ and use coprimality of $q$ and $2^{p-1}$. Multiplicativity of the sum-of-divisors function and the finite geometric series giveThe prime number hypothesis makes $\sigma (q)=q+1$; replacing it with a composite number changes this factor.

For a short converse outline, write $n=2^{a}m$ with $a\ge 1$ and $m$ an odd integer. The condition $\sigma (n)=2n$ givesHere $t$ is a positive integer and a proper divisor of $m$. If $t>1$, the distinct divisors $1,t,m$ alone exceed the required sum $m+t$. Thus $t=1$ and $\sigma (m)=m+1$, forcing $m$ to be prime and $m=2^{a+1}-1$.

The identity arithmetic function is $\mathrm{id}(n)=n$ on the positive integers, for example $\mathrm{id}(1)=1$ and $\mathrm{id}(12)=12$. It is a completely multiplicative function and gives the sum-of-divisors function through $\mathrm{id}\ast 1={\sigma }_1$ under Dirichlet convolution. It is distinct from the Identity for Dirichlet convolution $\epsilon$. The identity $\mathrm{id}=1\ast \phi$, where $\phi$ is Euler's totient function, is equivalent to ${\sum }_{d\mid n}\phi (d)=n$.

The Dirichlet convolution of two multiplicative functions is a multiplicative function. For positive coprime integers $m,n$, every positive integer divisor of $mn$ has a unique form $de$ with $d\mid m$ and $e\mid n$, by prime factorization. The pairs $d,e$ and $m/d,n/e$ are each coprime integers, so the defining rules for the two multiplicative functions separate the sum:Also $(f\ast g)(1)=f(1)g(1)=1$. This short argument proves multiplicativity of both the divisor function $1\ast 1$ and the sum-of-divisors function $\mathrm{id}\ast 1$. The result need not be a completely multiplicative function, even when both inputs are: $1\ast 1=\tau$ fails at $2\cdot 2$. ^[ref]

The passage belongs to the English reception of Euclid's number theory. Henry Billingsley's The Elements of Geometrie by Henry Billingsley, published in 1570, brought the Elements into English with extensive explanatory material. The original title page advertises translation and annotations; the extract's worked examples show what explanatory prose could add to a compact definition. Henry Billingsley's numbering calls this Definition 23 of Book VII; the familiar modern numbering is VII, Definition 22. The difference is editorial, not a difference in the perfect number being defined.^[ref][ref]

Here a number's parts are its positive proper divisors, rather than arbitrary pieces of a sum or all smaller integers. In modern notation the definition iswhere $\sigma$ is the sum-of-divisors function. Thus $12$ is not a perfect number: its positive proper divisors total $1+2+3+4+6=16$. It is essential to exclude $n$ itself: including it would double the required sum. The pairing of a divisor $d$ with the fraction $1/(n/d)$ of the whole explains the extract's language of halves, thirds and so on. Its examples are complete checks because they identify every positive proper divisor, not merely some convenient decomposition.

The larger mathematical context is the construction in Book IX, Proposition 36. If $q=2^p-1$ is a prime number, then $N=2^{p-1}q$ is a perfect number. To reconstruct the argument, prime factorization gives all its divisors as $2^j$ and $q{2}^j$, with $0\le j\le p-1$. A finite geometric series therefore givesThe choices $p=2,3,5,7$ produce $6,28,496,8128$. The primality assumption matters: choosing $p=4$ produces $120$, whose sum-of-divisors function is $360$, not $240$. The construction gives a reason for the examples and connects perfect numbers with Mersenne primes.^[ref]

The extract itself supplies a definition and examples, not a classification or a mathematical proof that such numbers are rare. In particular, the converse that every even perfect number has this form belongs to the later Euclid-Euler theorem; it should not be read back into this passage. The historically significant feature is the transmission of deductive arithmetic through vernacular explanation: a book called geometry also teaches the divisibility theory needed for a general construction.

The displayed definition uses iterated Eisenstein summation in weight two: the sum in $n$ is evaluated before the sum in $m$, with the single $(0,0)$ term omitted. This order is essential. The two-dimensional lattice series does not have absolute convergence, so arbitrary rearrangement would not be justified.

For noninteger $w$, the cosecant partial-fraction identity isFor completeness, apply the residue theorem to $\pi \cot (\pi \zeta )/(\zeta -w{)}^2$ on squares with large half-integer sides. The cotangent is bounded on the contours and the integral is $O(R^{-1})$. Its residues at the integers are $(n-w{)}^{-2}$ and its residue at $w$ is $-{\pi }^2{\csc }^2(\pi w)$, proving the formula. If $\mathrm{Im}w>0$, the geometric-series expression $\cot (\pi w)=-i(1+2{\sum }_{r\ge 1}{e}^{2\pi irw})$, differentiated termwise, gives the cotangent partial-fraction Fourier kernel

Put $q=e^{2\pi iz}$ with $z$ in the complex upper half-plane. For positive $m$, this gives $-4{\pi }^2{\sum }_{r\ge 1}r{q}^{mr}$. Negative $m$ gives the same value, by replacing $n$ with $-n$ in its inner sum. The $m=0$ row is ${\sum }_{n\ne 0}{n}^{-2}={\pi }^2/3$, by the Basel problem. The resulting series in $m,r$ does have absolute convergence, locally uniformly in $z$, so collecting the coefficient at $q^{\ell }$ is legitimate:The coefficient is the sum-of-divisors function, since $r$ runs over the positive divisors of $\ell$. ThusThere is no conflict with vanishing of weight-two level-one modular forms: the Eisenstein series of weight two has an anomalous transformation term, so it is not a weight-two modular form.

An arithmetic function $f$ is multiplicative if $f(mn)=f(m)f(n)$ whenever $m$ and $n$ are coprime integers. If $g(n)={\sum }_{d\mid n}f(d)$ and $(m,n)=1$, every positive integer divisor of $mn$ is uniquely $d_1{d}_2$ with $d_1\mid m$ and $d_2\mid n$. Henceso $g$ is multiplicative.

The Möbius function is defined by $\mu (1)=1$, $\mu (n)=0$ if the square of a prime number divides $n$, and $\mu (n)=(-1{)}^r$ if $n$ is a product of $r$ distinct prime numbers. Coprime integers have disjoint sets of prime factors, so this definition immediately gives $\mu (mn)=\mu (m)\mu (n)$ when $(m,n)=1$.

For $n=p_1^{a_1}\cdots p_r^{a_r}>1$, only the square-free divisors contribute, and thereforeFor $n=1$ the sum is $1$. Thus $1\ast \mu =\epsilon$ in the language of Dirichlet convolution. Convolving $g=1\ast f$ with $\mu$ gives the Möbius inversion formula

If $f(n)=n$, its divisor sum is the sum-of-divisors function. Conversely, if $g(n)=n$, Möbius inversion givesusing the standard divisor identity for the Euler totient function. Therefore the two requested answers are

A perfect number is a positive integer equal to the sum of all its positive proper divisors. The divisor itself is excluded: including it gives the equivalent condition $\sigma (n)=2n$ for the sum-of-divisors function. The smallest examples are $6=1+2+3$ and $28=1+2+4+7+14$.

For comparison, $8$ has proper divisors $1,2,4$, whose sum is $7$: it is a deficient number. The proper divisors of $12$ are $1,2,3,4,6$, whose sum is $16$: it is an abundant number. The proper-divisor sum classifies these examples with the same rule, and gives $s(1)=0$, so one is not a perfect number.

The interesting question is how such balances can be constructed without testing every smaller integer as a possible divisor. The Euclid-Euler theorem answers it for even integers: a Mersenne prime $2^p-1$ gives $2^{p-1}(2^p-1)$, and every even perfect number arises this way. For $p=2,3,5,7$, this produces $6,28,496,8128$. The connection links divisor sums to primality testing for a particular family, while keeping the necessary hypotheses visible.^[ref]

Euclid's Elements already gives the construction in Book IX, Proposition 36: add a succession of powers of two, and if their sum is prime, multiply by the final power of two. The modern finite geometric series $1+2+\cdots +2^{p-1}=2^p-1$ makes the same pattern transparent. This original statement supplies the forward construction, rather than the converse classification of all even perfect numbers.^[ref]

The proper-divisor sum, or aliquot sum, adds the positive proper divisors:In particular $s(1)=0$, an empty sum. Removing $n$ from the sum-of-divisors function is essential: $\sigma (6)=12$, but its proper-divisor sum is $6$.

The sum-of-divisors function adds all positive integer divisors of a positive integer, including the number itself:It is the divisor sum of the identity arithmetic function $\mathrm{id}(n)=n$, so $\sigma =\mathrm{id}\ast 1$ under Dirichlet convolution. Both factors are multiplicative functions, hence so is the sum-of-divisors function. The notation ${\sigma }_1$ distinguishes it from other weighted divisor sums. ^[ref]

For a prime number $p$ and a nonnegative exponent $a$, the positive integer divisors of the prime power $p^a$ are precisely $1,p,\dots ,p^a$. Their finite geometric series givesFor example, $\sigma (8)=1+2+4+8=15=(2^4-1)/(2-1)$. For a prime factorization $n={\prod }_{k=1}^r{p}_k^{a_k}$ with distinct prime numbers $p_k$ and positive exponents $a_k$, multiplicativity givesFor $n=1$, this is an empty product, equal to $1$. ^[ref]

The distributive property makes the formula especially beautiful: choosing one term from each factor produces each positive integer divisor exactly once, by the fundamental theorem of arithmetic. For $12=4\cdot 3=2^2\cdot 3$, the choices form a three-by-two grid with entries $2^i{3}^j$, where $0\le i\le 2$ and $0\le j\le 1$. Adding its rows givesThe divisor function counts six cells; the sum-of-divisors function adds their six values. Once the prime factorization is known, the product formula avoids testing every candidate integer divisor. Shared prime factors require care: $\sigma (4)=7\ne 9=\sigma (2{)}^2$, so the sum-of-divisors function is not a completely multiplicative function.

Subtracting the number itself gives the proper-divisor sum $s(n)=\sigma (n)-n$. Comparing $s(n)$ with $n$ distinguishes perfect numbers, deficient numbers, and abundant numbers. For $6$, $s(6)=1+2+3=6$; for $28$, $s(28)=1+2+4+7+14=28$. Both are perfect numbers. The calculation $s(8)=1+2+4=7<8$ makes $8$ a deficient number, while $s(12)=1+2+3+4+6=16>12$ makes $12$ an abundant number. These comparisons turn the sizes of integer divisors into a classification of positive integers. ^[ref]

This connection is ancient: Euclid's Elements, Book IX, Proposition 36, constructs a perfect number by multiplying the last term of $1,2,\dots ,2^{k-1}$ by their sum, when that sum is a prime number. In modern notation, put $q=2^k-1$ and $N=2^{k-1}q$, with $k\ge 2$ and $q$ a prime number. The sum-of-divisors function proves the construction immediately:Consequently the proper-divisor sum is $s(N)=N$. Taking $k=2,3$ produces the perfect numbers $6,28$. ^[ref]