Проверим, данное выражение — тождество? a(b − x) + x(a + b) = b(a + x).

Преобразуем левую часть:

a(b − x) + x(a + b) = ab − ax + ax + xb = ab + xb = b(a + x).

Левая часть равна правой, значит, данное равенство является тождеством.