1.AD平行BC,知三角形ADF相似三角形BCF
所以AD/BC=AF/FC.
2.由AD=DE,BC=EC代入上式得
DE/EC=AF/FC.
3.在三角形ADC中,DE/EC=AF/FC,所以EF平行DA