Kẻ đường cao AH
Xét ΔABHΔABH vuông tại H có :
{AB2=AH2+BH2BH=AB.cosB{AB2=AH2+BH2BH=AB.cosB
Xét ΔACHΔACH vuông tại H
=> AC2=AH2+HC2=AH2+(BC−BH)2=AH2+BC2+BH2−2BC.BHAC2=AH2+HC2=AH2+(BC−BH)2=AH2+BC2+BH2−2BC.BH
mà {AB2=AH2+BH2BH=AB.cosB{AB2=AH2+BH2BH=AB.cosB
=> AC2=AB2+BC2−2BC.AB.cosBAC2=AB2+BC2−2BC.AB.cosB (đpcm )