3名古屋市立大学 2026年 数学 第3問解答・解説

（1）漸化式より、$n\geq 2$ のとき $$\displaystyle \begin{aligned} a_n&=a_1+\sum\limits _{k=1}^{n-1}(a_{k+1}-a_k)\\ &=\sum\limits _{k=1}^{n-1}(m^{k+1}-m^k-m)\\ &=(m^n-m)-m(n-1)\\ &=m^n-mn. \end{aligned}$$ この式は $n=1$ のときも $a_1=0$ を与えるので、一般項は $a_n=m^n-mn$ である。

（2）一般項から $a_9=m^9-9m$ である。$m$ は正の整数であり、$m\geq 1$ のとき $$\begin{aligned} &\bigl((m+1)^9-9(m+1)\bigr)-(m^9-9m)\\ &=(m+1)^9-m^9-9\\ &=\bigl((m+1)^8+(m+1)^7m+\cdots +(m+1)m^7+m^8\bigr)-9>0. \end{aligned}$$ 最後の括弧内は9個の正の整数の和であり、少なくとも1項は1より大きいからである。したがって $m^9-9m$ は正の整数 $m$ に対して単調に増加する。一方、$m=2$ では $$a_9=2^9-9\cdot2=512-18=494.$$ よって条件を満たす正の整数は $m=2$ である。

（3）$a_n=m(m^{n-1}-n)$ と因数分解できる。$m=1$ なら $a_n=1-n\leq 0$ であり、素数である項はない。そこで $m\geq2$ とする。

$n=1$ では $a_1=0$ である。$n=2$ では $a_2=m(m-2)$ となる。$m=2$ なら $a_2=0$、$m=3$ なら $a_2=3$ は素数である。$m\geq4$ なら2つの因数 $m$ と $m-2$ はともに2以上なので、$a_2$ は合成数である。したがって $n=2$ から得られるのは $m=3$ だけである。

次に $n\geq3$ とする。このとき $m^{n-1}-n\geq 2^{n-1}-n\geq1$ である。等号が成り立つのは $n=3, m=2$ のときだけである。実際、$n=3$ では $m^2-3=1$ となるのは $m=2$ の場合に限り、$n\geq4$ では $2^{n-1}-n\geq4>1$ である（$n=4$ で4となり、$n$ を1増やすとこの値は $2^{n-1}-1>0$ だけ増える）。よって $m^{n-1}-n=1$ となるのは $(m,n)=(2,3)$ だけである。それ以外では、$m\geq2$ と $m^{n-1}-n\geq2$ が成り立つため、$a_n$ は2つの2以上の整数の積となり素数ではない。$(m,n)=(2,3)$ では $a_3=2(2^2-3)=2$ は素数である。

以上より、素数である項を含む正の整数 $m$ は $m=2,3$ である。