Faculteitconform getal

Een faculteitconform getal (Eng. factorion) is een natuurlijk getal dat gelijk is aan de som van de faculteiten (de faculteitssom) van zijn cijfers.

Voorbeelden

In de volgende voorbeelden heten de getallen links de faculteitconforme getallen:

1 = 1 ! {\displaystyle 1=1!}
2 = 2 ! {\displaystyle 2=2!}
145 = 1 + 24 + 120 = 1 ! + 4 ! + 5 ! {\displaystyle 145=1+24+120=1!+4!+5!}

Opmerking

De getallen 1 en 2 zijn niet te schrijven als een echte som. Om die reden worden 1 en 2 in een enkel geval dan ook niet tot de faculteitconforme getallen gerekend.[1]

Eigenschap

Het aantal faculteitconforme getallen is eindig.

Bewijs

Voor een faculteitconform getal N {\displaystyle N} (geschreven in het 10-tallig stelsel) dat bestaat uit n {\displaystyle n} cijfers, geldt:

100 0 N 999 9 {\displaystyle 100\ldots 0\leq N\leq 999\ldots 9}

waarbij in het linkerlid het aantal nullen gelijk is aan n 1 {\displaystyle n-1} en in het rechterlid het aantal negens gelijk aan n {\displaystyle n} . Of ook:

10 n 1 N n 9 ! {\displaystyle {{10}^{n-1}}\leq N\leq n\,\cdot \,9!}

Door berekening is na te gaan dat deze laatste betrekking niet juist is voor n 8 {\displaystyle n\geq 8} . Voor n = 8 {\displaystyle n=8} gaat de laatste relatie namelijk over in

10.000.000 N 8 9 ! = 2.903.040 {\displaystyle 10.000.000\leq N\leq 8\,\cdot \,9!=2.903.040}

Het getal in het linkerlid is hier al groter dan het getal in het rechterlid. Voor n > 8 {\displaystyle n>8} stijgt het linkerlid exponentieel en het rechterlid lineair. Met andere woorden: een bovengrens voor N {\displaystyle N} is het getal 9.999.999 {\displaystyle 9.999.999} (zeven negens; n = 7 {\displaystyle n=7} ). Waarmee de eigenschap bewezen is.

Een kleinere bovengrens

Ook in hetgeen volgt is N {\displaystyle N} een faculteitconform getal met 7 {\displaystyle 7} cijfers. Verkleining van de hierboven gevonden bovengrens van 9.999.999 {\displaystyle 9.999.999} is in enkele eenvoudige stappen te realiseren.
De faculteitssom van 9.999.999 {\displaystyle 9.999.999} is 7 9 ! = 2.540.160 {\displaystyle 7\,\cdot \,9!=2.540.160} . N {\displaystyle N} is dus zeker niet groter dan dit getal, waarmee het eerste cijfer van N {\displaystyle N} gelijk is aan 2 {\displaystyle 2} , en daarmee is N 2.999.999 {\displaystyle N\leq 2.999.999} , met als faculteitssom 2 ! + 6 9 ! = 2.177.282 {\displaystyle 2!+6\,\cdot \,9!=2.177.282} . Hieruit blijkt dat het tweede cijfer van N {\displaystyle N} een 1 {\displaystyle 1} of een 0 {\displaystyle 0} is (met als eerste cijfer een 2 {\displaystyle 2} ) óf het eerste cijfers is een 1 {\displaystyle 1} .
Stel nu dat N = 2.199.999 {\displaystyle N=2.199.999} . De faculteitssom is in dit geval 2 ! + 1 ! + 5 9 ! = 1.814.403 {\displaystyle 2!+1!+5\,\cdot \,9!=1.814.403} , en dat is strijdig met de veronderstelling dat het eerste cijfer van N {\displaystyle N} een 2 {\displaystyle 2} is. Dus: het eerste cijfer van N {\displaystyle N} is een 1 {\displaystyle 1} . En daarmee is in ieder geval N 1.999.999 {\displaystyle N\leq 1.999.999} .
Via een iets ingewikkelder redenering kan zelfs worden aangetoond dat N 1.499.999 {\displaystyle N\leq 1.499.999} .

Conclusie

Uit een berekening met een computer toegepast op alle getallen tussen 10 {\displaystyle 10} en 1.499.999 {\displaystyle 1.499.999} blijkt dat de enige faculteitconforme getallen (in het 10-tallig stelsel) zijn:[2]

1 ,   2 ,   145 ,   40585 {\displaystyle 1,\ 2,\ 145,\ 40585}

Het getal 40585 {\displaystyle 40585} werd in 1964 door computerberekeningen gevonden door Leigh Janes (via directe berekening) en Ron S. Dougherty (door gebruik te maken van zogenoemde derangementen) op het Davidson College (Davidson, North Carolina, USA).[3]

Benaming

In de Nederlandse wiskundeliteratuur wordt een faculteitconform getal ook wel geldermangetal[4] genoemd, naar de Nederlandse wiskundige en informaticus Henk-Jan Gelderman (geb. 1964). De eerste publicatie in Nederland van de naam "geldermangetal" was op een website in 1998.[5]

Zie ook

  • Faculteit
  • Sommatie
  • Leylandgetal: 145 = 3 4 + 4 3 {\displaystyle 145={{3}^{4}}+{{4}^{3}}}
  • (en) On-line Encyclopedia of Integer Sequences – A014080
  • (en) Factorion Via: MathWorld – A Wolfram Web Resource

Literatuur

  • Joseph S. Madachy (1979): Mathematical Recreations. New York: Dover Publications; pag. 167.
  • David Wells (1986): Woordenboek van eigenaardige en merkwaardige getallen. Amsterdam: Bert Bakker; pag. 153, pag. 197.
  • Clifford Pickover (1997): Keys to Infinity. New York: John Wiley & Sons Inc.; pp. 169–171.
Bronnen, noten en/of referenties
  1. (en) MathBlog – Project Euler 34. Gearchiveerd op 27 november 2022.
  2. Voor een dergelijk computerprogramma, zie de pagina: Overleg
  3. Zie: (en) Mathematics Magazine; vol 45, 1972, nr. 5; pag. 278. Via: Tayler & Francis Online.
  4. Zie: dr. M. Looijen (2015): Over getallen gesproken – Talking about numbers. Zaltbommel: Van Haren Publishing; 2e herziene druk, 2016; pag. 199.
  5. Getaleigenschappen. Via: Wiskunst.