Fröhliche Zahl

In der Zahlentheorie ist im Dezimalsystem eine fröhliche Zahl (vom englischen happy number) eine natürliche Zahl $n\in \mathbb{N}$, die als Ausgangswert für eine bestimmte Iterationsvorschrift nach endlich vielen Iterationsschritten zu dem Zahlenwert 1 führt, ähnlich dem Collatz-Problem.

Definition

Bei einer natürlichen Zahl $n$ mit der Dezimaldarstellung $n={\sum }_{i=0}^m{a}_i\cdot 10^i=a_0\cdot 10^0+a_1\cdot 10^1+\cdots +a_m\cdot 10^m$, wobei $0\le a_i\le 9$ und $a_i\in {\mathbb{N}}_0$, werden die einzelnen Ziffern $a_i$ quadriert und addiert, d. h., es wird

$s=\sum _{i=0}^m{a}_i^2=a_0^2+a_1^2+\cdots +a_m^2$

berechnet. Die daraus resultierende Zahl wird genauso behandelt. Ergibt sich irgendwann als Ergebnis eine 1, dann haben alle folgenden Zahlen ebenfalls diesen Wert, und die Zahl wird als fröhlich bezeichnet.

Alternative

Die einzige Alternative ist der Übergang in den einzigen, acht Zahlen umfassenden, periodischen Zyklus

$4⟶16⟶37⟶58⟶89⟶145⟶42⟶20⟶4$

Weitere Zyklen existieren nicht.

Beweis:

Sei $n$ eine $k$-stellige Zahl. Dann ist die Summe $s$ der Quadrate ihrer einzelnen Ziffern genau dann maximal, wenn die Zahl $n$ ausschließlich aus $9$er besteht. Die Summe der Quadrate der einzelnen Ziffern ist somit maximal $s\le k\cdot 9^2=81k$.

• Sei nun $n\ge 1000$ eine mindestens $4$-stellige Zahl. Dann ist $10^{k-1}\le n<10^k$ mit $k\ge 4$. Ein einzelner obiger Iterationsschritt führt dann auf eine Zahl $s\le 81k<10^{k-1}\le n$ (die Ungleichung $81k<10^{k-1}$ stimmt für $k\ge 4$). Das bedeutet, dass jede Zahl $n\ge 1000$ durch jeden einzelnen obigen Iterationsschritt jeweils auf eine kleinere Zahl führt, die weniger Stellen hat.
• Sei nun $n<1000$. Die maximale Summe $s$ der Quadrate der einzelnen Ziffern erhält man bei $n=999$ und beträgt $s=3\cdot 9^2=3\cdot 81=243$. Das bedeutet, dass jede Zahl $243<n<1000$ durch jeden einzelnen obigen Iterationsschritt auf eine Zahl $s$ führt, für welche $s\le 243$ gilt.
• Sei nun $100\le n\le 243$. Die maximale Summe $s$ der Quadrate der einzelnen Ziffern erhält man bei $n=199$ und beträgt $s=1^1+9^2+9^2=1+81+81=163$. Das bedeutet, dass jede Zahl $163<n\le 243$ durch jeden einzelnen obigen Iterationsschritt auf eine Zahl $s$ führt, für welche $s\le 163$ gilt.
• Sei nun $100\le n\le 163$. Die maximale Summe $s$ der Quadrate der einzelnen Ziffern erhält man bei $n=159$ und beträgt $s=1^1+5^2+9^2=1+25+81=107$. Das bedeutet, dass jede Zahl $107<n\le 163$ durch jeden einzelnen obigen Iterationsschritt auf eine Zahl $s$ führt, für welche $s\le 107$ gilt.
• Sei nun $100\le n\le 107$. Die maximale Summe $s$ der Quadrate der einzelnen Ziffern erhält man bei $n=107$ und beträgt $s=1^1+0^2+7^2=1+0+49=50$. Das bedeutet, dass jede Zahl $100\le n\le 107$ durch jeden einzelnen obigen Iterationsschritt auf eine Zahl $s$ führt, für welche $s\le 50$ gilt.

Zusammenfassend wurde somit gezeigt, dass jeder obige Iterationsschritt für jede Zahl $n>99$ auf eine kleinere Zahl $s$ führt und man letztendlich bei einer Zahl $n<100$ landet. Wenn man alle diese wenigen Zahlen $1\le n<100$ untersucht, kann man feststellen, dass sie alle entweder fröhlich sind (also in $s=1$ münden), oder in dem erwähnten Zykel enden. $◻$

Beispiele für fröhliche Zahlen

• $n=19$ ist eine fröhliche Zahl:

$19⟶1^2+9^2=82⟶8^2+2^2=68⟶6^2+8^2=100⟶1^2+0^2+0^2=1$

• Es gibt 143 fröhliche Zahlen, die kleiner oder gleich 1000 sind. Diese lauten:

1, 7, 10, 13, 19, 23, 28, 31, 32, 44, 49, 68, 70, 79, 82, 86, 91, 94, 97, 100, 103, 109, 129, 130, 133, 139, 167, 176, 188, 190, 192, 193, 203, 208, 219, 226, 230, 236, 239, 262, 263, 280, 291, 293, 301, 302, 310, 313, 319, 320, 326, 329, 331, 338, 356, 362, 365, 367, 368, 376, 379, 383, 386, 391, 392, 397, 404, 409, 440, 446, 464, 469, 478, 487, 490, 496, 536, 556, 563, 565, 566, 608, 617, 622, 623, 632, 635, 637, 638, 644, 649, 653, 655, 656, 665, 671, 673, 680, 683, 694, 700, 709, 716, 736, 739, 748, 761, 763, 784, 790, 793, 802, 806, 818, 820, 833, 836, 847, 860, 863, 874, 881, 888, 899, 901, 904, 907, 910, 912, 913, 921, 923, 931, 932, 937, 940, 946, 964, 970, 973, 989, 998, 1000, … (Vorlage:OEIS)

• Das erste Paar aufeinanderfolgender fröhlicher Zahlen ist das Paar $n_1=31$ und $n_2=32$. Die folgende Liste gibt Aufschluss über die kleinsten weiteren Paare aufeinanderfolgender fröhlicher Zahlen, welche kleiner als 1000 sind (wobei immer nur der kleinere der beiden angegeben wird):

31, 129, 192, 262, 301, 319, 367, 391, 565, 622, 637, 655, 912, 931, … (Vorlage:OEIS)

• Das erste Tripel (also Dreiertupel) aufeinanderfolgender fröhlicher Zahlen ist das Tripel $n_1=1880$, $n_2=1881$ und $n_3=1882$. Der folgenden Liste kann man die kleinsten weiteren Tripel aufeinanderfolgender fröhlicher Zahlen entnehmen, welche kleiner als 10000 sind (wobei immer nur der kleinste der drei angegeben wird):

1880, 4780, 4870, 7480, 7839, 7840, 8180, 8470, 8739, 8740, 8810, … (Vorlage:OEIS)

• Die folgende Liste gibt an, wie viele fröhliche Zahlen es gibt, welche kleiner oder gleich $10^k$ für $k\in \mathbb{N}$ gibt (beginnend mit $k=1$):

3, 20, 143, 1442, 14377, 143071, 1418854, 14255667, 145674808, 1492609148, 15091199357, 149121303586, 1443278000870, 13770853279685, 130660965862333, 1245219117260664, 12024696404768025, 118226055080025491, 1183229962059381238, 12005034444292997294, … (Vorlage:OEIS)

Beispiel: An der 7. Stelle obiger Liste steht die Zahl $1418854$. Es gibt also insgesamt $1418854$ verschiedene fröhliche Zahlen, welche kleiner oder gleich $10^7$ sind.

Eigenschaften von fröhlichen Zahlen

• Keine einzige Zahl außer $n=1$ ist die Summe der Quadrate ihrer eigenen Ziffern.

Beweis:

Würde es eine solche Zahl $n=1$ geben, die gleichzeitig die Summe $s$ der Quadrate ihrer eigenen Ziffern ist (also $n=s$), so würde diese Zahl, wenn man obige Iterationsschritte auf sie anwendet, jedes Mal in sich selbst enden und somit weder in $n=1$ noch in obigem angegebenen einzig möglichen Zykel münden. Weiter oben wurde aber bewiesen, dass nur diese beiden Fälle auftreten können. Somit kann es keine Zahl $n=1$ geben, welche die Summe der Quadrate ihrer eigenen Ziffern ist. $◻$

• Es gibt unendlich viele fröhliche Zahlen.

Beweis:

$n=1$ ist eine fröhliche Zahl. Wendet man obige Iterationen auf Zahlen der Form $n=10^k$ mit $k\in \mathbb{N}$ an, so erhält man als Summe $s$ der Quadrate ihrer Ziffern schon mit einem einzigen Iterationsschritt den Wert $s=1$. Somit sind alle Zahlen der Form $n=10^k$ fröhlich. Weil es unendlich viele Zahlen dieser Form $n=10^k$ gibt, gibt es auch unendlich viele fröhliche Zahlen. $◻$

• Sei $n$ eine beliebige fröhliche Zahl. Dann erhält man beliebig viele weitere fröhliche Zahlen, indem man beliebig viele Nullen einfügt oder rausnimmt, da sich an der Summe der Quadrate ihrer Ziffern nichts ändert.
• Sei $m\in \mathbb{N}$ eine beliebige natürliche Zahl. Dann existiert mindestens ein $(m+1)$-Tupel von $m+1$ aufeinanderfolgender fröhlichen Zahlen $(n,n+1,n+2,\dots ,n+m)$.

Beweis: siehe

Beispiel:

Der erste Wert der kleinsten $m$-Tupel fröhlicher Zahlen (also $m$ aufeinanderfolgende fröhliche Zahlen) für aufsteigende $m=1,2,3,\dots$ sind:

1, 31, 1880, 7839, 44488, 7899999999999959999999996, 7899999999999959999999996, … (Vorlage:OEIS)

An der fünften Stelle obiger Liste steht die Zahl $n=44488$. Somit sind alle Zahlen des $5$er-Tupels $(44488,44489,44490,44491,44492)$ fröhliche Zahlen und es ist das kleinstmögliche $5$er-Tupel mit dieser Eigenschaft.

• Alle Zahlen der Form $n=10^k+3$ oder $n=10^k+9$ mit $k\in \mathbb{N},k>0$ sind fröhliche Zahlen.

Beweis:

Sei $n=10^k+3$ mit $k>0$ (diese Zahl $n$ beginnt mit der Ziffer $1$, hat danach $k-1$ Nullen und endet mit der Ziffer $3$). Die Summe $s$ der Quadrate der einzelnen Ziffern dieser Zahl $n$ ist $s=1^2+0^2+0^2+\cdots +0^2+3^2=1+9=10$. Diese Zahl $10$ ist aber fröhlich, weil $1^2+0^2=1$ ist. Somit ist $n=10^k+3$ fröhlich.

Sei $n=10^k+9$ mit $k>0$ (diese Zahl $n$ beginnt mit der Ziffer $1$, hat danach $k-1$ Nullen und endet mit der Ziffer $9$). Die Summe $s$ der Quadrate der einzelnen Ziffern dieser Zahl $n$ ist $s=1^2+0^2+0^2+\cdots +0^2+9^2=1+81=82$. Wendet man obige Iterationsschritte auf die Zahl $82$ an, erhält man:

$82⟶8^2+2^2=68⟶6^2+8^2=100⟶1^2+0^2+0^2=1$.

Somit ist auch $n=10^k+9$ fröhlich. $◻$

• Vertauscht man die Ziffern einer fröhlichen Zahl, so erhält man wieder eine fröhliche Zahl.

Beweis:

Die Vertauschung der Ziffern einer fröhlichen Zahl ändert nichts an der Summe $s$ der Quadrate ihrer (nun vertauschten) Ziffern. Die Summe $s$ bleibt gleich. Führt die Iteration der ursprünglichen Zahl auf die Zahl $1$, so führt sie auch jetzt auf die Zahl $1$. $◻$

Vorlage:AnkerTraurige (nichtfröhliche) Zahlen

Eine natürliche Zahl $n\in \mathbb{N}$, die nicht fröhlich ist, ist eine traurige Zahl (oder auch nichtfröhliche Zahl) (vom englischen unhappy number oder sad number).

Beispiele für traurige (nichtfröhliche) Zahlen

• $n=4$ ist eine traurige (nichtfröhliche) Zahl:

$4⟶4^2=16⟶1^2+6^2=37⟶3^2+7^2=58⟶5^2+8^2=89⟶8^2+9^2=145$ $⟶1^2+4^2+5^2=42⟶4^2+2^2=20⟶2^2+0^2=4$

• $n=99$ ist eine traurige (nichtfröhliche) Zahl:

$99⟶9^2+9^2=162⟶1^2+6^2+2^2=41⟶4^2+1^2=17⟶1^2+7^2=50$ $⟶5^2+0^2=25⟶2^2+5^2=29⟶2^2+9^2=85⟶8^2+5^2=89⟶8^2+9^2=145$ $⟶1^2+4^2+5^2=42⟶4^2+2^2=20⟶2^2+0^2=4$

… und man endet somit im einzig möglichen Zykel wie im Beispiel direkt darüber.

Eigenschaften von traurigen Zahlen

• Es gibt unendlich viele traurige Zahlen.

Beweis:

Sei $n=2\cdot 10^k$ mit $k\in \mathbb{N}$. Wendet man obige Iterationen auf Zahlen dieser Form an, so erhält man als Summe $s$ der Quadrate ihrer Ziffern schon mit einem einzigen Iterationsschritt den Wert $s=2^2=4$ und befindet sich am Anfang des einzig möglichen Zykels, der nicht in der Zahl $1$ mündet (die Zahl $4$ ist, wie im Beispiel vorher gezeigt, eine traurige Zahl). Somit sind alle Zahlen der Form $n=2\cdot 10^k$ traurig. Weil es unendlich viele Zahlen dieser Form $n=2\cdot 10^k$ gibt, gibt es auch unendlich viele traurige Zahlen. $◻$

Vorlage:AnkerFröhliche Primzahlen

Eine Primzahl $n\in \mathbb{P}$, die fröhlich ist, nennt man fröhliche Primzahl.

Beispiele für fröhliche Primzahlen

• Die kleinsten fröhlichen Primzahlen, welche kleiner oder gleich 1000 sind, sind die folgenden:

7, 13, 19, 23, 31, 79, 97, 103, 109, 139, 167, 193, 239, 263, 293, 313, 331, 367, 379, 383, 397, 409, 487, 563, 617, 653, 673, 683, 709, 739, 761, 863, 881, 907, 937, … (Vorlage:OEIS).

• Die Carmichael-Zahl $n=1729$ ist das Produkt der ersten drei fröhlichen Primzahlen.
• Die Palindrom-Primzahl $p=10^{150006}+7426247\cdot 10^{75000}+1$ ist eine fröhliche Primzahl mit $150007$ Stellen, weil die Summe $s$ der Quadrate ihrer Ziffern gleich $s=1^2+0^2+\cdots +0^2+7^2+4^2+2^2+6^2+2^2+4^2+7^2+0^2+\cdots +0^2+1^2=176$ beträgt und $176$ eine fröhliche Zahl ist. Diese Primzahl hat Paul Jobling am 26. Dezember 2005 entdeckt.
• Die momentan (Stand: 26. Oktober 2024) größte bekannte fröhliche Primzahl ist die möglicherweise 52. Mersenne-Primzahl und gleichzeitig größte bekannte Primzahl $M_{136279841}=2^{136279841}-1$. Wenn man auf sie obige Iteration anwendet, erhält man:

$M_{136279841}=2^{136279841}-1⟶1169061131⟶167⟶86⟶100⟶1$

Sie hat 41024320 Stellen und wurde am 21. Oktober 2024 von Luke Durant entdeckt. Für die Berechnung der Iteration benötigt man nur wenige Sekunden mit einem geeigneten Mathematik-Programm.

Die zu eben diesem Zeitpunkt zweitgrößte bekannte Primzahl, die möglicherweise 51. Mersenne-Primzahl $M_{82589933}=2^{82589933}-1$ ist keine fröhliche Primzahl, weil obige Iterationen nicht auf 1, sondern in einem Zyklus enden:

$M_{82589933}=2^{82589933}-1⟶708638153⟶257⟶78⟶113⟶11⟶2⟶4⟶16⟶37⟶58⟶89⟶145⟶42⟶20⟶4⟶\dots$

Sie ist somit die größte bekannte traurige Primzahl.

Eigenschaften von fröhlichen Primzahlen

• Alle Primzahlen $p\in \mathbb{P}$ der Form $p=10^k+3$ oder $p=10^k+9$ mit $k\in \mathbb{N},k>0$ sind fröhliche Primzahlen.

Beweis:

Diese Eigenschaft resultiert aus der weiter oben schon bewiesenen Eigenschaft für fröhliche Zahlen, dass alle Zahlen der Form $n=10^k+3$ oder $n=10^k+9$ mit $k\in \mathbb{N},k>0$ fröhliche Zahlen sind. $◻$

• Vertauscht man die Ziffern einer fröhlichen Primzahl, so erhält man (im Gegensatz zu fröhlichen Zahlen) nicht wieder unbedingt eine fröhliche Primzahl.

Beweis:

Es genügt ein Gegenbeispiel: Die Zahl $p=19$ ist eine fröhliche Primzahl (siehe obige Liste). Vertauscht man ihre Ziffern, erhält man die Zahl $n=91$, welche keine Primzahl mehr ist. Sie ist zwar fröhlich, aber eben keine Primzahl mehr. (Die Zahl $n=91$ ist im Speziellen eine fröhliche Fermatsche Pseudoprimzahl zur Basis 3, was aber mit diesem Problem nichts zu tun hat.) $◻$

Fröhliche Zahlen in anderen Basen

Die obige Definition von fröhlichen Zahlen stützt sich auf das Dezimalsystem, also auf die Basis $b=10$. Dies kann man verallgemeinern:

Eine Zahl $n\in \mathbb{N}$ ist eine fröhliche Zahl zur Basis $b$, wenn die Summe der Quadrate ihrer Basis-$b$-Ziffern nach endlich vielen Iterationsschritten in der Zahl $1_b=1$ endet.

Beispiele für fröhliche Zahlen in anderen Basen

• Die Zahl $n=111_2=\underset{\_}{1}\cdot 2^2+\underset{\_}{1}\cdot 2^1+\underset{\_}{1}\cdot 2^0=4+2+1=7$ ist eine fröhliche Zahl zur Basis $b=2$, weil für die Summe $s$ der Quadrate ihrer Ziffern gilt:

$s=1^2+1^2+1^2=3=\underset{\_}{1}\cdot 2^1+\underset{\_}{1}\cdot 2^0=11_2$

$⟶s=1^2+1^2=2=\underset{\_}{1}\cdot 2^1+\underset{\_}{0}\cdot 2^0=10_2$

$⟶s=1^2+0^2=1=\underset{\_}{1}\cdot 2^0=1_2$

Eigenschaften von fröhlichen Zahlen in anderen Basen

• Alle Zahlen der Form $n=10_b^k$ mit $k\in {\mathbb{N}}_0$ sind fröhliche Zahlen zu jeder Basis $b$.

Beweis:

Sei $n=10_b^k$ mit $k\in {\mathbb{N}}_0$. Dann ist die Summe $s$ der Quadrate ihrer Ziffern gleich $s=1^2+0^2+\cdots +0^2=1=1_b$ und somit fröhlich. $◻$

• Zur Basis $b=2$ sind alle Zahlen fröhlich.

Beweisidee:

Alle binären Zahlen, welche größer als $n=1000_2$ sind, gehen nach mehrmaligen Iterationen in einen Wert $s$ über, welcher kleiner oder gleich $1000_2$ ist. Alle binären Zahlen, welche kleiner oder gleich $n=1000_2$ sind, sind aber fröhlich, wie die folgende Rechnung zeigt:

$s=1000_2⟶1_2$

$s=111_2⟶11_2⟶10_2⟶1_2$ (siehe obiges Beispiel)

$s=110_2⟶10_2⟶1_2$

$s=100_2⟶1_2$

$s=11_2⟶10_2⟶1_2$

$s=10_2⟶1_2$

Alle Sequenzen enden in der Zahl $s=1_2$, daraus folgt, dass alle Zahlen im Dualsystem (also zur Basis $b=2$) fröhlich sind. Dies macht die Basis $b=2$ zu einer fröhlichen Basis (vom englischen happy base). $◻$

• Die einzigen bekannten fröhlichen Basen sind die Basen $b=2$ und $b=4$. Es gibt keine weiteren bekannten Basen, welche kleiner als 500.000.000 sind.

Beweis: siehe

• Im Duodezimalsystem (also mit der Basis $b=12$) gibt es drei Fixpunkte, in denen obige Iterationen enden können: $1_{12}=1$, $25_{12}=29$ und $A{5}_{12}=125$ (die beiden Zahlen $25_{12}$ und $A{5}_{12}$ sind Armstrong-Zahlen zur Basis $b=12$ (Vorlage:OEIS)). Außerdem gibt es vier Zykel (dabei sei $A_{12}=10$ und $B_{12}=11$):

$5_{12}⟶21_{12}⟶5_{12}$ (im Dezimalsystem $5⟶25⟶5$, also ein Zykel der Länge $2$)

$8_{12}⟶54_{12}⟶35_{12}⟶2A_{12}⟶88_{12}⟶A{8}_{12}⟶118_{12}⟶56_{12}⟶51_{12}⟶22_{12}⟶8_{12}$ (ein Zykel der Länge $10$)

$18_{12}⟶55_{12}⟶42_{12}⟶18_{12}$ (ein Zykel der Länge $3$)

$68_{12}⟶84_{12}⟶68_{12}$ (ein Zykel der Länge $2$)

• Im Duodezimalsystem (also mit der Basis $b=12$) gibt es keine fröhlichen Zahlen zwischen $10_{12}=12$ und $100_{12}=144$.
• Im Hexadezimalsystem (also mit der Basis $b=16$) gibt es nur einen Fixpunkt, in denen obige Iterationen enden können: $1_{16}=1$. Außerdem gibt es auch nur einen Zykel:

$D_{16}⟶A{9}_{16}⟶B{5}_{16}⟶92_{16}⟶55_{16}⟶32_{16}⟶D_{16}$ (ein Zykel der Länge $6$)

Somit ist der Sachverhalt im Hexadezimalsystem ähnlich zu dem im Dezimalsystem.

Traurige Zahlen in anderen Basen

Eine traurige Zahl zur Basis $b$ führt nach obigen Iterationen zu einem Zykel von Zahlen.

Eigenschaften von traurigen Zahlen in anderen Basen

• Eine traurige Zahl zur Basis $b$ führt nach obigen Iterationen zu einem Zykel von Zahlen, welche (mit zu oben analogen Argumenten) allesamt kleiner als $1000_b$ sind. Wenn $n<1000_b$ ist, dann ist die Summe $s$ der Quadrate ihrer Basis-$b$-Ziffern kleiner oder gleich $3\cdot (b-1{)}^2$ (was $<b^3$ ist für $b\ge 5$). Dies zeigt, dass wenn eine Iteration eine Zahl kleiner als $1000_b$ erreicht, sie für den Rest der Sequenz immer unter $1000_b$ bleibt und somit entweder in einen Zykel oder in die Zahl $1_b$ übergehen muss (im ersten Fall ist sie traurig, im zweiten Fall fröhlich).

Verallgemeinerung von fröhlichen und nichtfröhlichen Zahlen

Man kann die Definition von fröhlichen Zahlen erweitern, indem man nicht die Summe $s$ der Quadrate der einzelnen Ziffern einer Zahl $n$ betrachtet, sondern die $m$-ten Potenzen der einzelnen Ziffern einer Zahl $n$. Die Basis sei in diesem Abschnitt immer $b=10$, also immer das Dezimalsystem.

Beispiele für verallgemeinerte fröhliche und nichtfröhliche Zahlen

• Die Zahl $n=1579$ ist eine verallgemeinerte fröhliche Zahl für $m=3$, weil gilt:

$1^3+5^3+7^3+9^3=1+125+343+729=1198$

$1^3+1^3+9^3+8^3=1+1+729+512=1243$

$1^3+2^3+4^3+3^3=1+8+64+27=100$

$1^3+0^3+0^3=1$

Kurz geschrieben: $1579⟶1198⟶1243⟶100⟶1$

• Die Zahl $n=99$ ist eine verallgemeinerte nichtfröhliche Zahl für $m=3$, weil gilt:

$9^3+9^3=729+729=1458$

$1^3+4^3+5^3+8^3=1+64+125+512=702$

$7^3+0^3+2^3=343+0+8=351$

$3^3+5^3+1^3=27+125+1=153$

$1^3+5^3+3^3=1+125+27=153$

Kurz geschrieben: $99⟶1458⟶702⟶351⟶153⟶153$

Somit bleibt die Zahl $n=99$ schon nach drei Iterationen "stecken" und verweilt dann quasi als Konstante bei der Zahl $153$. Weil sie somit nicht in der $1$ mündet, ist sie keine verallgemeinerte fröhliche, sondern eine verallgemeinerte nichtfröhliche Zahl.

Eigenschaften von verallgemeinerten fröhlichen und nichtfröhlichen Zahlen

• Sei $m=3$ (man betrachte also die Summe der 3. Potenzen der einzelnen Ziffern einer Zahl $n$). Kubiert man die einzelnen Ziffern einer Zahl $n>2916$ und summiert man diese auf, so erhält man die Summe $s$, für welche gilt: $s<n$

(Wenn man die Ziffern nicht kubiert, sondern wie ursprünglich nur quadriert, so gilt diese Aussage für $n>243$ und wurde zu Beginn dieses Artikels behandelt.)

Beweis:

Sei $n$ eine $k$-stellige Zahl. Dann ist die Summe $s$ der 3. Potenzen ihrer einzelnen Ziffern genau dann maximal, wenn die Zahl $n$ ausschließlich aus $9$er besteht. Die Summe der 3. Potenzen der einzelnen Ziffern ist somit maximal $s\le k\cdot 9^3=729k$.

• Sei nun $n\ge 10000$ eine mindestens $5$-stellige Zahl. Dann ist $10^{k-1}\le n<10^k$ mit $k\ge 5$. Ein einzelner obiger Iterationsschritt führt dann auf eine Zahl $s\le 729k<10^{k-1}\le n$ (die Ungleichung $729k<10^{k-1}$ stimmt für $k\ge 5$). Das bedeutet, dass jede Zahl $n\ge 10000$ durch jeden einzelnen obigen Iterationsschritt jeweils auf eine kleinere Zahl führt, die weniger Stellen hat.
• Sei nun $n<10000$. Die maximale Summe $s$ der Quadrate der einzelnen Ziffern erhält man bei $n=9999$ und beträgt $s=4\cdot 9^3=4\cdot 729=2916$. Das bedeutet, dass jede Zahl $2916<n<10000$ durch jeden einzelnen obigen Iterationsschritt auf eine Zahl $s$ führt, für welche $s\le 2916$ gilt. $◻$

• Sei $m=3$ (man betrachte also die Summe der 3. Potenzen der einzelnen Ziffern einer Zahl $n$). Dann münden verallgemeinerte nichtglückliche Zahlen entweder in eine der folgenden Konstanten:

$153$ oder $370$ oder $371$ oder $407$

oder in einen der folgenden vier Zykeln:

$133⟶55⟶250⟶133$ (Zykel der Länge $3$)

$217⟶352⟶160⟶217$ (Zykel der Länge $3$)

$1459⟶919$ (Zykel der Länge $2$)

$136⟶244$ (Zykel der Länge $2$)

Beweis:

Wegen voriger Eigenschaft muss man nur alle Zahlen bis $n\le 2916$ kontrollieren, wozu ein nicht besonders schneller Rechner ausreicht. Man erkennt, dass verallgemeinerte nichtfröhliche Zahlen in eine der obigen acht Möglichkeiten münden.

Für die ersten vier Konstanten gilt:

$153⟶1^3+5^3+3^3=1+125+27=153$ ergibt tatsächlich eine Konstante, die bei der Iteration in sich übergeht.

$370⟶3^3+7^3+0^3=27+343+0=370$ ergibt ebenfalls tatsächlich eine Konstante, die bei der Iteration in sich übergeht.

$371⟶3^3+7^3+1^3=27+343+1=371$ ergibt ebenfalls tatsächlich eine Konstante, die bei der Iteration in sich übergeht.

$407⟶4^3+0^3+7^3=64+0+343=407$ ergibt ebenfalls tatsächlich eine Konstante, die bei der Iteration in sich übergeht.

Für die weiteren vier Zykel gilt:

$133⟶1^3+3^3+3^3=1+27+27=55⟶5^3+5^3=125+125=250⟶2^3+5^3+0^3=8+125=133$ ergibt einen Zykel der Länge $3$.

$217⟶2^3+1^3+7^3=8+1+343=352⟶3^3+5^3+2^3=27+125+8=160⟶1^3+6^3+0^3=1+216+0=217$ ergibt ebenfalls einen Zykel der Länge $3$.

$1459⟶1^3+4^3+5^3+9^3=1+64+125+729=919⟶9^3+1^3+9^3=729+1+729=1459$ ergibt einen Zykel der Länge $2$.

$136⟶1^3+3^3+6^3=1+27+216=244⟶2^3+4^3+4^3=8+64+64=136$ ergibt einen Zykel der Länge $2$. $◻$

• Die einzigen Zahlen, die gleich der Summe der 3. Potenzen ihrer Ziffern sind, sind die folgenden Zahlen:

0, 1, 153, 370, 371, 407 (Vorlage:OEIS)

Beweis:

Gäbe es noch weitere Zahlen mit dieser Eigenschaft, so würde es bei der vorigen Eigenschaft noch weitere Varianten geben, dass verallgemeinerte nichtfröhliche Zahlen in speziellen Konstanten münden. Die vorige Eigenschaft gibt aber nur die Konstanten $153,370,371$ und $407$ an. Die beiden Zahlen $0$ und $1$ haben trivialerweise diese Eigenschaft. $◻$

• Sei $m=4$ (man betrachte also die Summe der 4. Potenzen der einzelnen Ziffern einer Zahl $n$). Dann münden verallgemeinerte nichtglückliche Zahlen $1\le n\le 100$ entweder in eine der folgenden Konstanten:

$1634$ oder $8208$ oder $9474$

oder in einem der beiden folgenden Zykel:

$13139⟶6725⟶4338⟶4514⟶1138⟶4179⟶9219⟶13139$ (Zykel der Länge $7$)

$6514⟶2178⟶6514$ (Zykel der Länge $2$)

Beweis:

Die Zahlen zwischen 1 und 100 kann man mit einem Computer schnell kontrollieren und stellt tatsächlich fest, dass sie in den folgenden Zahlen bzw. Zykel münden:

$1634⟶1^4+6^4+3^4+4^4=1+1296+81+256=1634$ ergibt tatsächlich eine Konstante, die bei der Iteration in sich übergeht.

$8208⟶8^4+2^4+0^4+8^4=4096+16+0+4096=8208$ ergibt ebenfalls eine Konstante, die bei der Iteration in sich übergeht.

$9474⟶9^4+4^4+7^4+4^4=6561+256+2401+256=9474$ ergibt ebenfalls eine Konstante, die bei der Iteration in sich übergeht.

$13139⟶1^4+3^4+1^4+3^4+9^4=1+81+1+81+6561=6725⟶6^4+7^4+2^4+5^4=1296+2401+16+625=4338⟶4^4+3^4+3^4+8^4=256+81+81+4096=4514⟶$

$⟶4^4+5^4+1^4+4^4=256+625+1+256=1138⟶1^4+1^4+3^4+8^4=1+1+81+4096=4197⟶4^4+1^4+9^4+7^4=256+1+6561+2401=9219⟶9^4+2^4+1^4+9^4=6561+256+1+6561=13379$ ergibt einen Zykel der Länge $7$.

$6514⟶6^4+5^4+1^4+4^4=1296+625+1+256=2178⟶2^4+1^4+7^4+8^4=16+1+2401+4096=6514$ ergibt einen Zykel der Länge $2$. $◻$

Siehe auch

• Harshad-Zahl
• Glückliche Zahl
• Narzisstische Zahl
• Münchhausen-Zahl

Weblinks

• Vorlage:MathWorld
• Vorlage:MathWorld
• Vorlage:MathWorld
• Walter Schneider: Vorlage:Webarchiv Mathews
• Vorlage:Internetquelle