「114514」题解

Laffey 2022-10-23 14:11:46

前言

  搬运过来一天也没有人做,那我就来一发题解罢,免得这道题后世无人可做。

解析

  题意很简单,求 1 \sim n 中有多少个数满足 (i^{11} - i)(i^{451} - i^4) \equiv (i^{11} - i^4)(i^{11} - i) \pmod {451 \times 4}

  首先对后面的数分解质因数得到 451 \times 4 = 41 \times 11 \times 2^2 ,再对同余式进行移项化简得到 (i^{11} - i)(i^{441} - i)i^{10} \equiv 0 \pmod {451 \times 4}

费马小定理: a^p \equiv a \pmod {p}

  由费马小定理可知 i^{11} - i 11 的倍数,并且由于二者奇偶性相同,所以也是 2 的倍数。同理可得 i^{441} - i 也是 2 的倍数,所以只剩下 41 。我们再证 i^{441} - i 41 的倍数。

  还是费马小定理可以知道 i^{41} - i \equiv 0 \pmod {41} ,我们在方程两侧同时乘以 i^{40}, i^{80}, i^{120}, \cdots, i^{400} 得到十个新的方程,再加上原来的方程,将他们全部列出:

\begin{aligned} i^{41} - i &\equiv 0 \pmod {41} \\ i^{81} - i^{41} &\equiv 0 \pmod {41} \\ i^{121} - i^{81} &\equiv 0 \pmod {41} \\ i^{161} - i^{121} &\equiv 0 \pmod {41} \\ &\ldots\\ i^{441} - i^{401} &\equiv 0 \pmod {41} \\ \end{aligned}

  把他们全部加和就可以得到 i^{441} - i \equiv 0 \pmod {41} 。上述证明实际上可以扩展到一般命题,这里不再赘述。

  这样我们就证出对于任意的正整数 i ,该命题均成立,因此答案即为 n

共 2 条回复

long_hao

这波我只能取 % 了

Laffey

据出题人的题解,这道题原先样例是 4 ,改成 1 后通过率从 100\% (验题时)狂降到 \frac{1}{3} 。样例增加题目难度.jpg