已知,如图,在△ABC中,∠A=90°,DE为BC的垂直平分线,求证:BE2=AC2+AE2.