(a*b)*c=a*(c*b

Задача: доказать, что для любых a, b, c выполняется (ab)c = a(cb).

Пояснение и шаги решения:

• Напомним две основополагающие свойства умножения в обычной арифметике:

  1. Ассоциативность: (xy)z = x(yz) для любых x, y, z.
  2. Коммутативность: yz = zy для любых y, z.

• Доказательство:

  1. Применяем ассоциативность к выражению (ab)c: (ab)c = a(bc).
  2. Применяем коммутативность к произведению bc: bc = c*b.
  3. Подставляем в предыдущее равенство: a*(bc) = a(c*b).

• В итоге имеем: (ab)c = a(cb).

Вывод:

• Это верно для любых чисел a, b, c (и вообще в любой структуре, где умножение ассоциативно и коммутативно, например в полях/R, C, Z и т. д.).
• Пример на числах: возьмём a=2, b=3, c=4. Левое: (23)4 = 64 = 24. Правое: 2(43) = 212 = 24. Совпадает.

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