性质1
任一自然数与其各位数字之和,均以3或9为模同余。
性质2
若两个自然数互为同字异构数,则它们以3或9为模同余。
性质3
若两个自然数互为同字异构数,则它们之差能被9整除。
定理
自归数都是3的倍数。
证明:
根据自归数的定义,
设A0、A1、A2、…、An互为同字异构数,且A0=A1+A2+…+An,n∈[2,9]
由性质3,有A0-A1≡0 (mod 9)
当n=2时,A2=A0-A1≡0 (mod 9)
由性质2,得A0≡A1≡A2≡0 (mod 9)
当n=3时,A2+A3=A0-A1≡0 (mod 9)
显然,(2,9)=1,欲使两个以9为模同余的数之和A2+A3能被9整除,必
A2≡A3≡0 (mod 9)
由性质2,得A0≡A1≡A2≡A3≡0 (mod 9)
同理,当n=5、6、8、9时, A0≡0 (mod 9)
当n=4时,A2+A3+A4=A0-A1≡0 (mod 9)
显然,(3,9)=3,欲使三个以9为模同余的数之和A2+A3+A4能被9整除,必
A2≡A3≡A4≡0 (mod 3)
由性质2,得A0≡A1≡A2≡A3≡A4≡0 (mod 3)
同理,当n=7时, A0≡0 (mod 3)
故,
当自归数的级为2、3、5、6、8、9时,这个自归数能被9整除,当自归数的级为4、7时,这个自归数能被3整除。
证完。