高中数学必修一教学设计：线性规划情境下的纪念品采购最优决策

高中数学必修一教学设计：线性规划情境下的纪念品采购最优决策教材选自粤教版（2019）高中数学必修第一册第四章“线性规划”第一节“线性规划问题的数学模型”。该节课是整章教学的起始课时，承担着从具体情境抽象出数学模型、建立可行域与目标函数几何关联、完成代数与几何思维转换的核心任务。教材以“学校购买两种纪念品”为载体，将抽象的线性规划问题具体化、生活化，为后续单纯形法思想与实际应用奠基。教材地位关乎全章逻辑链条。前置知识包括一元二次不等式求解、二元一次不等式（组）表示的平面区域、函数的最大最小值概念，学生已在初中与必修一前三章完成储备。后续内容将延伸至线性规划的解法、实际问题的数学建模全过程，乃至大学运筹学课程的单纯形算法。本课必须在情境中自然引出“决策变量—约束条件—目标函数”三要素，避免生硬灌输定义，让学生经历“问题—模型—求解—解释”完整建模周期。学情分析聚焦三个认知跨度。一是从具体数量关系到抽象代数符号的跨度。学生擅长算“买30个A、20个B花多少钱”，却难以直接写出“20x+30y≤6000”普遍约束；二是从平面区域到“最优解必在顶点”的几何直觉跨度。学生能熟练绘制可行域，但难以解释为何目标函数移动直线最终停靠顶点；三是从单一答案到“最优方案集合”的决策思维跨度。学生习惯求唯一解，线性规划引入“最优解不唯一”“无解”等新情况，极易引发认知冲突。针对性策略是：前置练习强化不等式组建模，引入动态几何软件可视化目标函数移动，设置反例拓展认知边界。教学目标对标核心素养四维。数学抽象层面，学生能从采购情境中提炼决策变量x、y，将成本限额、数量比例、非负性转化为二元一次不等式组，构建目标函数z=ax+by；逻辑推理层面，学生能论证可行域为凸多边形，利用目标函数直线族平移性质证明最优解存在于顶点；数学建模层面，学生能完整走完“实际问题—数学模型—数学结果—实际解释”闭环，并能判别模型合理性；直观想象层面，学生能熟练绘制可行域，动态演示目标函数直线平移过程，建立代数几何双重表征。教学重点锁定“模型建立的完整规范性”与“可行域几何性质的深度理解”。难点聚焦“目标函数系数比与约束边界斜率关系判定最优解类型”的动态推演。突破路径：以“斜率夹角”替代抽象代数比较，利用动态几何软件锁定临界斜率，引导学生发现“目标函数直线与某约束边界重合”即为多最优解临界态。教学过程设计五个阶段，共计六个课时，本设计呈现核心两课时建模与求解环节。第一阶段情境沉浸与变量觉醒（课时1前15分钟）教师投影校庆纪念品采购方案表：A款单价20元，B款单价30元，预算6000元，总量不少于150件，且B款数量不超过A款的2倍。提问：“若采购组建议‘买50个A、100个B’，财务组能否通过？理由何在？”学生迅速验算：总价50×20+100×30=4000元，满足预算；总量150件，达标；B/A=2，符合比例。教师追问：“若改为‘60个A、90个B’呢？哪个方案更‘好’？好在哪里？”学生陷入争论：前者多买10件纪念品，后者省1000元预算。教师总结：“评价标准不明，无法比较。数学建模第一步，必须明确决策目标。”补充设定：学校希望在满足条件下，使采购总件数最大。学生顿悟：第一个方案总件数150，第二个150，竟然相同。教师再追问：“能否突破150件？最多能买多少？怎么买？”问题悬而未决，自然过渡至变量设定。教师板书：设购买A款x件，B款y件。强调“设未知数”非形式动作，而是“将模糊语言精确化”的契约。引导学生列出不等式组：20x+30y≤6000x+y≥150y≤2xx≥0,y≥0并逐条对应语言条件：预算约束、总量约束、比例约束、非负现实约束。学生在草稿纸完成建模，教师巡视重点查看“≤与≥方向”“系数单位统一”“非负条件显性化”三个易错点。随机抽取三份学生作业投影点评：甲生漏写x≥0,y≥0，乙生将“不超过2倍”写成y≥2x，丙生单位未统一写成20x+30y≤6。全班辨析，达成共识：建模是“翻译”，须忠实、完整、规范。第二阶段可行域构建与几何赋义（课时1后30分钟）教师提问：“这组不等式在坐标系中长什么样？”学生回忆初中知识：每个不等式对应一个半平面，方程对应边界线。分组任务：每组绘制一条边界线，标注半平面，合成可行域。教师提供预设坐标纸，横轴x:0~300，纵轴y:0~300，每格10单位。学生协作绘图，教师巡视指导刻度选择、边界线虚实（含等于号实线，严格不等式虚线）、试点法确定半平面（推荐原点法，但注意边界线过原点时换点）。汇报环节：甲组展示20x+30y=6000，化简得2x+3y=600，截距法作图，原点(0,0)代入0≤600成立，取含原点半平面。乙组展示x+y=150，截距(150,0)(0,150)，原点代入0≥150不成立，取不含原点半平面。丙组展示y=2x，过原点，选(100,0)代入0≤200成立，取含(100,0)半平面。丁组综合叠加，得到五边形可行域OABCD（O为原点，A(150,0)，B为2x+3y=600与x+y=150交点，C为2x+3y=600与y=2x交点，D为y=2x与x+y=150交点）。教师引导计算顶点坐标：A(150,0)显见。B解{2x+3y=600,x+y=150}得x=150,y=0即A点，说明两线在A点相交，可行域退化为四边形？教师故意不点破，让学生复核。学生惊觉：2×150+3×0=300≠600，计算错误。重解得x=300,y=150舍去，说明两线在第一象限无交，可行域由2x+3y=600与坐标轴及y=2x围成。重新梳理顶点：O(0,0)A(300,0)2x+3y=600与x轴交点B解{2x+3y=600,y=2x}得2x+6x=600,x=75,y=150→B(75,150)C解{x+y=150,y=2x}得3x=150,x=50,y=100→C(50,100)D(0,0)与O重合，x+y=150与y轴交点(0,150)不满足y≤2x？0≤0成立，但(0,150)代入2x+3y=450≤600成立，且y=150≤2×0=0不成立。故(0,150)不在可行域。最终可行域为三角形O(0,0)、A(300,0)、B(75,150)？再验C(50,100)：2×50+3×100=400≤600，50+100=150≥150，100≤100，满足所有约束。C在线段OB上？OB方程y=2x，C(50,100)满足。且C在线段AB上？AB在2x+3y=600上，2×50+3×100=400≠600。故C在OB边上，可行域实为四边形OABC？不对，x+y≥150是取直线上方，C在x+y=150上，B在2x+3y=600上。可行域顶点按逆时针：O(0,0)、A(300,0)、B(75,150)、C(50,100)。教师确认无误，强调“顶点坐标必须精确计算，不可目测”，并引导学生思考：为何可行域是凸多边形？学生回答：半平面交集保持凸性，有限条线性不等式交集为凸多边形。教师抛出核心问题：“满足条件的方案有无数个，对应可行域内无数点。哪个点让总件数x+y最大？”学生直觉指向B(75,150)，总件数225。教师追问：“凭什么断定是B？能否证明不可能在内部某点更大？”引入目标函数z=x+y，几何意义是“截距之和”或“到原点距离”。令z=k，即x+y=k，平行线族。k越大，直线越远离原点。在可行域内寻找最大k，等价于平移直线x+y=k，使其最后仍与可行域有公共点。动态演示：直线从原点出发，平行上移，最后离开可行域的瞬间，经过顶点B(75,150)。此时k=225。学生恍然：“原来最优解在顶点，是因为目标函数直线平移，最后离开的总是顶点！”第三阶段目标函数平移与顶点法确证（课时2前25分钟）教师将目标函数推广：设总件数z=x+y，改为总价值z=20x+30y，或综合效益z=5x+8y。提问：“系数变化，最优解会动吗？”学生分组实验：在可行域内作目标函数直线族，观察最后接触顶点。利用GeoGebra滑动条控制系数a,b，直观展示：当目标函数斜率k在两条相邻边界线斜率之间时，最优解为唯一顶点；当斜率等于某边界线斜率时，最优解为整条边，存在无限多最优解。教师板书推导“顶点法”逻辑链：1.可行域D为有界凸多边形（若无界需另论）。2.目标函数z=ax+by对应平行直线族。3.z在D上取最大值⇔直线ax+by=z_max与D有公共点，且z_max为最大截距。4.平移直线，最后离开D的位置必经过D的某个顶点（或边）。5.故只需比较各顶点处z值，最大者即为最优值。学生练习：用顶点法验证z=x+y在O(0,0)、A(300,0)、B(75,150)、C(50,100)处值分别为0、300、225、150。最大值300在A(300,0)？等等，A(300,0)满足x+y≥150吗？300≥150满足。满足y≤2x吗？0≤600满足。那为什么刚才动态演示最后离开是B？教师冷笑：“谁说直线从原点出发？x+y=k，k从0增大，直线向右上平移。可行域最右上顶点是B(75,150)还是A(300,0)？”学生惊呼：A横坐标300，纵坐标0；B横75纵150。x+y在A处300，在B处225。A更大！但A对应方案“买300个A、0个B”，总件数300，总价6000元，满足所有约束。为何直觉选B？因为B买了两种，看起来‘均衡’。数学不认‘均衡’，只认‘最大’。教师肯定纠错价值：“直觉误区源于隐性假设‘两种都要买’，模型未加此约束。若学校要求‘两种纪念品均需采购’，需添加x≥1,y≥1，可行域改变，最优解或将转移。”第四阶段变式拓展与模型修正（课时2中20分钟）教师投射三个变式问题，深化建模素养。变式一：预算增至8000元，其他不变。可行域如何变？2x+3y=800，A点变为(400,0)，B点解方程得(100,200)，C点不变。z=x+y在新顶点值：A=400，B=300。最优解仍在A，但最大值增大。追问：“预算每增加100元，最多能多买几件？”边际分析：松弛约束的影子价格思想萌芽。变式二：校方新增要求“A款至少采购50件”，即x≥50。可行域被垂直线x=50切割，原顶点A(300,0)保留，O(0,0)被切去，新顶点产生于x=50与x+y=150交点E(50,100)即原C，及x=50与y=2x交点F(50,100)重合。可行域退化？验算：x=50,y=100满足2x+3y=400≤800。可行域变为三角形A(400,0)、E(50,100)、G(50,0)？G(50,0)满足x+y≥150？50≥150不成立。故可行域为线段AE？不对，x≥50,x+y≥150⇒y≥100。y≤2x⇒y≤100。故y=100确定。x+y≥150⇒x≥50。2x+3y≤800⇒2x≤500⇒x≤250。可行域为线段上（50,100）至下（250,0）？y=100固定？y≤2x且y≥100,x≥50。若x>50，y≤2x允许y>100，但x+y≥150允许y>100。可行域实为梯形。学生小组重绘，教师巡视纠偏，强调“新增约束可能使可行域缩小、顶点增加、甚至变空”。变式三：目标函数改为z=2x+3y（恰为预算约束式左端）。此时目标函数直线与边界2x+3y=800重合。可行域上边界所有点均为最优解，最大值恒为800。教师点拨：“这揭示了线性规划特殊性——最优解可能不唯一，甚至构成线段。实际决策中，可据此灵活选择次优指标（如品牌平衡）确定最终方案。”第五阶段完整建模报告撰写与评价（课时2后15分钟）教师布置课堂产出任务：以“纪念品采购最优方案设计报告”为题，按规范撰写。要求包含六模块：6.问题重述：用语言清晰描述决策目标、决策变量、约束条件。7.模型建立：列出不等式组与目标函数，说明符号含义、单位、定义域。8.模型求解：绘制可行域草图，标注关键顶点坐标计算过程，列表比较目标函数值。9.结果解释：将数学最优解翻译为采购方案，说明总件数、总花费、结构比例。10.合理性检验：方案是否满足所有隐性条件（如整数件数、库存上限、两种均购）。11.敏感性分析：预算±500元、比例限制放宽至3倍时，方案如何调整。学生分组协作，教师提供评价量表：建模准确性(4分)、求解规范性(3分)、解释完整性(2分)、拓展深度(1分)。典型学生作品展示：一组报告在“合理性检验”中指出“最优解(400,0)导致B款零采购，违背‘纪念品多样性’初衷，建议添加y≥50约束，重新求解得(275,50)总件数325，虽减少75件但兼顾品类”；另一组在“敏感性分析”中制作表格，量化预算影子价格为1/20件/元。教师现场点评，肯定“发现隐性约束、主动修正模型”的高阶建模能力，指出“影子价格计算虽超纲但体现了量化思维”，鼓励课后探究对偶理论。作业设计分层分类。基础巩固：教材习题第1、2题，固定套路建模求解。能力提升：改编某校购买图书资料题，要求自主设定“最多购买总量”“经费下限”等约束，体会约束条件增减对可行域拓扑结构影响。拓展创新：查阅“饲料配比问题”或“生产排程问题”，尝试建立三变量线性规划模型，思考为何几何法失效，为单纯形法引入做认知准备。个性化选做：利用PythonPuLP库或Excel求解器解决课堂变式二模型，对比手工与机器解法异同。教学反思聚焦三个“度”的把控。一是“放手度”。前半节课学生建模、作图、算顶点全自主，教师仅作关键节点提问，耗时超预期10分钟，但学生真正经历了“翻译—作图—计算—验证”全链条，所有权转移彻底。二是“深