Последовательность без простых чисел — это последовательность целых чисел , не содержащая каких-либо простых чисел . Как правило, при этом предполагается, что последовательность задана той же рекуррентной формулой , что и для чисел Фибоначчи , но с другими начальными условиями , и все члены последовательности должны быть cоставными числами , не имеющими общего для всех членов делителя . Таким образом, последовательность этих чисел определяется путём выбора двух составных чисел a ₁ и a ₂ , для которых наибольший общий делитель НОД( a ₁ , a ₂ ) = 1, и таких, что для n > 2 не имеется простых чисел в последовательности, полученной из формулы

a _n = a n − 1 + a n − 2.

Последовательность Вильфа

Наверное, наиболее известная последовательность без простых чисел была найдена с начальными членами

a ₁ = 20615674205555510, a ₂ = 3794765361567513 (последовательность в OEIS ).

Доказательство, что любой член этой последовательности не является простым, основывается на периодичности модулей членов последовательностей, подобных последовательности Фибоначчи, по конечному набору простых чисел. Для каждого простого числа из этого набора p позиция, в которой член последовательности делится на p , повторяется по некоторой повторяющейся схеме, а различные простые числа из набора образуют перекрывающиеся схемы, дающие покрывающее множество для всей последовательности.

Нетривиальность

Требование, чтобы начальные члены последовательности были взаимно простыми, необходимо для нетривиальности последовательности. Если мы позволим, чтобы два начальных члена делились на некоторое простое число p (например, положив ${\displaystyle a_{1}=xp}$ и ${\displaystyle a_{2}=yp}$ для некоторых x и y , больших 1), очевидно, что ${\displaystyle a_{3}=(x+y)p}$ и все последующие члены последовательности будут делиться на p . В этом случае, конечно, все члены последовательности будут составными числами, но по тривиальной причине.

Порядок начальных значений также важен. В биографии Пала Эрдёша « », написанной , цитируется последовательность Вильфа, но с переставленными начальными значениями. Результирующая последовательность остаётся свободной от простых чисел только примерно для ста первых членов, а 138-й член с 45 десятичными знаками 439351292910452432574786963588089477522344721 является простым (последовательность в OEIS ).

Другие последовательности

Известны несколько других последовательностей без простых чисел:

a ₁ = 331635635998274737472200656430763, a ₂ = 1510028911088401971189590305498785 (Последовательность в OEIS ; Грэм, 1964)

a ₁ = 62638280004239857, a ₂ = 49463435743205655 (Последовательность в OEIS; Кнут, 1990)

a ₁ = 407389224418, a ₂ = 76343678551 (Последовательность в OEIS; Николь, 1999)

Последовательность этого типа с минимальными начальными членами (известная на текущий момент) найдена Максимом Александровичем Всемирновым

a ₁ = 106276436867, a ₂ = 35256392432 (Последовательность в OEIS; Всемирнов, 2004).

Примечания

Литература

Ссылки

• . The prime puzzles and problems connection.
• PlanetMath
• Weisstein, Eric W. (англ.) на сайте Wolfram MathWorld .