Математика. Утрата определенности. - [64]

Европейцам пришлось столкнуться и с проблемой отрицательных чисел. Эти числа стали известны в Европе из арабских текстов, но большинство математиков XVI-XVII вв. не считали отрицательные числа «настоящими» или утверждали, что отрицательные числа не могут быть корнями уравнений. Никола Шюке [1445(?)-1500(?)] в XV в. и Штифель в XVI в. заявляли, что отрицательные числа лишены всякого смысла. Кардано включал отрицательные величины в число корней рассматриваемых им уравнений, но полагал, что отрицательные корни — это просто символы, не имеющие реального смысла. Отрицательные корни уравнений Кардано называл фиктивными и противопоставлял их действительным, т.е. положительным, корням. Виет полностью отвергал отрицательные числа. Декарт принимал их лишь с определенными оговорками. Отрицательные корни уравнений Декарт называл ложными на том основании, что они якобы представляют числа, которые меньше, чем ничто. Однако Декарту удалось показать, как, исходя из любого уравнения, можно построить другое уравнение, корни которого больше корней исходного на любую заданную величину. Тем самым Декарт указал способ, позволяющий преобразовать уравнение с отрицательными корнями в уравнение с положительными корнями. «Фиктивные» корни при таком преобразовании переходили в действительные, и поэтому Декарт неохотно смирился с отрицательными числами, но сомнения и тревоги так и не оставили его.{70} Паскаль считал, например, вычитание числа 4 из 0 операцией, лишенной всякого смысла. В «Мыслях» Паскаля есть выразительное признание: «Я знаю людей, которые никак не могут понять, что если из нуля вычесть четыре, то получится нуль».

Интересный довод против отрицательных чисел выдвинул близкий друг Паскаля теолог и математик Антуан Арно (1612-1697). Арно усомнился в том, что −1:1 = 1:−1. Как может выполняться такое равенство, спрашивал он, если −1 меньше, чем 1? Ведь меньшее число не может относиться к большему так же, как большее к меньшему. Лейбниц, признав правильность возражения Арно, указал, что такого рода пропорции вполне допустимо использовать в вычислениях, ибо по форме они правильны, и сравнил действия, производимые над отрицательными числами, с действиями, производимыми над мнимыми величинами, введенными незадолго до этого. Тем не менее Лейбниц затемнил существо дела, предложив называть мнимыми (несуществующими) все величины, не имеющие логарифма. По мнению Лейбница, число −1 не существует, так как положительные логарифмы соответствуют числам, большим 1, а отрицательные логарифмы (!) соответствуют числам, заключенным между 0 и 1. Следовательно, для отрицательных чисел логарифмов просто «не хватает». Действительно, если бы нашлось какое-нибудь число, соответствующее log(−1), то половина его, как следует из теории логарифмов, соответствовала бы log√−1, a √−1 заведомо не имеет логарифма.

Одним из первых алгебраистов, умышленно не переносившим отрицательный коэффициент в другую часть уравнения, был Томас Гарриот (1560-1621). Однако он отвергал отрицательные корни и даже «доказал» в своем сочинении «Практические аналитические искусства» (Artis analyticae praxis, 1631), опубликованном уже после его смерти, что отрицательные корни не существуют. Ясные и четкие определения отрицательных чисел дал Рафаэль Бомбелли (XVI в.), хотя ему и не удалось обосновать правила действий над отрицательными числами, поскольку в то время отсутствовала логическая основа, необходимая для обоснования положительных чисел.{71} Стевин рассматривал уравнения с положительными и отрицательными коэффициентами и считал отрицательные корни вполне допустимыми. В своем сочинении «Новое изобретение в алгебре» (Invention nouvelle en algèbre, 1629) Альбер Жирар (1595-1632) не проводил никакого различия между отрицательными и положительными числами и указывал оба корня квадратного уравнения, даже если они были отрицательными. И Жирар, и Гарриот употребляли один и тот же знак «минус» для обозначения как операции вычитания, так и отрицательных чисел, хотя следовало бы ввести два отдельных символа, поскольку отрицательное число — независимое понятие, в то время как вычитание — одна из четырех арифметических операций.

В целом можно сказать, что немногие математики XVI-XVII вв. свободно обращались с отрицательными числами или легко восприняли их введение, большинство заведомо не признавали отрицательные числа «настоящими» корнями алгебраических уравнений. По поводу отрицательных чисел среди математиков бытовали самые нелепые предрассудки. Так, Валлис, придерживавшийся прогрессивных для своего времени взглядов и не отвергавший отрицательных чисел, был убежден в том, что отрицательные числа больше, чем бесконечность, и в то же время меньше нуля. В своей «Арифметике бесконечно малых» (Arithmetica infinitorum, 1655) Валлис доказывал, что поскольку отношение a/0 при положительном a обращается в бесконечность, то, когда знаменатель становится отрицательным (отношение a/b с отрицательным b), отношение должно стать больше, чем a/0, так как отрицательный знаменатель меньше нуля. Следовательно, заключал Валлис, отрицательные числа должны быть больше, чем бесконечность.