趣味数学143：“大师的发明”节选.docVIP

《数论妙趣—数学女王的盛情款待》 　大师的发明（节选） 先来做一个数学游戏： 让对方想一个小于1000的正整数，相继用7,11,13去除它，把3个余数告诉你，你很快就能说出他想的数是什么。 做到这一点其实并不难。你只需把3个余数分别乘以“魔数”715,364,924，再把所得的积相加，从中尽量减去1001的整数倍，得到的差就是他所想的数。 例如，对方告诉你的余数是5,6,3。 751×5＋364×6＋924×3＝8531，8531－8×1001＝523，就是他所想的数。 在作出解释之前，有必要学点“同余”知识，它是数学大师号称“数学王子”的高斯发明的。 在数论里，我们时常要测试一个数n能否被另一个数m整除。此时，商数并不重要，感兴趣的仅仅是余数以及使之为0（即整除）的条件。高斯为此发明了一种非常紧凑而高度有效的记号，不考虑无关因素，使我们得到了有关整数与可除性的全新且熠熠发光的概念——同余。 例如，用13除31，通常写作31÷13＝2……5，而用同余的概念，可以记作31≡5 mod 13。读作“31与5同余，模13”。 同余式与方程有许多相似的性质。 以31≡5 mod 13为例： 两边同时加上3，得34≡8 mod 13。（即，34除以13，余8。） 两边同时减去5，得26≡0 mod 13。（即，26能被13整除。） 两边同时乘以4，得124≡20 mod 13，由于20≡7 mod 13，所以可以记作124≡7 mod 13。（即，124除以13，余7。） 两边同时各自平方，得312≡52 mod 13。因为52≡12 mod 13，所以可以记作312≡52≡12 mod 13。由于12在除以13时少1，所以又可以记作312≡52≡－1 mod 13。两边同时加上1，得312＋1≡0 mod 13。（即，312＋1能被13整除。事实上，312＋1＝962,962÷13＝74，962能被13整除。） 与方程不同，仅当一个数与模互质时，才能用它去除同余式的两边。所以，即便有40≡10 mod 15，两边也不能同时除以10，得4≡1 mod 15，因为除数10不与模15互质。而两边同时除以2，得20≡5 mod 15，则是可以的，因为2与模15互质。如果一定要用10去除同余式的两边，那就同时要用10与模15的公因子5去除模15，得4≡1 mod 3。 同余式在处理乘幂时非常有用。例如： 证明97104－1恰能被105整除。 由97≡1 mod 3，得97104≡1104≡1 mod 3，即 　　　　　　　　　　97104≡1 mod 3。　　(1) 由97≡2 mod 5，得972≡22≡4≡－1 mod 5，进而得974≡(－1)2≡1 mod 5,于是，(974)26≡97104≡126≡1 mod 5，即 　　　　　　　　　　97104≡1 mod 5。 (2) 由97≡－1 mod 7，得97104≡(－1)104≡1 mod 7，即 　　　　　　　　　　97104≡1 mod 7。 (3) 把上面三式结合起来，由于3,5,7没有公因子，得 　　　　　　　　　　97104≡1 mod 3·5·7＝105， 　　　　　　　　　　97104－1≡0 mod 105， 即97104－1恰能被105整除。 现在来看前面戏法中的魔数715,364,924。 设x是选定的未知数，a，b，c是x除以7,11,13的余数。于是有： 　　　　x≡a mod 7，　715x≡715a mod 7。 　　　　x≡b mod 11， 364x≡364b mod 11。 　　　　x≡c mod 13， 924x≡924a mod 13。 移项，得 　　　　　　　　715(x－a)≡0 mod 7。　　　　(1) 　　　　　　　　364(x－b)≡0 mod 11。 (2) 　　　　　　　　924(x－c)≡0 mod 13。 (3) 因为 (1)式中的715能被11,13整除，从而(1)式能被7,11,13整除，即能被7×11×13＝1001整除； (2)式中的364能被7,13整除，从而(2)式能被7,11,13整除，即能被7×11×13＝1001整除； (3)式中的924能被7,11整除，从而(3)式能被7,11,13整除，即能被7×11×13＝1001整除。 对新模1001而言，上面3式相加，得 　　　　2003x－(715a＋364b＋924c)≡0 mod 1001 移项，得 　　　　2003x≡(715a＋364b＋924c)≡0 mod 1001 从2003x中减去1001的倍数2002x，得 　　　　　　x≡(715a＋364b＋924c)≡0 mod 1001 这样就得到用三个魔数和三个余数