Зачем математики доказывают уже доказанные теоремы

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

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

Когда другой путь убирает спорное понятие

В профессиональной математике доказательство не только обосновывает утверждение. Оно помогает строить и организовывать математические идеи. Как отмечает журналист Jacob Aron в материале New Scientist, доказательство можно представить как путь от утверждения к выводу: маршрутов между ними бывает несколько.

Один из ранних примеров связан с равнобедренным треугольником, у которого углы при основании равны. В описании New Scientist раннее доказательство использовало линии от центра окружности к её окружности. Позднее Евклид предложил доказательство с помощью треугольников. Такой подход обходил разногласие о том, как определять углы между прямой и кривой.

Новый маршрут не обязательно означал, что прежнее доказательство было ошибочным. Он позволял обосновать утверждение, не опираясь на понятие, определение которого вызывало спор.

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

Теорема Евклида утверждает, что простых чисел бесконечно много. Один из вариантов доказательства начинается с предположения, будто известен полный список: p₁, p₂, ..., pₖ. Перемножим эти числа и прибавим единицу:

N = p₁p₂...pₖ + 1.

При делении N на любое число из списка остаток равен 1. Значит, ни одно из перечисленных простых чисел не делит N. Само N либо простое, либо имеет простой делитель. В обоих случаях находится простое число, которого нет в исходном списке. Следовательно, список не мог быть полным.

Эта теорема допускает и другие доказательства. В историческом обзоре Romeo Meštrović на arXiv собраны варианты, использующие идеи делимости и взаимной простоты, алгебраическую теорию чисел, анализ, комбинаторику и топологию. В аннотации четвёртой версии автор сообщает о 200 доказательствах. Это подсчёт в обзорном препринте, а не результат отдельного исследования или независимая статистическая оценка.

В самом PDF есть расхождение: в историческом разделе говорится о 183 доказательствах, тогда как заголовок и аннотация версии 4 указывают 200. Автор не объясняет, как соотносятся эти числа. Поэтому корректно говорить, что в последней версии обзора автор насчитал 200 вариантов, и отдельно отмечать расхождение.

Разные доказательства могут быть полезны по-разному: одно проще разобрать, другое выводит теорему из идей другой области. В обзоре Meštrović приводит слова математика Майкла Атия о том, что разные доказательства могут иметь разные сильные стороны и ограничения и обобщаться в разных направлениях. Это цитируемое автором мнение, а не результат отдельного исследования.

Материал New Scientist приводит пример доказательства Эйлера, связавшего сумму обратных простых чисел с произведением, построенным по простым. Эта связь помогла изучать структуру простых чисел и стала частью математического контекста, в котором позднее возникла гипотеза Римана. Новое доказательство тем самым может оказаться полезным не только для подтверждения известного вывода, но и для поиска связей с другими задачами.

Несколько доказательств не исключают ошибку

В 1933 году Вильгельм Грюнвальд опубликовал доказательство утверждения о представлении числа a в виде xⁿ при определённом условии, связанном со всеми простыми числами. В 1942 году Джордж Уэплс предложил другое доказательство. В 1948 году Шианхао Ван нашёл контрпример: 16 нельзя представить как x⁸ ни при каком целом x. После исправления результат стал известен как теорема Грюнвальда–Ванга. Так этот эпизод пересказывает New Scientist.

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

Именно зависимости между шагами важны в разборе Евклидовых «Начал», который публикует David E. Joyce. Комментируя доказательство свойства равнобедренного треугольника, он указывает на возможный логический круг: предложение I.13 зависит от I.11, I.11 от I.8, I.8 от I.7, а I.7 от I.5. Поэтому I.13 нельзя использовать для доказательства I.5. Здесь проверяют не число доказательств, а их логическое устройство: что принято заранее и от чего зависит каждый шаг.

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

Что сеть доказательств может объяснить

В статье 2021 года Scott Viteri и Simon DeDeo рассматривают математические доказательства как сеть логических шагов. Из полного текста работы, доступного по ссылке на странице одного из авторов, в предоставленных материалах можно подтвердить название, авторов и журнал Cognition, но нельзя восстановить точные условия модели и результаты её проверки.

Журналистский пересказ New Scientist объясняет основную идею так: если каждый шаг длинной цепочки может содержать ошибку, несколько различных путей к одному выводу могут дать дополнительные способы его поддержать. Авторы модели называют описанный эффект «эпистемическим фазовым переходом». Это пересказ математической модели, а не универсальный закон о том, что любое новое доказательство повышает надёжность теоремы.

Представим для пояснения сеть дорог. Два маршрута к одному месту дают дополнительную проверку, если идут разными путями. Но если оба проходят через один и тот же мост, они разделяют уязвимость. Эта аналогия объясняет, почему важно изучать общие предпосылки доказательств, но сама по себе ничего не доказывает о корректности конкретной теоремы.

Полный текст статьи Viteri и DeDeo в доступных материалах отсутствует. Поэтому нельзя надёжно описать, как именно авторы определяют независимость путей, какие вероятности ошибок задают и проверяют ли модель на реальных доказательствах. Утверждение о росте уверенности здесь следует понимать только в рамках модели и её журналистского пересказа.

Число доказательств не равно числу независимых проверок

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

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

Источники

1. Aron J. Почему математики продолжают доказывать то, что уже знают? New Scientist, 23 октября 2026 года. Объяснительный журналистский материал, полный текст доступен.
2. Meštrović R. Теорема Евклида о бесконечности простых чисел: исторический обзор доказательств и ещё одно новое доказательство. arXiv:1202.3670, версия 4 от 25 июля 2023 года. Исторический обзор и препринт; статус рецензирования в предоставленных материалах не указан. PDF полного текста.
3. Joyce D. E. «Начала» Евклида, книга I, предложение 5. Текст доказательства и редакторский комментарий.
4. Viteri S., DeDeo S. Epistemic Phase Transitions in Mathematical Proofs. Cognition, 2021. DOI: 10.1016/j.cognition.2022.105120. Страница автора подтверждает публикацию и содержит ссылку на статью; полный текст в предоставленных материалах недоступен.

Фото: Hans / Pixabay