△ABC中,角C=90°,BE是角平分线,DE⊥BE交AB于D,圆O是△BDE的外接圆,求证:AC是圆O的切线