Обосновать, что при всех значениях буковкы правильно равенство: (x-y)(x+y)-(a-x+y)(a-x-y)-a(2x-a)=0

Докажем, что при всех значениях буковкы правильно равенство: 

(x - y) (x + y) - (a - x + y) (a - x - y) - a (2 * x - a) = 0; 

x^2 - y^2 - (a^2 - a * x - a * y - a * x + x^2 + x * y + a * y - x * y - y^2) - 2 * a * x + a^2 = 0; 

x^2 - y^2 - (a^2 - 2 * a * x + x^2  - y^2) - 2 * a * x + a^2 = 0;  

x^2 - y^2 - a^2 + 2 * a * x - x^2  + y^2 - 2 * a * x + a^2 = 0; 

x^2 - y^2 - a^2  - x^2  + y^2  + a^2 = 0;  

-a^2  + a^2 = 0;   

0 = 0; 

Отсюда получаем, что тождество верно.