主題
Search

拉格朗日恆等式

下載 Mathematica 筆記本下載 Wolfram Notebook

拉格朗日恆等式是代數恆等式

(sum_(k=1)^na_kb_k)^2=(sum_(k=1)^na_k^2)(sum_(k=1)^nb_k^2)-sum_(1<=k<j<=n)(a_kb_j-a_jb_k)^2
(1)

(Mitrinović 1970, 第 41 頁; Marsden 和 Tromba 1981, 第 57 頁; Gradshteyn 和 Ryzhik 2000, 第 1049 頁)。

拉格朗日恆等式是 Binet-Cauchy 恆等式 的一個特例，並且 柯西不等式 在 n 維度中可以由此推匯出來。

它可以用 Wolfram 語言 編碼如下。

  LagrangesIdentity[n_] := Module[
    {aa = Array[a, n], bb = Array[b, n]},
   Total[(aa^2) Plus @@ (bb^2)] ==
   Total[(a[#1]b[#2] - a[#2]b[#1])^2& @@@
      Subsets[Range[n], {2}]] + (aa.bb)^2
  ]

代入得到 n=2 和 n=3 恆等式

(a_1^2+a_2^2)(b_1^2+b_2^2)=(a_1b_1+a_2b_2)^2+(a_1b_2-a_2b_1)^2
(2)
(a_1^2+a_2^2+a_3^2)(b_1^2+b_2^2+b_3^2)=(a_1b_1+a_2b_2+a_3b_3)^2
(3)
+[(a_1b_2-a_2b_1)^2+(a_1b_3-a_3b_1)^2+(a_2b_3-a_3b_2)^2].
(4)

一個被稱為拉格朗日恆等式的 向量四重積 公式由下式給出

(axb)·(cxd)=(a·c)(b·d)-(b·c)(a·d)
(5)

(Bronshtein 和 Semendyayev 2004, 第 185 頁)。

另一個也稱為拉格朗日恆等式的相關恆等式由定義 a_k 和 b_k 為 n 維向量 (對於 k=1, ..., n-1) 給出。那麼

(a_1×...×a_(n-1))·(b_1×...×b_(n-1))=|a_1·b_1 ... a_1·b_(n-1); | ... |; a_(n-1)·b_1 ... a_(n-1)·b_(n-1)|
(6)

(Greub 1978, 第 155 頁), 其中 AxB 表示 叉積, A·B 表示 點積, 並且 detA 是 矩陣 A 的 行列式。

另請參閱

Binet-Cauchy 恆等式, 柯西不等式, 向量三重積, 向量四重積

使用 探索

參考文獻

Arfken, G. Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, p. 32, 1985.Bronshtein, I. N.; Semendyayev, K. A.; Musiol, G.; and Muehlig, H. Handbook of Mathematics, 4th ed. New York: Springer-Verlag, 2004.Gradshteyn, I. S. and Ryzhik, I. M. Tables of Integrals, Series, and Products, 6th ed. San Diego, CA: Academic Press, 2000.Griffiths, D. J. Introduction to Electrodynamics. Englewood Cliffs, NJ: Prentice-Hall, p. 13, 1981.Greub, W. Multilinear Algebra, 2nd ed. New York: Springer-Verlag, 1978.Marsden, J. E. and Tromba, A. J. Vector Calculus, 2nd ed. New York: W. H. Freeman, 1981.Mitrinović, D. S. Analytic Inequalities. New York: Springer-Verlag, 1970.Morse, P. M. and Feshbach, H. Methods of Theoretical Physics, Part I. New York: McGraw-Hill, p. 114, 1953.

在 中被引用

拉格朗日恆等式

請引用為

Weisstein, Eric W. “拉格朗日恆等式。” 來自 Web 資源。 https://mathworld.tw/LagrangesIdentity.html

主題分類