MathLabs

第6問

十進表記において隣り合うどの二つの数字も偶奇が異なる正の整数を alternating と呼ぶ。alternating な倍数を持つ正の整数 nn をすべて求めよ。
ステップ 2/5: 22 と 55 のべきに対する末尾の構成
∀ even w≥2: ∃ even alternating w-digit g(w),h(w) with2w+1∣g(w), 5w∣h(w)\forall\text{ even }w\ge2:\ \exists\text{ even alternating }w\text{-digit }g(w),h(w)\text{ \quad\text{with}\quad }2^{w+1}\mid g(w),\ 5^w\mid h(w)
詳しい解説

偶数 w≥2w\ge 2 に対し、帰納法により ww の偶数かつ交互的な g(w)g(w) 桁の倍数 2w+12^{w+1} と、ww の偶数かつ交互的な h(w)h(w) 桁の倍数 5w5^w を構成する(どちらも桁数が偶数で末尾が偶数なので先頭の数字は奇数である)。基底 w=2w=2 では(g(2)=32g(2)=32 で割り切れる)88 と(h(2)=50h(2)=50 で割り切れる)2525 を取る。ww から w+2w+2 へ進めるには、2525 元集合 {10,12,…,18,30,32,…,98}\{10,12,\dots,18,30,32,\dots,98\} から二桁の塊を先頭に付け足す、すなわち奇数 10w(10a+b)10^w(10a+b) と偶数 a∈{1,3,5,7,9}a\in\{1,3,5,7,9\} に対して b∈{0,2,4,6,8}b\in\{0,2,4,6,8\} を加える。10w(10a+b)=2w+1⋅5w(5a+b/2)10^w(10a+b)=2^{w+1}\cdot 5^w(5a+b/2) は 2w+12^{w+1} で割り切れ、2w+12^{w+1},2w+32^{w+3} を動かすと法 a∈{1,3,5,7,9}a\in\{1,3,5,7,9\} での b∈{0,2,4,6,8}b\in\{0,2,4,6,8\} の四つの剰余類すべてを尽くすので、ある選び方で g(w)g(w) を g(w+2)g(w+2) で割り切れる 2w+32^{w+3} に延長できる。同様に 2525 の 10w(10a+b)10^w(10a+b) 通りの選び方は(2525 より)法 5w5^w での 5w+25^{w+2} の gcd⁡(2w,25)=1\gcd(2^w,25)=1 個の倍数すべてを尽くすので、ある選び方で h(w)h(w) を h(w+2)h(w+2) で割り切れる 5w+25^{w+2} に延長できる。