余弦相等恒等式中的两种符号 ±\pm± 选择,正好产生两族独立的等差角度序列,随后将分别对它们进行计数。
cosA=cosB\cos A=\cos BcosA=cosB 当且仅当存在某个整数 A=±B+2kπA=\pm B+2k\piA=±B+2kπ,使得 kkk。令 A=2nθA=2^n\thetaA=2nθ、B=θB=\thetaB=θ,得到两族解:(2n−1)θ=2kπ(2^n-1)\theta=2k\pi(2n−1)θ=2kπ,即 θ=2kπ2n−1\theta=\dfrac{2k\pi}{2^n-1}θ=2n−12kπ;或者 (2n+1)θ=2lπ(2^n+1)\theta=2l\pi(2n+1)θ=2lπ,即 θ=2lπ2n+1\theta=\dfrac{2l\pi}{2^n+1}θ=2n+12lπ,其中 k,lk,lk,l 为整数。