複二次式の定義と因数分解
複二次式
奇数次の項がない四次式を複二次式といい、\(a_{4}x^{4}+a_{2}x^{2}+a_{0}\)の形になる。
奇数次の項がない四次式を複二次式といい、\(a_{4}x^{4}+a_{2}x^{2}+a_{0}\)の形になる。
複二次式の因数分解
係数が実数の複二次式
\[ a_{4}x^{4}+a_{2}x^{2}+a_{0} \] を実数の範囲で因数分解を考える。
\(x^{2}\)の二次式とみたときの判別式を\(D=a_{2}^{\;2}-4a_{4}a_{0}\)とする。
\(0<D\)のとき、
\[ a_{4}x^{4}+a_{2}x^{2}+a_{0}=\frac{1}{4a_{4}}\left(2a_{4}x^{2}+a_{2}+\sqrt{a_{2}^{\;2}-4a_{4}a_{0}}\right)\left(2a_{4}x^{2}+a_{2}-\sqrt{a_{2}^{\;2}-4a_{4}a_{0}}\right) \] \(0<a_{0}a_{4}\;,\;a_{4}\left(a_{2}-2\sqrt{a_{4}a_{0}}\right)<0\)のとき、
\[ a_{4}x^{4}+a_{2}x^{2}+a_{0}=\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}+2\sqrt{a_{4}\left(2\sqrt{a_{4}a_{0}}-a_{2}\right)}x+2\sqrt{a_{4}a_{0}}\right)\left(2a_{4}x^{2}-2\sqrt{2\sqrt{a_{4}a_{0}}-a_{2}}x+2\sqrt{a_{4}a_{0}}\right)\right\} \] \(0<a_{0}a_{4}\;,\;a_{4}\left(a_{2}+2\sqrt{a_{4}a_{0}}\right)<0\)のとき、
\[ a_{4}x^{4}+a_{2}x^{2}+a_{0}=\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}+2\sqrt{-a_{4}\left(2\sqrt{a_{4}a_{0}}+a_{2}\right)}x-2\sqrt{a_{4}a_{0}}\right)\left(2a_{4}x^{2}-2\sqrt{-a_{4}\left(2\sqrt{a_{4}a_{0}}+a_{2}\right)}x-2\sqrt{a_{4}a_{0}}\right)\right\} \] 場合分けのどれかには当てはまるので、必ず実数係数の二次式の積に因数分解が出来る。
また、全て当てはまることもある。
係数が実数の複二次式
\[ a_{4}x^{4}+a_{2}x^{2}+a_{0} \] を実数の範囲で因数分解を考える。
\(x^{2}\)の二次式とみたときの判別式を\(D=a_{2}^{\;2}-4a_{4}a_{0}\)とする。
\(0<D\)のとき、
\[ a_{4}x^{4}+a_{2}x^{2}+a_{0}=\frac{1}{4a_{4}}\left(2a_{4}x^{2}+a_{2}+\sqrt{a_{2}^{\;2}-4a_{4}a_{0}}\right)\left(2a_{4}x^{2}+a_{2}-\sqrt{a_{2}^{\;2}-4a_{4}a_{0}}\right) \] \(0<a_{0}a_{4}\;,\;a_{4}\left(a_{2}-2\sqrt{a_{4}a_{0}}\right)<0\)のとき、
\[ a_{4}x^{4}+a_{2}x^{2}+a_{0}=\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}+2\sqrt{a_{4}\left(2\sqrt{a_{4}a_{0}}-a_{2}\right)}x+2\sqrt{a_{4}a_{0}}\right)\left(2a_{4}x^{2}-2\sqrt{2\sqrt{a_{4}a_{0}}-a_{2}}x+2\sqrt{a_{4}a_{0}}\right)\right\} \] \(0<a_{0}a_{4}\;,\;a_{4}\left(a_{2}+2\sqrt{a_{4}a_{0}}\right)<0\)のとき、
\[ a_{4}x^{4}+a_{2}x^{2}+a_{0}=\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}+2\sqrt{-a_{4}\left(2\sqrt{a_{4}a_{0}}+a_{2}\right)}x-2\sqrt{a_{4}a_{0}}\right)\left(2a_{4}x^{2}-2\sqrt{-a_{4}\left(2\sqrt{a_{4}a_{0}}+a_{2}\right)}x-2\sqrt{a_{4}a_{0}}\right)\right\} \] 場合分けのどれかには当てはまるので、必ず実数係数の二次式の積に因数分解が出来る。
また、全て当てはまることもある。
\(0<D\)のとき
\(0<a_{2}^{\;2}-4a_{4}a_{0}\)なので、\begin{align*} a_{4}x^{4}+a_{2}x^{2}+a_{0} & =a_{4}\left(x^{2}+\frac{a_{2}}{2a_{4}}\right)^{2}-\frac{a_{2}^{2}-4a_{4}a_{0}}{4a_{4}}\\ & =\frac{1}{4a_{4}}\left\{ 4a_{4}^{\;2}\left(x^{2}+\frac{a_{2}}{2a_{4}}\right)^{2}-\left(a_{2}^{\;2}-4a_{4}a_{0}\right)\right\} \\ & =\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}+a_{2}\right)^{2}-\left(\sqrt{a_{2}^{\;2}-4a_{4}a_{0}}\right)^{2}\right\} \\ & =\frac{1}{4a_{4}}\left(2a_{4}x^{2}+a_{2}+\sqrt{a_{2}^{\;2}-4a_{4}a_{0}}\right)\left(2a_{4}x^{2}+a_{2}-\sqrt{a_{2}^{\;2}-4a_{4}a_{0}}\right) \end{align*}
\(0<a_{0}a_{4}\)のとき、
\(D<0\)ならば\(0<a_{0}a_{4}\)が成り立つ。\begin{align*} a_{4}x^{4}+a_{2}x^{2}+a_{0} & =\frac{1}{4a_{4}}\left(4a_{4}^{\;2}x^{4}+4a_{4}a_{2}x^{2}+4a_{4}a_{0}\right)\\ & =\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}\pm2\sqrt{a_{4}a_{0}}\right)^{2}\mp8a_{4}\sqrt{a_{4}a_{0}}x^{2}+4a_{4}a_{2}x^{2}\right\} \\ & =\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}\pm2\sqrt{a_{4}a_{0}}\right)^{2}+4a_{4}\left(a_{2}\mp2\sqrt{a_{4}a_{0}}\right)x^{2}\right\} \end{align*} 実数因数分解ができるのは第2項の符号が負のときのみであるので、
\begin{align*} 0 & >\sgn\left(4a_{4}\left(a_{2}\mp2\sqrt{a_{4}a_{0}}\right)x^{2}\right)\\ & =\sgn\left(a_{4}\left(a_{2}\mp2\sqrt{a_{4}a_{0}}\right)\right) \end{align*} 復号によって場合分けをする。
\(a_{4}\left(a_{2}-2\sqrt{a_{4}a_{0}}\right)<0\)のとき、
\begin{align*} a_{4}x^{4}+a_{2}x^{2}+a_{0} & =\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}+2\sqrt{a_{4}a_{0}}\right)^{2}+4a_{4}\left(a_{2}-2\sqrt{a_{4}a_{0}}\right)x^{2}\right\} \\ & =\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}+2\sqrt{a_{4}a_{0}}\right)^{2}-\left(2\sqrt{a_{4}\left(2\sqrt{a_{4}a_{0}}-a_{2}\right)}x\right)^{2}\right\} \\ & =\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}+2\sqrt{a_{4}a_{0}}+2\sqrt{a_{4}\left(2\sqrt{a_{4}a_{0}}-a_{2}\right)}x\right)\left(2a_{4}x^{2}+2\sqrt{a_{4}a_{0}}-2\sqrt{2\sqrt{a_{4}a_{0}}-a_{2}}x\right)\right\} \\ & =\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}+2\sqrt{a_{4}\left(2\sqrt{a_{4}a_{0}}-a_{2}\right)}x+2\sqrt{a_{4}a_{0}}\right)\left(2a_{4}x^{2}-2\sqrt{2\sqrt{a_{4}a_{0}}-a_{2}}x+2\sqrt{a_{4}a_{0}}\right)\right\} \end{align*}\(a_{4}\left(a_{2}+2\sqrt{a_{4}a_{0}}\right)<0\)のとき、
\begin{align*} a_{4}x^{4}+a_{2}x^{2}+a_{0} & =\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}-2\sqrt{a_{4}a_{0}}\right)^{2}+4a_{4}\left(a_{2}+2\sqrt{a_{4}a_{0}}\right)x^{2}\right\} \\ & =\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}-2\sqrt{a_{4}a_{0}}\right)^{2}-\left(2\sqrt{-a_{4}\left(2\sqrt{a_{4}a_{0}}+a_{2}\right)}x\right)^{2}\right\} \\ & =\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}-2\sqrt{a_{4}a_{0}}+2\sqrt{-a_{4}\left(2\sqrt{a_{4}a_{0}}+a_{2}\right)}x\right)\left(2a_{4}x^{2}-2\sqrt{a_{4}a_{0}}-2\sqrt{-a_{4}\left(2\sqrt{a_{4}a_{0}}+a_{2}\right)}x\right)\right\} \\ & =\frac{1}{4a_{4}}\left\{ \left(2a_{4}x^{2}+2\sqrt{-a_{4}\left(2\sqrt{a_{4}a_{0}}+a_{2}\right)}x-2\sqrt{a_{4}a_{0}}\right)\left(2a_{4}x^{2}-2\sqrt{-a_{4}\left(2\sqrt{a_{4}a_{0}}+a_{2}\right)}x-2\sqrt{a_{4}a_{0}}\right)\right\} \end{align*}-
全ての場合分けに当てはまらないためには、以下が成り立つ必要があるが、\begin{align*} & a_{2}^{\;2}-4a_{4}a_{0}<0\;\land\;\left(0>a_{0}a_{4}\;\lor\;a_{4}\left(a_{2}-2\sqrt{a_{4}a_{0}}\right)>0\right)\;\land\;\left(0>a_{0}a_{4}\;\lor\;a_{4}\left(a_{2}+2\sqrt{a_{4}a_{0}}\right)>0\right)\\ \Leftrightarrow & a_{2}^{\;2}-4a_{4}a_{0}<0\;\land\;a_{4}\left(a_{2}-2\sqrt{a_{4}a_{0}}\right)>0\;\land\;a_{4}\left(a_{2}+2\sqrt{a_{4}a_{0}}\right)>0 \end{align*} これより、
\begin{align*} 0 & <a_{4}\left(a_{2}-2\sqrt{a_{4}a_{0}}\right)a_{4}\left(a_{2}+2\sqrt{a_{4}a_{0}}\right)\\ & =a_{4}^{\;2}\left(a_{2}^{\;2}-4a_{4}a_{0}\right)\\ & <0 \end{align*} となり矛盾が生じるのでどれかには当てはまる。
-
全ての場合分けに当てはまることもある。例えば\(x^{4}-3x^{2}+1\)は全てに当てはまる。
\begin{align*} x^{4}-3x^{2}+1 & =\left(x^{2}-\frac{3-\sqrt{5}}{2}\right)\left(x^{2}-\frac{3+\sqrt{5}}{2}\right)\\ & =\left(x^{2}+\sqrt{5}x+1\right)\left(x^{2}-\sqrt{5}x+1\right)\\ & =\left(x^{2}+x-1\right)\left(x^{2}-x-1\right) \end{align*}
ページ情報
| タイトル | 複二次式の定義と因数分解 |
| URL | https://www.nomuramath.com/eum5ecgl/ |
| SNSボタン |
オイラーの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}
\]
ソフィー・ジェルマンの恒等式
\[
a^{4}+4b^{4}=\left(a^{2}+2ab+2b^{2}\right)\left(a^{2}-2ab+2b^{2}\right)
\]
n乗同士の和と差の因数分解
\[
a^{2n+1}\pm b^{2n+1}=\left(a\pm b\right)\left(\sum_{k=0}^{2n}\left(\mp1\right)^{k}a^{2n-k}b^{k}\right)
\]
3次方程式の標準形
\[
X^{3}+pX+q=0
\]