問題.
をで割ったときの商を, 余りをとする.
の最高次の項の係数と, 定数項を求めよ. は自然数とする.
整式の割り算の問題. で割った余りなので, 剰余の定理では処理できません.
そこで,
のような形をつくるために,
と考えて展開します.
解答例.
\begin{align*}P(x) &= x^{2n}\\
&= \{(x-2)+2\}^{2n}\\
&= \sum_{k=0}^{2n} {}_{2n}C_k\cdot (x-2)^k\cdot 2^{2n-k}\\
&= (x-2)^n \sum_{k=n}^{2n} {}_{2n}C_k\cdot (x-2)^{k-n}\cdot 2^{2n-k} + \sum_{k=0}^{n-1} {}_{2n}C_k\cdot (x-2)^k\cdot 2^{2n-k}
\end{align*}
より,
\begin{align*}
Q(x) &= \sum_{k=n}^{2n} {}_{2n}C_k\cdot (x-2)^{k-n}\cdot 2^{2n-k}\\
R(x) &= \sum_{k=0}^{n-1} {}_{2n}C_k\cdot (x-2)^k\cdot 2^{2n-k}
\end{align*}
の最高次の項はの項で, のときのみ出てくるので, その係数は
\begin{align*}
{}_{2n}C_{n-1}\cdot 2^{2n-(n-1)} = {}_{2n}C_{n-1}\cdot 2^{n+1}
\end{align*}
次に, の展開式の定数項はなので, の定数項は,
\begin{align*}
\sum_{k=0}^{n-1} {}_{2n}C_k\cdot(-2)^k\cdot 2^{2n-k} &= \sum_{k=0}^{n-1} {}_{2n}C{k}\cdot (-1)^k\cdot 2^{2n}\\
&= 2^{2n}\sum_{k=0}^{n-1} {}_{2n}C_k\cdot (-1)^k
\end{align*}
ここで,
\begin{align*}
\sum_{k=0}^{n-1} {}_{2n}C_k\cdot (-1)^k &= \sum_{k=0}^{n-1} {}_{2n}C_{2n-k} \cdot (-1)^{2n-k} \\
&= \sum_{k=n+1}^{2n} {}_{2n}C_k\cdot (-1)^k
\end{align*}
最後の変形ではをと改めておき直して, 和の順番を逆にしています.
よって,
\begin{align*}
2\sum_{k=0}^{n-1}{}_{2n}C_k\cdot (-1)^k + {}_{2n}C_n\cdot(-1)^n &= \sum_{k=0}^{n-1} {}_{2n}C_k\cdot (-1)^k + {}_{2n}C_n\cdot(-1)^n+\sum_{k=n+1}^{2n}{}_{2n}C_k\cdot(-1)^k\\
&= \sum_{k=0}^{2n}{}_{2n}C_{k}\cdot (-1)^k\\
&= (-1+1)^{2n}\\
&= 0
\end{align*}
となるので,
\begin{align*}
\sum_{k=0}^{n-1} {}_{2n}C_k\cdot(-1)^k = -\frac{1}{2}\cdot {}_{2n}C_n\cdot(-1)^n
\end{align*}
従って, の定数項は
\begin{align*}
2^{2n}\times \left\{-\frac{1}{2}\cdot{}_{2n}C_n\cdot(-1)^n\right\} = -\frac{1}{2}\cdot(-4)^n\cdot {}_{2n}C_n
\end{align*}