Её условие формулируется на простом арифметическом уровне, но доказательство теоремы искали многие математики более трёхсот лет!
В общем виде была сформулирована Пьером ферма в 1637 году. Доказана в 1994 году английским математиком Эндрю уайлсом с коллегами.
Теорема утверждает, что для любого натурального числа n > 2 уравнение:
a? n}+b? n}=c? n} не имеет решений в целых ненулевых числах a, b, c.