一、溯本清源：从全等到相似的逻辑进阶-九年级上册相似三角形判定定理的证明（HPM视角下的发生性教学）

一、溯本清源：从全等到相似的逻辑进阶——九年级上册相似三角形判定定理的证明（HPM视角下的发生性教学）

一、教材与学情解构：确立基于课程标准的逻辑起点

（一）教材地位的立体化剖析

本课选自北师大版九年级上册第四章《图形的相似》第5节，属于“图形与几何”领域中尺规作图与证明的深化阶段。其地位体现为“三重基石”：

1.【基础·知识体系基石】：本节课是对第4节“探索三角形相似的条件”实验几何成果的正式公理化洗礼。学生在七年级下册学习了三角形全等的判定（SSS/SAS/ASA/AAS/HL），八年级下册学习了平行线分线段成比例，九年级上册上一节课通过测量、画图、叠合“猜想”出了三条判定定理。本节课的核心任务是将“猜想”升格为“定理”，完成从合情推理到演绎推理的认知跃迁。

2.【难点·思维发展基石】：这是初中阶段学生首次系统性地面对“文字命题—图形符号—逻辑链条”的完整建构，且必须引入辅助线（作平行构A型/X型）。相比全等三角形证明直接搬运条件，相似证明需通过平行构造比例式，思维跨度极大，是培养学生逻辑抽象与转化化归素养的关键阵地。

3.【高频·中考热点的母题载体】：全国各地中考试卷中，相似三角形的判定与性质每年必考。本节课所证明的三条定理不仅是解决压轴题（如存在性问题、动态几何、圆中相似）的判定依据，其本身涉及的“截长补短”、“平行转移比例”更是解决复杂几何证明的通用工具。

（二）学情精准画像与痛点锁定

授课对象为九年级上学期的学生。

4.【已有经验区】：学生能熟练背诵“两角相等证相似”，能识别A字型、8字型基本图形，具备全等三角形证明的基本书写规范。

5.【最近发展区】：学生普遍对“为什么要证明我们已经觉得显然成立的结论”存在困惑；对“如何想到添加那条平行线”缺乏元认知；在定理3的证明中，面对“比例式变形+线段代换”时极易在恒等变形中出错。

6.【潜在困难点】：

心理层面：认为几何证明枯燥，缺乏内驱力。

技术层面：对于“平行线”这个辅助线的功能认知单一，仅理解为制造平行，未理解为“缩放转移边长”。

逻辑层面：对于命题证明的三个步骤（画图、写已知求证、推证）规范性不足，特别是对“任意三角形”代表一般性的符号意识薄弱。

二、教学目标与重难点：指向核心素养的精准锚定

（一）四维融合式教学目标

7.知识与技能（【基础·必达】）：

(1)能准确复述相似三角形三条判定定理的文字语言、图形语言、符号语言。

(2)能独立完成三条定理的完整逻辑证明，理解“构造全等三角形”与“平行转移比例”的核心策略。

8.过程与方法（【重要·核心】）：

(1)经历“观察猜想—类比联想—辅助线尝试—逻辑闭合”的全过程，掌握证明文字命题的一般步骤。

(2)深刻体会“转化思想”（未知→已知）与“化归思想”（一般→特殊），领悟“相似证明的本质是利用平行线将大三角形缩放为小三角形”。

9.情感态度与价值观：

通过介绍欧几里得《几何原本》中对相似形的定义及我国古代数学家刘徽的“重差术”，建立几何学的历史厚重感，从“学会”走向“会学”、“乐学”。

10.跨学科素养渗透（【高阶·视野】）：

融合物理学中的凸透镜成像原理（物距像距比等于相似比）导入，打破学科壁垒，强化模型意识。

（二）教学重难点

11.【教学重点】：相似三角形判定定理1（两角相等）和定理2（SAS相似）的证明思路与规范书写。

12.【教学难点】：

(1)难点1（技术性）：定理1证明中，“过点D作DF∥AC”这一第二条辅助线的必要性及其与第一条辅助线的逻辑呼应。

(2)难点2（策略性）：如何从“截长法”类比迁移至“作平行构相似”的通法。

(3)难点3（运算性）：定理3证明中，由比例式推导线段相等时的等量代换与恒等变形。

三、教学理念与策略：顶层设计的范式表达

13.【总策略】：采用HPM（数学史与数学教育）视角下的发生教学法。不直接呈现历史上最优美的简洁证法，而是模拟数学家当年“试错—修正—完善”的思维轨迹。

14.【具体教法】：问题链驱动+思维可视化。利用几何画板动态演示，将静态的辅助线转化为动态的“旋转平移缩放”，将隐性思维显性化。

15.【学法指导】：倡导“费曼学习法”小组制。四人为一组，其中一人为“小先生”，任务不仅是会做，更要用规范的教学语言向组员“讲清楚辅助线为什么长在那里”。

四、教学实施过程（核心重锤，精雕细镂）

（一）第一板块：破冰·认知冲突（约5分钟）

16.【情境创设】：

屏幕呈现物理课本中凸透镜成像光路图，主光轴上的物体AB经凸透镜后成倒立缩小的实像A‘B’。教师设问：“像的高度与物的高度比值取决于像距与物距的比值。那么，△ABO与△A’B‘O是否相似？我们仅凭肉眼观察光路图，能否就此下结论？”

17.【思维引爆】：

教师追问：“全等三角形我们不需要证明判定方法，因为那是基本事实（公理）。但相似三角形的判定在教材中被列为‘定理’，这意味着它必须被证明。你能用我们学过的平行线分线段成比例或全等三角形的知识，给这个物理现象一个数学的担保吗？”

18.【设计意图】：破除“想当然”的心理惯性，揭示数学公理化体系的严谨性。明确本节课的宏大使命——为实验几何奠基，为逻辑大厦立柱。

（二）第二板块：共破楼兰·定理1的协同建构（约12分钟）【重中之重·样板间】

19.【任务发布】：已知：△ABC与△A‘B’C‘中，∠A=∠A’，∠B=∠B‘。求证：△ABC∽△A’B‘C’。

（学生独立画图，写出已知求证。教师巡视，挑选用不同位置字母表示的学生作品投影展示，强化“对应顶点写在对应位置”的规范。）

20.【思维断桥抢救】：

师：要证三个比例式相等，我们目前拥有的工具库里有什么？

生1：相似三角形的定义（六个元素）。

生2：平行线分线段成比例。

师：很好。但现在题目没有给平行线。怎么办？

（此为核心卡点，【难点】爆发。沉默15秒后）

生3：在AB上截取AD=A‘B’，过D作DE∥BC。

师：为什么这么做？你的直觉来自哪里？

生3：我想把△A’B‘C’搬进来，让它和△ABC的一部分重合。

师：精彩！这就是“构造全等三角形”的战略思想。

21.【追问激疑】：

师：我们得到了比例式AD/AB=AE/AC。AD=A‘B’，但我们需要证明A‘C’=AE，B‘C’=DE。现在只用了DE∥BC，得到了AE/AC，但DE等于多少？我们不知道DE是否等于B‘C’。卡住了吗？

（此处展示几何画板：单独一条平行线时，四边形DBCE是梯形，DE长度不定。）

22.【关键突破——第二条辅助线的诞生】：

师：我们想要DE的长度可控。如果DE能等于某个我们已知的、或者能算出来的东西就好了。观察图形，DE是线段，如果我们过D再作一条平行线，交BC于F，会出现什么？

（几何画板动态添加DF∥AC）

生（顿悟）：平行四边形！DE=CF。

师：太棒了。我们现在把比例链串起来：AD/AB=AE/AC，且AD/AB=CF/CB。所以AE/AC=CF/CB。又因为DE=CF，所以AE/AC=DE/CB。

至此，AD/AB=AE/AC=DE/BC。三条边成比例，且通过平行得到角相等，△ADE∽△ABC。而△ADE≌△A’B‘C’，所以原命题得证。

23.【【重要·规范微格训练】】：

教师在黑板进行“龟速板演”，每一步依据的理由必须精确到教材页码级别：

（1）作DE∥BC→平行于三角形一边的直线截其他两边，所得对应线段成比例。

（2）作DF∥AC→同上。

（3）四边形DFCE是平行四边形→两组对边分别平行→DE=CF。

（4）比例代换→等量代换。

（5）△ADE∽△ABC→两角相等（DE∥BC）。

（6）△ADE≌△A’B‘C’→ASA。

强调：判定相似用的是定义（三边成比例，三角相等），判定全等用的是ASA，逻辑链条不能颠倒。

24.【【高频考点·方法归纳】】：

证明相似三角形判定定理的通法口诀：“大边截小边，平行搭桥梁，全等作跳板，比例来换量。”

（三）第三板块：扶放结合·定理2的类比迁移（约10分钟）【重要·提速】

25.【任务驱动】：

已知：△ABC与△A‘B’C‘中，AB/A’B‘=AC/A’C‘，且∠A=∠A’。求证：△ABC∽△A‘B’C‘。

教师指令：请严格按照定理1的“四步法”——截取、作平行、证相似、证全等，进行小组合作。限时6分钟。

26.【预设生成与干预】：

巡视发现，95%的小组能顺利在AB上截取AD=A’B‘，作DE∥BC。

关键卡点：由△ABC∽△ADE推出AB/AD=AC/AE。

代入AD=A’B‘后得到AB/A’B‘=AC/AE。

又已知AB/A’B‘=AC/A’C‘。

因此AC/AE=AC/A’C‘→分子相同，分母相等→AE=A’C‘。

至此，SAS全等条件完备（AD=A’B‘，AE=A’C‘，夹角∠A=∠A’）。

27.【比较辨析·规避雷区】：

教师追问：如果已知条件是AB/A‘B’=BC/B‘C’，且夹角∠B=∠B‘，还能这样证吗？如果已知的夹角是∠A=∠A’，但条件是AB/A‘B’=BC/B‘C’，即两边成比例，但非夹角？此时能否判定相似？

几何画板演示：拉长△ABC，保持AB/BC比例固定，但改变∠B的大小，发现△形状大变。

结论：【【难点·高频错点】】：“SAS相似”中，“A”必须是两组比例边的夹角。命题“两边成比例且一边对角相等的两个三角形相似”是假命题。教师此时引导学生回忆八年级全等三角形中的“SSA”陷阱，完成知识的前后呼应。

（四）第四板块：独立闯关·定理3的高阶挑战（约8分钟）【难点·顶峰】

28.【挑战发布】：

已知：AB/A‘B’=AC/A‘C’=BC/B‘C’=k。求证：△ABC∽△A‘B’C‘。

教师指令：不能再依赖定理1的方法（因为没给角相等），需要借助我们今天刚证明的新定理——定理2。

29.【思维脚手架】：

师：要证△ABC∽△A‘B’C‘，我们可以尝试证明△ABC与△A’B‘C’中的某一个局部相似。如果我们能在AB、AC上截取AD=A‘B’，AE=A‘C’，连接DE，你有什么发现？

生4：可以直接用定理2！因为AB/AD=AB/A’B‘=k，AC/AE=AC/A’C‘=k，且夹角∠A公共，所以△ABC∽△ADE。

师：很好。我们得到了DE/BC=AD/AB=1/k。所以DE=BC/k。而已知B‘C’=BC/k，所以DE=B‘C’。

至此，△ADE≌△A‘B’C‘（SSS）。

30.【运算素养特别强调】：

此处涉及比例的反向代换：【基础·必会】。教师需带领学生慢速运算：

∵AD/A’B‘=1，且AB/A’B‘=k→AB=k·A’B‘→A’B‘=AB/k=AD。

∵AC/A’C‘=k→A’C‘=AC/k=AE。

∵BC/B’C‘=k→B’C‘=BC/k=DE。

这是整个九年级上册几何计算中极为重要的恒等变形训练。

（五）第五板块：学以致用·判定定理的回归检验（约7分钟）【高频考点·即时巩固】

31.【微探究·模型识别】：

出示经典题组（限时训练，口答结合板演）：

（1）如图，在Rt△ABC中，∠ACB=90°，CD⊥AB于D。请找出图中所有的相似三角形，并说明理由（用本节课定理1证明）。——这是射影定理的基本图形，要求学生不仅找到△ACD∽△ABC，△CBD∽△ABC，△ACD∽△CBD，并能够快速书写出比例式。

（2）如图，在正方形网格中，△ABC和△DEF的顶点都在格点上，判断两三角形是否相似并说明理由（给定三边格点长度，考查定理3的直接应用）。

32.【变式·陷阱辨析】：

展示：△ABC中，AB=4，AC=5，BC=6；△DEF中，DE=2，DF=2.5，EF=3。学生迅速反应SSS相似。教师改数据：将EF改为3.1，问是否相似？强调“对应成比例”必须是三边全部对应，缺一不可。

（六）第六板块：回望来路·思想方法的模型化（约3分钟）

33.【学生复盘】：

不是由教师总结，而是请三位“小先生”分别站在“辅助线工程师”、“比例运算师”、“逻辑架构师”的角度谈体会。

辅助线工程师：我们的核心武器是“截取+作平行”。当我们需要比较两个不等大的三角形时，就在大三角形里切出一块和小三角形全等的部分。

比例运算师：比例就像跷跷板，等量代换就是保持平衡的砝码。

逻辑架构师：我们今天打通了“全等→相似”的通道，以前是搬动三角形使之完全重合，现在是搬动三角形使之按比例缩放。

34.【哲思升华】：

教师语：2000多年前，欧几里得在《几何原本》第六卷中给出了完全相同的证明。我们今天40分钟的思维轨迹，重演了人类文明最辉煌的逻辑长征。这就是数学的力量——它让每一个相信逻辑的人，都能拥有巨人的视野。

五、板书设计：思维地图的静态凝固

（由于禁止表格及列表，此处以描述性文字呈现布局逻辑）

左板区：定理1完整证明流程，彩色粉笔区分“已知”、“求证”、“辅助线”、“关键比例链”、“全等条件”。留出红色圆圈标注“平行四边形诞生地”。

中板区：定理2与定理3的证明骨架，重点呈现比例变形的详细代数步骤，箭头标注“代换路径”。

右板区：【方法熔炉】。

（1）通法：截得小—证相似—证全等—推得大。

（2）思想：转化（相似→全等+平行）、类比（全等判定的迁移）。

（3）【