Kẻ phân giác AD,BK vuông góc với AD 
sin A/2=sinBAD 
xét tam giác AKB vuông tại K,có: 
sinBAD=BK/AB (1) 
xét tam giác BKD vuông tại K,có 
BK<=BD thay vào (1): 
sinBAD<=BD/AB(2) 
lại có:BD/CD=AB/AC 
=>BD/(BD+CD)=AB/(AB+AC) 
=>BD/BC=AB/(AB+AC) 
=>BD=(AB*BC)/(AB+AC) thay vào (2) 
sinBAD<=[(AB*BC)/(AB+AC)]/AB 
= BC/(AB + AC) 
=>ĐPCM