Đầu tiên, vẽ tia p/g AD vì góc BAC =2ABC=>Có hai trường hợp sảy ra:1 ^{^}ABD=^BAD=> Tam giác ADB cân tại D=>AD=BD(1)

2 ^ABC=^DAC=>tam giác ABC=tam giác DAC

[AB/AD=BC/AC=>AB.AC=BC.AD (theo(1))

[AC/BC=DC/AC<=>AC^2=BC/DC=BC(BC-BD)=BC^2-AB.AC

=>BC^2=AC^2+AB.AC