三角形の成立条件とは？公式の理由から鋭角鈍角の判定まで徹底解説

三角形の成立条件とは？公式の理由から鋭角鈍角の判定まで徹底解説とはどんな影響があるのか? 主要なファクトを丁寧に紐解いて紹介します。

直感的な理解にとどまらず、論理的に三角形の成立条件の証明を組み立てるアプローチは複数存在します。入試問題の記述試験でも問われる代表的な論法を整理します。

最も代数的に明快なのが、高校数学で習う余弦定理を用いた証明です。3辺 $a, b, c$ と角 $A$ に対して、余弦定理は以下のように記述されます。

$$\cos A = \frac{b^2 + c^2 - a^2}{2bc}$$

三角形が存在し、角 $A$ が $0^\circ < A < 180^\circ$ の範囲に収まるためには、三角比の定義上、$-1 < \cos A < 1$ を満たさなければなりません。この不等式を2つに分解して展開します。

まず $\cos A < 1$ より、

$$\frac{b^2 + c^2 - a^2}{2bc} < 1 \implies b^2 + c^2 - a^2 < 2bc \implies (b - c)^2 < a^2$$

$a > 0$ かつ辺の長さは正の実数であるため、平方根をとると $|b - c| < a$ が導かれます。

次に $\cos A > -1$ より、

$$\frac{b^2 + c^2 - a^2}{2bc} > -1 \implies b^2 + c^2 - a^2 > -2bc \implies a^2 < (b + c)^2$$

同様に平方根をとれば、$a < b + c$ が導出されます。

これら2つの条件を結合することで、公式である $|b - c| < a < b + c$ が厳密に得られます。幾何学的な「頂点から対辺への垂線」を利用した初等幾何的アプローチや、三角形の面積を表すヘロンの公式の根号内が正になる条件（$S > 0$）からも同一の結論が導かれ、代数と幾何が整合している事実が確認できます。