Математику часто сприймають як холодну, абстрактну ділянку чисел, далеку від людського досвіду. Однак, як показує Саймон Сінг у своїй знаковій книзі 1997 року «Велика теорема Ферма», прагнення до математичного доказу — це глибоко людська сага, повна одержимості, трагедій, таємних товариств і, зрештою, тріумфу.
Майже через три десятиліття після публікації робота Сінга залишається визначальним дослідженням того, що означає шукати абсолютну істину за допомогою логіки.
Сила абсолютного доказу
Історія починається не зі складних рівнянь, а з фундаментальної концепції “математичного доказу”. Щоб проілюструвати цю різницю, Сінг звертається до Піфагору. Хоча багато цивілізацій працювали з трикутниками, Піфагор здійснив революцію, тому що він не покладався на метод спроб і помилок; він використовував незаперечну логіку, щоб довести, що його теорема ($x^2 + y^2 = z^2$) вірна для кожного прямокутного трикутника.
Ця відмінність дуже важлива: у науці теорії можуть оновлюватися в міру надходження нових даних, але в математиці доведена теорема — це одвічна істина. Саме це прагнення «абсолютного знання» рухає математиками, представленими в оповіданні Сінга.
«Маргінальна» таємниця Ферма
Центральна драма розгортається навколо П’єра де Ферма, французького судді та блискучого математика XVII століття. Ферма, як відомо, розмірковував над рівнянням Піфагора. Він припустив, що якщо рівняння $x^2 + y^2 = z^2$ має безліч рішень у цілих числах, то для будь-якого вищого ступеня це рівняння не працює. Іншими словами:
Якщо $n > 2$, то рівняння $x^n + y^n = z^n$ немає рішень у цілих числах.
У 1637 році Ферма на полях книги накидав, що знайшов «справді чудовий» доказ, але додав (що стало легендою), що поля надто вузькі, щоб його там умістити. Ця зухвала, нічим не підтверджена заява породила 350-річну інтелектуальну одержимість, змусивши цілі покоління математиків переслідувати привид.
Галерея математичних трагедій та тріумфів
Синг вдихає життя в історію математики, описуючи геніальних, але найчастіше недосконалих людей, які опинилися в тіні Ферма:
- Софі Жермен: першопрохідник, якій доводилося працювати під чоловічим псевдонімом, щоб зробити свій внесок у науку.
Еваріст Галуа: революціонер, чиє життя обірвалося в дуелі, залишивши по собі новаторські праці.
Ютака Таніяма: математик, чиї ідеї заклали фундамент для майбутнього рішення, але який, на жаль, наклав на себе руки.
Кульмінацію книги присвячено Ендрю Уайлсу — математику, який нарешті «зламав код» у 1994 році. Уайлз досяг цього, побудувавши логічний міст між двома, начебто, незв’язаними областями: еліптичними кривими і модулярними формами. Це з’єднання було непросто вирішенням однієї задачі; воно стало підтвердженням значно масштабнішого математичного бачення.
Великий задум: Програма Ленглендса
Значимість докази Уайлса виходить далеко за межі конкретної гіпотези Ферма. Воно стало раннім доказом програми Ленглендса — грандіозного архітектурного бачення в математиці, запропонованого Робертом Ленглендсом в 1967 році.
Програма Ленглендса передбачає, що це розрізнені гілки математики глибоко взаємопов’язані. Теорія свідчить, що, знаходячи такі «мости», можна вирішити задачу, яка здається нерозв’язною в одній області, використовуючи спеціалізований інструментарій іншої. Успіх Уайлса довів, що ці зв’язки є реальними, проклавши шлях для сучасних проривів, таких як досягнення в гармонійному аналізі 2024 року.
Висновок
«Велика теорема Ферма» – це не просто історія одного рівняння; це свідчення прагнення людини зрозуміти фундаментальну структуру реальності. Розглядаючи математичні докази як витвори мистецтва, Сінг показує, що пошук логіки – це, по своїй суті, глибоке і прекрасне людське діяння.
