证明：

过E点作MN//AC,交直线a于M,交直线c于N
∵a//b//c,MN//AC
∴四边形ABEM和BCNE都是平行四边形
∴AB=ME,BC=EN
∵a//c
∴∠DME=∠FNE,∠MDE=∠NFE（内错角相等）
∴△DME∽△FNE（AA）
∴ME/EN=DE/EF
∴AB/BC=DE/DF（等量代换）