![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
実数を成分とする二次の行列 &mimetex("\large A=\begin{pmatrix} a&c\\ b&d\end{pmatrix}"); の行列式を考える。
平面ベクトル &mimetex("\mathbf{a} = \begin{pmatrix} a\\b\end{pmatrix}"); と &mimetex("\mathbf{c} = \begin{pmatrix} c\\d\end{pmatrix}"); を二辺とする平行四辺形の面積は &mimetex("S = ||\mathbf{a}||{\cdot}||\mathbf{c}||\sin|\theta|");（&mimetex("\theta"); は &mimetex(\mathbf{a}); に対する &mimetex(\mathbf{c}); の角度で &mimetex("-\pi \lt \theta \le \pi");）で与えられるから、
#mimetex("S^2 = ||\mathbf{a}||^2{\cdot}||\mathbf{c}||^2(1-\cos^2\theta) = ||\mathbf{a}||^2{\cdot}||\mathbf{c}||^2-(\mathbf{a},\mathbf{c})^2 = (a^2+b^2)(c^2+d^2)-(ac+bd)^2 = a^2d^2+b^2c^2-2abcd = (ad-bc)^2");
を得る。従って、&mimetex("S = |{ad-bc}|"); である。さらに、実は &mimetex("ad-bc"); の符号は &mimetex("\theta"); の符号に一致（四則演算の連続性に基づく中間値の定理を用いた背理法による証明しか思いつかないので省略する）し、&mimetex(" ||\mathbf{a}||{\cdot}||\mathbf{c}||\sin\theta=ad-bc"); が成立する。すなわち、&mimetex("\mathbf{c}"); が &mimetex("\mathbf{a}"); から見て左側にあり、これらのベクトルが &mimetex("\mathbf{a}"); を底辺とする平行四辺形を形作る時は &mimetex("ad-bc \gt 0"); となり、これが裏返った形になっている時は &mimetex("ad-bc \lt 0"); となる。そういう理由で、実数 &mimetex("ad-bc"); は「符号付き面積を表す」とされている。
さて、実数 &mimetex("ad-bc"); を &mimetex("A"); の行列式と呼び、&mimetex("\det{A}"); で表す。
