|
|
916 行 |
916 行 |
|
(1)T<sup>2</sup>=T (2)TS=ST=O (3)任意の'''x'''にたいし、T'''x'''+S'''x'''='''x''' |
|
(1)T<sup>2</sup>=T (2)TS=ST=O (3)任意の'''x'''にたいし、T'''x'''+S'''x'''='''x''' |
|
|
|
|
|
==ベクトル積== |
|
==外積== |
|
|
|
|
|
===二次の行列式=== |
|
|
|
|
|
定義(7.1) |
|
|
|
|
|
<math>A=\begin{pmatrix} |
|
|
a & b\\ |
|
|
c & d\\ |
|
|
\end{pmatrix}</math>, |
|
|
<math>\mathbf{a}=\begin{pmatrix} |
|
|
a\\ |
|
|
c\\ |
|
|
\end{pmatrix}</math>, |
|
|
<math>\mathbf{b}= |
|
|
\begin{pmatrix} |
|
|
b\\ |
|
|
d\\ |
|
|
\end{pmatrix}</math> |
|
|
の時、 |
|
|
|
|
|
<math>|A|= |
|
|
\begin{vmatrix} |
|
|
a & b\\ |
|
|
c & d |
|
|
\end{vmatrix}=\det A=\det(\mathbf{a},\mathbf{b}) |
|
|
=ad-bc</math>をAの行列式という。 |
|
|
|
|
|
次の性質は簡単に証明できる。 |
|
|
|
|
|
'''a''','''b'''が線形独立⇔det('''a''','''b''')≠0 |
|
|
|
|
|
det('''a''','''b''')=-det('''b''','''a''') |
|
|
|
|
|
det('''a'''+'''b''','''c''')=det('''a''','''c''')+det('''b''','''c''') |
|
|
|
|
|
det(c'''a''','''b''')=det('''a''',c'''b''')=cdet('''a''','''b''') |
|
|
|
|
|
|AB|=|A||B| |
|
|
|
|
|
ここで、'''a''','''b'''が線形独立とは、'''a''','''b'''が平行でないことを表す。 |
|
|
|
|
|
===平行四辺形の面積=== |
|
|
|
|
|
関係ないと思うかもしれないが、外積の定義に必要な情報である。 |
|
|
|
|
|
'''a'''と'''b'''の張る平行四辺形の面積を求める。二ベクトルの交角をθとする。 |
|
|
|
|
|
'''b'''を底辺においたとき、高さは||'''a'''||sinθなので、求める面積Sは |
|
|
|
|
|
S=||'''a'''||||'''b'''||sinθ |
|
|
|
|
|
⇔S<sup>2</sup>=||'''a'''||<sup>2</sup>||'''b'''||<sup>2</sup> |
|
|
-||'''a'''||<sup>2</sup>||'''b'''||<sup>2</sup>cos<sulp>2</sup>θ |
|
|
|
|
|
=||'''a'''||<sup>2</sup>||'''b'''||<sup>2</sup>-('''a''','''b''')<sup>2</sup> |
|
|
|
|
|
よって、 |
|
|
|
|
|
<math>S=\sqrt {||\mathbf{a}||^2||\mathbf{b}||^2-(\mathbf{a},\mathbf{b})^2}</math> (7.1) |
|
|
|
|
|
'''演習''' |
|
|
|
|
|
<math>\mathbf{a}=\begin{pmatrix} |
|
|
a\\ |
|
|
b\\ |
|
|
\end{pmatrix}</math>, |
|
|
<math>\mathbf{a}'=\begin{pmatrix} |
|
|
a'\\ |
|
|
b'\\ |
|
|
\end{pmatrix}</math> |
|
|
|
|
|
とすれば、<math>S=|\begin{vmatrix} |
|
|
a & a'\\ |
|
|
b & b'\\ |
|
|
\end{vmatrix}|</math>. |
|
|
|
|
|
これを証明せよ。 |
|
|
|
|
|
===外積=== |
|
|
|
|
|
内積が有るなら外積もあるのでは?と思った読者待望の部ではないだろうか。(余談) |
|
|
|
|
|
定義(7.2) |
|
|
|
|
|
'''c'''は次の4条件を満たすとき、'''a''','''b'''の外積、或はベクトル積と呼ばれ,'''a'''×'''b'''='''c'''と表記される。 |
|
|
|
|
|
(i)'''a''','''b'''と直交する。 |
|
|
|
|
|
(ii)'''a''','''b'''は線形独立 |
|
|
|
|
|
(iii)'''a''','''b''','''c'''は右手系をなす。 |
|
|
|
|
|
(iv)||'''c'''||が平行四辺形の面積 |
|
|
|
|
|
ここで、右手系とは、R<sup>3</sup>の単位ベクトル'''e'''<sub>1〜3</sub>が各々右手の親指、人差指、中指の上にある三次元座標系のことである。 |
|
|
|
|
|
|
|
|
定理(7.3) |
|
|
|
|
|
右手座標系で、 |
|
|
|
|
|
<math>\mathbf{a}= |
|
|
\begin{pmatrix} |
|
|
a\\ |
|
|
b\\ |
|
|
c\\ |
|
|
\end{pmatrix}</math>, |
|
|
<math>\mathbf{b}= |
|
|
\begin{pmatrix} |
|
|
a'\\ |
|
|
b'\\ |
|
|
c'\\ |
|
|
\end{pmatrix}</math> |
|
|
|
|
|
とすると、 |
|
|
|
|
|
<math>\mathbf{c}=\mathbf{a} \times \mathbf{b}= |
|
|
\begin{pmatrix} |
|
|
\begin{vmatrix} |
|
|
b & b'\\ |
|
|
c & c' |
|
|
\end{vmatrix}\\ |
|
|
\begin{vmatrix} |
|
|
a & a'\\ |
|
|
c & c' |
|
|
\end{vmatrix}\\ |
|
|
\begin{vmatrix} |
|
|
a & a'\\ |
|
|
b & b' |
|
|
\end{vmatrix}\\ |
|
|
\end{pmatrix}</math> (7.2) |
|
|
|
|
|
(証明) |
|
|
|
|
|
三段構成でいく。'' |
|
|
|
|
|
(i)'''c'''と、'''a'''と'''b'''と直交することを示す。要するに、 |
|
|
('''c''','''b''')=0且('''c''','''a''')=0を示す。 |
|
|
|
|
|
(ii)||'''c'''||が平行四辺形の面積Sであることをを証明。 |
|
|
|
|
|
(iii)'''c''','''a''','''b'''が、右手座標系であることを証明。 |
|
|
|
|
|
|
|
|
(i)は計算するだけなので演習とする。 |
|
|
|
|
|
(ii) |
|
|
|
|
|
||'''c'''||<sup>2</sup>=(bc'-b'c)<sup>2</sup>+(ac'-a'c)<sup>2</sup>+(bc'-b'c)<sup>2</sup> |
|
|
|
|
|
|
|
|
=(a<sup>2</sup>+b<sup>2</sup>+c<sup>2</sup>)(a'<sup>2</sup>+b'<sup>2</sup>+c'<sup>2</sup>)-(a |
|
|
a'+bb'+cc')<sup>2</sup>=||'''a'''||^2||'''b'''||^2-('''a''','''b''')^2 |
|
|
|
|
|
||'''c'''||≧0より、式(7.1)から、 |
|
|
|
|
|
<math>||\mathbf{c}||=\sqrt {||\mathbf{a}||^2||\mathbf{b}||^2-(\mathbf{a},\mathbf{b})^2}=S</math> |
|
|
|
|
|
(iii) |
|
|
|
|
|
'''a'''='''e'''<sub>1</sub>, '''b'''='''e'''<sub>2</sub>ならば、式(7.2)は両辺とも'''e'''<sub>3</sub>である。'''e'''<sub>1</sub>,'''e'''<sub>2</sub>を、線形独立性を崩さずに移すと、 |
|
|
'''a''','''b''','''c'''は右手系のまま移る。もし、左手系なら、その瞬間||'''c'''||=0となり、([[中間値の定理]])'''a'''、'''b'''は平行になるから、線形独立が崩れたことになる。 # |
|
|
|
|
|
|
|
|
外積に関して、次の性質が成り立つ。 |
|
|
|
|
|
'''a'''×'''b'''=-'''b'''×'''a''' c('''a'''×'''b''')=c'''a'''×'''b'''='''a'''×c'''b''' |
|
|
|
|
|
'''a'''×('''b<sub>1</sub>'''+'''b<sub>2</sub>''')= |
|
|
'''a'''×'''b<sub>1</sub>'''+'''a''''''b<sub>2</sub>''' |
|
|
|
|
|
('''a<sub>1</sub>'''+'''a<sub>2</sub>''')×'''b'''= |
|
|
'''a<sub>1</sub>'''×'''b'''+'''a<sub>2</sub>''''''b''' |
|
|
|
|
|
===三次の行列式=== |
|
|
|
|
|
定義(7.4) |
|
|
|
|
|
<math>A=\begin{pmatrix} |
|
|
a_{1,1} & a_{1_2} & a_{1_3}\\ |
|
|
a_{2,1} & a_{2_2} & a_{2_3}\\ |
|
|
a_{3,1} & a_{3_2} & a_{3_3}\\ |
|
|
\end{pmatrix}</math>, |
|
|
<math>\mathbf{a}=\begin{pmatrix} |
|
|
a_{1.1}\\ |
|
|
a_{1,2}\\ |
|
|
a_{1,3}\\ |
|
|
\end{pmatrix}</math>, |
|
|
<math>\mathbf{b}= |
|
|
\begin{pmatrix} |
|
|
a_{2,1}\\ |
|
|
a_{2,2}\\ |
|
|
a_{2,3}\\ |
|
|
\end{pmatrix}</math> |
|
|
<math>\mathbf{c}= |
|
|
\begin{pmatrix} |
|
|
a_{3,1}\\ |
|
|
a_{3,2}\\ |
|
|
a_{3,3}\\ |
|
|
\end{pmatrix}</math> |
|
|
の時、 |
|
|
|
|
|
<math>|A|= |
|
|
\begin{vmatrix} |
|
|
a_{1,1} & a_{1_2} & a_{1_3}\\ |
|
|
a_{2,1} & a_{2_2} & a_{2_3}\\ |
|
|
a_{3,1} & a_{3_2} & a_{3_3}\\ |
|
|
\end{vmatrix}=\det A=\det(\mathbf{a},\mathbf{b},\mathbf{c}) |
|
|
=(\mathbf{a} \times \mathbf{b},\mathbf{c})</math> をAの行列式という。 |
|
|
|
|
|
二次の時と同様、 |
|
|
|
|
|
*'''a''','''b''','''c'''が線形独立⇔det('''a''','''b''','''c''')≠0 |
|
|
|
|
|
*'''a''','''b''','''c'''のどれか二つの順序を交換すればdet('''a''','''b''','''c''')の符号は変わる。絶対値は変わらない。 |
|
|
|
|
|
*det('''a'''+'''a'''','''b''','''c''')=det('''a''','''b''','''c''')+det('''a''','''b''','''c''') |
|
|
'''b''','''c'''に関しても同様 |
|
|
|
|
|
*det(c'''a''','''b''')=cdet('''a''','''b''') |
|
|
'''b''','''c'''に関しても同様 |
|
|
|
|
|
*|AB|=|A||B| |
|
|
|
|
|
一番下は、大変面倒だが、確かめられる。 |
|
|
|
|
|
'''例題''' |
|
|
|
|
|
次の二直線は捩れの位置(同一平面上にない関係)にある。この二直線に共通法線が一本のみあることをしめし、 |
|
|
最短距離も求めよ |
|
|
|
|
|
l:'''x'''='''a'''t+'''x'''<sub>1</sub> |
|
|
|
|
|
l':'''x'''='''a'''t+'''x'''<sub>2</sub> |
|
|
|
|
|
l.l'上の点P,Qの位置ベクトルを |
|
|
|
|
|
'''p'''='''a'''t+'''x'''<sub>1</sub> |
|
|
|
|
|
'''q'''='''a'''t+'''x'''<sub>2</sub> |
|
|
|
|
|
PQ |
複素数の概念は既知のものとした。ただし、複素数のことを知らない読者は、複素数に関する記述を読み飛ばしたとしても差し支えない。
ベクトル
n次元ベクトル(vector)とは(n ∈ N)、n個の複素数の組
の事である。n次元ベクトルを総じてベクトルという。
は、ベクトルaの要素または成分(element)と呼ばれていて、成分がすべて実数のベクトルを特に実ベクトルと言う。対して、成分がすべて複素数のベクトルを特に複素ベクトルと言う。また、成分が全て0のベクトルを零ベクトルといい、oと書く。
二次元、三次元実ベクトルは、二次元空間、三次元空間内の、大きさと方向を持った量を表すものと見ることもできる。これは空間の図の中に矢印を書いて表すこともあり、このベクトルを特に空間ベクトルと言う。原点を起点とする空間ベクトルの行き先の点は、このベクトルによって一意に表すことができる。これをこの点の位置ベクトルという。
相等関係
次元の同じ2つのベクトルがあるとき、この2つのベクトルが同じであるということを、すべての成分が同じであることと定義する。すなわち、
a=b⇔a_i=b_i(∀i∈{1,2,...,n})
ノルム
ベクトルには大きさも定義される。ふつうそれは||a||で表され、
と定義される。これをaのノルムと言う。
例
演習
- 次のベクトルのノルムを求めよ
ベクトルの演算
一般に2つのベクトルの間には、和、差、内積が定義される。
それぞれは、成分の個数が同じ時だけ次のように定義される。
以下では、
とする。
和・差
をaとbの和という。
をaとbの差という。平面、空間ベクトルの場合は図のようになる。
和差に関して、次の性質が成り立つ。
証明は、簡単なので読者に任せたい。
定数倍
を、ベクトルaのk倍と言う。
次の諸性質の証明は、読者の演習問題としよう。
演習
空間ベクトルに関して、次のことを示せ。
1.二点PQの位置ベクトルを、a,bとすると、PQの中点の位置ベクトルは
2.三角形の頂点の位置ベクトルをそれぞれa,b,cとすると、その三角形の重心の位置ベクトルは、
内積
ここでは実ベクトルの場合に関して述べる。
をaとbの内積という。
特に2,3次元空間ベクトルaとbとの内積は、aとbのなす角をθとすると、
と表される。逆に、一般のn次元実ベクトルのなす角という概念を、この関係式によって定義することができる。
内積については、次の性質が成り立つ。いずれも証明は易しい。
- (a,a)=||a||2
- aとbが直交する⇔(a,b)=0[1]
- c(a,b)=(ca,b)=(a,cb)
- (a,b+c)=(a,b)+(a,c)
- (a+b,c)=(a,c)+(b,c)
- (a,b)=(b,a)
- ||a||+||b||≧||a+b||(三角不等式)
- |(a,b)|≦||a||||b||(シュワルツの不等式)
- ^ なす角について上で述べたのと同様に、これは二次元・三次元の実ベクトルについては「性質」である。逆に、それ以外のベクトルではこれは直交の「定義」である。
演習
空間ベクトル
とのなす角がであり、かつ
とのなす角がであるようなノルムが1のベクトルを求めよ。
注)そのようなベクトルはただひとつではない。
助変数表示
平面上の直線
以後、特に空間ベクトルについて議論する。
まずは、二次元空間上の直線を、助変数を用いて現すことを考える。
とすると、一般の直線は下の式で表される。
成分を用いて書けば、
である。
成分を用いた式を見れば、この表示によって直線が表されることの妥当性が理解しやすいだろう。
上に挙げた式を直線の助変数表示またはベクトル表示という。また、aをこの直線の方向ベクトルという。
方向ベクトルはこの直線と平行なベクトルである。
もちろん助変数表示の仕方は一つではないが、方向ベクトルはノルム1のものを選ぶと便利な事も多い。
例題
を助変数表示にせよ。
- x=tとすると、
- よって、
演習
ベクトル表示は座標表示に、座標表示はベクトル表示にせよ
1.6x-3y=9.5
2.x=a
3.
4.
空間内の直線
平面内の直線は
という式で表された。しかし、空間において
という式の表す図形は平面である。直線は2つの平行でない平面の共通部分として表される。式で書けば、
となる。この式が表す直線をベクトル表示することを考えよう。連立方程式を解く要領で
(但し,は定数)
と書けることはすぐわかる。この式は、形式的にはxをtと置き換えることで、下のように書ける。
これが空間内の直線の助変数表示である。
例題
を助変数表示にせよ。
- x=tとすると、
- 2y+3z=-t+4
- 6y+7z=-5t+8
これを解いて、
よって、
演習
1.
を助変数表示にせよ
空間内の平面
前述のとおり、空間内の平面はax+by+cz=dであらわせる。今度は2つの助変数s,tを導入することで、同様にして
と表せる。これを平面の助変数表示という。
例題
- a=t,b=sとすると、
- 3c=5-2t-s⇔
- よって、
演習
1.2x-y+3z=1を助変数表示にせよ
2.
を、直交座標表示で表せ。
まとめ
1.平面上の直線のベクトル表示
2.空間内の直線のベクトル表示
3.空間内の平面のベクトル表示
演習
1.
- 二点P,Qの位置ベクトルをp,qとすると、線分PQ上の点の位置ベクトルは
- t1p+t2q, t1+t2=1, t1,t2≧0
- の形で表される。これを証明せよ。
2.
- 三点の位置ベクトルをx1,x2,x3とすると、
- この三点が構成する三角形内の任意の点は、
- t1x1+t2x2+t3x3, t1+t2+t3=1, t1,t2,t3≧0
と表される。これを証明せよ。
法線ベクトル
平面上の直線
- ax+by=c
を考える。この直線の方向ベクトルは
である。ここで、
というベクトルを考えると、
なので、aとこの直線は直交する。このaをこの直線の法線ベクトルという。
例5.1
l:x=at+x1
という直線を考える。平面内の1点Pから直線lへ垂線を下ろし、足をP'とする。この垂線の長さを求めよう。
pをPの位置ベクトル、x0をP'の位置ベクトルとすると、垂線の長さは
- ||p-x0||
で与えられる。
まずはx0を他のベクトルを用いて表そう。P'はl上の点なので、x=x0をlの式に代入すると
- x0=at+x1
- p-x0=p-at-x1
となる。このベクトルがaと直交するので
- (a,p-x0)=(a,p)-(a,a)t-(a,x1)=0
これを代入して
をえる。
あとは自分自身との内積を計算するだけである。落ち着いて計算すれば
と計算される。空間内の直線についても、同じ事である。
演習
1.
- 空間内の平面の場合についても同様に考えられる。
- F:ax+by+cz=d
- を平行移動し、原点を通る平面
- F0:ax+by+cz=0
- とすれば、
- F:(a,x)=d
- F0:(a,x)=0
- であるから、aはF0故にFと垂直である。この時aをF0の法線ベクトルと言う。
- さて、F上に無い点Pから、Fに垂線を下ろす。垂線の足をP'とする。
- x0:Pの位置ベクトル,x'0:P'の位置ベクトル
- とするとき、||x0-x'0||を求めよ。
2.
- 平面Fの法線ベクトルaと平面F'の法線ベクトルa'の交角を平面Fと平面F'の交角と言う
- F:x+2y+2z=3
- F':3x+3y=1
- の交角を求めよ。
線型変換
単位ベクトル
次の2つの2次元ベクトルを、R2の単位ベクトルという。
,
また、次の3つの3次元ベクトルをR3の単位ベクトルという。
,
,
平面上の任意の点の位置ベクトルは、二次元の単位ベクトルを適当にスカラー倍して足し合わせることで表現できる。
三次元の空間上の点についても同様に、三次元の単位ベクトルで表現できる。また、この表現の仕方は一意的である。
このような性質を指して、単位ベクトルの組はR2(R3)の基底であるという。
R2の線型変換
行列とは、4個の実数を正方形に並べた表、
(6.1)
のことである。同時に行列
との掛け算を
対してベクトル
との掛け算は、
と、定義する。さて、行列とベクトルとの積は、位置ベクトルxの点Pが、行列Aをかけることによって
位置ベクトルx'の点P'に変換されたと見ることができる。
例えば、
は、点Pを、x軸に関して線対称な点P'への変換である。これをx軸に関する折り返しと言う。
次に、行列Aによって点Pを変換したあと、さらに行列Bで変換することよって点Pを点P''(位置ベクトルx'')に移そう。
よって、x=B(Ax)=(BA)x
行列A,B,C,ベクトルx,y,数cに関して次の性質が成り立つ。
A(BC)=(AB)C
(6.2)
特に、(6.2)は重要で、これを行列Aによって引き起こされるR2の変換TA:x→Ax(「TAはxのAxへの変換」と言う意味)の線型性と言う。一般にR2変換Tが、次の性質を満たすとき、TをR2の線型変換という
一般に次の定理が成り立つ。
定理(6.1)
TをR2上の変換とするとき、
Tが線型変換⇔あるAに対してTx=Ax
(証明)
は既に示した。を示す。
単位ベクトルの行き先だけ調べれば十分である。(その理由は別のところで述べる)
とする。
任意の
Tは線型変換なので、
とすれば、
Tx=Ax ♯
Aによって引き起こされる変換をTAと書くこともある。
全てのベクトルをoに移す変換に対応する行列を特にOと書く。
例
全ての点を反時計回りにα回転させる変換は線型変換であり、対応する行列は
である。
演習
1.原点に対する対象変換は線型変換である。この変換に対応する行列を求めよ
2.TBTA=TBAを示せ。
3.
Txをxのaへの正射影とする。この時Tを射影子と言う。射影子は線型変換である。この時
とすると、Tに対応する行列を求めよ
4.
(a,b)=0,a,b≠o
S:aへの射影子, T:bへの射影子
とする。この時次の三つを証明せよ。
(1)T^2=S (2)TS=ST=O (3)任意のxに対して、Tx+Sx=x
R3の線型変換
前部で定義した行列の概念を広げよう。すなわち、9個の実数の表
も行列と言う事にして、前部で定義した行列を二次の、今定義した行列を三次の行列といって区別することにする。
ベクトルとの積、行列同士の積も同様に定義される。したがって、
に対しては、
が、
と
にたいしては、
(i,j=1,2,3)
が定義されている。次のような性質がある。
(AB)x=A(Bx), (AB)C=A(BC)
A(x+y)=Ax+By, A(cx)=(Ac)x (6.3)
R3における線形変換Tは次の性質を持つ変換である。
T(x+y)=T(x)+T(y)
T(cx)=c(Tx)
前部とまったく同様に次の定理が導ける
定理(6.2)
R3においてTが線型変換⇔あるAに対してTx=Ax
Aによって引き起こされる変換をTAと書くことがある。すべてのベクトルをoに線形変換する行列をOと書く
例
y軸を中心にα回転させる変換に対応する変換は
演習
1.定理(6.2)を証明せよ
2.次の行列が引き起こす変換はどんな変換か
(1)
(2)
(3)
3.
,
この時、aへの射影子に対応する行列を求めよ。
4.
bとcの張る平面に、その平面上に無い点P(位置ベクトルx)から垂線を下ろす。その足をP'(位置ベクトルx')とするとき、x'をxの正射影、Tx: x→x'をb,cの張る平面への射影子と言う。さて、今a,b,cが直交しているとしよう。xのaへの射影子をS,xのb,cの張る平面への射影子をTとするとき、次の事柄を証明せよ
(1)T2=T (2)TS=ST=O (3)任意のxにたいし、Tx+Sx=x
外積
二次の行列式
定義(7.1)
,
,
の時、
をAの行列式という。
次の性質は簡単に証明できる。
a,bが線形独立⇔det(a,b)≠0
det(a,b)=-det(b,a)
det(a+b,c)=det(a,c)+det(b,c)
det(ca,b)=det(a,cb)=cdet(a,b)
|AB|=|A||B|
ここで、a,bが線形独立とは、a,bが平行でないことを表す。
平行四辺形の面積
関係ないと思うかもしれないが、外積の定義に必要な情報である。
aとbの張る平行四辺形の面積を求める。二ベクトルの交角をθとする。
bを底辺においたとき、高さは||a||sinθなので、求める面積Sは
S=||a||||b||sinθ
⇔S2=||a||2||b||2
-||a||2||b||2cos<sulp>2θ
=||a||2||b||2-(a,b)2
よって、
(7.1)
演習
,
とすれば、.
これを証明せよ。
外積
内積が有るなら外積もあるのでは?と思った読者待望の部ではないだろうか。(余談)
定義(7.2)
cは次の4条件を満たすとき、a,bの外積、或はベクトル積と呼ばれ,a×b=cと表記される。
(i)a,bと直交する。
(ii)a,bは線形独立
(iii)a,b,cは右手系をなす。
(iv)||c||が平行四辺形の面積
ここで、右手系とは、R3の単位ベクトルe1〜3が各々右手の親指、人差指、中指の上にある三次元座標系のことである。
定理(7.3)
右手座標系で、
,
とすると、
(7.2)
(証明)
三段構成でいく。
(i)cと、aとbと直交することを示す。要するに、
(c,b)=0且(c,a)=0を示す。
(ii)||c||が平行四辺形の面積Sであることをを証明。
(iii)c,a,bが、右手座標系であることを証明。
(i)は計算するだけなので演習とする。
(ii)
||c||2=(bc'-b'c)2+(ac'-a'c)2+(bc'-b'c)2
=(a2+b2+c2)(a'2+b'2+c'2)-(a
a'+bb'+cc')2=||a||^2||b||^2-(a,b)^2
||c||≧0より、式(7.1)から、
(iii)
a=e1, b=e2ならば、式(7.2)は両辺ともe3である。e1,e2を、線形独立性を崩さずに移すと、
a,b,cは右手系のまま移る。もし、左手系なら、その瞬間||c||=0となり、(中間値の定理)a、bは平行になるから、線形独立が崩れたことになる。 #
外積に関して、次の性質が成り立つ。
a×b=-b×a c(a×b)=ca×b=a×cb
a×(b1+b2)=
'a×b1+a'b2
(a1+a2)×b=
'a1×b+a2'b
三次の行列式
定義(7.4)
,
,
の時、
をAの行列式という。
二次の時と同様、
- a,b,cのどれか二つの順序を交換すればdet(a,b,c)の符号は変わる。絶対値は変わらない。
- det(a+a',b,c)=det(a,b,c)+det(a,b,c)
b,cに関しても同様
b,cに関しても同様
一番下は、大変面倒だが、確かめられる。
例題
次の二直線は捩れの位置(同一平面上にない関係)にある。この二直線に共通法線が一本のみあることをしめし、
最短距離も求めよ
l:x=at+x1
l':x=at+x2
l.l'上の点P,Qの位置ベクトルを
p=at+x1
q=at+x2
PQ