01外積って何?

ベクトル a⃗\vec a と b⃗\vec b の 外積 (cross product) a⃗×b⃗\vec a \times \vec b は、 結果がベクトルになる演算です。 内積 (ドット積) がスカラーになるのと対照的。

外積は 2 つの情報で決まります

  • 大きさ: a⃗\vec a と b⃗\vec b が作る平行四辺形の面積
  • 向き: 2 つのベクトルが張る平面に垂直で、右ねじの法則で決まる側

02大きさ: 平行四辺形の面積

外積の大きさは、a⃗\vec a と b⃗\vec b の間の角度を θ\theta として

∣a⃗×b⃗∣=∣a⃗∣ ∣b⃗∣sin⁡θ|\vec a \times \vec b| = |\vec a|\,|\vec b|\sin\theta

これは平行四辺形の面積と一致します。底辺 ∣a⃗∣|\vec a|、 高さ ∣b⃗∣sin⁡θ|\vec b| \sin\theta の面積。

|a × b| equals the area of the parallelogram spanned by a and b
|a × b| は a, b が張る平行四辺形の面積

向きが平行 (θ=0\theta = 0 または π\pi) のときは sin⁡θ=0\sin\theta = 0 なので a⃗×b⃗=0⃗\vec a \times \vec b = \vec 0。 つまり 平行なベクトル同士の外積はゼロ。

03向き: 右ねじの法則

外積の向きは、a⃗\vec a と b⃗\vec b が張る平面に 垂直な 2 方向のうち、右ねじの法則で選ばれます。

  1. 平面に右ねじ (普通のねじ) を立てる
  2. a⃗\vec a から b⃗\vec b へ回す (角度が小さい側を通る向きに)
  3. そのときねじが進む向きが a⃗×b⃗\vec a \times \vec b の向き

回す順序を入れ替える (b⃗\vec b から a⃗\vec a) と、ねじは逆に進むので符号が反転 (a⃗×b⃗=− b⃗×a⃗\vec a \times \vec b = -\,\vec b \times \vec a)。 「ねじは右回しで進む」という日常の感覚そのまま。

04成分で計算する

a⃗=(a1,a2,a3)\vec a = (a_1, a_2, a_3)、b⃗=(b1,b2,b3)\vec b = (b_1, b_2, b_3) のとき、 外積の成分は次のとおり

a⃗×b⃗=(a2b3−a3b2a3b1−a1b3a1b2−a2b1)\vec a \times \vec b = \begin{pmatrix} a_2 b_3 - a_3 b_2 \\ a_3 b_1 - a_1 b_3 \\ a_1 b_2 - a_2 b_1 \end{pmatrix}

覚えやすいのは、形式的に 3 × 3 の行列式として書く方法

a⃗×b⃗=∣i⃗j⃗k⃗a1a2a3b1b2b3∣\vec a \times \vec b = \begin{vmatrix} \vec i & \vec j & \vec k \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \end{vmatrix}

1 行目を i⃗,j⃗,k⃗\vec i, \vec j, \vec k 方向の基本ベクトルと見なして、 各基本ベクトルの成分を余因子展開で読み取る。 手で計算するときはこちらが速い。

演習 1

次の 2 ベクトルの外積を計算しよう。

a⃗=(1,2,3)\vec a = (1, 2, 3)、b⃗=(4,5,6)\vec b = (4, 5, 6)

答えを見る

成分公式に当てはめる:

  • xx 成分: a2b3−a3b2=2⋅6−3⋅5=−3a_2 b_3 - a_3 b_2 = 2 \cdot 6 - 3 \cdot 5 = -3
  • yy 成分: a3b1−a1b3=3⋅4−1⋅6=6a_3 b_1 - a_1 b_3 = 3 \cdot 4 - 1 \cdot 6 = 6
  • zz 成分: a1b2−a2b1=1⋅5−2⋅4=−3a_1 b_2 - a_2 b_1 = 1 \cdot 5 - 2 \cdot 4 = -3
a⃗×b⃗=(−3, 6, −3)\vec a \times \vec b = (-3,\ 6,\ -3)

検算: a⃗⋅(a⃗×b⃗)=1(−3)+2(6)+3(−3)=0\vec a \cdot (\vec a \times \vec b) = 1(-3) + 2(6) + 3(-3) = 0 ✓
(外積は a⃗\vec a と直交する)。

05基本ベクトル i, j, k の関係

直交座標の基本ベクトル i⃗=(1,0,0), j⃗=(0,1,0), k⃗=(0,0,1)\vec i = (1,0,0),\ \vec j = (0,1,0),\ \vec k = (0,0,1) に成分公式を当てはめると

i⃗×j⃗=k⃗,j⃗×k⃗=i⃗,k⃗×i⃗=j⃗\vec i \times \vec j = \vec k,\quad \vec j \times \vec k = \vec i,\quad \vec k \times \vec i = \vec j

i → j → k → i の巡回で外積が閉じる (cyclic)。 逆方向は符号反転: j⃗×i⃗=−k⃗\vec j \times \vec i = -\vec k など。

06性質

  • 反対称 (入れ替えで符号反転) a⃗×b⃗=− b⃗×a⃗\vec a \times \vec b = -\,\vec b \times \vec a
  • 分配 a⃗×(b⃗+c⃗)=a⃗×b⃗+a⃗×c⃗\vec a \times (\vec b + \vec c) = \vec a \times \vec b + \vec a \times \vec c
  • スカラー倍 (ka⃗)×b⃗=k (a⃗×b⃗)(k\vec a) \times \vec b = k\,(\vec a \times \vec b)
  • 平行なら 0 a⃗×a⃗=0⃗\vec a \times \vec a = \vec 0 (自分自身との外積は必ず 0)
  • 結合則は成り立たない: 一般に a⃗×(b⃗×c⃗)≠(a⃗×b⃗)×c⃗\vec a \times (\vec b \times \vec c) \ne (\vec a \times \vec b) \times \vec c

07物理での出番

外積は「回転」「ねじれ」に関係する物理量でよく出てきます。

力のモーメント (トルク)

τ⃗=r⃗×F⃗\vec\tau = \vec r \times \vec F

r⃗\vec r は回転軸から力の作用点までの位置ベクトル、 F⃗\vec F は加えた力。ねじる強さが外積で表される。

ローレンツ力

F⃗=qv⃗×B⃗\vec F = q\vec v \times \vec B

磁場 B⃗\vec B 中を速度 v⃗\vec v で動く荷電粒子が受ける力。 速度と磁場の両方に垂直。

角運動量

L⃗=r⃗×p⃗\vec L = \vec r \times \vec p

p⃗\vec p は運動量。回転運動の保存量の中心になる量。

演習 2

てこの先端 r⃗=(2,0,0)\vec r = (2, 0, 0) に力 F⃗=(0,3,0)\vec F = (0, 3, 0) をかけたときのモーメント τ⃗=r⃗×F⃗\vec\tau = \vec r \times \vec F を求めよう。

答えを見る

成分公式:

  • xx 成分: r2F3−r3F2=0⋅0−0⋅3=0r_2 F_3 - r_3 F_2 = 0 \cdot 0 - 0 \cdot 3 = 0
  • yy 成分: r3F1−r1F3=0⋅0−2⋅0=0r_3 F_1 - r_1 F_3 = 0 \cdot 0 - 2 \cdot 0 = 0
  • zz 成分: r1F2−r2F1=2⋅3−0⋅0=6r_1 F_2 - r_2 F_1 = 2 \cdot 3 - 0 \cdot 0 = 6
τ⃗=(0, 0, 6)\vec\tau = (0,\ 0,\ 6)

物理的には: xx 軸方向の棒に yy 軸方向の力がかかっているので、回転軸は zz 軸に沿って、大きさ 6 の回転モーメントが生じる。右ねじの法則で「反時計回り (上から見て)」。