MathLabs

第4题

如果一个正整数集合至少包含两个元素,且其中每个元素都与其他至少一个元素有公共素因数,就称这个集合是芳香的。设 P(n)=n2+n+1P(n)=n^2+n+1。求最小的正整数 bb,使得存在非负整数 aa,使集合 {P(a+1),P(a+2),…,P(a+b)}\{P(a+1),P(a+2),\dots,P(a+b)\} 是芳香的。
第 4/5 步:用中国剩余定理构造 b=6b=6
通俗地说

选取 aa,使 {a+1,…,a+6}\{a+1,\dots,a+6\} 中三对特定的数各自满足所需的余数,恰好实现一次间隔-22、一次间隔-33、一次间隔-44 的巧合,这一次足以用一种有效的配对覆盖全部六个顶点。

a+1≡7, a+5≡11 ⁣ ⁣(mod19);a+2≡2, a+4≡4 ⁣ ⁣(mod7);a+3≡1, a+6≡1 ⁣ ⁣(mod3)a{+}1\equiv7,\ a{+}5\equiv11\!\!\pmod{19};\quad a{+}2\equiv2,\ a{+}4\equiv4\!\!\pmod7;\quad a{+}3\equiv1,\ a{+}6\equiv1\!\!\pmod3
详细分析

由中国剩余定理,选取 aa(对两两互素的模 3,7,193,7,19 应用中国剩余定理,这样的a有无穷多个),使得同时满足 a+1≡7(mod19)a+1\equiv7\pmod{19} 且 a+5≡11(mod19)a+5\equiv11\pmod{19}(使 19∣gcd⁡(P(a+1),P(a+5))19\mid\gcd(P(a+1),P(a+5)),构成一个间隔-44 的对),a+2≡2(mod7)a+2\equiv2\pmod7 且 a+4≡4(mod7)a+4\equiv4\pmod7(使 7∣gcd⁡(P(a+2),P(a+4))7\mid\gcd(P(a+2),P(a+4)),构成一个间隔-22 的对),以及 a+3≡1(mod3)a+3\equiv1\pmod3 且 a+6≡1(mod3)a+6\equiv1\pmod3(使 3∣gcd⁡(P(a+3),P(a+6))3\mid\gcd(P(a+3),P(a+6)),构成一个间隔-33 的对)。