■数とあそぶ(その67)
保型数の末尾の桁は,1か5か6である.
(10n+1)^2=100n^2+020n+01
(10n+5)^2=100n^2+100n+25
(10n+6)^2=100n^2+120n+36
===================================
一般にx^2の下位n桁がxに等しいとき,保型数と呼ぶ.たとえば,
9376^2=87909376
であるから,9376は4桁の保型数である.
n桁の数xが保型数であるとき,
x^2=x (mod10^n)
x(x−1)=0 (mod10^n)
が成り立つ.
したがって,n桁の数xが保型数であるための必要十分条件は
x=0 (mod5^n)かつx=1 (mod2^n)
または
x=1 (mod5^n)かつx=0 (mod2^n)
である.
たとえば,9376の場合,5^4=625,2^4=16
9376=1 (mod625)
9376=0 (mod16)
===================================