如图三角形abc中,ab小于ac.bd=ec.延长de交bc延长线于f.求证ab:ac=ef:df.