交代式の因数分解
交代式の因数分解
\(n\)変数\(x_{1},\cdots,x_{n}\)の交代式\(f\left(x_{1},\cdots,x_{n}\right)\)は差積\(\Delta\left(x_{1},\cdots,x_{n}\right)\)を因数に持ち、残りの因数は対称式となる。
すなわち、
\[ \text{交代式}=\text{差積}\times\text{対称式} \] となる。
\(n\)変数\(x_{1},\cdots,x_{n}\)の交代式\(f\left(x_{1},\cdots,x_{n}\right)\)は差積\(\Delta\left(x_{1},\cdots,x_{n}\right)\)を因数に持ち、残りの因数は対称式となる。
すなわち、
\[ \text{交代式}=\text{差積}\times\text{対称式} \] となる。
交代式なので、
\[ f\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)=-f\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right) \] が成り立つ。
\(x_{i}=x_{j}\)を代入すると、
\[ f\left(x_{1},\cdots,x_{i},\cdots,x_{i},\cdots x_{n}\right)=-f\left(x_{1},\cdots,x_{i},\cdots,x_{i},\cdots x_{n}\right) \] となるので、
\[ f\left(x_{1},\cdots,x_{i},\cdots,x_{i},\cdots x_{n}\right)=0 \] 因数定理より、\(\left(x_{i}-x_{j}\right)\)を因数に持つ。
他の変数についても同様のことをすると、差積\(\Delta\left(x_{1},\cdots,x_{n}\right)\)を因数にもつ。
残りの因数を\(g\left(x_{1},\cdots,x_{n}\right)\)とすると、
\begin{align*} \Delta\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)g\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right) & =f\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)\\ & =-f\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right)\\ & =-\Delta\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right)g\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right)\\ & =\Delta\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)g\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right) \end{align*} これより、
\[ \Delta\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)\left\{ g\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)-g\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right)\right\} =0 \] となり、
\[ \Delta\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)\ne0 \] なので、
\[ g\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)-g\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right)=0 \] となる。すなわち
\[ g\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)=g\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right) \] であるので、\(g\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)\)は\(x_{i}\)と\(x_{j}\)について対称になる。
他の任意の2変数についても同様に対称になるので\(g\left(x_{1},\cdots,x_{n}\right)\)は対称式となる。
故に題意は成り立つ。
\[ f\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)=-f\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right) \] が成り立つ。
\(x_{i}=x_{j}\)を代入すると、
\[ f\left(x_{1},\cdots,x_{i},\cdots,x_{i},\cdots x_{n}\right)=-f\left(x_{1},\cdots,x_{i},\cdots,x_{i},\cdots x_{n}\right) \] となるので、
\[ f\left(x_{1},\cdots,x_{i},\cdots,x_{i},\cdots x_{n}\right)=0 \] 因数定理より、\(\left(x_{i}-x_{j}\right)\)を因数に持つ。
他の変数についても同様のことをすると、差積\(\Delta\left(x_{1},\cdots,x_{n}\right)\)を因数にもつ。
残りの因数を\(g\left(x_{1},\cdots,x_{n}\right)\)とすると、
\begin{align*} \Delta\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)g\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right) & =f\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)\\ & =-f\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right)\\ & =-\Delta\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right)g\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right)\\ & =\Delta\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)g\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right) \end{align*} これより、
\[ \Delta\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)\left\{ g\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)-g\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right)\right\} =0 \] となり、
\[ \Delta\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)\ne0 \] なので、
\[ g\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)-g\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right)=0 \] となる。すなわち
\[ g\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)=g\left(x_{1},\cdots,x_{j},\cdots,x_{i},\cdots x_{n}\right) \] であるので、\(g\left(x_{1},\cdots,x_{i},\cdots,x_{j},\cdots x_{n}\right)\)は\(x_{i}\)と\(x_{j}\)について対称になる。
他の任意の2変数についても同様に対称になるので\(g\left(x_{1},\cdots,x_{n}\right)\)は対称式となる。
故に題意は成り立つ。
ページ情報
タイトル | 交代式の因数分解 |
URL | https://www.nomuramath.com/x13rems0/ |
SNSボタン |
4次方程式の標準形
\[
X^{4}+pX^{2}+qX+r=0
\]
相反方程式の定義と解法
\[
\sum_{k=0}^{n}a_{k}x^{k}=0
\]
ビネ・コーシーとラグランジュの恒等式
\[
\left(\sum_{i=1}^{n}a_{i}c_{i}\right)\left(\sum_{j=1}^{n}b_{j}d_{j}\right)-\left(\sum_{i=1}^{n}a_{i}d_{i}\right)\left(\sum_{j=1}^{n}b_{j}c_{j}\right)=\sum_{1\leq i<j\leq n}\left(a_{i}b_{j}-a_{j}b_{i}\right)\left(c_{i}d_{j}-c_{j}d_{i}\right)
\]
3次式の実数の範囲で因数分解
\[
a^{3}\pm b^{3}=\left(a\pm b\right)\left(a^{2}\mp ab+b^{2}\right)
\]