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