Короткое плечо совпадения

http://bit-player.org/2017/the-short-arm-of-coincidence
  • Перевод
Джеймс Тэнтон разбрасывается задачками по теории чисел с той же щедростью, с которой Джон Д. Рокфеллер раздавал десятицентовики. Я уже писал об одной из задач Тэнтона. Спустя несколько недель моё внимание привлёк этот твит о факториалах и квадратах и уже не давал мне покоя:

Tweet reads: 4!+1 = 25, a square number. 5!+1 = 121, a square number. Another example? Two more examples?

«4!+1 = 25, квадрат числа. 5!+1 = 121, тоже квадрат числа. Можете привести ещё один пример? Ещё два примера?»

С помощью ручки и бумаги легко показать, что $6!$ не подходит. Факториал $6!$ — это $1 \times 2 \times 3 \times 4 \times 5 \times 6 = 720$; прибавив $1$, получим число $721$, которое не является квадратом. (Оно раскладывается на множители как $7 \times 103$.) С другой стороны, $7!$ равно $5040$, а прибавив $1$, мы получим $5041$, что равно $71^2$. Это даёт нам очень милое уравнение:

$7! + 1 = 71^2$


Продолжив далее, мы выясним, что $8! + 1$, $9! +1$ и $10! + 1$ не являются квадратами чисел. Но чтобы продолжить поиск, нам требуется механизированная помощь. Вот функция на Julia, выполняющая очевидную работу — вычисление последовательных факториалов и проверку, являются ли они на $1$ меньше квадрата:

function search_fac_sqr(maxn)
  fac = big(1)                      # большие целые нужны для n > 20
  for n in 1:maxn
    fac *= n                        # инкрементный факториал
    r = isqrt(fac + 1)              # округление sqrt в меньшую сторону
    if r * r == fac + 1
      println(n, "! + 1 = ", r, "^2 = ", r^2)
    end
  end
  println("Вот и всё, ребята!")
end

Вооружившись этим инструментом, давайте проверим $n! + 1$ для всех $n$ от $1$ до $100$. Вот, что сообщает нам программа:

search_fac_sqr(100)
4! + 1 = 5^2 = 25
5! + 1 = 11^2 = 121
7! + 1 = 71^2 = 5041
Вот и всё, ребята!

Это те же три случая, которые мы уже обнаружили с помощью ручки и бумаги — и в списке больше ничего нет. Другими словами, среди всех значений $n! + 1$ вплоть до $n = 100$ только $n = 4$, $n = 5$ и $n = 7$ дают квадраты чисел. Когда я продолжил поиск до $n = 1000$, то получил точно такой же результат. Аналогично получилось с $n = 10000$ и $n = 100000$. Стоит упомянуть, что факториал $100000$ — довольно большое число из $456574$ десятичных разрядов. На этом этапе поисков я начал выдыхаться; больше того, я начал терять надежду. Когда $99993$ последовательным значениям $n$ не удаётся получить единственный квадрат, сложно продолжать надеяться, что успех может ждать нас за углом. Тем не менее, я продолжал упорствовать. Я добрался до $n = 500000$, факториал которого содержит $2632341$ десятичных разрядов. Во всём множестве не попалось больше ни одного квадрата.

Что мы можем извлечь из этого доказательства — или его отсутствия? Являются ли 4, 5 и 7 единственными значениями $n!$, которые на $1$ квадрата целого числа? Или где-то на числовой прямой ещё есть такие случаи, возможно, прямо после моего интервала? Может ли их быть бесконечно много? И если это так, где они? Если их нет, то почему?



На мой вкус, самым удовлетворительным способом разрешения этих вопросов будет нахождение некоего принципа теории чисел, гарантирующего, что $n! + 1 \ne m^2$ для $n \gt 7$. Мне не удалось найти такого принципа, но в мечтах я могу примерно представить, как может выглядеть доказательство. Допустим, мы избавимся от части формулы "$+1$", и начнём поиск целых чисел, таких что $n! = m^2$. Выясняется, что у этого уравнения есть только одно решение, при $n = m = 1$. Не стоит отягощать свой ноутбук поиском бо́льших решений — есть простое доказательство того, что их не существует. В любом квадрате целого числа все простые делители должны присутствовать чётное количество раз, например как в $36 = 2 \times 2 \times 3\times 3$. В факториале по крайней мере один простой делитель — самый большой — всегда присутствует только один раз. (Если вы не понимаете, почему, прочитайте постулат Бертрана/теорему Чебышева.)

Разумеется, когда мы снова подставляем "$+1$" в формулу, то вся цепочка рассуждений разваливается на части. В общем случае, разложение на множители $n!$ и $n! + 1$ совершенно отличается. Но возможно существует какое-то другое свойство $n! + 1$, вступающее в конфликт с квадратностью. Оно может быть как-то связано с классами конгруэнции или с квадратными остатками. Из определения факториала мы знаем, что $n!$ делится на все положительные целые числа, меньшие или равные $n$, а это значит, что $n! + 1$ не может делиться ни на одно из этих чисел (за исключением $1$). Это наблюдение исключает определённые типы квадратов, а именно те, у которых в разложени на множители присутствуют малые простые числа. Но для всех $n \gt 4$ квадратный корень $n!$ значительно превосходит $n$, поэтому есть достаточно места для бо́льших делителей, как это происходит в случае $7! + 1 = 71^2$.

Вот ещё один путь, который стоит исследовать. Десятичное представление любого большого факториала заканчивается строкой из $0$, созданной как произведения $5$ и $2$ среди делителей числа. Таким образом, $n! + 1$ должно выглядеть как

$XXXXX \ldots XXXXX00000 \ldots 00001$


где $X$ обозначает любую десятичную цифру, а последующий ряд из $0$ заканчивается единственной $1$. Можем ли мы найти способ доказать, что число в таком виде никогда не бывает квадратом? Ну, если бы последняя цифра отличалась бы от $1$, $4$ или $9$, то доказательство было бы простым, но многие квадраты заканчиваются на $\ldots 01$, например, $10201 = 101^2$ $62001 = 249^2$. Если и есть какое-то алгебраическое соображение, показывающее, что $n! + 1$ не может быть квадратом, то оно более тонкое.

Всё вышесказанное — это выдуманная математика. Я смешал несколько ингредиентов, которые должны превратиться во вкусное тесто, но понятия не имею, как испечь пирог. Возможно, кто-то ещё поможет мне с рецептом. Тем временем, я хочу развлечься с альтернативной гипотезой: ничто не мешает $n! + 1$ быть квадратом, кроме невероятности.



Паттерн, наблюдаемый в задаче $n! + 1 = m^2$ — несколько соответствий среди наименьших элементов последовательностей, а затем ни одного совпадения во многих тысячах элементов — не уникален для факториалов и квадратов. Другие пары последовательностей демонстрируют похожее поведение. Треугольные числа, начинающиеся с $1, 3, 6, 10, 15, 21, \ldots$, задаются формулой $T(m) = m(m + 1)/2$. Если мы будем искать факториалы, которые тоже являются треугольными, то получим $1! = T(1) = 1$, затем $3! = T(3) = 6$ и наконец $5! = T(15) = 120$. Больше никаких примеров до $n = 100000$ не встречается.

А как насчёт факториалов, которые на $1$ меньше треугольного числа, удовлетворяющих уравнению $n! + 1 = T(m)$? Я знаю единственный такой случай: $2! + 1 = 3$. Немного расширив поиск, я обнаружил, что $n! + 4$ треугольно для $n \in {2, 3, 4}$, после чего снова нет никаких совпадений до $100000$.

Для другого эксперимента мы можем вернуться к квадратам чисел и отказаться от факториалов, заменив их вечно популярным рядом Фибоначчи $1, 1, 2, 3, 5, 8, 13, \ldots$, задаваемым рекурсией $F(n) = F(n - 1) + F(n - 2)$, где $F(1) = F(2) = 1$. Ещё с 1960-х было известно, что $1$ и $144$ — единственные положительные целы числа, одновременно являющиеся числами Фибоначчи и квадратами целых чисел. Поискав числа Фибоначчи, которые на $1$ меньше квадрата, я выяснил, что $F(4) + 1 = 4$ и $F(6) + 1 = 9$, и других случаев не встречается до $F(500000)$.

Мы можем сделать то же самое с числами Каталана, $1, 1, 2, 5, 14, 42, 132 \ldots$, ещё одним рядом с огромным фанатским клубом. Я выяснил, что среди чисел Каталана нет других квадратов, кроме $1$ вплоть до $n = 100000$; я не знаю, доказал ли кто-нибудь, что их не существует. Поиск случаев, при которых $C(n) + 1 = m^2$, тоже не даёт результатов, но есть несколько соответствий с низкими значениями для $C(n) + k = m^2$ при $k \in {2, 3, 4}$.

Нахождение похожего поведения во всех этих различных последовательностях, на мой взгляд, меняет сложность задачи. Если мы обнаружим какое-то таинственное особое свойство $n! + 1$, объясняющее, почему оно никогда не соответствует квадратам (при больших значениях $n$), нужно ли нам будет заново изобретать другой механизм для чисел Фибоначчи и ещё один для чисел Каталана? Не кажется ли более убедительным, что за всеми этими наблюдениями скрывается единственная общая причина?

Но эта причина не может быть слишком общей. Это не тот случай, когда можно взять любые две числовые последовательности и ожидать увидеть тот же паттерн в их пересечениях. Рассмотрим факториалы и простые числа. По самой природе факториалов, ни один из них, кроме 2! = 2, не может быть простым числом, но нет очевидных причин тому, что $n! + 1$ не может быть простым числом. И действительно, для $n \le 100$ простыми являются девять значений $n! + 1$. Расширив границы поиска до $n \le 1000$, мы найдём ещё семь. Вот полное множество известных чисел, для которых $n! + 1$ является простым:

$1, 2, 3, 11, 27, 37, 41, 73, 77, 116, 154, 320, 340, 399, 427, 872, 1477, \\ 6380, 26951, 110059, 150209$


С увеличением $n$ они встречаются всё реже, но при этом нет признаков резкого предела, как в рассмотренных ранее случаях. Продолжается ли этот ряд беспредельно? Это кажется логичной гипотезой. (Подробную информацию об этой последовательности, в том числе и справочные материалы, см. на странице факториальных простых Криса Колдуэлла.)



Мой вопрос таков: можем ли мы воспринимать эти любопытные паттерны как чистую случайность? Значения $n! + 1$ образуют бесконечную последовательность целых чисел, распределённых по всех числовой прямой, плотно расположенных возле начала, но становящихся чрезвычайно разреженными при увеличении $n$. Значения $m^2$ образуют ещё одну бесконечную последовательность, тоже с уменьшающеся плотностью, хотя и не с таким резким спадом. Возможно, факториалы совпадают с квадратами среди самых малых целых чисел, просто потому, что этих целых недостаточно, чтобы «разгуляться», и некоторым из них приходится выполнять двойную работу. Но в обширных открытых пространствах числовой прямой факториал может блуждать годами — возможно, вечно — так и не встретившись с квадратом.

Позвольте мне изложить эту идею более чётко. Поскольку $n!$ не может быть квадратом, то мы знаем, что оно находится где-то между двумя квадратами; расположение на числовой прямой выглядит как $(m - 1)^2 \lt n! \lt m^2$. Расстояние между конечными точками этого интервала равно $m^2 - (m - 1)^2 = 2m - 1$. Теперь выберем из интервала случайное число $k$ и спросим, справедливо ли $n! + k = m^2$. Этому условию должно удовлетворять ровно одно значение $k$, то есть вероятность совпадения равна $1/(2m - 1)$, или приблизительно $1 / (2 \sqrt{n!})$. Поскольку $\sqrt{n!}$ растёт очень быстро, эта вероятность мгновенно стремится к нулю при увеличении $n$. На графике ниже это показано фиолетовой линией. Заметьте, что к $n = 100$ фиолетовая кривая почти достигла $10^{-80}$.

Plot of probability of coincidence of factorial and square, fibonacci and square, factorial and prime


Зелёная кривая обозначает вероятность совпадения между числами Фибоначчи и квадратами; форма похожа, однако она «ныряет» с «обрыва» чуть позже. Кривая Фибоначчи-квадратов приближенно равна отрицательной показательной функции: вероятность пропорциональна $\phi^{-\sqrt{F(n)}}$, где $\phi = (\sqrt{5} + 1) / 2 \approx 1.618$. Кривая факториал-квадратов ещё резче, потому что функция факториала суперэкспоненциальна: $n!$ растёт быстрее, чем $c^n$, при любом постоянном $c$.

Синяя кривая, фиксирующая вероятность совпадений между факториалами и простыми числами, имеет совершенно другую форму. В окрестности $n!$ среднее расстояние между последовательными простыми числами приблизительно равно $\log n!$, который растёт немного быстрее, чем сама $n$ и намного медленее, чем $n!$. Вероятность совпадения между факториалами и простыми числами примерно равна $1 / \log n!$. Непрерывная синяя кривая соответствует этой плавной аппроксимации. Синие точки, разбросанные рядом с линией, являются значениями вероятностей на основании настоящих расстояний между последовательными простыми числами.



Что можно сделать с этими кривыми? Допустимо ли применить теорию вероятностей к этим абсолютно детерминированным последовательностям чисел? Точно я не знаю. Прежде чем ставить этот вопрос напрямую, я предпочту сделать несколько шагов назад и рассмотреть более простую модель, в которой вероятность имеет полное право на использование.

Давайте позаимствуем одну из знаменитых урн Якоба Бернулли, в которой достаточно места для хранения бесконечного количества мячей для пинг-понга. Начнём с одного чёрного и одного белого мяча в урне, затем будем тянуть мячи случайным образом. Очевидно, что вероятность выбора чёрного равна $1/2$. Положим выбранный мяч обратно в урну, а также добавим ещё один белый мяч. Теперь там три мяча и только один из них чёрный, так что вероятность вытягивания чёрного равна $1/3$. Добавим четвёртый мяч, и вероятность чёрного падает до $1/4$. Продолжая таким же образом, мы получим, что вероятность чёрного на $n$-ном вытягивании должна быть равна $\frac{1}{n + 1}$.

Если мы будем продолжать эту процедуру бесконечно — всегда выбирать случайный мяч, возвращать его назад и добавлять ещё один белый мяч — то какова вероятность того, что мы хотя бы раз увидим чёрный мяч? Проще будет ответить на следствие из этого вопроса — вычислить вероятность никогда не увидеть чёрный мяч. Это бесконечное произведение $\frac{1}{2} \times \frac{2}{3} \times\frac{3}{4} \times\frac{4}{5} \ldots$, или:

$P(\textrm{never black}) = \prod_{n = 1}^{\infty} 1 - \frac{1}{n+1}$


Если $n$ стремится к бесконечности, произведение стремится к нулю. Другими словами, в бесконечной серии попыток вероятность никогда не вытащить чёрный мяч равна $0$; это значит, что вероятность встретить чёрный хотя бы раз равна $1$. («Вероятность $1$» — это не совсем то же самое, что «определённость», но невероятно близко.)

Давайте теперь поставим другой эксперимент. Снова начнём с одного чёрного и одного белого мячей, но после первого цикла вытаскивания-возврата добавим два белых мяча, затем четыре белых, и так далее, так, что общее число мячей в урне на этапе $n$ равна $2^n$; на протяжении этого процесса все мячи, кроме одного, будут белыми. Теперь вероятность никогда не увидеть чёрный мяч равна $\frac{1}{2} \times \frac{3}{4} \times\frac{7}{8} \times\frac{15}{16} \ldots$, или:

$P(\textrm{never black}) = \prod_{n = 1}^{\infty} 1 - \frac{1}{2^n}P(\textrm{never black}) = \prod_{n = 1}^{\infty} 1 - \frac{1}{2^n}$


Это произведение не стремится к нулю, вне зависимости от величины $n$. Также не стремится оно и к $1$. Произведение сходится к константе с приблизительным значением $0.288788095$. Это странно, не так ли? Даже при бесконечной серии вытаскиваний из урны мы не можем быть уверенными, появится ли чёрный шар, или нет.

Эти два эксперимента с урнами не соотносятся напрямую ни с одной из описанных выше задач соответствия; они просто иллюстрируют диапазон возможных результатов. Но мы можем создать процесс с урной, который имитирует вероятностный подход к задаче факториалов и квадратов. На $n$-ном этапе урна содержит $1 + 2 \sqrt{n!}$ мячей, только один из которых является чёрным. Вероятность никогда не увидеть чёрный мяч даже при бесконечной серии попыток равна

$\prod_{n = 1}^{\infty} 1 - \frac{1}{1 + 2 \sqrt{n!}}$


Это выражение сходится к значению, приблизительно равному $0.2921426977$. Из этого следует, что вероятность увидеть чёрный мяч хотя бы раз равна $1 - 0.2921426977$, или $0.7078573023$. (Нет, это число не является $1/\sqrt{2}$, хотя и близко к нему.)

Процесс с урной, напоминающий задачу факториалов и простых чисел, даёт довольно отличающийся результат. Здесь число мячей в урне на этапе $n$ равно $\log n!$, снова только с одним чёрным мячом. Бесконечное произведение, управляющее суммарной вероятностью, равно

$\prod_{n = 2}^{\infty} 1 - \frac{1}{\log n!}$


При численном доказательстве похоже, что это выражение стремится к нулю при стремлении $n$ к бесконечности (хотя я не уверен в этом на сто процентов). Если оно действительно стремится к $0$, до дополнительная вероятность того, что чёрный мяч рано или поздно появится, должна быть равна $1$.

Некоторые из этих результатов заставили меня чувствовать себя одураченным, и даже немного раздражённым. Можете называть меня старомодным, но я всегда думал, что бесконечного количества бросков кости должно быть достаточно, чтобы устранить всякие сомнения в том, появится паттерн, или нет. В жестоком свете бесконечности, сказал бы я, всё является или запрещённым, или обязательным; когда $n$ стремится к бесконечности, вероятность или стремится к $0$, или стремится к $1$. Но очевидно, что это не так. В модели урны с факториалами вероятность никогда не увидеть чёрный мяч не равна ни $0$, ни $1$ и находится где-то рядом с $0.2921426977$. Что же это означает? Как я должен удостовериться в правильности числа или даже проверить его первые несколько цифр? Выполнения бесконечной серии попыток недостаточно; необходимо собрать статистически значимую выборку бесконечных экспериментов. Для точного результата нужно провести бесконечную серию бесконечных экспериментов. Увы.



Модель с урной естественным образом соотносится с рандомизированной версией задачи факториалов-квадратов, в которой мы смотрим на $n! + k = m^2$ и выбираем случайное $k$ из соответствующего интервала значений. А как насчёт исходной задачи $n! + 1 = m^2$? В этом случае нет случайной переменной, а потому нет смысла выполнять множество экспериментов для каждого значения $n$. Система детерминирована. Для каждого $n$ факториал $n$ имеет точное значение и оно близко, или не близко к квадрату целого числа. Здесь нет никаких «может быть».

Тем не менее, есть обходной путь, способный добавить сюда вероятности. Чтобы сделать это, мы должны предположить, что факториалы и квадраты составляют своего рода эргодическую систему, в которой наблюдение за цепочкой событий в течение долгого периода времени аналогично наблюдению за множеством более коротких цепочек. Предположим, что факториалы и квадраты не связаны с их расположением на числовой прямой — что когда факториал оказывается между двумя квадратами, то расстояние до большего квадрата можно считать случайной переменной и каждое возможное расстояние имеет одинаковую вероятность. Если придерживаться этого предположения, то вместо рассмотрения одного значения $n!$ и проверки множества случайных значений $k$ мы можем взять единственное значение $k$ (а именно $k = 1$) и рассмотреть $n!$ для множества значений $n$.

Аргументированно ли такое эргодическое предположение? Не совсем. Известно, что некоторые расстояния между $n!$ и $m^2$ более вероятны, чем другие, а некоторые расстояния невозможны вообще. Однако эмпирическое свидетельство показывает, что такие отклонения должны быть незначительными. На графике ниже показано распределение расстояний между факториалом и следующим бо́льшим квадратом для первых $100000$ значений $n!$. Расстояния нормализованы в интервале $(0, 1)$ и классифицированы на $100$ столбцов. Очевидных признаков смещения незаметно. Вычисление среднего и стандартного отклонения тех же $100000$ относительных расстояний даёт в результате значения в пределах $1$ процента от тех, которые ожидаются при однородном случайном распределении. (Ожидаемые значения равны $\mu = 1/2$ и $\sigma = 1/12$.)

relative distance of n! from m^2, in 100 bins, for n ranging from 2 to 100,000


Если такой вероятностный подход можно воспринимать всерьёз, то я могу сделать некоторые численные суждения о перспективах нахождения большого факториала, соседствующего с квадратом целого числа. Как упомянуто выше, общая вероятность того, что одно или несколько значений $n! + 1$ равны квадратам, примерно равна $0.7078573023$. Таким образом, мы не должны слишком удивляться, что известно уже три таких случая, а именно примеры с $n = 4$, $5$ и $7$. Теперь мы можем применить тот же метод к вычислению вероятности нахождения хотя бы ещё одного случая с $n \gt 7$. Давайте сделаем вопрос более общим: «Независимо от того, видели ли мы квадраты среди первых $C$ значений $n! + 1$, каковы шансы, что мы увидим их после?» Чтобы ответить на этот вопрос, мы можем просто убрать первые $C$ элементов из бесконечного произведения:

$\prod_{n = C+1}^{\infty} 1 - \frac{1}{1 + 2\sqrt{n!}}$


При $C = 7$ ответ примерно равен $0.0037$. При $C = 100$ примерно равен $5.7 \times 10^{-80}$. Мы спускаемся вниз по резкому склону фиолетовой кривой.

С практической точки зрения, дальнейшие поиски ещё одной пары факториала-квадрата не выглядят многообещающим способом траты времени и циклов процессора. Вероятность успеха быстро снижается до смехотворно малых чисел, типа $10^{-1000000}$. И тем не менее, с математической точки зрения, вероятность никогда не исчезает. Убирание конечного количества членов из передней части бесконечного произведения не может изменить её свойства сходимости. Если исходное произведение сходилось к ненулевому значению, так же себя будет вести и укороченная версия. Таким образом, мы попали в каньон максимального разочарования, в котором нет реалистичного способа найти награду, но вероятности всё равно говорят нам, что она может существовать.



Я завершу это неуклюжее эссе рассмотрением ещё одного примера (сильно заблаговременного). Предположим, мы применяем вероятностные рассуждения к поиску куба, который на $1$ меньше квадрата. Если мы будем рассматривать точные соответствия между кубами и квадратами, то их довольно много — это шестые степени: $1, 64, 729, \ldots$. Но целые решения уравнения $n^3 + 1 = m^2$ не так часты. Один из примеров с низкими значениями найти легко: $2^3 + 1 = 3^2$, но когда после $8$ и $9$ мы можем ожидать увидеть последовательные куб и квадрат?

Вероятностный подход предполагает, что у нас есть причины для оптимизма. По сравнению с факториалами и числами Фибоначчи, кубы растут гораздо медленнее; их скорость полиномиальна, а не экспоненциальна и не суперэкспоненциальна. В результате вероятность нахождения куба на заданном расстоянии от квадрата снижается гораздо менее резко, чем это происходит для $n!$ или $F(n)$. На графике ниже $P(n^3 + k = m^2)$ — это оранжевая кривая.

Plot of probability of coincidence of factorial and square, fibonacci and square, factorial and prime, with added curve for cubes and squares


Заметьте, что оранжевая кривая лежит прямо под синей, которая представляет вероятность того, что $n!$ находится рядом с простым числом. Близость этих двух кривых позволяет предположить, что две задачи — факториалы, соседние с простыми числами, кубы, соседние с квадратами — могут принадлежать к одному классу. Мы уже знаем, что факториал-простые возникают снова и снова, возможно до бесконечности. Эта аналогия приводит нас к догадке: возможно, совпадения кубов-квадратов тоже ничем не ограничено. Если мы продолжим наблюдать, то увидим ещё много их, кроме $8$ и $9$.

Но такая догадка совершенно неверна. Эта задача имеет очень давнюю историю. В 1844 году Эжен Каталан предположил, что $8$ и $9$ являются единственными последовательными степенными значениями среди целых чисел; это предположение окончательно доказал в 2004 году Преда Михайлеску. Особый случай квадратов и кубов решил ещё Эйлер в восемнадцатом веке. Таким образом, вероятности здесь ни при чём.

Все рассмотренные в статье вопросы относятся к категории диофантова анализа — исследованиям уравнений, решениями которых должны быть целые числа. Эта область математики печально известна задачами, которые легко поставить, но сложно решить. Гипотеза Каталана является одним из самых знаменитых примеров, вместе с великой теоремой Ферма. Когда диофантовы задачи окончательно решаются, доказательства обычно очень неэлементарны, в них используются изощрённые инструменты из глубоких областей математики — алгебраическая геометрия в доказательстве великой теоремы Ферма Эндрю Уайлса и Ричарда Тейлора, круговые поля в доказательстве Михайлеску гипотезы Каталана. Насколько мне известно, теория вероятностей не играла центральной роли ни в одном из таких доказательств.

Когда я начал бороться с этими вопросами несколько недель назад, я не ожидал, что найду конкретное решение. И мои ожидания полностью оправдались! На самом деле, в моей голове ситуация стала ещё более запутанной, чем вначале. Осознание того, что даже бесконечная серия экспериментов необязательно даст ответы на некоторые вопросы, глубоко меня расстраивает, и заставляет задаться вопросом, насколько хорошо я в действительности понимаю теорию вероятностей. Но вряд ли такая ситуация редка в математике. Думаю, мне уже стоит к этому привыкнуть.

Обновление: благодаря ещё одной подсказке Тэнтона я понял, что эта задача имеет долгую историю и даже название: задача Брокара, по имени Анри Брокара, выпустившего публикации о ней в 1876 и 1885 годах. Рамануджан упоминал её в 1913 году. Эрдёш предположил, что решений больше нет. Мариус Оверхольт связал её с abc-гипотезой. Брюс Берндт и Уильям Голуэй выяснили, что решений нет до $10^9$. Всё это я узнал из статьи о задаче Брокара в Википедии. В этой статье также упоминается, что решения называются броуновскими числами [прим. пер.: происхождение названия неизвестно, непонятно, связаны ли они с Робертом Броуном].

Так что мне ещё есть, что почитать.
Поделиться публикацией
Ой, у вас баннер убежал!

Ну. И что?
Реклама
Комментарии 26
    0
    Класс! Спасибо.
    Что-то мне подсказывает, что у вас тут опечатка:
    «Другими словами, в бесконечной серии попыток вероятность никогда не вытащить чёрный мяч равна 0»
    Не 0, а 1.
    Или я ошибаюсь?
      0
      1, потому что рано или поздно его достанут из урны.
        +1
        Тьфу, я имел в виду ноль, конечно же.
          –1
          О! Двойное отрицание! Его и в английском-то языке не любят, а уж в русском — так и подавно.

          Вероястность того, что вы будете тянуть-тянуть, тянуть-тянуть, но так никогда и не вытащите чёрный мяч таки равна нулю…
            0

            i can't get no satisfaction) RS
            We don't need no education) PF

          +1
          Если честно, где-то в середине я перестал понимать происходящее, но разве тут не очевидно, что это могут быть только квадраты простых чисел?
          Может быть проще рассмотреть формулу p^2 — 1 = n!, где p — простое число.
          P.S. В комментариях есть поддержка формул?
            +1
            Насчёт формул в комментариях не знаю (в статьи вроде добавили что-то), но для показателя степени можно воспользоваться тегом <sup>

            p2 — 1 = n!
              0

              Не, с простыми — не очевидно. p не делится на числа от 2 до n, но почему бы ему не делиться на числа больше n? (От n+1 до sqrt(n!) много чисел)

              0
              Большое спасибо за работу. Интересно, а есть практическое применение этой теории?
                0
                В кодировании наверно и декодировании. Или в шифровании и расшифровке. Ну, так в кино про Рамануджана показывали.
                +2
                У вас ус отклеился синяя и оранжевая линии с графиков пропали.

                Чтиво занятное. «Вероятность встретить ч-л на бесконечности стремится к числу между 0 и 1» — вот это пожалуй самое сильное.
                  +1
                  Может на этом пути:
                  n!+1 = m'^2, где m'=2*m+1, тогда
                  n!+1=(2*m+1)^2=4*m^2+4*m+1
                  n!=4*m^2+4*m=4*m*(m+1)
                  Известные случаи 24=4*2*3 120=4*5*6(1*2*3) 5040=4*35(7*5)*36(1*2*3*6)
                  В общем случае n!/4=1*2*3*5*...*(n-1)*n = m*(m+1)
                  то есть сомножители m и m+1 набираются из чисел от 2 до n,
                  можно доказать, что n и n-1 должны входить в разные сомножители, но что делать дальше, я пока не придумал.
                    0
                    Ага, тогда, если n — четное, решение невозможно, поскольку один из сомножителей нечетный и в него не может войти ни одно из четных чисел, тогда все четные должны быть в одном сомножителе и он точно будет намного больше, чем второй, и даже отсутствие 4 не изменит ситуацию, начиная с n>=6.
                      0

                      Это сработало бы если бы числа 1..n нельзя было бы делить

                      0
                      abc гипотеза
                      n!+1=p^2

                      n! >> prime(n) prime — праймориал или произведение всех простых чисел меньших n
                      для 11 n!> (prime(11))^2

                      значит
                      p^2 <= K*p*prime(n)<=K*p^(1+eps)

                      т.е. существует такой eps что при больших значениях уравнение не будет выполняться

                      насколько я помню верно когда eps >0,5

                      т.е. досточно проверить для первых 12, дальше не будет
                        0
                        n!+1 не делится нацело ни на одно из чисел 1..n, т.е. квадрат должен быть произведением простых чисел
                          0

                          А почему он не может быть произведением 4х простых чисел > n ?

                          +1
                          ru.wikipedia.org/wiki/Задача_Брокара
                          Нормально так человек издевается над подписчиками. Давайте, мол, возьмём нерешённую задачу математики, и дадим людям поразмышять
                            0
                            Давайте поразмышляем, можно ли упростить :) Из очевидного (что дано):
                            1. an-1 * n + 1 оканчивается на 01 при a1 = 1 и n > 9
                            2. (am-1 + 50)2 оканчивается на 01 при a1 = 49 и a1 = 51
                            n-факториал быстро растёт, и для каждого значения an+5 в следующем разряде перед окончанием 01 будет стоять нуль. Как много существует значений функции m2 и значений функции n! + 1 при равном порядке, у которых будут совпадать окончания? Будет ли уменьшаться количество значений с одинаковым окончанием для каждой функции при равном порядке?
                            0
                            Спасибо, очень интересно было размять мозги в пятницу вечером. :)

                            Единственное, тут слово потерялось:
                            Являются ли 4, 5 и 7 единственными значениями n!, которые на 1 квадрата целого числа?


                            Видимо: на 1 меньше квадрата целого числа.
                              0
                              Мне кажется, тут надо с комбинаторики начинать.
                              n! + 1 = m^2
                              n! = m^2 - 1
                              n! = (m + 1) * (m - 1)
                              

                              Справа факториал, это произведение, слева тоже произведение.
                              Значит надо выбрать такое сочетание множителей факториала, чтобы их произведение отличалось от произведения оставшихся на 2. Не знаю, как доказать математически, но минимальные различия получаются, когда множителей поровну. Может быть не поровну, но близко к нему, и там получается точно то же значение.

                              Таким образом, число факториала должно быть нечетным, потому что единица не считается, и остается четное число множителей. 4 работает из-за маленьких значений, когда лишний множитель 2 не дает столь большого расхождения. Скорее всего, четных чисел с таким свойством больше нет, потому что при добавлении любой пары множителей расхождение будет увеличиваться. Для нечетных чисел равновесие сохраняется один раз, добавлением большего нового множителя к меньшему предыдущему сочетанию, а меньшего к большему, но в дальнейшем расхождение тоже становится гораздо больше 2.

                              Если разделить оба произведения на 2, то они должны отличаться на 1. Это невозможно, если в обоих произведениях 2 и более четных чисел. Это как раз начинается после 7. Если в одном произведении только нечетные, то тоже невозможно, так как будет с одной стороны нецелое число, а с другой целое. Думаю, можно как-то доказать, что если в одном из произведений оставить только 1 четное число, то для всех возможных вариантов расхождение после деления на 2 будет больше 1.

                              Минимальные варианты:
                              2 * 3 = 6 | 4 = 4 | 2
                              
                              2 * 5 = 10 | 3 * 4 = 12 | 2
                              
                              2 * 3 * 5 = 30 | 4 * 6 = 24 | 6
                              2 * 3 * 4 = 24 | 5 * 6 = 30 | 6
                              
                              2 * 5 * 7 = 70 | 3 * 4 * 6 = 72 | 2
                              
                              2 * 3 * 5 * 7 = 210 | 4 * 6 * 8 = 192 | 18
                              2 * 3 * 4 * 8 = 192 | 5 * 6 * 7 = 210 | 18
                              
                              3 * 5 * 6 * 7 = 630 | 2 * 4 * 8 * 9 = 576 | 54
                              3 * 4 * 6 * 8 = 576 | 2 * 5 * 7 * 9 = 630 | 54
                              
                              2 * 4 * 5 * 6 * 8 = 1920 | 3 * 7 * 9 * 10 = 1890 | 30
                              2 * 3 * 5 * 7 * 9 = 1890 | 4 * 6 * 8 * 10 = 1920 | 30
                              2 * 3 * 4 * 8 * 10 = 1920 | 5 * 6 * 7 * 9 = 1890 | 30
                              
                              3 * 5 * 6 * 7 * 10 = 6300 | 2 * 4 * 8 * 9 * 11 = 6336 | 36
                              3 * 4 * 6 * 8 * 11 = 6336 | 2 * 5 * 7 * 9 * 10 = 6300 | 36
                              
                              2 * 4 * 5 * 6 * 9 * 10 = 21600 | 3 * 7 * 8 * 11 * 12 = 22176 | 576
                              2 * 3 * 6 * 7 * 8 * 11 = 22176 | 4 * 5 * 9 * 10 * 12 = 21600 | 576
                              2 * 3 * 5 * 8 * 9 * 10 = 21600 | 4 * 6 * 7 * 11 * 12 = 22176 | 576
                              2 * 3 * 5 * 6 * 10 * 12 = 21600 | 4 * 7 * 8 * 9 * 11 = 22176 | 576
                              2 * 3 * 4 * 7 * 11 * 12 = 22176 | 5 * 6 * 8 * 9 * 10 = 21600 | 576
                              
                              2 * 3 * 4 * 5 * 6 * 10 * 11 = 79200 | 7 * 8 * 9 * 12 * 13 = 78624 | 576
                              3 * 5 * 6 * 8 * 10 * 11 = 79200 | 2 * 4 * 7 * 9 * 12 * 13 = 78624 | 576
                              3 * 4 * 7 * 8 * 9 * 13 = 78624 | 2 * 5 * 6 * 10 * 11 * 12 = 79200 | 576
                              3 * 4 * 6 * 7 * 12 * 13 = 78624 | 2 * 5 * 8 * 9 * 10 * 11 = 79200 | 576
                              3 * 4 * 5 * 10 * 11 * 12 = 79200 | 2 * 6 * 7 * 8 * 9 * 13 = 78624 | 576
                              
                              840
                              6120
                              24480
                              20160
                              93696
                              420480
                              ...
                              


                              Что интересно, для четных и нечетных веток расхождения возрастают, с единственным исключением. Возможно дальше тоже есть, но судя по динамике маловерятно.
                              четные:
                              2 6 18 30 576 840 24480 93696
                              
                              нечетные:
                              2 2 54 36 576 6120 20160 420480
                              

                              код
                              <?php
                              
                              $arr = [2,3,4];
                              
                              $minDiff = 1000000000;
                              foreach (getCombinations($arr, (int)(count($arr)/2)) as $variant) {
                              
                                  list($a, $b) = $variant;
                              
                                  $ma = getMult($a);
                                  $mb = getMult($b);
                                  $diff = abs($mb - $ma);
                              
                                  if ($diff < $minDiff) $minDiff = $diff;
                              
                                  if ($diff == 2) {
                                      echo printArr($a) . ' | ' . printArr($b) . ' | ' . $diff;
                                      echo PHP_EOL;
                                  }
                              }
                              echo 'Min diff: ' . $minDiff;
                              echo PHP_EOL;
                              return;
                              
                              function printArr($arr)
                              {
                                  return implode(' * ', $arr) . ' = ' . getMult($arr);
                              }
                              
                              function getMult($arr)
                              {
                                  return array_reduce($arr, function ($e, $res) { return $res*$e; }, 1);
                              }
                              
                              function getCombinations($items, $n)
                              {
                                  if ($n == 0) {
                                      yield [$items, []];
                                  } else {
                                      foreach ($items as $i => $el) {
                                          foreach (getCombinations(array_slice($items, $i+1), $n-1) as $variant) {
                                              yield [array_merge(array_slice($items, 0, $i), $variant[0]), array_merge([$el], $variant[1])];
                                          }
                                      }
                                  }
                              }
                              


                                0
                                Воотще тут случай узнать у специалистов, как точно считали факториал триллиона. Или какие более простые методы?
                                  0
                                  А можно сделать что-то типа такого и посмотреть на график разницы? Интересно, как выглядит.
                                  if r * r != fac + 1
                                        println(n, "! + 1 - ", r, "^2 = ", fac + 1 - r^2)
                                  
                                    0
                                    Проверьте числа. Вольфрам Альфа вычисляет так:
                                    image
                                      0
                                      В факториале по крайней мере один простой делитель — самый большой — всегда присутствует только один раз.

                                      В факториале любой делитель присутствует только один раз, нет?
                                      И как все-таки это утверждение связано с постулатом Бертрана?
                                        +1
                                        Факториал — произведение всех чисел от единицы до входного, среди них для n больше 3 всегда будут присутствовать составные числа (например 4), которые содеражат простые делители, которые уже были среди предыдущих чисел на числовой оси: 4! -> 2, 2, 2, 3 — двойка входит трижды. Также и остальные. Если бы не было правила Бертрана, то можно было бы сказать что мы находим такое простое число а, такое что между а и 2а нет других простых. Тогда взяв факториал (2а)! мы бы получили что множитель а входит в него дважды, т.е. доказательство не состоялось — требование содержания парного числа множителей не даёт нам никакой новой информации. Но с правилом Бертрана мы знаем что такое простое число не существует.

                                      Только полноправные пользователи могут оставлять комментарии. Войдите, пожалуйста.

                                      Самое читаемое