フィボナッチ数列などの一般リュカ数列の整除性（2）リュカ数の二乗で割り切れるリュカ数

$$ U_n,U_{n-1}はいずれも同じ漸化式をみたすのでその一次結合である右辺も同じ漸化式を満たす。 $$
$$ また左辺のV_nも同じ漸化式を満たすので、n=1,2で両辺が一致することを確認すればよい。 $$

$$ PU_1-2QU_0=P\cdot1-2Q\cdot0=P=V_1　よりn=1で成り立つ。 $$
$$ PU_2-2QU_1=P\cdot P-2Q\cdot1=P^2-2Q $$
$$ V_2=PV_1-QV_1=P \cdot P-Q\cdot2=P^2-2Q　よりn=2で成り立つ $$
$$ 以上からV_n=PU_n-2QU_{n-1}がn\geq1で成り立つ $$

$$ 漸化式U_{m+1}-PU_m+QU_{m-1}=0の両辺にU_{m-1}をかけると $$
$$ U_{m+1}U_{m-1}-PU_mU_{m-1}+QU_{m-1}^2=0 $$
$$ -PU_{m-1}=-U_m+QU_{m-2}より $$
$$ U_{m+1}U_{m-1}+U_{m}(-U_m+QU_{m-2})+QU_{m-1}^2=0 $$
$$ U_{m+1}U_{m-1}-U_{m}^2-QU_mU_{m-2}+QU_{m-1}^2=0 $$
$$ U_{m}^2-U_{m+1}U_{m-1}=Q(U_{m}^2-U_mU_{m-2}) $$
$$ これよりU_{m}^2-U_{m+1}U_{m-1}が公比Qの等比数列とわかり $$
$$ U_{1}^2-U_{2}U_{0}=1よりU_{m}^2-U_{m+1}U_{m-1}=Q^{m-1} $$

$$ 補題2からU_m^2|U_{m(|U_m|)}を言えばよい。 $$
$$ 以下、kについての数列U_{mk}について考える。 $$$$ 定理1よりこの数列の各項はU_mの倍数であることが分かっているので $$$$ あらかじめU_{mk}の各項をU_mで除した数列U'_kを考える。 $$
$$ 補題2から以下の漸化式と初期値で表せる。 $$
$$ U'_{k+1}-V_mU'_k+Q^{m}U'_{k-1}=0　U'_0=0,U'_1=1 $$
$$ この数列がいつU_mで割れるかを知りたいので、法U_mでの剰余で考える $$
$$ V_mとQ^mの法U_mでの値については補題4,5から $$
$$ V_m=PU_m-2QU_{m-1}\equiv -2QU_{m-1} $$
$$ Q^m=Q^{2+m-2}=Q^2(U_{m-1}^2-U_{m-2}U_{m})\equiv Q^2U_{m-1}^2 $$
$$ よってU'_{k+1}-V_mU'_k+Q^{m}U'_{k-1}=0と併せて $$
$$ U'_{k+1}+2QU_{m-1}U'_k+Q^2U_{m-1}^2U'_{k-1} \equiv0 $$
$$ U'_{k+1}+QU_{m-1}U'_k\equiv -QU_{m-1}(U'_{k}+QU_{m-1}U'_{k-1})\equiv( -QU_{m-1})^{k}　(k\geq1) $$
$$ よりU'_{k}+QU_{m-1}U'_{k-1}\equiv( -QU_{m-1})^{k-1} 　(k\geq2) $$
$$ U'_{k}+QU_{m-1}U'_{k-1}\equiv( -QU_{m-1})^{k-1} 　$$
$$ -QU_{m-1}U'_{k-1}-(QU_{m-1})^2U'_{k-2 } \equiv ( -QU_{m-1})^{k-2}\cdot( -QU_{m-1}) $$
$$ (-QU_{m-1})^2U'_{k-2 }-(QU_{m-1})^3U'_{k-3} \equiv ( -QU_{m-1})^{k-3}\cdot( -QU_{m-1})^2 $$
$$ \cdots $$
$$ (-QU_{m-1})^{k-2}U'_{2}-(-QU_{m-1})^{k-1}U'_{1} \equiv ( -QU_{m-1})\cdot( -QU_{m-1})^{k-2} $$
の辺々をすべて足し上げると
$$ U'_{k}-(-QU_{m-1})^{k-1}U'_{1} \equiv (k-1)( -QU_{m-1})^{k-1} $$
$$ U'_{k} \equiv k( -QU_{m-1})^{k-1} $$
$$ これよりk=|U_m|とすれば $$
$$ U'_{|U_m|} \equiv |U_m|( -QU_{m-1})^{|U_m|-1} \equiv0 $$
$$ U_m|U'_{|U_m|} はつまりU_m^2|U_{m(|U_m|)}であるので定理3が示された。 $$