The divisional sum of a natural number is the sum of all the divisors of this number, including the number itself.
![\ sigma](https://wikimedia.org/api/rest_v1/media/math/render/svg/59f59b7c3e6fdb1d0365a494b81fb9a696138c36)
Example:
- The number 6 has the divisors 1, 2, 3 and 6. So the divisional sum for 6 is .
![{\ displaystyle 1 + 2 + 3 + 6 = 12}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46351b2f6f00f6672ead3274981505183fbfac1a)
Partial sums play a role in many problems in number theory, e.g. B. with perfect numbers and friendly numbers .
Definitions
Definition 1: sum of all factors
Let all be divisors of the natural number , then we call the divisional sum of . There are 1 and itself divisors, i.e. included in the set of factors. The function is called the divisor sum function and is a number theoretic function .
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![{\ displaystyle \ sigma (n) = t_ {1} + t_ {2} + \ dotsb + t_ {k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d564bd06cbf1af2fc00c6e27e6976e79fabdb808)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![\ sigma](https://wikimedia.org/api/rest_v1/media/math/render/svg/59f59b7c3e6fdb1d0365a494b81fb9a696138c36)
The example above can now be written like this:
![\ sigma (6) = 1 + 2 + 3 + 6 = 12](https://wikimedia.org/api/rest_v1/media/math/render/svg/d736df535e421abe0fa1859c19c52a064f746d7c)
Definition 2: Sum of the real factors
The sum of the real divisors of the natural number is the sum of the divisors of without the number itself and we denote this sum with .
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![\ sigma ^ {*} (n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/a91043a6e32c30ce05e082c7fa67b2af06be57fe)
Example:
![\ sigma ^ {*} (6) = 1 + 2 + 3 = 6](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cc901b163c8b92c8bfaf7cc41168cee1d55f7e4)
Obviously the relationship applies:
![\ sigma (n) -n = \ sigma ^ {*} (n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/750820c398578480347463194e57f28a8ab2a13b)
Definition 3: deficient, abundant, perfect
A natural number is called
![n> 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee74e1cc07e7041edf0fcbd4481f5cd32ad17b64)
-
deficient or splitter arm when ,
![\ sigma ^ {*} (n) <n](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee2fafffe1afba2cd25b69de1b0ff6809c10e1af)
-
abundant or partial , if ,
![\ sigma ^ {*} (n)> n](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a668884815fdcffdff0c5d05d3abd08d8989807)
-
perfect if .
![\ sigma ^ {*} (n) = n](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a53d07cb577b4044ea76feabb3fd4bfbe6c4713)
Examples:
-
, d. H. 6 is a perfect number.
-
, d. H. 12 is abundant.
-
, d. H. 10 is deficient.
Properties of the divisor sum
Theorem 1: divisional sum of a prime number
Be a prime number. Then:
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![\ sigma (n) = n + 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/85a27423d007ad544728465ca9cbd819eec9b977)
Proof: Since is a prime, 1 and are the only factors. Hence the claim follows.
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
Theorem 2: Divisional sum of the power of a prime number
Be a prime number. Then:
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![\ sigma (n ^ {k}) = {\ frac {n ^ {{k + 1}} - 1} {n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4e385064f255fd8d74fcdb4745220cda9d4687e)
Proof: Since a prime number, has only the following division: . The sum is a geometric series . The assertion immediately follows from the empirical formula for a geometric series.
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![n ^ {k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53af70c07e0932d85d2fdb70c56360544c3a0b5a)
![{\ displaystyle n ^ {0}, n ^ {1}, \ ldots, n ^ {k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bab5908feb560e163cfa4fdedc1f7afab61cf95d)
Example:
![\ sigma (2 ^ {3}) = {{2 ^ {4} -1} \ over {2-1}} = {{16-1} \ over 1} = 15](https://wikimedia.org/api/rest_v1/media/math/render/svg/5af5aa031c5c61b979f1198aab1e8dafb4ff224f)
![\ sigma (8) = 1 + 2 + 4 + 8 = 15](https://wikimedia.org/api/rest_v1/media/math/render/svg/18b5462e2e0cd84d29fe224d6a37bd6275ecdcbb)
Theorem 3: Divisional sum of the product of two prime numbers
Let and be different prime numbers. Then:
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![\ sigma (a \ cdot b) = \ sigma (a) \ cdot \ sigma (b)](https://wikimedia.org/api/rest_v1/media/math/render/svg/54758a2c2aa00b857649aae6215b0a9854f9d1a5)
Proof: The number has four different divider 1 , and . It follows:
![from](https://wikimedia.org/api/rest_v1/media/math/render/svg/49337c5cf256196e2292f7047cb5da68c24ca95d)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![from](https://wikimedia.org/api/rest_v1/media/math/render/svg/49337c5cf256196e2292f7047cb5da68c24ca95d)
![\ sigma (a \ cdot b) = 1 + a + b + ab = (a + 1) (b + 1) = \ sigma (a) \ cdot \ sigma (b)](https://wikimedia.org/api/rest_v1/media/math/render/svg/f882715207595b832b5533abf0ca8743d39a5e93)
Example:
![\ sigma (3 \ cdot 5) = \ sigma (15) = 1 + 3 + 5 + 15 = 24](https://wikimedia.org/api/rest_v1/media/math/render/svg/84158b3ac31f3580fdb2cd9ad5cfcdf72cad9067)
![\ sigma (3) \ times \ sigma (5) = (1 + 3) \ times (1 + 5) = 4 \ times 6 = 24](https://wikimedia.org/api/rest_v1/media/math/render/svg/c381067bd3b9a2cd1fdde48bb22e9ec6ee23f1af)
Sentence 4: Generalization of sentence 2 and sentence 3
Let be different prime numbers and natural numbers. Further be . Then:
![p_ {1}, p_ {2}, ..., p_ {r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66759579b6894adb237bd3e06cc61438a2f19cf4)
![k_ {1}, k_ {2}, ..., k_ {r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f677e6641953256fb511210281a57fe5ddbdaf6)
![n = p_ {1} ^ {{k_ {1}}} \ cdot p_ {2} ^ {{k_ {2}}} \ cdot \ ldots \ cdot p_ {r} ^ {{k_ {r}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42d57bf8dd5cffacc1610af1665939b094874626)
![\ sigma (n) = {\ frac {p_ {1} ^ {{k_ {1} +1}} - 1} {p_ {1} -1}} \ cdot \ ldots \ cdot {\ frac {p_ {r } ^ {{{k_ {r} +1}} - 1} {p_ {r} -1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc322d06dfb263418d699217d2639f68f863a4fa)
Thabit's theorem
With the help of Theorem 4 one can prove Thabit's theorem from the field of friendly numbers. The sentence is:
For a fixed natural number let and .
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![{\ displaystyle x = 3 \ cdot 2 ^ {n} -1, y = 3 \ cdot 2 ^ {n-1} -1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1d362be11883fd7f72759ec6d1c8276ca7c41c3)
![{\ displaystyle z = 9 \ cdot 2 ^ {2n-1} -1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e74d3c902d8c0c0aa454484fb18731c3d9aa37f5)
If , and prime numbers are greater than 2, then the two numbers and are friends; H. and .
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![y](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d)
![z](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
![{\ displaystyle a = 2 ^ {n} xy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae4e2830ab267315ac0d62e84556098c27a0d2ba)
![{\ displaystyle b = 2 ^ {n} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3017bd397c3ac76934fc3f9814f0b3855c1f713d)
![\ sigma ^ {*} (a) = b](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6c36075f1a95716db650565a7fe51a498c74cd2)
![\ sigma ^ {*} (b) = a](https://wikimedia.org/api/rest_v1/media/math/render/svg/baee5cf51a46bc12347a61bfe26b08c3fb64a23f)
- proof
![{\ displaystyle {\ begin {aligned} \ sigma ^ {*} (a) & = \ sigma (a) -a \\ & = \ sigma (2 ^ {n} \ cdot x \ cdot y) -a \\ & = (2 ^ {n + 1} -1) (x + 1) (y + 1) -a \ qquad \ qquad \ qquad \ qquad \ qquad \ qquad && {\ text {(sentence 4)}} \\ & = (2 ^ {n + 1} -1) (3 \ cdot 2 ^ {n}) (3 \ cdot 2 ^ {n-1}) - 2 ^ {n} (3 \ cdot 2 ^ {n} -1) (3 \ cdot 2 ^ {n-1} -1) \\ & = (2 ^ {n + 1} -1) \ cdot 9 \ cdot 2 ^ {2n-1} -2 ^ {n} (9 \ cdot 2 ^ {2n-1} -6 \ cdot 2 ^ {n-1} -3 \ cdot 2 ^ {n-1} +1) \\ & = 2 \ cdot 2 ^ {n} \ cdot 9 \ cdot 2 ^ {2n-1} -9 \ cdot 2 ^ {n} \ cdot 2 ^ {n-1} -2 ^ {n} (9 \ cdot 2 ^ {2n-1} -9 \ cdot 2 ^ {n-1} +1) \\ & = 2 ^ {n} (18 \ cdot 2 ^ {2n-1} -9 \ cdot 2 ^ {n-1} -9 \ cdot 2 ^ {2n-1 } +9 \ cdot 2 ^ {n-1} -1) \\ & = 2 ^ {n} (9 \ cdot 2 ^ {2n-1} -1) \\ & = 2 ^ {n} \ cdot e.g. \\ & = b \ end {aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8dd0ba4046e253c6b2d91ffd051f917b6103a1d)
One shows analogously .
![\ sigma ^ {*} (b) = a](https://wikimedia.org/api/rest_v1/media/math/render/svg/baee5cf51a46bc12347a61bfe26b08c3fb64a23f)
Divisional sum as a finite series
For every natural number the divisor function can be represented as a series without explicit reference to the divisibility properties of :
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![\ sigma (n) = \ sum _ {{\ mu = 1}} ^ {n} \ sum _ {{\ nu = 1}} ^ {\ mu} \ cos {2 \ pi {\ frac {\ nu n } {\ mu}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/060bd4e739ef88789d05ecf88a7fb15145b51832)
Proof:
The function
![T (n, \ mu) = {\ frac {1} {\ mu}} \ sum _ {{\ nu = 1}} ^ {\ mu} \ cos 2 \ pi {\ frac {\ nu n} {\ mu}}, \ quad n = 1,2, \ dots, \ quad \ mu = 1,2, \ dots](https://wikimedia.org/api/rest_v1/media/math/render/svg/326b9777f033b275b026329ab27c2dd0165f3ded)
becomes 1 if is a factor of , otherwise it remains zero. First of all,
![\ mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![T (n, \ mu) = {\ frac {1} {\ mu}} \ lim _ {{x \ to n}} \ sum _ {{\ nu = 1}} ^ {\ mu} \ cos 2 \ pi {\ frac {\ nu x} {\ mu}} = \ lim _ {{x \ to n}} {\ frac {1} {2 \ mu}} \ left (\ sin 2 \ pi x \ cot { \ frac {\ pi x} {\ mu}} - 1+ \ cos 2 \ pi x \ right) = \ lim _ {{x \ to n}} {\ frac {\ sin 2 \ pi x \ cos {\ frac {\ pi x} {\ mu}}} {2 \ mu \ sin {\ frac {\ pi x} {\ mu}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1c2c5f833f396842b3550676819a29bd44de330)
The counter in the last expression always goes to zero when goes. The denominator can only become zero if is a divisor of . But then
![x \ to n](https://wikimedia.org/api/rest_v1/media/math/render/svg/1374af83a3d10691a6f9d06720b018fd6521ca3c)
![\ mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![\ lim _ {{x \ to n}} {\ frac {\ sin 2 \ pi x \ cos {\ frac {\ pi x} {\ mu}}} {2 \ sin {\ frac {\ pi x} { \ mu}}}} = \ cos {\ frac {\ pi n} {\ mu}} \ lim _ {{x \ to n}} {\ frac {\ sin 2 \ pi x} {2 \ sin {\ frac {\ pi x} {\ mu}}}} \; = \; \ cos {\ frac {\ pi n} {\ mu}} \ lim _ {{x \ to n}} {\ frac {2 \ pi \ cos 2 \ pi x} {2 {\ frac {\ pi} {\ mu}} \ cos {\ frac {\ pi x} {\ mu}}}} \; = \; \ mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/42c005cb70628f7aad39bbc70c74d7f230199486)
Only in this case is it asserted as above.
![T (n, \ mu) = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/13c90635f2119444ac16dd10548bd2a9ab508040)
If you now multiply by and add the product over all values to , then a contribution to the sum is only made if is a factor of . But that is exactly the definition of the general divisor function![T (n, \ mu)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2902cd7c5ab8d9521f7f324db89806c374ac347d)
![\ mu ^ {k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79f768f87ee222ea1c3522e8a793f40c288928eb)
![\ mu = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/820c85551af65c6bedaf1b895fbd99bd9e23ec4f)
![\ mu = n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a93a9aeaca479534704eaadde6561f52863d283c)
![\ mu ^ {k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79f768f87ee222ea1c3522e8a793f40c288928eb)
![\ mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
![\ sigma _ {k} (n) = \ sum _ {{\ mu = 1}} ^ {n} \ mu ^ {{k-1}} \ sum _ {{\ nu = 1}} ^ {\ mu } \ cos {2 \ pi {\ frac {\ nu n} {\ mu}}}, \ quad k = 0, \ pm 1, \ dots](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0e0455460e9a116d881d21e79fc7843d3d92fdd)
whose special case is the simple divisional sum .
![k = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c035ffa69b5bca8bf2d16c3da3aaad79a8bcbfa)
![\ sigma (n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3213bbd075ed40d41d2b72dfaa4a190e031d3fc)
See also
literature
-
Paul Erdős , János Surányi : Topics in the Theory of Numbers. (= Undergraduate Texts in Mathematics ). 2nd Edition. Springer Verlag, New York, NY (et al.) 2003, ISBN 0-387-95320-5 ( MR1950084 - translated from the Hungarian by Barry Guiduli ).
- József Sándor, Dragoslav S. Mitrinović, Borislav Crstici: Handbook of Number Theory. I . Springer Verlag, Dordrecht 2006, ISBN 1-4020-4215-9 ( MR2186914 ).
- József Sándor, Borislav Crstici: Handbook of Number Theory. II . Kluwer Academic Publishers, Dordrecht / Boston / London 2004, ISBN 1-4020-2546-7 ( MR2119686 ).
-
Wacław Sierpiński : Elementary Theory of Numbers (= North-Holland Mathematical Library . Volume 31 ). 2nd revised and expanded edition. North-Holland, Amsterdam / New York 1988, ISBN 0-444-86662-0 ( MR0930670 ).