根据多项式定理拆解可得 SUM 5Ci a10^(5-i)k^i, C是组合，显然可见只有在5C5 a10^0k^5的时候才是个位数为5. 所以本质的证明是(a*10+k)^5 =k mod 10可以等价于证明 k^5=k mod 10. 如何证明呢？可以用中国剩余定理Z/2 x Z5 = Z/10，因为如果能证明k^5=kmod 5, k^5= k mod 2，那么显然k^5=k mod (2*5)是成立的. 显然, k^5=k mod 5 是费马小定理可证，而k^5=k mod 2可以直接用奇偶判断也可以成立，那么显然k^5=k mod 10成立。 证明2则简单的多，只需要用欧拉计数公式可得。欧拉计数公式： k^ phi(10) = 1 mod 10, 其中phi(10)是欧拉计数公式，那我们来解一下计数公式：在1到9中，只有1，3，7，9是和10互质的，那么显然phi(10)=4,所以 k^4= 1 mod 10, 根据模乘法， k^4 * k = 1* k mod 10 ---> k^5 = k mod 10，证明完毕。

高中生的证明方法： k^5 可以拆解成(a+b)^5, 则根据多项式拆解公式： SUM 5Ci a^(5-i)bi, 则显然在i不是0或5的时候，SUM总和会是10的倍数，因为显然5C2,5C3都是10不用讨论，而5C1,5C4时候是5，则讨论a^4b, ab^4，显然如果我们拆解a,b选择尽量保证一个单偶数则，必然依然会变成10的倍数，（双奇讨论同样）则显然，最后只会出现个位数是5C0 a+ 5c5 b ，显然等于a+b, 等于k,也就是说个位数依然是k,证明完毕。