直方体ABCD-EFGHにおいて、
　(△BDE)^2=(△ABD)^2+(△ADE)^2+(△AEB)^2
が成り立つことを示せ
(ただし、△BDEなどはその三角形の面積を表す)