浅议用不动点知识求递推数列通项公式及其逻辑分析.pdfVIP

武增明

(云南省玉溪第一中学，653100)

我们知道，含有变元的语句不是命题，因为它不

得到命题：存在，曼／0，这是真命题，其否定为

能判别真假，如一30，这不是命题，逻辑上称之工-J

一0

为“命题形式”或俗称为“开语句”．这一类语句如果命题：对所有的，有生0．

-J

要成为命题，必须前面加上量词，全称量词或存在量必须注意的是，逻辑知识是从逻辑形式上来讨

词．比如，语句厂()／o前面加上全称量词，得全称论命题的真假性与逻辑关系，得到的逻辑结论可以

命题：对所有的，有厂()／o，其否定为存在命题：适用于所有同一形式的具体情况．

存在，有厂()0；语句厂()／o前面加上存在量其次，命题的“否定”与“否命题”是两个不同的

词，得命题：存在，有f()／0，其否定为：对所有概念；命题与其否定一真一假，而命题与其否命题可

的，有厂()0．这个结论对于所有的命题形式都能一真一假，也可能同真，也可能同假．

适用．

由此可见，“命题厂()／o”的说法是错误的，因参考文献：

为“)≥0”前面没有量词，无法判别其真假．同[1]季素月．命题P或Q学习解惑[J]．中学数学

理，“若命题厂()／o，则其否定为厂()0”也有逻月刊，2001(10)．

0[2]季素月．简易逻辑知识中的若干问题[J]．数学

辑错误，如詈／0不是命题，所以写不出它的否

教学，2001(12)．

定．如果前面加上全称量词，则得到命题：对所有的

有笠≥0，显然这是假命题，它的否定：存在，

，(收稿日期：2008—05—13)

-J

生0

，当然这是真命题．如果an_t：存在量词，则

浅议用不动点知识求递推数列的通项公式

李美玲

(湖北武汉华中师范大学数学与统计学学院，430079)

有关数列递推式的问题在最近几年的高两个定理给出了证明．后面我们将会看到：这

考试题中经常出现，而对于此类由递推式求数种方法和传统解决方法在本质上是等价的，但

列通项公式的问题，我们最常用的解决方法是更加简便。容易掌握，

利用化归思想，经过多次代换，将问题逐步转首先。给出不动点法的定义：

化为我们熟悉的等差、等比的数列形式，从而

将通项求出．这种解决方法虽然思路简单，然动点．利用不动点把递推式化为等差、等比数

而实际计算起来，却较为繁琐．本文介绍一种列或某些易于求解的递推关系，达到求解的目

基于不动点解决此类问题的方法，并对其中的的，这种方法称为不动点法．

·同步参考·31

1对于形如a，．=aa，r1+b(a≠0，口≠1，

。1=k)(当a=0时，a为常数数列，当a=1bc~：O，n=k,al≠【上)(当c=0时即是

时。a，．是等差数列)的递推数列，求{a}的通项情形1，当一6f=0或者n=时，

公式的问题．