二等辺三角形定理計算機

二等辺三角形の定理（底角の定理とも呼ばれる）は、平面幾何学における最も古い定理の一つであり、紀元前300年頃のユークリッド『原論』第1巻命5として現れています。この定理は次のように述べています：三角形の2辺が等しければ、それらに対向する角も等しい。記号で表すと：

AB = AC ならば、∠B = ∠C。

このチュートリアルでは、この定理とその逆、歴史的に有名な「アシノルム橋（Pons Asinorum）」の証明、および代数学と証明における応用について解説します。

「二等辺」の定義

二等辺三角形とは、少なくとも2辺が等しい三角形のことです。等しい2辺を脚（ろう）と呼び、それらが交わる頂点を頂角と呼びます。残りの1辺（通常は他の辺と長さが異なる）を底辺と呼び、その両端にある2つの角を底角と呼びます。

教科書によっては、「二等辺」をちょうど2辺が等しいもの（正三角形を除く）と定義している場合もあります。また、「少なくとも2辺」と定義し、正三角形を特別なケースとして含める場合もあります。後者の包括的な定義の方が現代的かつ便利であり、二等辺三角形に関するすべての定理は正三角形にも適用されます。

2つの定理の組み合わせ

定理とその逆を組み合わせることで、強力な「必要十分条件」が成り立ちます：

• 直接定理： 2辺が等しければ、対角は等しい。
• 逆定理： 2角が等しければ、対辺は等しい。

つまり、二等辺三角形かどうかを判定するには、 EITHER の条件を確認すればよいのです。2辺が等しいか、または2角が等しいかを確認します。

「アシノルム橋」— ユークリッドの名高い証明

ユークリッド『原論』における二等辺三角形の定理の証明は、歴史的に「アシノルム橋（Pons Asinorum、ロバの橋）」として知られています。この橋を渡れる学生はより高度な幾何学に進む準備ができていると考えられ、渡れない学生は「ロバ（愚者）」と呼ばれました。

証明：AB = AC である △ABC が与えられたとき、∠B = ∠C であることを示す。

1. Aから角の二等分線を引き、BC上の点をDとする（射线AD）。
2. AD = AD （同一性）
3. ∠BAD = ∠CAD （角の二等分線の定義）
4. AB = AC （仮定）
5. SASにより △ABD ≅ △ACD
6. ∠B = ∠C （合同な三角形の対応する部分 — CPCTC）

現代の教科書では、通常この正確な6ステップの証明が使われます。中点や垂線の足などを用いた別の証明もありますが、角の二等分線を用いるアプローチが最も簡潔です。

例題1 — 頂角から底角を求める

二等辺三角形の頂角 ∠A = 40° です。底角を求めなさい。

定理により、2つの底角は等しいです。それぞれの角を θ とします。

40° + θ + θ = 180° （三角形の内角の和）
2θ = 140° → θ = 70°。

したがって、∠B = ∠C = 70° です。

例題2 — 底角から頂角を求める

二等辺三角形の底角がそれぞれ 50° です。頂角を求めなさい。

頂角 = 180° − 2(50°) = 80°。

例題3 — 逆定理の利用

△ABC において、∠B = ∠C = 35° です。AB = AC であることを証明しなさい。

二等辺三角形の定理の逆より：底角が等しければ、対辺（脚）も等しい。したがって AB = AC。証明終（QED）。

頂点からの高さ

二等辺三角形において、頂角から底辺に引いた高さには、以下の3つの特筆すべき性質があります（これらはすべて同一直線上にあります）：

• 頂角を二等分する（2つの等しい角に分ける）。
• 底辺を二等分する（BCの中点に下りる）。
• 底辺に垂直である。

これが、二等辺三角形が頂角を通る垂直な「対称軸」を持つ理由です。この高さはまた、中線および角の二等分線でもあり、これら3つが一致します。これは二等辺三角形（および正三角形）に固有の性質であり、不等辺三角形ではこれら3つの線は異なります。

二等辺三角形の面積

脚の長さを L、底辺の長さを b とすると、頂点から底辺への高さは次のようになります：

h = √(L² − (b/2)²)

（高さが作る2つの合同な直角三角形のいずれかに三平方の定理を適用することによって導出されます）。

面積 = ½ × b × h = (b/2) × √(L² − (b/2)²)。

例：L = 5, b = 6 のとき。h = √(25 − 9) = 4。面積 = 3 × 4 = 12。

正三角形の場合

正三角形とは、3辺すべてが等しいという特別なケースです。二等辺の定理を等しい辺の各ペアに適用すると、3つの角はすべて等しくなります。内角の和が180°であることから、各角は 60° です。

つまり、正三角形は「3辺が等しく」、「3角が等しく」、「各角が60°である」という3つの性質を持ち、これらは互いに導き出されます。

問題における二等辺三角形の見分け方

以下のいずれか1つが満たされれば、二等辺三角形であると結論づけられます：

• 2辺が明示的に等しい。
• 2角が明示的に等しい。
• 三角形が対称軸を持つ。
• ある頂点からの高さが、対辺を二等分している。
• ある頂点からの角の二等分線が、対辺の垂直二等分線でもある。

よくある間違い

• 二等辺三角形と正三角形の混同。 二等辺三角形＝少なくとも2辺が等しい（定義によってはちょうど2辺）。正三角形＝3辺すべてが等しい。正三角形は、包括的な定義における二等辺三角形の特殊なケースです。
• 定理を間違った角に適用すること。 定理は、「等しい辺に対向する角」が等しいと言っています。等しい辺の間に挟まれた頂角は、他の角と必ずしも等しいわけではありません。
• 逆定理にも証明が必要であることを忘れること。 「2角が等しい ⇒ 2辺が等しい」は、それ自体の証明（または逆定理の引用）が必要です。直接定理と同じ自動的に成り立つものではありません。
• 高さの公式を任意の三角形に適用しようとする。 「頂点からの高さが底辺を二等分する」という性質は二等辺三角形に固有です。不等辺三角形では、高さが下りる点は中点とは異なります。