Математика для гуманитариев. Живые лекции

А.С.: 14. Итого? Есть такое знаменитое правило произведения. Число способов выбрать пару — это произведение количества способов выбрать первый ее элемент на количество способов выбрать второй. Почему? Мы выбрали первый. Посмотрим, сколько пар мы с ним можем получить. Второй выбирается 14 способами, значит пар 14. А теперь мы выбрали другой первый, с ним тоже можно составить 14 пар. И так далее. Получается 14 + 14 + 14… и так 15 раз.

Отсюда и берется правило произведения: 15 · 14 способов.

Но есть одна хитрость. Я хочу посчитать пары независимо от порядка кружочков. Чтобы вот такие пары (см. рис. 13) не различались. Что надо сделать с количеством способов?

Рис. 13. Эти пары для нас не разные, а одинаковые.

Слушатель: Разделить на два.

А.С.: Да. Мы любую такую пару посчитали два раза. Один раз, когда мы сначала взяли синий круг, а потом белый. В другой раз мы первым взяли белый круг, а вторым синий. То есть мы каждую пару посчитали два раза. Поэтому ответ (15 · 14): 2 = 105.

Мы посчитали число имеющихся пар из 15 элементов «Цэ из 15 по 2», как говорят математики. «Цэ» означает первую букву слова combination (комбинация). См. формулу (1).

Математики любят символы. Но зачем они? Затем, что иначе придется очень много писать. Символы и язык математики нужны, чтобы сокращать запись. Почему древние греки и римляне не дошли до современных высот математики? Потому, что они тратили очень много времени на лингвистическую работу перевода математики в слова (и обратно: слов в математику). А вот когда математика перешла на символы, начался прорыв, о котором я еще расскажу.

Вернемся к нашим змейкам (формула (2))[5]. Первая из них соответствует измененной позиции, а вторая — исходной:

Для каждой пары чисел в каждой строке (а пар всего 105) мы спрашиваем, в правильном ли порядке написаны числа.

Слушатель: Частично да, частично нет.

А.С.: Верно. Например, 1 и 2 — в правильном порядке.

Слушатель: И последующая пара (2, 3) — тоже.

А.С.: Да, и следующая, и следующая за ней. То есть (4, 8).

Слушатель: В смысле «в правильном порядке»?

А.С.: «В правильном» не значит, что числа в паре соседние: и в (2, 3), и в (2, 7) — числа в паре расположены в правильном порядке.

Слушатель: По возрастанию.

А.С.: Да, по возрастанию. Большее следует за меньшим. Но, например, пара (15, 13) «нарушает порядок», потому что вначале идет большее число, потом меньшее.

Посчитаем количество пар, которые стоят в неправильном порядке. То есть по убыванию.

Слушатель: Простите, но ведь мы сами выбрали такую запись в виде извивающейся змеи. Мы разве не могли записать как-то иначе?

А.С.: Могли. Могли записать иначе, но тогда мы бы не преуспели в доказательстве того факта, который нам нужен.

Математика дает полную свободу исследователю. Когда он провел рассуждение и сказал: «Теперь всё доказано», — он оправдывает всё, что построил. Математик скажет: «Рассмотрим то-то и то-то». Зачем? Ужас, зачем, это рассматривать? А потом раз — и всё получилось (невзирая на «ужас»). Математика — самый свободный род занятий. Никакой моды, нет, ничего. Если вы, доказали недоказанную гипотезу, то чем бы вы ни пользовались, всё прощается. Победителей не судят (но иногда их слегка журят за сложноватое доказательство).

Итак, зачем я считаю пары, и почему так выписал змейку, пока не будет, понятно. Мы, договорились о некотором правиле. Мы, именно так выписываем числа. Вам придется принять это как есть. А дальше я считаю количество пар, которые стоят в неправильном порядке. Раз, два, три, четыре, пять, шесть… (см. рис. 14).

Рис. 14. Вылавливание неправильных пар в самом разгаре!