■フィボナッチ数と表現(その24)

pが素数ならば

Lp=1 (mod p)

が成り立つ。しかし、この逆

Ln=1 (mod n)ならばnは素数であるは正しくない(フィボナッチ擬素数)。

たとえば、

 L2465=1 (mod 2465)

であるが、2465=5・17・29

===================================

A=[0,1]

[1,1]とすると,|A^n|=(-1)^n

[Ln ]=[0,1][L0]

[Ln+1] [1,1][L1]

[L2464]=A^2464[2]

[L2465] [1]

===================================

[L2464]=A^2464[2] (mod 2465)

[L2465] [1]

を評価したいのであるが、

2464=2^5+2^7+2^8+2^11

これらを掛け合わせると

A^72464=[117,783] (mod2465)

=[783,900]

したがって、

[L2464]=A^2464[2]=[1017]={1017} (mod 2465)

[L2465] [1] {2466] [ 1]

より、

 L2465=L1=1 (mod 2465)

 L2464=1017 (mod 2465)

===================================