已知三角形 ABC,DE平行BC,EF平行DC,求证:AD的平方等于AB乘AF