| For All Solvers
OMC194

OMC194(F) - がんばって計算する方法

ユーザー解説 by Tempurabc

 P=2752752752753P=2752752752753 とする.11011011011011=4P111011011011011=4P-1 である.
 NN の正の約数 dd であって,f(d)f(d)44 で割った余りが 11 または 22 となるものの総和を g(N)g(N) で表す(S=g(10014P1)S=g(1001^{4P-1}) である).このとき,S=g(10014P1)g(10013)modPS=g(1001^{4P-1}) \equiv g(1001^3) \mod P であることを示す.
f(7(4k+a) 11(4l+b) 13(4m+c))f(7a 11b 13c)mod4f(7^{(4k+a)} \ 11^{(4l+b)} \ 13^{(4m+c)}) \equiv f(7^a \ 11^b \ 13^c) \mod 4 であることに注目すると,次のように計算できる. S=g(10013)(1+74++74(P1))(1+114++114(P1))(1+134++134(P1))=g(10013)74P1741114P11141134P11341g(10013)\begin{aligned} S & = g(1001^3)(1+7^4+ \cdots + 7^{4(P-1)}) (1+11^4+ \cdots + 11^{4(P-1)}) (1+13^4+ \cdots + 13^{4(P-1)}) \\ & = g(1001^3) \dfrac{7^{4P}-1}{7^4-1}\cdot \dfrac{11^{4P}-1}{11^4-1}\cdot \dfrac{13^{4P}-1}{13^4-1} \\ & \equiv g(1001^3) \end{aligned} 最後の合同式では,Fermat の小定理を用いた.
 よって以下,g(10013)g(1001^3) の値を求めることが目標となる.(なお,100131001^3 の約数の総和は,高々 10013×76×1110×1312<2×10013<1010<P1001^3×\frac{7}{6}×\frac{11}{10}×\frac{13}{12} \lt 2×1001^3 \lt 10^{10} \lt P より,g(10013)g(1001^3) が求めるべき解である.)
 100131001^3 の正の約数は 6464 個なので,あとは,6464 個以下の整数の和を求めればよいことになる.多少の時間があれば計算可能である.

 ここでは,f(d)f(d) の値によって分けて考える.
(i) f(d)=1f(d)=1 のとき:7+11+13=317+11+13=31
(ii) f(d)=2f(d)=2 のとき:72+112+132+711+1113+137=6507^2+11^2+13^2+7 \cdot 11+11 \cdot 13 +13 \cdot 7=650
(iii) f(d)=5f(d)=5 のとき:次のいずれかの式から考えるのがよい.
71113(72+112+132+711+1113+137)+72 112(7+11)+112 132(11+13)+132 72(13+7)=14137687 \cdot 11 \cdot 13(7^2+11^2+13^2+7 \cdot 11+11 \cdot 13 +13 \cdot 7)+7^2 \ 11^2 (7+11)+11^2 \ 13^2 (11+13)+13^2 \ 7^2 (13+7)=1413768
(72 112+112 132+132 72)(7+11+13)+71113(72+112+132)=1413768(7^2 \ 11^2+11^2 \ 13^2+13^2 \ 7^2)(7+11+13)+7 \cdot 11 \cdot 13 (7^2+11^2+13^2)=1413768
(iv) f(d)=6f(d)=6 のとき:次のいずれかの式から考えるのがよい.
73 113+113 133+133 73+71113(72 11+72 13+112 13+112 7+132 7+132 11)+72 112 132=117809507^3 \ 11^3 +11^3 \ 13^3 + 13^3 \ 7^3 + 7 \cdot 11 \cdot 13 (7^2 \ 11+7^2 \ 13 +11^2 \ 13 + 11^2 \ 7+ 13^2 \ 7+13^2 \ 11)+7^2 \ 11^2 \ 13^2=11780950
(72 112+112 132+132 72)(711+1113+137)+72 112 132=11780950(7^2 \ 11^2+11^2 \ 13^2+13^2 \ 7^2)( 7 \cdot 11+11 \cdot 13 +13 \cdot 7)+7^2 \ 11^2 \ 13^2=11780950
(v) f(d)=9f(d)=9 のとき:73 113 133=10030030017^3 \ 11^3 \ 13^3=1003003001
よって,以上の和を計算して,1016198400\mathbf{1016198400} が解答である.