解题小品——探骊寻珠.pdfVIP

2009年第4期13

●命题与群题●

解题小品——探骊寻珠

陶平生

(江西科技师范学院数学与计算机科学系，330013)

例l设口。为下述自然数_『v的个数：Ⅳ其中，口、p、)，∈N+，口)，，且ay=伊+1．证

的各位数字之和为n且每位数字只能取1、3

．明：对任意的几∈N，n。+6。必可表为两个正

或4．求证：n：。(n=l，2，…)是完全平方数．

整数的平方．

(1199l，全国高中数学联赛)这是笔者为2006年国家集训队编拟的

证明：注意到n的首位数字只取l、3或一道训练题．此题所定义的“数列簇”具有一

4，若去掉其首位数字，则有递推关系系列有趣的数论性质．

口n=口B—I+on一3+口n一4．证明：先证明两个引理．

引理1若正整数m、n、后满足m=

易知nl=1，n2=l，口3=2，口。=4，数歹U

{％}的特征方程为z4一戈3一戈一l=O．l|}2+1，则存在茹。、菇2、y。、y2∈N，使以下三式

分解因式得同时成立：

(算2+1)(互2一戈一1)=0．①，n=戈j+衍，n=戈i+先，后=并I石2+yl扎．

注意到式①左端含有因式z2一名一l，而引理1的证明：不妨设m≤，1．对后用数

石2一石一1=0正是斐波那契数列{．‘}的特征

学归纳法．

方程，其中，当后=1时，由，珊=2，有，，l=1，厅=2．

厶=厂1=1，厶=厶．-+以一2(n≥2)．贝4xl，

这使我们想到，数列{％}是否含有斐波即居2时结论成立．

那契数列{，：l}的某种“基因”?设当J|}r(r≥2)时结论成立．

下面将两个数列加以比较：j当后=_r时，由

撇=r2+l，①

口l=l=厶^，口2=l=斤，03=2=^五，

口4=4=／孑，口5=6=五厶，a6=9=∥，

n…-，m=掣≤篇等一nr+lr+l

由此猜想，一般应有令，l=r+5，m=r—f(s、￡∈N+)．

口2。=丘，口2川=瓶+I．②式①成为(r—f)(r+s)=r2+l，即

对n用数学归纳法．糟一鼯一护=1．

当几=l、2时皆已验证．两边同加z2得

设式②已对于n成立，则在凡+1时，(，．一孟)(j—f)=12+1．

而r一￡=m0，故s—t0，￡r．

口2n十2=n2n+I+02n—l+口2n一2

=雠+．+工一。厶+六一。由归纳假设，存在m。、m：、冠。、见：∈N，使

=以+。+工一I工+1．一+J；卜汪mi+n：，卜￡=_r，l；+凡i，