„Vollkommene Zahl“ – Versionsunterschied
[gesichtete Version] | [Sichtung ausstehend] |
Wheeke (Diskussion | Beiträge) |
Linkvorschlag-Funktion: 3 Links hinzugefügt. Markierungen: Visuelle Bearbeitung Mobile Bearbeitung Mobile Web-Bearbeitung Einstiegs-Aufgabe Vorgeschlagen: Links hinzufügen |
||
(26 dazwischenliegende Versionen von 20 Benutzern werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
Eine [[natürliche Zahl]] <math>n</math> wird '''vollkommene Zahl''' (auch '''perfekte Zahl''') genannt, wenn sie gleich der Summe <math>\sigma^*(n)</math> aller ihrer (positiven) [[Teilbarkeit|Teiler]] außer sich selbst ist. Eine äquivalente Definition lautet: Eine vollkommene Zahl <math>n</math> ist eine Zahl, die halb so groß ist wie die [[Teilersumme|Summe aller ihrer positiven Teiler]] (sie selbst eingeschlossen), d. h. <math>\sigma(n) = 2n</math>. Die kleinsten drei vollkommenen Zahlen sind 6, 28 und 496. Beispiel: Die positiven Teiler von 28 sind 1, 2, 4, 7, 14, 28 und es gilt <math>1+2+4+7+14=28.</math> Alle bekannten vollkommenen Zahlen sind gerade und von [[Mersenne-Zahl|Mersenne-Primzahlen]] abgeleitet. Es ist unbekannt, ob es auch ungerade vollkommene Zahlen gibt. Schon in der [[Griechische Antike|griechischen Antike]] waren vollkommene Zahlen bekannt, ihre wichtigsten Eigenschaften wurden in den [[Elemente (Euklid)|Elementen]] des [[Euklid]] behandelt. Alle geraden vollkommenen Zahlen enden auf 6 oder 8. Vollkommene Zahlen waren oft Gegenstand [[Zahlensymbolik|zahlenmystischer und numerologischer]] Deutungen. |
Eine [[natürliche Zahl]] <math>n</math> wird '''vollkommene Zahl''' (auch '''perfekte Zahl''') genannt, wenn sie gleich der Summe <math>\sigma^*(n)</math> aller ihrer (positiven) [[Teilbarkeit|Teiler]] außer sich selbst ist. Eine äquivalente Definition lautet: Eine vollkommene Zahl <math>n</math> ist eine Zahl, die halb so groß ist wie die [[Teilersumme|Summe aller ihrer positiven Teiler]] (sie selbst eingeschlossen), d. h. <math>\sigma(n) = 2n</math>. Die kleinsten drei vollkommenen Zahlen sind 6, 28 und 496.<ref>Auch wenn die 1 die Berechnungsformel erfüllen würde, zählt sie nicht, da sie nur durch sich selbst teilbar ist, was hier außen vor bleibt.</ref> Beispiel: Die positiven Teiler von 28 sind 1, 2, 4, 7, 14, 28 und es gilt <math>1+2+4+7+14=28.</math> Alle bekannten vollkommenen Zahlen sind gerade und von [[Mersenne-Zahl|Mersenne-Primzahlen]] abgeleitet. Es ist unbekannt, ob es auch ungerade vollkommene Zahlen gibt. Schon in der [[Griechische Antike|griechischen Antike]] waren vollkommene Zahlen bekannt, ihre wichtigsten Eigenschaften wurden in den [[Elemente (Euklid)|Elementen]] des [[Euklid]] behandelt. Alle geraden vollkommenen Zahlen enden auf 6 oder 8. Vollkommene Zahlen waren oft Gegenstand [[Zahlensymbolik|zahlenmystischer und numerologischer]] Deutungen. |
||
== Gerade vollkommene Zahlen == |
== Gerade vollkommene Zahlen == |
||
Zeile 5: | Zeile 5: | ||
: <math>2^{k-1}(2^k-1)</math> |
: <math>2^{k-1}(2^k-1)</math> |
||
durch Belegen von <math>k</math> mit geeigneten Zahlen ergeben: |
durch Belegen von <math>k</math> mit geeigneten Zahlen ergeben: |
||
* Für <math>k = 2</math>: |
* Für <math>k = 2</math>: <math>2^1(2^2-1) = 6 = 1 + 2 + 3</math> |
||
* Für <math>k = 3</math>: |
* Für <math>k = 3</math>: <math>2^2(2^3-1) = 28 = 1 + 2 + 4 + 7 + 14</math> |
||
* Für <math>k = 5</math>: |
* Für <math>k = 5</math>: <math>2^4(2^5-1) = 496 = 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + 248</math> |
||
* Für <math>k = 7</math>: |
* Für <math>k = 7</math>: <math>2^6(2^7-1) = 8128 = 1 + 2 + 4 + 8 + 16 + 32 + 64 + 127 + 254 + 508 + 1016 + 2032 + 4064</math>. |
||
{| class="wikitable" style="text-align: right" |
|||
Die ersten 12 vollkommenen Zahlen |
|+ Die ersten 12 vollkommenen Zahlen ({{OEIS|A000396}}) |
||
# 6 |
|||
! <math>k</math> !! <math>2^{k-1}(2^k-1)</math> |
|||
# 28 |
|||
|- |
|||
# 496 |
|||
| 2 || 6 |
|||
⚫ | |||
|- |
|||
⚫ | |||
| 3 || 28 |
|||
⚫ | |||
|- |
|||
⚫ | |||
| 5 || 496 |
|||
⚫ | |||
|- |
|||
⚫ | |||
⚫ | |||
⚫ | |||
|- |
|||
⚫ | |||
⚫ | |||
⚫ | |||
|- |
|||
⚫ | |||
|- |
|||
⚫ | |||
|- |
|||
⚫ | |||
|- |
|||
⚫ | |||
|- |
|||
⚫ | |||
|- |
|||
⚫ | |||
|- |
|||
⚫ | |||
|} |
|||
Euklid bewies, dass <math>2^{k-1}(2^k-1)</math> immer dann eine vollkommene Zahl ist, wenn <math>M_k=2^k-1</math> eine [[Primzahl]] ist. Dies sind die sogenannten [[Mersenne-Zahl|Mersenne-Primzahlen]]. Fast 2000 Jahre später konnte [[Leonhard Euler]] beweisen, dass auf diese Weise alle geraden vollkommenen Zahlen n erzeugt werden können: |
Euklid bewies, dass <math>2^{k-1}(2^k-1)</math> immer dann eine vollkommene Zahl ist, wenn <math>M_k=2^k-1</math> eine [[Primzahl]] ist. Dies sind die sogenannten [[Mersenne-Zahl|Mersenne-Primzahlen]]. Fast 2000 Jahre später konnte [[Leonhard Euler]] beweisen, dass auf diese Weise alle geraden vollkommenen Zahlen <math>n</math> erzeugt werden können: Gerade vollkommene Zahlen und Mersenne-Primzahlen sind einander [[umkehrbar eindeutig]] zugeordnet.<ref>{{Literatur |Autor=Jochen Ziegenbalg |Titel=Elementare Zahlentheorie. Beispiele, Geschichte, Algorithmen |Auflage=2. |Verlag=Springer |Ort=Wiesbaden |Datum=2015 |ISBN=978-3-658-07170-7 |Seiten=73 ff.}}</ref> |
||
Bis zum |
Bis zum Oktober 2024 waren 52 Mersenne-Primzahlen bekannt; und zwar für folgende [[Potenz_(Mathematik)#Natürliche_Exponenten|Exponent]]en <math>k</math>:  |
||
2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1.279, 2.203, 2.281, 3.217, 4.253, 4.423, 9.689, 9.941, 11.213, 19.937, 21.701, 23.209, 44.497, 86.243, 110.503, 132.049, 216.091, 756.839, 859.433, 1.257.787, 1.398.269, 2.976.221, 3.021.377, 6.972.593, 13.466.917, 20.996.011, 24.036.583, 25.964.951, 30.402.457, 32.582.657, 37.156.667, 42.643.801, 43.112.609, 57.885.161, 74.207.281, 77.232.917, 82.589.933.<ref>{{Internetquelle |url=http://www.mersenne.org/primes/ |titel=List of known Mersenne prime numbers - PrimeNet |werk=mersenne.org |zugriff= |
2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1.279, 2.203, 2.281, 3.217, 4.253, 4.423, 9.689, 9.941, 11.213, 19.937, 21.701, 23.209, 44.497, 86.243, 110.503, 132.049, 216.091, 756.839, 859.433, 1.257.787, 1.398.269, 2.976.221, 3.021.377, 6.972.593, 13.466.917, 20.996.011, 24.036.583, 25.964.951, 30.402.457, 32.582.657, 37.156.667, 42.643.801, 43.112.609, 57.885.161, 74.207.281, 77.232.917, 82.589.933, 136.279.841.<ref>{{Internetquelle |url=http://www.mersenne.org/primes/ |titel=List of known Mersenne prime numbers - PrimeNet |werk=mersenne.org |zugriff=2024-10-28}}</ref> ({{OEIS|A000043}}) |
||
== Klassische Probleme == |
== Klassische Probleme == |
||
Zeile 33: | Zeile 48: | ||
* Offen ist, ob es unendlich viele gerade vollkommene Zahlen gibt. Diese Frage deckt sich mit der Frage, ob es unendlich viele Mersenne-Primzahlen gibt. |
* Offen ist, ob es unendlich viele gerade vollkommene Zahlen gibt. Diese Frage deckt sich mit der Frage, ob es unendlich viele Mersenne-Primzahlen gibt. |
||
* Offen ist, ob es überhaupt eine ungerade vollkommene Zahl gibt. Falls eine solche Zahl existiert, hat sie folgende Eigenschaften:<ref name="ReferenceA">{{Literatur |Autor=Sierpiński |Titel=Elementary Theory of Numbers |Datum= |Seiten=182 ff.}}</ref><ref>{{Literatur |Autor=Sándor-Crstici |Titel=Handbook of Number Theory. II |Datum= |Seiten=23 ff.}}</ref><ref>{{Literatur |Autor=Sándor-Mitrinović-Crstici |Titel=Handbook of Number Theory. I |Datum= |Seiten=100 ff.}}</ref> |
* Offen ist, ob es überhaupt eine ungerade vollkommene Zahl gibt. Falls eine solche Zahl existiert, hat sie folgende Eigenschaften:<ref name="ReferenceA">{{Literatur |Autor=Sierpiński |Titel=Elementary Theory of Numbers |Datum= |Seiten=182 ff.}}</ref><ref>{{Literatur |Autor=Sándor-Crstici |Titel=Handbook of Number Theory. II |Datum= |Seiten=23 ff.}}</ref><ref>{{Literatur |Autor=Sándor-Mitrinović-Crstici |Titel=Handbook of Number Theory. I |Datum= |Seiten=100 ff.}}</ref> |
||
** Sie ist größer als |
** Sie ist größer als <math>10^{1500}</math>.<ref>{{Literatur |Autor=Pascal Ochem, Michaël Rao |Titel=Odd perfect numbers are greater than 10<sup>1500</sup> |Sammelwerk=Mathematics of Computation |Band=81 |Nummer=279 |Datum=2012-01-01 |ISSN=0025-5718 |Seiten=1869–1877 |Online=http://www.ams.org/mcom/2012-81-279/S0025-5718-2012-02563-4/ |DOI=10.1090/S0025-5718-2012-02563-4 |Abruf=2017-03-05}}</ref> |
||
** Sie hat die Form <math>12k+1</math> oder <math>36k+9</math> mit einer natürlichen Zahl <math>k</math>.'' (Satz von [[Jacques Touchard]]).''<ref>Judy A. Holdener: ''A theorem of Touchard on the form of odd perfect numbers.'' In: ''Am. Math. Mon.'' 109, No. 7, 661–663 (2002).</ref><ref>Man erhält also den Rest 1 bei [[Ganze Zahl|ganzzahliger]] [[Division (Mathematik)|Teilung]] durch 12 bzw. den Rest 9 bei ganzzahliger Teilung durch 36.</ref> |
** Sie hat die Form <math>12k+1</math> oder <math>36k+9</math> mit einer natürlichen Zahl <math>k</math>.'' (Satz von [[Jacques Touchard]]).''<ref>Judy A. Holdener: ''A theorem of Touchard on the form of odd perfect numbers.'' In: ''Am. Math. Mon.'' 109, No. 7, 661–663 (2002).</ref><ref>Man erhält also den Rest 1 bei [[Ganze Zahl|ganzzahliger]] [[Division (Mathematik)|Teilung]] durch 12 bzw. den Rest 9 bei ganzzahliger Teilung durch 36.</ref> |
||
** Sie besitzt mindestens 9 verschiedene [[Primfaktorzerlegung|Primteiler]] ''(Nielsen)''.<ref name="RefRibenboim"> {{Literatur |Autor=Paolo Ribenboim |Titel=Die Welt der Primzahlen - Geheimnisse und Rekorde|Datum=2011-01-01 |Verlag=Springer-Verlag|Auflage=2|ISBN=978-3-642-18079-8 |Seiten=86-87}}</ref> |
** Sie besitzt mindestens 9 verschiedene [[Primfaktorzerlegung|Primteiler]] ''(Nielsen)''.<ref name="RefRibenboim"> {{Literatur |Autor=Paolo Ribenboim |Titel=Die Welt der Primzahlen - Geheimnisse und Rekorde|Datum=2011-01-01 |Verlag=Springer-Verlag|Auflage=2|ISBN=978-3-642-18079-8 |Seiten=86-87}}</ref> |
||
** Sie besitzt mindestens 12 verschiedene Primteiler, wenn sie nicht durch 3 teilbar ist ''(Nielsen)''.<ref name="RefRibenboim"/> |
** Sie besitzt mindestens 12 verschiedene Primteiler, wenn sie nicht durch 3 teilbar ist ''(Nielsen)''.<ref name="RefRibenboim"/> |
||
** Ist <math>A</math> die [[Anzahl]] ihrer verschiedenen Primteiler und <math>p_1</math> der [[Größtes und kleinstes Element|kleinste]] von ihnen, so gilt <math>p_1 < \ |
** Ist <math>A</math> die [[Anzahl]] ihrer verschiedenen Primteiler und <math>p_1</math> der [[Größtes und kleinstes Element|kleinste]] von ihnen, so gilt <math>p_1 < \tfrac{2A}{3}\! +\! 2</math> ''(Satz von [[Otto Grün (Mathematiker)|Otto Grün]]).'' |
||
** Sie ist kleiner als <math>4^{4^A}</math>, wobei <math>A</math> die [[Anzahl]] ihrer verschiedenen Primteiler ist ''(Satz von [[Roger Heath-Brown|D. R. Heath-Brown]]).'' |
** Sie ist kleiner als <math>4^{4^A}</math>, wobei <math>A</math> die [[Anzahl]] ihrer verschiedenen Primteiler ist ''(Satz von [[Roger Heath-Brown|D. R. Heath-Brown]]).'' |
||
*** Sie ist sogar kleiner als <math>2^{4^A}</math> ''(Nielsen)''.<ref name="RefRibenboim"/> |
*** Sie ist sogar kleiner als <math>2^{4^A}</math> ''(Nielsen)''.<ref name="RefRibenboim"/> |
||
** Sollte sie kleiner als |
** Sollte sie kleiner als <math>10^{9118}</math> sein, dann ist sie durch <math>p^6</math> [[teilbar]] mit einer Primzahl <math>p</math>, die größer als <math>10^{500}</math> ist. |
||
** Sie ist keine [[Quadratzahl]]. |
** Sie ist keine [[Quadratzahl]]. |
||
** Ihr größter Primteiler ist größer als <math>10^8</math> ''(Goto & Ohno)''.<ref name="RefRibenboim"/> |
** Ihr größter Primteiler ist größer als <math>10^8</math> ''(Goto & Ohno)''.<ref name="RefRibenboim"/> |
||
Zeile 55: | Zeile 70: | ||
=== Darstellung von Eaton (1995, 1996) === |
=== Darstellung von Eaton (1995, 1996) === |
||
Jede gerade vollkommene Zahl n > 6 hat die Darstellung |
Jede gerade vollkommene Zahl ''n'' > 6 hat die Darstellung |
||
: <math>n = 1 + \frac{9}{2}k(k+1)</math> mit <math>k = 8j+2</math> und einer nichtnegativen ganzen Zahl <math>j</math>. |
: <math>n = 1 + \frac{9}{2}k(k+1)</math> mit <math>k = 8j+2</math> und einer nichtnegativen ganzen Zahl <math>j</math>. |
||
Zeile 83: | Zeile 98: | ||
:<math>\sum_{k=1}^{2^\frac{p-1}{2}} (2k-1)^3 = 2^{p-1}\,(2^p - 1)</math> |
:<math>\sum_{k=1}^{2^\frac{p-1}{2}} (2k-1)^3 = 2^{p-1}\,(2^p - 1)</math> |
||
Die Darstellung als Summe von Kubikzahlen ist eine Eigenschaft, die nur sehr mittelbar etwas mit vollkommenen Zahlen |
Die Darstellung als Summe von Kubikzahlen ist eine Eigenschaft, die nur sehr mittelbar etwas mit vollkommenen Zahlen |
||
:<math>n = 2^{p-1}(2^p-1) = 6, 28, 496, 8128, 33550336, \dotsc</math> mit p = 2, 3, |
:<math>n = 2^{p-1}(2^p-1) = 6, 28, 496, 8128, 33550336, \dotsc</math> mit p = 2, 3, 5, 7, 13, … |
||
zu tun hat (erst nach dem Entfernen der ersten vollkommenen Zahl n(p=2)=6 und unter der Annahme, dass es keine ungeradzahligen vollkommenen Zahlen gibt), sondern eine Eigenschaft der [[Reihe (Mathematik)|Zahlenreihe]] |
zu tun hat (erst nach dem Entfernen der ersten vollkommenen Zahl n(p=2)=6 und unter der Annahme, dass es keine ungeradzahligen vollkommenen Zahlen gibt), sondern eine Eigenschaft der [[Reihe (Mathematik)|Zahlenreihe]] |
||
:<math>n^* = 2 m^4 - m^2 = 0, 1, 28, 153, 496, 1225, 2556, 4753, 8128, 13041, \dotsc</math> |
:<math>n^* = 2 m^4 - m^2 = 0, 1, 28, 153, 496, 1225, 2556, 4753, 8128, 13041, \dotsc</math> |
||
Zeile 91: | Zeile 106: | ||
=== Summe der ersten natürlichen Zahlen === |
=== Summe der ersten natürlichen Zahlen === |
||
Jede gerade vollkommene Zahl <math>n</math> lässt sich darstellen als |
Jede gerade vollkommene Zahl <math>n</math> lässt sich darstellen als |
||
: <math>n = 1 + 2 + 3 + \dots + |
: <math>n = 1 + 2 + 3 + \dots + m = \sum_{i=1}^mi = \frac{m(m+1)}{2}</math> |
||
wobei <math> |
wobei <math>m = 2^k-1 = M_k</math> die zugehörige Mersenne-Primzahl ist. Jede gerade vollkommene Zahl ist daher auch eine [[Dreieckszahl]]. |
||
Beispiele: |
Beispiele: |
||
Zeile 108: | Zeile 123: | ||
Eine gerade vollkommene Zahl erscheint im [[Dualsystem]] als charakteristische Folge von Einsen und Nullen. |
Eine gerade vollkommene Zahl erscheint im [[Dualsystem]] als charakteristische Folge von Einsen und Nullen. |
||
Aufgrund ihrer Form <math>\left(2^{p+1}-1\right)\cdot 2^p</math> stellt sie sich im Zahlensystem zur Basis 2 als Folge von <math>p+1</math> Einsen und <math>p</math> Nullen dar: |
Aufgrund ihrer Form <math>\left(2^{p+1}-1\right)\cdot 2^p</math> stellt sie sich im [[Zahlensystem]] zur Basis 2 als Folge von <math>p+1</math> Einsen und <math>p</math> Nullen dar: |
||
: <math>6 = 110_2</math> |
: <math>6 = 110_2</math> |
||
: <math>28 = 11100_2</math> |
: <math>28 = 11100_2</math> |
||
Zeile 159: | Zeile 174: | ||
Alle pseudovollkommenen Zahlen sind entweder vollkommen oder abundant. |
Alle pseudovollkommenen Zahlen sind entweder vollkommen oder abundant. |
||
Eine echte Teilmenge der pseudovollkommenen Zahlen bilden die '''primär pseudovollkommenen Zahlen''': Sei <math>n</math> eine [[zusammengesetzte Zahl]] und <math>P</math> die Menge der Primteiler von <math>n</math>. Die Zahl <math>n</math> heißt primär pseudovollkommen, wenn gilt: |
Eine echte [[Teilmenge]] der pseudovollkommenen Zahlen bilden die '''primär pseudovollkommenen Zahlen''': Sei <math>n</math> eine [[zusammengesetzte Zahl]] und <math>P</math> die Menge der Primteiler von <math>n</math>. Die Zahl <math>n</math> heißt primär pseudovollkommen, wenn gilt: |
||
:<math>n = 1 + \sum_{p \in P} \frac{n}{p}</math> |
:<math>n = 1 + \sum_{p \in P} \frac{n}{p}</math> |
||
Zeile 218: | Zeile 233: | ||
== Vollkommene Zahlen in Spätantike und Mittelalter == |
== Vollkommene Zahlen in Spätantike und Mittelalter == |
||
=== Boëthius === |
=== Boëthius === |
||
Die arithmetischen Eigenschaften vollkommener Zahlen und zuweilen auch ihre arithmologische Deutung gehören in der [[Spätantike]] zum arithmetischen Lehrstoff und werden durch [[Boëthius]] in dessen ''Institutio arithmetica,''<ref>[[Boëthius]]: ''De institutione arithmetica libri duo.'' Hrsg. von Gottfried Friedleich (zusammen mit ''De institutione musica''), Leipzig 1867, Nachdr. Minerva GmbH, Frankfurt |
Die arithmetischen Eigenschaften vollkommener Zahlen und zuweilen auch ihre arithmologische Deutung gehören in der [[Spätantike]] zum arithmetischen Lehrstoff und werden durch [[Boëthius]] in dessen ''Institutio arithmetica,''<ref>[[Boëthius]]: ''De institutione arithmetica libri duo.'' Hrsg. von Gottfried Friedleich (zusammen mit ''De institutione musica''), Leipzig 1867, Nachdr. Minerva GmbH, Frankfurt am Main 1966; zur mittelalterlichen Rezeption siehe Pearl Kibre: ''The Boethian De Institutione Arithmetica and the Quadrivium in the Thirteenth Century University Milieu at Paris.'' In: Michael Masi (Hrsg.): ''Boethius and the Liberal Arts: A Collection of Essays.'' Verlag Peter Lang, Bern / Frankfurt am Main / Las Vegas 1981 (= ''Utah Studies in Literature and Linguistics,'' 18), S. 67–80; Michael Masi: ''The Influence of Boethius’ ''De Arithmetica'' on Late Medieval Mathematics.'' Ebenda, S. 81–95.</ref> die ihrerseits weitgehend auf [[Nikomachos von Gerasa]] beruht,<ref>[[Nikomachos von Gerasa]]: ''Arithmetica introductio.'' Hrsg. von [[Richard Hoche]], Teubner Verlag, Leipzig 1866; zur Tradition vollkommener Zahlen in der byzantinischen Arithmetik siehe Nicole Zeegers-Vander Vorst: ''L’arithmétique d’un Quadrivium anonyme du XIe siècle.'' In: ''[[L’Antiquité classique]].'' 32 (1963), S. 129–161, bes. S. 144 f.</ref> an das lateinische Mittelalter weitergegeben. Seiner griechischen Vorlage folgend behandelt Boëthius die vollkommenen Zahlen ''(numeri perfecti secundum partium aggregationem)''<ref>Boëthius: ''De institutione arithmetica.'' Lib. I, cap. 19–20, ed. Friedlein 1867, S. 39–45. Als von Boëthius unabhängige Darstellungen in der lateinischen Tradition siehe auch [[Martianus Capella]]: ''De nvptiis Philologiae et Mercvrii.'' VII, 753, hrsg. von James Willis, Teubner Verlag, Leipzig 1983; [[Macrobius]]: ''Commentarii in Somnium Scipionis.'' I, vi, 12, hrsg. von Jakob Willis, Teubner Verlag, Leipzig 1963; und [[Cassiodor]]: ''De artibus ac disciplinis liberalium litterarum.'' VII, [[Patrologia Latina|PL]] 70,1206. Diese legen das gleiche arithmetische Verständnis dar, führen es aber weniger detailliert aus. Eine abweichende Begründung für die ''perfectio'' der Sechszahl bietet [[Vitruv]]ius: ''De architectura.'' III, i, 6 (hrsg. und übers. von Curt Fensterbusch, Wissenschaftliche Buchgesellschaft, Darmstadt 1964), der damit aber keine mittelalterlichen Nachfolger gefunden zu haben scheint.</ref> als eine Unterart der geraden Zahlen ''(numeri pares)'' und erläutert ihr auf Euklid zurückgehendes Berechnungsprinzip in der Weise, dass die Glieder in der Reihe der gerad-geraden Zahlen (''numeri pariter pares:'' 2<sup>n</sup>) miteinander zu addieren sind, bis ihre Summe eine Primzahl ergibt: multipliziert man diese Primzahl mit dem zuletzt addierten Reihenglied, so ergibt sich eine vollkommene Zahl. Boëthius führt diese Berechnungsweise in den einzelnen Schritten vor für die ersten drei vollkommenen Zahlen 6, 28 und 496 und erwähnt auch noch die vierte vollkommene Zahl 8128. Auf diesen Befund stützt sich bei Boëthius auch die ergänzende Beobachtung zur Gesetzmäßigkeit der vollkommenen Zahlen, dass sie in jeder Dekade (Zehnerpotenz) genau einmal aufträten und hierbei in den „Einern“ jeweils auf 6 oder 8 endeten. Die Darlegungen von Boëthius bildeten in den folgenden Jahrhunderten die Summe des arithmetischen Wissens über die vollkommenen Zahlen, die in den Traktaten ''De arithmetica,'' in Enzyklopädien wie den ''Etymologiae'' [[Isidor von Sevilla|Isidors]]<ref>[[Isidor von Sevilla]]: ''Etymologiae.'' VII, v. 9–11, hrsg. von Wallace M. Lindsay, Clarendon Press, Leipzig 1911.</ref> und anderen didaktischen Werken mehr oder minder vollständig, aber ohne wesentliche Ergänzungen weitergereicht wurde, bis mit der Entdeckung der fünften vollkommenen Zahl (33550336) im 15. Jahrhundert erkannt wurde, dass die Annahme über die regelmäßige Verteilung auf die 'Dekaden' unzutreffend ist.<ref>Stanley J. Bezuszka: ''Even Perfect Numbers – An Update.'' In: ''Mathematics Teacher.'' 74 (1981), S. 460–463. Zur Entdeckungsgeschichte weiterer vollkommener Zahlen bis 1997: Stanley J. Bezuszka, Margaret J. Kenney: ''Even Perfect Numbers: (Update)².'' In: ''Mathematics Teacher.'' 90 (1997), S. 628–633.</ref> |
||
Während Boëthius bei der Behandlung anderer Zahlenarten weitgehend auf den arithmetischen Lehrstoff beschränkt bleibt, bieten ihm die vollkommenen Zahlen Anlass auch für weitergehende, ethische Betrachtungen, bei denen sie den abundanten (''plus quam perfecti,'' auch ''superflui'' oder ''abundantes'' genannt) und den defizitären Zahlen (''inperfecti,'' auch ''deminuti'' oder ''indigentes'' genannt) gegenübergestellt werden: Während diese beiden Letzteren Zahlenarten den menschlichen Lastern gleichen, weil sie genau wie diese sehr verbreitet sind und sich keiner bestimmten Ordnung unterwerfen, verhalten sich die ''vollkommene Zahlen'' wie die Tugend, indem sie das rechte Maß, die Mitte zwischen Übermaß und Mangel, bewahren, äußerst selten anzutreffen sind und sich einer festen Ordnung unterwerfen. Boëthius deutet zugleich auch eine ästhetische Bevorzugung der vollkommenen Zahlen an, wenn er die abundanten mit Monstren aus der Mythologie wie dem dreiköpfigen [[Geryon]] vergleicht, während er die defizienten mit Missgestalten vergleicht, die, wie die einäugigen [[Kyklop|Zyklopen]], durch ein zu wenig an natürlichen Körperteilen charakterisiert sind. Bei diesen Vergleichen, die Boëthius bereits aus seiner griechischen Vorlage übernimmt, steht im Hintergrund die Vorstellung, dass eine Zahl einen aus Gliedern ''(partes)'' zusammengesetzten ''Körper'' besitzt, sodass nur bei den vollkommenen Zahlen die Glieder der Zahl in einem ausgewogenen Verhältnis zu ihrem Körper stehen. |
Während Boëthius bei der Behandlung anderer Zahlenarten weitgehend auf den arithmetischen Lehrstoff beschränkt bleibt, bieten ihm die vollkommenen Zahlen Anlass auch für weitergehende, ethische Betrachtungen, bei denen sie den abundanten (''plus quam perfecti,'' auch ''superflui'' oder ''abundantes'' genannt) und den defizitären Zahlen (''inperfecti,'' auch ''deminuti'' oder ''indigentes'' genannt) gegenübergestellt werden: Während diese beiden Letzteren Zahlenarten den menschlichen Lastern gleichen, weil sie genau wie diese sehr verbreitet sind und sich keiner bestimmten Ordnung unterwerfen, verhalten sich die ''vollkommene Zahlen'' wie die Tugend, indem sie das rechte Maß, die Mitte zwischen Übermaß und Mangel, bewahren, äußerst selten anzutreffen sind und sich einer festen Ordnung unterwerfen. Boëthius deutet zugleich auch eine ästhetische Bevorzugung der vollkommenen Zahlen an, wenn er die abundanten mit Monstren aus der Mythologie wie dem dreiköpfigen [[Geryon]] vergleicht, während er die defizienten mit Missgestalten vergleicht, die, wie die einäugigen [[Kyklop|Zyklopen]], durch ein zu wenig an natürlichen Körperteilen charakterisiert sind. Bei diesen Vergleichen, die Boëthius bereits aus seiner griechischen Vorlage übernimmt, steht im Hintergrund die Vorstellung, dass eine Zahl einen aus Gliedern ''(partes)'' zusammengesetzten ''Körper'' besitzt, sodass nur bei den vollkommenen Zahlen die Glieder der Zahl in einem ausgewogenen Verhältnis zu ihrem Körper stehen. |
||
=== Bibelexegese === |
=== Bibelexegese === |
||
Ihre eigentliche Bedeutung für die mittelalterliche Tradition entfalteten die vollkommenen Zahlen in der [[Bibelexegese]], wo die Auslegung der sechs Schöpfungstage, an denen Gott die Werke seiner Schöpfung vollendete („consummavit“ in der [[Vetus Latina]], „perfecit“ in der [[Vulgata]] des [[Hieronymus (Kirchenvater)|Hieronymus]]) den Ausgangspunkt bildete, um zwischen der arithmetischen ''Vollkommenheit'' der Sechszahl und der Vollkommenheit des göttlichen Schöpfungswerkes eine Verbindung herzustellen.<ref>Heinz Meyer: ''Die Zahlenallegorese im Mittelalter: Methode und Gebrauch.'' Wilhelm Finck Verlag, München 1975 (= ''Münstersche Mittelalter-Schriften 25.'') S. 30–35; Heinz Meyer / Horst Suntrup (Hrsg.): ''Lexikon der mittelalterlichen Zahlenbedeutungen.'' Wilhelm Finck Verlag, München 1987 (= ''MMS 56.'') Art. Sechs, Sp. 442–479.</ref> Die Sechszahl wurde in dieser Tradition geradezu ein Paradebeispiel für die Illustrierung der Auffassung, dass die göttliche Schöpfung nach ''Maß, Zahl und Gewicht'' geordnet ist. Maßgebend für die lateinische Welt wurde hierbei [[Augustinus]], der seinerseits Ansätze von Vorgängern aus der [[Alexandrinische Schule|alexandrinischen Exegese]] weiterentwickelte. Augustinus hat sich in seinen exegetischen und homiletischen Werken sehr häufig zur ''Vollkommenheit'' der Sechszahl geäußert, am ausführlichsten in seinem Kommentar ''De genesi ad litteram,''<ref>[[Augustinus von Hippo|Augustinus]]: ''De genesi ad litteram.'' IV, 1–7, [[Corpus scriptorum ecclesiasticorum latinorum|CSEL]] 28.1 (1894), S. 93–103; siehe auch ''De trinitate.'' IV, iv–vi, [[Corpus Christianorum|CCSL]] 50 (1968), S. 169–175.</ref> wo er nicht nur den arithmetischen Sachverhalt erläutert und die theologische Frage erörtert, ob Gott die Sechszahl wegen ihrer Vollkommenheit wählte oder ihr erst durch seine Wahl diese Vollkommenheit verlieh, sondern zusätzlich auch an den Schöpfungswerken demonstriert, dass die Erfüllung der Sechszahl durch ihre ''Teile'' (partes) 1, 2 und 3 sich auch an der Beschaffenheit der Schöpfungswerke widerspiegelt und einem latenten ''ordo'' der Schöpfung entspricht: |
Ihre eigentliche Bedeutung für die mittelalterliche Tradition entfalteten die vollkommenen Zahlen in der [[Bibelexegese]], wo die Auslegung der sechs Schöpfungstage, an denen Gott die Werke seiner Schöpfung vollendete („consummavit“ in der [[Vetus Latina]], „perfecit“ in der [[Vulgata]] des [[Hieronymus (Kirchenvater)|Hieronymus]]) den Ausgangspunkt bildete, um zwischen der arithmetischen ''Vollkommenheit'' der Sechszahl und der Vollkommenheit des göttlichen Schöpfungswerkes eine Verbindung herzustellen.<ref>Heinz Meyer: ''Die Zahlenallegorese im Mittelalter: Methode und Gebrauch.'' Wilhelm Finck Verlag, München 1975 (= ''Münstersche Mittelalter-Schriften 25.'') S. 30–35; Heinz Meyer / Horst Suntrup (Hrsg.): ''Lexikon der mittelalterlichen Zahlenbedeutungen.'' Wilhelm Finck Verlag, München 1987 (= ''MMS 56.'') Art. Sechs, Sp. 442–479.</ref> Die Sechszahl wurde in dieser Tradition geradezu ein Paradebeispiel für die Illustrierung der Auffassung, dass die göttliche Schöpfung nach ''Maß, Zahl und Gewicht'' geordnet ist. Maßgebend für die lateinische Welt wurde hierbei [[Augustinus]],<ref>So in De Civitate Dei 11,30 [https://bkv.unifr.ch/de/works/cpl-313/compare/zweiundzwanzig-bucher-uber-den-gottesstaat-bkv/331/de-civitate-dei-ccsl#fn:662]</ref> der seinerseits Ansätze von Vorgängern aus der [[Alexandrinische Schule|alexandrinischen Exegese]] weiterentwickelte. Augustinus hat sich in seinen exegetischen und [[Homiletik|homiletischen]] Werken sehr häufig zur ''Vollkommenheit'' der Sechszahl geäußert, am ausführlichsten in seinem Kommentar ''De genesi ad litteram,''<ref>[[Augustinus von Hippo|Augustinus]]: ''De genesi ad litteram.'' IV, 1–7, [[Corpus scriptorum ecclesiasticorum latinorum|CSEL]] 28.1 (1894), S. 93–103; siehe auch ''De trinitate.'' IV, iv–vi, [[Corpus Christianorum|CCSL]] 50 (1968), S. 169–175.</ref> wo er nicht nur den arithmetischen Sachverhalt erläutert und die theologische Frage erörtert, ob Gott die Sechszahl wegen ihrer Vollkommenheit wählte oder ihr erst durch seine Wahl diese Vollkommenheit verlieh, sondern zusätzlich auch an den Schöpfungswerken demonstriert, dass die Erfüllung der Sechszahl durch ihre ''Teile'' (partes) 1, 2 und 3 sich auch an der Beschaffenheit der Schöpfungswerke widerspiegelt und einem latenten ''ordo'' der Schöpfung entspricht: |
||
* Der erste Schöpfungstag mit der Erschaffung des ''Lichts,'' die für Augustinus zugleich die Erschaffung der himmlischen Intelligenzen impliziert, steht als '''ein''' Tag für sich allein. |
* Der erste Schöpfungstag mit der Erschaffung des ''Lichts,'' die für Augustinus zugleich die Erschaffung der himmlischen Intelligenzen impliziert, steht als '''ein''' Tag für sich allein. |
||
* Auf ihn folgen die '''zwei''' Tage, an denen das Weltgebäude, die ''fabrica mundi,'' geschaffen wurde: und zwar am zweiten Schöpfungstag zunächst deren ''oberer Bereich,'' das Firmament des Himmels, und am dritten Schöpfungstag der ''untere Bereich,'' das trockene Land und das Meer. |
* Auf ihn folgen die '''zwei''' Tage, an denen das Weltgebäude, die ''fabrica mundi,'' geschaffen wurde: und zwar am zweiten Schöpfungstag zunächst deren ''oberer Bereich,'' das Firmament des Himmels, und am dritten Schöpfungstag der ''untere Bereich,'' das trockene Land und das Meer. |
||
Zeile 230: | Zeile 245: | ||
Die Vollkommenheit der Sechszahl, die Augustinus zugleich auch als [[Dreieckszahl]] anspricht, ergibt sich durch diese sachliche Deutung gleich in zweifacher Weise: einerseits in der Aufeinanderfolge der <math>1+2+3</math> Tage, andererseits aber auch dadurch, dass das Werk des ersten Tages keinem besonderen oberen oder unteren Bereich zugeordnet ist (hier symbolisiert durch Buchstabe A), die Werke der folgenden Tage dagegen jeweils entweder dem oberen (B) oder dem unteren (C) Bereich angehören, sodass sich auch insofern wieder eine vollkommene Ordnung von 1, 2 und 3 Tagen mit der Verteilung <math>A+BC+BCC</math> ergibt. |
Die Vollkommenheit der Sechszahl, die Augustinus zugleich auch als [[Dreieckszahl]] anspricht, ergibt sich durch diese sachliche Deutung gleich in zweifacher Weise: einerseits in der Aufeinanderfolge der <math>1+2+3</math> Tage, andererseits aber auch dadurch, dass das Werk des ersten Tages keinem besonderen oberen oder unteren Bereich zugeordnet ist (hier symbolisiert durch Buchstabe A), die Werke der folgenden Tage dagegen jeweils entweder dem oberen (B) oder dem unteren (C) Bereich angehören, sodass sich auch insofern wieder eine vollkommene Ordnung von 1, 2 und 3 Tagen mit der Verteilung <math>A+BC+BCC</math> ergibt. |
||
Meist nicht mit dieser detaillierten Deutung des latenten ''ordo,'' aber zumindest in der allgemeinen Deutung als arithmetischer ''numerus perfectus'' wurde dieses Verständnis des Sechstagewerks zum Gemeingut der mittelalterlichen Exegese und zum Ausgangspunkt für die Deutung auch nahezu aller anderen Vorkommensweisen der Sechszahl in der Bibel und Heilsgeschichte – so unter anderem in der Deutung der aus den Schöpfungstagen abgeleiteten sechs Weltalter (Adam, Noah, Abraham, David, babylonische Gefangenschaft, Christus), die ihrerseits als zwei „vor dem Gesetz“ ''(ante legem),'' als drei „unter dem Gesetz“ ''(sub lege)'' und als ein Zeitalter der Gnade ''(sub gratia)'' gedeutet wurden, in der Deutung der sechs Lebensalter des Menschen und in der Deutung der Karwoche – in der sich am sechsten Tag ab der sechsten Stunde die Passion Christi erfüllt – und vieler anderer biblischer und außerbiblischer Senare mehr. |
Meist nicht mit dieser detaillierten Deutung des latenten ''ordo,'' aber zumindest in der allgemeinen Deutung als arithmetischer ''numerus perfectus'' wurde dieses Verständnis des Sechstagewerks zum Gemeingut der mittelalterlichen Exegese und zum Ausgangspunkt für die Deutung auch nahezu aller anderen Vorkommensweisen der Sechszahl in der Bibel und Heilsgeschichte – so unter anderem in der Deutung der aus den Schöpfungstagen abgeleiteten sechs Weltalter (Adam, Noah, Abraham, David, babylonische Gefangenschaft, Christus), die ihrerseits als zwei „vor dem Gesetz“ ''(ante legem),'' als drei „unter dem Gesetz“ ''(sub lege)'' und als ein Zeitalter der Gnade ''(sub gratia)'' gedeutet wurden, in der Deutung der sechs Lebensalter des Menschen und in der Deutung der Karwoche – in der sich am sechsten Tag ab der sechsten Stunde [[die Passion Christi]] erfüllt – und vieler anderer biblischer und außerbiblischer Senare mehr. |
||
=== Dichtung === |
=== Dichtung === |
||
Zeile 246: | Zeile 261: | ||
== Siehe auch == |
== Siehe auch == |
||
* [[Descartes-Zahlen]] |
|||
* [[Kanada-vollkommene Zahl]] |
* [[Kanada-vollkommene Zahl]] |
||
* [[Liste der Zahlenarten]] |
* [[Liste der Zahlenarten]] |
||
Zeile 289: | Zeile 305: | ||
* Ullrich Kühnel: ''Verschärfung der notwendigen Bedingungen für die Existenz von ungeraden vollkommenen Zahlen.'' In: ''[[Mathematische Zeitschrift]].'' Band 52, Nr. 1, 1950, S. 202–211, [[doi:10.1007/BF02230691]]. |
* Ullrich Kühnel: ''Verschärfung der notwendigen Bedingungen für die Existenz von ungeraden vollkommenen Zahlen.'' In: ''[[Mathematische Zeitschrift]].'' Band 52, Nr. 1, 1950, S. 202–211, [[doi:10.1007/BF02230691]]. |
||
* {{Literatur |
* {{Literatur |
||
|Autor=[[József Sándor]], Dragoslav S. Mitrinović, Borislav Crstici |
|Autor=[[József Sándor (Mathematiker)|József Sándor]], Dragoslav S. Mitrinović, Borislav Crstici |
||
|Titel=Handbook of Number Theory. I |
|Titel=Handbook of Number Theory. I |
||
|Verlag=Springer Verlag |
|Verlag=Springer Verlag |
||
Zeile 296: | Zeile 312: | ||
|ISBN=978-1-4020-4215-7}} |
|ISBN=978-1-4020-4215-7}} |
||
* {{Literatur |
* {{Literatur |
||
|Autor=[[József Sándor]], Borislav Crstici |
|Autor=[[József Sándor (Mathematiker)|József Sándor]], Borislav Crstici |
||
|Titel=Handbook of Number Theory. II |
|Titel=Handbook of Number Theory. II |
||
|Verlag=Kluwer Academic Publishers |
|Verlag=Kluwer Academic Publishers |
Aktuelle Version vom 14. November 2024, 21:25 Uhr
Eine natürliche Zahl wird vollkommene Zahl (auch perfekte Zahl) genannt, wenn sie gleich der Summe aller ihrer (positiven) Teiler außer sich selbst ist. Eine äquivalente Definition lautet: Eine vollkommene Zahl ist eine Zahl, die halb so groß ist wie die Summe aller ihrer positiven Teiler (sie selbst eingeschlossen), d. h. . Die kleinsten drei vollkommenen Zahlen sind 6, 28 und 496.[1] Beispiel: Die positiven Teiler von 28 sind 1, 2, 4, 7, 14, 28 und es gilt Alle bekannten vollkommenen Zahlen sind gerade und von Mersenne-Primzahlen abgeleitet. Es ist unbekannt, ob es auch ungerade vollkommene Zahlen gibt. Schon in der griechischen Antike waren vollkommene Zahlen bekannt, ihre wichtigsten Eigenschaften wurden in den Elementen des Euklid behandelt. Alle geraden vollkommenen Zahlen enden auf 6 oder 8. Vollkommene Zahlen waren oft Gegenstand zahlenmystischer und numerologischer Deutungen.
Gerade vollkommene Zahlen
[Bearbeiten | Quelltext bearbeiten]Die Teilersumme einer Zahl ist notwendigerweise kleiner als, größer als oder gleich . Im ersten Fall ist defizient, im zweiten Fall abundant und im dritten Fall vollkommen. Im Gegensatz zu defizienten und abundanten Zahlen sind vollkommene Zahlen sehr selten. Bereits Euklid stellte fest, dass sich die ersten vier vollkommenen Zahlen aus dem Term
durch Belegen von mit geeigneten Zahlen ergeben:
- Für :
- Für :
- Für :
- Für : .
2 | 6 |
3 | 28 |
5 | 496 |
7 | 8.128 |
13 | 33.550.336 |
17 | 8.589.869.056 |
19 | 137.438.691.328 |
31 | 2.305.843.008.139.952.128 |
61 | 2.658.455.991.569.831.744.654.692.615.953.842.176 |
89 | 191.561.942.608.236.107.294.793.378.084.303.638.130.997.321.548.169.216 |
107 | 13.164.036.458.569.648.337.239.753.460.458.722.910.223.472.318.386.943.117.783.728.128 |
127 | 14.474.011.154.664.524.427.946.373.126.085.988.481.573.677.491.474.835.889.066.354.349.131.199.152.128 |
Euklid bewies, dass immer dann eine vollkommene Zahl ist, wenn eine Primzahl ist. Dies sind die sogenannten Mersenne-Primzahlen. Fast 2000 Jahre später konnte Leonhard Euler beweisen, dass auf diese Weise alle geraden vollkommenen Zahlen erzeugt werden können: Gerade vollkommene Zahlen und Mersenne-Primzahlen sind einander umkehrbar eindeutig zugeordnet.[2]
Bis zum Oktober 2024 waren 52 Mersenne-Primzahlen bekannt; und zwar für folgende Exponenten : 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1.279, 2.203, 2.281, 3.217, 4.253, 4.423, 9.689, 9.941, 11.213, 19.937, 21.701, 23.209, 44.497, 86.243, 110.503, 132.049, 216.091, 756.839, 859.433, 1.257.787, 1.398.269, 2.976.221, 3.021.377, 6.972.593, 13.466.917, 20.996.011, 24.036.583, 25.964.951, 30.402.457, 32.582.657, 37.156.667, 42.643.801, 43.112.609, 57.885.161, 74.207.281, 77.232.917, 82.589.933, 136.279.841.[3] (Folge A000043 in OEIS)
Klassische Probleme
[Bearbeiten | Quelltext bearbeiten]- Offen ist, ob es unendlich viele vollkommene Zahlen gibt.
- Offen ist, ob es unendlich viele gerade vollkommene Zahlen gibt. Diese Frage deckt sich mit der Frage, ob es unendlich viele Mersenne-Primzahlen gibt.
- Offen ist, ob es überhaupt eine ungerade vollkommene Zahl gibt. Falls eine solche Zahl existiert, hat sie folgende Eigenschaften:[4][5][6]
- Sie ist größer als .[7]
- Sie hat die Form oder mit einer natürlichen Zahl . (Satz von Jacques Touchard).[8][9]
- Sie besitzt mindestens 9 verschiedene Primteiler (Nielsen).[10]
- Sie besitzt mindestens 12 verschiedene Primteiler, wenn sie nicht durch 3 teilbar ist (Nielsen).[10]
- Ist die Anzahl ihrer verschiedenen Primteiler und der kleinste von ihnen, so gilt (Satz von Otto Grün).
- Sie ist kleiner als , wobei die Anzahl ihrer verschiedenen Primteiler ist (Satz von D. R. Heath-Brown).
- Sie ist sogar kleiner als (Nielsen).[10]
- Sollte sie kleiner als sein, dann ist sie durch teilbar mit einer Primzahl , die größer als ist.
- Sie ist keine Quadratzahl.
- Ihr größter Primteiler ist größer als (Goto & Ohno).[10]
- Ihr zweitgrößter Primteiler ist größer als (Iannucci).[10]
- Ihr drittgrößter Primteiler ist größer als (Iannucci).[10]
Weitere Eigenschaften der vollkommenen Zahlen
[Bearbeiten | Quelltext bearbeiten]Summe der reziproken Teiler
[Bearbeiten | Quelltext bearbeiten]Die Summe der Kehrwerte aller Teiler einer vollkommenen Zahl (einschließlich der Zahl selbst) ergibt 2:
Beispiel:
- Für gilt:
Darstellung von Eaton (1995, 1996)
[Bearbeiten | Quelltext bearbeiten]Jede gerade vollkommene Zahl n > 6 hat die Darstellung
- mit und einer nichtnegativen ganzen Zahl .
Umgekehrt erhält man nicht zu jeder natürlichen Zahl eine vollkommene Zahl.
Beispiele:
- ergibt und (vollkommen).
- ergibt und (vollkommen).
- ergibt und (nicht vollkommen).
Summe der Kuben der ersten ungeraden natürlichen Zahlen
[Bearbeiten | Quelltext bearbeiten]Mit Ausnahme von 6 lässt sich jede gerade vollkommene Zahl darstellen als
wobei der Exponent der Mersenne-Primzahl aus der Darstellung ist.
Beispiele:
Bemerkung:
Für jedes und gilt:
- (Summenformel ungerader Kubikzahlen).
Insbesondere trifft das auch für alle Zweierpotenzen und mit zu:
Mit ungeradem kann man substituieren:
Die Darstellung als Summe von Kubikzahlen ist eine Eigenschaft, die nur sehr mittelbar etwas mit vollkommenen Zahlen
- mit p = 2, 3, 5, 7, 13, …
zu tun hat (erst nach dem Entfernen der ersten vollkommenen Zahl n(p=2)=6 und unter der Annahme, dass es keine ungeradzahligen vollkommenen Zahlen gibt), sondern eine Eigenschaft der Zahlenreihe
ist. Wir sehen auch, warum sie für die erste vollkommene Zahl nicht gelten kann ( ist nicht ungerade und daher nicht ganzzahlig).
Diese Gleichung wird übrigens für Zahlen neben acht vollkommenen Zahlen von insgesamt 2.659.147.948.473 Zahlen erfüllt.
Summe der ersten natürlichen Zahlen
[Bearbeiten | Quelltext bearbeiten]Jede gerade vollkommene Zahl lässt sich darstellen als
wobei die zugehörige Mersenne-Primzahl ist. Jede gerade vollkommene Zahl ist daher auch eine Dreieckszahl.
Beispiele:
Eine weitere Darstellung
[Bearbeiten | Quelltext bearbeiten]Jede gerade vollkommene Zahl lässt sich mit einer geeigneten natürlichen Zahl darstellen als
Binärsystem
[Bearbeiten | Quelltext bearbeiten]Eine gerade vollkommene Zahl erscheint im Dualsystem als charakteristische Folge von Einsen und Nullen.
Aufgrund ihrer Form stellt sie sich im Zahlensystem zur Basis 2 als Folge von Einsen und Nullen dar:
Quaternärsystem
[Bearbeiten | Quelltext bearbeiten]Eine gerade vollkommene Zahl erscheint im Quaternärsystem als charakteristische Folge von Dreien und Nullen.
Aufgrund ihrer Form stellt sie sich im Zahlensystem zur Basis 4 als Folge von Eins, Dreien und Nullen dar:
Verallgemeinerung der vollkommenen Zahlen
[Bearbeiten | Quelltext bearbeiten]Eine -vollkommene Zahl ist eine Zahl, deren Summe ihrer positiven Teiler, die kleiner als die Zahl selbst sind, das -Fache der Zahl selbst ergibt. Die vollkommenen Zahlen sind dann genau die -vollkommenen Zahlen. Alle -vollkommenen Zahlen mit sind trivialerweise abundante Zahlen.
Beispiel:
- 120 besitzt als positive Teiler <120 die Zahlen 1, 2, 3, 4, 5, 6, 8, 10, 12, 15, 20, 24, 30, 40, und 60. Die Summe dieser Zahlen ergibt , womit 120 eine -vollkommene Zahl ist.
Verwandtschaft mit anderen Zahlenklassen
[Bearbeiten | Quelltext bearbeiten]Abundante und defiziente Zahlen
[Bearbeiten | Quelltext bearbeiten]Abundante Zahlen sind solche natürliche Zahlen , bei denen die Summe der echten Teiler größer als die Zahl selbst ist. Defiziente Zahlen sind solche natürliche Zahlen, bei denen diese Summe kleiner als die Zahl selbst ist.
Die kleinste abundante Zahl ist die 12. Als Teilersumme ergibt sich . Die abundanten Zahlen bis 100 sind die folgenden:
- 12, 18, 20, 24, 30, 36, 40, 42, 48, 54, 56, 60, 66, 70, 72, 78, 80, 84, 88, 90, 96, 100, … (Folge A005101 in OEIS)
Die defizienten Zahlen sind fast alle anderen:
- 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 19, 21, 22, 23, 25, 26, 27, 29, 31, 32, 33, 34, 35, 37, 38, 39, … (Folge A005100 in OEIS)
Ist eine Zahl weder abundant noch defizient, so ist sie eine vollkommene Zahl.
Befreundete und gesellige Zahlen
[Bearbeiten | Quelltext bearbeiten]Zwei verschiedene natürliche Zahlen, bei denen die Summe der echten Teiler der ersten Zahl die zweite und die der zweiten Zahl die erste ist, nennt man ein befreundetes Zahlenpaar. Die kleinere von ihnen ist abundant und die größere ist defizient.
Beispiel:
- und bilden das kleinste Paar befreundeter Zahlen.
Werden mehr als zwei natürliche Zahlen benötigt, um auf diese Weise wieder zur Ausgangszahl zurückzukommen, spricht man von geselligen Zahlen (engl. sociable numbers).
Beispiel für 5 gesellige Zahlen:
- 12.496, 14.288, 15.472, 14.536, 14.264
Pseudovollkommene Zahlen
[Bearbeiten | Quelltext bearbeiten]Eine natürliche Zahl heißt pseudovollkommen, wenn sie sich als Summe einiger verschiedener echter Teiler darstellen lässt.
Beispiel:
- ist pseudovollkommen, aber nicht vollkommen, weil der Teiler 2 in der Summendarstellung fehlt.
Alle pseudovollkommenen Zahlen sind entweder vollkommen oder abundant.
Eine echte Teilmenge der pseudovollkommenen Zahlen bilden die primär pseudovollkommenen Zahlen: Sei eine zusammengesetzte Zahl und die Menge der Primteiler von . Die Zahl heißt primär pseudovollkommen, wenn gilt:
Äquivalent dazu ist die folgende Charakterisierung: Eine zusammengesetzte Zahl mit der Menge der Primteiler ist genau dann primär pseudovollkommen, wenn gilt: . Daran zeigt sich die enge Beziehung der primär pseudovollkommenen Zahlen zu den Giuga-Zahlen, die durch charakterisiert sind.
Die kleinsten bekannten primär pseudovollkommenen Zahlen sind (Folge A054377 in OEIS):
- 2 = 2
- 6 = 2 × 3
- 42 = 2 × 3 × 7
- 1806 = 2 × 3 × 7 × 43
- 47.058 = 2 × 3 × 11 × 23 × 31
- 2.214.502.422 = 2 × 3 × 11 × 23 × 31 × 47.059
- 52.495.396.602 = 2 × 3 × 11 × 17 × 101 × 149 × 3109
- 8.490.421.583.559.688.410.706.771.261.086 = 2 × 3 × 11 × 23 × 31 × 47.059 × 2.217.342.227 × 1.729.101.023.519
Es ist unbekannt, ob es unendlich viele primär pseudovollkommenen Zahlen gibt oder ob es ungerade primäre pseudoperfekte Zahlen gibt. (A054377)
Eigenschaften der primär pseudovollkommenen Zahlen:
- Alle primär pseudovollkommenen Zahlen sind quadratfrei.
- Die Zahl 6 ist die einzige primär pseudovollkommene Zahl, die zugleich vollkommen ist. Alle anderen primär pseudovollkommenen Zahlen sind abundant.
- Es existieren nur endlich viele primär pseudovollkommenen Zahlen mit einer vorgegebenen Anzahl von Primfaktoren.
- Es ist nicht bekannt, ob es unendlich viele primär pseudovollkommene Zahlen gibt.
Weird Numbers oder merkwürdige Zahlen
[Bearbeiten | Quelltext bearbeiten]Eine natürliche Zahl heißt weird (zu deutsch „merkwürdig“), wenn sie abundant, aber nicht pseudovollkommen ist. Sie lässt sich also nicht als Summe einiger ihrer echten Teiler darstellen, obwohl die Gesamtsumme ihrer echten Teiler die Zahl übersteigt.
Beispiel: Die Zahl 70 ist die kleinste merkwürdige Zahl. Sie kann nicht als Summe von Zahlen aus der Teilermenge geschrieben werden. Die nächsten merkwürdigen Zahlen sind 836, 4030, 5830, 7192, 7912, 9272, 10430. (Folge A006037 in OEIS)
Eigenschaften:
- Es existieren unendlich viele merkwürdige Zahlen.
- Alle bekannten merkwürdigen Zahlen sind gerade. Es ist unbekannt, ob eine ungerade merkwürdige Zahl existiert.
Erhabene Zahlen
[Bearbeiten | Quelltext bearbeiten]Sind sowohl die Teileranzahl als auch die Summe der Teiler einer natürlichen Zahl vollkommene Zahlen, dann bezeichnet man als erhaben. Zur Zeit (2010) sind nur zwei erhabene Zahlen bekannt: die 12 und eine Zahl mit 76 Stellen (Folge A081357 in OEIS).
Quasivollkommene Zahlen
[Bearbeiten | Quelltext bearbeiten]Quasivollkommene Zahlen (englisch quasiperfect numbers) ergeben sich als naheliegende Modifikation der vollkommenen Zahlen. Dazu nimmt man statt der ganzen Teilermenge einer natürlichen Zahl nur die nichttrivialen Teiler, also alle Teiler außer und selbst, und fordert, dass deren Summe gleich der Zahl sei. Ein ist demgemäß genau dann quasivollkommen, wenn die Gleichung
erfüllt ist.
Bislang (Stand: 2006) ist keine quasivollkommene Zahl bekannt. Man hat lediglich eine Reihe von notwendigen Bedingungen gefunden, denen jede quasivollkommene Zahl zu genügen hat, so etwa:[4][11][12]
- hat mindestens 7 verschiedene Primfaktoren.
- Für einen beliebigen Teiler der Teilersumme gilt stets die Kongruenzbeziehung oder .
Superperfekte Zahlen
[Bearbeiten | Quelltext bearbeiten]Wenn man von der Teilersumme einer natürlichen Zahl erneut die Teilersumme bildet und diese zweite Teilersumme doppelt so groß ist wie , also gilt, dann nennt man eine superperfekte Zahl (Folge A019279 in OEIS).
- Beispiele
- Die Zahl 2 hat die Teilersumme , 3 die Teilersumme . Wegen ist 2 superperfekt.
- Die vollkommene Zahl 6 hat die Teilersumme , 12 die Teilersumme . Daher ist 6 nicht superperfekt.
Vollkommene Zahlen in Spätantike und Mittelalter
[Bearbeiten | Quelltext bearbeiten]Boëthius
[Bearbeiten | Quelltext bearbeiten]Die arithmetischen Eigenschaften vollkommener Zahlen und zuweilen auch ihre arithmologische Deutung gehören in der Spätantike zum arithmetischen Lehrstoff und werden durch Boëthius in dessen Institutio arithmetica,[13] die ihrerseits weitgehend auf Nikomachos von Gerasa beruht,[14] an das lateinische Mittelalter weitergegeben. Seiner griechischen Vorlage folgend behandelt Boëthius die vollkommenen Zahlen (numeri perfecti secundum partium aggregationem)[15] als eine Unterart der geraden Zahlen (numeri pares) und erläutert ihr auf Euklid zurückgehendes Berechnungsprinzip in der Weise, dass die Glieder in der Reihe der gerad-geraden Zahlen (numeri pariter pares: 2n) miteinander zu addieren sind, bis ihre Summe eine Primzahl ergibt: multipliziert man diese Primzahl mit dem zuletzt addierten Reihenglied, so ergibt sich eine vollkommene Zahl. Boëthius führt diese Berechnungsweise in den einzelnen Schritten vor für die ersten drei vollkommenen Zahlen 6, 28 und 496 und erwähnt auch noch die vierte vollkommene Zahl 8128. Auf diesen Befund stützt sich bei Boëthius auch die ergänzende Beobachtung zur Gesetzmäßigkeit der vollkommenen Zahlen, dass sie in jeder Dekade (Zehnerpotenz) genau einmal aufträten und hierbei in den „Einern“ jeweils auf 6 oder 8 endeten. Die Darlegungen von Boëthius bildeten in den folgenden Jahrhunderten die Summe des arithmetischen Wissens über die vollkommenen Zahlen, die in den Traktaten De arithmetica, in Enzyklopädien wie den Etymologiae Isidors[16] und anderen didaktischen Werken mehr oder minder vollständig, aber ohne wesentliche Ergänzungen weitergereicht wurde, bis mit der Entdeckung der fünften vollkommenen Zahl (33550336) im 15. Jahrhundert erkannt wurde, dass die Annahme über die regelmäßige Verteilung auf die 'Dekaden' unzutreffend ist.[17]
Während Boëthius bei der Behandlung anderer Zahlenarten weitgehend auf den arithmetischen Lehrstoff beschränkt bleibt, bieten ihm die vollkommenen Zahlen Anlass auch für weitergehende, ethische Betrachtungen, bei denen sie den abundanten (plus quam perfecti, auch superflui oder abundantes genannt) und den defizitären Zahlen (inperfecti, auch deminuti oder indigentes genannt) gegenübergestellt werden: Während diese beiden Letzteren Zahlenarten den menschlichen Lastern gleichen, weil sie genau wie diese sehr verbreitet sind und sich keiner bestimmten Ordnung unterwerfen, verhalten sich die vollkommene Zahlen wie die Tugend, indem sie das rechte Maß, die Mitte zwischen Übermaß und Mangel, bewahren, äußerst selten anzutreffen sind und sich einer festen Ordnung unterwerfen. Boëthius deutet zugleich auch eine ästhetische Bevorzugung der vollkommenen Zahlen an, wenn er die abundanten mit Monstren aus der Mythologie wie dem dreiköpfigen Geryon vergleicht, während er die defizienten mit Missgestalten vergleicht, die, wie die einäugigen Zyklopen, durch ein zu wenig an natürlichen Körperteilen charakterisiert sind. Bei diesen Vergleichen, die Boëthius bereits aus seiner griechischen Vorlage übernimmt, steht im Hintergrund die Vorstellung, dass eine Zahl einen aus Gliedern (partes) zusammengesetzten Körper besitzt, sodass nur bei den vollkommenen Zahlen die Glieder der Zahl in einem ausgewogenen Verhältnis zu ihrem Körper stehen.
Bibelexegese
[Bearbeiten | Quelltext bearbeiten]Ihre eigentliche Bedeutung für die mittelalterliche Tradition entfalteten die vollkommenen Zahlen in der Bibelexegese, wo die Auslegung der sechs Schöpfungstage, an denen Gott die Werke seiner Schöpfung vollendete („consummavit“ in der Vetus Latina, „perfecit“ in der Vulgata des Hieronymus) den Ausgangspunkt bildete, um zwischen der arithmetischen Vollkommenheit der Sechszahl und der Vollkommenheit des göttlichen Schöpfungswerkes eine Verbindung herzustellen.[18] Die Sechszahl wurde in dieser Tradition geradezu ein Paradebeispiel für die Illustrierung der Auffassung, dass die göttliche Schöpfung nach Maß, Zahl und Gewicht geordnet ist. Maßgebend für die lateinische Welt wurde hierbei Augustinus,[19] der seinerseits Ansätze von Vorgängern aus der alexandrinischen Exegese weiterentwickelte. Augustinus hat sich in seinen exegetischen und homiletischen Werken sehr häufig zur Vollkommenheit der Sechszahl geäußert, am ausführlichsten in seinem Kommentar De genesi ad litteram,[20] wo er nicht nur den arithmetischen Sachverhalt erläutert und die theologische Frage erörtert, ob Gott die Sechszahl wegen ihrer Vollkommenheit wählte oder ihr erst durch seine Wahl diese Vollkommenheit verlieh, sondern zusätzlich auch an den Schöpfungswerken demonstriert, dass die Erfüllung der Sechszahl durch ihre Teile (partes) 1, 2 und 3 sich auch an der Beschaffenheit der Schöpfungswerke widerspiegelt und einem latenten ordo der Schöpfung entspricht:
- Der erste Schöpfungstag mit der Erschaffung des Lichts, die für Augustinus zugleich die Erschaffung der himmlischen Intelligenzen impliziert, steht als ein Tag für sich allein.
- Auf ihn folgen die zwei Tage, an denen das Weltgebäude, die fabrica mundi, geschaffen wurde: und zwar am zweiten Schöpfungstag zunächst deren oberer Bereich, das Firmament des Himmels, und am dritten Schöpfungstag der untere Bereich, das trockene Land und das Meer.
- Die letzten drei Tage bilden erneut eine Gruppe für sich, da an ihnen diejenigen Geschöpfe geschaffen wurden, die sich in dieser fabrica mundi bewegen und sie bevölkern und zieren sollten: am vierten Tag zunächst wieder im oberen Bereich die Himmelskörper, Sonne, Mond und Sterne, am fünften Tag dann im unteren Bereich die Tiere des Wassers und der Luft, und am sechsten Tag schließlich die Tiere des Landes und als vollkommenstes Werk zuletzt der Mensch.
Die Vollkommenheit der Sechszahl, die Augustinus zugleich auch als Dreieckszahl anspricht, ergibt sich durch diese sachliche Deutung gleich in zweifacher Weise: einerseits in der Aufeinanderfolge der Tage, andererseits aber auch dadurch, dass das Werk des ersten Tages keinem besonderen oberen oder unteren Bereich zugeordnet ist (hier symbolisiert durch Buchstabe A), die Werke der folgenden Tage dagegen jeweils entweder dem oberen (B) oder dem unteren (C) Bereich angehören, sodass sich auch insofern wieder eine vollkommene Ordnung von 1, 2 und 3 Tagen mit der Verteilung ergibt.
Meist nicht mit dieser detaillierten Deutung des latenten ordo, aber zumindest in der allgemeinen Deutung als arithmetischer numerus perfectus wurde dieses Verständnis des Sechstagewerks zum Gemeingut der mittelalterlichen Exegese und zum Ausgangspunkt für die Deutung auch nahezu aller anderen Vorkommensweisen der Sechszahl in der Bibel und Heilsgeschichte – so unter anderem in der Deutung der aus den Schöpfungstagen abgeleiteten sechs Weltalter (Adam, Noah, Abraham, David, babylonische Gefangenschaft, Christus), die ihrerseits als zwei „vor dem Gesetz“ (ante legem), als drei „unter dem Gesetz“ (sub lege) und als ein Zeitalter der Gnade (sub gratia) gedeutet wurden, in der Deutung der sechs Lebensalter des Menschen und in der Deutung der Karwoche – in der sich am sechsten Tag ab der sechsten Stunde die Passion Christi erfüllt – und vieler anderer biblischer und außerbiblischer Senare mehr.
Dichtung
[Bearbeiten | Quelltext bearbeiten]Hieran knüpften auch mittelalterliche Dichter zuweilen an, indem sie das arithmetische Verständnis in seiner bibelexegetischen inhaltlichen Prägung für den Aufbau ihrer Werke zugrunde legten.[21] So hat Alkuin ein metrisches Gedicht in sechs Strophen zu sechs Versen an Gundrada, eine Verwandte Karls des Großen, verfasst und in einer beigefügten Prosaerklärung erläutert, dass er die Sechszahl gewählt habe, um so auch die moralische perfectio der Empfängerin zu befördern:[22]
„Hoc carmen tibi cecini senario numero nobili, qui numerus perfectus est in partibus suis, te optans esse perfectum in sensibus tuis. Cuius numeri rationem, sicut et aliorum, sapientissimus imperator tuae perfacile ostendere potest sagacitati.“
„Dieses Gedicht habe ich dir in der edlen Sechszahl gesungen, die vollkommen ist in ihren Teilen, weil ich wünsche, dass du vollkommen seiest in deinen Sinnen. Was es mit dieser wie auch mit anderen Zahlen auf sich hat, wird der allerweiseste Kaiser deinem lernbegierigen Verstande mit Leichtigkeit darlegen können.“
Alkuins Schüler Hrabanus Maurus hat nicht nur auf ähnliche Weise in mehreren kürzeren Gedichten solche Beziehungen zur perfectio der Sechszahl hergestellt,[23] sondern auch in seinem poetischen Hauptwerk, dem Liber de laudibus sanctae crucis,[24] den Gesamtaufbau an der perfectio der 28 ausgerichtet. Dieses Werk besteht aus 28 Figurengedichten (carmina figurata), denen jeweils eine Prosaerklärung und im zweiten Buch eine Paraphrase in Prosa beigefügt ist. Die Figurengedichte selber sind in Hexametern von innerhalb des Gedichtes jeweils gleicher Buchstabenzahl verfasst und werden in den Handschriften ohne Wortabstände geschrieben, sodass der metrische Text jeweils als rechteckiger Block erscheint. Innerhalb dieses Blocks sind dann einzelne Buchstaben farblich und durch Umkreisungen hervorgehoben, die sich ihrerseits wieder zu neuen Texten, sogenannten versus intexti, zusammensetzen lassen. In der Prosaerklärung zur 28. und letzten dieser Figuren weist Hrabanus dann auch auf die Gründe für seine Wahl der Zahl 28 hin:[25]
„Continet autem totus liber iste viginti octo figuras metricas cum sequente sua prosa (…): qui numerus intra centenarium suis partibus perfectus est, ideo juxta hujus summam opus consummare volui, qui illam formam in eo cantavi quae consummatrix et perfectio rerum est.“
„Es enthält aber das gesamte Buch 28 metrische Figuren mit ihrer jeweils nachfolgenden Prosa (…): Diese Zahl ist im Bereich der Hundert diejenige, die durch ihre Teile erfüllt wird, und darum habe ich in dieser Summe auch dieses Werk vollenden wollen, der ich darin jene Form (d. h. das Kreuz Christi) besungen habe, die die Vollendung und Erfüllung aller Dinge ist.“
Wie in moderner Zeit Burkhard Taeger (1972) entdeckt hat,[26] greift das arithmetische Verständnis der Zahl auch noch tiefer in die formale Struktur des Werkes ein. Denn unterteilt man die 28 Figurengedichte nach der Anzahl ihrer Buchstaben pro Vers, so ergibt sich eine Gruppierung von 1, 2, 4, 7 und 14 Gedichten, sodass sich auch in der Binnenstruktur des Werkes die vollkommene Erfüllung der 28 durch ihre partes widerspiegelt.
Belege für poetische Adaptionen des zugrundeliegenden Zahlenverständnisses lassen sich auch im späteren Mittelalter finden,[27] und auch in der bildenden Kunst, wo man in der Regel ohne erklärende Zusätze zum Aufbau der Werke auskommen muss, kann man vermuten, dass etwa die 28 Fresken Giottos über das Leben des Hl. Franziskus in der Oberen Basilika von Assisi durch ihre Zahl die Vollkommenheit des Heiligen und die Christusähnlichkeit seines Lebens besiegeln wollen.[28]
Siehe auch
[Bearbeiten | Quelltext bearbeiten]Literatur
[Bearbeiten | Quelltext bearbeiten]- Stanley J. Bezuszka: Even Perfect Numbers – An Update. In: Mathematics Teacher. Band 74, 1981, S. 460–463.
- Stanley J. Bezuszka, Margaret J. Kenney: Even Perfect Numbers: (Update)². In: Mathematics Teacher. Band 90, 1997, S. 628–633.
- Paul Erdős, János Surányi: Topics in the Theory of Numbers (= Undergraduate Texts in Mathematics). 2. Auflage. Springer, New York 2003, ISBN 0-387-95320-5 (englisch, ungarisch: Válogatott fejezetek a számelméletből. Übersetzt von Barry Guiduli).
- Otto Grün: Über ungerade vollkommene Zahlen. In: Mathematische Zeitschrift. Band 55, Nr. 3, 1952, S. 353–354, doi:10.1007/BF01181133.
- D. R. Heath-Brown: Odd perfect numbers. In: Mathematical Proceedings of the Cambridge Philosophical Society. Band 115, Nr. 2, 1994, S. 191–196, doi:10.1017/S0305004100072030 (Volltext [PDF; 117 kB; abgerufen am 16. Juni 2017]).
- Ullrich Kühnel: Verschärfung der notwendigen Bedingungen für die Existenz von ungeraden vollkommenen Zahlen. In: Mathematische Zeitschrift. Band 52, Nr. 1, 1950, S. 202–211, doi:10.1007/BF02230691.
- József Sándor, Dragoslav S. Mitrinović, Borislav Crstici: Handbook of Number Theory. I. Springer Verlag, Dordrecht 2006, ISBN 978-1-4020-4215-7.
- József Sándor, Borislav Crstici: Handbook of Number Theory. II. Kluwer Academic Publishers, Dordrecht/Boston/London 2004, ISBN 1-4020-2546-7.
- Wacław Sierpiński: Elementary Theory of Numbers (= North-Holland Mathematical Library. Band 31). 2. überarbeitete und erweiterte Auflage. North-Holland (u. a.), Amsterdam (u. a.) 1988, ISBN 0-444-86662-0.
Weblinks
[Bearbeiten | Quelltext bearbeiten]- Eric W. Weisstein: Perfect Number. In: MathWorld (englisch).
- Vollkommene Zahlen und Mersenne-Zahlen.
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ Auch wenn die 1 die Berechnungsformel erfüllen würde, zählt sie nicht, da sie nur durch sich selbst teilbar ist, was hier außen vor bleibt.
- ↑ Jochen Ziegenbalg: Elementare Zahlentheorie. Beispiele, Geschichte, Algorithmen. 2. Auflage. Springer, Wiesbaden 2015, ISBN 978-3-658-07170-7, S. 73 ff.
- ↑ List of known Mersenne prime numbers - PrimeNet. In: mersenne.org. Abgerufen am 28. Oktober 2024.
- ↑ a b Sierpiński: Elementary Theory of Numbers. S. 182 ff.
- ↑ Sándor-Crstici: Handbook of Number Theory. II. S. 23 ff.
- ↑ Sándor-Mitrinović-Crstici: Handbook of Number Theory. I. S. 100 ff.
- ↑ Pascal Ochem, Michaël Rao: Odd perfect numbers are greater than 101500. In: Mathematics of Computation. Band 81, Nr. 279, 1. Januar 2012, ISSN 0025-5718, S. 1869–1877, doi:10.1090/S0025-5718-2012-02563-4 (ams.org [abgerufen am 5. März 2017]).
- ↑ Judy A. Holdener: A theorem of Touchard on the form of odd perfect numbers. In: Am. Math. Mon. 109, No. 7, 661–663 (2002).
- ↑ Man erhält also den Rest 1 bei ganzzahliger Teilung durch 12 bzw. den Rest 9 bei ganzzahliger Teilung durch 36.
- ↑ a b c d e f Paolo Ribenboim: Die Welt der Primzahlen - Geheimnisse und Rekorde. 2. Auflage. Springer-Verlag, 2011, ISBN 978-3-642-18079-8, S. 86–87.
- ↑ Sándor-Crstici: Handbook of Number Theory. II. S. 36–37.
- ↑ Sándor-Mitrinović-Crstici: Handbook of Number Theory. I. S. 109–110.
- ↑ Boëthius: De institutione arithmetica libri duo. Hrsg. von Gottfried Friedleich (zusammen mit De institutione musica), Leipzig 1867, Nachdr. Minerva GmbH, Frankfurt am Main 1966; zur mittelalterlichen Rezeption siehe Pearl Kibre: The Boethian De Institutione Arithmetica and the Quadrivium in the Thirteenth Century University Milieu at Paris. In: Michael Masi (Hrsg.): Boethius and the Liberal Arts: A Collection of Essays. Verlag Peter Lang, Bern / Frankfurt am Main / Las Vegas 1981 (= Utah Studies in Literature and Linguistics, 18), S. 67–80; Michael Masi: The Influence of Boethius’ De Arithmetica on Late Medieval Mathematics. Ebenda, S. 81–95.
- ↑ Nikomachos von Gerasa: Arithmetica introductio. Hrsg. von Richard Hoche, Teubner Verlag, Leipzig 1866; zur Tradition vollkommener Zahlen in der byzantinischen Arithmetik siehe Nicole Zeegers-Vander Vorst: L’arithmétique d’un Quadrivium anonyme du XIe siècle. In: L’Antiquité classique. 32 (1963), S. 129–161, bes. S. 144 f.
- ↑ Boëthius: De institutione arithmetica. Lib. I, cap. 19–20, ed. Friedlein 1867, S. 39–45. Als von Boëthius unabhängige Darstellungen in der lateinischen Tradition siehe auch Martianus Capella: De nvptiis Philologiae et Mercvrii. VII, 753, hrsg. von James Willis, Teubner Verlag, Leipzig 1983; Macrobius: Commentarii in Somnium Scipionis. I, vi, 12, hrsg. von Jakob Willis, Teubner Verlag, Leipzig 1963; und Cassiodor: De artibus ac disciplinis liberalium litterarum. VII, PL 70,1206. Diese legen das gleiche arithmetische Verständnis dar, führen es aber weniger detailliert aus. Eine abweichende Begründung für die perfectio der Sechszahl bietet Vitruvius: De architectura. III, i, 6 (hrsg. und übers. von Curt Fensterbusch, Wissenschaftliche Buchgesellschaft, Darmstadt 1964), der damit aber keine mittelalterlichen Nachfolger gefunden zu haben scheint.
- ↑ Isidor von Sevilla: Etymologiae. VII, v. 9–11, hrsg. von Wallace M. Lindsay, Clarendon Press, Leipzig 1911.
- ↑ Stanley J. Bezuszka: Even Perfect Numbers – An Update. In: Mathematics Teacher. 74 (1981), S. 460–463. Zur Entdeckungsgeschichte weiterer vollkommener Zahlen bis 1997: Stanley J. Bezuszka, Margaret J. Kenney: Even Perfect Numbers: (Update)². In: Mathematics Teacher. 90 (1997), S. 628–633.
- ↑ Heinz Meyer: Die Zahlenallegorese im Mittelalter: Methode und Gebrauch. Wilhelm Finck Verlag, München 1975 (= Münstersche Mittelalter-Schriften 25.) S. 30–35; Heinz Meyer / Horst Suntrup (Hrsg.): Lexikon der mittelalterlichen Zahlenbedeutungen. Wilhelm Finck Verlag, München 1987 (= MMS 56.) Art. Sechs, Sp. 442–479.
- ↑ So in De Civitate Dei 11,30 [1]
- ↑ Augustinus: De genesi ad litteram. IV, 1–7, CSEL 28.1 (1894), S. 93–103; siehe auch De trinitate. IV, iv–vi, CCSL 50 (1968), S. 169–175.
- ↑ Zu den methodischen Voraussetzungen der Deutung von Zahlen und Zahlenverhältnissen im Aufbau mittelalterlicher Literatur siehe Ernst Hellgardt: Zum Problem symbolbestimmter und formalästhetischer Zahlenkomposition in mittelalterlicher Literatur. C. H. Beck, München 1973 (= Münchener Texte und Untersuchungen. Band 45), ISBN 978-3-4060-2845-8; Otfried Lieberknecht: Allegorese und Philologie: Überlegungen zum Problem des mehrfachen Schriftsinns in Dantes Commedia. Franz Steiner Verlag, Stuttgart 1999 (= Text und Kontext, 14.) S. 133 ff. (Online-Version hier.)
- ↑ Alkuin: Epistola 309 (Ad Gundradam). In: Epistolae (in Quart) 4: Epistolae Karolini aevi (II). Herausgegeben von Ernst Dümmler u. a. Berlin 1895, S. 473–478 (Monumenta Germaniae Historica, Digitalisat) Übersetzung zitiert nach Paul Klopsch (Hrsg.): Lateinische Lyrik des Mittelalters. Reclam-Verlag, Stuttgart 1985 (= Reclams Universal-Bibliothek, 8088.).
- ↑ Carmina. In: Poetae Latini medii aevi 2: Poetae Latini aevi Carolini (II). Herausgegeben von Ernst Dümmler. Berlin 1884, S. 154–258 (Monumenta Germaniae Historica, Digitalisat). Z. B. Carm. XVIII, vv. 55–60 an Erzbischof Otgar von Mainz, wo die Zahl der 66 Verse mit dem Wunsch begründet wird, dass der Empfänger „vollkommen an Sitten und ein dem vollkommenen Herrn gehörig folgender Diener“ (perfectus moribus atque / Perfectum dominum rite sequens famulus) sein möge.
- ↑ Hier zitiert nach Mignes Nachdruck der Ausgabe Wimpfelings: Hrabanus Maurus: De laudibus sanctae crucis. PL 107, 133–294, vgl. die neue kritische Ausgabe von Michel Perrin: In honorem sanctae crucis. CCCM 100 (1997) und die Faksimileausgabe von Kurt Holter (Hrsg.): Liber de laudibus Sanctae Crucis. Vollständige Faksimile-Ausgabe im Originalformat des Codex Vindobonensis 652 der Österreichischen Nationalbibliothek. Akademische Druck- und Verlagsanstalt, Graz 1973 (= Codices selecti, 33.).
- ↑ Hrabanus Maurus: De laudibus sanctae crucis. Lib. I, figura XXVIII, PL 107,264; als Beispiel für eine Anwendung der Sechs als vollkommene Zahl siehe auch figura XXIII und die declaratio figurae, PL 107, 239–242.
- ↑ Burkhard Taeger: Zahlensymbolik bei Hraban, bei Hincmar – und im ‘Heliand’? H. C. Beck, München 1972 (= Münchener Texte und Untersuchungen, 30.).
- ↑ Zu Dante Alighieri siehe Otfried Lieberknecht: „Vollkommene Zahlen“ in der Arithmetik, geistlichen Exegese und literarischen Zahlenkomposition des Mittelalters. Vortrag, Universität Kaiserslautern, Sonderveranstaltung Geschichte der Mathematik, 18. Februar 1998; ders.: Dante’s Historical Arithmetics: The Numbers Six and Twenty-eight as “numeri perfecti secundum partium aggregationem” in Inferno XXVIII. Vortrag, 32nd International Congress on Medieval Studies, Western Michigan University, Kalamazoo, 1997.
- ↑ Vgl. auch Fritz Tschirch: Literarische Bauhüttengeheimnisse. Vom symbolbestimmten Umfang mittelalterlicher Dichtungen. In: Ders.: Spiegelungen. Untersuchungen vom Grenzrain zwischen Germanistik und Theologie. Erich Schmidt Verlag, Berlin 1966, S. 212–225, hier S. 213 zur Zahl 28.