交代式の因数分解
交代式の因数分解
\(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ボタン |
ブラーマグプタ2平方恒等式
\[
\left(a^{2}+b^{2}\right)\left(c^{2}+d^{2}\right)=\left(ac\pm bd\right)^{2}+\left(ad\mp bc\right)^{2}
\]
4次方程式標準形の解き方
\[
y=\frac{\mp_{1}\sqrt{2u-p}\pm_{2}\sqrt{-p-2u-\frac{4q}{2\sqrt{2u-p}}}}{2}
\]
相反方程式の定義と解法
\[
\sum_{k=0}^{n}a_{k}x^{k}=0
\]
オイラーの4平方恒等式
\[
\left(a_{0}^{\;2}+a_{1}^{\;2}+a_{2}^{\;2}+a_{3}^{\;2}\right)\left(b_{0}^{\;2}+b_{1}^{\;2}+b_{2}^{\;2}+b_{3}^{\;2}\right)=\left(a_{0}b_{0}-a_{1}b_{1}-a_{2}b_{2}-a_{3}b_{3}\right)^{2}+\left(a_{0}b_{1}+a_{1}b_{0}+a_{2}b_{3}-a_{3}b_{2}\right)^{2}+\left(a_{0}b_{2}-a_{1}b_{3}+a_{2}b_{0}+a_{3}b_{1}\right)^{2}+\left(a_{0}b_{3}+a_{1}b_{2}-a_{2}b_{1}+a_{3}b_{0}\right)^{2}
\]