カプレカー数

カプレカー数(カプレカーすう、: Kaprekar number)とは、次のいずれかで定義される自然数である[1][2]

  1. 2乗して上位と下位との数桁ずつに分けて和を取ったとき、元の値に等しくなる自然数。
  2. 桁を並べ替えて最大にした数と最小にした数との差を取ったとき、元の値に等しくなる自然数(カプレカー定数を含む)。

名称は、インド数学者 D. R. カプレカル英語表記: D. R. Kaprekar[1][2])にちなむ[3][4]。カプレカ数[5]、カプリカ数[6]ともいい、原語であるマラーティー語の発音[7]に近づけてカプレカル数[8][9]ともいう。

定義1

正の整数2乗し、上位と下位のゼロでない[10]数桁ずつに分けて、それらの和を取る。この操作によって元の値に等しくなる数をカプレカー数と呼ぶ。カプレカー数は、上記の操作の不動点である。

例えば、297 はカプレカー数である。2972 = 88209 であり、これを上位の2桁 88 と下位の3桁 209 とに分けて足すと 88 + 209 = 297 となる。また、48792 = 23804641 であり、238 + 04641 = 4879 である。 この定義でのカプレカー数を小さな順に並べると、こうなる[11]

1, 9, 45, 55, 99, 297, 703, 999, 2223, 2728, 4879, 4950, 5050, 5292, 7272, ……

狭義の定義1

正の整数の2乗を、上位と下位との桁数をほぼ等しく(桁数が等しいか、上位の桁数より下位の桁数が1だけ大きく)分けるという定義もある。つまり、2乗が偶数桁(2n 桁)である場合は上位の n 桁と下位の n 桁とに分け、奇数桁(2n+1 桁)である場合は上位の n 桁と下位の n+1 桁とに分けて、上位と下位との和を取る。 この定義でのカプレカー数を小さな順に並べると、こうなる[12]

1, 9, 45, 55, 99, 297, 703, 999, 2223, 2728, 4950, 5050, 7272, 7777, 9999, ……

4879 と 5292 は、この定義のカプレカー数には含まれない:

48792 = 23804641 であり、238 + 04641 = 4879 であるが、 2380 + 4641 = 7021。
52922 = 28005264 であり、28 + 005264 = 5292 であるが、 2800 + 5264 = 8064。

定義1のカプレカー数は無数にある。例えば、9, 99, 999, 9999, 99999, … のように"9"のぞろ目の数は全てこの定義のカプレカー数である。

定義2(カプレカー定数)

整数の各桁の数を並べ替え、最大のものと最小のものとの差を取る(この操作を f とする)。この差が元の整数に等しくなる数 a をカプレカー数と呼ぶ[1]。カプレカー数は、操作 f不動点である。

カプレカー数: 

6174 は、f (6174) = 7641 − 1467 = 6174 であるから、この定義でのカプレカー数である。6174は、10進4桁では唯一のカプレカー数である。また、3桁における唯一のカプレカー数は、495 である。ある桁数でのカプレカー数が唯一であるとき、その数をカプレカー定数とも呼ぶ。

定義2のカプレカー数を小さな順に並べると、次のとおりになる[13]

0, 495, 6174, 549945, 631764, 63317664, 97508421, 554999445, 864197532, 6333176664, …

容易に分かるように、カプレカー数は全て9倍数である。

例えば、最初の数を 2005 として、上記の操作 f を繰り返すと、

5200 − 0025 = 5175
7551 − 1557 = 5994
9954 − 4599 = 5355
5553 − 3555 = 1998
9981 − 1899 = 8082
8820 − 0288 = 8532
8532 − 2358 = 6174
7641 − 1467 = 6174

となり、この後は 6174 が繰り返される。

10進4桁のカプレカー数: 

どのような4桁の数でも最終的に 0 または 6174 になることが確かめられる(1111 の倍数だけが 0 になり,その他は 6174 になる)。カプレカル自身は4桁の数だけを考察した[1]が、任意の桁数の整数で同じことが考えられる。ある桁数の整数は有限個であるから、この操作を繰り返すと、最終的に必ずループになる。ループの周期が 1 である場合に、その整数をカプレカー数と呼ぶ。

この定義のカプレカー数は無数にある。例えば、6174, 631764, 63317664, 6...333...17...666...4(途中に出現する"3"の個数と"6"の個数とが等しいもの)は全てカプレカー数である。

2005年には平田郁美が31桁までの全てのカプレカー数を計算し、それらの分布を考察した[14]

ある桁に属する全ての数(111...11 の倍数を除く)が、操作 f によって一つの数になるとき、その数を(通常のカプレカー数と区別して)特にカプレカー定数と呼ぶ。カプレカー定数は3桁の495と4桁の6174の二つに限られることが1981年にプリチェットらによって示された[15]。また、彼らはカプレカー数を4つのタイプに分類したが、この分類には一部に重複があった。

定義2のカプレカー数の決定

2024年に嵐山数学研究会(主宰 彌永健一の岩崎春男は、ある自然数がカプレカー数になるためには、その自然数が7つの定数 495, 6174, 36, 123456789, 27, 124578, 09 の組合せによって構成される5種類の、互いに共通する要素をもたない集合のいずれかに属することが必要十分であることを示した[16]。岩崎は、5種類の集合による新しい分類が修正したプリチェットらの分類を含むことも示した。

これによって、n を定数とみれば、n 桁のカプレカ―数の個数が、2つの一次方程式

(1)   …… 495 が x 個の並び
(2)   …… 6174 が 1 個, 36 が x 個の並び

または3つの一次不定方程式

(3)   …… 123456789 が x 個, 36 が y 個の並び
(4)   …… 123456789 が x 個, 36 495495 272727 が y 個の並び
(5)   … 124578 が x 個, 09 が y 個, 123456789 が z 個, 36 が u 個の並び

のうち成立可能な方程式の整数解(xu の組)の個数に一致することと、その解たちは n 桁のカプレカ―数を全て表現することが明らかになった[16]

495と6174以外にはカプレカー定数がないことを、上の方程式によって確認する。1, 2桁と5桁と7桁では方程式 (1)~(5) のどれをも満たさないので、カプレカ―数はない。6桁では、方程式 (1), (2) を満たす2つの解[17]が存在するので、カプレカー定数はない。さらに、8桁以上の偶数桁[18]、9桁[19]および15桁以上の奇数桁[20]では明らかに2個以上の解が存在する。残る11桁と13桁では解が1個だが、これらの桁ではそれぞれ周期5と2のループになる数[21]が存在する。したがって、カプレカー定数は3桁の495と4桁の6174に限られる[22]というプリチェットらの結果が検証された。

こうして、定義2の全てのカプレカ―数の包括的決定、およびそれらの個数を容易に求める方法についての問題は完全に解決した[16]。数値例を一つ挙げる。

 桁数 n = 23 の場合: n は3の倍数ではない奇数なので上記の方程式 (1), (2) は成立せず、成立可能な方程式は (3), (4), (5) に限られる。それらの解に対応する数に上で定めた操作 f を1度施せば、7個のカプレカ―数が得られる。

(3)   の解  …… 123456789 が x 個, 36 が y 個の並び

  であり、
f (123456789 36363636363636) = 86433333331976666666532

(4)   の解  …… 123456789 が x 個, 36 495495 272727 が y 個の並び

  であり、
f (123456789 36 495495 272727) = 87765443219997765543222

(5)   の解  …… 124578が x個, 09が y個, 123456789が 個, 36が 個の並び

  のとき、
f (124578 09090909 123456789) = 99998765420987543210001
  のとき、
f (124578 090909 123456789 36) = 99987654320987654321001
  のとき、
f (124578 0909 123456789 3636) = 99876543320987665432101 
  のとき、
f (124578 09 123456789 363636) = 98765433320987666543211
  のとき、
f (124578124578 09 123456789) = 98776554210988754432211

他言語での名称

日本語以外の多くの言語では、第1の定義によるカプレカー数と第2の定義によるカプレカー数(カプレカー定数)とに別々の名称を用いている。

脚注

  1. ^ a b c d Kaprekar 1955.
  2. ^ a b Kaprekar 1980.
  3. ^ マーティン・ガードナー 著、一松信 訳『メイトリックス博士の驚異の数秘術』紀伊國屋書店、1978年、155-156頁。 
  4. ^ 西山豊6174の不思議」(PDF)『理系への数学』、現代数学社、2006年1月、9-12頁、2021年3月19日閲覧 
  5. ^ サム・パーク 編、蟹江幸博 訳『数学、それは宇宙の言葉 : 数学者が語る50のヴィジョン』岩波書店、2020年、1-6頁。 
  6. ^ 秋山仁『NHK 算数大すき』日本放送出版協会、1992年。 
  7. ^ マラーティー語でのつづり कापरेकर発音は「カプリカル」であって、最後の「ル」は巻き舌音
  8. ^ 片山 1988.
  9. ^ 亀井 2021.
  10. ^ 10002 = 1000000 であり、1000 + 000 = 1000 であるが、1000 はカプレカー数ではない。
  11. ^ オンライン整数列大辞典の数列 A006886
  12. ^ A053816
  13. ^ A099009
  14. ^ 平田 2005.
  15. ^ Prechett 1981.
  16. ^ a b c Iwasaki 2024.
  17. ^ 6桁すなわち n=6 のとき、(1) 6=3×2 および (2) 6=4+2×1 であり、それらの解 (1) x=2 および (2) x=1 から得られる 495 495 と 6174 36 のそれぞれに f を施した数 549945 と 631764 はカプレカー数である。実際に、f (549945)=549945 であり、f (631764)=631764。
  18. ^ 8以上の偶数桁では、少なくとも方程式 (2), (5) を満たす2つの解がある。
  19. ^ 9桁では、少なくとも (1) で x=3、(3) で (x=1, y=0) という2つの解がある。
  20. ^ 15桁では、(1) で x=5、(3) で (x=1, y=3) という2つの解がある。17以上の奇数桁では、(3) と (5) を満たす2つの解がある。
  21. ^ 11桁では周期5の 86420987532、13桁では周期2の 8733209876622 がある。
  22. ^ 3桁では (1) の解 x=1 から 495 が得られ、4桁では (2) の解 x=0 から 6174 が得られる。

参考文献

外部リンク