多變數微積分·內積

內積

兩向量的內積是將對應座標相乘後相加,a₁b₁ + a₂b₂;它也等於|a||b|cos θ,只取決於兩向量的長度與夾角。

本圖中的內積

對於兩個非零向量a=(a1,a2)a = (a_1, a_2)與b=(b1,b2)b = (b_1, b_2),內積有兩種定義。一種將對應座標相乘後相加;另一種將兩向量的長度相乘,再乘以夾角θ的餘弦,完全不涉及座標。這裡可以在兩個固定的向量下方轉動座標軸,觀察為什麼只要兩軸互相垂直、單位長度相同,兩種定義就總是一致。

內積的兩種定義,在互相垂直且單位長度相同的座標軸下相等
a⋅b=a1b1+a2b2=∣a∣ ∣b∣cos⁡θa \cdot b = a_1 b_1 + a_2 b_2 = |a|\,|b| \cos\theta

向量在畫面上的位置不動,座標軸在它們下方轉動。轉過角度φ後,每個向量都有新的座標,以撇號標示,例如a1′=a1cos⁡φ+a2sin⁡φa_1' = a_1\cos\varphi + a_2\sin\varphi與a2′=−a1sin⁡φ+a2cos⁡φa_2' = -a_1\sin\varphi + a_2\cos\varphi。平面下方的求和條把a1′b1′a_1'b_1'與a2′b2′a_2'b_2'兩項首尾相接。座標軸轉動時,兩項都會改變,但整排的終點不動。預設的a=(3,1)a = (3, 1)與b=(1,2)b = (1, 2)給出總和3⋅1+1⋅2=53 \cdot 1 + 1 \cdot 2 = 5。轉動135°後,兩項為−1和6,相加仍是5。

展開新座標的乘積就能看出原因。兩個乘積中的交叉項各出現一次正號和一次負號,剩下的部分則用cos⁡2φ+sin⁡2φ=1\cos^2\varphi + \sin^2\varphi = 1合併。展開兩項會以目前的數值畫出這個過程。

轉動座標軸後的座標公式
a1′b1′+a2′b2′=a1b1(cos⁡2φ+sin⁡2φ)+a2b2(sin⁡2φ+cos⁡2φ)=a1b1+a2b2a_1'b_1' + a_2'b_2' = a_1b_1(\cos^2\varphi + \sin^2\varphi) + a_2b_2(\sin^2\varphi + \cos^2\varphi) = a_1b_1 + a_2b_2

既然任意轉動後的座標軸都給出相同總和,就選最簡單的一組:x軸沿a方向。此時a=(∣a∣,0)a = (|a|, 0),第二項為0,而b的第一個座標為∣b∣cos⁡θ|b|\cos\theta,也就是b沿a方向延伸多遠,並帶有正負號。這就是b在a上的純量投影。因此a1b1+a2b2=∣a∣⋅∣b∣cos⁡θa_1b_1 + a_2b_2 = |a| \cdot |b|\cos\theta:幾何公式就是沿a方向的座標軸下讀出的座標公式。沿b方向時,則是|b|乘以a在b上的純量投影。

長度為正,因此內積與cos⁡θ\cos\theta同號。夾角為銳角時為正,直角時為0,鈍角時為負,此時b的投影落在a的反方向。兩個非零向量垂直,若且唯若它們的內積為0,例如(3, 1)與(−1, 3)。反過來看,這個公式也能從座標求出夾角:

兩個非零向量的夾角
cos⁡θ=a⋅b∣a∣ ∣b∣,0∘≤θ≤180∘\cos\theta = \frac{a \cdot b}{|a|\,|b|}, \qquad 0^\circ \le \theta \le 180^\circ

等值線回答另一個問題:固定a ≠ 0時,哪些向量x滿足a⋅x=ca \cdot x = c?所有這樣的x在a上的純量投影都相同,為c/∣a∣c/|a|,因此形成一條垂直於a的直線。c值相差1的兩條線相距1/∣a∣1/|a|,所以a越長,線就排得越密。a = (3, 1)時,通過b = (1, 2)的直線為3x+y=53x + y = 5,(0, 5)與(2, −1)也在這條線上。這就是直線的法向量式,a是其法向量。

值得注意

  • 向量與自身的內積為a⋅a=a12+a22=∣a∣2a \cdot a = a_1^2 + a_2^2 = |a|^2。這裡的座標公式就是畢氏定理,也能由此看出為什麼需要互相垂直且單位長度相同的座標軸。
  • 沿等值線拖曳b,不論b移動多遠、夾角如何改變,內積都不變,因為b在a上的純量投影維持相同。

操作

  • 拖曳x軸末端的圓環可轉動座標軸。圓環會吸附到a、b的方向,以及直角位置。

相關概念