平行線下の合同三角形計算機
結果
平行線下の合同三角形計算機 で使用される公式
平行線下の合同三角形計算機 について
2つの平行線を横断線が交差することによって形成される2つの三角形において、平行線による角の性質を用いると、測定なしで角の合同関係（「無料」の合同条件）が得られます。直線が平行である場合、錯角、外錯角、同位角はすべて等しいため、通常SSS（3辺の合同）に必要な3つの条件のうち、ASA（角-辺-角）またはAAS（角-角-辺）による三角形の合同証明には、辺の合同条件を1つ確認するだけで済むことが多いです。
この計算機は、図形に平行線が含まれている場合に、どの合同条件の定理が適用されるかを特定するのに役立ちます。よくあるパターンとしては、2つの平行線を結ぶ横断線が1つの頂点を共有する2つの三角形を形成する場合（対頂角と錯角を用いて→ ASA）、または平行四辺形の対角線がそれを2つの合同な三角形に分割する場合（錯角と共有する対角線を用いて→ ASA）があります。
": "平行線を横断線が交差すると、錯角、同位角、外錯角がそれぞれ等しくなるという角の合同条件が得られます。これらは証明において「既知」の角として扱えるため、測定する必要はありません。したがって、通常SSS（3辺の合同）に必要な3つの条件のうち、ASAまたはAASを適用するには、辺の合同条件を1つだけ確認すればよいことが多いです。", "ASA (Angle-Side-Angle) is by far the most common, because parallel lines give you two angles for free and you usually have one shared or given side. AAS (Angle-Angle-Side) is the runner-up when the side isn't between the two known angles. SAS appears less often in parallel-line proofs because you'd need two sides, which the parallel relationship doesn't directly give.": "ASA（角-辺-角）が最も一般的です。これは、平行線により2つの角が自動的に得られ、通常は共有辺または既知の辺が1つ存在するためです。AAS（角-角-辺）は、その辺が既知の2つの角の間に挟まれていない場合に第2位となります。SAS（辺-角-辺）は、平行関係が直接2つの辺を与えてくれないため、平行線を用いた証明ではあまり登場しません。", "Yes — a single diagonal of a parallelogram creates two congruent triangles by ASA, using the two pairs of alternate interior angles (one pair from each set of parallel sides) plus the shared diagonal as the included side. This is the standard textbook proof that opposite sides of a parallelogram are equal.": "はい。平行四辺形の対角線1本により、ASA（角-辺-角）を用いて2つの合同な三角形が作られます。これは、2組の錯角（平行な辺の各組から1組ずつ）と、共有する対角線（挟まれた辺）を用います。これは、平行四辺形の対辺が等しいことを示す標準的な教科書的な証明です。", "CPCTC = Corresponding Parts of Congruent Triangles are Congruent. After proving two triangles congruent, you can immediately conclude that any pair of corresponding sides or angles is also congruent. This is the standard final step in proofs that conclude two segments or angles equal — first prove the containing triangles congruent, then apply CPCTC.": "CPCTC（Corresponding Parts of Congruent Triangles are Congruent：合同な三角形の対応する部分も合同である）とは、2つの三角形が合同であることを証明した後、対応する辺または角の任意の組も合同であると即座に結論できるという原理です。これは、2つの線分または角が等しいことを示す証明における標準的な最終ステップです。まず、それらを含む三角形が合同であることを証明し、その後CPCTCを適用します。", "Yes — free and unlimited. AI Solve generates the full step-by-step proof using 3 credits (30 free on signup).": "はい。無料かつ無制限です。AI Solveは、3クレジット（登録時に30クレジット無料）を使用して、完全なステップバイステップの証明を生成します。", "Lines AB and CD are parallel. A transversal intersects AB at E and CD at F. Triangle BEX and triangle DFX share vertex X (where X lies on EF).
Given: AB ∥ CD; BE ≅ DF.
To prove: △BEX ≅ △DFX.
Proof:
1. ∠BEX ≅ ∠DFX (alternate interior angles, AB ∥ CD)
2. ∠BXE ≅ ∠DXF (vertical angles)
3. BE ≅ DF (given)
4. △BEX ≅ △DFX (AAS — two angles and a non-included side)
直線ABと直線CDは平行である。横断線がABとEで、CDとFで交差する。三角形BEXと三角形DFXは頂点Xを共有する（Xは線分EF上に位置する）。
与えられた条件: AB ∥ CD; BE ≅ DF.
証明すべきこと: △BEX ≅ △DFX.
証明:
1. ∠BEX ≅ ∠DFX （錯角、AB ∥ CD）
2. ∠BXE ≅ ∠DXF （対頂角）
3. BE ≅ DF （既知）
4. △BEX ≅ △DFX （AAS — 2つの角と、その間に挟まれない辺）
ABCD is a parallelogram with diagonal AC. Prove △ABC ≅ △CDA.
Proof:
1. AB ∥ CD (parallelogram definition)
2. ∠BAC ≅ ∠DCA (alternate interior angles)
3. AC ≅ AC (reflexive — shared diagonal)
4. AD ∥ BC (parallelogram definition)
5. ∠ACB ≅ ∠CAD (alternate interior angles)
6. △ABC ≅ △CDA (ASA — angle, included side, angle)
This is why opposite sides of a parallelogram are congruent — they are CPCTC (Corresponding Parts of Congruent Triangles are Congruent) of the two triangles formed by either diagonal.
": "ABCDは対角線ACを持つ平行四辺形である。△ABC ≅ △CDAであることを証明せよ。
証明:
1. AB ∥ CD （平行四辺形の定義）
2. ∠BAC ≅ ∠DCA （錯角）
3. AC ≅ AC （同一性 — 共有する対角線）
4. AD ∥ BC （平行四辺形の定義）
5. ∠ACB ≅ ∠CAD （錯角）
6. △ABC ≅ △CDA （ASA — 角、挟まれた辺、角）
これにより、平行四辺形の対辺は合同であることがわかります。なぜなら、対角線のいずれかによって形成される2つの三角形の対応する部分（CPCTC：合同な三角形の対応する部分も合同である）だからです。
", "Trapezoid PQRS has PQ ∥ RS. M is the midpoint of side PS, N is the midpoint of side QR. Prove △PMQ ≅ △SMN-style relationships using the midsegment.
This pattern is common in proofs that the trapezoid midsegment equals (PQ + RS)/2. The parallel bases give you the equal alternate interior angles needed to set up the congruent triangles.
": "台形PQRSにおいて、PQ ∥ RSである。Mは辺PSの中点、Nは辺QRの中点である。中線を用いて、△PMQ ≅ △SMN 型の関係性を証明せよ。
このパターンは、台形の中線が (PQ + RS)/2 に等しいことを証明する際に一般的です。平行な底辺により、合同な三角形を設定するために必要な等しい錯角が得られます。
""}例題
例 1：2 本の平行線の間の横断線（ASA）
直線ABとCDは平行です。横断線がABとEで、CDとFで交わります。三角形BEXと三角形DFXは頂点Xを共有しています（XはEF上にあります）。
与えられた条件： AB ∥ CD; BE ≅ DF。
証明すべきこと： △BEX ≅ △DFX。
証明：
1. ∠BEX ≅ ∠DFX （錯覚、AB ∥ CD）
2. ∠BXE ≅ ∠DXF （対頂角）
3. BE ≅ DF （与えられた条件）
4. △BEX ≅ △DFX （AAS — 2つの角と非挟辺）
例 2：平行四辺形の対角線（ASA）
ABCDは対角線ACを持つ平行四辺形です。△ABC ≅ △CDAを証明してください。
証明：
1. AB ∥ CD （平行四辺形の定義）
2. ∠BAC ≅ ∠DCA （錯覚）
3. AC ≅ AC （反射的 — 共有対角線）
4. AD ∥ BC （平行四辺形の定義）
5. ∠ACB ≅ ∠CAD （錯覚）
6. △ABC ≅ △CDA （ASA — 角、挟辺、角）
これが平行四辺形の対辺は合同である理由です — それらは、いずれかの対角線によって形成される2つの三角形のCPCTC（合同な三角形の対応する部分は合同である）です。
例 3：平行底を持つ台形（中点連結線による SAS）
台形PQRSにおいて、PQ ∥ RSです。Mは辺PSの中点、Nは辺QRの中点です。中点連結線を用いて、△PMQ ≅ △SMNのような関係を証明してください。
このパターンは、台形の中点連結線が (PQ + RS)/2 に等しいことを証明する際に一般的です。平行な底辺は、合同な三角形を設定するために必要な等しい錯覚を提供します。
In-Depth Tutorial: 平行線下の合同三角形計算機
ショートカットの説明
通常、2つの三角形が合同であることを証明するには、一致する情報3つが必要です（SSSの場合は3辺、SASの場合は2辺と挟まれた角など）。それぞれの情報は明示的に与えられるか、導出されなければなりません。
図形に平行線が含まれている場合、平行線の定理により2組の角度の等しさが無料で得られます。これに辺の等しさ1つ（多くの場合、反射的な「共有対角線」または与えられた長さ）を加えることで、ASAまたはAASを適用するのに十分な条件が整います。
最も一般的な平行線による合同のパターン3つ
パターン1 — 2つの平行線を横切る横断線
2つの平行線が横断線によって交差しています。2つの三角形が横断線上の共通の頂点を共有しながら、反対側に形成されます。
戦略：錯覚は1組の等しい角を与えます。共通の頂点にある対頂角は2組目の角を与えます。与えられた辺または反射的な辺があれば、ASAが成立します。
パターン2 — 平行四辺形の対角線
対角線ACを持つ平行四辺形ABCDは、2つの三角形△ABCと△CDAを作ります。
戦略：
- AB ∥ CD（平行四辺形の定義）→ ∠BAC ≅ ∠DCA（錯覚）。
- AC ≅ AC（反射的 — 対角線を共有している）。
- AD ∥ BC（平行四辺形の定義）→ ∠ACB ≅ ∠CAD（錯覚）。
- △ABC ≅ △CDA （ASAにより）。
この証明は基礎的なものです。これは平行四辺形の対辺は合同であることを証明する標準的な方法です（対角線はそれを2つの合同な三角形に分け、CPCTCによりAB = CDおよびAD = BCが得られます）。
パターン3 — 中点連結線を持つ台形
平行な底辺を持つ台形は、中点連結線を描くか脚を延長すると、相似または合同な三角形を作ります。これは台形の中点連結線の公式 m = (b₁ + b₂) / 2 を証明する際に一般的です。
worked example — パターン1（平行線によるASA）
与えられた条件： 直線ABとCDは平行です。横断線がABとEで、CDとFで交わります。三角形BEXと三角形DFXは頂点Xを共有しています（Xは線分EF上にあります）。BE ≅ DF。
証明すべきこと： △BEX ≅ △DFX。
| 主張 | 理由 |
|---|---|
| 1. AB ∥ CD | 与えられた条件 |
| 2. BE ≅ DF | 与えられた条件 |
| 3. ∠BEX ≅ ∠DFX | 錯覚（横断線EFによるAB ∥ CD） |
| 4. ∠BXE ≅ ∠DXF | 対頂角 |
| 5. △BEX ≅ △DFX | AAS（2つの角と非挟辺） |
なぜこの例ではASAではなくAASなのか？
ASAとAASの両方がこの証明で機能します — どちらも2つの角と1辺を必要とします。違いは、その辺が2つの角の間にあるかどうか（ASA）です。上記の例では、辺BEは角X（2つの三角形が出会う点）に対して向かい合っているため、与えられた2つの角の間にはありません → AASとなります。
もし代わりに辺EXまたはFX（2つの角の間にある辺）が与えられていれば、公理の名前はASAになります。証明の構造は同一であり、公理の引用のみが異なります。
worked example — パターン2（平行四辺形の対角線）
与えられた条件： ABCDは平行四辺形です。対角線ACが引かれています。
証明すべきこと： △ABC ≅ △CDA。
| 主張 | 理由 |
|---|---|
| 1. ABCDは平行四辺形 | 与えられた条件 |
| 2. AB ∥ CD | 平行四辺形の定義 |
| 3. ∠BAC ≅ ∠DCA | 錯覚（AB ∥ CD） |
| 4. AC ≅ AC | 反射律 |
| 5. AD ∥ BC | 平行四辺形の定義 |
| 6. ∠ACB ≅ ∠CAD | 錯覚（AD ∥ BC） |
| 7. △ABC ≅ △CDA | ASA（角、挟辺、角） |
なぜこの証明は「2つの角＋1辺」なのか
平行線の定理がなければ、角度の等しさを別々に証明する必要があり、通常、より多くの辺を一致させる必要があります（例えば、与えられた線分の長さからのSSS）。平行線は、本来3ステップの推論を1ステップに圧縮します。
これが、平行四辺形、ひし形、長方形、台形に関する教科書の証明のほとんどが平行線による合同に依存している理由です — 作業量を半分に削減します。
「共有」辺の役割
パターン2（平行四辺形の対角線）において、「共有」辺ACは重要な要素です。これは両方の三角形に現れるため、自動的に自分自身と合同です（反射律）。共有対角線がなければ、証明には与えられた辺の等しさが必要になりますが、平行四辺形の定義はそれを直接提供しません（対角線を通じて証明する必要があります）。
証明における他の一般的な「共有辺」：
- 2つの三角形を結ぶ中線 → それらの間の共有辺。
- 二等辺三角形内の高さ → SASにより2つの合同な直角三角形に分割します（脚 ≅ および共有の高さ）。
- 垂直二等分線は、両側に共有された半分線分を作ります。
合同後 — CPCTCの適用
2つの三角形が合同であることを証明した後（ASA、AAS、SAS、またはその他により）、任意の一対の対応する部分（辺または角）を等しいとして抽出できます。これをCPCTC（Corresponding Parts of Congruent Triangles are Congruent：合同な三角形の対応する部分は合同である）と呼びます。
平行四辺形の例の場合：ステップ7の後、以下を結論付けられます：
- AB ≅ CD（CPCTC）— 対辺が等しい。
- BC ≅ DA（CPCTC）— 対辺が等しい。
- ∠ABC ≅ ∠CDA（CPCTC）— 対角が等しい。
これらの3つの事実 — 対辺が等しい、対角が等しい — は平行四辺形の定義的特徴であり、すべて単一の平行線＋対角線の合同証明から導き出せます。
一般的な間違い
- 証明なしで平行であると仮定する。 平行線の定理を使用するには、平行関係が与えられた条件として述べられているか、以前に証明されている必要があります。図で平行に見える2つの直線が、実際には平行でない可能性があります。
- 錯覚と同位角を混同する。 直線が平行な場合、両方とも等しくなりますが、異なる位置に適用されます。証明で正しいものを引用していることを確認してください。
- 反射的な共有辺を忘れる。 2つの三角形が辺を共有している場合、「反射律」として明示的に引用しなければなりません — これは3つの合同条件のうちの一つとしてカウントされます。
- どの直線が平行であるかを指定せずに「錯覚」を引用する。 常に「(AB ∥ CD)」または「(ステップ2による)」を含め、読者がどのペアを指しているか分かるようにしてください。
- 合同公理ではなくAA相似を使用する。 AAは相似を証明しますが、合同ではありません。角度は一致しているがスケールが異なる2つの三角形は、合同ではなく相似です。
よくある質問 – 平行線下の合同三角形計算機
横断線で切られた平行線は、角度の合同を無料で提供します：錯覚は等しく、同位角は等しく、錯角（外側）は等しくなります。これらは証明において「与えられた」角度としてカウントされるため、測定する必要はありません。したがって、ASAまたはAASを適用するには、通常、SSSに必要な3つではなく、辺の合同1つだけで十分です。
ASA（角・辺・角）が圧倒的に一般的です。平行線により2つの角が無料で得られ、通常は共有されているか与えられた辺が1つあるためです。AAS（角・角・辺）は、その辺が既知の2つの角の間にある場合に次点となります。SASは平行線の証明ではあまり登場しません。なぜなら、平行関係は2つの辺を直接与えてくれないからです。
はい。平行四辺形の対角線1本は、ASA（角・辺・角）の合同条件により、2つの合同な三角形を作ります。これは、各平行な辺の組から1つずつ選んだ2組の内錯角と、共通の対角線（挟まれた辺）を用います。これが、平行四辺形の対辺が等しいことを示す標準的な教科書での証明です。
CPCTC = 合同な三角形の対応する部分は合同である。2つの三角形が合同であることを証明した後、任意の一対の対応する辺または角も合同であると即座に結論付けられます。これは、2つの線分または角が等しいことを結論付ける証明における標準的な最終ステップです — まず包含する三角形が合同であることを証明し、その後CPCTCを適用します。
はい — 無料かつ無制限です。AI Solveは、登録時に30クレジット（無料）を使用して、完全なステップバイステップの証明を生成します。