1.16 平行四辺形の面積

定理 1.82 (平行四辺形の面積)   $\mathbb{R}^2$ 内の点 $O$, $A(\vec{a})$, $B(\vec{b})$, $D(\vec{a}+\vec{b})$ を考える． このとき平行四辺形 $OADB$ の面積は

$$S= \mathrm{abs}\left( \begin{vmatrix}a_{1} & b_{1} \\ a_{2} & b_{... ..._{2} \end{bmatrix}\,,\quad \vec{b}= \begin{bmatrix}b_{1} \\ b_{2} \end{bmatrix}$$ (99)

で与えられる．ただし $\mathrm{abs}(x)=\vert x\vert$ とする．

問 1.83 (平行四辺形の面積)   これを証明せよ．

（証明その1） 角度 $\theta=\angle AOB$ とする． 平行四辺形の面積は底辺の長さ $\Vert\vec{a}\Vert$ と 高さ $\Vert\vec{b}\Vert\sin\theta$ を掛けたものであるので， これを計算すると

$$S =\Vert\vec{a}\Vert\left(\Vert\vec{b}\Vert\sin\theta\right)= \Vert... ...\vec{b}\Vert\sin\theta= \Vert\vec{a}\Vert\Vert\vec{b}\Vert\sqrt{1-\cos^2\theta}$$ (100)

$$= \sqrt{\Vert\vec{a}\Vert^2\Vert\vec{b}\Vert^2- \left(\Vert\vec{a... ...2}= \sqrt{ (\vec{a}\cdot\vec{a})(\vec{b}\cdot\vec{b})- (\vec{a}\cdot\vec{b})^2}$$ (101)

$$= \sqrt{ (a_{1}{}^2+a_{2}{}^2)(b_{1}{}^2+b_{2}{}^2)- (a_{1}b_{1}+... ...b_{2})^2}= \sqrt{ a_{1}{}^2b_{2}{}^2-2a_{1}a_{2}b_{1}b_{2}+ a_{2}{}^2b_{1}{}^2}$$ (102)

$$= \sqrt{ (a_{1}b_{2}-a_{2}b_{1})^2 }= \left\vert a_{1}b_{2}-a_{2}b_{1}\right\vert$$ (103)

を得る．

（証明その2） $\mathbb{R}^3$ のベクトル

$$\vec{a}= \begin{bmatrix}a_{1} \\ a_{2} \\ 0 \end{bmatrix}, \qquad... ... \\ 0 \end{bmatrix}, \qquad \vec{a}= \begin{bmatrix}0 \\ 0 \\ c_3 \end{bmatrix}$$ (104)

が

$$\vec{c}=\vec{a}\times\vec{b}$$ (105)

を満すとする． このとき

$$c_3= \begin{vmatrix}a_{1} & b_{1}\\ a_{2} & b_{2} \end{vmatrix}$$ (106)

が成り立つ． $\Vert\vec{c}\Vert=\vert c_{3}\vert$ はベクトル $\vec{a}$, $\vec{b}$ が なす平行四辺形の面積に等しい．

平成20年2月2日