tan(x+y)=2tanx(x,x+y≠kπ+π/2,k∈Z),证3siny=sin(2x+y)