Ответ:

Раскроем скобки:

\(a(b-4)-b(a+2)=ab-4a-ab-2b\).

Слагаемые \(ab\text{ и }-ab\) взаимно уничтожаются, поэтому получаем \(-4a-2b\). Тождество верно.