方針
と見て余りの係数を更新する。(3)は、素数 p が をともに割ることを、p で割った余りだけに注目したとき の余りが 0 になることと読み替える。すると が を割る必要があり、 を割り切る最高次係数1の2次式は だけなので、、 から に限られる。最後に が実際に成り立つことも確認する。
解答
(1)
割る式から である。したがって を で割った余りは であり、 である。
(2) を割った余りが であるから と書ける。両辺に x を掛けると である。ここで なので である。したがって である。
(3)
素数 p が と の公約数であるとする。このとき、p を法として考えると を で割った余りは 0 である。つまり、係数を p で割った余りだけで考えると、 は を割り切る。
ところが の因数は x だけからできているので、 を割り切る最高次係数1の2次式は に限られる。したがって でなければならない。よって を同時に満たす素数 p だけが候補であり、 である。
逆に のときは である。 では は で割り切れるから、余りは 0 であり、 はともに p で割り切れる。したがって求める素数は である。
余りの係数は2次元の漸化式として更新される。
別解
解法2
方針
前半は主解法と同じ漸化式を作る。(3)では、 が を割ると仮定し、 から1段ずつ へ遡る。最後に初期値 と矛盾させる。
解答
(1) だから(2) 合同式に を掛け、 を用いるとよって(3) 素数 が をともに割るとする。 なら は で割り切れない。漸化式から であり、から でもある。同じ議論を繰り返すとしかし なので、そのような は存在しない。
逆に では初期値 がともに の倍数であり、漸化式からすべての で も の倍数になる。したがって求める素数はである。
総評
難度6、計算量5。前半は余りの漸化式を作る標準問題で、後半は「係数が同時に p で割れる」ことを p を法とした多項式の割り算に言い換えるのが核心である。単に漸化式を眺めるだけだと全 n に対する候補の絞り込みが難しい。 を候補として出した後、実際にすべての で成り立つ確認を忘れないこと。20分程度で論理を丁寧に書きたい。