Fibonacci素数とF-完全数 - フィボナッチ・フリーク

完全数とは「自分自身以外の約数の総和が自分自身になる」ような正整数のことで、 $6,28,496,8128,\cdots$ と続きます。

これの仲間として「自分自身以外の約数の2乗和が自分自身の3倍になる」ような正整数を「F-完全数」と呼ぶことにしましょう。最初の3つのF-完全数は

$10\to 1^2+2^2+5^2=30=10\times 3\\65\to 1^2+5^2+13^2=195=65\times 3\\20737\to 1^2+89^2+233^2=62211=20737\times 3$

となります。

ところでこれらの数の約数を眺めていると不思議なことに気がつきます。そう、 $2,5,13,89,233$ は全てFibonacci数になっているのです。

種明かしをすると、実は次の定理が成り立つのです（Cai-Chen-Zhang,2015）。

定理. $n$ がF-完全数である必要十分条件は、共に素数である2つのFibonacci数 $F_{2m-1}, F_{2m+1}$ を用いて $n=F_{2m-1}F_{2m+1}$ と表されることである。

これを証明するためにLucas数について簡単な性質を確認しておきましょう。Lucas数とはFibonacci数の仲間で、 $L_1=1,L_2=3,L_{n+2}=L_{n+1}+L_n$ で定義されます。一般項を求めると次のようにまとめられます（証明略）。

補題. $\dfrac{L_n+F_n\sqrt5}{2}=\left(\dfrac{1+\sqrt5}{2}\right)^n.$

またFibonacci数との間には以下の関係があります。

補題. $L_n=F_{n+1}+F_{n-1}.$

これは帰納法により簡単に示すことができます。

それでは定理を示しましょう！

定理の証明. $n$ の約数が5個以上あったとし、小さい方から2つめ,3つめのものを $d_1, d_2$ とすると、相加相乗平均の不等式より

$1^2+d_1^2+(n/d_1)^2+d_2^2+(n/d_2)^2\geq1+2n+2n=1+4n$

となり不適。逆に約数が3個以下でも明らかに不適。ゆえに約数はちょうど4個なので、 $n=pq$ または $n=p^3$ （ $p,q$ は素数）と書ける。後者の場合約数の2乗和は $1+p^2+p^4\gt p\cdot p^3$ となるから $p\geq3$ では不適で、 $p=2$ でも成り立たない。よって $n=pq$ となる。