应该还有比因式分解更好的方法

题目

证明：对$\forall a\in \mathbb{Z}$,都有$a^{25}\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}30)$.

我的想法

没想到啥特别好的方法.首先将问题转化一下,$a^{25}\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}30)\iff 30\mid (a^{25}-a)\iff 30\mid a(a^{24}-1)$.

为啥这样写呢,因为我把我能想到的性质罗列了一下,对于这么高次幂的未知数的同余性质我真的没有什么好方法,而且30是一个质因子比较多的数,所以我想把含$a$的部分放在一起然后因式分解.

我们对30进行质因子分解有:$30=1\times 2\times 3\times 5$.所以我们只要证明除1外(1是平凡的)的3个因子整除$a(a^{24-1})$即可.

下面对$a(a^{24}-1)$因式分解.首先不断利用平方差公式,再不断利用立方和/差公式可得:
$$\begin{array}{rl}a(a^{24}-1)& =a(a^{12}+1)(a^{12}-1)\\ & =a(a^{12}+1)(a^6+1)(a^6-1)\\ & =a(a^{12}+1)(a^6+1)(a^3+1)(a^3-1)\\ & =a(a^{12}+1)(a^6+1)(a+1)(a^2-a+1)(a-1)(a^2+a+1)\\ & =a(a^{12}+1)(a^2+1)(a^4-a^2+1)(a+1)\\ & (a^2-a+1)(a-1)(a^2+a+1)\\ & =a(a-1)(a+1)(a^2+1)\\ & (a^{12}+1)(a^4-a^2+1)(a^2-a+1)(a^2+a+1)\end{array}$$
由于$(a-1),a$是连续的两个整数,所以$2\mid a(a-1)$.

由于$(a-1),a,(a+1)$是连续的三个整数,所以$3\mid a(a-1)(a+1)$.

现在我们对$a(a-1)(a+1)$进行观察.通过观察发现,当且仅当$a\equiv 2(\mathrm{m}\mathrm{o}\mathrm{d}5)$或$a\equiv 3(\mathrm{m}\mathrm{o}\mathrm{d}5)$时$5\nmid a(a-1)(a+1)$,否则三个连续的正数中必有一个是5的倍数.如果我们能证到$a\equiv 2(\mathrm{m}\mathrm{o}\mathrm{d}5)$和$a\equiv 3(\mathrm{m}\mathrm{o}\mathrm{d}5)$时$5\mid a(a^{24-1})$,那么我们就完成了证明.

显然,若$a\equiv 2(\mathrm{m}\mathrm{o}\mathrm{d}5)$,则有$a^2+1\mid 5$;若$a\equiv 3(\mathrm{m}\mathrm{o}\mathrm{d}5)$,同样有$a^2+1\mid 5$.而我们发现$a^2+1$确实是$a(a^{24}-1)$的因子,所以此时有$5\mid a(a^{24}-1)$.

综上,$30\mid a(a^{24}-1)$.证毕.

有趣的是,$a^{25}\equiv a^5\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}30)$,不断换元可以得到$a^{5^k}\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}30)$.