pを素数とし、
m乗するとxになる数を(m)√(x)という表記で書くことにし、
kを(p-1)と互いに素な整数の定数とします。
g(0)=0
g(1)=1
(k)√(g(n)^k+g(n+1)^k)=g(n+2)
で定義される数列g(n)と、
フィボナッチ数列のmod pでのループの長さが一致すると予想しました。
af(n)+bf(n+1)=f(n+2)という一般フィボナッチ数列と、
(k)√(a×h(n)^k+b×h(n+1)^k)=h(n+2)で定義される数列h(n)のmod pでのループの長さが一致するだろうとも思っています。
以上です!お読みいただきありがとうございました!