Просмотр кода страницы Факторион

'''Факторион''' — [[натуральное число]], которое равно сумме [[факториал]]ов своих цифр.

== Полный список факторионов ==
* <math>1=1!</math>
* <math>2=2!</math>
* <math>145=1!+4!+5!</math>
*<math>40585=4!+0!+5!+8!+5!</math>

== Верхняя граница ==
Определив верхнюю границу для факторионов, несложно (например, полным перебором) показать, что существует ровно 4 таких числа.

Любое n-значное число не меньше <math>\;10^{n-1}</math>. Однако при этом сумма факториалов его цифр не больше <math>9!\cdot n</math>, где <math>\;9!=362880</math>. Так как первое число возрастает быстрее второго (первое зависит от n [[Экспонента|экспоненциально]], а второе — [[Линейная функция|линейно]]), а уже <math>10^{8-1}=10000000>9!\cdot 8=2903040</math>. Следовательно все факторионы состоят не более, чем из 7 цифр. 

Аналогичные рассуждения помогают доказать конечность числа многих обобщенных факторионов (см. ниже).

== Обобщения ==

=== В других [[Система счисления|системах счисления]] ===
Таблица факторионов в системах счисления вплоть до [[шестнадцатеричная система счисления|шестнадцатеричной]]:

{| align="center" class="standard"
! |Основание
! |Максимальное кол-во цифр
! |Факторионы
|-----
| 2
| 2
| 1, 10
|-----
| 3
| 2
| 1, 2
|-----
| 4
| 3
| 1, 2, 13
|-----
| 5
| 3
| 1, 2, 144
|-----
| 6
| 4
| 1, 2, 41, 42
|-----
| 7
| 5
| 1, 2
|-----
| 8
| 5
| 1, 2
|-----
| 9
| 6
| 1, 2, 62558
|-----
| 10
| 7
| 1, 2, 145, 40585
|-----
| 11
| 8
| 1, 2, 24, 44, 28453
|-----
| 12
| 8
| 1, 2
|-----
| 13
| 9
| 1, 2, 83790C5B
|-----
| 14
| 10
| 1, 2, 8B0DD409C
|-----
| 15
| 11
| 1, 2, 661, 662
|-
| 16
| 11
| 1, 2, 260F3B66BF9
|+
|}

=== k-факторионы ===
'''k-факторион''' — число, равное сумме факториалов своих цифр, умноженной на k. Тогда обычные — 1-факторионы.

Полные списки k-факторионов:
# k=2: 817926
# k=3: 138267, 1103790
# k=4: 12, 32, 104, 23076
# k=5: 10
# k=6: 4614, 484284
# k=7: 21, 283150
# k=8: 224, 322840, 368712
# k=9: 441
# k=10: 14660, 813680, 3729700
# k=11: 341
# k=12: Не существует.

=== Обобщения Пиковера ===
В своей книге «Keys to Infinity» Clifford A. Pickover ([[1995 год|1995]]) предложил следующие обобщения:
# '''Факторион второго рода''' — равен ''произведению'' факториалов своих цифр, например: ''abc'' = ''a''!⋅''b''!⋅''c''!
# '''Факторион третьего рода''' — равен сумме факториалов чисел, образованных ''группами'' цифр, например: ''abc'' = (''ab'')! + ''c''!
{{oq||A more fruitful avenue of research may be the search for factorions "of the second kind," which are formed by the product of the factorial values for each of their digits. Additionally, hypothetical factorions "of the third kind" are formed by grouping digits.}}

Оба определения порождают гораздо бо́льшие числа, чем обычное определение. Хотя факторионы ''второго'' рода в десятичной системе только вырожденные (1 и 2)<!-- (в других системах на сайте [http://www.wschnei.de/digit-related-numbers/factorion.html] есть впечатляющие примеры)-->, найдено несколько факторионов ''третьего'' рода (жирным шрифтом выделены группы цифр):
* 2 432 90'''2 0'''08 177 819 519
* 51 090 94'''2 1'''71 710 544 079
* 51 090 94'''2 1'''71 710 982 398
* 403 291 461 1'''26''' 605 635 584 809 043
* 403 291 461 1'''26''' 605 635 584 814 796

Для обобщений обоих типов неизвестно, конечно ли число соответствующих факторионов.

== Литература ==
* Gardner, M. «Factorial Oddities.» Ch. 4 in Mathematical Magic Show: More Puzzles, Games, Diversions, Illusions and Other Mathematical Sleight-of-Mind from Scientific American. New York: Vintage, pp.&nbsp;61 and 64, 1978.
* Madachy, J. S. Madachy’s Mathematical Recreations. New York: Dover, p.&nbsp;167, 1979.
* Pickover, C. A. «The Loneliness of the Factorions.» Ch. 22 in Keys to Infinity. New York: W. H. Freeman, pp.&nbsp;169–171 and 319—320, 1995.
* {{статья
|автор=С. Л. Василенко
|заглавие=Числовые совпадения
|год=2012
|ссылка=http://www.trinitas.ru/rus/doc/0016/001c/1960-vs.pdf
}}

== Ссылки ==
* {{MathWorld|Factorion|Факторион}}
* {{OEIS|A014080}}

[[Категория:Целочисленные последовательности, зависящие от системы счисления]]