让我们调用De Moivre定理在这里。我们有
因为年代pan>(年代pan>n年代pan>θ年代pan>)年代pan>+年代pan>我年代pan>罪年代pan>(年代pan>n年代pan>θ年代pan>)年代pan>=年代pan>(年代pan>因为年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>我年代pan>罪年代pan>(年代pan>θ年代pan>)年代pan>)年代pan>n年代pan>.年代pan>
自从<年代pan class="katex">
n年代pan>是一个积极的整数,是二项式定理,n选K适用于<年代pan class="katex">
(年代pan>因为年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>我年代pan>罪年代pan>(年代pan>θ年代pan>)年代pan>)年代pan>n年代pan>.
因此,通过扩张,我们已经
(年代pan>因为年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>我年代pan>罪年代pan>(年代pan>θ年代pan>)年代pan>)年代pan>n年代pan>=年代pan>因为年代pan>n年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>n年代pan>因为年代pan>n年代pan>−年代pan>1年代pan>(年代pan>θ年代pan>)年代pan>⋅年代pan>我年代pan>罪年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>1年代pan>⋅年代pan>2年代pan>n年代pan>(年代pan>n年代pan>−年代pan>1年代pan>)年代pan>因为年代pan>n年代pan>−年代pan>2年代pan>(年代pan>θ年代pan>)年代pan>⋅年代pan>我年代pan>2年代pan>罪年代pan>2年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>⋯年代pan>.年代pan>
自从<年代pan class="katex">
我年代pan>2年代pan>=年代pan>−年代pan>1年代pan>,年代pan>我年代pan>3.年代pan>=年代pan>−年代pan>我年代pan>,年代pan>我年代pan>4年代pan>=年代pan>1年代pan>,年代pan>我年代pan>5年代pan>=年代pan>我年代pan>,年代pan>...年代pan>,年代pan>我们有
(年代pan>因为年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>我年代pan>罪年代pan>(年代pan>θ年代pan>)年代pan>)年代pan>n年代pan>=年代pan>[年代pan>因为年代pan>n年代pan>(年代pan>θ年代pan>)年代pan>−年代pan>1年代pan>⋅年代pan>2年代pan>n年代pan>(年代pan>n年代pan>−年代pan>1年代pan>)年代pan>因为年代pan>n年代pan>−年代pan>2年代pan>(年代pan>θ年代pan>)年代pan>⋅年代pan>罪年代pan>2年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>1年代pan>⋅年代pan>2年代pan>⋅年代pan>3.年代pan>⋅年代pan>4年代pan>n年代pan>(年代pan>n年代pan>−年代pan>1年代pan>)年代pan>(年代pan>n年代pan>−年代pan>2年代pan>)年代pan>(年代pan>n年代pan>−年代pan>3.年代pan>)年代pan>因为年代pan>n年代pan>−年代pan>4年代pan>(年代pan>θ年代pan>)年代pan>⋅年代pan>罪年代pan>4年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>⋯年代pan>]年代pan>+年代pan>我年代pan>[年代pan>n年代pan>因为年代pan>n年代pan>−年代pan>1年代pan>(年代pan>θ年代pan>)年代pan>⋅年代pan>罪年代pan>(年代pan>θ年代pan>)年代pan>−年代pan>1年代pan>⋅年代pan>2年代pan>⋅年代pan>3.年代pan>n年代pan>(年代pan>n年代pan>−年代pan>1年代pan>)年代pan>(年代pan>n年代pan>−年代pan>2年代pan>)年代pan>因为年代pan>n年代pan>−年代pan>3.年代pan>(年代pan>θ年代pan>)年代pan>⋅年代pan>罪年代pan>3.年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>⋯年代pan>]年代pan>.年代pan>
通过使实部和虚部相等,我们得到
因为年代pan>(年代pan>n年代pan>θ年代pan>)年代pan>罪年代pan>(年代pan>n年代pan>θ年代pan>)年代pan>=年代pan>因为年代pan>n年代pan>(年代pan>θ年代pan>)年代pan>−年代pan>1年代pan>⋅年代pan>2年代pan>n年代pan>(年代pan>n年代pan>−年代pan>1年代pan>)年代pan>因为年代pan>n年代pan>−年代pan>2年代pan>(年代pan>θ年代pan>)年代pan>⋅年代pan>罪年代pan>2年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>1年代pan>⋅年代pan>2年代pan>⋅年代pan>3.年代pan>⋅年代pan>4年代pan>n年代pan>(年代pan>n年代pan>−年代pan>1年代pan>)年代pan>(年代pan>n年代pan>−年代pan>2年代pan>)年代pan>(年代pan>n年代pan>−年代pan>3.年代pan>)年代pan>因为年代pan>n年代pan>−年代pan>4年代pan>(年代pan>θ年代pan>)年代pan>⋅年代pan>罪年代pan>4年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>⋯年代pan>=年代pan>n年代pan>因为年代pan>n年代pan>−年代pan>1年代pan>(年代pan>θ年代pan>)年代pan>⋅年代pan>罪年代pan>(年代pan>θ年代pan>)年代pan>−年代pan>1年代pan>⋅年代pan>2年代pan>⋅年代pan>3.年代pan>n年代pan>(年代pan>n年代pan>−年代pan>1年代pan>)年代pan>(年代pan>n年代pan>−年代pan>2年代pan>)年代pan>因为年代pan>n年代pan>−年代pan>3.年代pan>(年代pan>θ年代pan>)年代pan>⋅年代pan>罪年代pan>3.年代pan>(年代pan>θ年代pan>)年代pan>+年代pan>⋯年代pan>,年代pan>
在上述序列的条款交替呈正且消极的情况下。此外,每个系列继续到分子中的一个因素为零,然后停止。因此,证明。
为证明<年代pan class="katex">
棕褐色年代pan>(年代pan>n年代pan>θ年代pan>)年代pan>观察,
棕褐色年代pan>(年代pan>n年代pan>θ年代pan>)年代pan>=年代pan>因为年代pan>(年代pan>n年代pan>θ年代pan>)年代pan>罪年代pan>(年代pan>n年代pan>θ年代pan>)年代pan>=年代pan>2年代pan>r年代pan>≤年代pan>n年代pan>r年代pan>=年代pan>0年代pan>∑年代pan>(年代pan>−年代pan>1年代pan>)年代pan>r年代pan>(年代pan>2年代pan>r年代pan>n年代pan>)年代pan>因为年代pan>n年代pan>−年代pan>2年代pan>r年代pan>(年代pan>θ年代pan>)年代pan>罪年代pan>2年代pan>r年代pan>(年代pan>θ年代pan>)年代pan>2年代pan>r年代pan>+年代pan>1年代pan>≤年代pan>n年代pan>r年代pan>=年代pan>0年代pan>∑年代pan>(年代pan>−年代pan>1年代pan>)年代pan>r年代pan>(年代pan>2年代pan>r年代pan>+年代pan>1年代pan>n年代pan>)年代pan>因为年代pan>n年代pan>−年代pan>2年代pan>r年代pan>−年代pan>1年代pan>(年代pan>θ年代pan>)年代pan>罪年代pan>2年代pan>r年代pan>+年代pan>1年代pan>(年代pan>θ年代pan>)年代pan>.年代pan>
划分分子和分母<年代pan class="katex">
因为年代pan>n年代pan>(年代pan>θ年代pan>)年代pan>获得
棕褐色年代pan>(年代pan>n年代pan>θ年代pan>)年代pan>=年代pan>2年代pan>r年代pan>≤年代pan>n年代pan>r年代pan>=年代pan>0年代pan>∑年代pan>(年代pan>−年代pan>1年代pan>)年代pan>r年代pan>(年代pan>2年代pan>r年代pan>n年代pan>)年代pan>棕褐色年代pan>2年代pan>r年代pan>(年代pan>θ年代pan>)年代pan>2年代pan>r年代pan>+年代pan>1年代pan>≤年代pan>n年代pan>r年代pan>=年代pan>0年代pan>∑年代pan>(年代pan>−年代pan>1年代pan>)年代pan>r年代pan>(年代pan>2年代pan>r年代pan>+年代pan>1年代pan>n年代pan>)年代pan>棕褐色年代pan>2年代pan>r年代pan>+年代pan>1年代pan>(年代pan>θ年代pan>)年代pan>.年代pan>
因此,我们的证据是完整的。<年代pan class="katex">
□年代pan>