Свойство перестановки, или коммутативность, означает, что изменение порядка двух участников операции не меняет результат. Для сложения a + b = b + a, для умножения обычных чисел a × b = b × a. Например, 7 + 5 и 5 + 7 равны 12, а 3 × 4 и 4 × 3 равны 12.
Почему оно очевидно для сложения
Положим рядом группу из трёх фишек и группу из пяти. Если сначала назвать три, затем пять, всего будет восемь. Если поменять группы местами, ни одна фишка не исчезнет и не появится. Поэтому сумма сохраняется.
На числовой прямой сложение 3 + 5 означает перемещение от нуля сначала на 3, затем ещё на 5 единиц. Запись 5 + 3 разбивает тот же общий путь на участки в другом порядке. Конечная точка одинакова.
Правило действует не только для положительных целых чисел. Можно переставлять отрицательные числа, дроби и действительные числа: −2 + 7 = 7 + (−2). Общий смысл операции сложения не меняется.
Почему множители тоже можно переставлять
Прямоугольный массив из трёх рядов по четыре предмета содержит столько же элементов, сколько массив из четырёх рядов по три. Поворот меняет взгляд на строки и столбцы, но не количество. Поэтому 3 × 4 = 4 × 3.
Для площади прямоугольника стороны также можно назвать в другом порядке. Произведение длины и ширины не зависит от того, какая величина записана первой. Это наглядная модель умножения.
Коммутативность сохраняется для рациональных и действительных чисел. Однако она не является обязательным свойством любой операции, обозначенной похожим знаком. Например, произведение матриц в общем случае зависит от порядка.
Как свойство упрощает вычисления
Перестановка позволяет собирать удобные пары. В сумме 38 + 17 + 62 можно переставить слагаемые и сначала получить 38 + 62 = 100, затем добавить 17. В произведении 4 × 19 × 25 удобно поставить рядом 4 и 25, получить 100 и умножить на 19.
При этом одной перестановки иногда недостаточно: чтобы изменить скобки, нужно сочетательное свойство. Преобразование
(4 × 19) × 25 = (4 × 25) × 19
использует и перестановку множителей, и новую группировку. В уме свойства работают вместе, но в доказательстве полезно различать каждый шаг.
Свойство также помогает проверять сумму: если числа сложены в другом порядке и результат изменился, в одном вычислении есть ошибка. Это не независимое доказательство правильности, если повторяется тот же неверный приём, но хорошая практическая проверка.
Почему вычитание некоммутативно
Переставим числа в выражении 9 − 4. Сначала получаем 5, а 4 − 9 = −5. Результаты различаются. Уменьшаемое и вычитаемое выполняют разные роли, поэтому свободно менять их местами нельзя.
Иногда вычитание переписывают как сложение противоположного числа: 9 − 4 = 9 + (−4). Теперь слагаемые действительно можно переставить: 9 + (−4) = (−4) + 9. Но число 4 не просто переехало на другое место, а осталось частью отрицательного слагаемого.
Это различие особенно важно при раскрытии скобок. Знак перед числом нельзя отрывать от него при перестановке слагаемых.
Почему деление некоммутативно
12 : 3 = 4, но 3 : 12 = 0,25. В первом случае выясняют, сколько групп по три содержится в двенадцати, во втором – какую долю двенадцати составляет три. Вопрос изменился вместе с порядком.
Деление можно представить умножением на обратное число: 12 : 3 = 12 × 1/3. После этого множители 12 и 1/3 разрешено переставить, однако заменить их числами 3 и 12 нельзя. Подробнее роли делимого и делителя разобраны в статье «Что такое деление?».
Возведение в степень тоже зависит от порядка. 2³ = 8, а 3² = 9. Основание и показатель выполняют разные функции.
Операция и объект имеют значение
Коммутативность относится не к символам вообще, а к определённой операции над определёнными объектами. Сложение векторов коммутативно, последовательное выполнение поворотов тела в пространстве может не быть коммутативным. Если сначала повернуть книгу вокруг одной оси, потом вокруг другой, итог может отличаться от обратного порядка.
Соединение текстовых строк тоже часто зависит от порядка: «дом» + «ик» даёт «домик», а «ик» + «дом» – другую последовательность. Поэтому программист не должен считать любую операцию со знаком + перестановочной.
В задаче следует сначала определить смысл действия, затем проверить свойство. Знакомая форма записи ещё не гарантирует знакомых законов.
Чем перестановка отличается от сочетания
Перестановочное свойство меняет порядок: a + b = b + a. Сочетательное меняет группировку: (a + b) + c = a + (b + c). Скобки показывают, какое действие выполняется первым.
Для обычного сложения и умножения действуют оба свойства. Для вычитания и деления – ни одно в таком простом виде. Например, (20 : 5) : 2 = 2, а 20 : (5 : 2) = 8.
Распределительное свойство отвечает на третий вопрос: как умножение связано со сложением, a × (b + c) = a × b + a × c. Смешивание названий часто мешает понять, какое именно преобразование разрешено.
Как не ошибиться
Перед перестановкой полезно мысленно обвести каждый операнд вместе с его знаком. В сумме 8 − 3 + 2 лучше увидеть 8 + (−3) + 2. Тогда можно получить 8 + 2 + (−3), не потеряв минус.
Если выражение содержит разные действия, сначала учитывают установленный порядок: умножение и деление выполняют раньше сложения и вычитания, если нет скобок. Нельзя переставить фрагменты через знак другой операции только потому, что отдельное сложение коммутативно.
Свойство перестановки кажется простым, но его настоящая ценность – в законном упрощении выражений. Оно позволяет выбирать удобный порядок для суммы или произведения и одновременно напоминает: любое алгебраическое преобразование должно опираться на свойство, которое действительно действует для данной операции.
