有圆O,圆外一点A,做圆O的切线AB,AC交圆于B和C,过A做圆O的割线交圆O于D和F,交BC于E.试证:AF×DE＝A

有圆O,圆外一点A,做圆O的切线AB,AC交圆于B和C,过A做圆O的割线交圆O于D和F,交BC于E.试证:AF×DE＝AD×EF
此题自初中以来近20年,都没能搞好.上班以后用CAD画图,测量计算,命题应该正确.