Spärlich totiente Zahl

Der Totient einer Zahl ist in der Zahlentheorie definiert als , welche auch Eulersche Phi-Funktion genannt wird und angibt, wie viele zu teilerfremde natürliche Zahlen es gibt, die nicht größer als sind. Eine spärlich totiente Zahl (vom englischen sparsely totient number) ist eine natürliche Zahl , für welche für alle gilt:

.

Mit anderen Worten: Wenn die Totienten von allen Zahlen größer sind als der Totient von , so ist eine spärlich totiente Zahl.

Diese Zahlen wurden von David Masser und Peter Shiu im Jahr 1986 erstmals erwähnt.[1][2]

Beispiele

  • Die Totienten , also die Anzahl der zu teilerfremden natürlichen Zahlen , lauten (für ):
1, 1, 2, 2, 4, 2, 6, 4, 6, 4, 10, 4, 12, 6, 8, 8, 16, 6, 18, 8, 12, 10, 22, 8, 20, 12, 18, 12, 28, 8, 30, 16, 20, 16, 24, 12, 36, 18, 24, 16, 40, 12, 42, 20, 24, 22, 46, 16, 42, 20, 32, 24, 52, 18, 40, 24, 36, 28, 58, 16, 60, 30, 36, 32, 48, 20, 66, 32, 44, … (Folge A000010 in OEIS)
Beispiel:
An der 8. Stelle obiger Liste steht die Zahl . Die Zahl hat teilerfremde Zahlen, welche kleiner als sind, nämlich und . Daher ist tatsächlich .
An der 7. Stelle obiger Liste steht die Zahl . Die Zahl ist eine Primzahl und hat somit teilerfremde Zahlen, welche kleiner als sind, nämlich alle Zahlen von bis . Somit ist .
  • Die Zahl ist keine spärlich totiente Zahl:
Der Totient der Zahl ist , weil zu genau teilerfremde Zahlen existieren, welche kleiner als sind (nämlich ). Für alle größeren Zahlen müsste gelten. Dies ist aber nicht der Fall, weil zum Beispiel die Zahl genau teilerfremde Zahlen hat (nämlich ), es ist also , womit die Voraussetzung für spärlich totiente Zahlen nicht erfüllt ist.
  • Die Zahl ist eine spärlich totiente Zahl:
Der Totient der Zahl ist , weil zu genau teilerfremde Zahlen existieren, welche kleiner als sind (nämlich ). Es gibt tatsächlich keine Zahl , welche einen Totienten hat, der kleiner oder gleich ist. Somit ist eine spärlich totiente Zahl.
  • Die folgenden Zahlen sind die kleinsten spärlich totienten Zahlen:
2, 6, 12, 18, 30, 42, 60, 66, 90, 120, 126, 150, 210, 240, 270, 330, 420, 462, 510, 630, 660, 690, 840, 870, 1050, 1260, 1320, 1470, 1680, 1890, 2310, 2730, 2940, 3150, 3570, 3990, 4620, 4830, 5460, 5610, 5670, 6090, 6930, 7140, 7350, 8190, 9240, 9660, … (Folge A036913 in OEIS)
  • Es folgt eine Tabelle, von der man etwas leichter die spärlich totienten Zahlen ablesen kann. In der ersten Spalte sind die aufsteigenden Totienten , in der zweiten Spalte stehen diejenigen Zahlen, deren Totient ist und in der dritten Spalte kann man den größten Wert der zweiten Spalte ablesen. Ist diese Zahl größer als alle vorherigen Werte, so handelt es sich um eine spärlich totiente Zahl und wird gelb eingefärbt (ungerade Totienten existieren bis auf nicht und werden deswegen weggelassen):

Eigenschaften

  • Jede spärlich totiente Zahl ist eine gerade Zahl.[3]
Beweis:
Der Beweis ist ein Beweis durch Widerspruch, es wird eine Annahme getätigt, welche sich im Laufe des Beweises als falsch erweist. Die Annahme muss fallengelassen werden und das Gegenteil der Annahme muss stimmen:
Angenommen, es gibt eine spärlich totiente Zahl , welche ungerade ist. Sei ihr Totient . Es darf somit laut Definition der spärlich totienten Zahlen keine größere Zahl existieren, welche den gleichen Totienten hat (es müsste sein).
Sei . Weil die ungerade Zahl zu teilerfremd ist, und aufgrund der Rechenregeln der Eulerschen Phi-Funktion ist . Somit existiert eine größere, gerade Zahl , deren Totient ist. Damit kann keine spärlich totiente Zahl sein. Die Annahme, dass eine ungerade spärlich totiente Zahl ist, muss fallengelassen werden, es gibt also keine ungeraden spärlich totienten Zahlen, es müssen spärlich totiente Zahlen allesamt gerade sein.
  • Sei eine ungerade Primzahl. Dann gilt:[1][4]
Jede Primfakultät und ist eine spärlich totiente Zahl.
Diesen Satz konnten David Masser und Peter Shiu beweisen.

Siehe auch

Einzelnachweise

  1. a b David Masser, Peter Shiu: On sparsely totient numbers. Theorem 1. Pac. J. Math. 121, 1986, S. 407–426, abgerufen am 1. März 2020.
  2. Roger C. Baker, Glyn Harman: Sparsely totient numbers. Theorem. Ann. Fac. Sci. Toulouse, VI. Sér., Math. 5 (2), 1996, S. 183–190, abgerufen am 1. März 2020.
  3. Comments zu OEIS A006511
  4. Comments zu OEIS A036913