函数(习题)
函数性质
连续
连续则极限值等于函数值。
求连续区间
若要考察一个函数的连续区间,必须要了解函数的所有部分,一般会给出分段函数,所以要了解分段函数的每段函数的性质。
对于函数是个极限表达形式,我们要简化这个极限,最好得到一个的表达式,从而才能判断其连续区间。
例题:,求函数连续区间。
解:注意到函数的形式为一个极限值,其极限趋向的变量为(指)。所以在该极限式子中将当作类似的常数。
需要先求出极限形式的,而变量的取值会影响到极限,且求的就是的取值范围。所以将其分为三段:
当时,,,在这个极限式子为一个常数,,。
当时,。
当时,在时为,上下都有这个无穷大的因子,所以上下都除以,。
从而得到了关于的表达式:
又。
在上连续。
已知连续区间求参数
一般会给出带有参数的分段函数,要计算参数就必须了解连续区间与函数之间的关系。
例题:,,若在上连续,则求。
解:已知在上连续,但是不能判断与的连续性。
所以分开讨论。
对于因为左侧为常数函数,所以若是连续,则必然:
。
时在上连续。
对于,当时,。
。
时在上连续。
时在上连续。而时在时不连续,时在时不连续。
间断
求间断点
求间断点需要首先分析函数的表达形式。
例题:设,求其间断点并分析其类型。
解:根据函数形式,我们需要首先回顾一下幂函数的性质,幂函数的变化趋势取决于底数。
当时,,当时,当时,,而时,当时,。
所以分段点为。
当时,,所以在此处连续。
当时,,所以在此处简短,为跳跃间断点。
已知间断点求参数
这种题目已知间断点,而未知式子中的参数,只用将间断点代入式子并利用极限计算间断点的类型就可以了。
例题:有无穷间断点,可去间断点,求的值。
解:已知有两个间断点,其中无穷间断点指极限值为无穷的点,可去间断点表示极限值存在且两侧相等,但是与函数值不相等的点。
已经给出两个间断点的值为和,所以必然对应其中一个,但是不清楚到底谁是谁。
当时,。
当时,。
为可去间断点。
当时,。
为无穷间断点。
当时,。
而作为分子的必然为一个常数,当式子趋向或的时候分母两个不等式中的一个不等式必然为一个常数,从而另一个不等式则变为了无穷小,所以。
。
引导句:判断间断点类型本质是给「函数在某点的奇异性」做分类——和数值计算里识别表达式奇点的套路一模一样:极限存在且等于函数值是「连续」;极限存在但不等(或函数无定义)是「可去」,工程上直接用极限值补洞(np.nan_to_num / 插值填补)就能让函数恢复光滑;极限为 是「无穷间断(极点)」,对应有理式分母的零点,画图、积分、求根前都得先把这些点单独标出来避免除零。本题先假设 的两种配对,再用极限筛掉不符合「可去/无穷」要求的那一种,正是「枚举候选 + 验证约束」的解法。
一句话提示:看到「求参数使某点是可去/无穷间断点」,就把已知的间断点的横坐标一个个代进去算极限:要可去间断点,极限必须算出一个有限数;要无穷间断点,极限必须冲到 。哪种代入方式同时满足两个条件,参数就定了。分式间断点一般来自分母为零,所以先盯着分母 看。
有界性
对于一个函数和其导函数,其函数有界性和其导函数有界性不存在必然关系。
对于有限区间,导函数有界是原函数有界的充分必要条件。如在上有界,在靠近0的一侧无界。如果导函数有界,则在有限区间内增加的增量必然是有界的,所以原函数必然有界。
对于无限区间,导函数有界和原函数有界既非充分也非必要。如在上无界,但是有界;在上有界,而在上无界。
中值定理
中值定理一般用于判断不等式。
一般分为连续函数闭区间上的性质(零点定理、介值定理)和微分中值定理(罗尔定理、拉格朗日中值定理、柯西中值定理、泰勒中值定理)。
介值定理
适用于,或函数和的形式。
- 利用最值定理。
- 利用介值定理。
例题:、在上连续,且,证明第二积分中值定理:存在一点,使得。
解:首先看式子形式,是积分形式,没有导数,所以不会是四大微分中值定理。
首先将未知数提到一边:,这是一个数。
又、在上连续,由最值定理。
由于已知,所以就要对进行处理,这样移动时不等式不会变号,如果要移动则要讨论的正负性。
由保号性,对其积分,从而。
再对其积分:。
从而。
零点定理
适用于,且、已知。
- 令,移项得。
- 令辅助函数,验证是否满足零点定理,若满足则得证。
- 若不满足,令,对积分取,,此时需要使用罗尔定理,若满足则得证。
- (基本上不会考到)若不满足,令,两次积分得到,将使用泰勒展开为一阶,使用拉格朗日余项。
直接零点定理
例题:已知函数在上连续,且,,证明使得。
解:构造辅助函数。
,。
根据零点定理使得。
即使得。
罗尔定理
例题:设、在上连续,证明,使得。
解:由于不含导数,所以不使用微分中值定理。
首先令,移项。
令,验证是否满足零点定理。
,。零点定理无法判断。
改令。
所以能看出
,,满足罗尔定理,所以存在使得,得证。
罗尔定理
重点是找到两点。
寻找原函数
- 简单型:直接可以看出。
- 公式型:,则令,。
通过乘积求导公式的逆运算来构造辅助函数。
如,作,,作,,作。
例题:设在上连续,在内可导,,,同号,证明使得。
解:对,即,,辅助函数为。
又,,,,所以。根据罗尔定理使得,即。
又同号,所以,,从而。
引导句:构造辅助函数证中值定理,本质是「反向运行乘积/链式求导规则」——已知要凑出的导数等式 ,反推它是谁的导数。这跟符号微分库(SymPy、autodiff)正向算导数是完全相反的方向:正向是「给函数求导」,这里是「给导数找原函数(积分因子)」。 里的 就是解一阶线性 ODE 时用的积分因子,凑出它后整个表达式才成为某个 的导数,于是罗尔定理(导数有零点 ⇒ 原函数有等值点)才能套上。
一句话提示:题目让你证「存在 使某个含 的式子等于 0」,思路是把这个式子倒着看成某个函数 求导的结果,找出这个 ,再验证 在两端点取值相等,套罗尔定理就有 。常见配方: 配 ; 配 。先看式子里 前面乘的系数是谁的导数,就知道指数上放什么。
例题:设函数、在上二阶可导,且,,证明:
(1)在内。
(2)在内至少有一点,使得。
解:
(1)为了简单使用反证法。
假设,使得。对两边区间使用罗尔定理:
使得,使得。
再次使用罗尔定理使得,与题设矛盾,则假设不成立。
(2)对式子交叉相乘,令,即证明成立。
由于公式只针对和没有二阶导,所以将式子加上一阶导的式子并减去,来补全一阶导。
即。将其拆为两个部分。
对于即得。
所以原函数为。
对于即得。
令辅助函数为。
,,所以根据罗尔定理,使得。
即根据上面过程反推回去得证。
导数关系式
导数值为常量
即:
- 在处满足费马定理。
- 在包含于其内的闭区间上满足罗尔定理(最常使用)。
- 利用泰勒公式展开(基本不会考)。
例题:设在上连续,上可导,且,,证明存在,使得。
解:对于一个导数,只会想到罗尔定理和拉格朗日中值定理两种方式。由于这里没有差式,所以很可能是罗尔定理。所以必须找到。
由于题目只给出特定条件而没有给出的表达形式,所以无法使用求原函数的方式证明。是唯一已知固定常数值的,所以想在上找到一点,使得。
所以此时能用的条件就只有,如何转换为存在呢?
已知在上连续,上可导,则一定存在最大值,最小值,使得,,。
所以相加。
由介值定理,可得一定存在某点,使得。
所以,根据罗尔定理,上,得证。
例题:在上连续,在内二阶可导,,,证明使得。
解:遇到积分式子首先利用积分中值定理()。
所以根据罗尔定理使得。
又,,罗尔定理。
,罗尔定理使得。
导数方程
类似微分方程,代数式由、、、、、、、构成。
若是可分离的式子:
- 拉格朗日中值定理:分离出或。
- 柯西中值定理:分离出。
若是不可分离的式子:
- 构造辅助函数。
- 利用罗尔定理。
零点情况
直接式子
需要证明所给式子的导数是否在该区间为0即可。
例题:证明多项式在上不可能有两个零点。
证明:假设在有两个零点和,其中。
因为在内连续,所以在内可导。
由罗尔定理得知,使得,但是在上不超过0,所以不存在,从而多项式在上不可能有两个零点。
含参数式子
若所求式子是一个含参数,那么其一定还有另一个式子约束参数,此时我们就需要构建一个新的式子来利用所给的条件,然后将新式子转换为旧式子。
例题:设,证明多项式在中至少有一个零点。
证明:因为所要证明零点,所以一定使用罗尔定理。所给出的约束参数式子与所求之间存在一个关系。
设,。
又,,又罗尔定理一定存在一个,使得。
从而在中至少有一个零点。
拉格朗日中值定理
证明不等式最重要的还是找到,即出现差值,那么就是我们的目标函数,有时候不等式不存在这种式子,就需要我们转换,常用的就是。
注意和可以是常量也可以是变量,依赖和,所以不为常数不能随便提出来。
如。
引导句:拉格朗日中值定理 就是「平均变化率 = 某一点的瞬时变化率」——这正是数值微分里用差商 近似导数的理论依据,也是误差分析中常用的「一阶余项」来源。把它当成「先有差值 ,再翻译成导数信息」的桥梁:凡是要证含 的不等式,就把差值交给中值定理换成 ,再用 的已知性质(单调、有界)去夹。这跟优化里用梯度的 Lipschitz 界控制函数增量是同一思路。
一句话提示:证不等式时,先在式子里找「两个函数值相减」,把它换成 ;如果没有现成的差值,就想办法凑(比如某端点函数值为 0)。换完之后 落在区间内,再利用题目给的 的范围(如 单调减、)把 放缩成你要的边界。
式子转换
使用初等运算将目标式子转换减式。
例题:设在闭区间上连续,其导数在开区间内存在且单调减少,又,证明,。
解:不存在两端点相等的条件,所以使用拉格朗日中值定理。
因为所要证明的式子中含有、、,,所以对这几个区间进行拉格朗日中值定理。
证明式子中没有减的形式只有和的形式,所以需要对其转换。
,。
从而,。
又单调减少,所以。
,所以。
求原函数
这种题目就是证明某个式子成立,式子一边是常数一边是导数式子,要证明,就要将导数式子转换为原函数,方法跟罗尔定理使用的转换原函数的技巧一样。
例题:设在上连续且可导,证明存在一点,使得。
证明:由,可推出原函数为,令,则其在也可导。
即使用拉格朗日中值定理,,。即。
对数函数特性
对于对数函数,要记住其特定的性质:。
例题:设,证明:。
证明:因为,所以令。
所以根据拉格朗日中值定理:()。
又,所以。
又,所以。
所以,从而,得证。
划分区间
证明存在两个不同的点在同一个区间满足一个不等式。如果两个点彼此存在一定关系,如上面式子转换的例子,,,那么我们可以使用转换,如果两个完全独立的变量,则这种方式没用,我们可以考虑划分区间,假定这两个点在不同的区间,中间以一个区间变量分隔,由于拉格朗日中值定理中两个变量只会出现一次,而间隔变量会出现多次,所以对其分别拉格朗日中值定理,就可以把两个变量换成以间隔变量表示的形式,将两个无关变量的式子变成一个变量的式子。
例题:设函数在上连续,在内可导,且,,证明存在不同的、,使得。
证明:使用将划分为和两个区间,假定、分别在这两个区间上。
分别对其进行拉格朗日:,即,,即。
即,任取,原式等于2,得证。
查找特定值
对于证明一种不等式,如果里面没有差式,也无法转换为差式(没有相同的),那么就可以考虑制造差式,对于一般选择更高阶的,选择,要根据题目和不等式设置一个常数。
一般是0或1。可以先尝试1。
对于这种不等式子看上去一般不会想到拉格朗日中值定理。
例题:当时,证明。
证明:题目中没有差式,所以需要选择一个函数作为基准函数,里面有一个指数函数和一个幂函数,所以选择作为基准函数。
然后选择一个常数作为值,可以先选一个1作为值:。
从而,,所以,即,得证。
目标为常数
使用拉格朗日中值定理的推论:在上连续且可导,则上。
例题:证明。
解:令。
。
根据拉格朗日中值定理,。
又,,得证。
柯西中值定理
需要找到两个函数,使得。
例题:设,函数在上连续,在内可导,证明存在一点使得。
证明:由对数函数的特性可以知道,所以可以令,所以。
。
根据柯西中值定理得证。
泰勒中值定理
- 阶可导则只展开到阶,第阶留给余项。
- 只要给出二阶或二阶以上可导,可以先泰勒展开看看。
证明使得()使用带拉格朗日余项的泰勒公式。
- 把在给定信息最多的点上泰勒展开。
- 若两点信息一样多,则优先在有导数信息的一点展开。
- 若两点都是导数信息或函数信息,则对两点分别展开。
引导句:泰勒展开 就是数值计算的根基——库函数 sin/exp/log 内部都是先把区间归约再用截断的泰勒(或切比雪夫)多项式逼近,余项 给出的就是浮点实现的截断误差界。证明题里「带拉格朗日余项展开到 阶、第 阶留给 」的套路,对应工程上「保留 项算值、用第 项估误差」。把 在「信息最多的点」展开,等价于选展开中心让已知的 这类条件直接吃掉低阶项,剩下的高阶项就把 暴露出来。
一句话提示:题目给了「二阶及以上可导」又要证含 的式子,先试泰勒展开。展开中心选已知信息最多的点(比如 在那里等于 0,能消掉一次项);两端信息一样多就分别在两点展开再相减。展开后那些被条件清零的项删掉,剩下带 的项放缩取绝对值即可。
例题:在上二阶可导,,证明,使得。
解:由于两点信息一样多,所以对两点进行泰勒一阶展开:
,。
因为最后要证明的式子里面都要有,所以代入:
,(和是关于的变量,此时都发生变化了)
两式相减得,取绝对值。
取,,得证。
双中值问题
即有两个值和,分离和,两边都使用一次中值定理:
- 不要求,对使用两次中值定理,要么两次拉格朗日中值定理,要么一次拉格朗日中值定理一次柯西中值定理。
- 要求,找点,在、区间上分别使用两次拉格朗日中值定理或一次拉格朗日中值定理一次柯西中值定理。对于的取值,要么是第一问给出,要么逆推假设已知根据要证的结论推出。(基本上不会考到)
重点关注中值项,其余不用管。
两次拉格朗日
例题:在上连续,内可导,且,证明存在使得。
解:首先将和分开:。根据拉格朗日中值定理:
对于右边,,。
对于左边,,所以等式成立,得证。
一次拉格朗日一次柯西
例题:在上连续,内可导,且,证明存在使得。
解:首先将和分开:。
对使用拉格朗日,。对使用柯西,。
左右相等,得证。
导数应用
单调性
例题:求的单调区间。
解:因为函数的定义域为。
又()。
()。
令,所以得到驻点为和。
分割区间:,,,
()。
当,,所以函数在区间上单调递增。
当,,所以函数在区间上单调递减。
当,,所以函数在区间上单调递增。
当,,所以函数在区间上单调递减。
从而函数在时单调增加,在上单调减少()。
凹凸性
二阶导数为0处就是拐点。
例题:决定曲线中参数,使得处曲线有水平切线,为拐点,且点在曲线上。
解:,。
因为处曲线有水平切线,即。
为拐点,代入:,。
又点在曲线上,所以。
解得四个方程:,,,。
极值与最值
求极值需要考虑与点两边正负号,如果存在则可以考虑,则取极大值,则取极小值。
对于最值需要考虑极值和闭区间端点两个部分。
渐近线
拐点
已知二阶导函数
不仅要关注函数,还要关注未定义的点。
- ,且左右两边正负号发生改变。
- 在处无定义,但是左右两边正负号发生改变。
已知导函数
要求原函数的拐点(求二阶导),就要求导函数(一阶导)的驻点(一阶导),即关心导函数的极值点。
如果驻点两端的单调性相反,即是极值点,则代表这里就是拐点。
已知原函数
要关注的是函数图像凹凸性发生变化的点。
零点
基本性质
- 若为的阶多项式,则至多有个根。
- 若存在因式,则。
- 若为奇函数或偶函数,则只用讨论一边。
存在性
零点定理
- 若在上连续,且,则在内至少有一个根。
- 若在上连续,且,,,则在内至少有一个根。
- 若在上连续,且,,则在内至少有一个根。
用于证明存在某一个零点。
罗尔定理
如果没办法找到,就找到一个,使得。即找到的原函数。
其中满足罗尔定理三个条件:连续、可导、两端点相等。
已知函数个数
往往需要多个方法一起确定具体个数。
单调性
若在内单调(存在且不恒等于0),则在内至多有一个根。
用于证明只有一个零点。
当用于证明有且仅有一个实根时需要将零点定理和单调性一同使用。
罗尔定理
罗尔定理也可以用于求根的个数,算出来的是至少有多少个根。
例题:,则求根的个数。
解:。
令,所以求即求。
又时,所以依次对、、、使用罗尔定理,其满足连续,可导且两端函数值,所以每个区间内必然存在一点使得,即满足的根。
而一共有个区间,所以至少有个根。
而为次多项式,为次多项式,所以至多有个根。
所以只有个根。
罗尔原话
罗尔原话算出来的是至多有多少个根。
- 罗尔原话是罗尔定理的推论。其区间为。
- 若至多有个根,则至多有个根。
- 若,则至多有个根。(令)
即若至少有两个根,则至少有一个根。一般证明至多有个实根,就要求的次导。
由于罗尔原话只能推断出至多多少个实根,所以我们往往要带值进入计算出至少多少个实根。
例题:证明方程有且仅有3个实根。
解:令,则,,。
所以至多0个根。所以根据罗尔原话至多三个根。
又观察法,得到两个实根。
,,所以内存在一个实根,从而一共与三个根。
实系数奇次方程
实系数奇次方程至少有一个实根。即至少有一个实根。
这个判断法则往往要和罗尔原话一起使用确定是否有且仅有常数个实根。
例题:若,则方程()。
解:令,该实系数奇次方程至少有一个根。
,令,。
。
无实根,所以解不出来,所以。
至多0个根。所以根据罗尔原话至多一个根,又由上面至少一个根,所以只有一个根,选择。
含参函数个数
函数含参导数不含参
参数是一个加在式子上的常数,函数求导后参数就被消掉了,所以可以在计算过程中不考虑参数,等到了最后的结果再讨论参数。
当存在参数时要尽可能将参数在导数中消掉,如,不能是而应该是。
例题:设常数,函数在内的零点个数为()。
解:,令其为0,则。
,,,,,。
又,,所以左边有一个根,,所以一共有两个根。
函数导数含参
参数与自变量进行运算,从而求导后参数仍在式子中,计算时需要携带参数来思考。
例题:求方程的不同实根的个数,其中为参数。
解:令,所以是一个奇函数,所以可以只要考虑一边的情况。是函数的一个根。
。
若即则,所以单调减少,从而只有一个根。
若即,令,即,。
,,。,,。
,所以在0的右侧一定存在一个零点,同理左边也因为奇函数对称存在一个零点,所以一共有三个根。