座標から三角形の面積を瞬時に導く裏ワザ!靴ひもの公式と外積を解説
この驚異的な時短公式は、決して根拠のない手品ではありません。背景には高校数学の核心であるベクトル幾何と、大学数学へと繋がる線形代数の美しい理論的調和が存在します。教育メディア『高校数学の美しい物語』でも詳解されている通り、公式の導出理由と証明を俯瞰すると、主に「成分を用いたベクトル面積公式」と「点と直線の距離による幾何学的証明」の2系統から裏付けることが可能です。
最も洗練されたアプローチは、高校数学Cで学ぶベクトル面積公式からのアプローチです。原点を始点とする2つのベクトル $\vec{a} = (x_1, y_1)$、$\vec{b} = (x_2, y_2)$ が張る三角形の面積 $S$ は、内積 $\vec{a} \cdot \vec{b} = |\vec{a}||\vec{b}|\cos\theta$ および三角関数の相互関係 $\sin^2\theta + \cos^2\theta = 1$ を用いて次のように導かれます。
$$S = \frac{1}{2}|\vec{a}||\vec{b}|\sin\theta = \frac{1}{2}\sqrt{|\vec{a}|^2|\vec{b}|^2 - (\vec{a}\cdot\vec{b})^2}$$
ここに各ベクトルの成分をそのまま代入して平方根の中身を展開・整理します。
$$|\vec{a}|^2|\vec{b}|^2 - (\vec{a}\cdot\vec{b})^2 = (x_1^2 + y_1^2)(x_2^2 + y_2^2) - (x_1x_2 + y_1y_2)^2$$
$$= (x_1^2x_2^2 + x_1^2y_2^2 + y_1^2x_2^2 + y_1^2y_2^2) - (x_1^2x_2^2 + 2x_1x_2y_1y_2 + y_1^2y_2^2)$$
$$= x_1^2y_2^2 - 2x_1y_2x_2y_1 + x_2^2y_1^2 = (x_1y_2 - x_2y_1)^2$$
根号を外すことで、厳密に $S = \frac{1}{2}|x_1y_2 - x_2y_1|$ が導き出されます。幾何学的に言えば、この $x_1y_2 - x_2y_1$ という値は、2つのベクトルが張る平行四辺形の符号付き面積そのものを表しています。
また、数学的な視点を一段階引き上げると、この計算は2次正方行列における行列式による面積計算(デターミナント)に他なりません。
$$\det \begin{pmatrix} x_1 & x_2 \\ y_1 & y_2 \end{pmatrix} = x_1y_2 - x_2y_1$$
これは線形代数におけるサラスの公式の2×2バージョンそのものであり、原点から伸びる2つの有向線分が空間をどれだけの体積(2次元では面積)に引き伸ばすかを示す「拡大率」を算出していることに相当します。理論の背景を正しく把握しておけば、単なる公式の丸暗記から脱却し、忘却のリスクを完全に封殺できる構造になっています。