Question

已知函数，数列{a_n}满足a₁=1，a_n+1=f（a_n），n∈N^*，
（Ⅰ）求证：数列是等差数列；
（Ⅱ）令b_n=a_n-1•a_n（n≥2），b₁=3，S_n=b₁+b₂+…+b_n，若对一切n∈N^*成立，求最小正整数m．

Answer

（Ⅰ）利用，an+1=f（an），可得an+1=，取倒数可得，从而数列是等差数列
（Ⅱ）由（Ⅰ）知，根据bn=an-1•an（n≥2），可得，进而可裂项求和
，从而将，转化为对一切n∈N*成立，故可求．
证明：（Ⅰ）∵，
∴an+1=
∴
∴数列是等差数列
（Ⅱ）由（Ⅰ）知；
当n≥2时，
当n=1时，上式同样成立
∴
∴，即对一切n∈N*成立，
又随n递增，且
∴，
∴m≥2011，
∴m最小=2011