博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
1. 微博大学数学答疑系列(1)
阅读量:4954 次
发布时间:2019-06-12

本文共 3794 字,大约阅读时间需要 12 分钟。

    题目1(20170428) 设$f(x)$在$[a,b]$上递增,且有$f(a)>a,f(b)<b$,则存在$x_0\in(a,b)$,使得$f(x_0)=x_0$.

    分析   本题主要考查“闭区间套定理”的应用,因为没有说$f(x)$连续,用介值性是没有根据的。

    我们用闭区间套的常规构造模式。

    (1) 取$[a,b]$的中点$\frac{a+b}{2}$,若$f(\frac{a+b}{2})=\frac{a+b}{2}$,则命题已证;

    如果$f(\frac{a+b}{2})> \frac{a+b}{2}$,则取区间$[a_1,b_1]=[\frac{a+b}{2},b]$,使之满足$f(a_1)>a_1,f(b_1)<b_1$;

    如果$f(\frac{a+b}{2})< \frac{a+b}{2}$,则取区间$[a_1,b_1]=[a,\frac{a+b}{2}]$,使之满足$f(a_1)>a_1,f(b_1)<b_1$;

    (2) 按照和(1)完全类似的方法,构造闭区间套(如果有需要的话)$[a_n,b_n]$,其中$b_n - a_n=(\frac{1}{2})^n (b-a)$,

满足$f(a_n)>a_n,f(b_n)<b_n$,从而所有的闭区间确定一个实数$x_0$. 下面我们证明$f(x_0)=x_0$. 用反证法.

    (3) 假设$f(x_0)>x_0$,注意到$\forall n, x_0<b_n$,我们有$f(x_0)\leq f(b_n)$;但与此同时,由$\lim\limits_{n\to\infty}b_n=x_0<f(x_0)$,由数列极限的保序性,$\exists N,\forall n>N,f(b_n)<b_n< f(x_0)$,矛盾。

    (4)假设$f(x_0)<x_0$,同样可得矛盾,具体过程留给同学们。                            $\Box$

    题目2(20170501) 证明$I=\int_x^{x+2\pi}e^{\cos x} \cos x dx$为正常数.

    分析   因为周期函数在一个周期上的定积分是常数,本题被积函数周期为$2\pi$, 所以$I$是常数。问题关键在于证明它是正常数,下面用两种思路. 

    第一种思路,选择区间$[-\frac{\pi}{2},\frac{3\pi}{2}]$. 计算

$I=I_1 + I_2 = \int_{-\frac{\pi}{2}}^{\frac{3\pi}{2}}e^{\cos x}\cos xdx=\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}}e^{\cos x}\cos xdx+\int_{\frac{\pi}{2}}^{\frac{3\pi}{2}}e^{\cos x}\cos xdx$,

    对于$I_2$, 做简单的变量变换$x=u+\pi$, 得到

    $I_2=\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}}e^{\cos (u+\pi)}\cos (u+\pi) du=-\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}}e^{-\cos u}\cos u du=-\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}}e^{-\cos x}\cos x dx$,  

所以有 $I=-\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} (e^{\cos x} - e^{-\cos x}) \cos x dx$,

这里只需注意到在$[-\frac{\pi}{2},\frac{\pi}{2}]$上有$\cos x\geq 0$, 于是$e^{\cos x} - e^{-\cos x}\geq 0$,被积函数大于等于0且不恒等于0, 从而定积分为正常数.

    第二种思路,分部积分法,选择的区间为$[0,2\pi]$, 这个不重要。 

    $I=\int_0^{2\pi}e^{\cos x} d \sin x=(e^{\cos x}\sin x)|_0^{2\pi}+\int_0^{2\pi}\sin^2 x e^{\cos x}dx=\int_0^{2\pi}\sin^2 x e^{\cos x}dx$,

最右边式子的被积函数显然大于等于0且不恒等于0, 所以$I$必为正常数.      $\Box$

    题目3(20170501) 设$f(x)$在$[0,1]$上二阶连续可导,证明: $\int_0^1 |f'(x)|dx \leq 9\int_0^1|f(x)|dx + \int_0^1 |f''(x)|dx.$

    分析   $\forall\xi\in [0,\frac{1}{3}], \eta\in [\frac{2}{3},1], \exists\lambda\in (\xi, \eta),$ 有$|f'(\lambda)|=|\frac{f(\eta)-f(\xi)}{\eta-\xi}| \leq 3|f(\xi)|+3|f(\eta)|,$ 

$$|f'(x)|=|f'(\lambda)+\int_{\lambda}^x f''(t)dt|\leq 3|f(\xi)|+3|f(\eta)|  + \int_0^1 |f''(t)|dt,$$

然后分别对$\xi$在$[0,\frac{1}{3}], \eta$在$[\frac{2}{3},1]$上积分, $x$在$[0,1]$上积分.   $\Box$

   题目4(20170502) 设$f(x)$在$[0,2]$上连续,在$(0,2)$内三阶可导,且$\lim\limits_{x\to 0^+}=2, f(1)=1, f(2)=6.$ 证明: $\exists\xi\in (0,2)$, 使得$f'''(\xi)=9$.

   分析   构造辅助函数 $F(x)=f(x) - \frac{3}{2}x^3 - ax^2 - bx,$ 满足条件$F(0)=F(1)=F(2)=0$, 得$a=-\frac{5}{2}, b=2$, 由Rolle定理及$f'(0^+)=2$, 得 $F'(0^+)=F'(\xi)=F(\eta)=0$, 之后两次使用Rolle定理即得到结论.    $\Box$

   题目5(20170503) 求极限$\lim\limits_{x\to 1}\left(\frac{\alpha}{1-x^\alpha}-\frac{\beta}{1-x^\beta}\right),$ 其中$\alpha, \beta\neq 0$.

   分析   令$x-1=t$, 由等价无穷小$(1+t)^\alpha-1 \sim \alpha t, t\to 0$, 以及洛必达法则或者更有威力的泰勒公式方法,即得结果: $\frac{\alpha - \beta}{2}$.   $\Box$

    题目6(20170504)  已知正项数列$a_n$满足$\lim\limits_{n\to \infty}\frac{a_n}{n}=0$, 证明$\lim\limits_{n\to \infty}\frac{max\{a_1,a_2,\cdots,a_n\}}{n}=0$.  

    分析   本题考查数列极限的概念. 要证明结论,只需证明$\forall k\leq n, \frac{a_k}{n}\to 0$.

    由题设, $\forall \epsilon>0, \exists K, k>K$时,有$\frac{a_k}{k}<\epsilon$ ,因为$K$为有限值, 则$k\leq K$时, 显然$\lim\limits_{n\to \infty}\frac{a_k}{n}=0$;

同时$k>K$时,$0<\frac{a_k}{n}\leq \frac{a_k}{k}<\epsilon$, 由数列极限定义,综上两种情况,结论得证. $\Box$

    题目7(20170507) 设$f(x)$在$[0,1]$上具有一阶连续导数,$f(0)=0$,证明:至少存在一点$\xi\in [0,1]$, 使得$f'(\xi)=2\int_0^1 f(x)dx$.

    分析   这其实是个很常规的使用罗尔定理的题目,两次. 

    首先, 定积分是个常数, 所以我们记$I=\int_0^1 f(x)dx$. 

    要证明$f'(\xi)=2I$, 最简单地逆推原函数,即证$F(x)=f(x) - 2Ix$有两个零点, 显然已有$F(0)=f(0)-0=0$, 只需再找一个零点,再用一次罗尔定理.

    继续逆推原函数,由变限积分求导,令$G(x)=\int_0^x f(t)dt - Ix^2$,则$G'(x)=F(x)$,并且直接计算有$G(0)=0=G(1)=I-I=0$,所以存在$\eta\in(0,1)$,使得$G'(\eta)=F(\eta)=0$, 再由$F(0)=0$,在区间$[0,\eta]$上再次使用罗尔定理,存在$\xi\in (0,\eta)$,使得$F'(\xi)=0$,这就是要证明的结论,并且我们的区间更精确,是开区间.

      

 

 

 

 

 

 

       

 

转载于:https://www.cnblogs.com/xiaoxiaoxuan/p/6779976.html

你可能感兴趣的文章
洛谷P1197 星球大战【并查集】
查看>>
python base64 编解码,转换成Opencv,PIL.Image图片格式
查看>>
我的自白 —— 未来的期待
查看>>
解决sql sever2000 远程连接失败 error40 问题
查看>>
Android开发学习总结——搭建最新版本的Android开发环境
查看>>
pat L2-019. 悄悄关注
查看>>
挑战程序设计2 矩阵链乘
查看>>
将博客园或CSDN任意博主的全部博文备份到github上的简单方法
查看>>
go语言学习 一
查看>>
将RichTextBox 的内容直接写入数据库
查看>>
在NHibernate里执行存储过程(转)
查看>>
关于ValueSatck
查看>>
JavaWEB - 请求的转发和重定向
查看>>
nand驱动移植
查看>>
富文本编辑器
查看>>
Objective-C:内存管理的小结
查看>>
self.跟self->什么区别?
查看>>
WPF中TreeView控件实现动态加载节点
查看>>
使用Visual Studio 2013进行单元测试--初级篇
查看>>
6.2获取文本框的身份证号进行分析
查看>>