Мы значительно расширили область действия наших правил, но достигли этого ценой изменения смысла символов.
Уже нельзя, например, сказать, что умножить 5 на -2 - значит сложить 5 минус два раза. Эта фраза бессмысленна. Тем не менее, пользуясь правилами, вы всегда получите верный результат.
Возведение в степень приносит новые хлопоты. Кто-нибудь обязательно захочет узнать, что означает символ а(3-5). Мы знаем, что 3-5 это решение уравнения (3-5)+5=3. Следовательно, мы знаем, что а(3-5)а5=а3. Теперь можно разделить на а5, тогда а(3-5)=а3/а5. Еще одно усилие, и вот окончательный результат: а(3-5) =1/а2. Таким образом, мы установили, что возведение числа в отрицательную степень сводится к делению единицы на число, возведенное в положительную степень. Все было бы хорошо, если бы 1/а2не было бессмысленным символом. Ведь а — это целое положительное или отрицательное число, значит, а2 больше единицы, а мы не умеем делить единицу на числа, большие чем единица!
Система так система. Натолкнувшись на неразрешимую задачу, надо расширить царство чисел. На этот раз нам трудно делить: нельзя найти целого числа ни положительного, ни отрицательного, которое появилось бы в результате деления 3 на 5. Так назовем это и другие подобные ему числа рациональными дробями и предположим, что дроби подчиняются тем же правилам, что и целые числа. Тогда мы сможем оперировать дробями так же хорошо, как и целыми числами.
Еще один пример на степень: что такое а3/5? Мы знаем только, что (3/5) 5=3, ибо это определение числа 3/5, и еще, что (а3/5)5 =a(3/5)5, ибо это одно из правил. Вспомнив определение
корня, мы получим а(3/5)=
Пойдем дальше по пути обобщения. Существуют ли еще уравнения, которых мы не научились решать? Конечно. Например, нам не под силу уравнение b=21/2=Ц2. Невозможно найти рациональную дробь, квадрат которой равен 2. В наше время это выяснить довольно просто. Мы знаем десятичную систему и не пугаемся бесконечной десятичной дроби, которую можно использовать для приближения корня из двух. Хотя идея такого приближения появилась еще у древних греков, однако усваивалась она с большим трудом. Чтобы точно сформулировать суть такого приближения, надо постичь такие высокие материи, как непрерывность и соотношения порядка, а это очень трудный шаг. Это сделал Дедекинд очень точно и очень формально. Однако, если не заботиться о математической строгости, легко понять, что числа типа Ц2 можно представить в виде целой последовательности десятичных дробей (потому что если остановиться на какой-нибудь десятичной дроби, то получится рациональное число), которая все ближе и ближе подходит к желанному результату. Этих знаний нам вполне достаточно; они позволят свободно обращаться с иррациональными числами и вычислять числа типа Ц2 с нужной точностью.