Проще всего посмеяться над людьми, не понимающими основ арифметики, однако не стоит с этим спешить. Отрицательные числа мучили наш разум столетиями и делают это до сих пор. Именно поэтому подземные этажи зданий принято обозначать буквами (например, LG — lower ground («подземный этаж») и B — basement («подвальный этаж»)) или алфавитно-цифровыми знаками (скажем, B1, B2 и B3), а не отрицательными числами (–1, –2 и –3). Когда мы датируем события, произошедшие до рождения Христа, например, когда Евклид написал свой труд Elements18, мы предпочитаем говорить «в 300 году до нашей эры», а не «в –300 году нашей эры». А у бухгалтеров вообще множество способов избегать знака «минус»: записывать долги красным, прибавлять аббревиатуру DR (от debtor — «должник») или заключать неприятную сумму в скобки.
Ни древнегреческие, ни египетские, ни вавилонские математики не создали концепцию отрицательных чисел. В древние времена числа использовались для подсчета и измерения, а как можно подсчитать или измерить то, что меньше, чем ничего? Давайте попытаемся встать на место обитателей античного мира, чтобы понять, какой интеллектуальный прорыв им нужно было совершить. Мы знаем, что 2 + 3 = 5, потому что, когда у нас есть две буханки хлеба и нам дают еще три, у нас будет пять буханок. Мы знаем, что 2 − 1 = 1, потому что, когда, имея две буханки хлеба, мы отдаем одну, у нас остается еще одна. Но что значит 2 − 3? Если у меня есть только две буханки хлеба, я не могу отдать три. Однако предположим, что я все же могу это сделать — тогда у меня останется минус одна буханка. Что же значит «минус одна буханка»? Это не обычная буханка хлеба. Это, скорее, ее отсутствие, причем такое, что если к нему прибавить буханку хлеба, то будет получено «ничто». Неудивительно, что древние считали эту концепцию абсурдной.
Однако в древней Азии допускали существование отрицательных величин — правда, в определенной степени [2]. Ко временам Евклида у китайцев уже была система вычислений, в которой использовались бамбуковые палочки. Обычные палочки представляли положительные числа, их китайцы называли «истинными», а палочки, покрашенные в черный цвет, олицетворяли отрицательные числа, их называли «ложными». Как показано ниже, китайцы размещали палочки на разграфленной доске таким образом, чтобы каждое число занимало отдельную ячейку, а каждая колонка соответствовала одному уравнению. Опытный вычислитель решал уравнения, передвигая бамбуковые палочки. Если решение состояло из обычных палочек, это было истинное число, которое принималось. Если решение состояло из черных палочек, это было ложное число, и оно отбрасывалось. Тот факт, что китайцы использовали физические объекты для представления отрицательных величин, свидетельствовал о существовании этих чисел, хотя они и были всего лишь инструментами для вычисления положительных величин. Китайцы поняли одну очень важную истину: если математические объекты приносят пользу, не имеет значения, что они не согласуются с повседневным опытом. Пусть этой проблемой занимаются философы.
Китайцы раскладывали бамбуковые палочки на разграфленной доске; обычные палочки символизировали положительные числа, черные — отрицательные, что позволяло записывать и решать уравнения
Через несколько столетий в Индии математики нашли для отрицательных чисел материальный контекст — деньги. Если я одалживаю у вас пять рупий, у меня получается долг в пять рупий — отрицательная величина, которая станет нулевой только после того, как я верну вам эту сумму. Астроном VII века Брахмагупта установил правила арифметических операций с положительными и отрицательными числами, которые назвал «имуществом» и «долгом». Кроме того, он ввел число ноль в его современном понимании.
Долг минус ноль — это долг.
Имущество минус ноль — это имущество.
Ноль минус ноль — это ноль.
Долг, вычтенный из нуля, — это имущество.
Имущество, вычтенное из нуля, — это долг.
И так далее…
Брахмагупта описывал точное значение имущества и долга с помощью нуля и других девяти цифр, которые легли в основу десятичного представления чисел, используемого в настоящее время. Индийские числительные распространились на территории Ближнего Востока, Северной Африки, а к концу Х века — и в Испании. Тем не менее понадобилось еще три столетия, прежде чем отрицательные числа получили широкое признание в Европе. Такая задержка была обусловлена тремя причинами: историческая связь с долгами, а значит, и с порочной практикой ростовщичества; всеобщая подозрительность в отношении новых методов, приходящих из мусульманских земель; продолжительное влияние древнегреческой философии, согласно которой величина не может быть меньше, чем ничто.
Со временем счетоводы привыкли к использованию отрицательных чисел в своей профессии, математики же очень долго остерегались их. В XV и XVI веках отрицательные величины были известны как абсурдные числа (numeri absurdi) [3], и даже в XVII столетии многие считали их бессмысленными. В XVIII веке преобладал следующий аргумент против отрицательных чисел. Рассмотрим такое уравнение:
С арифметической точки зрения это правильное утверждение. Тем не менее оно парадоксально, поскольку гласит, что отношение меньшего числа (−1) к большему (1) эквивалентно отношению большего числа (1) к меньшему (−1). Этот парадокс стал предметом множества дискуссий, но никто так и не смог его объяснить. В попытках понять смысл отрицательных чисел многие математики, в том числе и Леонард Эйлер, пришли к невероятному выводу, что эти числа больше бесконечности [4]. Данная концепция вытекает из анализа такой последовательности:
Что эквивалентно ряду:
3,3; 5; 10; 20…
По мере уменьшения числа в нижней части дроби (знаменателя) от 3 до 2, а затем до 1 и 1/2, абсолютное значение дроби становится больше, а когда значения знаменателя приближается к нулю, значение дроби стремится к бесконечности. Была выдвинута гипотеза, что, когда знаменатель равен нулю, значение дроби бесконечно, а когда он меньше нуля (другими словами, когда это отрицательное число), дробь должна быть больше бесконечности. В настоящее время мы избегаем этой парадоксальной ситуации, утверждая, что бессмысленно делить число на ноль. Дробь 10/0 не бесконечна; она «не определена».
В этом смешении разных мнений прозвучала одна четкая и понятная концепция, принадлежавшая английскому математику Джону Уоллису, который придумал эффективный способ визуальной интерпретации отрицательных чисел. В написанном в 1685 году труде A Treatise of Algebra («Трактат по алгебре») Уоллис впервые представил числовую ось (см. рисунок ниже), на которой положительные и отрицательные числа отображают расстояния от ноля в противоположных направлениях. Уоллис писал, что если человек отойдет от ноля вперед на пять ярдов, а затем вернется назад на восемь ярдов, то он «переместится на позицию, которая на 3 ярда дальше, чем ничто… А значит, −3 — это та же точка на линии, что и +3, но не вперед, как должно быть, а назад». Заменив концепцию количества концепцией позиции, Уоллис показал, что отрицательные числа нельзя считать «ни бесполезными, ни абсурдными». Как оказалось, это было явное преуменьшение. Понадобилось несколько лет на то, чтобы идея Уоллиса получила широкое распространение, но теперь, по прошествии времени, очевидно, что цифровая ось — самая успешная разъяснительная схема всех времен. У нее множество разных областей применения, от графиков до термометров. Теперь, когда мы можем увидеть отрицательные числа на числовой оси, у нас больше нет концептуальных трудностей с тем, чтобы представить себе, что это такое.
Числовая ось
Немецкий философ Иммануил Кант тоже вступил в полемику по поводу отрицательных чисел, заявив в своем труде Attempt to Introduce the Concept of Negative Quantities into World-Wisdom («Опыт введения в философию понятия отрицательных величин»), что бессмысленно использовать против них метафизические аргументы [5]. Он доказал, что в реальном мире многое может иметь как положительное, так и отрицательное значение, подобно двум противонаправленным силам, воздействующим на объект. Отрицательное число представляет собой не отрицание числа, а скорее, сопоставимое противоположное.
Тем не менее даже в конце XVIII столетия еще оставались математики, глубоко убежденные в том, что отрицательные числа — это «специальный термин, лишенный здравого смысла; но, будучи однажды введенным в оборот, подобно многим другим выдумкам, находит своих самых рьяных сторонников среди тех, кто любит принимать все на веру и не терпит тяжелый труд серьезных размышлений» [6]. Уильям Френд, второй среди лучших студентов, изучавших математику в Кембридже, написал эти слова в 1796 году в книге, которая стала уникальной в математической литературе: это было введение в алгебру, не содержащее ни единого отрицательного числа.
