(а+с)(а-с)-в(2а-в)-(а-в+с)(а-в-с)=0
a^2-c^2-2ав+в^2-(a^2-aв-ас-ав+в^2+вc+аc-вc-c^2)=0
a^2-c^2-2ав+в^2-(a^2-2ав+в^2-с^2)=0
a^2-c^2-2ав+в^2-a^2+2ав-в^2+с^2=0
Всё сокращается
0=0 тождество доказано
(х-у)(х+у)-(а-х+у)(а-х-у)-а(2х-а)=0
x^2-y^2-(a^2-ax-ay-ax+x^2+xy+ay-xy-y^2)-2ax+a^2=0
x^2-y^2-(a^2-2ax+x^2-y^2)-2ax+a^2=0
x^2-y^2-a^2+2ax-x^2+y^2-2ax+a^2=0
Всё сокращается
0=0 тождество доказано
