AB是圆O直径,C是圆O上一点,CD⊥AB于D,E为线段CD上一点,直线AE交圆O于E.求证AC²=AE*AF