消元思想引领下的模型建构与程序化表达

消元思想引领下的模型建构与程序化表达

——八年级数学二元一次方程组解法（代入消元法）精品教案

一、教材与课标定位：从“技能习得”走向“思想领悟”

本节内容隶属于北京师范大学出版社义务教育教科书《数学》八年级上册第五章“二元一次方程组”第二节“求解二元一次方程组”第一课时。基于《义务教育数学课程标准（2022年版）》“数与代数”领域第三学段要求，本课时的核心定位并非单一的计算程序传授，而是“消元思想”这一重要数学思想的发生、形成与应用过程。从知识逻辑看，学生已具备一元一次方程的规范解法及二元一次方程组概念基础；从思想方法看，本节内容处于从“程序性运算”向“策略性化归”跃升的关键节点。教材编排从“实际问题列方程组”过渡到“系统化解方程组”，其深层意图是让学生领悟：当未知元增多时，通过“转化”将其化归为已解决的一元问题。因此，本设计将代入消元法的操作步骤置于“消元思想—化归策略—程序表达”的三阶认知框架下，使算法教学承载思想教育的功能，实现从“解题匠”到“思想者”的素养跨越。

二、【基础】学情精准画像：认知冲突点与最近发展区

学生此时在知识储备上能够准确识别二元一次方程组，能通过尝试检验法找出某些简单方程组的解，但这种枚举方法面对系数非1或解为分数时效率极低、甚至失效【重要】。这是本课最关键的认知冲突点——学生已感知到“解一定存在”但又“难以快速获取”，从而产生对新解法的内在需求。在思维习惯上，八年级学生处于形式运算阶段初期，能够接受“用一个式子代替一个数”的符号化操作，但对“将方程①变形后代入方程②”这种跨方程代换常感到逻辑跳跃，易将变形后的表达式回代到原变形方程，导致恒等式而无法求解【难点】。此外，学生普遍对“为什么可以代”“代进去之后为什么未知数个数减少了”缺乏元认知监控，往往机械模仿步骤。基于此，本设计将重心下沉至“代入逻辑的语义理解”和“变形方程的选取策略”，而非单纯追求计算速度和题量堆积。

三、【核心】指向深度学习的大单元教学目标

1.知识与技能目标【基础】

能准确识别用代入消元法求解的适用情境；熟练掌握代入消元法解二元一次方程组的完整程序（变形—代入—求解—回代—写解），规范书写解答过程；能将方程组的解回代原方程组进行验证。

2.过程与方法目标【重要】

经历“尝试检验法遇阻—探索新法—发现化归路径—提炼代入程序”的全过程，体悟“多元向一元转化”的化归思想；通过对比分析不同方程的变形方案，形成“选系简化”的策略意识；在解方程组的过程中发展符号意识和运算能力，提升代数思维的严谨性。

3.情感态度与价值观目标

感受数学内部“化未知为已知”的创造性思维魅力，体验算法优化带来的效能感；通过对古算题（鸡兔同笼）的再探究，体认中国数学文化的实用理性，增强文化自信；在小组互评解法步骤中养成批判性思维与反思习惯。

四、【难点·热点】教学重难点的突破策略重构

（一）教学重点

1.代入消元法的基本步骤与规范书写【高频考点】；

2.消元思想的本质理解。

（二）教学难点

1.“代入”的合理性认知——为何能将一个方程变形后的式子代入另一个方程；

2.变形方程的优化选择——当方程组中未知数系数绝对值均不为1时，如何选取适当的方程与未知数进行变形，使运算路径最简。

（三）突破策略

针对难点1，采用“同解原理可视化”策略：不直接告知规则，而是引导学生回顾方程组解的定义——公共解必须同时满足两个方程，因此将①变形后得到的关系式是①的等价形式，该关系式必然也满足②，代入过程实质是利用等量代换将两个条件压缩为一个条件。针对难点2，设计“运算成本比较”微活动：呈现三组不同系数的方程组，让学生分别尝试用不同字母变形并计算，亲身感知系数绝对值越小、系数为±1时运算量显著降低，从而内生“选简”策略，避免教师强行灌输【非常重要】。

五、【核心环节】教学实施过程：从“算法模仿”走向“思想建构”

（一）单元导入·悬念激活：旧法之困与新法之需

上课伊始，教师通过PPT呈现“鸡兔同笼”升级版问题：“笼中鸡兔共35头，94足，但工作人员在录入数据时不小心将‘足数’94误录为‘足数93’，请问此时还有整数解吗？若没有，最接近实际情况的近似解可能是多少？”学生立刻发现用尝试检验法已难以回答——枚举工作量剧增，且需判断近似程度。此时教师适时追问：“当我们无法‘看出’解时，是否有一套通用的、可靠的程序，保证我们能算出任何一个二元一次方程组的解，哪怕它是分数、哪怕它数据复杂？”此问旨在将学生从“巧算”思维引向“通法”思维，揭示本课核心价值。教师板书优化后的课题：“消元思想引领下的模型建构与程序化表达——代入消元法求解二元一次方程组”。

（二）概念复现·锚点架设：从“解集”到“公共解”的再认

并非简单复习二元一次方程组定义，而是设置辨析性任务。教师板书三个二元一次方程：

①x+y=8

②2x-y=1

③x-2y=-2

提出问题：“哪两个方程可以组成二元一次方程组？为什么③和①不能组成二元一次方程组？”学生需调用方程组定义中的“共含有两个未知数”“两个一次方程”进行判断。此环节意图是强化“同一个方程组中相同字母代表同一数值”这一根本约定——这正是代入法合法性的源头。随后教师请学生任意写出方程x+y=8的三个解，并追问：“这些解中，哪些同时也是方程2x-y=1的解？你是如何验证的？”通过这一铺垫，学生自然意识到：方程组的解必须同时“服两个方程”，这为后续“将一个方程满足的条件代入另一个方程”提供了逻辑起点。

（三）冲突聚焦·情境驱动：当“检验”无法奏效时

教师出示教材引例改编问题：

“端午节包粽子，甲组比乙组多包了2个粽子；如果乙组给甲组1个粽子，那么甲组的粽子数是乙组的2倍。设甲组包了x个，乙组包了y个。”

学生列出方程组：

x-y=2

x+1=2(y-1)

教师提问：“你能直接看出x、y的值吗？”部分学生能通过心算得到x=7，y=5。教师追问：“很好。现在我将数据改一下——甲组比乙组多包了3个，乙组给甲组2个后，甲组是乙组的3倍。你还能直接看出答案吗？”学生面露难色。教师进一步：“如果将来遇到数字更大的，甚至含小数、分数的方程组呢？我们这节课就要掌握一把‘万能钥匙’，无论什么样的二元一次方程组，都能按部就班解出来。”至此，学生对“通法”的需求被完全激活。

（四）思想揭示·化归初探：从“二元”退回“一元”

教师引导回溯：“解决新问题的最好办法，是把它变成已经会解的旧问题。关于一元一次方程的解法，我们已经非常熟练了。那么，二元一次方程组能否变成一元一次方程呢？”学生独立思考后小组交流。教师不急于讲解，而是展示如下对比框架：

方程组形式 未知数个数 方程个数 是否可直接解

x+y=8，2x-y=1 2 2 ？

一元一次方程2x+1=5 1 1 能

此处故意留白，学生通过讨论发现：方程组有两个方程，如果能让其中一个方程暂时“消失”掉一个未知数，不就变成一元一次方程了吗？教师顺势揭示思想核心——“消元”，并板书：“二元一元，消元为桥”。【非常重要】

（五）程序建模·代入法的诞生现场

以方程组x-y=3①

3x+y=1②为例。

教师设问：“我们要消去其中一个未知数，比如消去y。观察方程①和②，y的系数有什么特点？怎样能把y‘抵消’掉？”学生自然发现①的y系数是-1，②的y系数是+1，两式相加即可消y。此时不直接讲加减法（这是下课时内容），而是追问：“如果系数不具备这种特点呢？例如本节课我们重点研究的方程组：x-y=3①，3x+y=1②，你还有其他消元思路吗？”当学生提出“由①得y=x-3”时，教师板书这一关键变形。

核心追问1：“由x-y=3，我们推出y=x-3。请问：这个新式子y=x-3，和原来的方程①，是‘同一个意思’吗？”引导学生理解：这是方程①的等价变形，两者解集完全相同。因此，凡是满足①的x、y，必然满足y=x-3。

核心追问2：“方程组的解，是否必须同时满足①和②？”学生答是。

核心追问3：“既然方程组的解满足①，那么它一定满足y=x-3；同时，这个解还必须满足②。那么，在方程②中，那个未知的‘y’，能不能用‘x-3’替换掉？”此处是认知飞跃的关键点。教师用彩色粉笔将方程②中的“y”圈出，旁边写上“=x-3”，并拉箭头指向y。学生顿悟：因为同一个字母代表同一个数，既然y等于(x-3)，那么凡出现y的地方均可替换。

板书规范步骤：

解：由①得，y=x-3.③

将③代入②，得3x+(x-3)=1.

教师强调“代入”动作的语义——把y整体换成(x-3)，必须用括号括起来，避免符号错误。解得4x-3=1，4x=4，x=1.

核心追问4：“x=1是方程②变形后的一元一次方程的解，它是不是原方程组的解？”学生答：还需回代求y。将x=1代入③，得y=-2.

核心追问5：“为什么代入③而不是代入①？代入①行吗？代入②行吗？”辨析：代入③最简单，因③已是y的表达式；代入①可得1-y=3，同样解得y=-2；代入②也可行但计算稍繁。引导学生形成“代入已变形方程”的优化策略。

最后强调：必须写出“∴原方程组的解是x=1，y=-2”，并鼓励学生将解代入①②检验。检验不仅是验算，更是对“公共解”概念的巩固。

（六）策略深化·变式进阶与算法优化

1.标准式直接代入型（巩固程序）

解方程组y=2x-5①

3x+4y=2②

此题一个方程已为“y=…”形式，无需变形直接代入。目的是降低认知负荷，让学生专注于“代入—求解—回代”的程序自动化。学生独立完成，一名学生板演，集体订正。教师追问：“这里代入后得到的是一元一次方程，解完x后，求y时为什么代入①而不代入②？”学生明确：代入①是直接获得值，代入②需重新解y，增加出错概率。

2.需变形且系数为±1型（策略萌芽）

解方程组2x+y=8①

x-y=1②

请学生观察：选择哪个方程变形？消去哪个未知数更简单？小组讨论。学生发现：方程②中x的系数为1，由②得x=y+1，代入①；或由②得y=x-1，代入①。两种均可。教师组织对比：哪种代入后计算量更小？引导学生发现：代入后要避免出现分数，尽量选择变形后表达式不带分母的路径。本组题两种路径均无分数，任选。学生独立完成后，教师展示常见错误：将变形后的式子代入原变形方程（如将x=y+1代入②），得到恒等式y+1-y=1，无法求解。此错误极有价值，教师组织“错例会诊”，剖析原因——代入必须是对另一个方程进行，才能获得新条件。

3.系数均非±1型（核心攻坚）

解方程组3x+2y=14①

x-3y=1②

此处是本课时难点最高峰【难点】【高频考点】。学生初次面对系数均不为1的情况，往往盲目变形。教师组织“策略听证会”：请几位学生上台分别尝试由①变形、由②变形，并实际计算几步，全班直观感受运算量差异。学生发现：由②得x=3y+1，代入①无分数；由①得x=(14-2y)/3，代入②出现分母，运算繁琐。从而归纳出核心策略——选系数绝对值较小的未知数，系数为±1最优，无±1则选绝对值较小的进行变形【非常重要】。

完整解题后，教师追问：“如果两个方程系数都不简单，比如都是3和2，我们是否还有别的出路？下节课的加减消元法就是专门对付这种情况的。”铺设认知期待。

（七）思想提炼·代入法程序的结构化表征

并非由教师单向总结，而是请学生以“写给六年级学生的一封信”形式，用通俗语言描述如何解二元一次方程组。学生代表朗读，教师将零散话语提炼为五步法，全班齐读强化：

1.选——选一个系数简单的方程，将其中一个未知数用含另一个未知数的式子表示；

2.代——将表示式代入另一个方程，消去一个未知数；

3.解——解一元一次方程，求出一个未知数的值；

4.回——将求出的值代入变形后的方程，求出另一个未知数的值；

5.写——写解，并养成检验习惯。

教师将“选、代、解、回、写”五字诀板书于副板书区，作为本课思维定锚。

（八）综合应用·从数学世界回到现实世界

呈现真实情境问题：

“某校八年级开展研学活动，计划租用A、B两种型号客车。已知A型车每辆可载45人，B型车每辆可载30人。师生共420人，恰好坐满10辆客车。请你计算A、B型车各租用多少辆？”

学生独立设未知数、列方程组，并用代入消元法求解。此环节意图有二：一是强化方程组作为数学模型的应用功能【重要】；二是检验学生能否在非纯粹数学情境中准确提取方程并规范求解。教师选取典型解法投影展示，重点关注“设未知数是否带单位”“方程组书写是否规范”“解是否通过检验（人数、车辆数均为非负整数）”。此处若学生时间紧张，可仅列式设解，不要求算出最终数值，重在建模过程。

（九）拓展延伸·思维爬坡训练

呈现挑战性问题：

“关于x、y的方程组ax+y=5①

2x-by=4②的解是x=2，y=1，求a、b的值。”

此题为代入法的逆向应用——已知解求参数。学生需将解代入原方程组，得到关于a、b的二元一次方程组，再用代入法求解a、b。本题旨在打通“正向解”与“逆向求”的关系，提升学生对解的定义的深度理解。学有余力的学生可继续思考：若方程组无解或有无数组解，系数应满足什么条件？为后续函数与方程关系做隐性渗透。

六、【重要】作业设计：分层精准，差异发展

1.基础巩固类（必做）

完成教材习题5.2第1、2题。要求：书写完整解题步骤，每道题完成后将解代入原方程组进行口头检验，培养验算习惯。本题组对应【高频考点】标准形式及简单变形方程组。

2.策略优化类（必做）

给出四组方程组，要求学生先判断“消去哪个未知数更简便”，并说明理由，再完整求解。本题组包含系数为±1、小数系数、分数系数等多种类型，旨在强化“选”的策略意识。

3.拓展探究类（选做）

创编题：请你根据方程组2x+y=5，x-3y=-1，编拟一个现实生活情境，使该方程组能解决你所编的问题，并给出解答。本题旨在实现从“解题者”到“命题者”的角色反转，深化模型观念。

4.反思梳理类（长周期）

完成本课时的“思维日志”，用思维导图或流程图形式梳理代入消元法的完整认知结构，特别标注自己曾经出错的环节及克服策略，下节课小组分享。

七、【基础】板