设an是函数f(x)=x^3+n^2*x-1的零点,证明;a1+a2+..an

来源：学生作业帮编辑：搜搜做题作业网作业帮分类：数学作业时间：2024/05/16 15:31:45

由f'(x) = 3x²+n² > 0, 知f(x)单调递增.
而f(1/n²) = 1/n⁶ > 0 = f(a[n]), 于是a[n] < 1/n².
对n > 2, 进一步放缩:
a[n] < 1/n² < 1/(n(n-1)) = 1/(n-1)-1/n.
对n = 1, 考虑更精细的放缩:
此时f(x) = x³+x-1, 有f(3/4) = 11/64 > 0 = f(a[1]), 故a[1] < 3/4.
综上a[1]+a[2]+a[3]+a[4]+...+a[n] < 3/4+1/4+(1/2-1/3)+(1/3-1/4)+...+(1/(n-1)-1/n) = 3/2-1/n < 3/2.
即所求证.
思路: 首先要对a[n]的阶有一个估计, 容易发现1/n²是一个不错的上界:
a[n] = (1-a[n]³)/n², 而误差项a[n]³/n²随着n的增大快速减小(是比1/n²高阶的无穷小).
然而直接放缩为1/n²的话, 有个著名的结果是1+1/2²+1/3²+...+1/n² → π²/6 > 3/2.
放缩过了, 因此尝试对较大的项a[1]给出更精细的估计, 来减小误差.
另一方面, 不能直接使用π²/6的结果, 所以改用可列项求和的放缩1/n² < 1/(n-1)-1/n.
不过对n = 2, 这一放缩误差偏大, 所以从n > 2开始.
以上结合起来得到上面的证法.
我没有想到非常不同的方法, 感觉上离不开对1/n²放缩, 毕竟a[n]与1/n²是充分接近的.
比如也可以对n > 1使用放缩: 1/n² < 1/(n²-1/4) = 1/(n-1/2)-1/(n+1/2).
结合a[1] < 3/4可以得到更好的上界17/12.

已知函数f(x)=(x^3-x) /3,数列{an}满足a1>=1,an+1>=f'(an+1)证明an>=（2^n）- 设函数f(x)=1/x,数列an满足：a1=a不等于0,且对于任意的正整数n都有an+1=f(an^2),则a1*a2… 已知函数f(X)=X/(3x+1),数列{an}满足a1=1,a(n+1)=f(an),证明数列{1/an}是等差数列设函数f(x)=x/(2x+1),数列{an}满足a1=1,an+1=f(an),n∈N* 已知a1=2,点（an,an+1)在函数f(x)=x的平方+2x的图像上,n=1,2,3…….证明数列lg(1+an)是已知数列an,bn,a1=1,且a（n+1）是函数f（x）=x^2-bnx+2^n,an,a（n+1）为函数的俩个零点, 已知函数f(x)=3x/x+3,设an+1=f(an),且a1=1/2, 已知函数f(x)=x/(3x+1),数列{an}满足a1=1,an+1=f(an)(n∈N*),求证：数列{1/an}是已知数列（an),(bn)满足a1=1,且an,an+1是函数f(x)=x方-bnx+2的n次方的两个零点,则b10等于一个实系数方程x^n+a1*x^n-1+a2*x^n-2+.+...an=0a1,a2,a3...,an都是整数证明:如证明是等差数列已知函数f(x)=x^2-2x,设数列{an}的前n项和Sn=f(n),令bn=(a2+a4+…+a2n) 记min{a1,a2,a3……an}为a1,a2,a3……an中的最小值,设f(x)=min{|x-3|,-x^2+4x