17/12/07 19:12:16.22 ovzK8Zz5.net
さて、数列{An}のある項 A_{k} と次の項 A_{k+1}の桁数について考えます。
(簡単のため、A_{k}は平方要素を持たないものとします。)
A_{k}の桁数は、A_{k}を構成する素数の素数番号の桁数の総和に、総損失数を加え、桁落ち数を減じたものになります。
A_{k+1}の桁数は、A_{k}を構成する素数の素数番号の桁数の総和です。つまり、
A_{k}の素因数分解表現の桁落ち数>A_{k}を構成する素数の総損失数の時、A_{k+1}の桁数>A_{k}の桁数・・・・(甲)
A_{k}の素因数分解表現の桁落ち数=A_{k}を構成する素数の総損失数の時、A_{k+1}の桁数=A_{k}の桁数・・・・(乙)
A_{k}の素因数分解表現の桁落ち数<A_{k}を構成する素数の総損失数の時、A_{k+1}の桁数<A_{k}の桁数・・・・(丙)
が成立します。
A_{k}が899だった場合、899=29×31なので、二桁×二桁=三桁となっているので桁落ち数1、
一方29、31は、10番目、11番目の素数なので、ともに損失数0。従って、(甲)タイプで、これは希少。例外的な存在です。
A_{k}が29×(損失数1の素数、ただし、先頭の数が1か2、および3から始まるものの一部) という
形だった場合、桁落ち数1で、総損失数は、0+1=1で、(乙)タイプです。
損失数1の素数とは、30桁くらいまでの素数のほとんどが当てはまり、きわめて多くの例が(乙)タイプに属しております。
(乙)タイプの項移行が連続するものの中には、ループを構成しているものがあるかもしれません。
ループを構成している場合は、項数は有限ではありません。このようなものの存在を否定するためには、~10^30の何乗かの
候補のチェックを行う必要があり、コンピュータでも困難だと思われます。