tan(x/2)*cos(x/2)平方*2怎样算出等于sinx?