初中数学九年级下册：圆中四点共圆模型的深度探究与高阶应用教案

初中数学九年级下册：圆中四点共圆模型的深度探究与高阶应用教案

  一、教学背景分析与理念定位

  本教学设计面向九年级下学期学生，此时学生已经系统学习了圆的基本概念、垂径定理、圆周角定理及其推论、点与圆、直线与圆的位置关系，并具备了初步的几何推理与证明能力。四点共圆模型作为圆这一核心几何图形中的高阶综合模型，并非北师大版教材中明示的独立章节，而是分散在圆周角定理、圆内接四边形性质等知识点中的隐性脉络与制高点。传统的教学往往将其作为零散的解题技巧处理，缺乏系统性建构与深度思维渗透。本设计立足于数学学科核心素养，尤其是直观想象、逻辑推理和数学建模素养的培育，旨在打破单点知识壁垒，引导学生主动建构四点共圆的判定与性质体系，并透视其内在的数学统一美（如角度转化、幂定理关联）及跨学科（如天文学、工程测量）应用价值。设计遵循“现实情境感知—数学抽象建模—逻辑推理论证—模型迁移创新”的认知路径，强调学生的主体探究与教师的支架引导相结合，力求将四点共圆模型从“解题工具”升华为“思维范式”。

  二、教学目标设定

  （一）知识与技能目标

  1.能够准确复述并证明四点共圆的五个基本判定定理：对角互补判定法、外角等于内对角判定法、同底同侧等顶角判定法、相交弦定理逆定理判定法、视角相等判定法。

  2.能够熟练运用四点共圆模型的性质，包括圆内接四边形的对角互补、外角等于内对角、同弧所对的圆周角相等，以及由此衍生的线段比例关系（如托勒密定理的初步感知）和角度转化关系。

  3.能够在复杂的综合几何图形中识别或构造四点共圆模型，并运用该模型简化证明过程、发现几何关系、计算未知量。

  （二）过程与方法目标

  1.经历从具体几何问题中抽象出四点共圆共同特征的过程，提升几何直观和模型识别能力。

  2.通过小组合作探究、演绎证明，体验数学定理的发现与论证过程，发展严谨的逻辑推理能力。

  3.通过解决多层次、跨背景的例题与习题，掌握运用模型思想分解复杂问题、建立知识关联的策略性方法。

  （三）情感态度与价值观目标

  1.感受几何模型构建的简洁性与普适性之美，体会数学知识的内在统一性与对称性。

  2.在克服复杂几何证明挑战的过程中，培养坚韧的意志品质和理性的探索精神。

  3.通过了解四点共圆在历史（如古代天文测量）与现代科技中的应用，认识数学的工具价值和文化意义。

  三、教学重难点剖析

  （一）教学重点

  1.四点共圆的五种判定方法的推导与理解，特别是“对角互补”与“外角等于内对角”两个核心判定的等价性证明。

  2.在具体问题情境中，灵活选择恰当的判定方法证明四点共圆，并主动运用共圆后的性质进行推理与计算。

  （二）教学难点

  1.如何引导学生从“识图”（识别现成的共圆四点）过渡到“构形”（主动添加辅助圆或寻找隐藏的共圆关系），这是思维上的关键跃迁。

  2.在综合性较强的题目中，将四点共圆模型与其他几何模型（如相似三角形、直角三角形、切线长定理等）有机结合，形成多模型联动的解题策略。

  3.对托勒密定理等与四点共圆密切相关的拓展定理的理解与初步应用，需要较高的分析综合能力。

  四、教学策略与方法选择

  本设计采用“引导-探究-精讲-活用”四步循环教学法，融合以下策略：

  1.情境化引入：利用几何画板动态演示，创设四点动态变化但始终保持共圆的视觉情境，引发认知冲突与探究兴趣。

  2.探究式学习：将判定定理的发现交由学生小组合作完成，教师提供问题链支架，如“哪些条件能保证过三点的圆一定经过第四点？”

  3.结构化梳理：使用思维导图或概念图，将零散的判定方法系统化，明晰其逻辑关系（如哪些是等价的，哪些是更强的条件）。

  4.变式化训练：设计由浅入深、图形背景不断变化的例题组，促进模型识别与迁移能力。

  5.跨学科联结：穿插介绍古代利用四点共圆原理进行大地测量的案例，以及现代工程中确定圆心的应用，拓宽视野。

  五、教学准备

  1.教师准备：精心制作的多媒体课件，包含动态几何演示（如GeoGebra课件）；多层次例题与练习题卡片；课堂探究活动指导案。

  2.学生准备：复习圆的基本性质，特别是圆周角定理；圆规、直尺等作图工具；分组安排（4-6人一组）。

  六、教学过程实施

  第一课时：模型的发现与判定体系的建构

  （一）情境激活，问题驱动（预计用时：10分钟）

  教师活动：通过多媒体展示一组图片：古老的圆形石拱桥桥洞轮廓、汽车轮胎的截面、天体运行的圆形轨道。提问：“圆，作为一种最完美的平面图形，其本质特征是什么？”引导学生回顾圆的定义（平面内到定点的距离等于定长的点的集合）。随即，在几何画板中绘制一个圆，在圆上任取四点A、B、C、D，连接成四边形。动态拖动其中一点，使其在圆上移动，四边形形状改变但四点始终共圆。接着，拖动一点使其偏离圆，则四点不再共圆。

  核心提问1：我们如何用数学的语言，严格判断任意给定的四个点是否在同一个圆上？（定义法：找一点到四点的距离相等。但此法运算复杂，缺乏几何直观。）

  核心提问2：观察圆内接四边形ABCD，它的内角有什么特殊关系？∠A和∠C，∠B和∠D的位置关系如何？测量它们的度数，你有何发现？

  学生活动：观察、测量、思考并回答：∠A+∠C=180°，∠B+∠D=180°，即对角互补。

  教师活动：提出猜想：如果一个四边形的对角互补，那么它的四个顶点是否一定共圆？这就是我们今天要探究的核心问题之一。

  设计意图：从生活与数学本身的美感引入，唤醒对圆的认知。通过动态演示，直观呈现“四点共圆”与“不共圆”的状态差异，引发探究判据的动机。对角互补性质的回顾，为判定定理的探究埋下伏笔。

  （二）合作探究，推理论证（预计用时：25分钟）

  探究任务一：对角互补能否推出四点共圆？

  教师提供探究支架：已知四边形ABCD中，∠B+∠D=180°。试证明A、B、C、D四点共圆。

  提示：1.过不在同一直线上的三点（例如A、B、C）可以确定一个圆⊙O。2.点D与⊙O可能有几种位置关系？3.如何利用“对角互补”的条件，排除点D在圆内和圆外的可能性？

  学生活动：小组讨论，尝试书写证明过程。关键思路是使用反证法：假设点D不在⊙O上，则在圆内或圆外。连接AD并延长交圆于点D‘（或连接AD与圆相交），通过构造圆内接四边形ABCD’，利用圆周角定理推论（圆内接四边形对角互补）和已知条件，导出∠D与∠D‘的关系，进而推出矛盾（∠D>∠D’或∠D<∠D‘，但已知∠B+∠D=180°=∠B+∠D’）。

  教师活动：巡视指导，收集典型证明思路和普遍困难。请小组代表上台板演证明过程，并讲解思路。教师进行规范化板书，强调反证法的逻辑步骤。由此，共同得出判定定理一：如果四边形的对角互补，那么这个四边形的四个顶点共圆。

  探究任务二：还有哪些条件可以判定四点共圆？

  教师引导：“对角互补”是从四边形内角关系出发的。如果从角的关系看，还有其他线索吗？例如，观察∠1（四边形的一个外角）和∠C（其相邻内角的对角）有什么关系？

  学生活动：通过观察图形和测量，发现圆内接四边形的外角等于其内对角。进而猜想：如果四边形的一个外角等于它的内对角，那么四点共圆。

  教师活动：组织学生尝试独立证明此猜想。学生很快发现，因为外角与其相邻内角互补，而外角等于内对角，所以内对角与其相邻内角也互补，这本质上等同于判定定理一。因此，判定定理二：如果四边形的一个外角等于它的内对角，那么这个四边形的四个顶点共圆。

  教师进一步拓展思维：以上是从四边形整体出发。如果我们面对的只是四个点，没有预先连成特定的四边形，如何判断？展示图形：线段AB同侧有两点C和D，且∠ACB=∠ADB。

  学生活动：思考并尝试证明。引导发现，可以以AB为弦，从圆周角定理的逆定理角度思考：在同圆或等圆中，同弧所对的圆周角相等。其逆命题是否成立？即，如果线段AB同侧的两点C、D对AB的张角（即视角）相等，那么A、B、C、D四点共圆。通过构造△ABC的外接圆，再证明点D在圆上（类似反证法），可以完成证明。得出判定定理三：若线段同侧两点对该线段的张角相等，则这两点和线段两端点四点共圆。

  教师继续引导：从线段乘积关系看呢？回顾相交弦定理：圆内两条相交弦，被交点分成的两条线段长的积相等。它的逆命题是否成立？即，如果两条线段AB和CD相交于点P，且PA·PB=PC·PD，那么A、B、C、D四点共圆。同样组织学生探讨证明思路（通常需构造相似三角形，证明角相等，进而转化为判定定理三）。得出判定定理四（相交弦定理逆定理）。

  设计意图：将判定定理的发现过程还给学生，通过层层递进的问题链，引导学生从不同角度（内角、外角、视角、线段积）探索四点共圆的充分条件。小组合作与独立探究相结合，反证法的运用得到强化，逻辑推理能力得到扎实训练。教师的作用是搭建脚手架、梳理证明思路、规范表达。

  （三）体系梳理，深化理解（预计用时：10分钟）

  教师活动：引导学生将四个判定定理进行归纳比较，用结构图表示。

  核心梳理：

  1.等价性：判定定理一（对角互补）与判定定理二（外角等于内对角）本质互通，是最常用的判定依据。

  2.应用场景：判定定理三（同侧等角）特别适用于图形中有一个公共线段，且要证共圆的点位于该线段同侧的情形，视角敏锐。

  3.代数关联：判定定理四（线段积相等）建立了线段长度数量关系与四点共圆几何关系的桥梁，为后续学习圆幂定理体系埋下伏笔。

  教师强调：判定四点共圆，核心目标是“找等角”（或互补角），因为共圆后能带来丰富的角相等关系，这是解决几何问题的关键。

  学生活动：整理笔记，构建个人知识网络图，理解各判定定理的内在联系与适用条件。

  设计意图：帮助学生将零散发现系统化、结构化，形成关于四点共圆判定的认知网络，明确各定理的逻辑地位和应用特点，促进知识的长期存储和有效提取。

  （四）课堂小结与预告（预计用时：5分钟）

  教师小结：本节课我们通过探究，自主建构了四点共圆的四个判定定理。它们是从不同角度切入，但最终都服务于一个目标：证明四个点共享同一个圆。共圆本身不是终点，而是手段，是为了利用圆的性质（尤其是圆周角定理）来转化角的关系。

  布置课后思考题：1.尝试证明“切割线定理的逆定理”也可以作为四点共圆的判定（即割线定理逆定理）。2.预习：四点共圆后，除了对角互补、外角等于内对角，还能给我们带来哪些几何性质？这些性质如何用于解决问题？

  设计意图：总结提升，点明模型学习的意义。思考题具有承上启下和拓展性，为下节课学习性质和应用做铺垫。

  第二课时：模型的性质剖析与基础应用

  （一）温故知新，性质探究（预计用时：15分钟）

  教师活动：快速复习上节课的四个判定定理。提问：一旦我们证明了A、B、C、D四点共圆，那么这个圆内接四边形ABCD自动拥有了哪些性质？

  学生活动：齐答：1.对角互补：∠ABC+∠ADC=180°，∠BAD+∠BCD=180°。2.外角等于内对角：例如∠CBE=∠ADC。

  教师追问：除了这些直接从圆内接四边形定义和圆周角定理推论得出的性质，还有哪些隐含性质？提示：考虑弧与角的关系。

  学生活动：思考并回答：3.由同弧或等弧所对的圆周角相等，可以得出多组角相等。例如，弧AB所对的圆周角∠ACB=∠ADB；弧BC所对的圆周角∠BAC=∠BDC等。这是四点共圆模型最强大的功能——角度转化器。

  教师深入：从线段关系看呢？是否有一些特定的结论？简要介绍托勒密定理：圆内接四边形的两组对边乘积之和等于两条对角线的乘积。即，若ABCD内接于圆，则AB·CD+BC·AD=AC·BD。此定理证明稍复杂，本节课仅作介绍，学生了解其结论，并观察其形式。

  设计意图：巩固判定，重点转向性质。引导学生不仅看到显性的互补角关系，更要看到隐性的多组等角关系，这是运用模型解题的思维关键。引入托勒密定理作为高阶视野拓展，激发学有余力学生的兴趣。

  （二）典例精析，掌握应用（预计用时：30分钟）

  例题组一：直接识别与简单应用

  例题1：如图，四边形ABCD内接于⊙O，延长AB至点E。若∠CBE=70°，求∠ADC的度数。

  学生活动：迅速识别出∠CBE是外角，∠ADC是其内对角，由性质直接得∠ADC=70°。

  教师变式：若连接AC，∠ACB=40°，求∠ADB的度数。

  学生活动：识别∠ACB与∠ADB是同弧AB所对的圆周角，故相等，为40°。

  设计意图：通过最基础的图形，巩固对性质的直接应用，建立“见共圆，寻等角/互补角”的初步反应。

  例题组二：判定与性质的循环使用

  例题2：如图，△ABC中，以AB为直径作⊙O，过点C作⊙O的切线CD，D为切点。过点B作BE∥CD，交AC于点E。求证：点A、D、E、B四点共圆。

  教师引导分析：

  1.目标：证A、D、E、B四点共圆。观察图形，这四点已构成四边形ADEB吗？（是的）

  2.已有条件：AB是直径，CD是切线，BE∥CD。由切线性质，连接OD，得OD⊥CD。由平行，得BE⊥OD？不，需转换。连接BD。

  3.思路探寻：尝试使用判定定理一（证对角互补）或三（证同侧等角）。观察∠ADB，因AB是直径，故∠ADB=90°。若能证明∠AEB=90°，则对角互补（90°+90°=180°）成立。或者证明∠AEB=∠ADB=90°（同侧等角，AB为公共边）。

  4.关键：证明∠AEB=90°，即BE⊥AC。如何证？利用切线和平行：由CD是切线→∠CDB=∠A（弦切角定理，九年级下已学），由BE∥CD→∠EBC=∠BCD？需要更直接的关系。另一种思路：由直径AB→∠ACB=90°，若BE是△ABC的高即可。转而证明BE⊥AC。由CD是切线→OD⊥CD，结合BE∥CD→OD⊥BE？需连接OE？这变得复杂。

  5.优化思路：利用判定定理三，证∠ADB=∠AEB。∠ADB=90°已知。转而证∠AEB=90°。连接BC，AB是直径→∠ACB=90°。要证∠AEB=90°，即证BE是△ABC的高，需证E是垂足。已知BE∥CD，而CD是切线，∠ADC是弦切角？连接BC后，∠DCB是弦切角，等于∠CAB。因为BE∥CD，所以∠EBC=∠DCB=∠CAB。在△ABC和△BCE中，∠CAB=∠EBC，∠ACB=∠BCE=90°，所以△ABC∽△BCE，从而∠BEC=∠ABC。但这不是90°。此路可能不通。

  6.回到基本图形：连接BD、BC。AB是直径→∠ADB=90°，∠ACB=90°。CD是切线→∠CDB=∠CAB（弦切角定理）。BE∥CD→∠DBE=∠CDB（内错角？需确认D、B、E是否共线？不一定）。更稳妥：由BE∥CD，得∠EBC+∠BCD=180°。而∠BCD作为圆内角，与∠BAD互补？不直接。

  7.教师精讲：实际上，此题更简洁的证明是利用判定定理二（外角等于内对角）。观察四边形ADEB，要证其共圆。延长AD，考虑其外角∠BDF（F在AD延长线上）。若能证明∠BDF=∠AEB，即可。连接BD、BC。∵AB是直径，∴∠ADB=90°，即BD⊥AD。又∵CD是切线，∴BD⊥CD（需证明吗？实际上，由切线性质，连接OD，则OD⊥CD，但OD不一定垂直BD）。更严谨的做法：连接OD，则OD⊥CD。∵BE∥CD，∴OD⊥BE。问题转化为证明OD垂直平分BE？不必要。

  鉴于课堂时间，教师呈现一种清晰证法：连接BD。∵AB是直径，∴∠ADB=90°。∵CD是⊙O的切线，∴∠BDC=∠BAD（弦切角定理）。∵BE∥CD，∴∠DBE=∠BDC（两直线平行，内错角相等）。∴∠DBE=∠BAD。在四边形ADEB中，∠BAD是内角，∠DBE可以看作是边EB与AD延长线的夹角，即外角。更准确地说，∠DBE是四边形ADEB的外角（因点B处，∠ABE是平角，∠DBE是∠ABE的一部分，但不是标准外角）。需要调整视角：观察四边形ADEB，∠BAD的内对角是∠BED。若能证∠BAD=∠BED，则由判定定理二（外角等于内对角，此处∠BAD看作“内对角”，其相邻补角的外角需等于∠BED？表述需严谨）。

  实际上，更直接使用判定定理三：连接BD后，A、B、D已在圆上（半圆），要证E也在该圆上，只需证∠AEB=∠ADB=90°。因此核心是证BE⊥AC。连接BC。∵AB是直径，∴∠ACB=90°。∵CD是切线，∴∠BCD=∠BAC（弦切角定理）。∵BE∥CD，∴∠CBE=∠BCD（两直线平行，内错角相等）。∴∠CBE=∠BAC。在Rt△ABC中，∠BAC+∠ABC=90°。∴∠CBE+∠ABC=90°，即∠ABE=90°。但这得到的是∠ABE=90°，不是∠AEB=90°。

  由此发现，欲证∠AEB=90°，需另辟蹊径。教师可引导学生作辅助线：连接DE？或重新审视条件。考虑到教学实际，此例题可适当简化或更换为思路更清晰的题目，以避免在复杂的分析中消耗过多时间，偏离“性质应用”的主线。例如，更换为以下更典型的例题：

  例题2（修订）：如图，在△ABC中，AD⊥BC，BE⊥AC，垂足分别为D、E。求证：点A、B、D、E四点共圆。

  学生活动：观察发现∠AEB=∠ADB=90°。由判定定理三（同侧等角），以AB为公共边，E和D在AB同侧，且对AB的张角都是90°，故A、B、D、E四点共圆。

  教师强调：此例中，两个直角是显性条件，直接运用判定定理三，简洁明了。共圆后，立即得到性质：∠ADE=∠ABE（同弧AE所对圆周角），∠BED=∠BAD（同弧BD所对圆周角）等，这为后续证明其他结论（如角相等）提供了便利。

  设计意图：通过例题分析，展示如何选择恰当的判定定理。修订后的例题更聚焦于核心思维，即快速识别直角三角形两直角顶点与斜边两端点共圆（实则为“定边对定角”模型的特例）。

  例题组三：在复杂图形中识别隐藏的共圆关系

  例题3：如图，PA、PB是⊙O的切线，A、B为切点。连接PO交⊙O于点C，交弦AB于点D。连接AC、BC。图中存在哪些四点共圆的情况？并说明理由。

  学生活动：小组观察、讨论、尝试证明。

  可能发现的共圆组：

  1.A、O、B、P四点共圆。理由：连接OA、OB，则OA⊥PA，OB⊥PB，故∠OAP=∠OBP=90°。点O、P在AB同侧，且对AB的张角都是90°，由判定定理三得证。（或由对角互补：在四边形OAPB中，∠OAP+∠OBP=180°）。

  2.A、D、C、B四点共圆？需要验证。C在PO延长线上，PO是直径吗？由于C在⊙O上，且P在圆外，连接OC，OC是半径。PO不一定过圆心O？题目说“连接PO交⊙O于点C”，并未明确C是特定点。但通常此类图形中，PO是连心线（对于切线），延长线过圆心O，所以C是PO与圆的另一个交点，且O是PC中点？不，O是圆心，C在圆上，PO可能大于半径。但由切线长定理，PA=PB，OA=OB，所以PO垂直平分AB，且∠OAP=90°。连接OA，在Rt△OAP中，AD是斜边上的高。由射影定理或相似关系，易得AD²=PD·DO等。要证A、D、C、B共圆，可尝试证∠ADC=∠ABC？或∠ADB+∠ACB=180°？需利用已知角度。

  3.P、A、D、O四点共圆？在Rt△OAP中，∠OAP=90°，OD⊥AD？不一定。但由∠OAP=∠ODA=90°？∠ODA不一定90°。已知PO垂直平分AB，所以AD=BD，OD⊥AB，故∠ODA=90°。所以∠OAP=∠ODA=90°，因此P、A、D、O四点共圆（同侧等角，以OP为边？需调整：观察四边形PADO，∠PAO与∠PDO是否互补？∠PAO=90°，∠PDO是平角的一部分？更准确：∠PAO和∠PDO，点O和A对PD的张角？使用判定定理三：考虑线段PD，点A和O在PD同侧，证∠PAD=∠POD？或∠PAO=∠PDO？由∠PAO=90°，需证∠PDO=90°，而OD⊥AB，但AB不一定是切线，在圆内。实际上，∠PDO不一定等于90°。此路可能不通。

  鉴于复杂性，教师可引导学生聚焦于最容易证明的第一组共圆关系，并利用其性质。例如，由A、O、B、P共圆，可得∠APO=∠ABO（同弧AO），而∠ABO=∠BAO（OA=OB），所以∠APO=∠BAO。这可以用于推导其他相似三角形。

  设计意图：训练学生在复杂交织的图形中，有目的地搜索潜在的共圆关系。这需要综合运用圆的各类性质（切线性质、垂径定理等）和四点共圆的判定定理。此过程能极大提升学生的几何直观和综合推理能力。

  （三）课堂练习，巩固反馈（预计用时：10分钟）

  出示两道分层练习题，学生独立完成，教师巡视。

  练习1（基础）：如图，四边形ABCD内接于圆，∠A=80°，∠B=120°，求∠C和∠D的度数。

  练习2（提高）：如图，在△ABC中，AB=AC，以AB为直径的⊙O交BC于点D，过点D作⊙O的切线交AC于点E。求证：点B、C、E、D四点共圆。

  设计意图：练习1直接应用圆内接四边形对角互补性质。练习2需要综合运用等腰三角形性质、直径所对圆周角、切线性质以及平行线或角度推导来证明四点共圆，有一定综合性，检验学生当堂掌握情况。

  （四）本课小结（预计用时：5分钟）

  师生共同总结：证明四点共圆是手段，目的是利用共圆后丰富的角相等（或互补）关系，将分散的条件集中，将复杂的角关系简化。解题时，要有意识地观察图形中是否存在具有公共边的等角、直角或互补角，这些往往是发现或构造四点共圆的线索。

  第三课时：模型的高阶综合应用与思维拓展

  （一）思维热身，模型关联（预计用时：10分钟）

  教师活动：呈现一个基本图形：直角三角形ABC，∠C=90°，CD是斜边AB上的高。提问：此图形中，我们已经知道哪些四点共圆关系？

  学生活动：迅速回答：A、C、D、B四点共圆（双垂直模型，∠ACB=∠ADB=90°）。进一步，由射影定理产生的相似三角形中，是否还有？例如，由△ACD∽△CBD，对应角相等，但不足以直接构成新的四点共圆。

  教师引导：连接CH，若H是△ABC的垂心，则图形中还存在更多共圆关系，如A、F、H、E（若E、F是垂足）等。这展示了四点共圆模型常与直角三角形、垂心等基本图形深度嵌套。

  设计意图：从一个极其经典的图形出发，快速激活学生的模型识别记忆，并引出复杂图形中多组四点共圆共存的局面，为高阶综合应用做铺垫。

  （二）典例突破，策略形成（预计用时：35分钟）

  例题4（综合证明题）：已知：如图，以△ABC的边AB为直径作⊙O，交AC于点D，过点D作⊙O的切线，交BC于点E。连接OE。求证：∠OEB=∠BAC。

  教师引导学生深度分析：

  1.条件梳理：AB是直径→连接BD，则∠ADB=90°。DE是切线→连接OD，则OD⊥DE。目标：证∠OEB=∠BAC。

  2.图形勘探：∠BAC在Rt△ABD中，是∠ABD的余角。∠OEB涉及点O、E、B。E是切线与BC的交点。OE是连接圆心和点E的线段。

  3.思路生成：直接证明两个角相等，可能通过三角形全等或相似，或通过等量代换。观察∠OEB，其所在三角形△OEB并不与含∠BAC的三角形明显相似。考虑转化：能否将∠OEB转化为另一个与∠BAC有明确关系的角？

  4.模型洞察：图中是否有四点共圆？尝试寻找。由切线DE，想到弦切角∠EDB=∠DAB（弧BD所对圆周角）。由直径AB，想到∠ADB=90°。连接BE，四边形BDEO？O、D、E、B？检查：∠ODE=90°，∠OBD？∠OBD=∠ODB（OB=OD），但不一定是90°。能否证明∠OBD+∠OED=180°？不易。

  连接OD、BD、BE。另一种思路：要证∠OEB=∠BAC，即证∠OEB=∠BAD（同一角）。由于∠BAD=∠BDE（弦切角定理），所以只需证∠OEB=∠BDE。即证D、E、O、B四点共圆！目标转化为证明点D、E、O、B共圆。

  5.证明新目标：证D、E、O、B四点共圆。有何条件？已知∠ODE=90°（OD⊥DE）。若能证明∠OBE=90°，则对角互补，可证。但∠OBE不一定是90°。或证明∠OED=∠OBD。已知∠OBD=∠ODB。所以需证∠OED=∠ODB。观察Rt△ODE，∠OED与∠DOE互余。而∠ODB在△OBD中，与∠DOB互余？因为OB=OD，所以∠ODB=(180°-∠DOB)/2=90°-∠DOB/2。关系不直接。

  考虑使用判定定理三：观察线段OB，点D和E在OB同侧，若证得∠OED=∠OBD，则D、E、O、B共圆。已知∠OBD=∠ODB。所以需证∠OED=∠ODB。这在Rt△ODE中，∠OED与∠EOD互余。而∠ODB与谁互余？连接BC？需要建立联系。

  由直径AB，∠ADB=90°，所以D在圆上。DE是切线，所以∠EDB=∠DAB。又∠DAB=∠DCB？（同弧BD？C点不在圆上？A、B、D在圆上，C是AC与圆交点，所以A、D、B、C？不对，C在圆外。A、D、B在圆上，C在直线AC上。）需要利用E在BC上。

  教师精讲：一种有效的证明方法是连接OD、BD后，关注△BDE和△BOE。由弦切角定理，∠EDB=∠DAB。由同弧所对圆周角，∠DAB=∠DCB？不，∠DCB是圆外角。转换思路：由于∠ADB=90°，所以BD⊥AC。在Rt△BCD中，DE可能是某种特殊线？实际上，可以尝试证明OE是△BDE某边的垂线？或者，利用“同一法”或计算角度。

  考虑到课堂效率和聚焦核心思想，教师可以呈现一种清晰的证明路径：

  证明：连接OD、BD。

  ∵AB是直径，∴∠ADB=90°，即BD⊥AC。

  ∵DE是切线，∴OD⊥DE，且∠EDB=∠DAB（弦切角定理）。

  ∵OB=OD，∴∠OBD=∠ODB。

  现在，考察∠OEB与∠ODB的关系。我们希望证明∠OEB=∠ODB，从而D、E、O、B四点共圆（因为∠ODB=∠OBD，所以即证∠OEB=∠OBD，此为判定定理二形式，即∠OEB是四边形ODEB的外角？需严谨表述）。

  注意到在四边形ODEB中，∠ODE=90°。若我们能证明∠OBE=90°，则对角互补，四点共圆。如何证∠OBE=90°？即证EB⊥AB。这不一定成立。

  另一种证法：尝试证明∠OED=∠OBD。∵∠OBD=∠ODB，∴即证∠OED=∠ODB。在Rt△ODE中，∠OED+∠EOD=90°。而∠ODB+∠DOB=?在等腰△OBD中，∠ODB=(180°-∠DOB)/2=90°-∠DOB/2。因此，若∠EOD=∠DOB/2，则可得∠OED=∠ODB。那么∠EOD是否等于∠DOB的一半？这需要E的位置特性。由DE是切线，可能通过弧的关系来证。

  实际上，此题有更巧妙的解法：连接OE后，证明△ODE∽△OBD。已有∠ODE=∠OBD？∠ODE=90°，∠OBD不一定是90°。但可以有△ODE∽△BDE？需要发掘。

  鉴于其复杂性，教师可适度调整题目或直接给出关键辅助线及思路，以避免陷入过深的技巧纠缠，转而强调“将目标角等量关系转化为证明四点共圆”这一核心策略。

  设计意图：本例旨在训练学生面对复杂几何证明时，运用“四点共圆”作为桥梁进行角转化的高阶策略。即使证明过程有难度，但分析思路——即识别或构造四点共圆以建立角等量关系——本身极具价值。教师需把控节奏，重在思维引导而非完全演算细节。

  例题5（探究性问题）：如图，在任意△ABC中，分别以AB、AC为边向外作正方形ABDE和ACFG。连接EG。求证：线段EG的中点M位于△ABC的高AH所在的直线上（或证明AH⊥EG且AH被EG平分）。

  教师引导：这是一个著名的几何定理（凡·奥贝尔定理的特例）。常规纯几何证明非常复杂。但我们能否运用四点共圆模型来寻找简洁的证明思路？

  1.构图分析：有两个正方形，很多直角。连接EC、BG，易证△AEC≌△ABG（SAS），从而EC=BG且EC⊥BG（这是一个经典结论）。现在关注EG的中点M和高AH。

  2.引入共圆：观察点A、E、B、D共圆吗？以AB为直径的圆（因为∠AEB=∠ADB=90°）。同理，A、C、G、F共圆（以AC为直径）。但这与M、H关系似乎不直接。

  3.关键洞察：尝试连接CH、BH。若H是△ABC的垂心，则有多组四点共圆。例如，B、C、H、E？E是正方形顶点，∠BEA=90°，若能证明∠BHE=90°？不易。

  4.教师揭示一种利用四点共圆的巧妙思路（概要）：连接BE、CG。设AH交EG于M‘，需证M’是EG中点。可以尝试证明A、E、H、G四点共圆，或B、C、H、M‘四点共圆等。通过角度计算，利用正方形带来的90°角和垂心带来的多组垂直关系，可以证明∠AEH=∠AGH（或互补），从而得到A、E、H、G共圆。再由圆心角、弦的中垂线等性质，推导出M‘的位置特性。

  由于此证明极为复杂，教师可作为思维拓展展示关键步骤，旨在让学生领略四点共圆