Для того, чтоб доказать, что уравнение x * (y - a) + a * (x + y) = y * (x + a) тождественно необходимо раскрыть скобки и сравнить правую и левую части тождества. Если они равны, значит равенство тождественно:
ху - ах + ах + ау = ху + ау;
ху + ау = ху + ау.
Данное равенство тождественно.