构造几何图形

使用经典尺规作图法构造几何图形，通过分析约束、选择基本操作、精确执行步骤并验证结果。

适用场景

• 使用尺规作图法构造特定角度、三角形或正多边形
• 构造平分线、中垂线和特殊三角形的心（重心、外心、内心、垂心）
• 证明某些构造是否在尺规作图约束下可行
• 在无电子工具的情况下教授或演示几何原理
• 为几何证明做准备（先构造图形，再证明性质）

输入

• 必需：目标图形的描述（例如"等边三角形"、"角平分线"、"外接圆"）
• 必需：给定元素（例如"给定线段 AB"、"给定角 alpha"）
• 可选：精度要求（对于理论构造，完美；对于实际绘图，±1mm）
• 可选：是否需要不可能性证明（例如三等分任意角）

步骤

第 1 步：分析目标图形的几何约束

理解需要构造什么以及从何处开始：

1. 列出已知元素：给定的点、线段、角度和圆。
2. 列出待构造元素：需要找到的点、线段和圆。
3. 确定几何关系：平行、垂直、等距、共线、共圆等约束。
4. 可行性检查：确认构造在尺规约束下是否可能。经典不可能性包括：
   • 三等分任意角
   • 化圆为方（构造与给定圆面积相等的正方形）
   • 倍立方体（构造体积为给定立方体两倍的立方体）

预期结果： 对目标图形有清晰的理解，所有约束已列出，并确认构造的可行性。

失败处理： 如果构造被证明不可能（通过代数论证——目标值不是给定值的有理运算和平方根的组合），则说明不可能性并建议近似构造。

第 2 步：制定构造计划

选择达到目标的基本操作序列：

1. 基本操作：
   • 过两点画直线
   • 以给定点为圆心、给定长度为半径画圆
   • 找两直线或直线与圆的交点
2. 标准子程序：
   • 中垂线：以 A、B 为圆心，以大于 AB/2 的相同半径画弧，交于 P、Q；PQ 即为中垂线
   • 角平分线：以顶点为圆心画弧交两边于 P、Q；以 P、Q 为圆心画等半径弧交于 R；连接顶点与 R
   • 过点作垂线：标准作图法
   • 复制角度：将给定角复制到新位置
   • 复制线段：将给定长度转移到新方向
3. 排列子程序：将所需的子程序排列成逻辑顺序，确定每步的依赖关系。

预期结果： 一个有序的构造步骤列表，每一步只使用之前步骤已建立的元素。

失败处理： 如果计划过于复杂，寻找替代构造方法。一个几何目标通常有多种构造方式，选择步骤最少的方案。

第 3 步：执行构造

按计划逐步执行：

1. 每步操作：执行一个基本操作（画直线或画圆/弧）。
2. 标注：为每个新生成的点、线或圆赋予标签。
3. 记录：写下每步的描述（"以 A 为圆心，AB 为半径画圆"）。
4. 交点检测：标记所有相关交点并标注。
5. 保持精度：不使用圆规上的刻度量角器——仅使用无刻度直尺和圆规。

预期结果： 构造完成，所有元素已标注，步骤已记录。

失败处理： 如果交点不存在（两圆不相交或直线与圆不相交），检查半径选择是否正确。调整参数并重新尝试。

第 4 步：验证构造正确性

确认构造的图形满足所有要求：

1. 度量验证（实际绘图）：测量关键长度和角度，确认在允许误差范围内。
2. 推理验证（理论证明）：通过几何推理证明构造的图形满足所有约束。例如，证明等边三角形的三边确实相等（通过圆的等半径性质）。
3. 退化情况检查：确认构造对特殊输入（极短线段、极小角度）是否仍然有效。
4. 反向验证：如果构造了一个满足条件 X 的点，验证该点确实满足条件 X。

预期结果： 构造的正确性通过度量或推理得到验证。

失败处理： 如果验证失败，回溯检查每一步。错误通常出现在交点选择（应取上方的交点还是下方的）或半径传递中。

验证清单

• 目标图形的所有约束已列出
• 构造可行性已确认（不是已知不可能问题）
• 每一步仅使用无刻度直尺和圆规
• 所有点、线、圆已标注
• 构造步骤完整记录
• 正确性通过度量或推理验证

常见问题

• 使用圆规作为度量工具：经典尺规作图中，圆规只能以已知点为圆心、已知两点间距离为半径画圆。不能"量取"一个长度然后任意移动（尽管在现代解释中这种"固定圆规"限制通常被放宽）。
• 忽略交点的选择：当两圆相交于两点时，必须明确选择哪一个交点。选错会导致完全不同的构造结果。
• 假设角度可以三等分：三等分角是一个著名的不可能问题（已用代数方法证明）。如果题目要求三等分任意角，应说明不可能性而非尝试近似。
• 步骤依赖未检查：后续步骤依赖之前步骤的结果。如果跳步或顺序错误，构造会失败。

相关技能

• prove-geometric-theorem

  -- 证明通过构造发现的几何性质

• solve-trigonometric-problem

  -- 使用三角学验证构造的数值正确性