■オイラーの素数生成式(その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]無限に多くの異なる素数を生成する.

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