设 ,,。
证明:(1)对所有的 ,;(2)当 时,( 互质)。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
第一问记录模四的不变余类;第二问固定较早的一项作模,后续项落入负一这一稳定余类。
(一)。若 ,则 ,归纳得 。 (二)不妨 。递推给 ,而负一代入 后仍为负一。因此归纳得所有 都有 。于是任一公因子同时整除 与负一,只能为一,即 。
所有项为正且至少三,模数始终合法;第二问固定的是任意早项而非仅相邻项,所以证明覆盖所有不同下标。只证明相邻互素不足以替代此论证。
递推的两两互素常可固定任一早项为模数,证明后续统一进入可控稳定状态,避免逐对处理。
需区分固定模四的归纳与以任意早项为模数的状态归纳,后者才能由相邻递推推出全部两两互素。
已记下,谢谢!