求证:tan x/2=sin x/(1+cos x)