Всё просто.
x(y-2)+2(x+y)=y(x+2)
Работаем с левой частью, раскрываем скобки:
xy-2x+2x+2y=y(x+2)
Взаимно уничтожаются -2x и 2x
Получаем:
xy+2y=y(x+2)
Тут уже видно, что можно вынести общий множитель, получаем y(x+2)
И значит:
y(x+2)=y(x+2)
Тождество доказано.