■オイラーの素数生成式(その27)
多項式ではないもの(漸化式)では・・・
===================================
【3】クロアトルの漸化式
an=an-1+LCM(n,an-1),a1=1
LCM:最小公倍数
早速簡単な検証に移るが,n=2のとき,a1=1より,
a2=1+LCM(2,1)=1+2=3
a3=3+LCM(3,3)=3+3=6
a4=6+LCM(4,6)=6+12=18
a5=18+LCM(5,18)=18+90=108
a6=108+LCM(6,108)=108+108=216
a7=216+LCM(7,216)=216+1512=1728
a8=1728+LCM(8,1728)=1728+1728=3456
a9=3456+LCM(9,3456)=3456+3456=6912 a10=6912+LCM(10,6912)=6912+34560=41472
a11=41472+LCM(11,41472)=41472+456192=497664
a12=497664+LCM(12,497664)=497664+497664=995328
a13=995328+LCM(13,995328)=995328+12939264=13934592
ここで,an/an-1−1=LCM(n,an-1)/an-1を計算してみると
a2/a1−1=2
a3/a2−1=1
a4/a3−1=2
a5/a4−1=5
a6/a5−1=1
a7/a6−1=7
a8/a7−1=1
a9/a8−1=1
a10/a9−1=5
a11/a10−1=11
a12/a11−1=1
a13/a12−1=13
===================================
an/an-1−1=LCM(n,an-1)/an-1は
[1]1または素数.
[2]p=3は生成されない(未証明).
[3]無限に多くの異なる素数を生成する.
===================================