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\}能分成两个不相交子集,且两边元素之积相等。
第 4/4 步:使用二次剩余
通俗地说

总积必须是平方,但其余数是非平方剩余。

P2equiv−1equiv6pmod7isimpossibleP^2\\equiv-1\\equiv6\\pmod7 is impossible
详细分析

若两边积为PP,总积为P2P^2。模77的平方只有0,1,2,40,1,2,4,不含6=−16=-1,矛盾。