(a+b)2-2ab+a2-b2=a2a

Докажем тождество.

(a + b)^2 - 2 * a * b + a^2 - b^2 = a * 2 * a; 

a^2 + 2 * a * b + b^2  - 2 * a * b + a^2 - b^2 = 2 * a^2;  

Приведем сходственные значения и упростим выражение. 

(a^2 - a^2)  + (2 * a * b - 2 * a * b)  + (b^2 - b^2) = 2 * a^2;   

a^2 * (1 - 1) + 2 * a * b * (1 - 1) + b^2 * (1 - 1) = 2 * a^2; 

a^2 * 0 + 2 * a * b * 0 + b^2 * 0 = 2 * a^2; 

0 + 0 + 0 = 2 * a^2; 

0 = 2 * a^2; 

Тождество ошибочно.