Опыт ньютона по дисперсии. Цветовые опыты ньютона. Демонстрируется непрерывный спектр белого света

В мире можно найти не так уж много людей, ни разу не слы-шавших о Великой теореме Ферма — пожалуй, это единственная математическая задача, получившая столь широкую известность и ставшая настоящей легендой. О ней упоминается во множестве книг и фильмов, при этом главный контекст почти всех упоми-наний — невозможность доказать теорему.

Да, эта теорема очень известна и в некотором смысле стала «идолом», которому поклоняются математики-любители и про-фессионалы, но мало кому известно о том, что ее доказательство найдено, а произошло это в уже далеком 1995 году. Но обо всем по порядку.

Итак, Великая теорема Ферма (нередко называемая послед-ней теоремой Ферма), сформулированная в 1637 году блестя-щим французским математиком Пьером Ферма, очень проста по своей сути и понятна любому человеку со средним образова-нием. Она гласит, что формула а в степени n + b в степени n = c в степени n не имеет натуральных (то есть не дробных) решений для n > 2. Вроде все просто и понятно, но лучшие ученые-математики и простые любители бились над поиском решения более трех с половиной веков.

Почему она так знаменита? Сейчас узнаем...

Мало ли доказанных, недоказанных и пока не доказанных теорем? Тут все дело в том, что Великая теорема Ферма являет собой самый большой контраст между простотой формулировки и сложностью доказательства. Великая теорема Ферма - задача невероятно трудная, и тем не менее ее формулировку может понять каждый с 5-ю классами средней школы, а вот доказательство - даже далеко не всякий математик-профессионал. Ни в физике, ни в химии, ни в биологии, ни в той же математике нет ни одной проблемы, которая формулировалась бы так просто, но оставалась нерешенной так долго. 2. В чем же она состоит?

Начнем с пифагоровых штанов Формулировка действительно проста - на первый взгляд. Как известно нам с детства, «пифагоровы штаны на все стороны равны». Проблема выглядит столь простой потому, что в основе ее лежало математическое утверждение, которое всем известно, - теорема Пифагора: в любом прямоугольном треугольнике квадрат, построенный на гипотенузе, равен сумме квадратов, построенных на катетах.

В V веке до н.э. Пифагор основал пифагорейское братство. Пифагорейцы, помимо прочего, изучали целочисленные тройки, удовлетворяющие равенству x²+y²=z². Они доказали, что пифагоровых троек бесконечно много, и получили общие формулы для их нахождения. Наверное, они пробовали искать тройки и более высоких степеней. Убедившись, что это не получается, пифагорейцы оставили бесполезные попытки. Члены братства были больше философами и эстетами, чем математиками.

То есть легко подобрать множество чисел, которые прекрасно удовлетворяют равенству x²+y²=z²

Начиная с 3, 4, 5 - действительно, младшекласснику понятно, что 9+16=25.

Или 5, 12, 13: 25 + 144 = 169. Замечательно.

Так вот, оказывается, что их НЕТ. Вот тут начинается подвох. Простота - кажущаяся, потому что трудно доказать не наличие чего-то, а наоборот, отсутствие. Когда надо доказать, что решение есть, можно и нужно просто привести это решение.

Доказать отсутствие сложнее: например, некто говорит: такое-то уравнение не имеет решений. Посадить его в лужу? легко: бац - а вот оно, решение! (приведите решение). И все, оппонент сражен. А как доказать отсутствие?

Сказать: «Я не нашел таких решений»? А может, ты плохо искал? А вдруг они есть, только очень большие, ну очень, такие, что даже у сверхмощного компьютера пока не хватает силенок? Вот это-то и сложно.

В наглядном виде это можно показать так: если взять два квадратика подходящих размеров и разобрать на единичные квадратики, то из этой кучки единичных квадратиков получается третий квадратик (рис. 2):


А проделаем то же с третьим измерением (рис. 3) - не получается. Не хватает кубиков, или остаются лишние:

А вот математик XVII века француз Пьер де Ферма с увлечением исследовал общее уравнение x n +y n =z n . И, наконец, сделал вывод: при n>2 целочисленных решений не существует. Доказательство Ферма безвозвратно утеряно. Рукописи горят! Осталось лишь его замечание в «Арифметике» Диофанта: «Я нашел поистине удивительное доказательство этого предложения, но поля здесь слишком узки для того, чтобы вместить его».

Вообще-то, теорема без доказательства называется гипотезой. Но за Ферма закрепилась слава, что он никогда не ошибается. Даже если он не оставлял доказательства какого-нибудь утверждения, впоследствии оно подтверждалось. К тому же, Ферма доказал свой тезис для n=4. Так гипотеза французского математика вошла в историю как Великая теорема Ферма.

После Ферма над поиском доказательства работали такие ве-ликие умы, как Леонард Эйлер (в 1770 году им было предложено решение для n = 3),

Адриен Лежандр и Иоганн Дирихле (эти ученые в 1825 году совместно нашли доказательство для n = 5), Габриель Ламе (нашедший доказательство для n = 7) и многие другие. К середине 80-х годов прошлого века стало понятно, что ученый мир находится на пути к окончательному решению Великой теоремы Ферма, однако только в 1993 году математики увидели и поверили, что трехвековая эпопея по поиску доказа-тельства последней теоремы Ферма практически закончилась.

Легко показывается, что теорему Ферма достаточно доказать только для простых n: 3, 5, 7, 11, 13, 17, … При составных n доказательство остаётся в силе. Но и простых чисел бесконечно много…

В 1825 году, применив метод Софи Жермен, женщины-математика, Дирихле и Лежандр независимо друг от друга доказали теорему для n=5. В 1839 году тем же методом француз Габриель Ламе показал истинность теоремы для n=7. Постепенно теорему доказали почти для всех n, меньших ста.

Наконец, немецкий математик Эрнст Куммер в блестящем исследовании показал, что методами математики XIX века теорему в общем виде доказать нельзя. Премия Французской Академии Наук, учреждённая в 1847 году за доказательство теоремы Ферма, осталась невручённой.

В 1907 году богатый немецкий промышленник Пауль Вольфскель из-за неразделённой любви решил свести счёты с жизнью. Как истинный немец он назначил дату и время самоубийства: ровно в полночь. В последний день он составил завещание и написал письма друзьям и родственникам. Дела закончились раньше полночи. Надо сказать, что Пауль интересовался математикой. От нечего делать он пошёл в библиотеку и принялся читать знаменитую статью Куммера. Неожиданно ему показалось, что Куммер в ходе рассуждений совершил ошибку. Вольфскель стал с карандашом в руках разбирать это место статьи. Полночь миновала, наступило утро. Пробел в доказательстве был восполнен. Да и сам повод для самоубийства теперь выглядел совершенно нелепым. Пауль разорвал прощальные письма и переписал завещание.

Вскоре он умер естественной смертью. Наследники были изрядно удивлены: 100 000 марок (более 1 000 000 нынешних фунтов стерлингов) передавались на счёт Королевского научного общества Гёттингена, которое в том же году объявило о проведении конкурса на соискание премии Вольфскеля. 100 000 марок полагались доказавшему теорему Ферма. За опровержение теоремы не полагалось ни пфеннига…

Большинство профессиональных математиков считали поиск доказательства Великой теоремы Ферма безнадёжным делом и решительно отказывались тратить время на такое бесполезное занятие. Зато любители порезвились на славу. Через несколько недель после объявления на Гёттингенский университет обрушилась лавина «доказательств». Профессор Э. М. Ландау, в обязанность которого входил разбор присланных доказательств, раздал своим студентам карточки:

Уважаемый(ая) . . . . . . . .

Благодарю Вас за присланную Вами рукопись с доказательством Великой теоремы Ферма. Первая ошибка находится на стр. ... в строке... . Из-за неё всё доказательство утрачивает силу.
Профессор Э. М. Ландау

В 1963 году Пауль Коэн, опираясь на выводы Гёделя, доказал неразрешимость одной из двадцати трех проблем Гильберта — гипотезы континуума. А что, если Великая теорема Ферма тоже неразрешима?! Но истинных фанатиков Великой теоремы это ничуть не разочаровало. Появление компьютеров неожиданно дало математикам новый метод доказательства. После Второй мировой войны группы программистов и математиков доказали Великую теорему Ферма при всех значениях n до 500, затем до 1 000, а позже до 10 000.

В 80-е годы Сэмюэль Вагстафф поднял предел до 25 000, а в 90-ых математики заявили, что Великая теорема Ферма верна при всех значениях n до 4 миллионов. Но если от бесконечности отнять даже триллион триллионов, она не станет меньше. Математиков не убеждает статистика. Доказать Великую теорему значило доказать её для ВСЕХ n, уходящих в бесконечность.

В 1954 году два молодых японских друга-математика занялись исследованием модулярных форм. Эти формы порождают ряды чисел, каждая - свой ряд. Случайно Танияма сравнил эти ряды с рядами, порождаемыми эллиптическими уравнениями. Они совпадали! Но модулярные формы - геометрические объекты, а эллиптические уравнения - алгебраические. Между столь разными объектами никогда не находили связи.

Тем не менее, друзья после тщательной проверки выдвинули гипотезу: у каждого эллиптического уравнения существует двойник - модулярная форма, и наоборот. Именно эта гипотеза стала фундаментом целого направления в математике, но до тех пор, пока гипотеза Таниямы-Симуры не была доказана, всё здание могло рухнуть в любой момент.

В 1984 году Герхард Фрей показал, что решение уравнения Ферма, если оно существует, можно включить в некоторое эллиптическое уравнение. Двумя годами позже профессор Кен Рибет доказал, что это гипотетическое уравнение не может иметь двойника в модулярном мире. Отныне Великая теорема Ферма была нерасторжимо связана с гипотезой Таниямы-Симуры. Доказав, что любая эллиптическая кривая модулярна, мы делаем вывод, что эллиптического уравнения с решением уравнения Ферма не существует, и Великая теорема Ферма была бы тотчас же доказана. Но в течение тридцати лет доказать гипотезу Таниямы-Симуры не удавалось, и надежд на успех оставалось всё меньше.

В 1963 году, когда ему было всего десять лет, Эндрю Уайлс уже был очарован математикой. Когда он узнал о Великой теореме, то понял, что не сможет отступиться от неё. Школьником, студентом, аспирантом он готовил себя к этой задаче.

Узнав о выводах Кена Рибета, Уайлс с головой ушёл в доказательство гипотезы Таниямы-Симуры. Он решил работать в полной изоляции и секретности. «Я понимал, что всё, что имеет какое-то отношение к Великой теореме Ферма, вызывает слишком большой интерес… Слишком много зрителей заведомо мешают достижению цели». Семь лет упорной работы принесли плоды, Уайлс наконец завершил доказательство гипотезы Таниямы-Симуры.

В 1993 году английский математик Эндрю Уайлс представил миру свое доказательство Великой теоремы Ферма (Уайльс прочитал свой сенсационный доклад на конференции в Институте сэра Исаака Ньютона в Кембридже.) , работа над которым продолжалась более семи лет.

Пока в печати продолжалась шумиха, началась серьёзная работа по проверке доказательства. Каждый фрагмент доказательства должен быть тщательно изучен прежде, чем доказательство может быть признано строгим и точным. Уайлс провёл беспокойное лето в ожидании отзывов рецензентов, надеясь, что ему удастся получить их одобрение. В конце августа эксперты нашли недостаточно обоснованное суждение.

Оказалось, что данное решение содержит грубую ошибку, хотя в целом и верно. Уайлс не сдался, призвал на помощь известного специалиста в теории чисел Ричарда Тейлора, и уже в 1994 году они опубликовали исправлен-ное и дополненное доказательство теоремы. Самое удивительное, что эта работа заняла целых 130 (!) полос в математическом журнале «Annals of Mathematics». Но и на этом история не закончилась — последняя точка была поставлена только в следующем, 1995 году, когда в свет вышел окончательный и «идеальный», с математи-ческой точки зрения, вариант доказательства.

«…через полминуты после начала праздничного обеда по случаю её дня рождения, я подарил Наде рукопись полного доказательства» (Эндрю Уальс). Я ещё не говорил, что математики странные люди?

На этот раз никаких сомнений в доказательстве не было. Две статьи были подвергнуты самому тщательному анализу и в мае 1995 года были опубликованы в журнале «Annals of Mathematics».

С того момента прошло немало времени, однако в обществе до сих пор бытует мнение о неразрешимости Великой теоремы Фер-ма. Но даже те, кто знает о найденном доказательстве, продолжают работу в этом направлении — мало кого устраивает, что Великая теорема требует решения в 130 страниц!

Поэтому сейчас силы очень многих математиков (в основном это любители, а не профессио-нальные ученые) брошены на поиски простого и лаконичного до-казательства, однако этот путь, скорее всего, не приведет никуда...

источник

Григорий Перельман. Отказник

Василий Максимов

В августе 2006 года были объявлены имена лучших математиков планеты, получивших престижнейшую Медаль Филдса – своеобразный аналог Нобелевской премии, которой математики, по прихоти Альфреда Нобеля, были лишены. Премия Fields Medal – помимо почетного знака, лауреатам вручается чек на пятнадцать тысяч канадских долларов – присуждается Международным конгрессом математиков раз в четыре года. Она учреждена канадским ученым Джоном Чарльзом Филдсом и впервые вручена в 1936 году. С 1950 года Fields Medal вручается регулярно лично королем Испании за вклад в развитие математической науки. Лауреатами премии могут стать от одного до четырех ученых в возрасте до сорока лет. Премию уже получили сорок четыре математика, среди которых восемь россиян.

Григорий Перельман. Анри Пуанкаре.

В 2006 году лауреатами стали француз Венделин Вернер, австралиец Теренс Тао и двое россиян – работающий в США Андрей Окуньков и ученый из Петербурга Григорий Перельман. Однако в последний момент стало известно, что Перельман отказался от этой престижной награды – как объявили организаторы, «по принципиальным соображениям».

Столь экстравагантный поступок российского математика не стал неожиданностью для знающих его людей. Он уже не в первый раз отказывается от математических наград, объясняя свое решение тем, что не любит торжественные мероприятия и излишнюю шумиху вокруг своего имени. Еще десять лет назад, в 1996 году, Перельман отказался от премии Европейского математического конгресса, сославшись на то, что не закончил работу над номинированной на награду научной проблемой, и это был не последний случай. Российский математик словно сделал целью своей жизни удивлять людей, идя наперекор общественному мнению и научной общественности.

Григорий Яковлевич Перельман родился 13 июня 1966 года в Ленинграде. С юных лет увлекался точными науками, с блеском окончил знаменитую 239-ю среднюю школу с углубленным изучением математики, побеждал на многочисленных математических олимпиадах: так, в 1982 году в составе команды советских школьников участвовал в Международной математической олимпиаде, проходившей в Будапеште. Перельман без экзаменов был зачислен на мехмат Ленинградского университета, где учился на «отлично», продолжая побеждать в математических соревнованиях всех уровней. Окончив университет с красным дипломом, он поступил в аспирантуру при Петербургском отделении Математического института имени В. А. Стеклова. Его научным руководителем был известный математик академик Александров. Защитив кандидатскую диссертацию, Григорий Перельман остался в институте, в лаборатории геометрии и топологии. Известны его работы по теории пространств Александрова, он сумел найти доказательства к ряду важных гипотез. Несмотря на многочисленные предложения от ведущих западных университетов, Перельман предпочитает работать в России.

Самым громким его успехом стало решение в 2002 году знаменитой гипотезы Пуанкаре, опубликованной в 1904 году и с тех пор остававшейся не доказанной. Перельман работал над нею восемь лет. Гипотеза Пуанкаре считалась одной из величайших математических загадок, а ее решение – важнейшим достижением в математической науке: оно моментально продвинет вперед исследования проблем физико-математических основ мироздания. Виднейшие умы планеты прогнозировали ее решение лишь через несколько десятилетий, а Институт математики Клея в Кембридже, штат Массачусетс, внес проблему Пуанкаре в число семи наиболее интересных нерешенных математических проблем тысячелетия, за решение каждой из которых была обещана премия в миллион долларов (Millennium Prize Problems).

Гипотеза (иногда называемая задачей) французского математика Анри Пуанкаре (1854–1912) формулируется так: любое замкнутое односвязное трехмерное пространство гомеоморфно трехмерной сфере. Для пояснения используют наглядный пример: если обмотать яблоко резиновой лентой, то в принципе, стягивая ленту, можно сжать яблоко в точку. Если же обмотать такой же лентой бублик, то в точку его сжать нельзя без разрыва или бублика, или резины. В таком контексте яблоко называют «односвязной» фигурой, бублик же не односвязен. Почти сто лет назад Пуанкаре установил, что двумерная сфера односвязна, и предположил, что трехмерная сфера тоже односвязна. Доказать эту гипотезу не могли лучшие математики мира.

Чтобы претендовать на приз Института Клея, Перельману нужно было всего лишь опубликовать свое решение в одном из научных журналов, и если в течение двух лет никто не сможет найти ошибку в его вычислениях, то решение будут считать верным. Однако Перельман с самого начала отступил от правил, опубликовав свое решение на сайте препринтов Лос-Аламосской научной лаборатории. Возможно, он опасался того, что в его расчеты вкралась ошибка – подобная история уже происходила в математике. В 1994 году английский математик Эндрю Уайлз предложил решение знаменитой теоремы Ферма, а спустя несколько месяцев выяснилось, что в его расчеты вкралась ошибка (правда, впоследствии она была исправлена, и сенсация всё же состоялась). Официальной публикации доказательства гипотезы Пуанкаре нет до сих пор – зато есть авторитетное мнение лучших математиков планеты, подтверждающих верность расчетов Перельмана.

Медаль Филдса Григорию Перельману была присуждена именно за решение проблемы Пуанкаре. Но российский ученый отказался от премии, которой он без сомнения достоин. «Григорий сказал мне, что чувствует себя изолированным от международного математического сообщества, вне этого сообщества, поэтому не хочет получать награду», – заявил на пресс-конференции в Мадриде президент Всемирного союза математиков (ВСМ) англичанин Джон Болл.

Ходят слухи, что Григорий Перельман и вовсе собирается уйти из науки: еще полгода назад он уволился из родного Математического института имени Стеклова, и говорят, будто он не будет больше заниматься математикой. Возможно, российский ученый считает, что, доказав знаменитую гипотезу, он сделал для науки всё, что мог. А впрочем, кто возьмется рассуждать о ходе мыслей столь яркого ученого и неординарного человека?.. От любых комментариев Перельман отказывается, а газете The Daily Telegraph он заявил: «Ничто из того, что я могу сказать, не представляет ни малейшего общественного интереса». Однако ведущие научные издания были единодушны в своих оценках, когда сообщили, что «Григорий Перельман, разрешив теорему Пуанкаре, встал в один ряд с величайшими гениями прошлого и настоящего».

Ежемесячный литературно-публицистический журнал и издательство.