几何辅助线不是凭空猜出的一条线，而是为了让某个定理“有条件可用”而增加的构造。面对一道证明题，先判断目标可能由哪些定理推出，再比较当前已知与定理前提之间缺少什么，辅助线的候选范围就会明显缩小。
数形智拍(GeoSnap)在处理辅助构造时，把新增的点和线与后续证明放在一起解释：为什么要作这条线，它制造了哪些等角、等长、直角、比例或圆关系，最终补齐了哪个定理的前提。这样关注的是作图的逻辑目的，而不只是记住图形模板。
几何辅助线怎么找？ 从目标结论反推可用定理，列出每个定理尚缺的前提，再选择能够一次制造多个所需关系的构造。常见候选包括连接或延长、作平行线、作垂线、取中点、作角平分线、连接圆心与圆上点，以及对称、平移或旋转构造。
关键结论
- 辅助线的本质是引入合法对象，建立原图中尚未显式出现的可用关系。
- “看见某种图形就画某条线”只是候选生成，不能替代定理前提检查。
- 好的构造通常同时利用多个已知，并直接服务于目标或关键中间结论。
- 目标反推负责缩小方向，已知正推负责判断构造后能得到什么，两者需要在中间会合。
- 同一道题可能存在多种辅助线；最短、最熟悉或最易验证的路线都可能合法。
- 作图之后必须重新列出新增关系，若无法产生可调用定理，它就是当前路线中的无效构造。
- AI 可以搜索候选辅助线并解释用途，但仍应检查新增对象是否合法、证明是否闭合。
辅助线为什么会让证明突然变简单？
辅助线改变的不是题目真值，而是可调用定理的集合。 原有条件已经决定结论是否成立，但它们未必以熟悉定理能够直接读取的形式出现；新增构造把同一信息重新组织成三角形、平行线、直角、圆或变换关系。
例如，已知一个角被分成两部分且希望比较两段长度，原图里可能没有可直接全等的三角形。连接某个顶点、作角平分线，或在一条边上复制长度后，新形成的两三角形就可能满足 SAS 或 ASA 条件。
这种过程可以表示为：
当前已知 + 目标
↓ 反推候选定理
定理缺失的前提
↓ 选择合法构造
新增关系 + 原有关系
↓ 正推并验证
关键中间结论 → 目标
AlphaGeometry 研究也将辅助构造视为自动几何证明的核心难点。系统需要先提出原题没有给出的新点或新线，再由符号引擎确认这些构造是否真正带来证明。这与手工解题中的难点一致：画线容易，知道为什么画才困难。
找辅助线之前，先做哪三步？
先固定已知、目标和可用定理，再开始作图。 如果没有这三步，候选线条会快速膨胀，图形越画越复杂。
- 把已知转成关系表：等长、等角、平行、垂直、共线、中点、切线、圆周角分别列出。
- 把目标转成定理入口：要证等长，可考虑全等、等腰、圆的半径或变换；要证平行，可考虑角关系或比例关系。
- 写出缺口：若计划用 SAS 全等，当前已有两边但缺夹角；若计划用 AA 相似，当前只有一组等角，就明确寻找第二组角。
目标不同，辅助线的评价标准也不同：
| 目标类型 | 常见定理入口 | 希望构造出的关系 |
|---|---|---|
| 证明线段相等 | 全等、等腰、同圆半径、旋转 | 对应边、等角、公共边或等距点 |
| 证明角相等 | 全等、相似、平行、圆周角 | 平行线、共弧、角平分或等腰结构 |
| 证明垂直 | 直角三角形、圆的直径、垂直平分线 | $90^\circ$、等距或互余关系 |
| 证明平行 | 同位角、内错角、同旁内角、比例 | 可比较的角或截线比例 |
| 证明比例 | 相似、平行线分线段、面积关系 | 两组等角、对应边或同高结构 |
| 证明共圆 | 等角、互补、定点到两点关系 | 同弧所对角、对角互补或直角 |
下面七类不是互斥公式，而是一张候选构造表。具体题目可能组合其中两类，也可能通过坐标或向量完全绕开辅助线。
第一类：连接现有点或延长线段
当已知分散在同一图形的不同位置，连接或延长可以把它们装进同一组三角形或同一直线关系。 这是最基础的辅助构造，也是许多复杂路线的第一步。
什么时候尝试？
- 已知多个等长关系，却没有形成可以比较的两个三角形。
- 目标涉及两端点之间关系，而图中尚无连接线。
- 已知外角、线段和或线段差，需要把量放到一条直线上。
- 四边形问题中希望利用对角线产生三角形。
作图希望得到什么？
连接两个已有点通常会生成公共边，并把四边形拆成两个三角形；延长线段则可以生成外角、邻补角，或者将分散线段转化为和差关系。
例如，要证明平行四边形的一组对边相等，连接一条对角线后，两侧三角形共享公共边，同时由平行关系得到两组内错角，进而可以使用 ASA 全等。
如何验证？
作图后至少应回答：新线段属于哪两个三角形？它提供公共边、外角还是线段和？如果只是把两个点连起来，却没有新增可用定理入口，就应撤回并比较其他构造。
第二类：过点作平行线
平行线的主要作用是搬运角与比例。 它可以把原本位于不同位置的角转换为同位角或内错角，也可以通过平行线分线段定理建立比例。
什么时候尝试？
- 已知多个角，但它们不在同一组三角形中。
- 目标是相似、比例或线段乘积。
- 三角形一边上有中点，希望形成中位线结构。
- 需要把一个角复制到另一位置，构造等角关系。
作图希望得到什么？
过顶点作对边平行线，常能把三角形内角和转化为一条直线上的三个邻角。过一点作某边平行线，则可能得到两组三角形等角，直接进入 AA 相似。
欧几里得《几何原本》第一卷命题 31给出了过已知点作已知直线平行线的经典构造。这里重要的不只是作法本身，而是平行构造一旦合法，就能持续提供角与比例的传递关系。
如何验证？
明确写出“新线平行于谁”，再逐个标出由此得到的同位角、内错角或同旁内角。不要只写“作平行线，所以相似”，中间仍需指出两组对应角。
第三类：作垂线或高
垂线把一般图形转化为直角三角形，使勾股、锐角三角函数、HL 全等、射影关系和面积公式进入可用范围。 当目标同时涉及长度与角度时，垂线往往是高价值候选。
什么时候尝试？
- 已知等腰三角形、角平分或中线，目标涉及底边关系。
- 需要证明线段平方、长度和差或面积。
- 圆中出现弦、圆心距或切线。
- 目标是垂直，但当前没有显式直角三角形。
作图希望得到什么？
从顶点向对边作高，可以形成两个直角三角形；若原图还有等边或等角条件，就可能通过 HL、ASA 或相似进行比较。在圆中，从圆心向弦作垂线还能连接“垂径定理”相关的弦中点关系。
欧几里得第一卷命题 12展示了从给定点向直线作垂线。现代证明中可以直接调用已建立的垂线构造，但仍要说明垂足的位置与新产生的两个直角。
如何验证？
检查垂足是否定义、是否落在直线还是线段延长线上，并列出所有新直角。图上看似垂直不能代替构造或已知。
第四类：取中点、作中线或中位线
中点把一条线段分成两段相等，为全等、中心对称、平行和面积关系提供稳定入口。 当目标包含“二倍”“一半”“面积相等”或四边形对角线时，应优先检查中点结构。
什么时候尝试？
- 已知或目标涉及两段相等、倍长或线段和差。
- 希望得到三角形中位线，从而建立平行与一半长度。
- 四边形对角线互相平分，或需要构造中心对称。
- 需要让两个三角形共享等长边。
作图希望得到什么？
在一边取中点并连接对顶点，可以构造中线；连接两边中点，可以构造中位线。将某段延长一倍，也常等价于以端点为中点构造对称点，从而把线段倍数转化为等长关系。
欧几里得第一卷命题 10给出了二等分已知有限直线的构造。中点不是图上“大约居中”的点，而是由两段等长定义的对象。
如何验证？
写出中点带来的两项信息：点位于对应线段上，以及两侧线段相等。只使用其中一项，往往会导致全等条件不完整。
第五类：作角平分线或复制角
角平分构造把一个角变成两组等角，适合连接全等、相似、等距与比例。 如果角条件丰富但边关系不足，角平分线可以成为把角与长度联系起来的桥梁。
什么时候尝试？
- 目标涉及两边比例，且已知一个顶角。
- 需要构造两个具有公共边和等角的三角形。
- 点到角两边的距离关系可能有用。
- 已知某条线平分角，但图中缺少垂足或连接线。
作图希望得到什么？
角平分线首先产生两角相等；若再从线上一点向角两边作垂线，可以得到两个直角三角形，并证明该点到角两边距离相等。反过来，若一点到角两边等距，也可用全等路线证明它位于角平分线上。
欧几里得第一卷命题 9展示了二等分已知角的构造。角平分线定理则进一步把等角转化为对边分段比例。
如何验证？
注意“平分哪个角”以及角的两条边方向。遇到外角平分线时，不能直接套用内角平分线的图形记忆，必须重新核对有向角或比例关系。
第六类：圆中连接半径、直径、圆心与切点
圆的辅助线常用于把弧、弦、切线关系转化为等腰三角形、直角或圆心角。 圆上许多看似分散的角度和长度，都可以通过圆心建立共同依据。
什么时候尝试？
- 已知切线，却没有连接圆心与切点。
- 已知弦、弧或圆周角，需要比较圆心角。
- 目标涉及直角或共圆，可考虑连接直径端点。
- 两圆相交或相切，需要连接两圆圆心。
作图希望得到什么？
连接圆心与切点可得到半径垂直切线；连接圆心与弦端点可得到等腰三角形；连接直径两端与圆上一点可利用直径所对圆周角为直角。两圆问题中，连心线还可以组织相切点、公共弦和垂直平分关系。
这类构造的优势是“一线多用”：一条半径既提供固定长度，又可能提供垂直或等腰结构。
如何验证？
确认所连点确实在圆上、线段端点确实是圆心与圆上点。若切点或圆心只是根据图形位置猜测，就不能调用半径与切线定理。
第七类：构造对称点、平移或旋转图形
几何变换把分散的长度和角搬到同一位置，使线段和差、折线最短、全等与等角关系变得可见。 这类方法表面上变化最大，实质仍是保持某些不变量。
什么时候尝试？
- 已知多组等长或固定角，尤其出现 $60^\circ$、$90^\circ$、$120^\circ$。
- 目标包含折线路径、线段和差或最短距离。
- 两个三角形位置分离，直接比较不方便。
- 图形具有中心对称、轴对称或旋转结构。
作图希望得到什么？
轴对称保持长度和角度，可以把折线路径拉直；绕一点旋转固定角度，可以把一条线段搬到另一方向并生成全等三角形；平移可以把平行且等长的线段组织成平行四边形。
例如出现等边三角形或 $60^\circ$ 角时，旋转 $60^\circ$ 会同时保持长度并制造方向关系。这里不能只写“旋转后显然重合”，而应声明旋转中心、角度、方向以及对应点。
如何验证？
列出变换保持的量：轴对称、平移和旋转都保持长度与角度，但它们对方向、点的位置和有向角影响不同。只有在对应关系明确后，才能调用全等或共线结论。
七类辅助线如何快速匹配条件？
匹配辅助线时，不要问“这张图像哪种题型”，而要问“当前目标需要哪种关系，哪种构造能用现有条件合法地产生它”。 同一个中点既可能提示中位线，也可能提示延长倍长或中心对称，必须由目标筛选。
| 已知或目标信号 | 优先检查的构造 | 典型目的 |
|---|---|---|
| 四边形、对边关系 | 连接对角线 | 拆成三角形、产生公共边 |
| 角很多但位置分散 | 作平行线、复制角 | 搬运角、建立 AA 相似 |
| 长度平方、面积、垂直 | 作高或垂线 | 形成直角三角形 |
| 中点、倍长、面积相等 | 中线、中位线、中心对称 | 产生等长、平行或同高 |
| 角平分、等距、比例 | 角平分线并配合垂线 | 连接角与边 |
| 弦、切线、圆周角 | 连接圆心、半径、直径 | 产生等腰、垂直或直角 |
| 固定角、线段和差、最短路 | 对称、平移、旋转 | 搬运长度与方向 |
这个表用于生成候选，不是自动答案。候选构造必须回到完整定理前提，并通过证明链检验。
怎样用目标反推法选择辅助线？
目标反推法把“灵感”改写为有限的前提补全问题。 以“证明 $AB=AC$”为例，可以从四类入口反推：两个三角形全等、点 A 位于 BC 的垂直平分线上、AB 与 AC 同为某圆半径，或存在把 B 映到 C 的保距变换。
具体流程如下：
- 列出目标的 2—4 个常见充分条件。 不要只押一个定理。
- 逐项标记已经满足的前提。 例如全等路线已有一边一角，还缺第二组关系。
- 筛选能利用最多已知的构造。 一条线若同时产生公共边和两组角，优先级高于只带来一个弱关系的构造。
- 正推三步进行试算。 构造后尝试连续推出两到三个新结论；如果立刻中断，说明缺口尚未补齐。
- 检查是否接近目标。 新关系应进入目标定理的前提集合，而不是只让图形更复杂。
- 比较并保留替代路线。 若两条路线都合法，优先选择依赖更少、表达更清晰的一条。
这套方法与自动证明中的搜索类似。TongGeometry使用前向链和反向追踪组织合成几何的提出与求解，并专门分析辅助构造的依赖。无论人工还是机器，核心都不是无限枚举，而是用目标和定理结构约束搜索。
怎样判断一条辅助线是有效还是无效？
有效辅助线必须产生可陈述的新关系，并缩短从已知到目标的逻辑距离。 “图看起来更熟悉”不足以说明它有效。
可以用五问检验：
- 新点、新线是否通过公理、定义或已证构造合法引入？
- 构造后新增了哪些明确关系？
- 这些关系补齐了哪个定理的哪些前提？
- 新定理能否继续推出目标或关键中间结论？
- 整条路线是否出现未定义对象、方向偷换或循环引用？
如果只能回答第一问，说明只是完成了作图；能回答前四问，才说明它进入了解题路径。完整的逐步校验方法可继续阅读《几何证明如何逐步验证？》。
数形智拍如何解释辅助线？
数形智拍不是只在原图上多画一条线，而是把辅助构造与后续步骤绑定。 应用重绘题目图形，显示新增对象，再说明这条线带来了哪些角、边、平行、垂直或圆关系，以及后续调用了什么定理。
辅助线搜索与原理图谱因此形成闭环：目标定理暴露缺失前提，候选构造尝试补齐前提，证明生成后再检查引用是否属于合法依赖。数形智拍原理库目前将 4 个公理与 138 条定理通过 330 条依赖边连接起来；这张图提供定理层的约束，具体作图仍需要结合当前题目。
可以在数形智拍产品与辅助线演示查看重绘与逐步推理，也可通过《从 4 条公理到 138 条定理》了解定理依赖怎样限制证明路线。
常见问题
几何辅助线有固定公式吗？
没有覆盖所有题目的固定公式，但存在可复用的构造—定理组合。把这些组合当作候选生成规则，再用当前已知、目标和完整定理前提筛选，比机械套图形模板更可靠。
一道题只能有一条正确辅助线吗？
不一定。同一个结论可能通过全等、相似、圆、几何变换或坐标方法证明，每种路线的辅助构造都可能不同。只要构造合法、推导连续且结论闭合，就是有效路线。
画了很多线仍然没有思路怎么办？
先停止继续加线，把目标可用的定理和每个定理缺失的前提写出来。删除不能产生明确新关系的线，再从能同时利用多个已知的构造开始试算。
辅助线需要在证明中说明作法吗？
需要。证明应说明新增点或线如何定义，例如“过 A 作 BC 的平行线”或“取 D 为 BC 中点”。只有定义明确，后续得到的平行、等长或垂直关系才有合法来源。
AI 自动画出的辅助线一定正确吗？
不一定。AI 可以生成高价值候选，但仍要检查构造是否合法、是否补齐定理前提、后续推导是否闭合。辅助线本身不会证明结论，它只为证明增加可用关系。
结语：把辅助线从图形记忆变成前提补全
寻找辅助线最稳定的起点，不是回忆“这张图以前见过什么”，而是明确目标需要哪些定理前提。连接、平行、垂线、中点、角平分、圆内构造和几何变换，都是把已有信息重新组织成可用关系的方式。
下一步可以任选一道需要辅助线的题，只展开到“已知—目标—候选定理—缺失前提”四栏，再在数形智拍的图形重绘与辅助线流程中对照系统构造，检查双方是否在补齐同一个逻辑缺口。
参考资料
- Euclid, Elements, Book I.
- Trinh et al., Solving Olympiad Geometry without Human Demonstrations, Nature, 2024.
- Fu et al., GeoLaux: A Benchmark for Evaluating MLLMs' Geometry Performance on Long-Step Problems Requiring Auxiliary Lines, 2025.
- Zhang et al., Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs, 2017.
- Zhang et al., Proposing and Solving Olympiad Geometry with Guided Tree Search, Nature Machine Intelligence, 2026.
- Hu et al., Visual Sketchpad: Sketching as a Visual Chain of Thought for Multimodal Language Models, NeurIPS 2024.
- 数形智拍产品与原理图谱, ByuTech.