幾何学的図形の作図

定規とコンパスによる古典的な幾何学的作図を系統的に実行する。作図可能性の判定、基本操作の組み合わせによる複合作図、正多角形の作図、および各ステップの正当性証明を含む。

使用タイミング

• 定規とコンパスを使用して特定の幾何学的図形を正確に作図する場合
• 与えられた作図が定規とコンパスで実行可能かどうかを判定する場合
• 正多角形（正三角形、正方形、正五角形、正十七角形など）を作図する場合
• 基本作図（垂直二等分線、角の二等分線、平行線、接線）を組み合わせて複雑な作図を行う場合
• 作図の各ステップが正しいことの証明を記述する場合

入力

• 必須: 作図すべき図形の仕様（幾何学的記述または条件）
• 必須: 使用可能な道具（定規とコンパスのみ、またはその他の道具）
• 任意: 与えられた要素（既存の点、線、円）
• 任意: 精度の要件
• 任意: 証明の要否

手順

ステップ1: 作図可能性の判定

作図が定規とコンパスで実現可能かどうかを判定する：

1. 代数的判定基準: 定規とコンパスで作図可能な長さは、有理数から始めて加減乗除と平方根の有限回の適用で得られる数のみ。
2. ガウス＝ヴァンツェルの定理: 正n角形が作図可能であるのは、nが2のべき乗と異なるフェルマー素数の積である場合に限る。フェルマー素数：3、5、17、257、65537。
3. 不可能な作図: 角の三等分、立方体の倍積、円積問題は定規とコンパスでは不可能であることが証明されている。
4. 判定結果の記録: 作図可能であれば手順に進む。不可能であれば、その理由（超越数の関与、3次方程式の根など）を記載する。

期待結果： 作図の可否が代数的な根拠とともに明確に判定される。

失敗時： 判定が困難な場合は、作図に必要な長さの最小多項式の次数を調べる。次数が2のべき乗でなければ作図不可能。

ステップ2: 基本作図の実行

必要な基本作図を特定し、実行する：

1. 線分の二等分: 両端点を中心に等しい半径の円を描き、交点を結ぶ。
2. 垂直二等分線: 線分の二等分と同時に垂線が得られる。
3. 角の二等分線: 頂点から等距離の2点を取り、それらを中心に等しい半径の円を描く。
4. 垂線の作図: 直線外の点から直線に垂線を下ろす。直線上の点から垂線を立てる。
5. 平行線の作図: 与えられた直線に平行で、指定された点を通る直線を作図する。
6. 線分の転写: コンパスを使用して線分の長さを別の位置に移す。

期待結果： 各基本作図が正確に実行され、手順が記録される。

失敗時： コンパスの開きが変わる場合（崩壊コンパス問題）は、線分の転写手順を用いて対処する。

ステップ3: 複合作図の組み立て

基本作図を組み合わせて目的の図形を作図する：

1. 手順の計画: 目的の図形に必要な基本作図をリストアップする。
2. 順序の決定: 各ステップが前のステップの結果に依存する順序を決定する。
3. 実行: 計画に従って各ステップを実行し、中間結果を記録する。
4. 正確性の確認: 作図された図形が指定された条件を満たしているか確認する。

期待結果： 目的の図形が正確に作図され、すべてのステップが文書化される。

失敗時： 中間ステップで誤差が蓄積する場合は、作図を再度最初から行う。

ステップ4: 作図の検証と証明

作図が正しいことを検証し、必要に応じて証明を記述する：

1. 測定による検証: 作図された図形の長さ、角度を測定して仕様と比較する。
2. 論理的検証: 各ステップが幾何学的に正当であることを確認する。
3. 証明の記述: 作図の各ステップが所望の性質を生み出すことの数学的証明を記述する。合同、相似、円の性質等の定理を引用する。

期待結果： 作図の正確性が検証され、必要に応じて証明が記述される。

失敗時： 検証で不一致が見つかった場合は、誤りのあるステップを特定して修正する。

バリデーション

• 作図可能性が代数的に判定されている
• 各基本作図ステップが正確に記述されている
• 作図された図形が仕様の条件を満たしている
• 必要な場合、証明が記述されている
• 不可能な作図は理由とともに記録されている

よくある落とし穴

• 作図可能性の未確認: 作図を試みる前に必ず可能性を判定すること。角の三等分は一般には不可能だが、特定の角（90°、60°など）では可能。
• コンパスの崩壊仮定の忘却: 古典的なユークリッドの作図ではコンパスは崩壊すると仮定される。現代の作図ではこの制約は不要だが、理論的な議論では区別が重要。
• 中間点の誤認: 複雑な作図では多数の補助点が生成される。各点に明確なラベルを付けること。
• 精度の軽視: 理論的な作図は無限精度だが、実際の作図では誤差が蓄積する。重要な交点が接線に近い場合は特に注意。

関連スキル

• prove-geometric-theorem

  -- 作図の正当性を証明する手法

• solve-trigonometric-problem

  -- 作図に必要な角度と長さの計算