MathLabs

第4题

求所有正整数nn,使得集合{n,n+1,n+2,n+3,n+4,n+5}\{n,n+1,n+2,n+3,n+4,n+5\}能分成两个不相交子集,且两边元素之积相等。
第 3/4 步:应用威尔逊定理
通俗地说

乘积的模77余数与nn无关。

∏j=05(n+j)equiv6!equiv−1pmod7\prod_{j=0}^{5}(n+j)\\equiv6!\\equiv-1\\pmod7
详细分析

由威尔逊定理6!≡−1(mod7)6!\equiv-1\pmod7,故六数之积模77同余于−1-1。