ACM训练日记—1月19日

     今天是训练的第一天，我主要还是以啃书为主，补题为辅。好像还有点找不到节奏，还没弄请现阶段的这几天是应该抓紧看完那两本书，还是多看博客看习题。不过看书，刷书上的习题还是有不少收获，集中整理一下今天看的知识点。

        以下题目与定理来自《初等数学》（潘承洞）

1，若a|b，且c|d，则ac|bd;

2，若a|b1...a|bk，则对任意整数x1,x2,,,xk有 a|b1x1+b2x2+...bkxk。

3，若x^2+ax+b=0有整数根x0!=0，则x0|b。一般的，若x^n+a(n-1)x^(n-1)+...a0=0有整数根x0(!=)0，则x0|a0。其实这条定理高代学过，就是若上面的一般式有解，那么必定是a0的因子。

4，设n(!=)0，证明((n-1)^2)|(n^k-1)的充分必要条件是(n-1)|k。解法：n^k-1=(n-1+1)^k-1=A(n-1)^2+k(n-1)

5，设n>=1,2^n+1是素数的必要条件是n=2^k。证法有意思，结论后面有用。

6，2^n-1是素数的必要条件是n为素数。用上面的可证明。

7，若a是合数，则必有不可约数p|a，p<=a^(1/2)；

8，若a=p1p2...ps，则必有不可约数p|a，p<=a(1/s);

9，(i)若ai|aj，j=2...k，则(a1,a2)=(a1,a2,...,ak)=(a1)=|a1|;

     (ii)对任意的整数x,(a1,a2)=(a1,a2+a1x)，(a1,a2,...ak)=(a1,a2+a1x,a3,,,ak)

10，设正整数m|(a1,,,,ak)，有m(a1/m,,,ak/m)=(a1,...ak)。            设m>0，有[ma1,ma2,...mak]=m[a1,,,,ak]。

11，欧拉函数的性质。

12，设m>n是正整数，那么(2^n-1)|(2^m-1)充分要条件是n|m。比较重要，看证明用到了

13，设m,n是正整数，证明(2^m-1,2^n-1)=2^(mn)-1。这个公式的证明很重要，设m>=n,m=qn+r，那么2^m-1=2^(qn+r)-2^r+2^r-1=2^r(2^qn-1)+2^r-1。由于根据上面12定理知(2^n-1)|(2^1n-1)所以转化为(2^r-1,2^n-1)，继续辗转相除求出。

14，设p是奇素数，q是2^p-1的素因数，证q=2kp+1。。。。。这个忘记怎么证了，明天再看下。

还没整理完，明天继续整理。