ソースを表示

==  内積とノルム==
内積とノルムは物理学では良くつかわれるので
本テキストで必要となる命題と証明を紹介する。<br/>
以下では、<br/>
$\vec a,\vec b,\vec c$は、すべて同じ次元（２か３）のベクトルとし、 $\alpha$は実数とする。<br/>
座標成分表示が必要な命題では、直交座標系表示を用いる。
===内積とノルムの定義===

===命題１===
$\vec a \cdot \vec b =\vec b \cdot \vec a$

===命題２===
$\vec a \cdot \vec b =\sum_{i}a_ib_i$ 
ここで$a_1,b_1$はそれぞれ$\vec a,\vec b$のx座標成分、同様に、添え字２はy座標成分、３はz座標成分<br/>
直交座標系はどんなものでも良い。しかしすべてのベクトルは同じ座標系で座標成分表示しなければならない。<br/>
===命題３===（
$(\vec a +\vec b) \cdot \vec c =\vec a \cdot \vec c+\vec b \cdot \vec c$　　　<br/>
===命題４===
$(\alpha \vec a)\cdot \vec b =\vec a \cdot (\alpha \vec b)=\alpha (\vec a \cdot \vec b)$ <br/>
が成り立つ。 <br/>
===命題５===
$\vec a \cdot \vec a=\|\vec a\|^2=\sum_{i}a_{i}^2$<br/>
===命題６===
$\|\vec a \cdot \vec b\| \leq \|\vec a\|\|\vec b\|$<br/>
===命題７===
ノルムの性質；$\|\vec a + \vec b\| \leq \|\vec a\| + \|\vec b\|$<br/>

(証明) <br/>
(1)は、内積の定義から明らか。 <br/>
(2)；次の三角形の余弦定理を利用する。<br/>
三角形の[[wikipedia_ja:余弦定理|第２余弦定理]];<br/>
図のような$\triangle {ABC}$を考える。<br/>
頂点A,B,Cの対辺の長さをそれぞれ$a,b,c$とし、$\angle{ACB}=\theta$とする。<br/>
すると、$c^2=a^2+b^2-2ab\cos\theta$<br/>
余弦定理の証明；頂点$A$から対辺$BC$におろした垂線の足を$H$とする。<br/>
[[wikipedia_ja:ピタゴラスの定理 |ピタゴラスの定理]]により、<br/>
$c^2=\overline{BH}^2+\overline{AH}^2$。$\qquad$ 右辺の第2項に、再び、ピタゴラスの定理を適用して、<br/>
$=\overline{BH}^2+(b^2-\overline{CH}^2)$ $\qquad$ $\overline{BH}=a-\overline{CH}$を代入すると、<br/>
$=(a-\overline{CH})^2+(b^2-\overline{CH}^2)=a^2+b^2-2a\overline{CH}$,$\quad$ $\overline{CH}=b\cos\theta$なので、代入すると<br/>
$=a^2+b^2-2ab\cos\theta$  <br/>
証明終わり。<br/>
(2)の証明　　<br/>
ベクトル$\vec a $と$\vec b $を、<br/>
始点が点$C$である有向線分で表現し、その終点を$B$,$C$で表す。<br/>
すると$\vec a=\vec{CB}$, $\vec b=\vec{CA}$である。<br/>
ベクトル$\vec c=\vec a-\vec b$を導入すると、<br/>
$\vec c=\vec a-\vec b=\vec{CB}-\vec{CA}=\vec{CB}+\vec{AC}=\vec{AB}$<br/>
３角形$\triangle {ABC}$を考え、第２余弦定理を適用しよう。<br/>
$\angle{ACB}=\theta$とおく。すると、<br/>
$\|\vec c\|^2=\|\vec a\|^2+\|\vec b\|^2-2\|\vec a\|\|\vec b\|\cos{\theta}$<br/>
$=\|\vec a\|^2+\|\vec b\|^2-2\vec a \cdot \vec b$が得られる。<br/>
この式を変形して$\vec a \cdot \vec b$だけを左辺に置くと、<br/>
$\vec a \cdot \vec b=(\|\vec a\|^2+\|\vec b\|^2-\|\vec c\|^2)/2$　。<br/>
$\vec c=\vec{AB}=\vec{AC}+\vec{CB}=-\vec b+\vec a$なので、<br/>

$\vec a \cdot \vec b=(\|\vec a\|^2+\|\vec b\|^2-\|\vec a-\vec b\|^2)/2 $  <br/>
この右辺を、ベクトルの直交座標成分で表すと、次式が得られる。 <br/>
$\vec a \cdot \vec b=(\sum_{i}a_i^2+\sum_{i}b_i^2-\sum_{i}(a_i-b_i)^2 )/2 $<br/>$=\sum_{i}a_i b_i$ <br/>
（２）の証明終わり。 <br/>
（性質３）の証明；ある一つの直交座標系をさだめ、両辺を、性質(２)を利用して、座標成分であらわす。両辺が等しいことが分かる。<br/>
（性質４）の証明；同様に、３つの式を、座標成分表示すれば、みな等しいことが、簡単に分かる。