2^m-7≧2からm≧4です。 m≡0(mod2)のとき2^m-7は3の倍数であり、 2^m-7=3にはなりませんので素数ではありません。 m≡1(mod4)のとき2^m-7は5の倍数であり、 2^m-7=5にはなりませんので素数ではありません。 m≡7(mod10)のとき2^m-7は11の倍数であり、 2^m-7=11にはなりませんので素数ではありません。 m≡11(mod12)のとき2^m-7は13の倍数であり、 2^m-7=13にはなりませんので素数ではありません。 残りはm=15,19,31,39,43,51,55,63,75,79,…です。 m=15のとき2^m-7=32761、2^32760≡26789(mod32761)なので フェルマーの小定理により32761は合成数です。 m=19のとき2^m-7=524281、2^524280≡155548(mod524281)なので フェルマーの小定理により524281は合成数です。 m=31のとき2^m-7=2147483641、2^2147483640≡929094690(mod2147483641)なので フェルマーの小定理により2147483641は合成数です。 よって2^m-7はm≦38では素数ではありません。
後半は手作業では大変ですが、出来ないことはありません。 例えばmod32761で2^32760を求めるには(以下すべてmod32761) 32760=2^3×(2^11+2^10+2^9+…+2^0) 2^15=32768≡7 2^30≡7^2=49 2^31≡98 2^62≡98^2=9604 2^63≡19208 2^126≡19208^2=368947264≡25643 2^127≡51286≡18525 2^254≡18525^2=343175625≡4150 2^255≡8300 2^510≡8300^2=68890000≡26378 2^511≡52756≡19995 2^1022≡19995^2=399800025≡17542 2^1023≡35084≡2323 2^2046≡2323^2=5396329≡23525 2^2047≡47050≡14289 2^4094≡14289^2=204175521≡8969 2^4095≡17938 2^8190≡17938^2=321771844≡26063 2^16380≡26063^2=679279969≡13395 2^32760≡13395^2=179426025≡26789 今の時代、この程度の計算も手計算ではやりたくないですが、 昔の人はこのくらいはやったでしょうね。
i121-114-87-135.s41.a010.ap.plala.or.jp (121.114.87.135)
Mozilla/5.0 (Windows NT 10.0; rv:85.0) Gecko/20100101 Firefox/85.0
|
|