建议先看这篇QwQ。 三 巨 头: 费马小定理: 欧拉定理: 当与互质时, 扩展欧拉定理: 当时, 证明: 欧拉定理: 设的一个简约剩余系 引理1: , 证明: 反证法,假设此时, 这与矛盾。证毕。 则根据引理1,也是b的一个简约剩余系。