18/09/23 17:47:24.44 uIIfqULX.net
>>615
F[x] + F[y] = F[(x+y)/2]L[(x-y)/2]
により
F[y+2z] + F[y] ≡ 0 (mod L[z])
F[y+2z] ≡ (-1)F[y] (mod L[z])
これを繰り返し用いて
F[y+2iz] ≡ (-1)^i F[y] (mod L[z])。
18/09/23 17:47:24.44 uIIfqULX.net
>>615
F[x] + F[y] = F[(x+y)/2]L[(x-y)/2]
により
F[y+2z] + F[y] ≡ 0 (mod L[z])
F[y+2z] ≡ (-1)F[y] (mod L[z])
これを繰り返し用いて
F[y+2iz] ≡ (-1)^i F[y] (mod L[z])。