How do you prove tan(x2)=sinx+cosxcotxcotx?