如图,在三角形ABC中,角C=90度,D是AC的中点,DE垂直AB于E.求证:BE的平方=AE的平方+BC的平方.