以等腰三角形ABC的一腰AB为直径的圆O交BC于D,过D作DE垂直AC于E,求证DE是圆O的切线