| For All Solvers
NF杯2023

NF杯2023(G)

 FNF_N22 で割り切れる回数と 33 で割り切れる回数を求めればよい.結論から述べれば,一般に ord2(F6m)=ord2(m)+3,ord3(F4m)=ord3(m)+1{\rm ord}_2(F_{6m})={\rm ord}_2(m)+3, \quad {\rm ord}_3(F_{4m})={\rm ord}_3(m)+1 が成立する.このことを示す.まず,α=152, β=1+52\alpha=\dfrac{1-\sqrt{5}}{2},~\beta=\dfrac{1+\sqrt{5}}{2} とすると, Fn=βnαnβαF_n=\dfrac{\beta^n-\alpha^n}{\beta-\alpha} となる.ここで,Ln:=αn+βnL_n:=\alpha^n+\beta^n と定める.
 このとき,Lnmod4L_n\mod{4} および Fnmod4F_n\mod{4} は,以下によりともに周期 66 をもつ. n01234567Lnmod421303321Fnmod401123101\begin{array}{c|c|c|c|c|c|c|c|c|c} n & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & \cdots \\ \hline L_n \mod{4} & 2 & 1 & 3 & 0 & 3 & 3 & 2 & 1 & \cdots \\ \hline F_n \mod{4} & 0 & 1 & 1 & 2 & 3 & 1 & 0 & 1 & \cdots \\ \end{array}  xn=F6n/8x_n=F_{6n}/8 とおくと,x0=0, x1=1, xn+2=18xn+1xnx_0=0, ~ x_1=1, ~ x_{n+2}=18x_{n+1}-x_n であるから,mm が奇数のとき F6m/8F_{6m}/8 は奇数である.すなわち,F6mF_{6m}22 でちょうど 33 回だけ割れる.さらに,nn66 の倍数であるとき, F2nFn=Ln2(mod4)\dfrac{F_{2n}}{F_n}=L_n\equiv 2\pmod{4} であるため,F2n/FnF_{2n}/F_n22 でちょうど 11 回だけ割れる.以下,帰納的に議論することで, ord2(F6m)=ord2(m)+3{\rm ord}_2(F_{6m})={\rm ord}_2(m)+3 が従う.
 Lnmod9L_n\mod{9} および Fnmod9F_n\mod{9} は,以下によりともに周期 2424 をもつ. n01234567891011121314Lnmod9213472022461786Fnmod9011235843718088\begin{array}{c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c} n & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 \\ \hline L_n \mod{9} & 2 & 1 & 3 & 4 & 7 & 2 & 0 & 2 & 2 & 4 & 6 & 1 & 7 & 8 & 6 \\ \hline F_n \mod{9} & 0 & 1 & 1 & 2 & 3 & 5 & 8 & 4 & 3 & 7 & 1 & 8 & 0 & 8 & 8 \\ \end{array} n1516171819202122232425Lnmod952707753821Fnmod976415628101\begin{array}{c|c|c|c|c|c|c|c|c|c|c|c|c} n & 15 & 16 & 17 & 18 & 19 & 20 & 21 & 22 & 23 & 24 & 25 & \cdots \\ \hline L_n \mod{9} & 5 & 2 & 7 & 0 & 7 & 7 & 5 & 3 & 8 & 2 & 1 & \cdots \\ \hline F_n \mod{9} & 7 & 6 & 4 & 1 & 5 & 6 & 2 & 8 & 1 & 0 & 1 & \cdots \\ \end{array}  nn44 の倍数であって 33 の倍数でないとき,表により Fnmod9=3,6F_n \mod{9}=3,6 である.すなわち,FnF_n33 でちょうど 11 回だけ割り切れる.
 また,nn44 の倍数であるとき, F3nFn=α2n+αnβn+β2n=L2n+1\dfrac{F_{3n}}{F_n}=\alpha^{2n}+\alpha^n\beta^n+\beta^{2n}=L_{2n}+1 となる.ここで,2n2n88 の倍数であることに注意すると,表から L2n+12+13(mod9)L_{2n}+1\equiv 2+1\equiv 3\pmod{9} となるため,F3n/FnF_{3n}/F_n33 でちょうど 11 回だけ割り切れる.よって帰納的に ord3(F4m)=ord3(m)+1{\rm ord}_3(F_{4m})={\rm ord}_3(m)+1 が成り立つ.
 NN66 の倍数であり,かつ NN22 で割り切れる回数は 9797 回なので,FNF_N22 で割り切れる回数は 971+3=9997-1+3=99 回である.また,NN44 の倍数であり,NN33 で割り切れる回数は 4848 回なので,FNF_N33 で割り切れる回数は 48+1=4948+1=49 回である.99,49<N=100!99,49\lt N=100! に注意すると, gcd(FN,6N)=299349{\rm gcd}(F_N,6^N)=2^{99}\cdot 3^{49} なので,正の約数の個数は (99+1)×(49+1)=5000(99+1)\times (49+1)=\bm{5000} である.

解説YouTube

解説YouTubeが存在しません.