初三数学三角形ABC中,DE平行BC,EF平行DC,求证:AD^=AB*AF