辅助角公式是acosα+bsinα=√(a^2+b^2)sin（α+φ)，其中φ的值由tanφ=a/b唯一确定。当设x=cosα时，为什么要设α∈[0，π]，完全是因为x∈[-1，1]决定。即α取[0，π]内任何一个值时，x在[-1，1]内有唯一的一个值和它对应。
