午後のひとときに、数学の疑問を考える
デュードニー数というのがありまして、
あるxの3乗した数の各桁の和がxになるものを、デュードニー数と呼ぶ。
1は何乗しても1なので、デュードニー数から除外するとして、デュードニー数はいくつあるのだろうか。
8^3=512, 5+1+2=8
17^3=4913, 4+9+1+3=17
18^3=5832, 5+8+3+2=18
26^3=17576, 1+7+5+7+6=26
27^3=19683, 1+9+6+8+3=27
の5つが、比較的容易に見つかる。
これが5個しか存在しないことの証明は、とても難しいのだろうが、確率的に低いということはなんとなくだが解る。
さて、今回はデュードニー数を拡張してみる。
m^n, m>1, n>0, m, n∈N
という条件にしてみます。
プログラムを組んで、n=100まで求めてみました。
ただ、ブログの文字数制限に引っかかるので、とりあえずn=10まで。
2^1=2
3^1=3
4^1=4
5^1=5
6^1=6
7^1=7
8^1=8
9^1=9
9^2=81
8^3=512
17^3=4913
18^3=5832
26^3=17576
27^3=19683
7^4=2401
22^4=234256
25^4=390625
28^4=614656
36^4=1679616
28^5=17210368
35^5=52521875
36^5=60466176
46^5=205962976
18^6=34012224
45^6=8303765625
54^6=24794911296
64^6=68719476736
18^7=612220032
27^7=10460353203
31^7=27512614111
34^7=52523350144
43^7=271818611107
53^7=1174711139837
58^7=2207984167552
68^7=6722988818432
46^8=20047612231936
54^8=72301961339136
63^8=248155780267521
54^9=3904305912313344
71^9=45848500718449031
81^9=150094635296999121
82^10=13744803133596058624
85^10=19687440434072265625
94^10=53861511409489970176
97^10=73742412689492826049
106^10=179084769654285362176
117^10=480682838924478847449
こんな感じです。
ここで、いくつか疑問が湧いてくる。
例えば、解が存在しないnは存在するのか。
そこで、今回導いたn=100までの解について、
Digit=[n*log10(m)+1]
と計算で桁数を求められるので、
(値を求めているので、プログラム的に桁数をカウントすることもできます。)
Ave.=m/Digit
と各桁の平均を求めてみた。
m | n | Digit | Ave. |
2 | 1 | 1 | 2.000 |
3 | 1 | 1 | 3.000 |
4 | 1 | 1 | 4.000 |
5 | 1 | 1 | 5.000 |
6 | 1 | 1 | 6.000 |
7 | 1 | 1 | 7.000 |
8 | 1 | 1 | 8.000 |
9 | 1 | 1 | 9.000 |
9 | 2 | 2 | 4.500 |
8 | 3 | 3 | 2.667 |
17 | 3 | 4 | 4.250 |
18 | 3 | 4 | 4.500 |
26 | 3 | 5 | 5.200 |
27 | 3 | 5 | 5.400 |
7 | 4 | 4 | 1.750 |
22 | 4 | 6 | 3.667 |
25 | 4 | 6 | 4.167 |
28 | 4 | 6 | 4.667 |
36 | 4 | 7 | 5.143 |
28 | 5 | 8 | 3.500 |
35 | 5 | 8 | 4.375 |
36 | 5 | 8 | 4.500 |
46 | 5 | 9 | 5.111 |
18 | 6 | 8 | 2.250 |
45 | 6 | 10 | 4.500 |
54 | 6 | 11 | 4.909 |
64 | 6 | 11 | 5.818 |
18 | 7 | 9 | 2.000 |
27 | 7 | 11 | 2.455 |
31 | 7 | 11 | 2.818 |
34 | 7 | 11 | 3.091 |
43 | 7 | 12 | 3.583 |
53 | 7 | 13 | 4.077 |
58 | 7 | 13 | 4.462 |
68 | 7 | 13 | 5.231 |
46 | 8 | 14 | 3.286 |
54 | 8 | 14 | 3.857 |
63 | 8 | 15 | 4.200 |
54 | 9 | 16 | 3.375 |
71 | 9 | 17 | 4.176 |
81 | 9 | 18 | 4.500 |
82 | 10 | 20 | 4.100 |
85 | 10 | 20 | 4.250 |
94 | 10 | 20 | 4.700 |
97 | 10 | 20 | 4.850 |
106 | 10 | 21 | 5.048 |
117 | 10 | 21 | 5.571 |
98 | 11 | 22 | 4.455 |
107 | 11 | 23 | 4.652 |
108 | 11 | 23 | 4.696 |
108 | 12 | 25 | 4.320 |
20 | 13 | 17 | 1.176 |
40 | 13 | 21 | 1.905 |
86 | 13 | 26 | 3.308 |
103 | 13 | 27 | 3.815 |
104 | 13 | 27 | 3.852 |
106 | 13 | 27 | 3.926 |
107 | 13 | 27 | 3.963 |
126 | 13 | 28 | 4.500 |
134 | 13 | 28 | 4.786 |
135 | 13 | 28 | 4.821 |
146 | 13 | 29 | 5.034 |
91 | 14 | 28 | 3.250 |
118 | 14 | 30 | 3.933 |
127 | 14 | 30 | 4.233 |
135 | 14 | 30 | 4.500 |
154 | 14 | 31 | 4.968 |
107 | 15 | 31 | 3.452 |
134 | 15 | 32 | 4.188 |
136 | 15 | 33 | 4.121 |
152 | 15 | 33 | 4.606 |
154 | 15 | 33 | 4.667 |
172 | 15 | 34 | 5.059 |
199 | 15 | 35 | 5.686 |
133 | 16 | 34 | 3.912 |
142 | 16 | 35 | 4.057 |
163 | 16 | 36 | 4.528 |
169 | 16 | 36 | 4.694 |
181 | 16 | 37 | 4.892 |
187 | 16 | 37 | 5.054 |
80 | 17 | 33 | 2.424 |
143 | 17 | 37 | 3.865 |
171 | 17 | 38 | 4.500 |
216 | 17 | 40 | 5.400 |
172 | 18 | 41 | 4.195 |
181 | 18 | 41 | 4.415 |
80 | 19 | 37 | 2.162 |
90 | 19 | 38 | 2.368 |
155 | 19 | 42 | 3.690 |
157 | 19 | 42 | 3.738 |
171 | 19 | 43 | 3.977 |
173 | 19 | 43 | 4.023 |
181 | 19 | 43 | 4.209 |
189 | 19 | 44 | 4.295 |
207 | 19 | 45 | 4.600 |
90 | 20 | 40 | 2.250 |
181 | 20 | 46 | 3.935 |
207 | 20 | 47 | 4.404 |
90 | 21 | 42 | 2.143 |
199 | 21 | 49 | 4.061 |
225 | 21 | 50 | 4.500 |
90 | 22 | 43 | 2.093 |
169 | 22 | 50 | 3.380 |
193 | 22 | 51 | 3.784 |
217 | 22 | 52 | 4.173 |
225 | 22 | 52 | 4.327 |
234 | 22 | 53 | 4.415 |
256 | 22 | 53 | 4.830 |
234 | 23 | 55 | 4.255 |
244 | 23 | 55 | 4.436 |
271 | 23 | 56 | 4.839 |
252 | 24 | 58 | 4.345 |
262 | 24 | 59 | 4.441 |
288 | 24 | 60 | 4.800 |
140 | 25 | 54 | 2.593 |
211 | 25 | 59 | 3.576 |
221 | 25 | 59 | 3.746 |
236 | 25 | 60 | 3.933 |
256 | 25 | 61 | 4.197 |
257 | 25 | 61 | 4.213 |
261 | 25 | 61 | 4.279 |
277 | 25 | 62 | 4.468 |
295 | 25 | 62 | 4.758 |
296 | 25 | 62 | 4.774 |
298 | 25 | 62 | 4.806 |
299 | 25 | 62 | 4.823 |
337 | 25 | 64 | 5.266 |
306 | 26 | 65 | 4.708 |
307 | 26 | 65 | 4.723 |
316 | 26 | 65 | 4.862 |
324 | 26 | 66 | 4.909 |
305 | 27 | 68 | 4.485 |
307 | 27 | 68 | 4.515 |
90 | 28 | 55 | 1.636 |
160 | 28 | 62 | 2.581 |
265 | 28 | 68 | 3.897 |
292 | 28 | 70 | 4.171 |
301 | 28 | 70 | 4.300 |
328 | 28 | 71 | 4.620 |
305 | 29 | 73 | 4.178 |
314 | 29 | 73 | 4.301 |
325 | 29 | 73 | 4.452 |
332 | 29 | 74 | 4.486 |
341 | 29 | 74 | 4.608 |
396 | 30 | 78 | 5.077 |
170 | 31 | 70 | 2.429 |
331 | 31 | 79 | 4.190 |
338 | 31 | 79 | 4.278 |
346 | 31 | 79 | 4.380 |
356 | 31 | 80 | 4.450 |
364 | 31 | 80 | 4.550 |
367 | 31 | 80 | 4.588 |
386 | 31 | 81 | 4.765 |
387 | 31 | 81 | 4.778 |
443 | 31 | 83 | 5.337 |
388 | 32 | 83 | 4.675 |
170 | 33 | 74 | 2.297 |
352 | 33 | 85 | 4.141 |
359 | 33 | 85 | 4.224 |
378 | 33 | 86 | 4.395 |
406 | 33 | 87 | 4.667 |
422 | 33 | 87 | 4.851 |
423 | 33 | 87 | 4.862 |
387 | 34 | 88 | 4.398 |
412 | 34 | 89 | 4.629 |
463 | 34 | 91 | 5.088 |
378 | 35 | 91 | 4.154 |
388 | 35 | 91 | 4.264 |
414 | 35 | 92 | 4.500 |
451 | 35 | 93 | 4.849 |
477 | 35 | 94 | 5.074 |
388 | 36 | 94 | 4.128 |
424 | 36 | 95 | 4.463 |
414 | 37 | 97 | 4.268 |
421 | 37 | 98 | 4.296 |
422 | 37 | 98 | 4.306 |
433 | 37 | 98 | 4.418 |
469 | 37 | 99 | 4.737 |
477 | 37 | 100 | 4.770 |
485 | 37 | 100 | 4.850 |
495 | 37 | 100 | 4.950 |
468 | 38 | 102 | 4.588 |
469 | 38 | 102 | 4.598 |
449 | 39 | 104 | 4.317 |
523 | 39 | 107 | 4.888 |
250 | 40 | 96 | 2.604 |
441 | 40 | 106 | 4.160 |
468 | 40 | 107 | 4.374 |
486 | 40 | 108 | 4.500 |
495 | 40 | 108 | 4.583 |
502 | 40 | 109 | 4.606 |
432 | 41 | 109 | 3.963 |
280 | 42 | 103 | 2.718 |
487 | 42 | 113 | 4.310 |
523 | 42 | 115 | 4.548 |
531 | 42 | 115 | 4.617 |
461 | 43 | 115 | 4.009 |
499 | 43 | 117 | 4.265 |
508 | 43 | 117 | 4.342 |
511 | 43 | 117 | 4.368 |
526 | 43 | 118 | 4.458 |
532 | 43 | 118 | 4.508 |
542 | 43 | 118 | 4.593 |
548 | 43 | 118 | 4.644 |
572 | 43 | 119 | 4.807 |
280 | 44 | 108 | 2.593 |
523 | 44 | 120 | 4.358 |
549 | 44 | 121 | 4.537 |
576 | 44 | 122 | 4.721 |
603 | 44 | 123 | 4.902 |
360 | 45 | 116 | 3.103 |
503 | 45 | 122 | 4.123 |
523 | 45 | 123 | 4.252 |
360 | 46 | 118 | 3.051 |
478 | 46 | 124 | 3.855 |
514 | 46 | 125 | 4.112 |
522 | 46 | 126 | 4.143 |
544 | 46 | 126 | 4.317 |
558 | 46 | 127 | 4.394 |
574 | 46 | 127 | 4.520 |
592 | 46 | 128 | 4.625 |
350 | 47 | 120 | 2.917 |
559 | 47 | 130 | 4.300 |
567 | 47 | 130 | 4.362 |
575 | 47 | 130 | 4.423 |
576 | 47 | 130 | 4.431 |
595 | 47 | 131 | 4.542 |
603 | 47 | 131 | 4.603 |
666 | 47 | 133 | 5.008 |
370 | 48 | 124 | 2.984 |
513 | 48 | 131 | 3.916 |
631 | 48 | 135 | 4.674 |
667 | 48 | 136 | 4.904 |
270 | 49 | 120 | 2.250 |
290 | 49 | 121 | 2.397 |
340 | 49 | 125 | 2.720 |
350 | 49 | 125 | 2.800 |
360 | 49 | 126 | 2.857 |
533 | 49 | 134 | 3.978 |
589 | 49 | 136 | 4.331 |
637 | 49 | 138 | 4.616 |
648 | 49 | 138 | 4.696 |
661 | 49 | 139 | 4.755 |
695 | 49 | 140 | 4.964 |
685 | 50 | 142 | 4.824 |
360 | 51 | 131 | 2.748 |
666 | 51 | 144 | 4.625 |
685 | 51 | 145 | 4.724 |
625 | 52 | 146 | 4.281 |
688 | 52 | 148 | 4.649 |
736 | 52 | 150 | 4.907 |
739 | 52 | 150 | 4.927 |
648 | 53 | 150 | 4.320 |
683 | 53 | 151 | 4.523 |
703 | 53 | 151 | 4.656 |
746 | 53 | 153 | 4.876 |
370 | 54 | 139 | 2.662 |
603 | 54 | 151 | 3.993 |
657 | 54 | 153 | 4.294 |
667 | 54 | 153 | 4.359 |
739 | 54 | 155 | 4.768 |
677 | 55 | 156 | 4.340 |
683 | 55 | 156 | 4.378 |
684 | 56 | 159 | 4.302 |
370 | 57 | 147 | 2.517 |
460 | 57 | 152 | 3.026 |
719 | 57 | 163 | 4.411 |
748 | 57 | 164 | 4.561 |
793 | 57 | 166 | 4.777 |
802 | 57 | 166 | 4.831 |
667 | 58 | 164 | 4.067 |
721 | 58 | 166 | 4.343 |
754 | 58 | 167 | 4.515 |
370 | 59 | 152 | 2.434 |
440 | 59 | 156 | 2.821 |
693 | 59 | 168 | 4.125 |
845 | 59 | 173 | 4.884 |
694 | 60 | 171 | 4.058 |
784 | 60 | 174 | 4.506 |
792 | 60 | 174 | 4.552 |
793 | 60 | 174 | 4.557 |
440 | 61 | 162 | 2.716 |
490 | 61 | 165 | 2.970 |
758 | 61 | 176 | 4.307 |
815 | 61 | 178 | 4.579 |
833 | 61 | 179 | 4.654 |
855 | 62 | 182 | 4.698 |
865 | 62 | 183 | 4.727 |
827 | 63 | 184 | 4.495 |
836 | 63 | 185 | 4.519 |
846 | 63 | 185 | 4.573 |
430 | 64 | 169 | 2.544 |
793 | 64 | 186 | 4.263 |
829 | 64 | 187 | 4.433 |
871 | 64 | 189 | 4.608 |
818 | 65 | 190 | 4.305 |
856 | 65 | 191 | 4.482 |
891 | 65 | 192 | 4.641 |
928 | 65 | 193 | 4.808 |
837 | 66 | 193 | 4.337 |
864 | 66 | 194 | 4.454 |
927 | 66 | 196 | 4.730 |
450 | 67 | 178 | 2.528 |
859 | 67 | 197 | 4.360 |
865 | 67 | 197 | 4.391 |
866 | 67 | 197 | 4.396 |
869 | 67 | 197 | 4.411 |
874 | 67 | 198 | 4.414 |
926 | 67 | 199 | 4.653 |
934 | 67 | 200 | 4.670 |
837 | 68 | 199 | 4.206 |
540 | 69 | 189 | 2.857 |
936 | 69 | 206 | 4.544 |
962 | 69 | 206 | 4.670 |
963 | 69 | 206 | 4.675 |
1016 | 69 | 208 | 4.885 |
540 | 70 | 192 | 2.813 |
882 | 70 | 207 | 4.261 |
909 | 70 | 208 | 4.370 |
917 | 71 | 211 | 4.346 |
991 | 71 | 213 | 4.653 |
901 | 72 | 213 | 4.230 |
1062 | 72 | 218 | 4.872 |
853 | 73 | 214 | 3.986 |
882 | 73 | 216 | 4.083 |
928 | 73 | 217 | 4.276 |
1006 | 73 | 220 | 4.573 |
1015 | 73 | 220 | 4.614 |
936 | 74 | 220 | 4.255 |
1008 | 74 | 223 | 4.520 |
1009 | 74 | 223 | 4.525 |
1018 | 74 | 223 | 4.565 |
630 | 75 | 210 | 3.000 |
964 | 75 | 224 | 4.304 |
999 | 75 | 225 | 4.440 |
1016 | 75 | 226 | 4.496 |
1053 | 75 | 227 | 4.639 |
1044 | 76 | 230 | 4.539 |
1075 | 76 | 231 | 4.654 |
1093 | 76 | 231 | 4.732 |
1061 | 77 | 233 | 4.554 |
1062 | 77 | 234 | 4.538 |
1088 | 77 | 234 | 4.650 |
964 | 78 | 233 | 4.137 |
1117 | 78 | 238 | 4.693 |
1126 | 78 | 239 | 4.711 |
1134 | 78 | 239 | 4.745 |
610 | 79 | 221 | 2.760 |
1031 | 79 | 239 | 4.314 |
1043 | 79 | 239 | 4.364 |
1054 | 79 | 239 | 4.410 |
1064 | 79 | 240 | 4.433 |
1091 | 79 | 240 | 4.546 |
1108 | 79 | 241 | 4.598 |
1133 | 79 | 242 | 4.682 |
1044 | 80 | 242 | 4.314 |
1071 | 80 | 243 | 4.407 |
1134 | 80 | 245 | 4.629 |
1144 | 80 | 245 | 4.669 |
1062 | 81 | 246 | 4.317 |
1196 | 81 | 250 | 4.784 |
1048 | 82 | 248 | 4.226 |
1111 | 82 | 250 | 4.444 |
1134 | 82 | 251 | 4.518 |
1231 | 82 | 254 | 4.846 |
730 | 83 | 238 | 3.067 |
1115 | 83 | 253 | 4.407 |
1151 | 83 | 255 | 4.514 |
1207 | 83 | 256 | 4.715 |
1188 | 84 | 259 | 4.587 |
1051 | 85 | 257 | 4.089 |
1103 | 85 | 259 | 4.259 |
1165 | 85 | 261 | 4.464 |
1183 | 85 | 262 | 4.515 |
1277 | 85 | 265 | 4.819 |
1134 | 86 | 263 | 4.312 |
1225 | 86 | 266 | 4.605 |
1187 | 87 | 268 | 4.429 |
1216 | 87 | 269 | 4.520 |
1224 | 87 | 269 | 4.550 |
1232 | 87 | 269 | 4.580 |
1278 | 87 | 271 | 4.716 |
1288 | 87 | 271 | 4.753 |
730 | 88 | 252 | 2.897 |
1084 | 88 | 268 | 4.045 |
1147 | 88 | 270 | 4.248 |
1183 | 88 | 271 | 4.365 |
1186 | 88 | 271 | 4.376 |
1206 | 88 | 272 | 4.434 |
1151 | 89 | 273 | 4.216 |
1232 | 89 | 276 | 4.464 |
1358 | 89 | 279 | 4.867 |
1306 | 90 | 281 | 4.648 |
1422 | 90 | 284 | 5.007 |
720 | 91 | 261 | 2.759 |
1208 | 91 | 281 | 4.299 |
1233 | 91 | 282 | 4.372 |
1253 | 91 | 282 | 4.443 |
1258 | 91 | 283 | 4.445 |
1261 | 91 | 283 | 4.456 |
1278 | 91 | 283 | 4.516 |
720 | 92 | 263 | 2.738 |
1296 | 92 | 287 | 4.516 |
1359 | 92 | 289 | 4.702 |
810 | 93 | 271 | 2.989 |
820 | 93 | 271 | 3.026 |
1396 | 93 | 293 | 4.765 |
1285 | 94 | 293 | 4.386 |
1287 | 94 | 293 | 4.392 |
1303 | 94 | 293 | 4.447 |
1327 | 94 | 294 | 4.514 |
1332 | 94 | 294 | 4.531 |
1339 | 94 | 294 | 4.554 |
1341 | 94 | 294 | 4.561 |
1444 | 94 | 297 | 4.862 |
820 | 95 | 277 | 2.960 |
1323 | 95 | 297 | 4.455 |
1342 | 95 | 298 | 4.503 |
1351 | 95 | 298 | 4.534 |
1385 | 95 | 299 | 4.632 |
1387 | 96 | 302 | 4.593 |
1237 | 97 | 300 | 4.123 |
1322 | 97 | 303 | 4.363 |
1324 | 97 | 303 | 4.370 |
1361 | 97 | 304 | 4.477 |
1367 | 97 | 305 | 4.482 |
1397 | 97 | 306 | 4.565 |
1442 | 97 | 307 | 4.697 |
1359 | 98 | 308 | 4.412 |
1322 | 99 | 310 | 4.265 |
1403 | 99 | 312 | 4.497 |
1405 | 99 | 312 | 4.503 |
1441 | 99 | 313 | 4.604 |
1363 | 100 | 314 | 4.341 |
1378 | 100 | 314 | 4.389 |
1408 | 100 | 315 | 4.470 |
1414 | 100 | 316 | 4.475 |
1489 | 100 | 318 | 4.682 |
1<n<101の平均の最小は、
20^13=81920000000000000
Digit=17, Ave.=1.176
1<n<101の平均の最大は、
64^6=68719476736
digit=11, ave.=5.818
nを増やしていったとして、この平均のレンジの外にくるようなものが現れる確率は低くなっていく。
これはサイコロを振るのと似ている。
沢山振れば、サイコロの出目の平均は(1+6)/2=3.5に近似していく。
拡張デュードニー数は、m^nの桁数が多くなれば、各桁の平均値はより4.5付近に近似していくのだろう。
というわけで、1≦n≦100までの平均を、0.2ずつに分割して、個数を縦軸にグラフにしてみました。
フタコブになりましたが、nが増えることで、4.4≦Ave.<4.6の辺りが増えていることが見て取れます。
2.8≦Ave.<3.0の辺りの山は、mの末尾に0の解がその辺りになることによるもの。
さて、もう少しnを増やしていくと、n=105で解が見つかりませんでした。
予想通り、解がないnが見つかりました。
ではでは