整数の性質★★★高校 ・ 数I・An^3-nとn^5-nの倍数性の証明by 匿名ユーザー問題自然数nnnに対して、n3−nn^3-nn3−nは666の倍数であることを示せ。また、n5−nn^5-nn5−nは303030の倍数であることを示せ。解答証明は解説の通り(いずれも成り立つ)解説n3−n=n(n−1)(n+1)n^3-n=n(n-1)(n+1)n3−n=n(n−1)(n+1)は連続する3整数の積なので、この中に2の倍数と3の倍数が必ず含まれ、666の倍数である。次にn5−nn^5-nn5−nについて、フェルマーの小定理より素数pppに対しnp≡n(modp)n^p\equiv n\pmod pnp≡n(modp)が成り立つ。p=5p=5p=5のときn5≡n(mod5)n^5\equiv n\pmod5n5≡n(mod5)。p=3p=3p=3のときn3≡n(mod3)n^3\equiv n\pmod3n3≡n(mod3)よりn5=n3⋅n2≡n⋅n2=n3≡n(mod3)n^5=n^3\cdot n^2\equiv n\cdot n^2=n^3\equiv n\pmod3n5=n3⋅n2≡n⋅n2=n3≡n(mod3)。p=2p=2p=2のとき明らかにn5n^5n5とnnnの偶奇は一致するのでn5≡n(mod2)n^5\equiv n\pmod2n5≡n(mod2)。よってn5−nn^5-nn5−nは2,3,52,3,52,3,5のいずれでも割り切れ、これらは互いに素だから2×3×5=302\times3\times5=302×3×5=30の倍数である。自己採点解けた解けなかったマイリストに保存する印刷する類題を作るこの問題を報告する(著作権侵害など)