分からない問題はここに書いてね442

[0370 １３２人目の素数さん 2018/04/13(金) 17:25:51.54 ID:wrwxb2om]

p,qは互いに素な自然数とし、数列{a[n]}を
a[1]=1,a[2]=1
a[n+2]=p(a[n+1])+q(a[n])
で定める。
このときどのように素数pを選んでも、a[1],a[2],a[3]...の中に、必ずpで割り切れる項が存在することを証明せよ。