如图,AC是圆O的直径,弦BD交AC于点E,连结AD,DC,BC.如果AD^2=AE×AC,求证: