求解三角学问题

系统性地求解三角方程、三角形问题和恒等式证明，涵盖角度转换、通解求取、多解处理和结果验证。

适用场景

• 求解三角方程（例如 2sin(x) - 1 = 0）的通解或在给定区间内的解
• 使用正弦定理、余弦定理求解三角形
• 证明三角恒等式
• 应用三角学解决实际问题（测量、导航、物理学）
• 简化涉及三角函数的表达式

输入

• 必需：三角学问题的陈述（方程、三角形数据或待证恒等式）
• 必需：解的域（所有实数、[0, 2pi)、角度制或弧度制）
• 可选：精度要求（精确值或小数近似）
• 可选：上下文（纯数学或应用问题）

步骤

第 1 步：分类问题并建立框架

确定问题类型并选择策略：

1. 问题分类：
   • 三角方程：求满足方程的角度值
   • 三角形求解：已知部分元素求未知元素
   • 恒等式证明：证明等式对所有（定义域内的）角度成立
   • 简化：将三角表达式化为更简形式
   • 应用问题：从实际情景建立三角模型
2. 角度制式：确认使用弧度还是角度。数学和物理通常使用弧度；工程和导航通常使用角度。
3. 函数域：注意三角函数的定义域限制（tan 在 pi/2 + n*pi 处无定义等）。
4. 基本恒等式清单：
   • sin^2(x) + cos^2(x) = 1
   • tan(x) = sin(x) / cos(x)
   • 二倍角：sin(2x) = 2sin(x)cos(x)，cos(2x) = cos^2(x) - sin^2(x)
   • 和差公式：sin(A ± B)，cos(A ± B)
   • 辅助角公式：asin(x) + bcos(x) = R*sin(x + phi)

预期结果： 问题类型已确定，角度制式已明确，相关恒等式已准备就绪。

失败处理： 如果问题类型不明确，尝试将其转化为标准形式。例如，含有多种三角函数的方程可能需要先统一为同一函数。

第 2 步：求解方程或推导结果

根据问题类型执行核心计算：

1. 三角方程：
   • 将方程化为单一三角函数的标准形式
   • 使用反三角函数求基本解
   • 利用周期性写出通解：sin(x) = a → x = arcsin(a) + 2npi 或 x = pi - arcsin(a) + 2npi
   • 如在指定区间内求解，代入 n 值枚举所有解
2. 三角形求解：
   • SSS（三边已知）：余弦定理求角
   • SAS（两边夹角）：余弦定理求第三边，再求角
   • ASA/AAS（两角一边）：角度和为 pi 求第三角，正弦定理求边
   • SSA（两边对角）：歧义情况 — 正弦定理可能给出 0、1 或 2 个解
3. 恒等式证明：
   • 选择更复杂的一边开始变换
   • 使用基本恒等式逐步变换至另一边
   • 每步必须可逆或严格等价

预期结果： 方程的解已求出（通解或区间内所有解），或三角形所有未知元素已确定，或恒等式已证明。

失败处理： 如果方程无法化为标准形式，尝试平方两边（注意检查增根）、因式分解或使用辅助角变换。SSA 情况务必检查解的个数。

第 3 步：验证结果

确认解的正确性：

1. 代入验证：将求得的角度值代回原方程，验证等式成立。
2. 范围检查：
   • sin 和 cos 的值域为 [-1, 1]
   • 三角形内角为 (0, pi)，角度和为 pi
   • 三角形边长满足三角不等式
3. 增根检查：如果求解过程中进行了平方操作，代入检查是否引入了增根。
4. 图形验证（可选）：绘制三角函数图像，目测确认解的位置。
5. 量纲检查（应用问题）：确保结果的量纲正确。

预期结果： 所有解经验证正确，无增根，满足所有约束。

失败处理： 如果代入验证不通过，回溯检查每一步计算。常见错误：符号错误、角度制弧度制混淆、忘记周期性的多解。

验证清单

• 问题类型已正确分类
• 角度制式（弧度/角度）始终一致
• 通解包含所有周期性解
• SSA 歧义情况已正确处理
• 所有解经代入验证
• 增根已排除
• 三角形问题结果满足三角不等式和角度和条件

常见问题

• 角度制和弧度制混淆：在同一问题中混用角度和弧度是最常见的错误。计算器模式设置不正确也会导致此问题。
• 忽略 SSA 歧义情况：两边和非夹角的情况可能有两个解（一个锐角一个钝角）。只报告一个解会丢失完整答案。
• 平方后不检查增根：平方操作 sin(x) = -cos(x) → sin^2(x) = cos^2(x) 会引入不满足原方程的增根。
• 遗漏周期性解：sin(x) = 1/2 的解不只是 x = pi/6，还有 x = 5pi/6 以及所有加 2npi 的解。
• 恒等式证明中的非等价变换：除以可能为零的表达式会改变等式的成立条件。

相关技能

• construct-geometric-figure

  -- 用尺规作图法构造三角学问题中的图形

• prove-geometric-theorem

  -- 证明涉及三角关系的几何定理