导数取点,英文为Pointwise derivative。
v1.0.0解决以根存在、根数和参数范围为中心的高中或大学入学考试风格的导数问题。当问题询问何时...
运行时依赖
安装命令
点击复制技能文档
导数取点 核心定位 这类导数题的核心通常不是“会不会求导”,而是: 怎样证明某个区间内存在零点; 怎样证明零点个数恰好为某个数; 怎样由零点存在性或零点个数反推参数范围; 怎样把极限、图像、值域直觉改写成阅卷友好的取点证明。 本 Skill 的目标是:先允许用极限、图像、单调性、值域思想探路,再把最终答案改写为“单调分区 + 具体取点 + 函数值异号 + 零点存在定理”的证明链条。 不要在最终证明中只写“趋于无穷”“显然存在”“值域可得”。这些语言可以用于分析,但最终要落到具体区间、具体点、具体符号。
解题流程 将题目条件转化为函数零点、交点、方程、参数方程或值域问题。 写清定义域,构造目标函数。 求导,划分单调区间,判断每个区间内零点“至多几个”。 找极值点或关键端点,得到必要条件或参数临界值。 对参数范围题,分成必要性和充分性: 必要性:由已有零点、极值比较或单调性推出参数必须满足什么; 充分性:在每个需要零点的区间内构造异号点。 取点时先明确目标:要让函数值大于零还是小于零。 用切线放缩、泰勒估计、同构换元、局部限制、主导项比较等方法,把目标化成简单阈值。 从阈值反推点,例如 $x\le -1/a$、$x>\ln(4/a)$、$x<-a/(2e)$。 调用连续性、零点存在定理或介值定理,证明“至少一个”。 结合单调性或导数符号,证明“至多一个”,从而得到“恰有一个”或“恰有若干个”。 检查端点、定义域、等号成立情况。
零点存在性模板 当问题等价于证明存在 $x_0$ 使 $H(x_0)=0$: 找一个连续区间 $I$; 在区间内选两个点 $p,q$; 证明 $H(p)H(q)<0$,或 $H(p)\le 0\le H(q)$ 且端点情况清楚; 由零点存在定理得到至少一个零点; 若需要唯一性,再由单调性证明该区间内至多一个零点。 不要只说“当 $x\to+\infty$ 时 $H(x)\to+\infty$,所以存在零点”。应改写为:由极限或放缩找到具体点 $q$,使 $H(q)>0$,再与另一个点形成异号。
零点个数模板 证明“恰有 $n$ 个零点”时,优先使用两步法: 至多性:用导数符号、单调区间、极值结构证明每个区间内至多有几个零点。 至少性:在对应区间内取点异号,逐段证明至少有一个零点。 常见写法: 若函数在某区间单调,则该区间至多一个零点; 若函数在极小值点处小于零,两侧各能取到正值,则两侧各有一个零点; 若函数在极大值点处大于零,两侧能取到负值,则两侧各有一个零点; 若换元后函数有明确的增减区间,则在每个单调段内分别讨论。
取点原则 取点必须服务于符号目标。先写“为使 $H(x)>0$,只需……”,再取点。 常见点 $0,1,2,e$ 可以直接作为端点、特殊点或比较点;参数相关点必须解释来源。 指数项强时,可考虑 $e^x\ge 1+x$、$e^x>x$、$e^x\ge ex$。 负半轴上指数项小,可用 $0
常用取点来源 极值两侧取点。 若 $F$ 在 $c$ 处取极小值且 $F(c)<0$,要证明两个零点,就在 $c$ 两侧各找一个 $F>0$ 的点。 弱项替换。 若有 $ae^{2x}+(a-2)e^x-x$,可用 $x\ln((3-a)/a)$,最后取更干净的 $\ln(4/a)$。 负半轴取点。 若 $F(x)=e^x+ax$,其中 $x<0$、$a>0$,由 $e^x<1$ 得 $F(x)<1+ax$,于是取 $x\le -1/a$。 局部统一放缩。 若要让 $(1+x)e^x+a/x<0$ 且 $a<0$,先限制 $0
书写风格 考试答案要简洁,学生讲解要补充取点来源。 每次取点前,最好说明“为了让某式大于零/小于零,只需……” 使用零点存在定理时,必须说明函数在对应区间连续。 证明个数时,必须同时写“至少”和“至多”。 参数范围题要检查端点能否取到。