リュカ数列

リュカ数列（リュカすうれつ）またはルーカス数列（ルーカスすうれつ）(Lucas sequence)とは、二次の整係数方程式 G(x) = x2 − Px + Q = 0 の二つの解

に対し、

と定義される数列である。また同じことであるが、

という関係式を満たす数列として定義される数列である。

リュカ数列は二階線形回帰数列の一種で、フィボナッチ数、リュカ数、ペル数, メルセンヌ数など数論に現れる重要な数列がこれに属する。

用語 

Un , Vn を( P , Q )に伴うリュカ数列という。Vn を同伴リュカ数列と呼ぶこともある。 α/β が1の冪根であるとき Un , Vn を退化(degenerate)、そうでないとき非退化(non-degenerate)という。

D を割り切らない素数 p が Un を割り切るが、 Um ( m < n )を割り切らないとき、 p を Un の原始約数( 'primitive divisor' )という。

例 
Un (1, -1)はフィボナッチ数, Vn (1, -1)は（通常の）リュカ数である。

Un (3, 2)=2 n-1, Vn (3, 2)=2 n+1で、それぞれメルセンヌ数, フェルマー数を含んでいる。

Un (2, -1), Vn (2, -1)はペル数となる。

性質 
次のような等式が成り立つ。

 ,
 ,
 ,
 ,
 ,
 ,
 ,
 ,
 ,
 ,
 ,
 .

また n が正のとき

とおく（μ はメビウス関数、ζn は1の原始 n 乗根、はオイラーの  関数、Φn は1の原始 n 乗根に関する円分多項式）と、 Fn も整数で

が成り立つ。特に Fn は Un の約数で、 p が素数のとき Fp = Up となる。

また、 リュカ数列の整除性について、次のような性質が成り立つ。

 ならば、,
 n が m の奇数倍ならば、,
 N が 2 Q と互いに素な整数とする。となる最小の r が存在するとき、となる n  全体は r の倍数全体と一致する。

 P, Q が偶数ならば、 Un, Vn は U 1を除いていつも偶数である。
 P が偶数で、 Qが奇数ならば、 Un の偶奇 は n の偶奇と一致し、 Vn はいつも偶数である。
 P が奇数で、 Qが偶数ならば、 Un , Vn はいつも奇数である。
 P, Q が奇数ならば、 Un , Vn は n が3の倍数であるとき偶数で、そうでないとき奇数である。

 p が奇素数ならば、は平方剰余の記号である。
 p が奇素数で、 P , Q を割り切るならば、p は U 1を除く全ての Un を割り切る。
 p が奇素数で、 P を割り切り Q を割り切らないならば、p が Un を割り切るのは n が偶数であることと同値である。
 p が奇素数で、 P を割り切らず Q を割り切るならば、p は決して Un を割り切らない。
 p が奇素数で、 PQ を割り切らず、 Dを割り切るならば、p が Un を割り切るのは n が p の倍数であることと同値である。
 p を PQD を割り切らない奇素数とし  とおくと、 p は Ul を割り切る。

最後の定理はフェルマーの小定理の一般化である。これと原始約数の定義から、次のことがわかる。

 p を PQD を割り切らない奇素数とする、  とおく。 p が Un の原始約数ならば n は l を割り切る。特に、 が成り立つ。

フェルマーの小定理の逆が成り立たないように、上の定理の逆も成り立たない。つまり D と互いに素な合成数 n が Ul （）を割り切る場合が存在する。そのような n は リュカ擬素数 (Lucas pseudoprime) という。
非退化の数列に対応するリュカ擬素数は無数に存在する。さらに正確に、任意の与えられた非退化の数列と正整数 k, s に対し、 s 個の素因数をもち、それらがすべて等差数列 kx +1 に属するリュカ擬素数が無数に存在する。

P と Q が互いに素ならば、次の性質も成り立つ。

 Un と Q は互いに素、また Vn と Q も互いに素である。
 Un と Vn は互いに素であるか、最大公約数は2である。
 
  とする。  が共に奇数ならば 

リュカ数列の値は少数の例外を除いて原始約数を持つことが知られている。D を割り切らない素数 p が Fn の原始約数であるための必要十分条件は p が n を割り切らないことである。

P, Q が互いに素かつ Un が非退化とする。 D > 0のとき、 n ≠ 1, 2, 6ならば Un は を除いて原始約数を持つことは既にカーマイケルにより示されている。 D < 0のときは難しい問題であったが  n > 30ならば、 Un は原始約数を持つ。また、 n ≤ 30で、 Un が原始約数を持たないものは先に全て知られている。 が原始約数を持たないもの（ P が正の場合のみ挙げる。 P が負の場合は (-1)n 倍する）は次の通り。

参考文献 

数論
整数の類
エドゥアール・リュカ
数学に関する記事
数学のエポニム