以下の問いに答えよ.
(1)正の奇数 と正の整数 が を満たしているとする. を で割ったあまりが を で割った余りと等しいならば, を で割った余りは を で割った余りと等しいことを示せ.
(2)正の整数 が を満たしているとする.このとき, に対して となるような正の奇数 が存在することを示せ.
(3) は(2)の通りとし,さらに が で割り切れるとする. を で割ったあまりは を で割った余りと等しいことを示せ.
(4) を で割った余りを求めよ.
Kummer の定理(2021.02.26)
Lucas の定理の拡張(Baileyの定理と呼ぶべきか)(2021.03.07)
2021.02.26記
(2) は Kummer の定理、二項係数は2で何回割れるか - 球面倶楽部 零八式 mark II でうまくいくが,(3)をこの考え方でうまく説明できない、、、。4で割った余りが0、2の場合は2で2回以上割れる、1回しか割れないとなり(2)の考え方が使えるが,2で割れない場合、4で割った余りが1か3かを区別するような考え方ではないからである.最初は が偶数という条件を末尾で繰り上がりが起きないと考えれば良いかと思ったが,この方針は駄目なのか、、、。
(1) とおけ,このとき
と が奇数とから は4の倍数となり題意は示された.
(2) とおき,, とおく.
(i) のとき,, だから
となり,奇数 , を用いて とかける.
(ii) のとき, とかける奇数 , が存在すると仮定すると
, だから
となり,
となるので,奇数 ,
を用いて とかける.
よって帰納的に題意は証明された.
(3) 以下 mod 4 で考える.(2) より
,
となり,.
のときに を仮定すると,
,
だから,mod 4 で
,
,
が成立するので,
となり, でも成立.
よって,任意の正の偶数 について となり,(1)より任意の正の偶数 について が成立する.
(4) (2) より だから答は
大人の解答は(2)のみ.
(2) が2で割れる回数は2進法の足し算 における繰り上がりの回数であり,それは における繰り上がりの回数に等しい(2進法の足し算の末尾の0を2個つけただけ).そしてそれは における繰り上がりの回数に等しい(1の位は で繰り上がらない)ので が2で割れる回数に等しい.よって
を既約分数で表現したものを とすれば,それは奇数÷奇数となって題意をみたす.
2021.03.07記
そういえば解答速報の後に twitter で、Lucas の定理と書いていた人がいたなぁ。
Lucas の定理は,
の p.39 定理2.1 にあり,その特殊な場合としてを素数とするとき
が成り立つというものである.本問の場合, は素数ではないので,これをこのまま適用することができない.
Lucas の定理を素数の羃に拡張したものとして
D.F. Bailey, Two p^3 variations of Lucas’ theorem, J. Number Theory 35 (1990), 208–215.(pdf) Theorem 3 に Lucas の定理の拡張として
を素数, は非負, は より小さいとき,
があり, とすると
と,本問の結果が得られる.これを拡張したものに関して Romeo Meštrović, Variations of Lucas' Theorem Modulo Prime Powers の Theorem A に K.S.Davis and W. A. Webb, A binomial coefficient congruence modulo prime powers, J. Number Theory. 43 (1993), 20–2 を引用した
を素数, は非負, は より小さいとき,
という定理がある.この論文の p.7 に本問の証明があるが,
を利用していて大変そうだ.この式で, の偶奇で場合分けしていずれの場合も が成立することを示すのはちょっと面倒そうだ.
Romeo Meštrović, Lucas' theorem: its generalizations, extensions and applications (1878--2014) の方が新しくて良いかも。
まぁ、定理の証明はともかく、
Lucas の定理(上記書籍のp.41系2.2)は 進数表示の対応する桁の二項係数の積,つまり , (桁数を揃えるために頭に0をつける)とすると
が成立するとういことであったが,Bailey は 進数表示の対応する桁の二項係数の積,つまり , (桁数を揃えるために頭に0をつける)とすると
が成立することを示したという訳である.
2021.03.13記
(2) Kummer の定理により, が2で割れる回数は2進法の足し算 における繰り上がりの回数であり,それは における繰り上がりの回数に等しい(2進法の足し算の末尾の0を2個つけただけ).そしてそれは における繰り上がりの回数に等しい(1の位は で繰り上がらない)ので が2で割れる回数に等しい.よって
を既約分数で表現したものを とすれば,それは奇数÷奇数となって題意をみたす.
(3) を素数2の2乗である4進法であらわしたものを とすると, を4進法で表したものは ( それぞれの末尾にをつけてできる4進数)となる.
よって Bailey の定理により
2023.01.25記
文献の追加
LUCAS’ THEOREM MODULO [tex:p^2]
[1409.3820] Lucas' theorem: its generalizations, extensions and applications (1878--2014)