Der Totient einer Zahl ${\displaystyle k}$ ist in der Zahlentheorie definiert als ${\displaystyle \varphi (k)}$, welche auch Eulersche Phi-Funktion genannt wird und angibt, wie viele zu ${\displaystyle k}$ teilerfremde natürliche Zahlen ${\displaystyle x}$ es gibt, die nicht größer als ${\displaystyle k}$ sind.

Eine perfekt totiente Zahl (vom englischen perfect totient number) ist eine natürliche Zahl ${\displaystyle n}$, die man wie folgt erhält:

Man beginne mit der Zahl ${\displaystyle n}$ und bilde ihren Totienten ${\displaystyle \varphi (n)}$. Nun bildet man von diesem Totienten ${\displaystyle \varphi (n)}$ den Totienten ${\displaystyle \varphi (\varphi (n))}$ und so fort, bis man den Wert ${\displaystyle 1}$ erreicht. Addiert man jetzt die so erhaltenen Totienten und erhält als Summe genau die Ausgangszahl ${\displaystyle n}$, so ist ${\displaystyle n}$ eine perfekt totiente Zahl.

Mathematisch formuliert bedeutet das:

Sei ${\displaystyle \varphi ^{i}(n):=\left\{{\begin{matrix}\varphi (n)&{\mbox{ für }}i=1\\\varphi (\varphi ^{i-1}(n))&{\mbox{ sonst}}\end{matrix}}\right.}$

für die iterierten Totienten.

Sei weiters ${\displaystyle c}$ eine natürliche Zahl mit ${\displaystyle \varphi ^{c}(n)=2}$.

Dann ist ${\displaystyle n}$ eine perfekt totiente Zahl, wenn gilt:

${\displaystyle n=\sum _{i=1}^{c+1}\varphi ^{i}(n)}$

Diese Zahlen wurden erstmals vom Mathematiker Laureano Pérez-Cacho im Jahr 1939 untersucht. Nach einer längeren Pause beschäftigte sich im Jahr 1975 der Mathematiker T. Venkataraman und im Jahr 1982 die beiden Mathematiker A. L. Mohan und D. Suryanarayana mit diesen Zahlen.

Beispiele

• Sei ${\displaystyle n=9}$.

Zur Zahl ${\displaystyle n=9}$ gibt es ${\displaystyle 6}$ teilerfremde Zahlen, welche kleiner als ${\displaystyle n=9}$ sind, nämlich ${\displaystyle 1,2,4,5,7}$ und ${\displaystyle 8}$. Somit ist ${\displaystyle \varphi (9)=6}$.

Nun bestimmt man den Totienten von ${\displaystyle 6}$. Zur Zahl ${\displaystyle 6}$ gibt es nur ${\displaystyle 2}$ teilerfremde Zahlen, welche kleiner als ${\displaystyle 6}$ sind, nämlich ${\displaystyle 1}$ und ${\displaystyle 5}$. Somit ist ${\displaystyle \varphi (6)=2}$.

Bleibt noch die Bestimmung des Totienten von ${\displaystyle 2}$. Zur Zahl ${\displaystyle 2}$ gibt es nur eine teilerfremde Zahl, welche kleiner als ${\displaystyle 2}$ ist, nämlich ${\displaystyle 1}$. Somit ist ${\displaystyle \varphi (2)=1}$.

Man erhält ${\displaystyle \varphi (\varphi (\varphi (9)))=\varphi (\varphi (6))=\varphi (2)=1}$.

Addiert man nun die so erhaltenen Totienten, erhält man ${\displaystyle 6+2+1=9=n}$, die Ausgangszahl. Also ist ${\displaystyle n=9}$ eine perfekt totiente Zahl.

• Die folgenden Zahlen sind die kleinsten perfekt totienten Zahlen:

3, 9, 15, 27, 39, 81, 111, 183, 243, 255, 327, 363, 471, 729, 2187, 2199, 3063, 4359, 4375, 5571, 6561, 8751, 15723, 19683, 36759, 46791, 59049, 65535, 140103, 177147, 208191, 441027, 531441, 1594323, 4190263, 4782969, 9056583, 14348907, 43046721, … (Folge A082897 in OEIS)

Es gibt 61 perfekt totiente Zahlen, welche kleiner als eine Billion (also kleiner als ${\displaystyle 10^{12}}$) sind.

Eigenschaften

• Jede perfekt totiente Zahl ist ungerade.

Beweis:

Eine Eigenschaft der Totienten ist, dass ${\displaystyle \varphi (n)}$ für ${\displaystyle n\geq 3}$ immer eine gerade Zahl ergibt (nur ${\displaystyle \varphi (1)=\varphi (2)=1}$ ergibt einen ungeraden Totienten). Somit müssen bei der Kontrolle, ob eine Zahl eine perfekt totiente Zahl ist oder nicht, anfangs immer nur gerade Zahlen aufaddiert werden, was letztendlich als Summe wiederum eine gerade Zahl ergibt. Ganz zum Schluss muss aber zu dieser geraden Zahl noch ${\displaystyle \varphi (2)=1}$, eine ungerade Zahl, hinzuaddiert werden, womit man als Gesamtsumme eine ungerade Zahl erhält. Diese Totienten-Gesamtsumme ist aber der Wert der perfekt totienten Zahl, woraus man folgern kann, dass alle perfekt totienten Zahlen ungerade sein müssen. ${\displaystyle \Box }$

• Alle Zahlen der Form ${\displaystyle n=3^{k}}$ mit ${\displaystyle k\in \mathbb {N} }$, ${\displaystyle k>0}$, sind perfekte totiente Zahlen.

• Die meisten der bekannten perfekt totienten Zahlen sind Vielfache von Potenzen von ${\displaystyle 3}$, also von der Form ${\displaystyle n=x\cdot 3^{k}}$. Die kleinste perfekt totiente Zahl, die nicht durch ${\displaystyle 3}$ teilbar ist, ist ${\displaystyle n=4375}$.
• Sei ${\displaystyle n_{i}}$ die ${\displaystyle i}$-te perfekt totiente Zahl. Für die ersten 64 bekannten perfekt totienten Zahlen gilt:

${\displaystyle n_{i}\approx 1,56^{i}}$

• Das Produkt der ersten ${\displaystyle n}$ Fermat-Primzahlen ist eine perfekt totiente Zahl.

Beispiele:

Im Moment sind nur die fünf Fermat-Primzahlen ${\displaystyle 3,5,17,257}$ und ${\displaystyle 65537}$ bekannt. Multipliziert man sie miteinander, erhält man die Zahlen ${\displaystyle 3,15,255,65535}$ und ${\displaystyle 4294967295}$, welche tatsächlich allesamt perfekt totiente Zahlen sind.

• Sei ${\displaystyle n:=3p}$ mit primen ${\displaystyle p\in \mathbb {P} }$, ${\displaystyle p>3}$. Dann gilt:

${\displaystyle n}$ ist eine perfekt totiente Zahl genau dann, wenn ${\displaystyle p=4k+1}$ und ${\displaystyle k}$ ist selbst eine perfekt totiente Zahl.

Dieser Satz konnte schon im Jahr 1939 von L. P. Cacho bewiesen werden.

Beispiel:

Die Zahl ${\displaystyle k=9}$ ist eine perfekt totiente Zahl. Es ist ${\displaystyle p=4k+1=4\cdot 9+1=37}$ eine Primzahl. Man erhält die Zahl ${\displaystyle n=3p=3\cdot 37=111}$, welche tatsächlich eine perfekt totiente Zahl ist.

• Sei ${\displaystyle p:=4\cdot 3^{k}+1}$ eine Primzahl mit natürlichem ${\displaystyle k>0}$. Dann gilt:

${\displaystyle n=3p}$ ist eine perfekt totiente Zahl.

Dieser Satz wurde vom Mathematiker T. Venkataraman im Jahr 1975 bewiesen.

Die folgende Liste gibt die kleinsten ${\displaystyle k}$ an, für welche Zahlen der Form ${\displaystyle p=4\cdot 3^{k}+1}$ Primzahlen sind:

0, 1, 2, 3, 6, 14, 15, 39, 201, 249, 885, 1005, 1254, 1635, 3306, 3522, 9602, 19785, 72698, 233583, 328689, 537918, 887535, 980925, 1154598, 1499606, … (Folge A005537 in OEIS)

• Sei ${\displaystyle n:=3p}$ mit primen ${\displaystyle p\in \mathbb {P} }$, ${\displaystyle p\equiv 3{\pmod {4}}}$. Dann gilt:

${\displaystyle n}$ ist keine perfekt totiente Zahl.

Dieser Satz wurde von den beiden Mathematikern A. L. Mohan und D. Suryanarayana im Jahr 1982 bewiesen.

Siehe auch

• Eulersche Phi-Funktion
• Hochkototiente Zahl
• Hochtotiente Zahl
• Hochzusammengesetzte Zahl
• Nichtkototient
• Nichttotient
• Spärlich totiente Zahl

Literatur

• A. L. Mohan, D. Suryanarayana: Perfect totient numbers. In: Krishnaswami Alladi (Hrsg.): Number Theory (= Lecture Notes in Mathematics. Band 938). Springer, Berlin/Heidelberg 1982, ISBN 978-3-540-11568-7, S. 101–105, doi:10.1007/BFb0097177 (englisch). 
• Jozsef Sándor, Borislav Crstici: Handbook of Number Theory II. Kluwer Academic Publishers, Dordrecht/Boston/London 2004, ISBN 1-4020-2546-7, Abschnitt „Perfect totient numbers and related results“, S. 240–242 (englisch, Online [abgerufen am 28. März 2020]). 

Weblinks

• T. Venkataraman: Perfect totient number. The Mathematics Student 43, 1975, S. 178, abgerufen am 25. März 2020. 
• Douglas E. Iannucci, Deng Moujie, Graeme L. Cohen: On Perfect Totient Numbers. (PDF). Journal of Integer Sequences 6, Article 03.4.5, 2003, S. 1–7, abgerufen am 25. März 2020. 
• Florian Luca: On the Distribution of Perfect Totients. (PDF). Journal of Integer Sequences 9, Article 06.4.4, 2006, S. 1–17, abgerufen am 25. März 2020. 
• Igor E. Shparlinski: On the Sum of Iterations of the Euler Function. Journal of Integer Sequences 9, Article 06.1.6, 2006, S. 1–5, abgerufen am 25. März 2020. 
• Paul Loomis, Michael Plytage & John Polhill: Summing Up the Euler φ Function. The College Mathematics Journal 39 (1), Januar 2008, S. 34–42, abgerufen am 25. März 2020. 
• perfect totient number. In: PlanetMath. (englisch)
• Perfect totient numbers. Programmcodes für perfekt totiente Zahlen. Rosettacode.org, 14. März 2020, abgerufen am 25. März 2020. 

Einzelnachweise

1. 1 2 Laureano Pérez-Cacho (1939). "Sobre la suma de indicadores de ordenes sucesivos". Revista Matematica Hispano-Americana. 5 (3): S. 45–50.
2. 1 2 T. Venkataraman: Perfect totient number. The Mathematics Student 43, 1975, S. 178, abgerufen am 25. März 2020. 
3. ↑ A. L. Mohan, D. Suryanarayana: Perfect Totient Numbers. Springer, Berlin, Heidelberg, 1982, S. 101–105, abgerufen am 25. März 2020. 
4. ↑ Liste der ersten 64 perfekt totienten Zahlen auf OEIS A082897
5. ↑ Robert Munafo: Sequence A082897: Perfect Totient Numbers. 2020, abgerufen am 25. März 2020. 
6. 1 2 Comments zu OEIS A082897
7. ↑ A. L. Mohan, D. Suryanarayana: Perfect Totient Numbers. Remark 1. Springer, Berlin, Heidelberg, 1982, S. 101, abgerufen am 25. März 2020. 
8. ↑ Douglas E. Iannucci, Deng Moujie, Graeme L. Cohen: On Perfect Totient Numbers. (PDF), Information vor der Tafel auf S. 2. Journal of Integer Sequences 6, Article 03.4.5, 2003, S. 1–7, abgerufen am 25. März 2020. 
9. ↑ A. L. Mohan, D. Suryanarayana: Perfect Totient Numbers. Theorem 1. Springer, Berlin, Heidelberg, 1982, S. 101, abgerufen am 25. März 2020.