已知,如图,在三角形ABC中,角A=90,BC的垂直平分线分别交BC,AB于点D,E,求证;BE^2=AC^2+AE^2