■MOD算術(その24)

 (その23)はフェルマーの小定理の逆は成立しないことを示している.

 実は8911=7・19・67はカーマイケル数で,底を2〜xaに取り替えても一切反応しないのである.

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

 a^6=1 (mod7)

 a^18=1 (mod19)

 a^66=1 (mod67)

より,

 a^8910=(a^6)^1485=1 (mod7)

 a^8910=(a^18)^495=1 (mod19)

 a^8910=(a^66)^135=1 (mod67)

 つまり

  a^8910=1 (mod8911)

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

 カーマイケル数の最初の7個は

  591,1105,1729,2465,2821,6601,8911

 ラマヌジャンの数1729=7・13・19は面白いが意外と厄介な数のようです.数学者ハーディがラマヌジャンに会いに行ったとき,タクシーナンバーが1729という何の変哲もない数であったと彼に伝えたところ,ラマヌジャンはそれは2つの3乗数で2通りに表せる最小の数だと答えたというエピソードは大変有名である.

  1729=12^3+1^3=10^3+9^3

 カーマイケル数が無限にあるのか否かは長く不明であったが,十分大なるxについて>x^2/7であると解決されている.

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