Тождества, вообщем нужно, чтобы обе части были равны. Упрощаете одну из них
x-y=-(y-x) (m-n)^2=(n-m)^2
x-y=-y+x m^2-2mn+n^2=n^2+2mn+m^2
x-y+y-x=0 m^2-2mn+n^2-n^2-2mn-m^2=0
все взаимно уничтожается
0=0 0=0
ч. и .т. д. ч. и .т. д. (что и требовалось доказать)