У світі можна знайти не так вже й багато людей, ні разу не чули про Великої теореми Ферма - мабуть, це єдина математична задача, яка отримала таку широку популярність і стала справжньою легендою. Про неї згадується у безлічі книг і фільмів, при цьому головний контекст майже всіх згадувань - неможливість довести теорему.

Так, ця теорема дуже відома і в деякому сенсі стала «ідолом», якому поклоняються математики-аматори і професіонали, але мало кому відомо про те, що її доказ знайдено, а сталося це в уже далекому 1995 році. Але про все по порядку.

Отже, Велика теорема Ферма (нерідко звана останньої теоремою Ферма), сформульована в 1637 році блискучим французьким математиком П'єром Ферма, дуже проста за своєю суттю і зрозуміла кожній людині із середньою освітою. У ньому записано, що формула an + bn = cn не має натуральних (тобто не дрібних) рішень для n> 2. Начебто все просто і зрозуміло, але кращі вчені-математики і прості любителі билися над пошуком рішення більше трьох з половиною століть.

Сам Ферма стверджував, що вивів вельми просте і лаконічне доказ своєї теорії, однак досі не знайдено жодних документальних свідчень цього факту. Тому зараз вважається, що сам Ферма так і не зміг знайти спільної вирішення своєї теореми, хоча з-під його пера вийшло приватне доказ для n = 4.

Після Ферма над пошуком докази працювали такі великі уми, як Леонард Ейлер (в 1770 році їм було запропоновано рішення для n = 3), Адрієн Лежандр і Йоганн Дирихле (ці вчені в 1825 році спільно знайшли доказ для n = 5), Габріель Ламі ( знайшов доказ для n = 7) і багато інших. До середини 80-х років минулого століття стало зрозуміло, що вчений світ знаходиться на шляху до остаточного рішення

Великої теореми Ферма, проте тільки в 1993 році математики побачили і повірили, що трьохсотлітня епопея з пошуку докази останньої теореми Ферма практично закінчилася.

У 1993 році англійський математик Ендрю Уайлс представив світові своє доказ Великої теореми Ферма, робота над яким тривала понад сім років. Але виявилося, що дане рішення містить грубу помилку, хоча в цілому і вірно. Вайлс не здався, закликав на допомогу відомого фахівця в теорії чисел Річарда Тейлора, і вже в 1994 році вони опублікували виправлене і доповнене доказ теореми. Найдивовижніше, що ця робота зайняла цілих 130 (!) Смуг в математичному журналі «Annals of Mathematics». Але і на цьому історія не закінчилася - остання точка була поставлена ​​тільки в наступному, 1995 році, коли у світ вийшов остаточний і «ідеальний», з математичної точки зору, варіант докази.

З того моменту пройшло чимало часу, проте в суспільстві досі існує думка про нерозв'язності Великої теореми Ферма. Але навіть ті, хто знає про знайдений доказі, продовжують роботу в цьому напрямку - мало кого влаштовує, що Велика теорема вимагає рішення в 130 сторінок! Тому зараз сили дуже багатьох математиків (в основному це любителі, а не професійні вчені) кинуті на пошуки простого і лаконічного докази, однак цей шлях, швидше за все, не приведе нікуди ...