第２問（１）超解説その２

第２問 2008年度東大数学理系第５問
自然数ｎに対して、をで表す。たとえば，
，である。
（１）ｍを0以上の整数とする。はで割り切れるが、
　　　では割り切れないことを示せ。
（２）ｎが２７で割り切れることが、
　　　が２７で割り切れるための必要十分条件であることを示せ。

（１）の超解説その２
『各位の数字の和が２７の倍数ならその整数は２７の倍数である』
の反例
５８７７の各位の数字の和は
５＋８＋７＋７＝２７で２７の倍数ですが、
５８７７÷２７＝２１７・・・１８
で５８７７は２７の倍数ではありません。

では次に、『各位の数字の和が２７の倍数でないならその整数は２７の倍数でない』
の反例はどうでしょうか。
２７が反例ですね。
２＋７＝９で２７の倍数ではありませんが、
２７は２７の倍数です。
『各位の数字の和が２７の倍数でないならその整数は２７の倍数でない』は、
『各位の数字の和が２７の倍数でないならその整数は２７の倍数でない』の対偶ですから、
成り立たないのは当然です。
では、＝＝１１１１１１１１１が２７で割り切れないことを示すにはどうしたらよいでしょうか。
解答のようにやっても良いわけですが、
単純に１１１１１１１１１÷２７を計算すると、
商が４１１５２２６で余りが９で、割り切れません。

さて、ではいよいよ解答の

（１）の命題を（＊）とし、（＊）が成り立つことを数学的帰納法で示す。
ⅰ　ｍ＝０のとき、
　　　＝＝＝１
　　　＝＝１
　　　＝＝３
　　したがって、はで割り切れが、では割り切れないから
　　(＊)は成り立つ。
ⅱ　ｍ＝ｋ(≧０)とき(＊)が成り立つと仮定すると、
　　はで割り切れるが、では割り切れないから、
　　３で割り切れない適当な整数ｐが存在して、
　　＝ｐ
　　ｍ＝ｋ＋１の場合を考える。
　　＝
　　　　　　　　＝
　　　　　　　　＝
　　　　　　　　＝
　　ここで、の各位の数字の和は３なので、
　　は３の倍数であるが、９の倍数ではない。
　　よって、３で割り切れない整数ｑによって
　　＝３ｑ
　　とおける。このとき
　　＝３ｑ・ｐ＝ｐｑ
　　ｐ，ｑは３の倍数でないので、適当な整数ａ，ｂによって、
　　ｐ＝３ａ±１，ｑ＝３ｂ±１
　　と表せる。４つの組み合わせ
　　ｐｑ＝３（３ａｂ＋ａ＋ｂ）＋１，３（３ａｂ－ａ＋ｂ）－１，３（３ａｂ＋ａ－ｂ）－１，３（３ａｂ－ａ－ｂ）＋１
　　はいずれも３の倍数ではない。
　　したがって、はで割り切れるが、では割り切れないから、
　　(＊)はｍ＝ｋ＋１の場合も成り立つ。

　以上ⅰⅱより、０以上のすべての整数について(＊)が成り立つことが証明された。