Для доказательства данного тождества, раскроем скобки в левой части уравнения:

(a+b)(a-ab-b) = a^2 - a^2b - ab + ab^2 + ba - b^2 = a^2 - a^2b - ab + ab^2 + ab - b^2 = a^2 - a^2b - b^2

Теперь посмотрим на первоначальное уравнение:

a + b = a + b

И сравним его с полученным результатом:

a^2 - a^2b - b^2 ≠ a + b

Таким образом, тождество не доказано.