作CE‖AD交BA延长线于E。
∵CE‖AD
∴△BDA≌△BCE
∵ BA/BE=BD/BC
∴ BA/AE=BD/DC
∵CE‖AD
∴∠BAD=∠E,∠DAC=∠ACE
∵AD平分∠BAC
∴∠BAD=∠CAD
∴ ∠BAD=∠CAD=∠ACE=∠E
即∠ACE=∠E
∴ AE=AC
又∵BA/AE=BD/DC
∴BA/AC=BD/DC
(注:例题中∵、∴分别表示为因为、所以)
不会
过点C作DA的平行线交BA延长线于E.由平行线性质∠DAC=∠ACE,∠BAD=∠AEC,
所以AE=AC,又由平行得BA/AE=BD/DC,所以BD/DC=AB/AC