Вели́кая теоре́ма Ферма́ (или последняя теорема Ферма) — одна из самых популярных теорем математики; её условие формулируется на понятийном уровне среднего общего образования, а доказательство теоремы искали многие математики более трёхсот лет. Окончательно доказана в 1995 году Уайлсом.

Формулировка

Теорема утверждает, что:

Для любого натурального n > 2 уравнение
a^n+b^n=c^n\,\!
не имеет натуральных решений a, b и c.

История

Для случая n = 3 эту теорему в X веке пытался доказать среднеазиатский математик ал-Ходжанди, но его доказательство не сохранилось.
В общем виде теорема была сформулирована Пьером Ферма в 1637 на полях «Арифметики» Диофанта с припиской, что найденное им остроумное доказательство этой теоремы слишком длинно, чтобы его можно было здесь поместить:
Наоборот, невозможно разложить куб на два куба, биквадрат на два биквадрата и вообще никакую степень, большую квадрата, на две степени с тем же показателем. Я нашел этому поистине чудесное доказательство, но поля книги слишком узки для него.

Несколько позже сам Ферма опубликовал доказательство частного случая для n = 4, что добавляет сомнений в том, что у него было доказательство общего случая, иначе он непременно упомянул бы о нём в этой статье. Читать далее...