Алексей Владимирович Савватеев - Математика для гуманитариев: живые лекции

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

Давайте теперь поговорим о словосочетании «абсолютное дока­зательство». Если вы в общем и целом поймете, что это такое, то значит, мы не зря сегодня позанимались с вами.

Что такое абсолютное доказательство, я объясню на примерах. Начнем с игры в «пятнадцать».

Слушатель: Пятнашки?

Слушатель: Шестнашки?

А.С.: Чтобы мы говорили об одном и том же, я объясню пра­вила этой игры.

В квадрате 4x4 имеется пятнадцать одинаковых квадратных фишек, пронумерованных от 1 до 15. Их нельзя вынимать, мож­но только передвигать на свободное место. Стандартная исходная позиция: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 и пустое ме­сто, которое используется для передвижения фишек. (См. рис. 1; может быть задана и нестандартная исходная позиция.)

Пустое место можно гнать по всей игровой зоне, т. е. разрешен­ное действие при игре — передвижение на пустое место одной из соседних с ним фишек.

Игру придумал где-то 130 лет назад американский математик- популяризатор Сэм Лойд. А чуть позже он пообещал большой приз

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

($1000) тому, кто переведет комбинацию с картинки рис. 2 в исход­ную позицию на рис. 1.

Что же означает в этой игре «абсолютное доказательство»? Это значит: какие бы действия вы не совершили, сколько бы времени и каким количеством способов бы не передвигали фишки, вы ни­когда, ни при каких условиях не вернетесь из позиции на рис. 2 в исходную позицию на рис. 1. В частности, если кто-то предъявил такое решение, значит он — лгун. Он, видимо, взял, выдрал фиш­ки из коробки и расставил их в правильном порядке. Абсолютное доказательство — это точное, настолько точное утверждение, на­сколько вообще что-то может быть точным. Математика — наука точных утверждений. Не «примерно», не «может быть», не «скорее всего, не приведете», а никогда, ни при каких условиях не приве­дете, какие бы способности к этой игре у вас ни были.

Я постараюсь доказать эту теорему. Но что значит «постараюсь доказать»? Что вообще означает «доказать»? Что значит «я ее докажу»? Как вы это понимаете?

Слушатель: Мы будем убеждены.

А.С.: Вот именно. Я найду способ вас убедить. Но с другой стороны, это не совсем то, что нам нужно.

Расскажу такую историю. Один рыцарь объяснял другому ры­царю математику. Первый рыцарь был очень умный, а второй — очень глупый. Второй рыцарь никак не мог понять доказательство. И тогда умный рыцарь говорит: «Честное благородное слово, это так». И второй сразу поверил: «Ну, тогда о чем разговор. Мы же с Вами люди безупречной чести, и я, конечно, Вам верю. Я полно­стью убежден».

У нас разговор пойдет не о таком способе убеждения. Идея ма­тематического, абсолютного доказательства не в том, что я дам честное слово, а в том, что я, апеллируя к вашему разумению, передам вам какое-то знание, которое вы потом столь же спокой­но передадите дальше. Вы придёте и скажете: «Мы знаем, поче­му в “пятнашки” бессмысленно играть. Мы это знаем совершенно точно, нам это

--">