已知:以Rt三角形ABC的直角边AC为直径作圆O,交AB于D点,OE平行AB交BC于E点,求证:DE为圆O的切线