已知(1-tanx)/(2+tanx)=1,求证:3sinx2x=-4cos2x.