(a^2 - b^2 + c^2) - (a^2 + c^2 - b^2) - (b^2 - c^2)= a^2 - b^2 + c^2 - a^2 - c^2 + b^2 - b^2 + c^2= c^2 - b^2
Следовательно, тождество доказано.
(a^2 - b^2 + c^2) - (a^2 + c^2 - b^2) - (b^2 - c^2)
= a^2 - b^2 + c^2 - a^2 - c^2 + b^2 - b^2 + c^2
= c^2 - b^2
Следовательно, тождество доказано.