公式の丸暗記から脱却するためには、なぜこの不等式が導かれるのかという「三角形の成立条件 証明」の道筋を理解することが近道です。数学的には複数の証明手法が存在しますが、高校数学において最も直観的で美しい2つのアプローチを掘り下げます。
1. 初等幾何と「2点間の最短距離」によるアプローチ
平面上にある異なる3点 A, B, C を結ぶ経路を考えます。点 B から点 C へ向かう移動において、最も短い距離は当然ながら線分 BC そのものです。点 A を経由する迂回路（線分 BA を通り、点 A から線分 AC を通るルート）を選んだ場合、3点が同一直線上にない限り、その移動距離は直行ルートよりも必ず長くなります。
数式で表せば、$\text{BC} < \text{AB} + \text{AC}$ すなわち $a < c + b$ が直接証明されます。これは現代数学における距離空間の公理「三角不等式」そのものであり、幾何学の最も根源的な真理を映し出しています。
2. 三角比・余弦定理を用いた代数学的アプローチ
高校数学A・数学Iの融合問題として非常に強力なのが、余弦定理を用いたアプローチです。三角形 ABC において、角 A の余弦は以下の式で表されます。
$\cos A = \frac{b^2 + c^2 - a^2}{2bc}$
三角形が実体として成立しているとき、角 A は $0^\circ < A < 180^\circ$ の範囲に収まるため、その余弦は必ず以下の範囲を取らなければなりません。
$-1 < \cos A < 1$
この不等式に余弦定理の式を代入して式変形を施します。まず右側の $\frac{b^2 + c^2 - a^2}{2bc} < 1$ を解くと、$b^2 + c^2 - a^2 < 2bc$ より $(b - c)^2 < a^2$ となり、辺の長さが正であることから $|b - c| < a$ が導かれます。同様に左側の $-1 < \frac{b^2 + c^2 - a^2}{2bc}$ を変形すると $a < b + c$ が得られます。これらを統合した結果、まさに絶対値による成立条件公式 $|b - c| < a < b + c$ が厳密に導出されるのです。
