■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であると解決されている.
===================================