座標から三角形の面積を一瞬で求める裏ワザ！公式の証明と計算ミス撲滅法

座標から三角形の面積を一瞬で求める裏ワザ！公式の証明と計算ミス撲滅法の全貌を詳しく解説してご紹介します。

「なぜ、たすき掛けして引くだけで面積になるのか」という疑問は、公式を単なる丸暗記から一生モノの武器へと昇華させる上で不可欠な視点です。この公式が成立する背景には、初等幾何学による長方形の切り落としと、高校数学の三角形面積座標解法におけるベクトル代数の美しい合流点が存在します。

1. 中学生でも納得できる「長方形からの切り落とし」証明

第1象限において原点 $O(0, 0)$、$A(x_1, y_1)$、$B(x_2, y_2)$ の3点を考えます。この三角形をすっぽりと包み込む幅 $x_1$（または $x_2$）、高さ $y_2$（または $y_1$）の長方形を描きます。三角形 $OAB$ の面積は、外枠の長方形の面積から、周囲にできる3つの余白の直角三角形を差し引くことで計算できます。

$$S = (\text{外枠の長方形}) - (\text{直角三角形1}) - (\text{直角三角形2}) - (\text{台形または直角三角形3})$$

各頂点の位置関係を代数的に展開し、整理していくと、中間項がことごとく相殺され、最終的に残るのがまさに $\frac{1}{2}(x_1 y_2 - x_2 y_1)$ という極めてコンパクトな形です。点の位置関係が反転して値が負になるケースを吸収するために絶対値記号を付与することで、あらゆる位置関係で成立する万能公式へと昇格します。

2. ベクトルの内積・外積から導くエレガントな証明

高校数学の「数学C」で履修するベクトルを用いると、この構造の本質がより鮮明に見えてきます。2つのベクトル $\vec{a} = (x_1, y_1)$、$\vec{b} = (x_2, y_2)$ が張る三角形の面積公式は、内積を用いて次のように定義されます。

$$S = \frac{1}{2}\sqrt{|\vec{a}|^2|\vec{b}|^2 - (\vec{a} \cdot \vec{b})^2}$$

ここに各成分 $|\vec{a}|^2 = x_1^2 + y_1^2$、$|\vec{b}|^2 = x_2^2 + y_2^2$、$\vec{a} \cdot \vec{b} = x_1 x_2 + y_1 y_2$ を代入して平方根の中身を展開します。

$$(x_1^2 + y_1^2)(x_2^2 + y_2^2) - (x_1 x_2 + y_1 y_2)^2$$ $$= (x_1^2 x_2^2 + x_1^2 y_2^2 + y_1^2 x_2^2 + y_1^2 y_2^2) - (x_1^2 x_2^2 + 2x_1 x_2 y_1 y_2 + y_1^2 y_2^2)$$ $$= x_1^2 y_2^2 - 2x_1 y_2 x_2 y_1 + y_1^2 x_2^2$$ $$= (x_1 y_2 - x_2 y_1)^2$$

根号の中に完全平方式が現れ、$\sqrt{(x_1 y_2 - x_2 y_1)^2} = |x_1 y_2 - x_2 y_1|$ となります。これにより、ベクトルの外積による三角形の面積（外積ベクトルの大きさの半分）と完璧に一致することが代数的に裏付けられます。これこそが、三角形の面積座標公式の証明と理由における最も核心的な数学的構造です。