創作整数問題#28解法＆創作整数問題#29

センター試験まで1ヶ月を切りました。受験生にとってはラストスパートの時期ですね。高校の先生方は今頃、願書を書くのに大忙しといったところでしょうか。まさに師走です。

---

《問題#29》

ある自然数は、$2$乗した値を$29$で割った余りと、$4$倍して$1$を加えた値を$29$で割った余りが等しいという。このような自然数をすべて求めよ。

（創作問題）

---

方程式に$2$次の項が入ってきますが、余りを考えれば候補が絞られます。

 

 

 

---

創作整数問題#28（解き方）

---

---

与式を次のように変形します。$$m^2=n!-4^n$$ $mod3$によると $n\geqq 3$ のとき$$m^2\equiv 0-1^n\equiv 2(\mathrm{mod}3)$$となります。$3$で割ったときの余りが$2$となる平方数は存在しない^(＊)ので、$n\geqq 3$ のとき解は存在しません。$0\leqq n\leqq 2$ のときを調べると、$n=0$ のとき $m=0$ が解となることが分かります（$4^0=1$、$0!=1$ です）。よって求める非負整数解は$$(m,n)=(0,0)$$となります。

※注：(＊)について 度々登場する平方剰余のお話ですが、一応解説しておきましょう。$m$を$3$で割ったときの余りで場合分けします。 $m=3k+r$（$r=0,1,2$）と置きますと、$$\begin{array}{rl}{m}^2& =(3k+r{)}^2\\ & =9k^2+6kr+r^2\\ & =3(3k^2+2kr)+r^2\end{array}$$となるので、$m$を$3$で割ったときの余りは、余り$r$を$3$で割ったときの余りに一致します。ここで$r^2$は$0,1,4$の$3$通りが存在しますが、いずれも$3$で割った余りが$2$になることはありません。したがって$3$で割ったときの余りが$2$となる平方数は存在しないのです。

---

（コメント）

本格的なディオファントス方程式と言っておきながら、平方剰余であっさり解決できてしまいます。次のような問題も同じようにあっさり解決できるでしょう。

---

《おまけ問題①》

等式$$m^2+5^n=n!$$を満たすような非負整数$m$、$n$の組をすべて求めよ。

---

余談ですが、創作整数問題#3も同様のトリックで作問されています。その他の平方剰余に関する証明は整数第３章第１節問題#B005を参照してみて下さい。

個人的な意見ですが、階乗の出てくる問題はどうもアドホックな解答を迫られるものが多いような気がします。例えば次のような問題（これはそれほどアドホックではないかもしれませんが）。気付かなかったら終了、という整数問題の怖さが体感できるのでは(笑)。

---

《おまけ問題②》

$712!+1$ は素数か。

---

なかなか威圧感がありますね。いつぞやの京大後期のような雰囲気ですが･･･。