Запечатанные конвертыСтраница 3
Куммер отметил, что не существует известных математических методов, которые позволили бы единым махом рассмотреть все нерегулярные простые числа. Но он полагал, что, тщательно подгоняя существующие методы к каждому нерегулярному простому числу в отдельности, удастся справиться с ними «по одиночке». Разработка таких выполненных по индивидуальному заказу методов было бы делом медленным и чрезвычайно трудным, и, что еще хуже, множество нерегулярных простых чисел было бесконечным. Рассмотрение нерегулярных простых чисел по одному силами всего мирового математического сообщества растянулось бы до конца веков.
Письмо Куммера произвело на Ламе ошеломляющее действие. Упустить из виду предположение о единственности факторизации! В лучшем случае такое можно было бы назвать чрезмерным оптимизмом, в худшем — непростительной глупостью. Ламе сознавал, что если бы он не стремился держать подробности своей работы в тайне, то смог бы обнаружить пробел гораздо раньше. В письме к своему коллеге Дирихле в Берлин он признавался: «Если бы только Вы были в Париже, или я был в Берлине, все это никогда бы не произошло». Если Ламе испытывал чувство унижения, то Коши отказывался признать поражение. По его мнению, по сравнению с доказательством Ламе, его собственное доказательство в меньшей степени опиралось на единственность разложения на множители, и до тех пор, пока проведенный Куммером анализ не будет полностью проверен, существует возможность, что в рассуждения немецкого математика где-то вкралась ошибка. В течение нескольких недель Коши продолжал публиковать статью за статьей о доказательстве Великой теоремы Ферма, но к исходу лета замолчал и он.
Куммер показал, что полное доказательство Великой теоремы Ферма лежало за пределами возможностей существовавших математических подходов. Это был блестящий образец логики и в то же время чудовищный удар по целому поколению математиков, питавших надежду, что именно им удастся решить самую трудную в мире математическую проблему.
Резюме подвел Коши, который в 1857 году писал в заключительном отчете, представленном Академии, по поводу премии, назначенной за доказательство Великой теоремы Ферма: «Отчет о конкурсе на премию по математическим наукам. Конкурс был назначен на 1853 год и затем продлен до 1856 года. Секретарю были представлены одиннадцать мемуаров. Ни в одном из них поставленный вопрос решен не был. Таким образом, несмотря на многократную постановку, вопрос остается там, где его оставил г-н Куммер. Однако математические науки вознаграждены трудами, предпринятыми геометрами в их стремлении решить вопрос, особенно г-на Куммера, и члены Комиссии считают, что Академия приняла бы достаточное и полезное решение, если бы, изъяв вопрос из конкурса, присудила бы медаль г-ну Куммеру за его прекрасные исследования по комплексным числам, состоящим из корней из единицы и целых чисел».
* * *
Более двух столетий любая попытка открыть заново доказательство Великой теоремы Ферма заканчивалась неудачей. В юношеские годы Эндрю Уайлс изучил труды Эйлера, Жермен, Коши, Ламе и, наконец, Куммера. Уайлс надеялся, что ему удастся извлечь уроки из ошибок, допущенных великими предшественниками, но к тому времени, когда он стал старшекурсником Оксфордского университета, на его пути встала та же каменная стена, перед которой остановился Куммер.
Некоторые из современников Уайлса начали подозревать, что проблема Ферма может оказаться неразрешимой. Не исключено, что Ферма заблуждался, и поэтому причина, по которой никому не удалось восстановить доказательство Ферма, заключается просто в том, что такого доказательства вообще не существовало. Уайлса вдохновляло то, что в прошлом, после упорных усилий на протяжении столетий, для некоторых значений n доказательство Великой теоремы Ферма все же было обнаружено. И в некоторых из этих случаев удачные идеи, позволившие решить проблему, не опирались на новые достижения математики; наоборот, это были доказательства, которые могли быть давно быть обнаружены.
Другое по теме
Введение в курс. Основные понятия.
Целью
математического моделирования экономических систем является использование
методов математики для наиболее эффективного решения задач, возникающих в в
сфере экономики, с использование, как правило, современной вычисл ...