対頂角定理計算機
結果
対頂角定理計算機 で使用される公式
In-Depth Tutorial: 対頂角定理計算機
2本の直線が交わると、交点において4つの角が生じます。対頂角の定理は、向かい合う角（交点を挟んで反対側にある角）は常に等しいことを示しています。これは幾何学で最もシンプルかつ頻繁に用いられる定理の一つであり、多くの証明パターンにおいて「無料」の角の等価関係を提供します。このチュートリアルでは、この文脈における「対頂（vertical）」の意味、なぜこの定理が常に成り立つのか、そして証明においてどのように現れるのかを解説します。
設定
2本の直線が1点で交差しています。その交点では、4つの角が形成されます：
- 2組の「対頂角」（向かい合う角）：各組は交点の反対側に位置します。
- 2組の「隣接角」：各組は1辺を共有し、直線（一直線上の角）を形成します。
交点を中心に時計回りに4つの角に番号を付けます：∠1, ∠2, ∠3, ∠4。すると、対頂角の組は (∠1, ∠3) と (∠2, ∠4) となります。
定理
2本の直線の任意の交点において：
∠1 = ∠3 （対頂角は等しい）
∠2 = ∠4 （対頂角は等しい）
さらに、隣接する角の組は補角（和が180°）です：
∠1 + ∠2 = 180°, ∠2 + ∠3 = 180°, ∠3 + ∠4 = 180°, ∠4 + ∠1 = 180°。
したがって、2本の交差する直線によって形成される4つの角のうち、異なる値はたった2つしかありません。ある値 θ（一方の対頂角の組）と 180° − θ（もう一方の対頂角の組）です。
定理が成り立つ理由
この証明は幾何学で最もすっきりとしたものの一つです：
- ∠1 + ∠2 = 180° （一直線上の角 — 交差する一方の直線上で一直線を形成するため）
- ∠3 + ∠2 = 180° （一直線上の角 — 同じ理由、もう一方の交差する直線について）
- よって ∠1 + ∠2 = ∠3 + ∠2 （どちらも180°に等しいため）
- 両辺から ∠2 を引く：∠1 = ∠3
証明終。同じ論理により ∠2 = ∠4 も示せます。
なぜ「対頂（vertical）」なのか？
定理名における「対頂（vertical）」は歴史的な用語です — これは「頂点（交点）を挟んで真向かいにある」という意味です。「上下の方向」を指すものではありません。対頂角は水平でも斜めでも、あらゆる方向になり得ます。この語はラテン語の vertex（頂点）に由来します。
worked examples（解題例）
例1： 2本の直線が交わっています。ある角の大きさが65°です。他の3つの角を求めなさい。
65°と対頂する角も65°です。隣接する2つの角はそれぞれ115°（= 180° − 65°）です。したがって、交点の周りで順番に並べると、4つの角は 65°, 115°, 65°, 115° となります。
例2： 2本の直線が交わっています。ある角が90°と与えられています。他の角を求めなさい。
対頂角の組：ともに90°。隣接角の組：180° − 90° = 90°。したがって、4つの角はすべて90°となり、これは2本の直線が垂直であることを意味します。
例3： 代数における対頂角。2本の直線が交わっています。ある角が 2x + 10 とラベル付けされ、その対頂角が 3x − 20 とラベル付けされています。x を求めなさい。
対頂角の定理より：2x + 10 = 3x − 20 → x = 30。これらの対頂角それぞれの大きさは 2(30) + 10 = 70° です。
証明における定理の利用
対頂角は2段証明で頻繁に登場します。典型的なパターンは以下の通りです：
- 2つの線分が1点で交差し、「X」字型を形成します。
- Xの内部に形成される2つの対向する三角形は、交点に対頂角の組を持ちます。
- これにより、1組の等しい角が「無料で」得られます — これはしばしば三角形の合同条件（ASA または AAS）を適用するための鍵となります。
証明の設定例：「直線ABとCDが点Eで交わります。AC ∥ BD かつ AC = BD が与えられたとき、△AEC ≅ △BED であることを示しなさい。」
| 主張 | 理由 |
|---|---|
| 1. AC ∥ BD | 仮定 |
| 2. AC = BD | 仮定 |
| 3. ∠AEC = ∠BED | 対頂角の定理 |
| 4. ∠CAE = ∠DBE | 錯角（AC ∥ BD より） |
| 5. △AEC ≅ △BED | AAS |
対頂角に関するステップ（#3）は、証明に最初の角の等価関係をもたらします。これがなければ、その等価関係を導くためにより長い推論を行う必要があったでしょう。
対頂角と他の角の組の種類との比較
対頂角を他の角の関係性と混同しないよう注意してください：
| 関係性 | 設定 | 性質 |
|---|---|---|
| 対頂角 | 2本の交差する直線、向かい合う角 | 等しい |
| 一直線上の角 | 2本の交差する直線、隣接する角 | 補角（180°） |
| 錯角 | 平行線＋横断線 | 等しい |
| 同位角 | 平行線＋横断線 | 等しい |
| 同側内角 | 平行線＋横断線、同一側 | 補角 |
| 余角 | 和が90°となる2つの角 | 和 = 90° |
対頂角には2本の直線（1つの交点）のみが必要です。平行線に関する関係性には、2本の平行線とそれらを横切る第3の直線（横断線）が必要です。
よくある間違い
- 隣接角を「対頂角」と呼ぶこと。 対頂とは向かい合うことであり、隣接することではありません。互いに直接隣り合っている（1辺を共有している）2つの角は、対頂角の組ではなく一直線上の角の組を形成します。
- 「対頂」を上下の方向として扱うこと。 水平な2本の直線が1点で交わっても対頂角を持ちます — この用語は「上下に配置されている」ことを意味するのではなく、「頂点を挟んで向かい合っている」ことを意味します。
- 証明で自明な角の等価関係が必要なのに、その定理を忘れること。 多くの学生は、「対頂角の定理」が直接的な1行の根拠となる場面でさえ、より長い推論から角の等価関係を導こうとします。
- 直線でなくても対頂角であると仮定すること。 この定理は直線の交点に適用されます。曲線や折れ線が1点で交わっても、標準的な意味での対頂角は生成されません。
よくある質問 – 対頂角定理計算機
対頂角は2本の線が交差するときに形成される対向する角のペアです。常に大きさが等しい。
交点の隣接する角は補角です — 合計が180°になり、交差する線の1本に沿って直線を形成します。
2つ — 対頂角（等しい）の2ペア。形成される4つの角のうち、異なる値は2つだけ：θと180° − θ。
はい — 無料・無制限です。