04/12/26 23:42:53
命題
P,Qを以下のような整数とする。
(P,Q)=1かつ数列U_nはU_0=0、U_1=1、U_(n+2)=PU_(n+1)-QU_nを取ると
n→∞ならば|U_n|→∞となる。
このときM≡1 (mod K)となるパラメーター(P,Q)の強Lucas擬素数が無数に存在すること。
(強Lucas擬素数の定義はRibenboimの「素数の世界」のP91～P92を参照ください。)
証明ではRibenboimの「素数の世界」のP40～P49のIV1～IV30とヤコビの記号の基本性質
LとNを正の奇数とすると
(-1/L)=(-1)^{(L-1)/2}、(2/L)=(-1)^{(L^2-1)/8}、(N/L)=(L/N)(-1)^({(N-1)/2}{(L-1)/2})
となることを既知とする。