タグ: 三角形

余弦定理とは、三角形の３辺と１つの角の余弦について成立する関係式です。
（英：cosine rule）

特別な場合として余弦定理を直角に対して適用すると三平方の定理の形になります。
（ただし、余弦定理一般を証明するには普通は三平方の定理を使います。）

★三角比の余弦（コサイン）と三角関数の余弦関数については別途に述べています。

定理の内容

余弦定理の内容は次のようなものです。

三角形のある１辺の具体的な値を知りたい時には「２辺の長さと１つの角度の『余弦』の値が分かれば計算は可能である」という事が、余弦定理の意味と使い方です。

余弦定理を証明する一番シンプルな方法は三平方の定理を使う方法です。（三平方の定理は相似条件・合同条件といった条件だけで証明できます。）

ここでは、対象の角の大きさが鋭角か鈍角で場合分けをして証明します。
式変形も含めてやや詳しく説明していますが、要するに三平方の定理を適切に適用すると関係式を導出できるというのが証明の流れになります。

証明①：鋭角の場合

まず対象の角度の大きさが鋭角の場合です。

この場合、もう１つの角についても鋭角か鈍角かで場合分けしますが、得られる結果は同じになります。どちらの場合でも、三角比の関係を使って上手に直角三角形の辺の関係を作ります。

下図で、∠ＢＡＣ＝θが鋭角のもとで、∠ＡＢＣが鋭角か鈍角かを見ます。

∠ＡＢＣが鋭角の場合（図の上側）、直角三角形を作るように線分ＡＢを延長して点Ｈをとります。この時、直角三角形である△ＡＣＨの底辺部分ＡＨの長さは余弦を使ってｂcosθで表せます。

他方、高さ部分もＣＨ＝ｈは正弦を使ってｈ＝ｂsinθと表せますが、単純にこれに三平方の定理を適用してもじつはうまくいきません。そこで、△ＡＣＨだけでなく、△ＢＨＣも直角三角形である事に注目します。すると、ＢＨ＝ｂcosθ－ｃになる事に注するとうまくいきます。

ＢＨ^２＋ｈ^２＝ａ^２ ⇔ (ｂcosθ－ｃ)^２＋ｈ^２＝ａ^２

他方、△ＡＣＨについてＡＨ＝ｂcosθ 、ＣＨ＝ｈのもとで三平方の定理を適用します。

(ｂcosθ)^２＋ｈ^２＝ｂ^２　⇔　ｈ^２＝ｂ^２－ｂ^２cos^２θ

つまり、未知数のｈは代入して消す事ができます。

(ｂcosθ－ｃ)^２＋ｈ^２＝ａ^２ に ｈ^２＝ｂ^２－ｂ^２cos^２θを代入すると、ｂ^２cos^２θ－２ｂｃcosθ＋ｃ^２＋ｂ^２－ｂ^２cos^２θ＝ａ^２
⇔ ａ^２＝ｂ^２＋ｃ^２－２ｂｃcosθ　【ｂ^２cos^２θの項が消えてあとは順番だけ整理しただけです。】

つまりこの場合では余弦定理が確かに成立する事になります。

次に∠ＢＡＣ＝θと∠ＡＢＣが両方とも鋭角の場合（図の下側）には、点Ｃから辺ＡＢに垂線を下ろせます。その垂線の足をＨとおきます。この場合も先ほどとやり方自体は同じで、△ＡＨＣと△ＣＨＢの２つが直角三角形になり、ＣＨ＝ｈとして余弦と組み合わせて三平方の定理で関係式を作ります。

ＡＨ＝ｂcosθ、ＣＨ＝ｈ、ＢＨ＝ｃ－ＡＨ＝ｃ－ｂcosθ のもとで、

(ｂcosθ)^２＋ｈ^２＝ｂ^２　かつ　(ｃ－ｂcosθ)^２＋ｈ^２＝ａ^２　

前者のほうの式を後者のほうの式にｈ^２を代入して消します。
(ｃ－ｂcosθ)^２＋ｂ^２－(ｂcosθ)^２＝ａ^２ ⇔ ａ^２＝ｂ^２＋ｃ^２－２ｂｃcosθ

よって、この場合でも余弦定理が確かに成立する事になります。

証明②：鈍角の場合

では、∠ＢＡＣが鈍角の場合はどうするかというと、この場合には余弦に鈍角を入れる必要があるので三角関数として余弦を考える必要があります。結論を先に言うとcos(ｘ＋\(\pi\)／２）＝－sinｘの公式を使います。この関係を認めるうえで、余弦定理の形で辺の長さの関係を表せるという事です。

この時、鋭角である角度 φ を使って、θ ＝ φ＋９０°と表すとこの時の証明はしやすいです。ただ、三角関数を使うので、ここで角度は弧度法で表してθ ＝ φ＋\(\pi\)／２と書く事にします。

この時、図のように△ＡＢＰが直角三角形になるように便宜上の点ＰをＢＣ上において、∠ＡＢＰが直角、∠ＰＢＣ＝φ（鋭角）であると捉えます。（図の位置関係はθが鋭角の場合と少し変えて描いています。）

ここで、θ＝∠ＰＢＣ＋∠ＡＢＰ＝φ＋\(\pi\)／２です。この時、ＡＢを延長しＣからその延長線に垂線を下ろして垂線の足をＨとします。

平行線の錯角の関係により∠ＢＨＣ＝∠ＰＢＣ＝φである事に注意し、△ＢＨＣは直角三角形なのでＢＨ＝ｂsinφ、ＣＨ＝ｂcosφと表せます。ここで△ＡＨＣも直角三角形なので三平方の定理で関係式を作ると次のようになります。

(ｃ＋ｂsinφ)^２＋(ｂcosφ)^２＝ａ^２ ⇔ ｃ^２＋２ｂｃsinφ＋ｂ^２sin^２φ＋ｂ^２cos^２φ＝ａ^２

ここでまず、sin^２φ＋cos^２φ＝１の公式により
ｂ^２sin^２φ＋ｂ^２cos^２φ＝ｂ^２(sin^２φ＋cos^２φ)＝ｂ^２

すると、ｃ^２＋２ｂｃsinφ＋ｂ^２＝ａ^２

「余弦」定理の証明なのに正弦が出てきてしまったという話ですが、cosθ ＝ cos(φ＋\(\pi\)／２)＝－sinφ　つまりsinφ＝－cosθとなるので、ａ^２＝ｂ^２＋ｃ^２－２ｂｃcosθ　となり、この場合も余弦定理が成立します。

これは三角関数の定義に従って余弦の値を決める時に成り立つもので、具体的な鈍角の値を余弦関数に入れると必ず負の値ですから、符号は必ず反転してプラスになる事に注意する必要もあります。

例えば１２０°（２\(\pi\)／３ [rad]） を角度として代入するなら、
ａ^２＝ｂ^２＋ｃ^２－２ｂｃ・(－１／２)＝ｂ^２＋ｃ^２＋ｂｃ　のようになります。

理解の仕方としては、θが鋭角であろうと鈍角であろうと、三角関数の定義に従って余弦の値を考える限りは気にせずに余弦定理を使って計算をしてよい、という事になります。

角度の範囲が実数全体の場合

三角関数の定義域（実数全体）を当てはめるのであれば、上記以外の場合にはどうなるでしょう？

まず鋭角でも鈍角でもない角度として「直角」がありますが、これは冒頭でも触れた通り三平方の定理そのものになりますので、別途に証明できて成立します。

次に、０と１８０°（\(\pi\)）の場合ですが、仮に成立するとすると次のような式になります。

θ＝０とき、ａ^２＝ｂ^２＋ｃ^２－２ｂｃ＝(ｂ－ｃ)^２　より、ａ＝ｂ－ｃまたはｃ－ｂ

θ＝\(\pi\)のとき、ａ^２＝ｂ^２＋ｃ^２＋２ｂｃ＝(ｂ＋ｃ)^２　より、ａ＝ｂ＋ｃ

（もちろん、ａ≧０、ｂ≧０、ｃ≧０という条件のもとでこうなります。）

問題はこれに図形的な意味があるかという事ですが、じつは確かにあります。これらはいずれも、３点Ａ、Ｂ，Ｃが一直線上に並んだ時にあり得る関係式です。そのため、これらの角度においては「三角形はできない」という図形的な意味付けをするのであれば、各点間の距離を表す式として余弦定理は確かに成立すると言えます。

では、１８０°（\(\pi\)）を超える場合はどのように考えられるでしょう。この場合、三角関数の考え方では負の角度が０～－\(\pi\)の場合と同じなので負の角度の場合を考えると、余弦関数の値はマイナス符号をつけない正の値の時と同じ値です。cos(－θ)＝cosθと、三角関数では定義されます。

このような場合に図形上での意味としては、座標やベクトルの関係において角度に反時計回り・時計回りの区別をつける時の事が想定できます。しかしその場合でも「２点間の距離」自体は正の値として考えます。例えば座標上でｘ軸に平行な直線に関して図形を反転させた場合に、座標の符号が変わる事はあっても各点を結ぶ辺の「長さ」自体は変わりません。

この事が、負の値を角度として適用した場合の図形的な意味になります。０≦θ≦\(\pi\) の場合には余弦定理は適用可能ですから、－θを考えた時には cos(－θ)＝cosθ により角度が正の値の時と全く同じ辺の長さの関係式になります。これが、「底辺を軸として三角形を反転させた時にも辺の『長さ』自体については変わらない」事に対応するのです。この意味において、座標上などで角度に向きをつける場合でも、辺の長さの関係だけを問題にする時には余弦定理に負の角度を入れても正しく関係式を作れるという事です。

\(\pi\)を超える角度の図形的な意味は負の角度の場合と同じとすると、これも余弦定理の角度部分に代入しても三角形の辺の長さの関係は正しく表されている事になります。

三角関数の周期性により、３６０°（２\(\pi\)）を超える角度では１周して全く同じ点に戻るという図形的な解釈のもとでは、それらの角度を代入したとしても同じく三角形の辺の長さの関係は同じく正しく表されます。

以上から、余弦定理は一般的な鋭角、鈍角、直角の三角形を考える場合にも、図形上の適切な意味付けを与える限りにおいては実数全体を余弦の角度として代入しても成立する関係式である、という事になります。

三角比とは直角三角形の２つの辺の比の事で、どの２つの辺を考えるかによって
正弦（「せいげん」）、余弦（「よげん」）正接（「せいせつ」）の基本的な３種類があり、記号ではそれぞれ sin（サイン）, cos（コーサイン）, tan（タンジェント）で表します。また、その逆数として「余割」「正割」「余接」をもし必要があれば使う事もあります。三角比は図形問題を考える時にも使えますがベクトルを考えるうえでも重要で、ベクトルを力学等で活用する時にも使用されます。

三角形の角の角度は基本的には０度より大きく１８０度未満ですが、それを拡張して三角比に対して変数を任意の実数としたものは特に三角関数と呼ばれます。三角関数は周期関数として代表的なものであり、数学的にも物理的にも応用の範囲が広い初等関数の１つです。

■サイト内関連記事：

• 一般角の定義と使い方
• 波動の用語と定義【正弦波】（物理での三角関数の使われ方の例）
• 光の二重スリット干渉実験【ヤングの実験】
• ベクトルの内積の定義（ベクトルでの余弦の使われ方）
• ベクトルによる平行四辺形の面積公式（正弦を考えます）
• 方向余弦の定義と公式
• 複素数の指数関数表示（複素数での使われ方）
• 加法定理（証明と使い方）
• 余弦定理
• 正弦定理
• 弧度法とラジアン（１８０度をπとして表す角度の表記法）
• 初等関数の微分公式（三角関数の微分公式等）
• 逆三角関数（三角関数の逆関数）

三角比（正弦・余弦・正接）の図形的な定義

三角比は直角三角形の辺の比であり、角度を変数として表されます。

三角形の各辺の比は相似である別の三角形でも同じ値ですから、三角比は直角三角形の大きさにはよらず角度によってのみ確定する値になります。角度によって１つの値が決まる事を意味します。

斜辺と底辺と高さの部分（直角以外の２つの角度のどちらを考えるかで底辺と高さは入れ替わります）を使用し、「sin（サイン）」「cos（コーサイン、コサイン）」「tan（タンジェント）」の記号を使って角度の関数として表します。

直角三角形の斜辺以外の１つの辺を底辺とした時に、斜辺と底辺のなす角度をθとします。斜辺の長さをｃ，斜辺と共に角をなす辺の長さをa（図では底辺），もう１つの辺の長さ（図では高さ）をｂとする時、三角比の基本となる正弦・余弦・正接は角度θの関数としてそれぞれ次のように表されます。

三角比	表記	辺の比で表した時	具体例
正弦	sinθ	ｂ／ｃ	sin60°＝\(\frac{\Large \sqrt{3}}{\Large 2}\)
余弦	cosθ	ａ／ｃ	cos60°＝\(\frac{\Large1}{\Large 2}\)
余弦	tanθ	ｂ／ａ	tan45°＝１

考えているのが直角三角形なので三平方の定理によりａ^２＋ｂ^２＝ｃ^２ですが、これは必要がある場合には三角比を表すのにも使用します。例えば斜辺の長さｃを使わずにａとｂだけで正弦と余弦を表すなら次のように書けます。

$$\sin\theta=\frac{b}{\sqrt{a^2+b^2}}\hspace{15pt}\cos\theta=\frac{a}{\sqrt{a^2+b^2}}$$

３０°、４５°、６０°の三角比の具体的な値は図形的な考察から導出する事ができて、整理すると次のようになります。

三角比の値	３０°	４５°	６０°
正弦 sinθ	\(\frac{\Large1}{\Large 2}\)	\(\frac{\Large 1}{\Large \sqrt{2}}\)	\(\frac{\Large \sqrt{3}}{\Large 2}\)
余弦 cosθ	\(\frac{\Large \sqrt{3}}{\Large 2}\)	\(\frac{\Large 1}{\Large \sqrt{2}}\)	\(\frac{\Large1}{\Large 2}\)
正接 tanθ	\(\frac{\Large 1}{\Large \sqrt{3}}\)	１	\(\sqrt{3}\)

図形的にこれらの値を導出するには次のようにします。

６０°の場合は１辺の長さが「２」の正三角形を考えると分かりやすく、
真っ二つにすると斜辺が２、底辺が１、高さが\(\sqrt{3}\)の直角三角形ができます。
するとまず、余弦についてcos６０°＝１／２が分かります。
次に高さ部分については三平方の定理を使って \(\sqrt{2^2-1^2}=\sqrt{4-1}=\sqrt{3}\) と計算します。
それによってsin６０°＝\(\sqrt{3}\)／２およびtan６０°＝\(\sqrt{3}\)を導出できます。

３０°の場合は、直角三角形の残りの角度が９０°－６０°＝３０°である事を使います。すると底辺と高さの関係が変わるので、正弦と余弦に関しては６０°の時の値を入れ換えた形になり、正接に関しては６０°の時とは逆数の関係になるわけです。三角形の向きを変えて考えてみても同じ事になります。

４５°の場合には直角二等辺三角形を考えて、底辺と高さをそれぞれ１とすれば、まず正接について tan45°＝１が分かります。次に斜辺の長さは\(\sqrt{1^2+1^2}=\sqrt{1+1}=\sqrt{2}\) となるので正弦と余弦の値も導出できます。

角度を０°より大きく９０°未満とした時の三角比の取り得る範囲は次のようになります。

• ０＜sinθ＜１【θに対して単調増加】
• ０＜cosθ＜１【θに対して単調減少】
• ０＜tanθ　　【θに対して単調増加で、９０°に近付くにつれて無限に増加】

三角関数の定義と考え方

三角比に対して適用する角度の範囲を０°以下や９０°以上の値を考えた関数を三角関数と呼びます。三角関数の角度は基本的に弧度法を使って表記しますが、ここでは分かりやすさのために変数を度数法で記しておきます。また、三角関数を使う時には変数をｘとする事も多いですが、ここでは変数をθで表すとします。

任意の実数値を取り得る角度（「一般角」）は図形的には直角三角形を反転させた時に意味を持ち得ると同時に、向きも含めた回転の意味も持ちます。直交座標上で原点を中心にして見た時に反時計回りの回転がプラスの方向への角度の増加、時計回りの回転がマイナス方向への角度の減少としての意味を持ちます。

３６０°に達した時は「１周」とみなします。三角関数は３６０°を経過するごとに０°の時と同じ値になると定義します。つまり周期的に同じ値を繰り返す周期関数となるわけです。

三角関数の値は、ｘｙ直交座標上の原点を中心とした半径１の円（単位円）の円周上の点の座標として表されます。より具体的にはｘ軸のプラスの部分を０°として、角度θになる直線を円に向かって引いた時の円との交点のｘ座標を余弦関数 cosθの値として、ｙ座標を正弦関数 sinθの値とします。この時に、角度の範囲が０°より大きくて９０°未満の時には三角比と全く同じ値をとるわけです。

sin０°＝０，cos０°＝１，sin９０°＝１，cos９０°＝１のように定義します。このような定義をするのは数学的な拡張として自然であるからというのもありますが、物理的に単位円周上の等速運動に対応する単振動などを考えてみるとそれを表現する関数として適切であるといった見方もできます。

正接関数はtanθ＝(sinθ)／(cosθ)として定義します。ただし、正接関数においては cosθ＝０となるθの値においては無限大になってしまい「定義できない」とします。より具体的にはθ＝±９０°，±２７０°等は正接関数の定義域から除外する事になります。

三角関数の具体的な値を、三角比の範囲も含めて挙げてみると次のようになります。

一般角（度数表記）	正弦関数 sinθ	余弦関数 cosθ	正接関数 tanθ
０°	０	１	０
３０°	\(\frac{\Large 1}{\Large 2}\)	\(\frac{\Large \sqrt{3}}{\Large 2}\)	\(\frac{\Large 1}{\Large \sqrt{3}}\)
４５°	\(\frac{\Large 1}{\Large \sqrt{2}}\)	\(\frac{\Large 1}{\Large \sqrt{2}}\)	１
６０°	\(\frac{\Large \sqrt{3}}{\Large 2}\)	\(\frac{\Large 1}{\Large 2}\)	\(\sqrt{3}\)
９０°	１	０	定義しない
１２０°	\(\frac{\Large \sqrt{3}}{\Large 2}\)	\(-\frac{\Large 1}{\Large 2}\)	\(-\sqrt{3}\)
１３５°	\(\frac{\Large 1}{\Large \sqrt{2}}\)	\(-\frac{\Large 1}{\Large \sqrt{2}}\)	－１
１５０°	\(\frac{\Large 1}{\Large 2}\)	\(-\frac{\Large \sqrt{3}}{\Large 2}\)	\(-\frac{\Large 1}{\Large \sqrt{3}}\)
１８０°	０	－１	０
２１０°【－１５０°と同じ】	\(-\frac{\Large 1}{\Large 2}\)	\(-\frac{\Large \sqrt{3}}{\Large 2}\)	\(\frac{\Large 1}{\Large \sqrt{3}}\)
２２５°【－１３５°と同じ】	\(-\frac{\Large 1}{\Large \sqrt{2}}\)	\(-\frac{\Large 1}{\Large \sqrt{2}}\)	１
２４０°【－１２０°と同じ】	\(-\frac{\Large \sqrt{3}}{\Large 2}\)	\(-\frac{\Large 1}{\Large 2}\)	\(-\sqrt{3}\)
２７０°【－９０°と同じ】	－１	０	定義しない
３００°【－６０°と同じ】	\(-\frac{\Large \sqrt{3}}{\Large 2}\)	\(\frac{\Large 1}{\Large 2}\)	\(-\sqrt{3}\)
３１５°【－４５°と同じ】	\(-\frac{\Large 1}{\Large \sqrt{2}}\)	\(\frac{\Large 1}{\Large \sqrt{2}}\)	－１
３３０°【－３０°と同じ】	\(-\frac{\Large 1}{\Large 2}\)	\(\frac{\Large \sqrt{3}}{\Large 2}\)	\(-\frac{\Large 1}{\Large \sqrt{3}}\)
３６０°【０°と同じ】	０	１	０

基本的には三角比の値を使う事ができて、それがｘ軸対称やｙ軸対称の形で符号が入れ替わったり角度を１８０°から引いた形で扱うといった計算をしている事になります。

三角比と三角関数の公式

基本公式としては次のようなものがあります。三角比と三角関数とで同じ公式を適用する事ができて、違いは定義域（角度の範囲）だけになります。三角関数で統一的に考えて、三角比は範囲を限定した特別な場合と考えても同じです。

上記の公式の第１式である正接を正弦と余弦で表す関係は、単純に正弦を余弦で割ると出ます。斜辺の部分は消えてしまうわけです。

$$\frac{\sin\theta}{\cos\theta}=\frac{b}{c}\cdot\frac{c}{a}=\frac{b}{a}=\tan\theta$$

２番目の、正弦と余弦のそれぞれの２乗の和が１になるという式は、三平方の定理により分かります。

$$(\cos\theta)^2+(\sin\theta)^2=\frac{a^2+b^2}{c^2}=\frac{c^2}{c^2}=1$$

９０°－θ の角度を考えている関係式は、図を見ると分かりやすいかと思います。直角三角形の θ とは別の角度の三角比は、正弦と余弦の関係をちょうどひっくり返して表せるという事を意味します。

正接の公式tan(90°－θ)については最初の関係式 tanθ＝(sinθ)／(cosθ) も使って
{sin(90°－θ)} ／ {cos(90°－θ)} によって出しています。
正接の公式についてはいずれも同じように導出する事ができます。

特に三角関数に対しては次の式が成立する、あるいは定義が行われます。

その他、重要となる（他の色々な場面で使う）主な公式や定理には次のようなものがあります。

定理・公式等	主な内容	備考
余弦定理	ｃ２＝ａ２＋ｂ２－２ａｂcosθ	θはaとｂの長さの辺のなす角 θ＝９０°の時は三平方の定理
加法定理	sin(θ１＋θ２)＝sinθ１cosθ２＋sinθ１cosθ2 cos(θ１＋θ２)＝sinθ１sinθ２－cosθ１cosθ2	正接の加法定理も存在
倍角の公式	sin(２θ)＝２sinθcosθ cos(２θ)＝sin２θ－cos２θ	加法定理から導出
和積の公式	sinθ１＋sinθ２＝\(2\sin\frac{\Large \theta_1+\theta_2}{\Large 2}\cos\frac{\Large \theta_1-\theta_2}{\Large 2}\) cosθ１＋cosθ２＝\(2\cos\frac{\Large \theta_1+\theta_2}{\Large 2}\cos\frac{\Large \theta_1-\theta_2}{\Large 2}\)	加法定理から導出 積和の公式もあり
三角間数の 微分公式	(ｄ／ｄθ)sinθ＝cosθ (ｄ／ｄθ)cosθ＝－sinθ	微分の定義式より 積分にも使用可
極座標変換	ｘ＝ｒcosθ ｙ＝ｒsinθ	図から導出
複素数の 指数関数表示	eｉθ＝cosθ＋isinθ	i は虚数単位 オイラーの式とも
マクローリン 展開	sinθ＝θ－θ３／(３！)＋θ５／(５！)－・・・ cosθ＝１－θ２／(２！)＋θ４／(４！)－・・・	正接に関しては 逆正接関数のほうが簡単
内積の定義	\(\overrightarrow{a}\cdot\overrightarrow{b}=|\overrightarrow{a}|\hspace{2pt}|\overrightarrow{b}|\cos\theta\)	θは２つのベクトルのなす角

２つの三角形が合同であるとは、形も大きさも全く同じである事を言います。
形も大きさも同じという事は、面積も等しくなります。

合同な三角形であっても、向きなどが別々の方向を向いていて「見た目」が異なってる場合もあります。２つの三角形が合同であるかを調べるには次の３つの条件を満たしているかを調べます：

合同である三角形は、この３つの条件全てを満たします。つまり、１つの条件を満たせば他の２つの条件も同時に満たされるという事です。合同である事を証明するには１つの条件が満たされている事を示せば十分という事になります。

合同の関係と似ているものとして、相似の関係があります。相似とは「形だけが同じで大きさは違う」というものです。

形も大きさも同じである場合が合同の関係であり、２つの三角形が合同である場合は相似である条件も満たしています。つまり、合同と相似は無関係なものではなくて、形も大きさも等しくなるためのやや厳しい条件が課されるのが合同で、形だけが等しい緩い条件だけが課されているのが相似というわけです。

一見すると合同にはみえないけれどよく見ると合同であるという例は、例えば三平方の定理の証明の１つで見られます。この例では形も大きさも全く同じ三角形が存在するのですが、向いている方向が全く異なるうえに他の様々な線が入り乱れているので気付きにくいのです。

しかし、丁寧に辺の長さや角度を調べると確かに合同である事を示せます。この場合では「２辺とその挟む角が等しい」という条件を使っています。

図の３つの四角形は「正方形」であるという条件があるので、
ＡＣ＝ＡＣ’　ＡＢ＝ＡＢ’　という長さの関係がまずあります。
次に、∠ＢＡＣ＝∠ＣＡＢ＋∠ＣＡＣ’＝∠ＣＡＢ＋９０°ですが、
他方で∠Ｂ’ＡＣ’＝∠ＣＡＢ＋∠Ｂ’ＡＢ＝∠ＣＡＢ＋９０°なので
∠ＢＡＣ＝∠Ｂ’ＡＣ’になります。
ゆえに、△ＡＢＣ≡△ＡＢ’Ｃ’　である、と証明されます。

こういう具合に、合同である事を示すわけです。
尚、この例の場合では、「合同ゆえに面積も等しい」と話が続いていきます。

このように「見ただけでは分かりにくい」場合であっても、辺の長さや角度を調べて合同である事を確かに示せる場合があるわけです。数学的に論証するという事を学ぶ１つの意味がここにあります。単に論理的な思考をするというだけでなくて、事実関係の検証をする１つのツールとしての意味があるという事です。

３辺が全て等しいという条件を使う場合も、たまにあります。例えば、円に外接する三角形の頂点と円の中心で構成される２つの三角形です。

上図において、△ＡＯＣと△ＢＯＣに注目します。
まず、同じ円の半径なのでＯＡ＝ＯＢです。
また、辺ＯＣは共有されているのでもちろん長さは２つの三角形で等しいのです。
さらにここで、∠ＯＡＣ＝∠ＯＢＣ＝９０°なので、三平方の定理によりＡＣ＝ＢＣになります。
よって２つの三角形の３つの辺の長さはそれぞれ等しく、確かに△ＡＯＣ≡△ＢＯＣというわけです。

逆に、見た感じ同じ形・大きさに見えるけれどもきちんと調べるとじつは合同ではないというパターンもあり得ます。描かれた図ではいかにもそれらしく見えるけれども、条件を整理すると合同の３条件のいずれにも当てはまらず「じつは形も大きさも違う」という事が判明する場合もあります。

ここでは、あくまで図形問題に限定してという話ではありますが、「見た目」で判断するのではなく論拠を備えて検証するという事が三角形の合同条件や相似条件の学習において重要なポイントの１つです。これは試験問題を解くという話の中でも重要なので、おさえておきたいところです。

三角形の角を二等分する線を引いた時に成立する１つの図形的性質があります。

これは高校入試の図形問題でよく出題され、場合によっては大学入試で部分的に扱われる事もあります。

まず、三角形の１つの角を二等分する線を引きます。これは、例えば６０°の角度であれば３０°と３０°に分割する線を引くという意味です。

次に、その線が１つの辺とぶつかる交点を考えます。すると、じつはその交点は、他の２辺の長さの「比」でその辺を分割しているのです。こういったものは、図で見たほうが多分分かりやすいでしょう。

これを証明するのは比較的簡単です。次のようにします。
（★ただし、入試の問題を解くという観点からは結果の関係式を確実に覚えておいたほうがよいです。しかし仮に忘れた時でも証明は難しくないという事です。）

まず、二等分する角につながる三角形の辺の１つを延長します。次に、二等分する角の対辺の１端から、角の二等分線に「平行」な直線を引きます。すると三角の相似関係により証明ができるというのが簡単な流れです。この時、二等辺三角形ができる事に気付く事も１つの重要な点です。

この関係が中学校の数学、特に高校入試で問われる場合は、単独ではなくて他の図形上の関係と合わせて計算をさせる事が多いと思います。例えば、三角形の相似問題の１つの条件として使われたり、三角形の面積比を計算させるといった具合です。

また、円周角関連の事項と合わせた出題もあり得ます。この手の問題は計算を面倒にさせようと思えばいくらでもそのように問いを作れるので、いくらか練習しておかないといきなり問われた時になかなかうまくいかない事もあろうかと思います。

さて、この三角形の二等分線に関する問いは多いですが、中学での勉強を終えて高校での学習に移る時、そんなに使うのかというと正直あまり使わないと思います。ただし、図形の平行・直角・相似・合同といった考え方は引き続き使用される事があります。

そのため、試験問題を解くという事を抜きにして語るのであれば、重要なのは関係式が成立する「理由」のところだと思います。平行線の性質や相似関係によってこのような事が言えるという事が、本当は一番覚えて理解しておきたいところかとは思います。