1. 問題の内容
を3で割り切れない正の整数とするとき、整式 が で割り切れることを示します。
2. 解き方の手順
の解を とすると、 が成り立ちます。
また、 より、 (ただし、)。
が で割り切れるためには、 を代入したときに、 となることが必要十分条件です。
つまり、 を示せば良いことになります。
は3で割り切れないので、 または ( は整数)と表せます。
(i) のとき、
\begin{align*}
\omega^{2n} + \omega^n + 1 &= \omega^{2(3k+1)} + \omega^{3k+1} + 1 \\
&= \omega^{6k+2} + \omega^{3k+1} + 1 \\
&= (\omega^3)^{2k}\omega^2 + (\omega^3)^k\omega + 1 \\
&= 1^{2k}\omega^2 + 1^k\omega + 1 \\
&= \omega^2 + \omega + 1 \\
&= 0
\end{align*}
(ii) のとき、
\begin{align*}
\omega^{2n} + \omega^n + 1 &= \omega^{2(3k+2)} + \omega^{3k+2} + 1 \\
&= \omega^{6k+4} + \omega^{3k+2} + 1 \\
&= (\omega^3)^{2k}\omega^4 + (\omega^3)^k\omega^2 + 1 \\
&= 1^{2k}\omega^4 + 1^k\omega^2 + 1 \\
&= \omega^4 + \omega^2 + 1 \\
&= \omega^3\omega + \omega^2 + 1 \\
&= \omega + \omega^2 + 1 \\
&= 0
\end{align*}
いずれの場合も、 となるので、 は で割り切れます。
3. 最終的な答え
を3で割り切れない正の整数とするとき、整式 は で割り切れる。