WikiSort.ru - Не сортированное

Гипотеза Гильбрайта — гипотеза в теории чисел, утверждющая, что если взять последовательность простых чисел, применить к ней разностный оператор со взятием абсолютных значений и повторять этот процесс к получающимся последовательностям, то получаемые последовательности всегда будут начинаться на 1. Гипотеза получила известность после того, как была опубликована в 1958 г. Норманом Гильбрайтом^[1]. Однако, ещё в 1878 году Франсуа Прот (англ.) публиковал предполагаемое доказательство этой же гипотезы, которое, как затем выяснилось, было ошибочным.^[1]

Истоки гипотезы

Рассмотрим последовательность простых чисел

2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, …

Вычислим абсолютные значения разностей между каждым (n + 1)-м членом и предыдущим ему n-м членом и выпишем полученную последовательность

1, 2, 2, 4, 2, 4, 2, 4, 6, 2, …

Выполняя те же вычисления для полученной последовательности, получим еще одну последовательность, для которой снова построим процесс и так до бесконечности. Выпишем все полученные последовательности:

1, 0, 2, 2, 2, 2, 2, 2, 4, …

1, 2, 0, 0, 0, 0, 0, 2, …

1, 2, 0, 0, 0, 0, 2, …

1, 2, 0, 0, 0, 2, …

1, 2, 0, 0, 2, …

Видим, что первый элемент каждой последовательности равен 1.

Гипотеза

Сформулировать гипотезу Гильбрайта проще, если ввести некоторые обозначения для последовательностей из предыдущей секции. обозначим ${\displaystyle \{p_{n}\}}$ упорядоченную последовательность простых чисел ${\displaystyle p_{n}}$ , и определим члены последовательности ${\displaystyle \{d_{n}\}}$ как

${\displaystyle d_{n}=p_{n+1}-p_{n}}$ ,

где n — натуральное. Считаем также, что ${\displaystyle \{d_{n}\}=\{d_{n}^{1}\}}$ и для каждого натурального ${\displaystyle k>1}$ , определим последовательность ${\displaystyle \{d_{n}^{k}\}}$ формулой

${\displaystyle d_{n}^{k}=|d_{n+1}^{k-1}-d_{n}^{k-1}|}$ .

(здесь k — это не степень, а верхний индекс)

Гипотеза Гильбрайта утверждает, что каждый член последовательности ${\displaystyle a_{k}=d_{1}^{k}}$ равен 1.

Проверка и попытки доказательства

На 2011 год не было правильного опубликованного доказательства гипотезы. Как уже говорилось во введении, Франсуа Прот (англ.) написал доказательство утверждения, однако позже было показано, что оно ошибочно. Эндрю Одлызко (англ.) в 1993 проверил, что ${\displaystyle d_{1}^{k}}$ равно 1 для всех ${\displaystyle k\leqslant n=3{,}4\cdot 10^{11}}$ ,^[2] но гипотеза остается открытой проблемой. Вместо вычисления всех n рядов таблицы, Одлызко вычислил 635 рядов и установил, что 635-я ряд начинается с 1 и далее вплоть до n-го элемента состоит только из чисел 0 и 2. Отсюда следует, что все последующие n рядов начинаются с единицы.

См. также

• Пробелы между простыми
• Открытые проблемы в теории чисел

Примечания

Литература

• В.  Серпинский. Что мы знаем и чего не знаем о простых числах. — Л., ФизМатЛит, 1963.

Ссылки

• Weisstein, Eric W. Гипотеза Гильбрайта (англ.) на сайте Wolfram MathWorld.