求证:tan(3a/2)-tan(a/2)=2sina/(cosa+cos2a)