Задача Брокара: формулировка и современное состояние

• Уравнение: n! + 1 = m², решения ищутся в натуральных числах.
• Известны три решения: n = 4, 5, 7, им соответствуют m = 5, 11, 71.
• Пары (n, m) называют числами Брауна.
• Компьютерная проверка не нашла других решений до очень больших n.
• Задача остаётся открытой; следствие из ABC-гипотезы даёт конечность числа решений.

Требуется найти все натуральные n и m, для которых n! + 1 = m². Задача поставлена Анри Брокаром в 1876 году и независимо рассматривалась Рамануджаном, поэтому в литературе встречается и как задача Брокара — Рамануджана.

Проверка малых значений быстро даёт три попадания: 4! + 1 = 25 = 5², 5! + 1 = 121 = 11², 7! + 1 = 5041 = 71². Дальше решений не обнаруживается, и гипотеза состоит в том, что этими тремя список исчерпан.

Найденные тройки называют числами Брауна. Компьютерные проверки продвинуты до очень больших границ и новых решений не дали, что делает гипотезу практически несомненной — но численная проверка не является доказательством: значений бесконечно много.

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

Отдельные подходы дают частичные результаты: например, из ABC-гипотезы следует, что решений конечное число. Но сама ABC-гипотеза не имеет общепризнанного доказательства, поэтому такой вывод остаётся условным.

Задача входит в семейство вопросов о том, когда факториальные выражения оказываются степенями. Родственный пример — теорема о том, что n! никогда не является полным квадратом при n > 1: она доказывается сравнительно легко через постулат Бертрана, поскольку в разложении найдётся простое в первой степени.

Добавление единицы разрушает этот аргумент целиком: о разложении n! + 1 на множители почти ничего не известно. Именно поэтому близкие по виду задачи различаются по сложности на порядки.

Прямых приложений у неё нет, и в этом нет проблемы: ценность в другом. Формулировка понятна школьнику, а решение недоступно современной математике — такие задачи хорошо показывают, где именно кончается наше понимание целых чисел.

Кроме того, попытки решения стимулируют развитие инструментов: связь с ABC-гипотезой показывает, что вопрос не изолирован, а встроен в общую картину диофантовых уравнений.