§ 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 минус два раза. Эта фраза бессмысленна. Тем не менее, пользуясь правилами, вы всегда получите верный результат.
Возведение в степень приносит новые хлопоты.