等しい部分をつなげる
CoddyのGeometryジャーニー「合同と証明」セクションの一部。レッスン 3/63。
共通する部分を持つ2つの事実は結び付けることができます。AB = CD かつ CD = EF なら、AB = EF です。どちらも CD と等しいので、互いに等しいからです。これは推移律であり、辺だけでなく角にも当てはまります。
| 主張 | 理由 |
|---|---|
| 1. AB = CD | 与えられている |
| 2. CD = EF | 与えられている |
| 3. AB = EF | 1行目と2行目を用いた推移律 |
連鎖とは、証明が進んでいく仕組みです。ある規則によって最初の部分から中間の部分へ進み、別の規則によって中間の部分から最後の部分へ進み、推移律によって連鎖が完成します。そのことを示す行では、両方のつながりを引用しなければなりません。
チャレンジ
弧から、∠1 = ∠2 であり、∠2 と ∠3 は対頂角だとわかります。最初の2行はすでに入力されています。∠1 = ∠3 を証明する行を追加してから、Check を押してください。
自分で試してみよう
証明を書こう
腕試しこのレッスンには短いクイズがあります。レッスンを始めて解答し、進捗を記録しましょう。