7、构造函数f(x)=e^(-x)+sinx-x^2/2-1f '(x)=-e^(-x)+cosx-xf ''(x)=e^(-x)-sinx-1<0即f '(x)递减,那么f '(x)所以f(x)在定义域内单调递减,f(x)9、构造函数F(x)=[f(x)-x]e^(-λx)F(0)=0,F(1)<0,F(1/2)>0,所以存在一点c∈(1/2,1),使得F(c)=0在区间[0,c]内满足罗尔定理,则存在一点ξ∈(0,c),使得F'(ξ)=0,得证。