如图,Pt△ABC中,角ABC=90度,以AB为直径的圆O交AC于点D,过点D的切线交BX于E,求证:DE=1/2BC