sec^2(x/2)/2tan(x/2)等于1/sinx,麻烦高手帮我把详细步骤写出来!