初等数论中的几个重要定理(竞赛必备)

初等数论中的几个重要定理(竞赛必备)

初等数论中的几个重要定理

基础知识

定义（欧拉(Euler)函数）一组数称为是模的既约剩余系，如果对任意的，

且对于任意的，若＝1，则有且仅

有一个是对模的剩余，即。并定义

中和互质的数的个数，称为欧

拉（Euler）函数。

这是数论中的非常重要的一个函数，显然，

而对于，就是1,2，…，中与互素的

数的个数，比如说是素数，则有。

引理：；可用容斥定理来证（证明略）。

定理1：（欧拉（Euler）定理）设＝1，

则。

分析与解答：要证，我们得设法找出个相乘，由个数我们想到中与

互质的的个数：，由于＝1，从而

也是与互质的个数，且两两余数

不一样，故

（），而（）＝1，故。

证明：取模的一个既约剩余系

，考虑，由于与互质，

故仍与互质，且有　，于

是对每个都能找到唯一的一个，使

得，这种对应关系是一一的，从而

，。

，，故。证毕。

这是数论证明题中常用的一种方法，使用一组剩余系，然后乘一个数组组成另外一组剩余系来解决问题。

定理2：（费尔马（Fermat）小定理）对于质数及任意整数有。

设为质数，若是的倍数，则。

若不是的倍数，则由引理及欧拉定理得

，，由此即得。

定理推论：设为质数，是与互质的任

一整数，则。

定理3：（威尔逊（Wilson）定理）设为质数，则。

分析与解答：受欧拉定理的影响，我们也找个数，然后来对应乘法。

证明：对于，在中，必然有

一个数除以余1，这是因为则好是的

一个剩余系去0。

从而对，使得

；

若，，则，

，故对于，有　。

即对于不同的对应于不同的，即中数可

两两配对，其积除以余1，然后有，使

，即与它自己配对，这时，

，或，或。

除外，别的数可两两配对，积除以

余1。故。

定义：设为整系数多项式（），我们把

含有的一组同余式（）称为同

余方组程。特别地，，当均为的一次整系数多项式时，该同余方程组称为一次同余方程组.若整数同时满足：

，则剩余类（其中

）称为同余方程组的一个解，写作

定理4：（中国剩余定理）设是两两

互素的正整数，那么对于任意整数，一次

同余方程组，必有解，且解可以写为：

这里，，以及满足

，（即为对模的逆）。

中国定理的作用在于它能断言所说的同余式组当模两两互素时一定有解，而对于解的形式并不重要。

定理5：（拉格郎日定理）设是质数，是非负整数，多项式是一个模为

次的整系数多项式（即），则同余方程

至多有个解（在模有意义的情况

下）。

定理6：若为对模的阶，为某一正整数，满足，则必为的倍数。

以上介绍的只是一些系统的知识、方法，经常在解决数论问题中起着突破难点的作用。另外还有一些小的技巧则是在解决、思考问题中起着排除情况、辅助分析等作用，有时也会起到意想不到

的作用，如：，。这里我们只介绍几个较为直接的应用这些定理的

例子。

典例分析

例1.设，求证：。

证明：因为，故由知，从而

，但是，故由欧拉定理得：

，，从而；同理，

。

于是，，即。

注明：现考虑整数的幂所成的数列：

若有正整数使，则有，其中

；

因而关于，数列的项依次同余于

这个数列相继的项成一段，各

段是完全相同的，因而是周期数列。如下例：

例2．试求不大于100，且使成立的自

然数的和。

解：通过逐次计算，可求出关于的最小非负剩余（即为被11除所得的余数）为：

因而通项为的数列的项的最小非负剩余构成周期为5的周期数列：

3，9，5，4，1，3，9，5，4，1，………

类似地，经过计算可得的数列的项的最小非负剩余构成周期为10的周期数列：

7，5，2，3，10，4，6，9，8，1，………

于是由上两式可知通项为的数列的项的

最小非负剩余，构成周期为10（即上两式周期的最小公倍数）的周期数列：

3，7，0，0，4，0，8，7，5，6，………

这就表明，当时，当且仅当时，

，即；

又由于数列的周期性，故当时，满足要求的只有三个，即

从而当时，满足要求的的和为：

.下面我们着重对Fetmat小定理及其应用来举例：

例3．求证：对于任意整数，是一个

整数。

证明：令，则只需证

是15的倍数即可。

由3，5是素数及Fetmat小定理得，

，则

；

而（3，5）=1，故，即是15的倍数。所以是整数。

例4．求证：（为任意整数）。

证明：令，则；

所以含有因式

由Fetmat小定理，知13|7|

又13，7，5，3，2两两互素，所以2730=

能整除。

例5．设是直角三角形的三边长。如果是

整数，求证：可以被30整除。

证明：不妨设是直角三角形的斜边长，则。

若2 ，2 ，2 c，则，

又因为矛盾！

所以2|.

若3 ，3 ，3 c，因为

，则，又，矛

盾！从而3|.

若 5 ，5 ，5 c，因为

，，