问答题 设n>3是素数,证明:小于n的正整数中除1和n-1外可分成对,使得每一对中的两个数互为模n逆。
【正确答案】因为n是素数,每一个x(1≤x≤n-1)的模n逆x-1(1≤x-1≤n-1)存在.
   先证明对于1≤x,y≤n-1,若x≠y,则x-1≠y-1(mod n).假设不然,x-1≡y-1(mod n).两边同乘xy,得y≡x(mod n),矛盾.注意到,1-1=1,(n-1)-1=n-1,故当1<x<n-1时,1<x-1<n-1.  
   再证明当1<x<n-1时,x-1≠x(mod n).假设不然,x-1≡x(mod n).两边同乘x,得x2≡1(mod n).已知n是素数,必有x≡1(mod n)或x≡-1≡n=1(mod n),与1<x<n-1矛盾.
   根据上述2条,{2,3,…,n-2}可被划分成互不相交的对(x,x-1).
【答案解析】