■小さなカーマイケル数(その29)

最小のカーマイケル数は561=3・11・17であるが,以下,

  1105,1729,2465,2821,6601,8911,10585,・・・

と続く.カーマイケル数が無限にあるのか否かは長く不明であったが,1994年,アールフォルス,グランヴィル,ポメランスは十分大なるxについて>x^2/7であることを示し,無限に存在することが証明されている.

カーマイケル数が発覚したため,現在の素数判定には新しい手法が使われている.たとえば,AKS判定法では100%の正確さで素数を見分けられるとされている.

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

561=3・11・17

1105=5・13・17

1729=7・13・19

2465=5・17・29

2821=7・13・31

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

x^β

β=5/12(1-1/2√e)>0.290306>2/7

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