x, y, z

Почему минус на минус дает плюс?

Комментарии: 0
Почему минус на минус дает плюс?

«Враг моего врага — мой друг»

Почему минус один умножить на минус один равно плюс один? Почему минус один умножить на плюс один равно минус один? Проще всего ответить: «Потому что таковы правила действий над отрицательными числами». Правила, которые мы учим в школе и применяем всю жизнь. Однако учебники не объясняют, почему правила именно такие. Мы сначала постараемся понять это, исходя из истории развития арифметики, а потом ответим на этот вопрос с точки зрения современной математики.

Давным-давно людям были известны только натуральные числа: $1, 2, 3, ...$ Их использовали для подсчета утвари, добычи, врагов и т. д. Но числа сами по себе довольно бесполезны — нужно уметь с ними обращаться. Сложение наглядно и понятно, к тому же сумма двух натуральных чисел — тоже натуральное число (математик сказал бы, что множество натуральных чисел замкнуто относительно операции сложения). Умножение — это, по сути, то же сложение, если мы говорим о натуральных числах. В жизни мы часто совершаем действия, связанные с этими двумя операциями (например, делая покупки, мы складываем и умножаем), и странно думать, что наши предки сталкивались с ними реже — сложение и умножение были освоены человечеством очень давно. Часто приходится и делить одни величины на другие, но здесь результат не всегда выражается натуральным числом — так появились дробные числа.

Без вычитания, конечно, тоже не обойтись. Но на практике мы, как правило, вычитаем из большего числа меньшее, и нет нужды использовать отрицательные числа. (Если у меня есть $5$ конфет и я отдам сестре $3$, то у меня останется $5 - 3 = 2$ конфеты, а вот отдать ей $7$ конфет я при всем желании не могу.) Этим можно объяснить, почему люди долго не пользовались отрицательными числами.

В индийских документах отрицательные числа фигурируют с VII века н.э.; китайцы, видимо, начали употреблять их немного раньше. Их применяли для учета долгов или в промежуточных вычислениях для упрощения решения уравнений — это был лишь инструмент для получения положительного ответа. Тот факт, что отрицательные числа, в отличие от положительных, не выражают наличие какой-либо сущности, вызывал сильное недоверие. Люди в прямом смысле слова избегали отрицательных чисел: если у задачи получался отрицательный ответ, считали, что ответа нет вовсе. Это недоверие сохранялось очень долго, и даже Декарт — один из «основателей» современной математики — называл их «ложными» (в XVII веке!).

Рассмотрим для примера уравнение $7x - 17 = 2x - 2$. Его можно решать так: перенести члены с неизвестным в левую часть, а остальные — в правую, получится $7x - 2x = 17 - 2$,  $5x = 15$,  $x = 3$. При таком решении нам даже не встретились отрицательные числа.

Но можно было случайно сделать и по-другому: перенести слагаемые с неизвестным в правую часть и получить $2 - 17 = 2x - 7x$,  $(-15) = (-5)x$. Чтобы найти неизвестное, нужно разделить одно отрицательное число на другое: $x = (-15)/(-5)$. Но правильный ответ известен, и остается заключить, что $(-15)/(-5) = 3$.

Что демонстрирует этот нехитрый пример? Во-первых, становится понятна логика, которой определялись правила действий над отрицательными числами: результаты этих действий должны совпадать с ответами, которые получаются другим путем, без отрицательных чисел. Во-вторых, допуская использование отрицательных чисел, мы избавляемся от утомительного (если уравнение окажется посложнее, с большим числом слагаемых) поиска того пути решения, при котором все действия производятся только над натуральными числами. Более того, мы можем больше не думать каждый раз об осмысленности преобразуемых величин — а это уже шаг в направлении превращения математики в абстрактную науку.

Правила действий над отрицательными числами сформировались не сразу, а стали обобщением многочисленных примеров, возникавших при решении прикладных задач. Вообще, развитие математики можно условно разбить на этапы: каждый следующий этап отличается от предыдущего новым уровнем абстракции при изучении объектов. Так, в XIX веке математики поняли, что у целых чисел и многочленов, при всей их внешней непохожести, есть много общего: и те, и другие можно складывать, вычитать и перемножать. Эти операции подчиняются одним и тем же законам — как в случае с числами, так и в случае с многочленами. А вот деление целых чисел друг на друга, чтобы в результате снова получались целые числа, возможно не всегда. То же самое и с многочленами.

Потом обнаружились другие совокупности математических объектов, над которыми можно производить такие операции: формальные степенные ряды, непрерывные функции... Наконец, пришло понимание, что если изучить свойства самих операций, то потом результаты можно будет применять ко всем этим совокупностям объектов (такой подход характерен для всей современной математики).

В итоге появилось новое понятие: кольцо. Это всего-навсего множество элементов плюс действия, которые можно над ними производить. Основополагающими здесь являются как раз правила (их называют аксиомами), которым подчиняются действия, а не природа элементов множества (вот он, новый уровень абстракции!). Желая подчеркнуть, что важна именно структура, которая возникает после введения аксиом, математики говорят: кольцо целых чисел, кольцо многочленов и т. д. Отталкиваясь от аксиом, можно выводить другие свойства колец.

Мы сформулируем аксиомы кольца (которые, естественно, похожи на правила действий с целыми числами), а затем докажем, что в любом кольце при умножении минуса на минус получается плюс.

Кольцом называется множество с двумя бинарными операциями (т. е. в каждой операции задействованы два элемента кольца), которые по традиции называют сложением и умножением, и следующими аксиомами:

  1. сложение подчиняется сочетательному закону: $A + (B + C) = (A + B) + C$ для любых элементов $A, B$ и $C$;

  2. сложение подчиняется переместительному закону: $A + B = B + A$ для любых элементов $A$ и $B$;

  3. в кольце есть специальный элемент $0$ (нейтральный элемент по сложению) такой, что $A + 0 = A$;

  4. для любого элемента $A$ есть противоположный элемент (обозначаемый $(-A)$) такой, что $A + (-A) = 0$;

  5. умножение подчиняется сочетательному закону: $A \cdot (B \cdot C) = (A \cdot B) \cdot C$;

  6. сложение и умножение связаны такими правилами раскрытия скобок: $(A + B) \cdot C = A \cdot C + B \cdot C$ и $A \cdot (B + C) = A \cdot B + A \cdot C$.

Заметим, что кольца, в самой общей конструкции, не требуют ни перестановочности умножения, ни его обратимости (т. е. делить можно не всегда), ни существования единицы — нейтрального элемента по умножению. Если вводить эти аксиомы, то получаются другие алгебраические структуры, но в них будут верны все теоремы, доказанные для колец.

Теперь докажем, что для любых элементов $A$ и $B$ произвольного кольца верно, во-первых, $(-A) \cdot B = -(A \cdot B)$, а во-вторых $(-(-A)) = A$. Из этого легко следуют утверждения про единицы: $(-1)\cdot 1 = -(1 \cdot 1) = -1$ и $(-1) \cdot (-1) = -((-1) \cdot 1) = -(-1) = 1$.

Для этого нам потребуется установить некоторые факты. Сперва докажем, что у каждого элемента может быть только один противоположный. В самом деле, пусть у элемента $A$ есть два противоположных: $B$ и $C$. То есть $A + B = 0 = A + C$. Рассмотрим сумму $A + B + C$. Пользуясь сочетательным и переместительным законами и свойством нуля, получим, что, с одной стороны, сумма равна $B = B + 0 = B + (A + C) = A + B + C$, а с другой стороны, она равна $A + B + C = (A + B) + C = 0 + C = C$. Значит, $B = C$.

Заметим теперь, что и $A$, и $(-(-A))$ являются противоположными к одному и тому же элементу $(-A)$, поэтому они должны быть равны.

Первый факт получается так: $0 = 0 \cdot B = (A + (-A)) \cdot B = A \cdot B + (-A) \cdot B$, то есть $(-A) \cdot B$ противоположно $A \cdot B$, значит, оно равно $-(A \cdot B)$.

Чтобы быть математически строгими, объясним еще, почему $0 \cdot B = 0$ для любого элемента $B$. В самом деле, $0 \cdot B = (0 + 0) \cdot B = 0 \cdot B + 0 \cdot B$. То есть прибавление $0 \cdot B$ не меняет сумму. Значит, это произведение равно нулю.

А то, что в кольце ровно один ноль (ведь в аксиомах сказано, что такой элемент существует, но ничего не сказано про его единственность!), мы оставим читателю в качестве несложного упражнения.

Евгений Епифанов
«Элементы»
Комментарии: 0