關(guān)注兩個(gè)數(shù)列恒等式模型的解題功能

黃旭明

(福建省福安市第三中學(xué) 355002)

2017年版高中數(shù)學(xué)課程標(biāo)準(zhǔn)，提出了高中數(shù)學(xué)學(xué)科核心素養(yǎng)的六個(gè)要素，數(shù)學(xué)建模是其中之一.數(shù)學(xué)建模是數(shù)學(xué)應(yīng)用的重要形式，是解決問題的基本的手段，也是推動(dòng)數(shù)學(xué)發(fā)展的動(dòng)力.在等差數(shù)列、等比數(shù)列的學(xué)習(xí)中，結(jié)合它們的定義，再將通項(xiàng)公式an=a1+(n-1)d,an=a1qn-1變形、引申，不難發(fā)現(xiàn)兩個(gè)更為一般的數(shù)學(xué)模型——差式恒等式和商式恒等式：

①an=a1+(a2-a1)+(a3-a2)+…+(an-an-1);

這兩個(gè)恒等式看似平常，其實(shí)在解答數(shù)列問題中有著廣泛的應(yīng)用.

一、求數(shù)列的通項(xiàng)公式

例1 (見人教版課標(biāo)教科書必修5 P35)已知a1=1,an=2an-1+1(n>1),求通項(xiàng)an.

解將an+1=2an+1與an=2an-1+1相減，得an+1-an=2(an-an-1)(n>1).

可見新數(shù)列{an-an-1}是公比為2的等比數(shù)列，它的首項(xiàng)是a2-a1=(2a1+1)-1=2,因此an-an-1=2×2n-2=2n-1(n>1).

根據(jù)差式恒等式①有

an=a1+(a2-a1)+(a3-a2)+…+(an-an-1)

類似地，可解答2014年高考題：設(shè)a1=1,an+1=3an+1,求an.

解將已知式分解因式，有

(an+1+an)[(n+1)an+1-nan]=0.

由an>0知an+1+an≠0,

由商式恒等式②有

二、證明有關(guān)正整數(shù)的恒等式

有關(guān)正整數(shù)n的恒等式，通常習(xí)慣用數(shù)學(xué)歸納法來證明.實(shí)際上數(shù)學(xué)歸納法并不是唯一的方法，也不一定是最佳的方法，甚至有時(shí)無能為力.而這類題用兩個(gè)恒等式來證明，有時(shí)會(huì)更為方便.

例4 (見人教版課標(biāo)選修2-2 P94例1)求證：

兩式相減，可得Sn-Sn-1=n2.由差式恒等式有

Sn=S1+(S2-S1)+(S3-S2)+…+(Sn-Sn-1)

=1+22+32+…+n2,

例5 求證(n+1)(n+2)(n+3)…+(n+n)=2n·1·3·5·…·(2n-1).

證明當(dāng)n=1時(shí)，顯然式子成立.當(dāng)n≥2時(shí)，

記an=(n+1)(n+2)(n+3)+…+(n+n),則

an-1=n(n+1)(n+2)…(2n-2).

=2·(2×3)·(2×5)·…·[2×(2n-1)]

=2n·1·3·5·…·(2n-1),

所以(n+1)(n+2)(n+3)…(n+n)=2n·1·3·5·…·(2n-1).

三、證明有關(guān)正整數(shù)的不等式

對(duì)于a1+a2+…+an>(<)f(n)型的不等式，可記Sn=f(n),求出Sn-Sn-1的表達(dá)式，并與左端的對(duì)應(yīng)項(xiàng)an比較，適當(dāng)放縮，建立起Sn-Sn-1與an的不等關(guān)系，再用差式恒等式進(jìn)行證明.對(duì)于a1a2a3…an>(<)g(n)型的不等式，類似地處理.

例6 (見人教版課標(biāo)選修4-5P53習(xí)題3)求證：

所以Sn=S1+(S2-S1)+(S3-S2)+…+(Sn-Sn-1)

例7 (見人教版課標(biāo)選修4-5P50下)求證n2<2n(n≥5).

證明記an=n2,則an-1=(n-1)2,

認(rèn)識(shí)數(shù)學(xué)模型在解決問題中的作用，學(xué)會(huì)建立數(shù)學(xué)模型，這是發(fā)現(xiàn)問題，提出問題，分析問題，解決問題的重要手段.這不僅是數(shù)學(xué)知識(shí)的應(yīng)用，更是數(shù)學(xué)思想、方法、價(jià)值所在，對(duì)學(xué)生數(shù)學(xué)核心素養(yǎng)的發(fā)展也起著支撐作用.