如图,以RT△ABC的直角边AC为直径做圆O,交AB于D,E为BC的中点,求证:DE是圆O的切线