Экономической Школой).
«Математику уже затем учить надо, что она ум в порядок приводит».
М. В. Ломоносов
Лекция 1
Честное математическое [2]
Алексей Савватеев: Здравствуйте!
Аудитория: Здравствуйте!
А.С.: Для начала я расскажу кое-что о себе.
В 1990 году я закончил 57-ю школу г. Москвы. Может быть, кто-то из вас ее знает. Тогда это была математическая школа. Но в 1989 году по инициативе нашей учительницы литературы Зои Александровны Блюминой было принято решение набрать гуманитарный класс, чтобы уравновесить огромный перекос учащихся в мужскую сторону в нашей школе. Я был в 11-м классе, а набрали 9-й.
Зачем я об этом говорю? У меня в гуманитарном классе была подруга, которой я объяснял математику. Однажды надо было решить уравнение типа sin x = 1/2. Я объяснял, объяснял, объяснял, а потом перешел к решению уравнения sin y = 1/2. Она говорит: «Стой… Там же был sin x».
Я начинаю объяснять: «Это закрытый терм, замкнутая переменная, она уничтожится». Ничего не понимает, в глазах ужас. Я продолжаю: «Мы должны решить уравнение относительно у, да?»
— Нужно же было относительно х решать, ну зачем ты «у» написал?
У меня случился затык, не могу объяснить и всё. И тогда я понял, что из меня получается очень плохой учитель. Я привык говорить со школьниками, которые приходили на маткружок. А они не задавали таких вопросов.
Спустя годы я закончил мехмат МГУ и Российскую Экономическую Школу (РЭШ), после чего ездил по регионам России, вел курсы повышения квалификации для преподавателей экономики. В Москве считалось, что экономика — наука совершенно математизированная и точная. По крайней мере, и в РЭШ, и в Высшей Школе Экономики до сих пор всячески насаждается, что математика — это главное в экономике. В регионах мы столкнулись, однако, с преподавателями, которым было трудно перешагнуть через вещи, для математиков очевидные. Но через пять дней курса многие слушатели оказывались очень способными к математике. Просто в некотором месте у них стоял заслон. Его полезно преодолеть всем, ибо это — часть интеллектуальной культуры. Даже если вы никогда не занимались математикой, некоторые вещи знать надо… Так же как я должен знать что-то про историю или химию.
Давайте теперь поговорим о словосочетании «абсолютное доказательство». Если вы в общем и целом поймете, что это такое, то значит, мы не зря сегодня позанимались с вами.
Что такое абсолютное доказательство, я объясню на примерах. Начнем с игры в «пятнадцать».
Слушатель: Пятнашки?
Слушатель: Шестнашки?
А.С.: Чтобы мы говорили об одном и том же, я объясню правила этой игры.
В квадрате 4 x 4 имеется пятнадцать одинаковых квадратных фишек, пронумерованных от 1 до 15. Их нельзя вынимать, можно только передвигать на свободное место. Стандартная исходная позиция: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 и пустое место, которое используется для передвижения фишек. (См. рис. 1; может быть задана и нестандартная исходная позиция.)
Рис. 1. Стандартная исходная позиция игры в «пятнадцать».
Пустое место можно гнать по всей игровой зоне, т. е. разрешенное действие при игре — передвижение на пустое место одной из соседних с ним фишек.
Игру придумал где-то 130 лет назад американский математик-популяризатор Сэм Лойд. А чуть позже он пообещал большой приз ($1000) тому, кто переведет комбинацию с картинки рис. 2 в исходную позицию на рис. 1.
Рис. 2. Исходная позиция, которую получили, поменяв местами фишки 14 и 15.
Такая вот детская игра. Делайте, что хотите (в рамках указанного правила). Передвигайте фишки как вам угодно. Только приведите игру в исходную позицию. Начался настоящий пятнашечный бум. Примечательно, что на этот момент наука алгебра в другой части света находилась в очень продвинутом состоянии. Математики сказали свое веское слово, предоставив абсолютное доказательство того, что выиграть в такую игру невозможно. Тем не менее ажиотаж с игрой в пятнашки продолжался еще много лет — так много было желающих посрамить математику и «срубить» тысячу долларов.
Что же означает в этой игре «абсолютное доказательство»? Это значит: какие бы действия вы не совершили, сколько бы времени и каким количеством способов бы не передвигали фишки, вы никогда, ни при каких условиях не вернетесь из позиции на рис. 2 в исходную позицию на рис. 1. В частности, если кто-то предъявил такое решение, значит он — лгун. Он, видимо, взял, выдрал фишки из коробки и расставил их в правильном порядке. Абсолютное доказательство — это точное, настолько точное утверждение, насколько вообще что-то может быть точным. Математика — наука точных утверждений. Не «примерно», не «может быть», не «скорее всего, не приведете», а никогда, ни при каких условиях не приведете, какие бы способности к этой игре у вас ни были.
Я постараюсь доказать эту теорему. Но что значит «постараюсь доказать»? Что вообще означает «доказать»? Что значит «я ее докажу»? Как вы это понимаете?
Слушатель: Мы будем убеждены.
А.С.: Вот именно. Я найду способ вас убедить. Но с другой стороны, это не совсем то, что нам нужно.
Расскажу такую историю. Один рыцарь объяснял другому рыцарю математику. Первый рыцарь был очень умный, а второй — очень глупый. Второй рыцарь никак не мог понять доказательство. И тогда умный рыцарь говорит: «Честное благородное слово, это так». И второй сразу поверил: «Ну, тогда о чем разговор. Мы же с Вами люди безупречной чести, и я, конечно, Вам верю. Я полностью убежден».
У нас разговор пойдет не о таком способе убеждения. Идея математического, абсолютного доказательства не в том, что я дам честное слово, а в том, что я, апеллируя к вашему разумению, передам вам какое-то знание, которое вы потом столь же спокойно передадите дальше. Вы придёте и скажете: «Мы знаем, почему в “пятнашки” бессмысленно играть. Мы это знаем совершенно точно, нам это доказал Алексей. И не просто доказал при помощи какого-то там шаманства, пошаманил-пошаманил и сказал, что нет решения у этой задачи. Мы получили такое знание, которое сможем воспроизвести и доказать, что выиграть в игру “пятнашки” невозможно».
Насчет пошаманить есть очень поучительный эпизод из жизни математиков. В начале XX века жил в Индии математик Сринива́са Рамануджан. На момент начала нашей истории ему было 26 лет. Он заваливал письмами лондонское математическое общество, в которых были формулы, содержащие числа «π» и «е» (мы с ними позже
