欧拉定理:a^[f(n)]=1(mod n),(3个横的打不出来,用=号代替)f(n)指小于n的数中与n互素(互质)的个数,在本题中a=2,n=p^2因为p是质数,所以小于p^2的数中与p^2不互质的数有p,2p,...p(p-1),共p-1个,而小于p^2个数有p^2-1个,...