初等数论重要定理

原创 2007年10月15日 17:33:00
 
初等数论中的几个重要定理
  基础知识
  定义(欧拉(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的周期数列:
3954139541,………
类似地,经过计算可得的数列的项的最小非负剩余构成周期为10的周期数列:
75231046981,………
于是由上两式可知通项为的数列的项的最小非负剩余,构成周期为10(即上两式周期的最小公倍数)的周期数列:
3700408756,………
这就表明,当时,当且仅当时,,即
又由于数列的周期性,故当时,满足要求的只有三个,即
从而当时,满足要求的的和为:
.
下面我们着重对Fetmat小定理及其应用来举例
3.求证:对于任意整数是一个整数。
证明:令,则只需证15的倍数即可。
3,5是素数及Fetmat小定理得,则
而(3,5=1,故,即15的倍数。所以是整数。
4.求证:为任意整数)。
证明:令,则
所以含有因式
Fetmat小定理,知13|7|
13,7532两两互素,所以2730=能整除
5.设是直角三角形的三边长。如果是整数,求证:可以被30整除。
证明:不妨设是直角三角形的斜边长,则
2  2  2  c,则,又因为矛盾!
所以2|.
3  3  3  c,因为,则,又,矛盾!从而3|.
5  5  5  c,因为
所以0(mod5)矛盾!
从而5|.
(2,3,5)=1,所以30|.
下面讲述中国剩余定理的应用
6.证明:对于任意给定的正整数,均有连续个正整数,其中每一个都有大于1的平方因子。
证明:由于素数有无穷多个,故我们可以取个互不相同的素数,而考虑同余组    
因为显然是两两互素的,故由中国剩余定理知,上述同余组有正整数解。于是,连续个数分别被平方数整除。
注:(1)本题的解法体现了中国剩余定理的一个基本功效,它常常能将“找连续个正整数具有某种性质”的问题转化为“找个两两互素的数具有某种性质”,而后者往往是比较容易解决的。
   2)本题若不直接使用素数,也中以采用下面的变异方法:由费尔马数两两互素,故将中的转化为后,相应的同余式也有解,同样可以导出证明。
7.证明:对于任意给定的正整数,均有连续个正整数,其中每一个都不是幂数。
分析:我们来证明,存在连续个正整数,其中每一个数都至少有一个素因子,在这个数的标准分解中仅出现一次,从而这个数不是幂数。
证明:取个互不相同的素数,考虑同余组
因为显然是两两互素的,故由中国剩余定理知,上述同余组有正整数解。
对于因为,故,但由式可知 ,即的标准分解中恰好出现一次,故都不是幂数。
8. 设是给定的偶数,是偶数。
证明:存在整数使得,且
证明:我们先证明,当为素数幂时结论成立。实际上,能够证明,存在使
 
,则条件表明为偶数,此时可取
,则中有一对满足要求。
一般情形下,设的一个标准分解,上面已经证明,对每个存在整数使得,而由中国剩余定理,
同余式      有解
同余式      有解
现不难验证解符合问题中的要求:因,故
于是,又由
注:此题的论证表现了中国剩余定理最为基本的作用:将一个关于任意正整数的问题,化为为素数幂的问题,而后者往往是比较好处理的。

20140714 「初等数论 - 中国剩余定理」 POJ 1006 Biorhythms

数论:拓展欧几里得 + 同余模方程模板一份。 题解嘛,有空再补。。。(其实就是模板题。) #include #include using namespace std; type...
  • wilson1068
  • wilson1068
  • 2014年07月14日 18:56
  • 739

简单数论知识梳理(省选复习)

(noip数论算法汇总) ①扩展欧几里得 int ex_gcd(int a,int b,int &x,int &y) { if(!b) { x=1,y=0; return a; } i...
  • qq_34564984
  • qq_34564984
  • 2017年03月23日 21:14
  • 784

[从头学数学] 第205节 初等数论初步

剧情提要: [机器小伟]在[工程师阿伟]的陪同下进入了[九转金丹]之第七转的修炼。 这次要研究的是[初等数论初步]。 正剧开始: 星历2016年05月08日 10:05:37, 银河系厄尔斯星球...
  • mwsister
  • mwsister
  • 2016年05月08日 10:31
  • 819

数论与积性函数

数论与积性函数
  • zhangche0526
  • zhangche0526
  • 2017年07月11日 20:35
  • 924

51nod--1135 原根 (数论)

题目:设m是正整数,a是整数,若a模m的阶等于φ(m),则称a为模m的一个原根。(其中φ(m)表示m的欧拉函数) 给出1个质数P,找出P最小的原根。 Input 输入1个质数P(3 ...
  • Aoxuets
  • Aoxuets
  • 2016年03月23日 18:32
  • 177

数论--欧几里得和扩展的欧几里得定理

欧几里德算法 欧几里德算法又称辗转相除法,用于计算两个整数a,b的最大公约数。 基本算法:设a=qb+r,其中a,b,q,r都是整数,则gcd(a,b)=gcd(b,r),即gcd(a,b...
  • chaoyueziji123
  • chaoyueziji123
  • 2014年08月10日 15:05
  • 1473

11个基本数论知识

 1、本原勾股数: 概念:一个三元组(a,b,c),其中a,b,c没有公因数而且满足:a^2+b^2=c^2 首先,这种本原勾股数的个数是无限的,而且构造的条件满足: a=s*t,b=(s...
  • Songjs19931206
  • Songjs19931206
  • 2015年01月20日 12:39
  • 911

初等数论四大定理之——费马小定理

皮埃尔·德·费马(Pierre de Fermat),1601年生于法国,是一个律师和业余数学家。他在数学多个分支上都有贡献,成就甚至超过了许多职业的数学家,被誉为“业余数学家之王”。在费马的所有成就...
  • qq641542616
  • qq641542616
  • 2016年03月06日 08:59
  • 1089

初等数论之算术基本定理

定理: 每个大于1的正整数n都可以被唯一地表示成素数的乘积; n的分解式n =  p1 ^ a1 * p2 ^ a2 * p3 ^ a3 ……* pk ^ ak;其中p1,p2,……pk是素数,p1 ...
  • xiaolonggezte
  • xiaolonggezte
  • 2017年03月05日 20:35
  • 160

数论各种小定理

这里是数论入门题目了 很全面
  • qq_33184171
  • qq_33184171
  • 2016年05月24日 10:54
  • 747
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:初等数论重要定理
举报原因:
原因补充:

(最多只允许输入30个字)