How do you prove #(tanx-sinx)/(2tanx)=sin^2(x/2)#?