Использование инструмента подсказывает пути к его усовершенствованию. Стремясь к единообразному решению уравнений, математики обнаружили, что для достижения этой цели чрезвычайно полезно внести некоторые новые объекты и обращаться с ними так, как если бы это были числа. Их и называют числами, хотя понимают, что они отличаются от «настоящих» чисел; это проявляется в том, что им придают такие эпитеты, как «ложные», «фиктивные», «непостижимые», «мнимые». Чему они соответствуют в действительности, остается не совсем ясным или совсем неясным. Законно ли их использование, тоже остается спорным. Тем не менее, их используют все шире, ибо с их помощью получаются конечные результаты, которые содержат лишь «настоящие» числа и которые нельзя получить иначе. Человек, последовательно придерживающийся учения Платона, не мог бы использовать «ненастоящие» числа. Однако индийские, арабские и итальянские математики отнюдь не были последовательными платониками; здоровое любопытство и прагматические соображения перевешивали для них теоретическую недозволенность. Правда, при этом они все-таки делали оговорки и как бы извинялись за свое «некорректное» поведение.
Все «ненастоящие» числа — продукт обратного хода арифметической модели, они формально являются решениями таких уравнений, которые не имеют решения в области «настоящих» чисел. В первую очередь надо назвать отрицательные числа. Мы находим их уже в довольно развитом виде у индийского математика Бхаскары (XII в.), который совершает над ними все четыре действия арифметики. Интерпретация отрицательного числа как долга (в противоположность имуществу) была известна индусам еще в XII в. Бхаскара, формулируя правила действий над отрицательными числами, называет их «долг», а положительные — «имущество». Объявить отрицательное число таким же абстрактным понятием, как положительное число, он не решается. «Люди не одобряют отвлеченных отрицательных чисел», — пишет Бхаскара. Примерно так же относятся к отрицательным числам и в Европе XV–XVI вв. При геометрической интерпретации отрицательные корни называют «ложными» в отличие от «истинных» положительных корней. Современная интерпретация отрицательных чисел как точек, лежащих левее точки нуль, появилась только в «Геометрии» Декарта (1637 г.). По традиции Декарт называл отрицательные корни «ложными».
Формальные действия над корнями из чисел, которые не извлекаются в точном виде, восходят к глубокой древности, когда еще не было понятия о несоизмеримости отрезков. В XV–XVI вв. с ними обращаются совсем запросто — помогает здесь, конечно, простая геометрическая интерпретация. Понимание теоретической трудности, вытекающей из несоизмеримости отрезков, проявляется в названии этих чисел: «иррациональные», т. е. не постижимые разумом.
Квадрат любого числа положителен, поэтому квадратного корня из отрицательного числа не существует среди положительных, отрицательных, рациональных или иррациональных. Однако Кардано осмелел настолько, что стал формально оперировать (не без оговорок) с корнями из отрицательных чисел. Так в XVI в. возникли самые невозможные из всех невозможных чисел — «мнимые». Логика использования алгебраического языка неудержимо влекла математиков по неизведанному пути. Он казался незаконным и таинственным, но интуиция подсказывала, что все эти невозможные числа имеют глубокий смысл и новый путь себя оправдает. Так оно и оказалось.
Зачатки алгебраической буквенной символики встречаются впервые, как уже говорилось, у Диофанта. Диофант обозначал неизвестное знаком, напоминающим греческую букву ς или латинскую S. Есть предположение, что это обозначение происходит от последней буквы греческого слова άριθμός — число. Были у него также сокращенные обозначения для квадрата, куба и других степеней неизвестной величины. Знака сложения не было, складываемые величины писались подряд. Знаком вычитания служило нечто вроде перевернутой греческой буквы ψ знаком равенства — первая буква греческого слова ίσος — равный. Все остальное выражалось в словесной форме. Известные величины всегда записывались в конкретной числовой форме, обозначений для известных, но произвольных чисел нет.