李永利
(河南質(zhì)量工程職業(yè)學(xué)院 467001)
《數(shù)學(xué)通報(bào)》2015年10月號(hào)問題2268[1]:試證明
原解答利用正弦、余弦的積化和差等公式及一定的運(yùn)算技巧給出了該恒等式的證明.文[2]、文[3]相繼對(duì)該問題進(jìn)行了探討,從不同角度給出了該等式的精彩解答,文[2]提出了兩個(gè)猜想,文[3]還提出了能否將該恒等式一般化的問題.近期,文[4]給出該式一個(gè)更為直接的證明,將其進(jìn)行一般化,利用sin(4n-1)α和sin(4n+1)α所關(guān)聯(lián)的方程證明了文[2]提出的兩個(gè)猜想.受其啟發(fā),本文將對(duì)該問題進(jìn)一步進(jìn)行拓廣,給出三角函數(shù)正弦的奇倍角公式所關(guān)聯(lián)的一元奇次方程的解,作為推論利用韋達(dá)定理給出文[2]兩個(gè)猜想的簡(jiǎn)單證明,并在文末提出一個(gè)有關(guān)組合系數(shù)A2k的猜想.
證明令x=sinα,y=cosα,則由平方關(guān)系可知y2=1-x2.于是對(duì)于正整數(shù)n,由棣模弗定理和二項(xiàng)式定理及i2=-1可知
cos(2n+1)α+isin(2n+1)α
比較上式兩邊的虛部可得
sin(2n+1)α
(2)
設(shè)(2)式左端為f(x),則f(x)是一個(gè)關(guān)于x的2n+1次多項(xiàng)式,其偶次冪的系數(shù)全部為0.
令sin(2n+1)α=0,則(2n+1)α=kπ,
至此,定理1得證.
(k=0,1,2,3,…,n),則方程A0tn-A2tn-1+A4tn-2-…+(-1)n-1A2(n-1)t
證明在方程(1)中,令t=x2,則方程(1)變?yōu)榉匠?3),于是由定理1可知定理2的結(jié)論成立.
推論1設(shè)n為正整數(shù),則
(4)
(5)
(6)
證明在定理2中,利用組合數(shù)的性質(zhì),經(jīng)計(jì)算可知
于是,由定理2和韋達(dá)定理及以上三式可得
故(4),(5)兩式成立, 從而(6)式也成立.
注1(4),(5)兩式和(6)式分別是文[4]中的定理1和定理2,(6)式和(5)式分別是文[2]中的提出的猜想1和猜想2.
推論2設(shè)n為正整數(shù),則
(7)
(8)
(9)
注2(7),(8),(9)三式見文[4]定理的證明過程,它們分別是(4),(5),(6)三式當(dāng)n取2n-1時(shí)的特例.
推論3設(shè)n為正整數(shù),則
(10)
(11)
(12)
注3(10),(11),(12)三式見文[4]定理的證明過程,它們分別是(4),(5),(6)三式當(dāng)n取2n時(shí)的特款.
推論4設(shè)n為正整數(shù),則
(13)
(14)
(15)
注4因sin2α=1-cos2α,故(13)式是(4)式的變形,(14)、(15)兩式分別是(13)式當(dāng)n取2n-1和n取2n時(shí)的特殊情形.
推論5設(shè)n為正整數(shù),則
(16)
證明在方程(2)中,令sin(2n+1)α=1,此時(shí)方程(2)變?yōu)榉匠?17),則
取k=0,±1,±2,…,±n,并記
α-n<α-(n-1)<…<α-1<α0<α1<…<αn-1<αn,
x-n 定理3得證. 在方程(2)中,令sin(2n+1)α=-1,此時(shí)方程(2)變?yōu)榉匠?18),仿照定理3的證明可給出定理4的證明,證明過程此處從略. 進(jìn)一步,我們可將定理3和定理4進(jìn)行拓廣,得到如下更一般的結(jié)論: (其中,k=0,±1,±2,…,±n). 由定理5和韋達(dá)定理可得如下恒等式: 推論6設(shè)n為正整數(shù),α為實(shí)數(shù),則 (20) (21) 注6關(guān)于A2k的表達(dá)式,除A0=4n外,筆者提出如下猜想,供各位同仁研討. 猜想設(shè)n為正整數(shù),