完整体系 / 抽象、表示与分类 / i-classification-discussion
分类标准、分类讨论与不重不漏
无限多个参数,只在规则改变的地方需要重新计算
核心问题:怎样把无限多个参数压缩成有限种情况,并证明分类互不重叠、没有遗漏?
GENERALIZE THE FIRST PRINCIPLE
从母题提炼成可以迁移的通法
分类讨论的本质,是找出会让规则或解集结构改变的临界值,再把全部可能切成互斥且完备的几块。
学生版:参数是控制题目“换挡”的开关;只要找到换挡点,同一挡里就用同一种方法。
对每个参数a,原题都有一个有效解集S(a)。只要定义域、方程次数、符号、根的位置和候选解是否重合都没有改变,S(a)的结构就不会突然改变。
所以不必逐个尝试无限多个参数;只需找出结构可能改变的有限个临界值,在相邻区间内统一推理,再把临界值单独代回原题。
把本质变成可以照做的动作
定对象
写清参数范围、未知数范围,以及题目问存在、个数、位置还是恒成立。
找临界
找出系数为0、判别式为0、分母为0、根到端点、图像相切或候选解重合的位置。
切参数轴
把临界值从小到大排列,切成开区间和必须单独检查的边界点。
分段求
每个开区间只选一个稳定规则推到底,不在计算途中临时补分类。
边界验
所有临界值代回原题;边界不能照抄相邻区间的结论。
筛选并
依次检查定义域、分支条件、原式和重复结果,最后合并参数范围。
BEFORE CLASS
先修知识与本讲边界
本讲训练跨单元分类方法,不替代一次方程、二次方程、判别式、不等式、绝对值、函数图像和三角形边角关系的基础教学。若学生在这些先修计算上不稳定,应先回到对应知识节点补桥。
OBSERVABLE OBJECTIVES
学完以后要能做到
- 1能在计算前写出研究对象,并列全可能改变规则的临界事件。
- 2能用一条参数轴把全部情况分成互斥且完备的区间与边界点。
- 3能识别方程降次、判别式变号、定义域改变、整数端点变化和候选解重合。
- 4能把存在性、交点数、根的位置、几何类型等问题翻译成可计算条件。
- 5能区分候选解、有效解和不同解,并完成代回、筛选与去重。
- 6能说明所得参数范围为什么既是必要条件又是充分条件。
KNOWLEDGE EXPLANATION
知识精讲
1. 只有结构改变,才需要重新分类
参数题不是把参数代很多次,而是找出解法规则会改变的临界值。
把参数记为a,把原题全部条件确定的有效解集合记为S(a)。我们研究的是S(a)是否为空、有几个元素、根在哪里或满足什么性质。
最高次项系数为0会让方程降次;判别式为0会让两根重合;分母或根号条件到0会改变定义域;根碰到端点会改变开闭;候选解重合会改变不同解的个数。
在两个相邻临界值之间,上述事件都没有发生,规则保持稳定,因此可以用同一条推理覆盖整个区间。
- 只把a取-1、0、1试算,不能证明其他参数都没有新情况。
- 看到二次式就直接用判别式,会漏掉二次项系数为0的退化点。
2. 好的分类必须互斥且完备
每个参数只能落入一类,所有类别合起来又必须覆盖全部参数。
“互斥”保证同一个参数不会被重复计算;“完备”保证任何允许的参数都有归属。
最稳的表示方式是参数轴:把临界值排序,开区间与孤立边界点分开处理。
分类标准一旦选定,中途不要随意更换。先按系数是否为0分,又在另一分支按根的正负分时,要明确第二层分类只属于哪一层。
- a<0、a=0、a>0 是互斥且完备的分类。
- a≤0、a≥0 会在a=0处重叠;a<0、a>0 会遗漏a=0。
3. 边界值必须回到原题单独计算
临界值恰好是规则可能失效的位置,不能照抄邻近区间的结论。
开区间内可以使用稳定规则;临界点处可能出现降次、相切、端点纳入、根号为0或两个候选解重合。
严格不等号与非严格不等号决定边界能否取,必须由原题而不是图像印象判断。
如果推导中除以含参数的式子,必须先把该式子等于0单独列为边界。
- 由(a-1)x=a-1直接约去a-1得到x=1,会漏掉a=1时原式0=0、所有实数都是解。
- 由Δ>0判断两根时,不能把Δ=0自动并入无根一侧。
4. 候选解、有效解和不同解是三件事
变形得到的只是候选解;满足原题且去重后,才是最终不同解。
平方、去分母、分支求解和换元都可能扩大候选集合,必须检查定义域、分支条件并代回原式。
不同分支可能得到同一个x;题目问根的个数时,数的是集合中不同元素的个数。
最稳的顺序是:候选解 → 定义域 → 分支条件 → 原式 → 集合去重。
- x²=0只给一个根x=0;不能把“±0”算作两个。
- 两个因式都给出x=1时,最终根集合中仍只有一个1。
5. 不同题型只是同一分类法的不同翻译
根数、交点、整数个数和图形存在性,本质上都在研究有效解集合怎样随参数改变。
方程题先检查次数,再用判别式、韦达或函数图像研究根;函数交点题先联立,交点个数就是不同实根数。
整数解题先确定应该保留的首末整数,再把“包含它、排除相邻整数”翻译成端点条件。
几何题先检查图形存在,再按最长边、位置或退化状态分类;存在性检查永远排在类型判断之前。
- 区间长度为3不代表其中一定有3个整数,开闭端点和位置都会改变个数。
- 三条线段不满足三角形不等式时,不能继续讨论锐角、直角或钝角。
DECISION METHODS
题型识别与解题方法
参数轴六步法
什么时候用:参数改变可能引起公式、定义域、根数、位置或图形类型变化时
- 定对象:明确参数、未知数和所问性质
- 找临界:把所有结构变化写成等式
- 切参数轴:排序并分出开区间与边界点
- 分段求:每段使用稳定规则
- 边界验:临界值逐个代回原题
- 筛选并:检查条件、去重并合并范围
最后检查:逐问:什么会变、在哪里变、边界验了吗、候选解重复了吗。
绝对值距离和法
什么时候用:出现|x-a|+|x-b|与参数比较,需要判断解的个数时
- 把绝对值解释为数轴上的距离
- 求两定点间距离作为最小值
- 检查最小值是否在一整段上取得
- 按参数小于、等于、大于最小值分类
最后检查:最小值处若对应整段x,解是无数个,不是一个。
先次数、再判别式、后位置
什么时候用:含参数的一元二次方程要求根数、根的位置或交点个数时
- 令最高次项系数等于0,先处理退化方程
- 非退化时用Δ判断不同实根数
- 需要根的位置时再用韦达、区间端点或函数图像
- 把退化点与判别式边界分别代回
最后检查:使用Δ前确认方程确实是二次;使用韦达前确认根真实且满足题意。
首末整数反推端点法
什么时候用:不等式或不等式组要求恰有若干整数解时
- 写出应该保留的连续整数
- 用原不等号保证首个和末个整数被包含
- 用相邻整数保证区间外的整数被排除
- 把两组端点条件取交集
最后检查:在参数范围的两个边界各代一个值,直接列出整数解复核开闭。
交点—方程—判别式转换法
什么时候用:函数图像交点个数随参数变化时
- 联立两个函数得到关于x的方程
- 检查定义域和方程次数
- 用不同实根数判断交点个数
- 若有定义域限制,再检查根是否落在允许区间
最后检查:相切只产生一个交点;两个分支命中同一点也只能算一个。
先存在、后类型法
什么时候用:图形、方程或不等式要求“存在”并继续判断类型时
- 先求可行集合非空的条件
- 排除退化或不合法边界
- 再找决定类型变化的临界关系
- 按完整参数轴合并结果
最后检查:任何类型区间都必须包含在存在性范围内。
候选集合回代去重法
什么时候用:分支、换元、平方或乘积为0产生多组候选解时
- 分别求出各分支候选解
- 检查定义域与分支条件
- 逐个代回原式
- 把有效结果写成集合并删除重复元素
最后检查:数集合中的不同元素,不数候选解出现次数。
WORKED EXAMPLES
完整例题:先判断,再计算,再检查
方程降次、判别式与正根三道门
先想:先保证它确实是二次方程,再保证有两个不同实根,最后用根与系数关系保证两根都为正。
- 二次项不退化:m-1≠0。
- Δ=(-2m)²-4(m-1)(m+2)=4(2-m)>0,所以m<2。
- 两根和2m/(m-1)>0,得到m<0或m>1。
- 两根积(m+2)/(m-1)>0,得到m<-2或m>1。
- 四组条件取交集,得到m<-2或1<m<2。
- 代回m=-2、1、2:分别出现零根、降次、重根,三个边界都不能取。
答案:m<-2 或 1<m<2。
检查:每一段同时满足二次、Δ>0、两根和为正、两根积为正;边界已逐个代回。
整数解不是量区间长度
先想:设三个连续整数为n、n+1、n+2,用“包含首末整数、排除相邻整数”反推两个端点。
- n是最小整数解,所以n-1≤2m-1<n,化为n/2≤m<(n+1)/2。
- n+2是最大整数解,所以n+2≤m+3<n+3,化为n-1≤m<n。
- 两区间相交要求整数n只能是1或2。
- n=1时得到1/2≤m<1;n=2时得到1≤m<3/2。
- 合并为1/2≤m<3/2。
- m=1/2时整数解为1、2、3;m=3/2时只剩3、4,因此左闭右开正确。
答案:1/2≤m<3/2。
检查:边界附近各取一个参数直接列整数解,个数与开闭端点一致。
根式方程先换元,不急着平方
先想:令t=√(x+1)≥0,把根式定义域直接装进新变量,避免平方产生增根。
- 由x=t²-1,原式等价于a=t²-t-1=(t-1/2)²-5/4,其中t≥0。
- 抛物线在t=1/2处最小值为-5/4;边界t=0对应a=-1。
- a<-5/4时无交点;a=-5/4时一个t。
- -5/4<a≤-1时水平线与t≥0部分有两个交点。
- a>-1时左侧交点落到t<0,只剩一个有效交点。
- a=-1时t=0、1,对应x=-1、0,确有两个不同实根。
答案:a<-5/4:0个;a=-5/4:1个;-5/4<a≤-1:2个;a>-1:1个。
检查:所有t都满足t≥0,并由x=t²-1一一还原,没有平方增根。
绝对值最小值可能在一整段取得
先想:左边是点x到1与-3的距离之和,两定点间距离4就是最小值。
- 当-3≤x≤1时,两段距离首尾相接,距离和恒等于4。
- k<4时小于最小值,无解。
- k=4时区间[-3,1]内每个x都是解,因此有无数个解。
- k>4时在区间左、右两侧各有一个解,共两个不同实根。
答案:k<4:0个;k=4:无数个;k>4:2个。
检查:最小值处对应一整段,不可误判为一个解。
函数交点必须同时看定义域
先想:配方后分左右两个单调分支;同一个高度必须同时被两个分支命中。
- f(x)=(x-2)²-1,在[0,2]上从3降到-1,在[2,5]上从-1升到8。
- a<-1无交点;a=-1只有顶点一个交点。
- -1<a≤3时左右分支各命中一次,共两个交点。
- 3<a≤8时只有右分支命中一次;a>8无交点。
- a=3时交点为x=0、4,可以取;a=-1和a=8都只有一个交点。
答案:-1<a≤3。
检查:没有把定义域外的另一个抛物线交点计算进去。
“存在一个”就是可行集合非空
先想:二次式开口向上;存在x使它不大于0,当且仅当关于x的最小值不大于0。
- 配方:x²-2ax+a+2=(x-a)²-a²+a+2。
- 关于x的最小值是-a²+a+2。
- 存在性条件为-a²+a+2≤0,即(a-2)(a+1)≥0。
- 得到a≤-1或a≥2。
- a=-1、2时原式分别化为(x+1)²≤0、(x-2)²≤0,都有一个解,所以两端可取。
答案:a≤-1 或 a≥2。
检查:这里问“存在”,不是“任意x都成立”;边界等号也构成非空解集。
先判断三角形存在,再换最长边
先想:先用三角形不等式得到存在范围,再在a跨过4时切换最长边。
- 存在性:|4-3|<a<4+3,即1<a<7;区间外不能组成三角形。
- 1<a≤4时最长边是4,比较4²与3²+a²,临界值a=√7。
- 4≤a<7时最长边是a,比较a²与3²+4²,临界值a=5。
- 合并得到钝角:1<a<√7或5<a<7;直角:a=√7或a=5;锐角:√7<a<5。
答案:不能:a≤1或a≥7;钝角:1<a<√7或5<a<7;直角:a=√7或5;锐角:√7<a<5。
检查:所有角型范围都在1<a<7内;a=4虽切换最长边,但前后结论一致,不重复列入。
根的个数按集合去重
先想:两个二次式都能因式分解;先列候选根,再看不同候选是否重合。
- x²-(a+1)x+a=(x-1)(x-a)。
- x²-(a+3)x+3a=(x-3)(x-a)。
- 最终不同实根集合为{1,3,a},a虽然来自两个因式,也只算一个根。
- 要有三个不同元素,只需a≠1且a≠3。
- a=1或3时集合都退化为{1,3},只有两个不同实根。
答案:a∈R 且 a≠1、a≠3。
检查:数的是集合{1,3,a}的不同元素,不是因式给出根的次数。
MATHEMATICAL THINKING
这节课真正训练的思想
划分思想
用少数临界值把无限参数划分为有限个规则稳定的区间。
集合思想
候选解、有效解和不同解分别是集合生成、筛选与去重的过程。
函数与方程思想
函数交点、最值和存在性可以转化为方程根或可行集合非空。
必要与充分
既要由题意推出参数条件,也要证明范围内每个参数确实满足原题。
边界意识
等号、零点、退化和重合处最容易改变结论,必须单独检查。
ERROR DIAGNOSIS
不是只说“粗心”,而是定位错误模型
临界点没有找全
表现:只看判别式或一个定义域条件,遗漏分母、降次、端点或重合。
修复:按“系数、定义域、判别式、端点、重合、可除式”逐项列临界事件。
分类重叠或不完备
表现:同一参数进入两类,或等号边界没有归属。
修复:画参数轴,用开区间和孤立边界点检查每个参数能且只能进入一类。
方程降次仍套判别式
表现:最高次项系数为0时仍按二次方程处理。
修复:把最高次项系数=0列为第一临界点,单独解退化方程。
直接除以含参数式
表现:约去可能为0的式子,丢失无解、无数解或特殊根。
修复:任何除法前先写“除式=0”和“除式≠0”两类。
整数端点开闭错误
表现:只看区间长度,或把严格不等号边界算入。
修复:明确要保留的首末整数,并用相邻整数反推包含与排除条件。
把绝对值最小值误判为唯一解
表现:没有检查最小值是否在一整段上取得。
修复:用距离意义画数轴,找出取得最小距离和的全部x。
交点方程或定义域遗漏
表现:联立移项错误,或把定义域外的根也算成交点。
修复:先写f(x)=g(x),解后逐根检查两个函数的共同定义域。
未检查存在性就判断类型
表现:图形已退化或不成立,仍继续讨论锐钝、位置或数量。
修复:把“可行集合非空”设为第一道门,类型分类只能在存在范围内进行。
候选解没有回代
表现:平方、去分母或分支变形后直接写答案。
修复:逐个检查定义域、分支条件和原式,未通过者从候选集合删除。
重复候选解被多算
表现:同一个根从两个分支出现,就误算成两个不同根。
修复:把最终结果写成集合,集合中相同元素只保留一次。
MASTERY EVIDENCE
训练与掌握门禁
7个题族各抽1道原创未见题;学生必须给出临界点、完整分类和最终范围,最终字符串只作结果核对。
失败题族完成补练后,使用同一不变量、不同表面结构的另一组未见题;不得重做A卷原题过关。
至少1题把新定义、函数或几何语言翻译成解集结构;公开四校资料题只作已见迁移,不计入门禁。
D+1 → D+7 → D+30 → D+90
任一题错误,先按错误模型定位并重讲对应临界事件,再做repair和gate-b。复杂分类过程必须由教师按“临界点找全、区间互斥完备、分段规则正确、边界与去重完成”四项量规复核;不能只凭最终答案字符串授予稳定掌握。
SOURCE TRACE
来源与尚待闭合的证据
分类讨论不是孤立技巧,而是处理参数、分段规则、存在性和综合推理时反复调用的通用方法。
中华人民共和国教育部 · 义务教育数学课程标准(2022年版) ↗本讲强调先建立完整分类标准,再证明必要性与充分性,并把边界值单独代回验证。
上海市教育考试院 · 2025年上海市初中学业水平考试数学科目试卷专家点评 ↗