Question

給定正整數，若項數為的數列滿足：對任意的，均有（其中），則稱數列為“Γ數列”．
（1）判斷數列和是否是“Γ數列”，并說明理由；
（2）若為“Γ數列”，求證：對恒成立；
（3）設是公差為的無窮項等差數列，若對任意的正整數，
均構成“Γ數列”，求的公差．

Answer 1

（1）數列不是“數列”； 數列是“數列”；（2）詳見解析；（3）數列的公差．

試題分析：（1）判斷數列和是否是“Γ數列”，根據“Γ數列”的定義，對任意的，均有，只要每一項都滿足，就是“Γ數列”，有一項不滿足就不是“Γ數列”，對于數列，，觀察數列中的項，都大于，顧不符合定義，對于數列，，觀察數列中的每一項，都小于，符合定義，故是“Γ數列”；（2） 若為“Γ數列”，求證：對恒成立，本題直接證明似乎無從下手，因此可用反證法，即假設存在某項，把它作為條件，可得，設，得出，顯然這與“數列”定義矛盾，從而得證；（3）求的公差，由（2）可知，分，與，兩種情況討論，當易證符合，當時，顯然是遞增數列，由“數列”的定義可知，即，整理得，當時，不等式不成立，故不是“數列”，因此得公差.
（1）①因為，數列不是“數列”，       2分
②因為，又是數列中的最大項
所以數列是“數列”.                                                 4分
（2）反證法證明：
假設存在某項，則
.
設，則
，
所以，即，
這與“數列”定義矛盾，所以原結論正確.                                    8分
（3）由（2）問可知.   
①當時，，符合題設；                    9分
②當時， 
由“數列”的定義可知，即
整理得（*）
顯然當時，上述不等式（*）就不成立
所以時，對任意正整數，不可能都成立.
綜上討論可知的公差.                             13分