圆O是三角形AEF的外接圆,AD平分角EAF交圆O于D,过点D做EF//BC交AE,AF于B,C,BA为圆O切线,