khai triển ra được:
sina(cosacosb-sinasinb)=sinb<=>[TEX]sinacosacosb=sinb(sin^2a+1)[/TEX]
<=>[tex]sinacosa=tanb(2sin^2a+cos^2a)<=>tana=tanb(2tan^2a+1)<=>\frac{tana}{2tan^2a+1}=tanb[/tex]
Áp dụng khai triển tan: [tex]tan(a+b)=\frac{tana+tanb}{1-tanatanb}[/tex]
Thay tanb ở trên vào rồi quy đồng rút gọn, được kết quả là 2tana