を自然数とする。整式を整式で割った余りをとする。このときとは整数であり、さらにそれらをともに割り切る素数は存在しないことを示せ。 整式を、整式を用いて \begin{equation} x^n = (x^2 -2x -1)Q_n(x) + a_n x + b_n \tag{1} \end{equation}と表すこと…