一类特殊数列――双等比数列探讨.docVIP

一类特殊的数列――双等比数列的探讨 　　在解有关数列的问题时，我们常常碰到这样的数列，从这个数列的第二项开始，每一项除以前一项依次周期性地得到两个常数，例如下面两个数列： 　　1,,2,1,4,2,8,4,…⑴ 　　-9,3,12,-4,-16,,,-…⑵ 　　 在数列⑴中，从第二项开始，第一项除以前一项依次周期性地得到两个常数和4，反之，要得到数列⑴，只要从第一项开始每项乘以一个常数或4，或者说从第一项开始轮流乘以和4，这样不停地继续下去，即可得到数列⑴；同理，数列⑵则是轮流乘以-和4. 　　定义1一个数列，若从第二项开始，每一项除以前一项依次周期性地得到两个常数，则这个数列叫做双等比数列. 　　q1、q2为它的两个公比，一般不取零. 由定义可得两个公比为 　　q1=a2m/a2m-1 　　q2=a2m+1/a2m（m=1,2,3,…）…⑶ 　　显然，双等比数列由首项及两个公比来确定，即从首项起轮流乘以公比q1、q2而得到：a1,a1q1,a1q1q2,a1q12q2,a1q12q22，…⑷ 　　 那么，怎样求出双等比数列的通项公式及前项和的公式呢？ 　　 回头请看数列⑴和⑵，我们用取整符号[]与[]来刻划“轮流相乘”这种属性，在式子 　　1?()?4中也可把它们叫做“停乘”符号，因为，随着n取连续的自然数，它们会交错地出现“停乘”、“乘以”两种状态――一个使式子乘以，另一个则使式子停乘4. 反之，一个停乘以，另一个则乘以4. 例如，当n取1，2，3，…时，式子 　　1?()?(4)的值分别为： 　　1?()?(4)=1,1?()?(4)=,1?()?(4)=?4…，如此下去，在每一项中，当的指数比前一项大1时，4的指数必与前一项相等，反之，也然. 当n取遍所有自然数时，就可得数列⑴，故此数列⑴的通项公式为：an=1?()?(4)，n∈N. 对于数列⑵，因为a1=-9两个公比分别为q1=-，q2=4，故其通项公式为：an=(-9)?(-)?4，n∈N. 　　 由定义和以上的讨论可得： 　　 命题1双等比数列⑷的通项公式为： 　　an(a1，q1，q2)=a1?q1?q2…⑸ 　　 下面用数学归纳法证明⑸式. 　　 证明：⑴当n=1,2时，命题显然成立. 　　 ⑵假设n=k时命题成立，即ak=a1?q1?q2,那么当n=k+1时，分两种情况讨论： 　　①k=2m-1时，由⑶式得 　　ak+1=ak?q1=a1?q1?q2?q1=a1?q1?q2=a1?q1?q2=a1?q1?q2 　　即当k=2m-1时命题成立. 　　②当k=2m时，由⑶式得 　　ak+1=ak?q2=a1?q1?q2?q2=a1?q2?q2=a1?q1?q2=a1?q1?q2 　　即当k=2m时命题成立. 由①②知当n=k+1时命题成立. 　　由⑴⑵知，对一于n∈N，命题1都成立. 　　 注：在公式⑸中，当q1=q2=q时，⑸式即为通常的等比数列通项公式. 　　 例1求双等比数列的通项公式 　　⑴ 1，5，2，10，4，20，8，… 　　⑵-4，8，-8a，16a，-32，-16a2， 32a2，… 　　解：⑴∵a1=1,q1=5,q2= 　　∴an(1,5,)=1?5?() 　　⑵ ∵a1=-4,q1=-2,q2=-a 　　∴an(-4,-2,-a)=(-4)?(-2)?(-a)，n∈N 　　在推导出双等比例列的前n项和公式之前，先给出下面几个命题： 　　 命题2若K为给定的自然数，则有 　　 []+[]+[]+…＋[]=n 　　 证明：对n用模K分为K个剩余类来讨论 　　 当n=km时，左边=m+m+…+m=km=n=右边 　　 当n=km+1时，左边=m+m+…+m+m+1=km+1=n=右边 　　 当n=km+2时，左边=m+m+…+m+m+1+m+1=km+2=n=右边 　　 …… 　　 当n=km+k-1时，左边=m+m+1+1+m+1+…+m+1+m+1=km+k-1=n=右边 　　综上所述知，命题2成立. 　　推论[]+[]+[]+…＋[]=n-1（证法同上） 　　命题3q+q=q(q+1) 　　证明：分n=2m及n=2m-1两种情况讨论 　　当n=2m时 　　q+q=q+q=q+q 　　=q(q+1)+q(q+1) 　　当n=2m-1时 　　q+q=q+q 　　=q2m-1(q+1) 　　=q(q+1) 　　因此命题3成立. 　　有了上面的准备，下面我们进行讨论： 　　对于两个公比为q1、q2的双等比数列{an}:a1,a2,a3… 　　 可分为公比均为q=q1q2的两个数列{an}、{an} 　　{an}:a1,a3,