高中二年级数学《导数工具下的函数单调性证明：从几何直观到逻辑闭环》技巧教案

高中二年级数学《导数工具下的函数单调性证明：从几何直观到逻辑闭环》技巧教案

一、课标定位与教材纵深解析

【核心】本课时位于高中数学选修2-2（人教A版/北师大版等）第一章“导数及其应用”的核心枢纽位置。它上承导数定义与运算规则，下启极值、最值及生活中的优化问题，是导数从“瞬时变化率的计算工具”转化为“函数性质分析利器”的逻辑起点。【非常重要】根据《普通高中数学课程标准（2017年版2020年修订）》，本内容属于“函数主线”与“数学建模”的交叉地带，要求不仅掌握“求导判单调”的算法步骤，更需深刻理解“导数值符号”与“函数增量关系”之间的充要条件，达成从“形式化记忆”向“逻辑化论证”的跃升。【热点】在近五年高考全国卷及各省市模拟卷中，利用导数证明单调性、求参范围、构造函数比大小等题目出现频率高达100%，且常作为解答题第（Ⅰ）问的必考步骤，属于数学试卷的“基础分保障区”与“中档题核心区”。

二、学情洞察与障碍预判

【基础】授课对象为高中二年级理科或选考物理方向的实验班及平行班学生。学生已完成基本初等函数（幂指对三角）的图像性质复习，掌握了导数的四则运算法则及复合函数求导。然而，【难点】学生在认知层面存在三大断裂带：第一，几何直观（切线斜率正负）与代数表达（导函数符号）的瞬时对应关系虽能感知，但难以转化为严格的区间内任意两点增量比的极限证明；第二，面对非多项式函数（如含lnx、e^x）或含参函数，逻辑推理链条容易断裂，分类讨论的“分点”意识模糊；第三，将“单调性”作为已知条件逆向推导参数范围时，极易忽略等号取舍这一【高频易错点】。

三、教学目标与素养进阶

（一）知识与技能

1.能准确复述并证明：在区间I上，f‘(x)>0是f(x)在I上单调递增的充分不必要条件，f’(x)≥0且不在任一子区间恒为零是充要条件。【重要】

2.掌握“求导—化积—穿根—定区间”的标准作业流程，能规范书写单调性证明的完整逻辑链。

3.攻克含参函数单调性的三级分类讨论标准，依据“二次项系数为零？—根是否存在？—根的大小比较？—根是否在定义域内？”四步法进行无遗漏讨论。

（二）过程与方法

4.经历从“形”的感知到“数”的严格论证，完成从几何直观到微分中值定理思想（不直接提定理，而用运动观点）的跨越。

5.体验“执果索因”分析法在含参单调性证明中的运用，逆向建构参数不等式。

（三）情感态度与价值观

6.感悟导数作为“通法”相较于定义法证明单调性的强大普适性，树立“以简驭繁”的数学自信。

7.通过分类讨论的逻辑训练，养成严谨缜密、不重不漏的科学思维品质。

四、教学重心与难点重构

【教学重点】利用导函数第一充分条件判断并证明具体函数的单调区间；利用导数证明含参函数在指定区间的单调性。

【教学难点】含参指数、对数型函数单调区间的完整划分；由单调性逆推含参不等式时“等号”是否成立的边界验证。【高频考点】

五、教法学法与技术融合

本节课摒弃单一讲授模式，采用“双主并立、多维对话”的策略：宏观以“问题链”驱动，中观以“变式组”串联，微观以“追问”引思。深度融合GeoGebra动态数学软件，将“导函数图像正负”与“原函数图像升降”进行帧同步对比。引入“数学写作”短评环节，让学生用50字阐述对“f‘(x)>0与单调递增”逻辑关系的理解，实现思维的外显化。

六、教学实施过程（核心篇幅）

（一）破冰与悬疑：旧知新用中的认知冲突（预设5分钟）

1.【温故】投影函数f(x)=x^3，请学生迅速判断其单调性。学生立即回答“R上递增”。教师追问：“用定义法如何证明任意x1<x2时，x1^3<x2^3？”学生陷入对因式分解繁难性的回忆。教师再问：“用我们刚学的导数工具，求导得f’(x)=3x^2，这个导数图像你能画出来吗？”利用GGB快速绘制f‘(x)=3x^2的图像。

2.【悬疑】教师指着屏幕：“大家看，导函数在x=0处导数值为0，而在x≠0时导数值恒正。那么，能否说f(x)=x^3在R上是增函数？如果能，为什么允许导数为零的点存在？如果不能，又该如何严谨表述？”此环节【非常重要】，直插本课逻辑内核，打破学生“导数>0才递增”的片面认知，激发对“临界点”处理的深层好奇。

（二）概念澄清：从直觉到公理的思维格式化（预设8分钟）

3.【辨析】教师板书两个核心命题：

命题甲：在区间(a,b)内，若f‘(x)>0，则f(x)在此区间内单调递增。

命题乙：在区间(a,b)内，若f(x)单调递增，则f’(x)>0。

要求学生分组讨论，结合y=x^3、y=4等函数进行反例搜索。

4.【建模】小组代表发言。生1：y=4是常函数，递增吗？（教师引导：常函数通常不称单调递增，但若定义为非减，则导数为0）生2：y=x^3在x=0导数为0，但整体递增，所以命题乙是错的。教师顺势总结：【核心结论】f‘(x)>0是单调递增的充分不必要条件；f’(x)≥0是单调递增的必要不充分条件；充要条件是f‘(x)≥0且f’(x)在区间内的任何子区间上不恒为0。此环节板书颜色区分，标注【高频考点·逻辑辨析】。

5.【技巧点拨1】在具体解题写步骤时，若题目明确“证明单调递增”，只需计算f‘(x)并说明非负，且等号孤立点不影响；若题目要求“求单调递增区间”，则须解f’(x)>0，不能带等号，否则会误将平缓部分纳入单调区间。

（三）技能建模：标准函数单调证明的通式通法（预设10分钟）

6.【示范】例1（无参纯函数）：证明函数f(x)=lnx/x在区间(0,1)上单调递增，在(1,e)上单调递减？【更正】此处应选典型例：证明f(x)=lnx/x在(0,e)单调递增，在(e,+∞)单调递减。

教师板演严格步骤：

解：定义域(0,+∞)，求导得f’(x)=(1·x-lnx·1)/x^2=(1-lnx)/x^2。

令f‘(x)>0，即1-lnx>0，解得lnx<1，即0<x<e；

令f’(x)<0，即x>e。

故f(x)在(0,e)单调递增，在(e,+∞)单调递减。

7.【内化】教师展示高考标准答案的采分点：定义域（1分）、导函数计算（2分，尤其关注商的导数公式准确性）、不等式求解（2分）、区间结论（1分）。强调【重要】：“单调区间之间不能用‘∪’连接，必须用逗号或‘和’字”，这是【高频失分点】。举例说明：若写成(0,e)∪(e,+∞)表示在此并集上单调递减，显然是错误的。

8.【技巧点拨2】对于对数真数含自变量、分母含自变量的函数，定义域优先原则是铁律。求导后解不等式，若涉及二次三项式，必须优先判断二次项系数、判别式Δ、根的大小。这是后续含参讨论的基础模型。

（四）高阶思维：含参函数分类讨论的逻辑进阶（预设12分钟）【重中之重】

9.【案例引入】例2（含参指数型）：已知函数f(x)=e^x-ax-1，a∈R。讨论f(x)的单调性。

教师引导学生分析：这是一个含参指数与一次函数的组合。求导：f‘(x)=e^x-a。

【追问1】指数函数e^x的值域是？答：(0,+∞)。

【追问2】导数f’(x)的符号由谁决定？答：由a相对于e^x的大小决定。

【追问3】e^x-a>0等价于x>lna，这里是否需要对lna是否有意义进行分类？

生恍然大悟：需对a≤0和a>0进行二分。

师生共同建构分类标准：

第一层：当a≤0时，f‘(x)=e^x-a>0恒成立（因为e^x>0，减负数必正），故f(x)在R上单调递增。【基础】

第二层：当a>0时，令f’(x)=0得x=lna。

则当x<lna时，f‘(x)<0；当x>lna时，f’(x)>0。

故f(x)在(-∞,lna)单调递减，在(lna,+∞)单调递增。

10.【难点爆破】例3（含参对数二次型）：已知函数f(x)=lnx-1/2ax^2+x，a∈R。讨论单调性。

此题为【高频压轴】第一问标准配置。步骤拆解：

定义域：(0,+∞)。求导：f‘(x)=1/x-ax+1=(-ax^2+x+1)/x。

【分析】分母x>0，故f’(x)的符号由分子g(x)=-ax^2+x+1决定。

教师利用GGB展示参数a连续变化时，二次函数图像的动态演变。学生观察发现：a=0时是一条直线；a>0时是开口向下的抛物线；a<0时是开口向上的抛物线。

提炼【分类讨论四步曲】：

第一步：二次项系数为0（a=0）。此时g(x)=x+1，在(0,+∞)上恒正，故f‘(x)>0，f(x)单调递增。

第二步：二次项系数不为0。计算判别式Δ=1+4a。

①若Δ≤0且开口向下（即a<0且1+4a≤0，即a≤-1/4），则g(x)≤0恒成立，故f’(x)≤0，f(x)单调递减。

②若Δ>0，则需解出两根x1,x2=(1±√(1+4a))/(2a)，【特别注意】此时由于定义域为(0,+∞)且参数a的正负影响开口方向进而影响不等式解集，必须进行第三次分类：

当a>0时，开口向下，较小根x1=[1-√(1+4a)]/(2a)为负（舍），较大根x2=[1+√(1+4a)]/(2a)为正。故f(x)在(0,x2)递增，(x2,+∞)递减。

当-1/4<a<0时，开口向上，两根均为正？比较两根大小：由于a<0，分母为负，分子小则整体大？此处需精细辨析。教师带领学生验证：取a=-0.2，得两根均为正且x1>x2？实际上，通过因式分解思想，由于两根之积=-1/a>0，两根和=1/|a|>0，故两根均为正。且开口向上，故f‘(x)>0的解为两根之外。结合定义域，递增区间为(0,x2)和(x1,+∞)，递减区间为(x2,x1)。此步骤【极难】，是区分思维深度的标尺。

板书此完整框架，标注此为【顶级难点·竞赛自招层次】。

11.【技巧点拨3】含参单调性讨论的三大原则：①先特殊后一般（先讨论参数使导数恒正恒负的简单情形）；②先结构后数值（先看二次项系数，再看判别式，最后看根的大小）；③根在不在定义域内比根的大小更优先考虑。

（五）逆向思维：已知单调性求参数的恒成立转化（预设8分钟）【高频考点】

12.【模型识别】例4：若函数f(x)=x^3-ax^2+1在[2,3]上单调递增，求a的取值范围。

学生常见错误：直接由f‘(x)=3x^2-2ax≥0在[2,3]上恒成立，分离参数得a≤(3x^2)/(2x)=(3x)/2，然后求右端最小值，得a≤3。

教师投影典型错解，请学生找茬。经过激烈讨论，生3指出：忽略了“不恒为零”的条件。当a=3时，代入f’(x)=3x^2-6x=3x(x-2)，在[2,3]上仅在x=2处导数为0，其他点均正，因此单调递增成立，等号可以取。若区间改为[1,2]，则a=3时，f‘(x)=3x^2-6x，在x=1处为负？需具体验证。因此，【核心技能】已知单调递增（非严格定义争议时），常用f’(x)≥0恒成立，解出参数范围后，再验证f‘(x)=0的点是否为孤立点或整个子区间。此步骤为【必考陷阱】。

13.【变式强化】例5：若函数f(x)=lnx-1/2ax^2-x在[1,4]上单调递减，求a的范围。

分析：单调递减→f‘(x)=1/x-ax-1≤0在[1,4]上恒成立。分离参数：a≥(1/x-1)/x？需整理为：-ax≤1-1/x，ax≥1/x-1？注意不等式方向。规范解法：由1/x-ax-1≤0得-ax≤1-1/x，ax≥1/x-1。由于x>0，故a≥(1/x-1)/x=(1-x)/x^2。令g(x)=(1-x)/x^2，求导得g‘(x)=[-x^2-(1-x)·2x]/x^4=(-x-2+2x)/x^3=(x-2)/x^3。故g(x)在[1,2]递减，[2,4]递增，最小值在x=2或端点？计算g(1)=0，g(2)=-1/4，g(4)=-3/16。所以g(x)min=-1/4。故a≥-1/4。再验证等号：a=-1/4时，f’(x)=1/x+1/4x-1=(4+x^2-4x)/(4x)=(x-2)^2/(4x)≥0？此题是单调递减，但导数为非负？矛盾。说明此时代入a=-1/4，f‘(x)=(x-2)^2/(4x)≥0，函数实际单调递增，不符合题意。故a=-1/4需舍去。最终a>-1/4。此环节深刻警示学生：分离参数法求出的范围必须回代验证端点，尤其是当导函数在区间内存在连续多个零点构成平缓段时，充要条件极易被破坏。

（六）跨学科视野：导数单调性的物理模型与生活链接（预设2分钟）

【拓展】教师展示简谐振动位移-时间图像x=Asin(ωt+φ)，并展示速度v=Aωcos(ωt+φ)即位移的导数。指出：物体靠近平衡位置速度正负对应位移递减？物理中速度为正表示位移增大（向正向运动），速度为负表示位移减小（向负向运动）。这正是导数符号决定原函数单调性的物理映射。再结合隆都中学送教案例中利用狮头鹅养殖成本曲线的变化率分析利润最大化区间，让学生体会数学抽象在真实情境中的复现-9。此环节虽短，但承担“素养落地”功能，体现数学建模的闭环。

（七）思维诊断：错题博物馆与病理切片（预设5分钟）

展示三份典型手写作业扫描件（匿名）：

病例A：求f(x)=x+1/x的单调区间，结果为(0,1)递减，(1,+∞)递增，遗漏(-∞,-1)和(-1,0)区间。诊断：忽视定义域对称性，奇函数性质未用。

病例B：讨论f(x)=ax^3-x的单调性，直接求导得3ax^2-1，然后讨论a>0时两根，a≤0时无根，未考虑a=0时是一次函数。诊断：最高次项系数讨论遗漏零情况。

病例C：已知f(x)在[0,1]上递减，求参数。解得a≤3，未验证等号是否导致常函数段。诊断：单调性与导函数关系的逻辑等价性认识模糊。

学生以“医生”身份开具诊断证明书，口头阐述病因及整改措施。此环节气氛活跃，记忆深刻。

（八）课堂总结与认知结构图（预设2分钟）

教师不直接总结，而是由学生用三句话概括本课精髓：

生4：导数正负定增减，等号孤立可容忍，连续平缓要排除。

生5：含参讨论不用怕，二次开口是老大，判别根域四步跨。

生6：逆向恒成立，分离求最值，端点是陷阱，回代验真身。

教师板书这三句口诀，全班齐读，结束新课。

七、板书设计逻辑架构（黑板分区）

左侧主板书：知识生成区。

核心关系：f‘(x)>0→增；f’(x)<0→减；f‘(x)≥0且不恒0↔增。

标准流程：y=f(x)→定义域→f’(x)→化因式积→标根穿线→写区间。

中侧副板书：含参讨论三维坐标图。

以a为轴，画出树状分类图。a=0分支；a>0分支（Δ正负，根大小）；a<0分支（Δ正负，根是否在定义域）。

右侧副板书：易错警示区。

醒目字体：“∪”禁用；定义域先写；等号带回验。

八、作业系统与分层反馈

（一）【必做·基础巩固】（全做）

1.证明函数f(x)=x-sinx在[0,2π]上的单调性。训练三角与导数结合，体会导数值非负且零点孤立。

2.求函数f(x)=2x^3-9x^2+12x-3的单调区间。训练三