初中数学九年级上册：相似判定定理的演绎证明与几何建模

初中数学九年级上册：相似判定定理的演绎证明与几何建模

一、指导思想与学情研判

（一）顶层设计理念

基于《义务教育数学课程标准（2022年版）》“重论据、有条理、合乎逻辑地思维”的核心理念，本设计以“重构几何证明的发生性学习”为范式，将“相似三角形判定定理的证明”置于欧氏几何公理化体系和数学文化史的双重坐标中。秉持“逻辑是几何的法，直观是几何的魂”这一主张，本课不将证明仅作为“验证猜想正确”的工具，而是将其定位为发展学生演绎推理能力、体悟几何公理化方法、形成数学逻辑信仰的关键载体。课程设计遵循“公理化思想渗透—辅助线发生学解释—证明结构的图式化提炼”的三阶进阶路径，实现从“经验几何”向“论证几何”的认知跃迁。

（二）学情深度剖析

认知起点：学生已通过前两课时的度量、叠合、动态几何实验，直观“确认”了三个判定条件的正确性，具备“知其然”的操作经验；且已系统学习平行线分线段成比例基本事实、三角形全等的证明体系及相似三角形的定义，构成了进行演绎证明的逻辑“工具箱”。【基础】

真实困境：尽管学生知晓结论，却普遍困惑——“既然测量已验证，为何还需证明？”本课首当其冲的任务是消除“证明无用论”，建立数学公理化的必要性认知。更深层的障碍在于：【难点】【核心】

1.辅助线的发生学迷思：教材直接呈现“截长作平行”的构造，学生虽能看懂步骤，却无法回答“为何想到如此添加？”导致辅助线沦为魔术师的帽子，而非逻辑的自然延展。

2.三段论链条的断裂：从“平行→比例→全等→相似”的传递链较长，比例式的恒等变形（如将CF替换为DE）对学生代数化推理能力构成严峻挑战。

3.命题证明的元认知缺失：多数学生只会“证此题”，不会“证此类”，未能将个体证明经验升华为“证明文字命题的一般方法论”。

（三）教材比较视角

相较于人教版将三个判定证明分散编排、侧重应用不同，北师大版专设本节集中证明，其深层意图在于凸显“公理化体系的严谨性”。本设计充分尊重这一独特价值，将教学重心从“记忆证明步骤”转向“重构发现证明思路的心智历程”。

二、教学目标与素养锚点

（一）三维目标统整

1.知识与技能（逻辑进阶）：

o 能准确复述并符号化表达三个相似三角形判定定理；【基础】【高频考点】

o 能独立完成三个定理的完整演绎证明，规范书写“已知、求证、证明”全流程；

o 能从复杂的几何图形中准确分离出判定定理的基本模型。【重要】

2.过程与方法（思想内化）：

o 经历“构造相似→证明全等→传递相似”的证明范式形成过程，领悟转化的核心策略；

o 通过定理1证明的师生共建，归纳出“截长—作平行—证全等—得相似”四步法，并运用类比思想迁移至定理2、3的自主探究；【核心重难点】

o 在比例式的恒等变换中，提升代数推理与几何直观的转换能力。

3.情感态度价值观（学科信仰）：

o 在严谨推理中感受数学逻辑的确定性与力量，建立“眼见未必为实，逻辑方为真理”的科学态度；

o 体验从“困惑—突破—顿悟”的解题心智历程，培养面对复杂图形时“敢添线、会推理”的数学勇气。

（二）学科核心素养靶向

1.逻辑推理（关键素养）：通过三段论式的定理证明，达成水平Ⅱ（能对具体命题进行推理证明，并能用数学语言清晰表达）。

2.几何直观：通过“作平行构比例”将未知相似转化为已知相似，建立形感与辅助线直觉。

3.数学抽象：从三个具体定理的证明路径中，抽象出“构造中介三角形”这一通性通法。

三、大单元视角下的课时定位

本节隶属于“图形的相似”大单元中的“公理化整合课”。在单元序列中，它处于“实验探究—演绎论证—综合应用”的中枢位置：

• 前接：4.1-4.4节通过测量、画图、叠合、动态几何等方式，发现并归纳相似条件（实验几何）；

• 本课：将实验结论纳入公理化系统，赋予其逻辑必然性（论证几何）；

• 后续：为相似三角形的性质证明、相似多边形的性质、位似变换及三角函数引入奠定严密的推理基础。

因此，本课不仅是“证三个题”，更是对几何学“定义—基本事实—定理”体系的具身体验。

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

（一）认知冲突激发阶段：从“确认”到“确信”的跃迁——为何还需证明？

【教学时长】5分钟

【重要等级】【哲学奠基】

1.复习引入的三阶追问

教师活动：呈现动态几何画板。屏幕显示△ABC与△A‘B’C‘，已知∠A=∠A’，∠B=∠B‘。拖动顶点，度量对应边比值，比值始终保持恒定。

师：通过上节课的测量与几何画板实验，我们已经“看到”只要两角相等，这两个三角形必然形状相同。那么，我们为何还要花一整节课去“证明”一个已经确信无疑的结论？

（预设学生反应：为了更严谨/考试要考/数学家规定的……）

师：（展示历史小故事）古希腊数学家欧几里得在《几何原本》中，仅凭5条公设就推导出整个几何大厦，他从不测量。为什么？因为测量有误差，仪器会偏差，而逻辑永恒。今天我们就要像欧几里得一样，不依赖度量，仅凭逻辑的力量，将“猜想”升华为“定理”。

2.目标具身化

师：本节课我们的终极任务——掌握几何证明的“通关密码”。当你拿到一个全新的几何命题，如何从零开始构造证明？我们将以三个定理为蓝本，提炼出“构造法证明相似”的心智程序。

设计意图：破解“已知结论下的证明倦怠”，将学习动机从“完成作业”升维至“习得专家思维”。

（二）定理1证明的“思维可视化”阶段：两角相等的两个三角形相似

【教学时长】15分钟

【核心重难点】【关键技法】

1.已知与求证的符号化建模

教师引导：文字命题证明的第一步是“翻译”——将文字语言翻译成图形语言与符号语言。

学生活动：独立画图，写出已知、求证，并口答。

已知：如图，在△ABC和△A‘B’C‘中，∠A=∠A’，∠B=∠B‘。

求证：△ABC∽△A’B‘C’。

（教师巡视，选取典型作图投影展示，重点关注“对应顶点的字母顺序”是否一致，这是相似对应性的重要细节。）

2.证明起点：没有平行，何来比例？

师：要证明两个三角形相似，目前我们手中唯一的“逻辑武器”是什么？

（生回顾：相似形的定义——对应角相等、对应边成比例。）

师：角相等是已知条件，核心矛盾在于——边成比例如何得到？我们学过哪些能推出线段比例关系的定理？

（生：平行线分线段成比例基本事实。）

师：但图形中没有平行线。怎么办？

（生：自己作平行线。）

【此处为思维突破的关键节点，必须放慢节奏】

教师追问：为什么想到在AB上截取AD=A‘B’？为什么偏偏过D作BC的平行线？

深度解析（辅助线发生学解释）：

我们手里有一个现成的三角形△A‘B’C‘，但它与△ABC没有联系。我们希望△A’B‘C’能“转移”到△ABC内部。最朴素的想法：既然∠A=∠A‘，如果把△A’B‘C’的顶点A‘与△ABC的顶点A重合，让A’B‘落在AB边上，那么由于∠B=∠B’，B‘C’必然与BC平行。这就是辅助线的本质——全等变换与平行线性质的综合运用！

（几何画板动画演示：将△A‘B’C‘平移、旋转，使其顶点A’与A重合，A‘B’与AB重合——直观显示为什么截取AD=A‘B’并作DE∥BC是逻辑的必然。）

3.证明路径的脚手架搭建

师生共建“三段论链式板书”：

第一步：构造平行相似（小三角形∽大三角形）

∵DE∥BC（辅助线作法），

∴△ADE∽△ABC（平行于三角形一边的直线与其他两边相交，截得的三角形与原三角形相似）。【此为已学定理，可作为推理依据】

第二步：推导比例式的变形（平行四边形代换）

由△ADE∽△ABC得：AD/AB=AE/AC=DE/BC。

我们已证△ADE与△ABC相似，但目标是要证△A‘B’C‘与△ABC相似。现在的关键是：△ADE与△A’B‘C’什么关系？

我们需要证明DE=B‘C’，AE=A‘C’。

（此处学生易卡顿：如何证DE=CF？为何要过D作DF∥AC？）

教师图解策略：单一比例式无法直接得DE=BC，利用“两条平行线构造平行四边形”实现线段转化——将DE平移到CF的位置，将比例关系统一。

板书核心推导链：

由DF∥AC→AD/AB=CF/CB。

又∵AD/AB=AE/AC（已证），

∴AE/AC=CF/CB。

∵DE∥BC，DF∥AC→四边形DFCE是平行四边形，

∴DE=CF。

∴AE/AC=DE/CB。

结合AD/AB=AE/AC=DE/CB，得三边对应成比例。

第三步：全等搭桥，传递相似

在△ADE与△A‘B’C‘中，

AD=A’B‘（截取），

∠ADE=∠B=∠B’（∵DE∥BC，同位角相等），

∠A=∠A‘（已知），

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

∴△A‘B’C‘≌△ADE∽△ABC，

∴△A’B‘C’∽△ABC。

4.【思维建模】“中介三角形”法的图式提炼

师：回顾整个证明，我们没有直接打通△A‘B’C‘和△ABC，而是先造了一个“翻译官”△ADE。这个翻译官既和△ABC相似（通过平行），又和△A’B‘C’全等（通过截取）。这就是几何证明中最经典的“搭桥术”。

板书公理化路径图：

目标：△A‘B’C‘∽△ABC

策略：构造中介△ADE

路径：△ADE∽△ABC（平行法）

△ADE≌△A‘B’C‘（全等法）

结论：传递相似

【重要】将此思维范式固化：要证两个三角形相似，若无法直接证明，可构造第三个三角形，分别建立“相似”与“全等”的双重关系。

（三）定理2证明的类比迁移阶段：两边成比例且夹角相等的两个三角形相似

【教学时长】12分钟

【重要】【高频考点】【方法迁移训练】

1.“思路”的挑战性任务

师：定理1我们成功攻克了。现在面对定理2：“两边成比例且夹角相等”，你能否复用“构造中介三角形”的策略？

小组合作任务（3-4人组）：

（1）画出图形，写出已知、求证；

（2）讨论：辅助线应如何添加？能否借鉴定理1的经验——“在长边上截取，作平行线”？

（3）尝试写出完整证明框架。

2.典型证法的生成与辨析

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

求证：△ABC∽△A‘B’C‘。

学生展示证明思路（预设）：

在AB上截取AD=A’B‘，作DE∥BC交AC于E。

则△ADE∽△ABC。

∴AD/AB=AE/AC。

∵AD=A’B‘，且已知AB/A’B‘=AC/A’C‘→AB/AD=AC/A’C‘，

变形得AE/AC=AD/AB=A’B‘/AB，

利用合比或比例代换→AE=A’C‘。

又∠A=∠A’，AD=A‘B’，AE=A‘C’，

∴△ADE≌△A‘B’C‘（SAS）。

∴△A’B‘C’≌△ADE∽△ABC→得证。

3.【易错点预警与辨析】【难点】

教师针对性介入点：

（1）比例代换的逻辑严密性：从AB/A‘B’=AC/A‘C’如何推出AE=A‘C’？

需板演比例变形过程：

由△ADE∽△ABC→AD/AB=AE/AC→AE=(AD·AC)/AB。

代入AD=A’B‘→AE=(A’B‘·AC)/AB。

又已知A’B‘/AB=A’C‘/AC（两边成比例）→A’B‘·AC=AB·A’C‘。

代入得AE=A’C‘。

此环节需放慢，这是代数推理与几何证明的交汇点，也是学生逻辑严密性训练的关键阵地。

（2）夹角是核心：强调定理中“夹角”的必要性。可追问：若已知AB/A‘B’=AC/A‘C’，但∠B=∠B‘，还能证吗？为什么？通过反例辨析，强化对定理条件的深刻理解。

4.结构对比：定理1与定理2证明的“同”与“异”

师：请用一句话概括两个证明的共同套路。

生：截等长、作平行、证全等、传相似。

师：不同点在哪？

生：定理1用平行得三边成比例，定理2用平行得一角相等加两边比，再用已知边比代换证出另一边等长。

设计意图：通过比较，实现思维程序的抽象与迁移，避免“每道题都从零开始”的低效认知。

（四）定理3证明的自主挑战阶段：三边成比例的两个三角形相似

【教学时长】12分钟

【高阶思维】【综合应用】

1.脚手架拆除：从“半独立”到“全独立”

师：定理3“三边成比例”是三个判定中最“硬”的条件——只有边，没有角。你还能“截长作平行”的策略吗？这里有陷阱，小心！

（独立探究，教师巡视，收集典型思路与典型错误）

2.证法碰撞与路径优化

预设学生证法A（类认定理2）：

在AB上截AD=A’B‘，AC上截AE=A’C‘，连接DE。

由AD/AB=AE/AC，∠A公共，得△ADE∽△ABC。

则AD/AB=DE/BC。

代入AD=A’B‘，得A’B‘/AB=DE/BC。

又已知A’B‘/AB=B’C‘/BC，

∴DE=B’C‘。

∴△ADE≌△A’B‘C’（SSS）。

∴△A‘B’C‘∽△ABC。

关键追问：为什么作平行线退场了？在定理3证明中，我们没有作DE∥BC，而是直接连接DE，怎么还能得到相似？

深度思辨：因为要证△ADE∽△ABC，已知AD/AB=AE/AC，夹角∠A是公共角，这正好满足“两边成比例且夹角相等”——我们正在证明定理3，但使用的判定依据却是定理2！

这揭示了数学体系的相互依赖关系：三个定理并非独立的平行结论，而是可以互相推导的。这正是公理化体系的精妙之处——用已证的定理2去证明定理3。

3.【思维进阶】比例恒等变形的“代数几何学”

本环节比例式变形的复杂度达到峰值。教师需通过“换元法”帮助学生跨越认知障碍：

设AB=k·A‘B’，AC=k·A‘C’（由三边比例可得相同比例系数）。

由△ADE∽△ABC，得DE/BC=AD/AB=A‘B’/(k·A‘B’)=1/k。

又已知B‘C’/BC=1/k（三边比例），

∴DE=B‘C’。

这种引入比例系数的代数方法，是解决相似几何问题的高级武器，为后续学习三角函数埋下伏笔。【高阶素养】

（五）知识结构化阶段：判定体系的重构与模型识别

【教学时长】6分钟

【高频考点】【热点模型】

1.判定定理的条件串联矩阵

师生共同完成“相似三角形判定定理全景图谱”：

（1）预备定理：平行截线→相似（公理化的起点）；

（2）判定定理1：AA→相似（最弱条件，最常用）；【高频】

（3）判定定理2：SAS→相似（边角结合，易错点在于角必须是夹角）；【高频】

（4）判定定理3：SSS→相似（纯边条件，计算量大）；【高频】

（5）特殊化：HL→相似（直角三角形的特殊判定）。

2.【重要】基本相似图形的显性化建模

将复杂图形剥离为三个基本模型，这是应对中考综合题的关键能力：

（1）A字型与斜A型（含公共角）：

如图，DE∥BC→△ADE∽△ABC；若∠AED=∠C，则△ADE∽△ACB（反A）。【必考】

（2）8字型（含对顶角）：

如图，AB∥CD→△AOB∽△DOC；若∠A=∠D，则△AOB∽△DOC。【必考】

（3）一线三等角型（含一线三垂直）：

同一直线上三个角相等，则左右两个三角形相似。此为中考几何压轴题高频载体。【热点】

教师几何画板演示：从一般“一线三等角”到特殊“一线三垂直”的动态演化，揭示“变中不变”的数学本质。

3.定理应用的反向思考

师：今天我们用全等三角形去证明相似。但在实际问题中，常常反过来——用相似去证明线段相等。这种互逆思维，正是数学的美妙之处。

（六）变式应用与即时评价阶段：从标准图形到复杂背景

【教学时长】15分钟

【高频考点】【热点】【难点】

1.基础性例证：定理的直接识别与对应书写（全员达成）

例1：如图，在△ABC中，DE∥BC，AD=3，DB=2，AE=2.5，求EC的长。

（学生口答，重点训练“由平行直接得相似，由相似列比例”的基本技能。）

2.综合性例证：判定定理的混合识别（分层教学）

例2：如图，在△ABC中，D为AB边上一点，∠ACD=∠B。

求证：（1）△ACD∽△ABC；（2）若AD=2，AB=8，求AC长。

（本题模型为“母子型相似”，是中考高频模型，具有高度识别价值。）

【重点讲评】判定依据是定理1（AA），但图形特征为“共角共边”，导致AC既是△ACD的边，也是△ABC的边，比例式AC/AB=AD/AC可化为AC²=AD·AB——射影定理雏形。

3.拓展性挑战：网格背景下的相似判定（综合素养）

例3：如图，在5×5网格中，判断格点△ABC与格点△DEF是否相似，并说明理由。

（训练目标：利用勾股定理求各边长度，计算比值，运用定理3判定。渗透数形结合、代数运算与几何直观的综合运用。）

4.【高频易错题集中营】

（1）对“夹角”识别不清：在△ABC与△A‘B’C‘中，AB/A’B‘=AC/A’C‘，∠B=∠B’，能否判定相似？

（反例：将△A‘B’C‘变形，保持∠B相等，但改变∠A大小，两边比仍成立，三角形不相似。强化“夹角必须是成比例两边的夹角”。）

（2）特殊等腰三角形：含100°内角的等腰三角形必相似；含50°内角的不一定相似（50°可能是顶角或底角）。【高频】

五、作业设计：分层建构与素养延伸

（一）基础巩固类（面向全体）

1.完成课本P102随堂练习1、2题，规范书写证明过程，标注每一步推理的依据。

2.整理本节课三个定理的证明思路，用流程图形式呈现“辅助线—中间三角形—全等/相似—结论”的逻辑链。

（二）综合应用类（面向中上）

3. 如图，四边形ABCD是平行四边形，E是BC延长线上一点，AE交CD于F。图中共有几对相似三角形？请全部找出并选一对证明。（训练复杂图形中分解基本模型的能力）

4. 已知：如图，△ABC中，∠C=90°，CD⊥AB于D。请利用本节课所学判定定理，证明△ACD∽△ABC，并写出对应边成比例的比例式。（射影定理前奏）

（三）探究拓展