- Числа Серпинского
-
В теории чисел нечётное натуральное число k является числом Серпинского, если для любого натурального числа n число
является составным. Числа Серпинского названы так в честь открывшего их существование польского математика Вацлава Серпинского.
Существование чисел Серпинского довольно неочевидно. Например, если рассмотреть последовательность
, то в ней регулярно будут встречаться простые числа, и неожиданным является тот факт, что для некоторых k в последовательности
никогда не встретится простое число.
Чтобы доказать, что число k не является числом Серпинского нужно найти такое n, что число
является простым.
Содержание
Известные числа Серпинского
Последовательность известных на данный момент чисел Серпинского начинается так: 78557, 271129, 271577, 322523, 327739, 482719, 575041, 603713, 903983, 934909, 965431, 1259779, 1290677, 1518781, 1624097, 1639459, 1777613, 2131043, 2131099, 2191531, 2510177, 2541601, 2576089, 2931767, 2931991, 3083723, 3098059, 3555593, 3608251 … (последовательность A076336 в OEIS)
То, что число 78557 является числом Серпинского, было доказано в 1962 году Джоном Селфриджом, который показал, что каждое число вида
делится по крайней мере на одно число из покрывающего множества {3, 5, 7, 13, 19, 37, 73}. Аналогично доказывается, что 271129 также является числом Серпинского: каждое число вида
делится по крайней мере на одно число из множества {3, 5, 7, 13, 17, 241}. Все известные на данный момент числа Серпинского обладают подобными покрывающими множествами.[1]
Проблема Серпинского
Задача отыскания минимального числа Серпинского известна как проблема Серпинского.
В 1967 году Селфридж и Серпинский предположили, что 78557 является наименьшим числом Серпинского. Доказательством этой гипотезы занимается проект распределённых вычислений Seventeen or Bust.
См. также
Примечания
Ссылки
- Prime Riddle (англ.) — статья про числа Серпинского и проект Seventeen or Bust.
Категории:- Математические гипотезы
- Целочисленные последовательности
- Аналитическая теория чисел
Wikimedia Foundation. 2010.