Как решать тождества?

4b^2c^2 - (b^2+c^2-a^2) ^2 = (2bc+b^2+c^2-a^2) (2bc+a^2-b^2-c^2) =

= ((b+c) ^2-a^2) (a^2 - (b-c) ^2) = (b+c-a) (b+c+a) (a-b+c) (a+b-c)

тождество доказано

(а+в+с) (а-в+с) (а+в-с) (в+с-а)