Question

已知函数有两个相同的实数解，数列{a_n}的前n项和s_n=1+f（n+1），n∈N*
（1）求数列{a_n}的通项公式；
（2）试确定数列{a_n}中n的最小值m，使数列{a_n}从第m项起为递增数列；
（3）设数列b_n=1-a_n，一位同学利用数列{b_n}设计了一个程序，其框图如图所示，但小明同学认为
这个程序如果执行将会是一个“死循环”（即一般情况下，程序将会永远循环下去而无法结束）．
你是否赞同小明同学的观点？请说明你的理由．

Answer

（1）原方程化为：根据有两个相同的实数解其根的判别式等于0求出a 值，从而求得数列{an}的通项公式；
（2）由于是单调增数列，又从而得出{an}为递增数列（n≥2）即得；
（3）赞同小明同学的观点．利用方程bn=n（n≥2，n∈N*）无解，从而得出结论：这个程序如果执行将会是一个“死循环”．
【解析】
（1）原方程化为：
由…（2分）
f（x）=-log2x⇒Sn=1-log2（n+1）
由此求得：…（4分）
（2）∵是单调增数列…（3分）
又
∴{an}为递增数列（n≥2）…（1分）
∴m=2…（1分）
（3）赞同小明同学的观点…（1分）
∵n≥2∴…（1分）
…（2分）
又2n≥4（n≥2）…（2分）
∴方程bn=n（n≥2，n∈N*）无解…（1分）