представлены убывающей прямой P), Кардано же описал и случаи с p > 0 (прямые Q и R). Casus irreducibilis — случай с тремя точками пересечения (прямая R). В этом случае при записи решения возникает нужда в комплексных числах.
Обобщение Кардано этой процедуры учитывает также случаи p > 0 и позволяет записать решения для этих случаев (при положительном p и отрицательном q; впрочем, знак при q погоды не делает). Соответствующие прямые «поднимаются» слева направо (обозначены на рисунке буквами Q и R). Мы видим, что при некотором заданном значении p (т.е. при заданном угле наклона) и достаточно большом (т.е. таком, чтобы прямая пересекала ось y в точке, расположенной достаточно высоко) q' (иначе говоря, —q) снова существует одно-единственное решение. Выражение Кардано для этого решения имеет вид (в современных обозначениях)
где
Вооружившись современными обозначениями и современной же концепцией отрицательного числа (а также учитывая тот факт, что кубический корень отрицательного числа равен отрицательному кубическому корню того же, но положительного числа), мы легко убеждаемся, что выражение Кардано, в сущности, идентично выражению Тартальи. Однако в случае Кардано в том же, казалось бы, выражении появляется нечто принципиально новое. Теперь при достаточно малом q' прямая может пересечь кривую в трех точках, т.е. у исходного уравнения окажется три решения (при p > 0 два из них отрицательны). Случай этот — так называемый casus irreducibilis[35] — возникает, когда (1/2 q')2 < (1/3 p)3; нетрудно видеть, что w оказывается при этом квадратным корнем из отрицательного числа. Таким образом, числа 1/2 q' + w и 1/2 q' - w под знаком кубического корня в выражении Кардано являются не чем иным, как комплексными числами; сумма же этих двух кубических корней, если мы хотим получить решение уравнения, должна быть вещественным числом.
Это таинственное обстоятельство не избежало внимания Кардано, и позднее в «Ars magna» он отдельно обратился к вопросу, поставленному появлением комплексных чисел в решении уравнения, на примере задачи об отыскании двух чисел, произведение которых равно 40, а сумма равна 10. Эту задачу он решил (причем решил правильно), получив в качестве ответа два комплексных числа:
и
В графическом представлении задача сводится к отысканию точек пересечения кривой xy = 40 и прямой x + у = 10 (см. рис. 5.10). Отметим, что построенные на рисунке кривая и прямая нигде не пересекаются (в вещественных числах), что вполне согласуется с тем фактом, что для записи решения задачи требуются комплексные числа. Кардано эти новые числа в восторг отнюдь не приводили; он жаловался, что работа с ними «мучительна для разума». Тем не менее, изучая кубические уравнения, он вынужден был признать необходимость рассмотрения таких чисел.
Рис. 5.10. Задача Кардано об отыскании двух чисел, произведение которых равно 40, а сумма равна 10, может быть представлена графически как отыскание точек пересечения кривой xy = 40 и прямой x + y = 10. При этом становится очевидным, что в вещественных числах эта задача решения не имеет.
Следует отметить, что необходимость в комплексных числах при записи решения кубического уравнения (представленного графически на рис. 5.9) обусловлена причинами, значительно более загадочными, нежели появление таких чисел в задаче, изображенной на рис. 5.10 (задача эта, в сущности, эквивалентна задаче отыскания корней квадратного уравнения x2 - 10x + 40 = 0). В последнем случае вполне очевидно, что без привлечения комплексных чисел задача не имеет решения вовсе, и ничто не мешает нам объявить введение таких чисел безосновательной выдумкой, затеянной исключительно ради того, чтобы снабдить хоть каким-то «решением» уравнение, в действительности решений не имеющее. Эта позиция, однако, не объясняет, что происходит в случае кубического уравнения. Здесь (casus irreducibilis или прямая R на рис. 5.9) уравнение действительно имеет три вещественных решения, отрицать существование которых невозможно, однако для того, чтобы выразить любое из этих решений даже в иррациональных числах (т.е. в квадратных и кубических корнях, как в данном случае), нам приходится забираться в таинственные дебри комплексных чисел, хотя окончательный результат и принадлежит миру чисел вещественных.
Похоже, что до Кардано никто в эти таинственные дебри не углублялся и не задумывался над тем, каким образом из них «произрастает» наш собственный «вещественный» мир. (Снаружи заглядывали — например, Герон Александрийский и Диофант Александрийский в первом и, соответственно, в третьем веках нашей эры, судя по некоторым свидетельствам, размышляли над идеей существования у отрицательного числа чего-то вроде «квадратного корня», однако ни один из них не набрался храбрости объединить такие «числа» с числами вещественными и прийти таким образом к понятию комплексного числа; не разглядели они и глубинной связи между своими «псевдочислами» и вещественными решениями уравнений.) Возможно, именно удивительное сочетание в одном человеке двух личностей — мистика и рационально мыслящего ученого — позволило Кардано уловить эти первые проблески того, что развилось позднее в одну из мощнейших математических концепций. В последующие годы, благодаря трудам Бомбелли, Коутса, Эйлера, Весселя, Арганда, Гаусса, Коши, Вейерштрасса, Римана, Леви, Льюи и многих других, теория комплексных чисел разрослась вглубь и вширь и занимает сегодня заслуженное место среди наиболее изящных и универсально применимых математических конструкций. Однако лишь с появлением в первой четверти двадцатого века квантовой теории мы осознали, какую странную и всепронизывающую роль играют комплексные числа в самой фундаментальной структуре того физического мира, в котором мы живем, — не знали мы прежде и том, насколько тесна связь между комплексными числами и вероятностями. Даже у Кардано не возникло (да и не могло возникнуть) ни малейшего подозрения о существовании таинственной глубинной связи между двумя величайшими его вкладами в математику — связи, которая образует самый фундамент материальной Вселенной на тончайшем из ее уровней.