RT三角形ABC中,角ABC=九十度,以AB 为直径的圆O交AC于D,过D的切线交BC于E,求证DE=½BC,