证明：过点C作CE∥AB交AD的延长线于E
∵AD平分∠BAC
∴∠BAD＝∠CAD
∵CE∥AB
∴∠E＝∠BAD
∴∠E＝∠CAD
∴CE＝AC
又∵CE∥AB
∴△ABD∽△ECD
∴AB/CE＝BD/CD
∴AB/AC＝BD/CD
∴AB:AC=BD:DC