三角関数問題の解法

三角関数の方程式・不等式を系統的に解き、三角形の辺と角を求める。基本三角関数の定義から始めて、恒等式の適用、正弦定理・余弦定理の使用、一般解の導出、および測量問題への応用までを扱う。

使用タイミング

• 三角関数方程式（sin x = a, cos 2x + sin x = 0 など）を解く場合
• 三角形の未知の辺や角を正弦定理・余弦定理で求める場合
• 三角関数の恒等式を証明または活用する場合
• 測量、ナビゲーション、物理学で三角法を適用する場合
• 三角関数方程式の一般解を求める場合

入力

• 必須: 三角関数方程式、三角形の仕様、または応用問題の記述
• 必須: 解の範囲（特定の区間または一般解）
• 任意: 角度の単位（度またはラジアン）
• 任意: 精度の要件（厳密解または数値近似）

手順

ステップ1: 問題の分類と戦略の選択

問題タイプを特定し、適切な解法を選択する：

1. 基本方程式: sin x = a, cos x = a, tan x = a — 逆三角関数と周期性で解く
2. 複合方程式: 複数の三角関数を含む方程式 — 恒等式で一つの関数に帰着
3. 三角形の求解: 辺と角の組み合わせから未知量を求める — SSS, SAS, ASA, AAS, SSA に分類
4. 恒等式の証明: 等式が常に成立することを示す — 一方の辺を他方に変換
5. 応用問題: 実世界の幾何学的状況を三角法でモデル化

期待結果： 問題タイプが特定され、適切な解法戦略が選択される。

失敗時： 分類が不明確な場合は、方程式に含まれる三角関数をすべてリストアップし、変数変換（t = tan(x/2) 等）の適用可能性を検討する。

ステップ2: 恒等式の適用と方程式の簡略化

三角関数の恒等式を使用して方程式を解きやすい形に変換する：

1. ピタゴラスの恒等式: sin²x + cos²x = 1, 1 + tan²x = sec²x
2. 倍角公式: sin 2x = 2 sin x cos x, cos 2x = cos²x - sin²x
3. 半角公式: sin²(x/2) = (1 - cos x)/2
4. 和積公式: sin A + sin B = 2 sin((A+B)/2) cos((A-B)/2)
5. 積和公式: sin A cos B = (1/2)[sin(A+B) + sin(A-B)]
6. 合成公式: a sin x + b cos x = R sin(x + φ), R = √(a² + b²)

期待結果： 方程式が単一の三角関数の方程式に帰着される。

失敗時： 恒等式による帰着が困難な場合は、ワイアシュトラス置換 t = tan(x/2) を使用して有理方程式に変換する。

ステップ3: 方程式の解法

簡略化された方程式を解く：

1. 逆三角関数: sin x = a の解は x = arcsin(a) + 2nπ または x = π - arcsin(a) + 2nπ
2. 因数分解: 積の形に因数分解できる場合は、各因子を0とおく
3. 二次方程式: sin²x やcos²x の二次方程式は、u = sin x 等の置換で解く
4. 正弦定理: a/sin A = b/sin B = c/sin C = 2R
5. 余弦定理: c² = a² + b² - 2ab cos C
6. 一般解の表記: nを整数として、すべての解を含む一般式を記述する

期待結果： 方程式の厳密解が一般解または指定された範囲内の解として求められる。

失敗時： 解析的に解けない場合は、数値解法（ニュートン法、二分法）を用い、解の存在を中間値の定理で保証する。

ステップ4: 解の検証と解釈

得られた解を検証し、文脈に沿って解釈する：

1. 代入検証: 解を元の方程式に代入して等式が成立することを確認する
2. 定義域の確認: 解が三角関数の定義域内にあることを確認する（例：arcsin の引数は[-1, 1]）
3. 三角形の条件: 三角形の問題では、角の和が180°、辺が正であることを確認する
4. SSAの曖昧性: 二辺一角（SSA）の場合、解が0個、1個、2個の可能性がある
5. 物理的解釈: 応用問題では、得られた解が物理的に意味を持つか確認する

期待結果： すべての解が検証され、不適切な解が除外される。

失敗時： 解が元の方程式を満たさない場合は、恒等式の適用ステップを見直す。特に両辺の二乗操作は余分な解を導入する可能性がある。

バリデーション

• 問題タイプが正しく分類されている
• 適用された恒等式が正しい
• 一般解が周期性を正しく反映している
• すべての解が元の方程式に代入して検証されている
• 外来解（両辺の二乗等で生じた解）が除外されている
• 三角形の問題ではSSAの曖昧性が考慮されている

よくある落とし穴

• 一般解の周期の誤り: sin x と cos x の周期は2πだが、tan x の周期はπ。一般解の周期を誤ると解が欠落する。
• SSAの曖昧性の見落とし: 二辺と対角が与えられた場合、三角形が2つ存在する可能性を忘れないこと。
• 度とラジアンの混同: 計算中に度とラジアンを混ぜると誤った結果になる。最初に単位を統一すること。
• 二乗による外来解: 方程式の両辺を二乗すると余分な解が導入される。最終的に元の方程式での検証が必須。
• arcsin の値域の制限: arcsin の主値は[-π/2, π/2]。第二象限・第三象限の解を見落とさないこと。

関連スキル

• construct-geometric-figure

  -- 三角関数で計算した結果の幾何学的作図

• prove-geometric-theorem

  -- 三角法を用いた幾何学的定理の証明