Question

13．?dāng)?shù)列{x_n}，{y_n}定義如下：x₁=1，y₁=39，且x_n+1=23x_n+y_n+2，y_n+1=551x_n+24y_n+64，n=1，2…
證明：對一切正整數(shù)n，x_n是完全平方數(shù)．

Answer 1

分析 由已知24x_n+1=24×23x_n+24y_n+48，y_n+1=551x_n+24y_n+64，兩式相減，得：x_n+2=47x_n+1-x_n+18，從而x_n+3=48x_n+2-48x_n+1+x_n，設(shè)${a}_{n}=\sqrt{{x}_{n}}$，則${{a}_{n+3}}^{2}=48{{a}_{n+2}}^{2}-48{{a}_{n+1}}^{2}+{{a}_{n}}^{2}$，再證明{a_n}是正整數(shù)數(shù)列，由此能證明對于一切正整數(shù)n，x_n是完全平方數(shù)．

解答 證明：∵數(shù)列{x_n}，{y_n}定義如下：x₁=1，y₁=39，
且x_n+1=23x_n+y_n+2，y_n+1=551x_n+24y_n+64，n=1，2…
∴24x_n+1=24×23x_n+24y_n+48，y_n+1=551x_n+24y_n+64，
兩式相減，得：24x_n+1=y_n+1+x_n-16，又x_n+2=23x_n+1+y_n+1+2，
消去y_n+1，得：x_n+2=47x_n+1-x_n+18，
∴x_n+3=47x_n+2-x_n+1+18，
兩式相減，得：x_n+3=48x_n+2-48x_n+1+x_n，
由x₁=1，y₁=39，得x₂=64，y₂=3025，
設(shè)${a}_{n}=\sqrt{{x}_{n}}$，則a₁=1，a₂=8，a₃=55，且${{a}_{n+3}}^{2}=48{{a}_{n+2}}^{2}-48{{a}_{n+1}}^{2}+{{a}_{n}}^{2}$，①
下面證明{a_n}是正整數(shù)數(shù)列，
由①得：${{a}_{n+3}}^{2}-（49{{a}_{n+2}}^{2}-14{a}_{n+2}{a}_{n+3}+{{a}_{n+1}}^{2}）$=${{a}_{n}}^{2}-（49{{a}_{n+1}}^{2}-14{a}_{n+1}{a}_{n+2}+{{a}_{n+2}}^{2}）$，
∴（a_n+3+a_n+1-7a_n+2）（a_n+3+7a_n+2-a_n+1）=（a_n+2+a_n-7a_n+1）（a_n+3+7a_n+1-a_n+2）．
∵${a}_{3}+{a}_{1}-7{a}_{2}=\sqrt{3025}+\sqrt{1}-7\sqrt{64}$=0，∴（a_n+3+a_n+1-7a_n+2）（a_n+3+7a_n+2-a_n+1）=0，
∵{x_n}是嚴(yán)格單調(diào)增函數(shù)，∴{a_n}也是嚴(yán)格單調(diào)增函數(shù)，
∴a_n+3+7a_n+2-a_n+1＞0，
∴a_n+3+a_n+1-7a_n+2=0，即a_n+3=7a_n+2-a_n+1，a₁=1，a₂=8，
∴{a_n}是正整數(shù)數(shù)列，
從而對于一切正整數(shù)n，x_n是完全平方數(shù)．

點(diǎn)評 本題考查對一切正整數(shù)n，x_n是完全平方數(shù)的證明，綜合性強(qiáng)，難度大，對數(shù)學(xué)思維的要求較高，解題時要認(rèn)真審題，注意函數(shù)的單調(diào)性、數(shù)列的性質(zhì)的合理運(yùn)用．