В чем же идея? Выписанные соотношения верны для целых чисел, потому что они выводятся из определений сложения, умножения и возведения в степень. Подумаем, нельзя ли расширить класс объектов, которые по-прежнему будут обозначаться буквами а, b и с и для которых по-прежнему будут верны все сформулированные нами правила, хотя сложение уже нельзя будет понимать как последовательное увеличение числа на единицу, а возведение в степень — как последовательное перемножение целых чисел.
§ 3. Шаг в сторону и обобщение
Если кто-нибудь, усвоив наши определения, приступит к решению алгебраических уравнений, он быстро натолкнется на неразрешимые задачи. Решите, например, уравнение b=3-5. Вам придется в соответствии с определением вычитания найти число, которое дает 3, если к нему добавить 5. Перебрав все целые положительные числа (а ведь в правилах говорится только о таких числах), вы скажете, что задача не решается. Однако можно сделать то, что потом станет системой, великой идеей: наткнувшись на неразрешимую задачу, надо сначала отойти в сторону, а затем обобщить. Пока алгебра состоит для нас из правил и целых чисел. Забудем о первоначальных определениях сложения и умножения, но сохраним правила (22.1) и (22.2) и предположим, что они верны вообще не только для целых положительных чисел (для них эти правила были выведены), а для более широкого класса чисел. Раньше мы записывали целые положительные числа в виде символов, чтобы вывести правила; теперь правила будут определять символы, а символы будут представителями каких-то более общих чисел. Манипулируя правилами, можно показать, что 3-5=0-2. Давайте определим новые числа: 0-1, 0-2, 0-3, 0-4 и т. д. и назовем их целыми отрицательными числами. После этого мы сможем решить все задачи на вычитание. Теперь вспомним и о других правилах, например a(b+c)=ab+ac; это даст нам правило умножения отрицательных чисел. Перебрав все правила, мы увидим, что они верны как для положительных, так и для отрицательных чисел.
Мы значительно расширили область действия наших правил, но достигли этого ценой изменения смысла символов.
Уже нельзя, например, сказать, что умножить 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 больше единицы, а мы не умеем делить единицу на числа, большие чем единица!