∵數(shù)列{a[n]}滿(mǎn)足4a[n+1]-a[n]a[n+1]+2a[n]=9
∴(4-a[n])a[n+1]=9-2a[n]
即：a[n+1]=(2a[n]-9)/(a[n]-4)
∵a[1]=1
∴a[2]=7/3,a[3]=13/5,a[4]=19/7,...
∵分子是首項(xiàng)為1,公差為6的等差數(shù)列
∴猜想分子是：1+6(n-1)=6n-5
∵分母是首項(xiàng)為1,公差為2的等差數(shù)列
∴猜想分母是：1+2(n-1)=2n-1
∴猜想{a[n]}的通項(xiàng)公式是：a[n]=(6n-5)/(2n-1)
下面用數(shù)學(xué)歸納法來(lái)證明上述猜想公式成立：
當(dāng)n=1時(shí),左邊=a[1]=1,右邊=(6*1-5)/(2*1-1)=1,此時(shí)公式成立
設(shè)n=k時(shí)公式成立,即：a[k]=(6k-5)/(2k-1)
∵a[n+1]=(2a[n]-9)/(a[n]-4)
∴當(dāng)n=k+1時(shí),a[k+1]=(2a[k]-9)/(a[k]-4)
=[2(6k-5)/(2k-1)-9]/[(6k-5)/(2k-1)-4]
=[(-6k-1)/(2k-1)]/[(-2k-1)/(2k-1)]
=(6k+1)/(2k+1)
=[6(k+1)-5]/[2(k+1)-1],公式也成立
∴{a[n]}的通項(xiàng)公式：a[n]=(6n-5)/(2n-1)的猜想是正確的
再用不動(dòng)點(diǎn)法給予驗(yàn)證：
∵a[n+1]=(2a[n]-9)/(a[n]-4)
令：x=(2x-9)/(x-4)
x^2-4x=2x-9
即：(x-3)^2=0
解得不動(dòng)點(diǎn)：x=3
∴a[n+1]-3=(2a[n]-9/(a[n]-4)-3=(-a[n]+3)/(a[n]-4)
取倒數(shù)：1/(a[n+1]-3)=(4-a[n])/(a[n]-3)=1/(a[n]-3)-1
即：1/(a[n+1]-3)-1/(a[n]-3)=-1
∵a[1]=1
∴{1/(a[n]-3)}是首項(xiàng)為1/(a[1]-3)=-1/2,公差為-1的等差數(shù)列
即：1/(a[n]-3)=-1/2-(n-1)=(1-2n)/2
∴a[n]=2/(1-2n)+3=(5-6n)/(1-2n)=(6n-5)/(2n-1)
驗(yàn)證結(jié)果：猜想、數(shù)學(xué)歸納法、不動(dòng)點(diǎn)法所得的{a[n]}通項(xiàng)公式完全一致
a[n]=(6n-5)/(2n-1)