∵sin(α+β)-2cosαsinβ=sinαcosβ+sinβcosα-2cosαsinβ
=sinαcosβ-cosαsinβ
=sin(α-β)
2cosαcosβ-cos(α+β)=2cosαcosβ-(cosαcosβ-sinβsinα)
=sinβsinα+cosαcosβ
=cos(α-β)
∴原式=sin(α-β)/cos(α-β)=tan(α-β)