培玉 · 一试

专题地图 › 数论

2010 年河北预赛 · 第 15 题

F3解答题数论

设 ,,。

证明:(1)对所有的 ,;(2)当 时,( 互质)。

作答

这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。

解析

为什么评为 F3(会透露解法方向)

需区分固定模四的归纳与以任意早项为模数的状态归纳,后者才能由相邻递推推出全部两两互素。

用到的方法(会透露解法方向)

核心工具:操作中的不变量、剩余类、幂周期与局部排除

专题卡:选模、剩余类与局部排除、递推状态与不变量