設(shè) $f$ 的正慣性指數(shù)為 $r$, 負慣性指數(shù)為 $s$, 則存在滿秩線性替換 $$\bee\label{487:4:eq1} y_i=d_{i1}x_1+\cdots +d_{in}x_n,\quad 1\leq i\leq n \eee$$ 使得 $$\bee\label{487:4:eq2} \bea f&=l_1^2+l_2^2+\cdots+l_p^2 -l_{p+1}^2-\cdots-l_{p+q}^2\\ & =y_1^2+\cdots+y_r^2 -y_{r+1}^2 -\cdots-y_{r+s}^2. \eea \eee$$ 往證 $r\leq p$ ($s\leq q$ 可類似證得). 用反證法. 若 $r>p$, 考慮線性方程組 $$\bee\label{487:4:eq3} \seddm{ c_{11}x_1+\cdots+c_{1n}x_n=0\\ \cdots\cdots\cdots\cdots\cdots\\ c_{p1}x_1+\cdots+c_{pn}x_n=0\\ d_{r+1,1}x_1+\cdots+d_{r+1,n}x_n=0\\ \cdots\cdots\cdots\cdots\cdots\\ d_{n1}x_1+\cdots+d_{nn}x_n=0 }. \eee$$ 其 (未知數(shù)個數(shù)為 $n$, 而方程個數(shù)為 $p+(n-r)<n$) 有非零解 $(k_1,\cdots,k_n)$. 代入 (2), 得 $$\bex f=-l_{p+1}^2-\cdots-l_{p+q}^2 =y_1^2+\cdots+y_r^2. \eex$$ 因此, $$\bee\label{487:4:eq4} l_{p+1}=\cdots=l_{p+q}=y_1=\cdots=y_r=0. \eee$$ 結(jié)合 \eqref{487:4:eq3}-\eqref{487:4:eq4} 的后半部分知 $$\bex \seddm{ d_{11}k_1+\cdots+d_{1n}k_n=0\\ \cdots\cdots\cdots\cdots\cdots\\ d_{r1}k_1+\cdots+d_{rn}k_n=0\\ d_{r+1,1}k_1+\cdots+d_{r+1,n}k_n=0\\ \cdots\cdots\cdots\cdots\cdots\\ d_{n1}k_1+\cdots+d_{nn}k_n=0 }. \eex$$ 因為 $k_1,\cdots,k_n$ 不全為零, 而其系數(shù)行列式等于零. 這與 $\eqref{487:4:eq1}$ 為滿秩線性替換矛盾. 故有結(jié)論.

總結(jié)

以上是生活随笔為你收集整理的161023解答的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。