Разобравшись с числами от 1 до 10, мы сделаем шаг
назад и рассмотрим 0.
Затем еще один шаг назад, чтобы получить −1.
Это открывает для нас целый мир отрицательных
чисел. Кроме того, показывает новые применения
для чисел.
Теперь они нужны не только для счета.
Нуль впервые возник в системах записи чисел и предназначен был именно для этого — для записи, то есть обозначения. Только позже нуль признали самостоятельным числом и позволили ему занять свое место — место одной из фундаментальных составляющих математической системы счисления. Однако нуль имеет немало необычных, иногда парадоксальных свойств. В частности, невозможно сколько-нибудь разумным образом разделить что-нибудь на 0. А где-то в глубине, в самом основании математики, все числа могут быть выведены из 0.
Во многих древних культурах символы, обозначавшие 1, 10 и 100, никак не были связаны между собой. Древние греки, к примеру, использовали буквы своего алфавита, чтобы обозначить числа от 1 до 9, от 10 до 90 и от 100 до 900. Такая система потенциально чревата путаницей, хотя, как правило, из контекста несложно определить, что именно обозначает буква: собственно букву или число. Но, кроме того, такая система сильно затрудняла арифметические действия.
Наш способ записи чисел, когда одна и та же цифра означает разные числа, в зависимости от места в числе, называется
позиционной записью (см. главу 10). Эта система имеет очень
серьезные преимущества для счета на бумаге «в столбик»,
а ведь именно так до недавнего времени осуществлялось большинство расчетов в мире. С позиционной записью основное,
что необходимо знать, это базовые правила сложения и умножения десяти символов 0–9. Эти закономерности действуют
и в том случае, когда те же цифры стоят на других позициях.
К примеру,
23 + 5 = 28 230 + 50 = 280 2300 + 500 = 2800.
Однако в древнегреческой нотации первые два примера
выглядят так:
κγ + ε = κη σλ + ν = σπ,
и в них нет очевидного сходства.
Однако у позиционной записи есть еще одна дополнительная черта, которая проявляется, в частности, в числе 2015: необходимость в нулевом символе. В данном случае он говорит о том, что в числе нет сотен. В греческой записи необходимости в нулевом символе нет. В числе σπ, скажем, σ означает 200, а π — 80. Мы можем быть уверены в том, что в числе нет единиц, просто потому, что в нем нет единичных символов α — θ. Вместо того, чтобы использовать нулевой символ, мы просто не пишем в числе никаких единичных символов.
Если мы в десятичной системе попытаемся поступить так же, 2015 превратится в 215, и мы не сможем сказать, что именно означает такое число: 215, 2150, 2105, 2015 или, может быть, 2 000 150. В ранних вариантах позиционной системы использовался пробел, 2 15, но пробел легко не заметить, а два пробела подряд — это всего лишь чуть более длинный пробел. Так что возникает путаница, и всегда легко ошибиться.
Первыми среди мировых культур символ, обозначавший «здесь цифры нет», придумали вавилоняне. Вспомним (см. главу 10), что основанием вавилонской системы записи чисел было не 10 а 60. В ранней вавилонской арифметике отсутствие компонента 602 обозначалось пробелом, но к III в. до н. э. они изобрели для этого особый символ. Однако вавилоняне, кажется, не считали этот символ настоящим числом. Более того, на конце числа этот символ опускали, и о его значении приходилось догадываться из контекста.
Идея позиционной записи чисел в системе счисления с основанием 10 впервые появилась в книге «Локавибхага» — джайнистском космологическом тексте 458 г., в котором также используются шунья (что означает «пустота») там, где мы бы поставили 0. В 498 г. знаменитый индийский математик и астроном Арьябхата описал позиционную систему записи чисел как «место за местом, каждое в 10 раз больше по величине». Первое применение особого символа для десятичной цифры 0, о котором можно говорить с уверенностью, относится к 876 г. и содержится в надписи в храме Чатурбхуджа в Гвалиоре; этот символ представляет собой — догадайтесь что? Маленький кружок.
Центральноамериканская цивилизация майя, достигшая своего пика где-то между 250 и 900 г., пользовалась двадцатеричной системой счисления и имела особый значок для обозначения нуля. Вообще-то этот метод возник гораздо раньше и, как считается, был изобретен ольмеками (1500–400 гг. до н. э.). Кроме того, майя активно использовали числа в своей календарной системе, одно из правил которой получило наименование «долгий счет». Это означало отсчитывать дату в днях, идущих после мифической даты сотворения мира, которая, по современному западному календарю, пришлась бы на 11 августа 3114 г. до н. э. В этой системе символ для нуля совершенно необходим, поскольку без него невозможно избежать неоднозначности.
До IX в. нуль рассматривался как удобный символ для численных расчетов, но не считался числом сам по себе. Вероятно, потому, что не использовался при счете.
Если спросят, сколько у вас коров — а коровы у вас действительно есть, — вы укажете на каждую из них по очереди и посчитаете: «Одна, две, три...» Но если никаких коров у вас нет, вы не будете указывать на какую-то корову и говорить: «Нуль», — поскольку указывать вам не на что. Поскольку 0 никогда не получается при счете, он, очевидно, не является числом.
Если такая позиция кажется вам странной, то следует заметить, что еще раньше «единицу» тоже не считали числом. В некоторых языках слово «число» означает также «несколько» или даже «много»1. Практически во всех современных языках наблюдается различие между единственным и множественным числом. В древнегреческом присутствовало еще «двойственное» число, и в разговоре о двух предметах или лицах употреблялись особые формы слов. Так что в этом смысле «два» тоже не считалось таким же числом, как все прочие. То же наблюдается в нескольких других классических языках и даже в некоторых современных, таких как гэльский язык Шотландии или словенский язык2. Следы этих же форм видны и в английском, где «оба» (both) и «все» (all) — разные слова.
По мере того как нуль как символ получал все более широкое распространение, да и вообще числа начинали использоваться не только для счета, становилось ясно, что во многих отношениях нуль ведет себя, в точности как любое другое число. К IX в. индийские математики уже считали нуль настоящим числом, а не просто символом, которым удобно обозначать пробелы между другими символами для ясности. Нуль свободно использовался в повседневных расчетах.
На числовой прямой, где числа 1, 2, 3... записываются по порядку слева направо, ни у кого не возникает затруднений с тем, где поставить нуль: слева от 1. Причина достаточно очевидна: прибавление 1 к любому числу сдвигает его на один шаг вправо. Прибавление 1 к 0 сдвигает его на 1, так что 0 следует поставить там, где один шаг вправо дает 1. А это и означает на один шаг влево от 1.
Признание отрицательных чисел окончательно закрепило за нулем место в ряду настоящих чисел. Никто не спорил с тем, что 3 — число. Если признать, что −3 это тоже число и что при сложении двух чисел всегда получается число, то результат действия 3 + (−3) должен быть числом. И число это 0.
Я сказал «во многих отношениях нуль ведет себя, в точности как любое другое число». Во многих, но не во всех. Нуль — особое число. Оно и должно быть особым, потому что это единственное число, аккуратно втиснутое между положительными и отрицательными числами.
Ясно, что прибавление 0 к любому числу не изменит это число. Если у меня есть три коровы и я прибавлю к ним еще ни одной, то у меня по-прежнему будет три коровы. Следует признать, что существуют и странные расчеты, подобные вот этому:
One cat has one tail.
No cat has eight tails.
Therefore, adding:
One cat has nine tails.3
В этой маленькой шутке обыгрывается разное прочтение отрицания «No».
Из этого особого свойства нуля следует, что 0 + 0 = 0, а значит, −0 = 0. Нуль является противоположным самому себе. Это единственное такое число, и происходит это именно потому, что на числовой прямой нуль зажат между положительными и отрицательными числами.
А что с умножением? Если рассматривать умножение
как последовательное сложение, то
2 × 0 = 0 + 0 = 0
3 × 0 = 0 + 0 + 0 = 0
4 × 0 = 0 + 0 + 0 + 0 = 0,
и поэтому
n × 0 = 0
для любого числа n. Кстати говоря, это имеет смысл и в финансовых делах: если я положу три раза по нулю рублей на свой
счет, то в итоге я ничего туда не положу. Опять же, нуль — единственное число, обладающее таким свойством.
В арифметике m × n равно n × m для всех чисел n и m. Такая
договоренность подразумевает, что
0 × n = 0
для любого n, несмотря на то что мы не можем сложить «нуль
раз» по n.
Что у нас с делением? Деление нуля на ненулевое число происходит просто и понятно: получается нуль. Половина от ничего, третья или любая другая часть от ничего — это ничто. Но, когда дело доходит до деления какого-нибудь числа на нуль, на сцену выходит необычность нуля. Что такое, к примеру, 1 : 0? Мы определяем m : n как число q, для которого верно выражение q × n = m. Таким образом, 1 : 0 это такое q, для которого выполняется q × 0 = 1. Однако такого числа не существует. Что бы мы ни взяли в качестве q, получим q × 0 = 0. А единицы мы не получим никогда.
Очевидный способ решить эту проблему — принять ее за данность. Деление на нуль запрещено, потому что не имеет смысла. С другой стороны, до введения дробей считалось, что выражение 1 : 2 тоже не имеет смысла, так что, может быть, нам не стоило бы так быстро сдаваться. Мы могли бы попробовать придумать какое-нибудь новое число, которое позволило бы нам делить на нуль. Проблема в том, что такое число нарушает базовые правила арифметики. К примеру, мы знаем, что 1 × 0 = 2 × 0, поскольку то и другое по отдельности равно нулю. Разделив обе части на 0, получим 1 = 2, что откровенно нелепо. Так что представляется разумным просто не разрешать деление на нуль.
Математическую концепцию, наиболее, пожалуй, близкую
к понятию «ничто», можно отыскать в теории множеств. Множество — это некий набор математических объектов: чисел,
геометрических фигур, функций, графов... Множество определяется перечислением или описанием его элементов. «Множество чисел 2, 4, 6, 8» и «множество четных чисел больше 1
и меньше 9» определяют одно и то же множество, которое мы
можем сформировать перечислением:
{2, 4, 6, 8},
где фигурные скобки {} показывают, что внутри содержатся
элементы множества.
Примерно в 1880 г. немецкий математик Кантор разработал подробную теорию множеств. Он пытался разобраться с некоторыми техническими аспектами математического анализа, связанными с точками разрыва функций — местами, где функция совершает неожиданные прыжки. В его ответе важную роль играла структура множества разрывов. При этом значение имели не отдельные разрывы, а вся их совокупность. По-настоящему Кантора в связи с анализом интересовали бесконечно большие множества. Он сделал серьезное открытие: выяснил, что бесконечности не одинаковы — одни из них больше, другие меньше (см. главу ℵ0).
Как я упоминал в параграфе «Что такое число?», другой немецкий математик Фреге подхватил идеи Кантора, но его гораздо больше интересовали конечные множества. Он считал, что с их помощью можно решить глобальную философскую проблему, связанную с природой чисел. Он думал о том, как множества связаны друг с другом: например, как соотносится множество чашек с множеством блюдец. Семь дней в неделе, семь гномов и числа от 1 до 7 идеально совпадают друг с другом, так что все они определяют одно и то же число.
Какие из перечисленных множеств нам следует выбрать для представления числа семь? Фреге, отвечая на этот вопрос, не мелочился: все сразу. Он определил число как множество всех множеств, соответствующих данному множеству. В этом случае ни одно множество не является предпочтительным, а выбор делается однозначно, а не случайно и не произвольно. Наши символы и названия цифр — это всего лишь удобные ярлычки для этих гигантских множеств. Число «семь» — это множество всех множеств, равносильных гномам, и это то же самое, что множество всех множеств, равносильных дням недели или списку {1, 2, 3, 4, 5, 6, 7}.
Вероятно, излишне указывать, что это весьма элегантное решение концептуальной проблемы не дает нам ничего конкретного в плане разумной системы представления чисел.
Когда Фреге представил свои идеи в двухтомном труде «Основные законы арифметики» (1893 и 1903 гг.), многим показалось, что ему удалось решить задачу. Теперь все знали, что такое число. Но перед самым выходом второго тома Бертран Расселл написал Фреге письмо, в котором говорилось (я перефразирую): «Дорогой Готтлоб, рассмотрите множество всех множеств, которые не содержат себя». Это как деревенский цирюльник, который бреет тех, кто не бреется сам; при таком определении возникает противоречие. Парадокс Расселла, как его теперь называют, показал, как опасно считать, что всеохватные множества существуют (см. главу ℵ0).
Специалисты по математической логике попытались решить проблему. Ответ оказался строго противоположен «широкому мышлению» Фреге и его политике сваливания всех возможных множеств в одну кучу. Фокус состоял в том, чтобы выбрать ровно одно из всех возможных множеств. Чтобы определить число 2, следовало построить стандартное множество с двумя элементами. Чтобы определить 3, можно воспользоваться стандартным множеством с тремя элементами и так далее. Логика здесь не зацикливается, если эти множества сначала построить, не используя чисел в явном виде, а уже затем назначить им числовые символы и названия.
Основная проблема заключалась в выборе стандартных множеств для использования. Их необходимо было определить однозначным и единственным образом, а их структура должна была как-то соотноситься с процессом счета. Ответ пришел из очень специфического множества, известного как пустое множество.
Нуль — число, основа всей нашей системы счисления. Следовательно, с его помощью можно пересчитать элементы некоего множества. Какого множества? Ну, это должно быть множество без элементов. Такое множество несложно придумать: пусть это будет, к примеру, «множество всех мышей, весящих более 20 тонн каждая». На языке математики это означает, что существует множество, в котором нет ни одного элемента: пустое множество. В математике тоже несложно найти примеры: множество простых чисел, кратных 4, или множество всех треугольников с четырьмя вершинами. Эти множества выглядят по-разному — в одно входят числа, в другое треугольники, — но на самом деле это одно и то же множество, поскольку таких чисел и треугольников на самом деле не бывает и различить множества попросту невозможно. Во все пустые множества входят в точности одни и те же элементы: а именно никакие. Поэтому пустое множество единственно. Символ для него ввела группа ученых, работавшая под общим псевдонимом Бурбаки, в 1939 г., и выглядит он так: ∅. Теория множеств нуждается в пустом множестве точно так же, как арифметика в числе 0: если его включить, все становится значительно проще.
Более того, можно определить, что 0 — это и есть пустое множество.
А что с числом 1? Интуитивно понятно, что здесь нам нужно множество, состоящее из ровно одного элемента, причем уникального. Ну... пустое множество единственно и уникально. Таким образом, мы определяем 1 как множество, единственным элементом которого является пустое множество: на символьном языке {∅}. Это не то же самое, что пустое множество, потому что в этом множестве есть один элемент, тогда как в пустом множестве их нет. Согласен, этот единственный элемент — пустое множество, так получилось, но все же этот элемент в множестве имеется. Представьте себе множество как бумажный пакет с элементами. Пустое множество — это пустой пакет. Множество, единственным элементом которого является пустое множество, это пакет, в котором лежит другой пакет, пустой. Сами видите, это не одно и то же — в одном пакете ничего нет, а в другом лежит пакет.
Ключевой шаг — определение числа 2. Нам нужно единственным образом получить определенное множество с двумя элементами. Так почему бы не использовать единственные два множества, которые мы до сих пор упоминали: ∅ и {∅}? Поэтому мы определяем 2 как множество {∅, {∅}}. А это, согласно нашим определениям, то же самое, что 0, 1.
Вот теперь начинает проявляться общая закономерность.
Определим 3 = 0, 1, 2 — множество с тремя элементами, которые мы уже определили. Затем 4 = 0, 1, 2, 3; 5 = 0, 1, 2, 3, 4
и так далее. Все, если разобраться, восходит к пустому множеству. К примеру,
3 = {∅, {∅}, {∅, {∅}}}
4 = {∅, {∅}, {∅, {∅}}, {∅, {∅}, {∅, {∅}}}}.
Вряд ли вам захочется видеть, как выглядит число гномов.
Строительными материалами здесь выступают абстракции: пустое множество и акт формирования множества путем перечисления его элементов. Но то, как эти множества соотносятся между собой, ведет к созданию строгого каркаса для числовой системы, в котором каждое число представляет собой особое множество, которое (что интуитивно понятно) имеет именно такое число элементов. И история на этом не заканчивается. Определив натуральные числа, мы можем при помощи аналогичных фокусов с теорией множеств определить отрицательные числа, дроби, действительные числа (бесконечные десятичные дроби), комплексные числа и так далее, до самой современной хитроумной математической концепции в квантовой теории.
Таким образом, теперь вам известна ужасная тайна математики: в ее основании лежит ничто.
Может ли число быть меньше нуля? Считая коров, вы не получите ничего подобного, разве что представите себе «виртуальных коров», которых вы кому-то должны. В этом случае у вас возникнет естественное расширение числовой концепции, которое сильно облегчит жизнь алгебраистам и бухгалтерам. При этом вас ожидают сюрпризы: минус на минус дает плюс. С какой стати?
Научившись складывать числа, мы начинаем осваивать обратную операцию: вычитание. Например, 4 − 3 в ответе дает то число, которое при сложении с 3 даст 4. Это, разумеется, 1. Вычитание полезно, поскольку без него нам, к примеру, трудно узнать, сколько у нас останется денег, если вначале у нас было 4 рубля, а потратили мы 3 рубля.
Вычитание меньшего числа из большего практически не вызывает проблем. Если мы потратили меньше денег, чем было у нас в кармане или в кошельке, то у нас еще что-то осталось. Но что произойдет, если мы вычтем большее число из меньшего? Что такое 3 − 4?
Если у вас в кармане лежат три монеты по 1 рублю, то вы не сможете вынуть из кармана четыре такие монеты и отдать их кассиру в супермаркете. Но сегодня, с кредитными картами, любой человек может легко тратить деньги, которых не имеет, причем не имеет не только в кармане, но и на счете в банке. Когда такое происходит, человек залезает в долги. В данном случае долг составил бы 1 рубль, не считая банковских процентов. Таким образом, в определенном смысле 3 − 4 равно 1, но другой 1: единице долга, а не денег. Если бы 1 имела свою противоположность, она была бы именно такой.
Чтобы отличать долг от наличных денег, принято ставить
перед числом знак минус. В такой записи
3 − 4 = −1,
и можно считать, что мы изобрели новый тип числа: отрицательное число.
Исторически первым серьезным расширением системы счисления были дроби (см. главу ½). Вторыми стали отрицательные числа. Однако я намерен разбираться с этими типами чисел в обратном порядке. Первое известное упоминание отрицательных чисел содержится в китайском документе династии Хань (202 г. до н. э. — 220 г. н. э.) под названием «Искусство счета в девяти разделах» («Цзю чжан суань шу»).
В этой книге для счета использовался физический «помощник»: счетные палочки. Это небольшие палочки из дерева, кости или другого материала. Для представления чисел палочки выкладывались определенными фигурами. В единичном разряде числа горизонтальная черточка обозначает «один», а вертикальная — «пять». Так же выглядят цифры в сотенном разряде. В разрядах десятков и тысяч направления палочек меняются местами: вертикальная обозначает «один», а горизонтальная — «пять». Там, где мы поставили бы 0, китайцы просто оставляли пробел; однако пробел легко не заметить, и в этом случае правило о смене направлений помогает избежать путаницы, если, к примеру, в разделе десяток ничего нет. Этот способ менее эффективен, если в числе стоит несколько нулей подряд, но это редкий случай.
В «Искусстве счета в девяти разделах» палочки использовались также для представления отрицательных чисел, причем
очень просто: они были окрашены в черный цвет, а не в красный. Так что
4 красных палочки минус 3 красных равно 1 красная палочка,
но
3 красных палочки минус 4 красных равно 1 черная палочка.
Таким образом, фигура из черных палочек означает долг, а размер долга соответствует фигурам из красных палочек.
Индийские математики тоже признавали отрицательные числа; кроме того, они составили непротиворечивые правила выполнения арифметических действий с ними.
В манускрипте Бахшали, датируемом примерно III в., содержатся расчеты с отрицательными числами, которые можно отличить от прочих по знаку + в тех местах, где мы использовали бы —. (Математические символы со временем неоднократно менялись, иногда так, что нам немудрено в них и запутаться.) Идею подхватили арабские математики, а уже от них она постепенно распространилась по Европе. До XVII в. европейские математики обычно интерпретировали отрицательный ответ как доказательство того, что задача, о которой идет речь, не имеет решения, но уже Фибоначчи понимал, что в финансовых расчетах они могут представлять долги. К XIX в. отрицательные числа уже не пугали математиков и не ставили их в тупик.
Геометрически числа удобно представлять в виде точек на прямой, идущей слева направо и начинающейся в 0. Мы уже видели, что у этой числовой прямой есть естественное продолжение, включающее отрицательные числа и идущее в противоположном направлении.
Совершать сложение и вычитание на числовой прямой очень удобно и просто. К примеру, чтобы прибавить 3 к любому числу, следует сдвинуться на три шага вправо. Чтобы вычесть 3, нужно сдвинуться на 3 шага влево. Такое действие дает верный результат как для положительных, так и для отрицательных чисел; например, если мы начнем с −7 и прибавим 3, то мы сдвинемся на 3 шага вправо и получим −4. Правила выполнения арифметических действий для отрицательных чисел также показывают, что прибавление или вычитание отрицательного числа дает тот же результат, что вычитание или прибавление соответствующего положительного. Так что, чтобы добавить —3 к любому числу, нам нужно сдвинуться на 3 шага влево. Чтобы вычесть −3 из любого числа, нужно сдвинуться на 3 шага вправо.
Умножение с участием отрицательных чисел более интересно. При первом знакомстве с умножением мы воспринимаем
его как повторяющееся сложение. К примеру:
6 × 5 = 5 + 5 + 5 + 5 + 5 + 5 = 30.
Тот же подход подсказывает, что при умножении 6 × −5 нам
следует действовать аналогично:
6 × −5 = −5 + (−5) + (−5) + (−5) + (−5) + (−5) = −30.
Далее, одно из правил арифметики гласит, что перемножение двух положительных чисел дает один и тот же результат
независимо от того, в каком порядке мы берем числа. Так, 5 × 6
тоже должно равняться 30. Так и есть, потому что
5 × 6 = 6 + 6 + 6 + 6 + 6 = 30.
Так что представляется разумным принять это же правило и для отрицательных чисел. Тогда −5 × 6 тоже равно −30.
А как насчет −6 × −5? В этом вопросе ясности меньше. Мы не можем записать в ряд минус шесть раз по −5, а затем сложить их. Поэтому нам приходится последовательно решать этот вопрос. Посмотрим, что нам уже известно.
6 × 5 = 30
6 × −5 = −30
−6 × 5 = −30
−6 × −5 =?
Представляется разумным считать, что недостающее число — это или 30, или −30. Вопрос: которое?
На первый взгляд многим кажется, что ответ должен быть −30. Психологически это, вероятно, оправдано: все действие пронизано духом «отрицательности», так что и ответ, наверное, должен быть отрицательным. Вероятно, такое же ощущение лежит за дежурной фразой: «Но я ведь ничего не сделал». Однако, если вы ничего не сделали, значит, вы должны были сделать «не ничего», то есть что-то. Является ли такое замечание справедливым, зависит от правил грамматики, которыми вы пользуетесь. Лишнее отрицание можно рассматривать и как усилительную конструкцию.
Точно так же и то, чему будет равно −6 × −5, — вопрос человеческой договоренности. Когда мы придумываем новые числа, нет никакой гарантии, что к ним будут применимы старые концепции. Так что математики могли решить, что −6 × −5 = −30. Строго говоря, они могли решить, что при умножении —6 на −5 получится фиолетовый бегемот.
Однако есть несколько серьезных причин, по которым −30 в данном случае — неудачный выбор, и все эти причины указывают в противоположном направлении — на число 30.
Одна из причин состоит в том, что если −6 × −5 = −30, то это совпадает с −6 × 5. Разделив то и другое на −6, получим −5 = 5, что противоречит всему уже сказанному нами про отрицательные числа.
Вторая причина — в том, что мы уже знаем: 5 + (−5) = 0.
Взгляните на числовую прямую. Что находится в пяти шагах
влево от числа 5? Нуль. Умножение любого положительного числа на 0 дает 0, и представляется разумным считать,
что то же относится и к отрицательным числам. Так что имеет
смысл считать, что −6 × 0 = 0. Поэтому
0 = −6 × 0 = −6 × (5 + (−5)).
Согласно обычным правилам арифметики, это равно
−6 × 5 + −6 × −5.
Если считать, что −6 × −5 = —30, получается −30 + (−30) = −60. Следовательно, —60 = 0, что не слишком разумно.
С другой стороны, если бы мы выбрали −6 × —5 = 30,
то получилось бы
0 = −6 × 0 = −6 × (5 + (−5)) = −6 × 5 + (−6) × −5 =
= −30 + 30 = 0,
и все встало бы на свои места.
Третья причина — это структура числовой прямой. Умножая положительное число на −1, мы превращаем его в соответствующее отрицательное число; то есть мы поворачиваем всю положительную половину числовой прямой на 180°, перенося ее справа налево. Куда при этом должна, по идее, перейти отрицательная половина? Если мы оставим ее на месте, мы получим ту же проблему, потому что −1 × −1 будет −1, что равно −1 × 1, и мы можем заключить, что −1 = 1. Единственная скольконибудь разумная альтернатива — это точно так же повернуть отрицательную часть числовой прямой на 180°, перенеся ее слева направо. Это красиво, поскольку теперь умножение на −1 полностью переворачивает числовую прямую, меняя порядок чисел на обратный. Отсюда следует, как ночь следует за днем, что новое умножение на −1 повернет числовую прямую на 180° еще раз. Порядок чисел при этом опять поменяется на обратный, и все вернется к тому, с чего начиналось. Таким образом, −1 × −1 — это то, куда попадает −1 при повороте числовой прямой, то есть 1. А если мы решаем, что −1 × —1 = 1, то отсюда напрямую следует, что −6 × −5 = 30.
Четвертая причина — интерпретация отрицательного количества денег как долга. В данном варианте умножение некоторого количества денег на отрицательное число дает тот же результат, что и умножение его на соответствующее положительное число, за исключением того, что реальные деньги превращаются в долг. С другой стороны, вычитание, «отнятие» долга, производит то же действие, как если бы банк убирал из своих записей часть вашего долга и, по существу, возвращал вам некоторое количество денег. Вычитание долга в 10 рублей из суммы вашего счета в точности соответствует внесению 10 рублей ваших денег на этот счет: при этом сумма счета увеличивается на 10 рублей. Суммарный эффект того и другого в данных обстоятельствах стремится вернуть ваш банковский баланс к нулю. Из этого следует, что −6 × −5 производит на ваш счет то же действие, как шестикратное вычитание (удаление) долга по 5 рублей, а значит, должно повысить ваш банковский баланс на 30 рублей.
В результате всех этих рассуждений получается, что, хотя, в принципе, мы могли бы определить −6 × −5 произвольным образом, на самом деле существует лишь один вариант, который позволяет применять к отрицательным числам обычные правила арифметики. Более того, этот же вариант представляется вполне разумным в приложении к денежной интерпретации отрицательного числа как суммы долга. И этот вариант гласит, что минус на минус дает плюс.
1 Например, number в современном английском. — Прим. пер.
2 Двойственное число было характерно для всех славянских языков, включая древнерусский, но в большинстве из них утрачено. — Прим. пер.
3 У одной кошки есть один хвост. Нуль кошек имеют восемь хвостов. (Другое прочтение «Нет кошек с восемью хвостами».) Поэтому получаем: У одной кошки есть девять хвостов. — Прим. ред.