证明:∵DE是垂直平分线∴AE=BE(垂直平分线上的点到两边的距离相等)∴∠EAB=∠B∵∠C=90°∴CD=½AB=BD(直角三角形斜边的中线等于斜边的一半)∴∠OCE=∠B根据正弦定理:OE/OC=sin∠OCE/sin∠OEC∵∠OEC=∠EAB+∠B=2∠B∴OE/OC=sin∠B/sin2∠B=sin∠B/(2sin∠Bcos∠B)=1/(2cos∠B)∵cos∠B=BC/AB∴OE/OC=AB/2BC