其實到目前就寫了倆……見到的話可能還會更新吧，不過馬上就退役了，大概也見不到了
婆羅摩笈多－斐波那契恆等式
\[\begin{aligned}(a^2+b^2)(c^2+d^2)&=(ac-bd)^2+(ad+bc)^2\\&=(ac+bd)^2+(ad-bc)^2\end{aligned} \]
證明
將式子展開即可。
\[\begin{aligned}(a^2+b^2)(c^2+d^2)&=a^2c^2+a^2d^2+b^2c^2+b^2d^2+2a^2b^2c^2d^2-2a^2b^2c^2d^2\\&=(a^2c^2+b^2d^2+2a^2b^2c^2d^2)+(a^2d^2+b^2c^2-2a^2b^2c^2d^2)\\&=(ac+bd)^2+(ad-bc)^2\\&=(a^2c^2+b^2d^2-2a^2b^2c^2d^2)+(a^2d^2+b^2c^2+2a^2b^2c^2d^2)\\&=(ac-bd)^2+(ad+bc)^2\end{aligned} \]
拉格朗日恆等式
\[(\sum\limits_{i=1}^na_i^2)(\sum\limits_{i=1}^nb_i^2)=(\sum\limits_{i=1}^na_ib_i)^2+\sum\limits_{1\le i<j\le n}(a_ib_j-a_jb_i)^2 \]
證明
用非常復雜的方法證明了這東西……
首先：
-
\(\sum\limits_{1\le i<j\le n}x=\sum\limits_{i=1}^{n-1}\sum\limits_{j=i+1}^nx\)
容易理解……
-
\((\sum\limits_{i=1}^na_ib_i)^2=\sum\limits_{i=1}^na_i^2b_i^2+2\sum\limits_{i=1}^{n-1}\sum\limits_{j=i+1}^na_ib_ia_jb_j\)
表示多項的平方和為每項的平方加上任意兩項之間的的乘積的 \(2\) 倍的和
然后化簡式子：
\[\begin{aligned}&(\sum\limits_{i=1}^na_i^2)(\sum\limits_{i=1}^nb_i^2)-(\sum\limits_{i=1}^na_ib_i)^2\\=&\sum\limits_{i=1}^n\sum\limits_{j=1}^{n}a_i^2b_{j}^2-(\sum\limits_{i=1}^na_ib_i)^2\\=&(\sum\limits_{i=1}^na_i^2b_i^2+\sum\limits_{i=1}^{n-1}\sum\limits_{j=i+1}^na_i^2b_j^2+\sum\limits_{i=1}^{n-1}\sum\limits_{j=i+1}^na_j^2b_i^2)-(\sum\limits_{i=1}^na_i^2b_i^2+2\sum\limits_{i=1}^{n-1}\sum\limits_{j=i+1}^na_ib_ia_jb_j)\\=&\sum\limits_{i=1}^{n-1}\sum\limits_{j=i+1}^na_i^2b_j^2+\sum\limits_{i=1}^{n-1}\sum\limits_{j=i+1}^na_j^2b_i^2-2\sum\limits_{i=1}^{n-1}\sum\limits_{j=i+1}^na_ib_ia_jb_j\\=&\sum\limits_{i=1}^{n-1}\sum\limits_{j=i+1}^n(a_i^2b_j^2+a_j^2b_i^2-2a_ia_jb_ib_j)\\=&\sum\limits_{i=1}^{n-1}\sum\limits_{j=i+1}^n(a_ib_j-a_jb_i)^2\\=&\sum\limits_{1\le i<j\le n}(a_ib_j-a_jb_i)^2\end{aligned} \]
證畢。
用拉格朗日恆等式證明柯西不等式
柯西不等式的形式如下：
\[(\sum\limits_{i=1}^na_i^2)(\sum\limits_{i=1}^nb_i^2)\geq (\sum\limits_{i=1}^na_ib_i)^2 \]
現在我們已知拉格朗日恆等式成立，即
\[(\sum\limits_{i=1}^na_i^2)(\sum\limits_{i=1}^nb_i^2)=(\sum\limits_{i=1}^na_ib_i)^2+\sum\limits_{1\le i<j\le n}(a_ib_j-a_jb_i)^2 \]
又因為 \(\sum\limits_{1\le i<j\le n}(a_ib_j-a_jb_i)^2\) 的值 \(\ge0\)，所以有
\[(\sum\limits_{i=1}^na_i^2)(\sum\limits_{i=1}^nb_i^2)\geq (\sum\limits_{i=1}^na_ib_i)^2 \]
即柯西不等式。