Сегодня Гугль празднует день рождения Пьера Ферма - математика, известного своей теоремой, которую долгое время никто не мог доказать, несмотря на ее простоту. Великая теорема Ферма гласит: Для любого натурального числа n > 2 уравнение a^n+b^n=c^n не имеет натуральных решений a, b и c. Теорема была сформулирована им в 1637 году, на полях книги «Арифметика» Диофанта с припиской, что найденное им остроумное доказательство этой теоремы слишком длинно, чтобы привести его на полях. Вероятнее всего, его доказательство не было верным, так как позднее он опубликовал доказательство только для случая n = 4. Доказательство, найденное в 1994 году Эндрю Уайлсом, содержит 129 страниц и опубликовано в журнале «Annals of Mathematics» в 1995 году. Простота формулировки этой теоремы привлекла много математиков-любителей, так называемых ферматистов. Даже и после решения Уайлса во все академии наук идут письма с «доказательствами» великой теоремы Ферма. Великая теорема послужила катализатором и творческих идей. В 1972 году был создан редкий игровой научно-популярный фильм «Математик и черт», в котором математик предлагает продать душу дьяволу за то, чтобы тот доказал или опроверг теорему Ферма. Просмотр настоятельно рекомендую! http://www.youtube.com/watch?v=fgVLe7CK-CA
Dmitry, Доказательство есть - и насколько я понял, их несколько. Доказывают ее до определенного знака степени (число очень большое) каждый раз. ... если я неправильно понял - прошу поправить.... ... Но знаю точно, что Теорему Ферма смогли доказать в XX веке лишь получив новые инструменты и теории, когда математика вышла на новый уровень развития.