（a^2-b^2)(c^2-d^2)=(ac+bd)^2-(ab+dc)^2

と

（a^2-b^2)^2+(2ab)^2=(a^2+b^2)^2

の恒等式であることの証明を教えてください