「線型代数学/ベクトル」の版間の差分
削除された内容 追加された内容
編集の要約なし |
|||
183 行
内積については、次の性質が成り立つ。いずれも証明は易しい。
*('''a''','''a''')=||a||^2
*'''a'''と'''b'''が直交する⇔('''a''','''b''')=0<ref>なす角について上で述べたのと同様に、これは二次元・三次元の実ベクトルについては「性質」である。逆に、それ以外のベクトルではこれは直交の「定義」である。</ref>
*c('''a''','''b''')=(c'''a''','''b''')=('''a''',c'''b''')
259 ⟶ 260行目:
成分を用いた式を見れば、この表示によって直線が表されることの妥当性が理解しやすいだろう。
上に挙げた式を直線の助変数表示またはベクトル表示という。また、'''a'''をこの直線の方向ベクトルという。
方向ベクトルはこの直線と平行なベクトルである。
もちろん助変数表示の仕方は一つではないが、
'''例題'''
473 ⟶ 475行目:
==法線ベクトル==
平面上の直線
:ax+by=c
を考える。この直線の方向ベクトルは
:<math>\mathbf{
-a \\
</math>▼
である。ここで、
:<math>\mathbf{a}=
\begin{pmatrix}
a\\
b\\
\end{pmatrix}</math>
というベクトルを考えると、
▲\begin{pmatrix}
▲ x\\
▲<math>(\mathbf{a},\mathbf{x})=0</math> (5.1)'
▲なので、'''a'''と直線(5.1)'は直交し、ゆえに直線(5.1)と直交する。このとき'''a'''を直線(5.1)の''法線ベクトル''と言う。
'''例5.1'''
点Pから直線lへ垂線を下ろし、足をP'とする。▼
▲という直線を考える。平面内の1点Pから直線lへ垂線を下ろし、足をP'とする。この垂線の長さを求めよう。
▲l:'''x'''='''a'''t+'''x'''<sub>1</sub> (5.3)
'''
:||'''p'''-'''x'''<sub>0</sub>||
で与えられる。
:'''x_0'''='''a'''t+'''x'''<sub>1</sub>
となる。このベクトルが'''a'''と直交するので
:('''a''','''p'''-'''x_0''')=('''a''','''p''')-|'''a'''|<sup>2</sup>t-('''a''','''x'''<sub>1</sub>)=0
<math>\mathbf{x'}_0=\mathbf{a}{(\mathbf{a},\mathbf{x}_0-\mathbf{x}_1)\over ▼
:<math>t=\frac{(\mathbf{a},\mathbf{
これを代入して
▲:<math>\mathbf{x
をえる。
={{||\mathbf{a}||||\mathbf{x}_0-\mathbf{x}_1||\cos \theta}\over {||\mathbf{a}||^2}}▼
▲</math>
▲||\mathbf{x}_0-\mathbf{x}_1||^2-(\mathbf{a},\mathbf{x}_0-\mathbf{x}_1)^2}}\over {||\mathbf{a}||}}</math>
あとは自分自身との内積を計算するだけである。落ち着いて計算すれば
▲:<math>||\mathbf{p}-\mathbf{x}_0||={{\sqrt{||\mathbf{a}||^2 ||\mathbf{
と計算される。空間内の直線についても、同じ事である。
'''演習'''
▲3.
:空間内の平面の場合についても同様に考えられる。
568 ⟶ 552行目:
:とするとき、||'''x'''<sub>0</sub>-'''x''''<sub>0</sub>||を求めよ。
:平面Fの法線ベクトル'''a'''と平面F'の法線ベクトル'''a''''の交角を平面Fと平面F'の交角と言う
|