Question

已知函数f（x）=e^x-1，，其中e是自然对数的底，e=2.71828…．
（1）证明：函数h（x）=f（x）-g（x）在区间（1，2）上有零点；
（2）求方程f（x）=g（x）根的个数，并说明理由；
（3）若数列{a_n}（n∈N*）满足a₁=a（a＞0）（a为常数），f（a_n+1）=g（a_n），证明：存在常数M，使得对于任意n∈N*，都有a_n≤M．

Answer

（1）直接利用零点存在定理证明函数h（x）=f（x）-g（x）在区间（1，2）上有零点即可；
（2）通过方程f（x）=g（x）构造函数h（x）=ex-1-，利用函数的导数以及函数的单调性，结合零点存在定理说明方程根的个数；
（3）直接利用数学归纳法的证明步骤，证明存在常数M=max{x，a}，使得对于任意的n∈N*，都有an≤M．
【解析】
（1）证明：由h（x）=f（x）-g（x）=ex-1-，得：
h（1）=e-3＜0，h（2）=e2-2-＞0，
所以函数h（x）在区间（1，2）上有零点．
（2）由（1）得：h（x）=ex-1-，
由知，x∈[0，+∞），而h（0）=0，则x=0为h（x）的一个零点，且h（x）在（1，2）内有零点，
因此h（x）至少有两个零点．
所以-1，记φ（x）=-1，则．
当x∈（0，+∞）时，φ'（x）＞0，因此φ（x）在（0，+∞）上单调递增，则φ（x）在（0，+∞）内至多只有一个零点．h（x）有且只有两个零点．
所以，方程f（x）=g（x）根的个数为2．
（3）记h（x）的正零点为x，即．
（1）当a＜x时，由a1=a，即a1＜x．而=，因此a2＜x，由此猜测：an＜x．下面用数学归纳法证明：
①当n=1时，a1＜x显然成立；
②假设当n=k（k≥1）时，有ak＜x成立，则当n=k+1时，由=知，ak+1＜x，因此，当n=k+1时，ak+1＜x成立．
故对任意的n∈N*，an＜x成立．
（2）当a≥x时，由（1）知，h（x）在（x，+∞）上单调递增．则h（a）≥h（x）=0，即．从而，即a2≤a，由此猜测：an≤a．下面用数学归纳法证明：
①当n=1时，a1≤a显然成立；
②假设当n=k（k≥1）时，有ak≤a成立，则当n=k+1时，由知，ak+1≤a，因此，当n=k+1时，ak+1≤a成立．
故对任意的n∈N*，an≤a成立．
综上所述，存在常数M=max{x，a}，使得对于任意的n∈N*，都有an≤M．