数论概论——第四章

第四章介绍了高次幂之和和费马大定理

 

费马大定理：n>2是整数，则方程x^n+y^n=z^n没有满足xyz≠0的整数解。这个是不定方程，它已经由英国数学家怀尔斯证明了(1995年)，证明的过程是相当艰深的！

也就是说除了勾股数组那样的2次幂，再高次就找不到整数解了。

 

 1 对数论的贡献
 2 17世纪初，欧洲流传着公元三世纪古希腊数学家丢番图所写的《算术》一书。l621年费马在巴黎买到此书，他利用业余时间对书中的不定方程进行了深入研究。费马将不定方程的研究限制在整数范围内，从而开始了数论这门数学分支。
 3 费马在数论领域中的成果是巨大的，其中主要有：
 4 费马大定理：n>2是整数，则方程x^n+y^n=z^n没有满足xyz≠0的整数解。这个是不定方程，它已经由英国数学家怀尔斯证明了(1995年)，证明的过程是相当艰深的！
 5 费马小定理：a^p-a≡0(mod p)，其中p是一个素数，a是正整数，它的证明比较简单。事实上它是Euler定理的一个特殊情况，Euler定理是说：a^φ(n)-1≡0(mod n),a，n都是正整数，φ(n)是Euler函数，表示和n互素的小于n的正整数的个数（它的表达式欧拉已经得出，可以在“Euler公式”这个词条里找到）。
 6 另外还有：
 7 (1)全部大于2的素数可分为4n+1和4n+3两种形式。
 8 (2)形如4n+1的素数能够，而且只能够以一种方式表为两个平方数之和。
 9 (3)没有一个形如4n+3的素数，能表示为两个平方数之和。
10 (4)形如4n+1的素数能够且只能够作为一个直角边为整数的直角三角形的斜边；4n+1的平方是且只能是两个这种直角三角形的斜边；类似地，4n+1的m次方是且只能是m个这种直角三角形的斜边。
11 (5)边长为有理数的直角三角形的面积不可能是一个平方数。
12 (6)4n+1形的素数与它的平方都只能以一种方式表达为两个平方数之和；它的3次和4次方都只能以两种表达为两个平方数之和；5次和6次方都只能以3种方式表达为两个平方数之和，以此类推，直至无穷。
13 (7)发现了第二对亲和数：17296和18416。
14 十六世纪，已经有人认为自然数里就仅有一对亲和数：220和284。有一些无聊之士，甚至给亲和数抹上迷信色彩或者增添神秘感，编出了许许多多神话故事。还宣传这对亲和数在魔术、法术、占星术和占卦上都有重要作用等等。
15 距离第一对亲和数诞生2500多年以后，历史的车轮转到十七世纪，1636年，法国“业余数学家之王”费马找到第二对亲和数17296和18416，重新点燃寻找亲和数的火炬，在黑暗中找到光明。两年之后，“解析几何之父”——法国数学家勒奈·笛卡儿(René Descartes)于1638年3月31日也宣布找到了第三对亲和数9437506和9363584。费马和笛卡尔在两年的时间里，打破了二千多年的沉寂，激起了数学界重新寻找亲和数的波涛。

习题4.2

本题讨论关于方程a^3+b^3=c^2的问题。

 

我试图去找关于三元组(a,b,c)的通项，但是可惜，打表之后并没有什么比较明显的结果，大部分的(a,b,c)都有公因子，但是也有不存在公因子的，例如(11,37,228),(56,65,671)等等。他对第一题的提示为“寻找形如(xz,yz,z^2)的解，当然并非每组x，y，z都可行”。当然，根据上面举出的abc不存在公因子的情况，那么(xz,yz,z^2)既不是(a,b,c)满足a^3+b^3=c^2的充分条件也不是必要条件。

但是根据题目的提示去寻找，可以将这三个数代入式子，得到：x^3+y^3=z。也就是说将满足这个条件的xyz代入式子里，就可以得到满足条件的a，b，c。例如假设x=1,y=2,那么有z=1^3+2^3=9。所以(a,b,c)=(9,18,81)。即为一个解。

 

第二小问讨论三元组(a,b,c)的推广问题。

如果有(a,b,c)满足a^3+b^3=c^2，那么a'=a*n^2,b'=b*n^2,代入则有a^3*n^6+b^3*n^6=(a^3+b^3)*n^6=n^6*z^2=(z*n^3)^2。也就是说如果(a,b,c)满足a^3+b^3=c^2,(a',b',c')满足(a*n^2,b*n^2,c*n^3)，那么(a',b',c')也一定满足a'^3+b'^3=c'^2。所以说根据这个推论可以得出满足条件的该三元组也是无穷多的。

 

如果说(xz,yz,z^2)可以找出方程的部分解，那么当x，y，z满足什么条件该三元组才能是本原解呢？

很显然，如果z是一个平方数的倍数的话，那么显然该三元组不是本原的，因为假设k^2|z,那么有k^2|xz，k^2|yz，k^3|z^2，也就是说该三元组形如(k^2*t1,k^2*t2,k^3*t3)，与本原的概念相悖。那么如果要求本原，z只可能是不同素数之积了。那对x，y是否有要求呢？打表发现x和y不能同时为偶数，假设x=2t，y=2k，则z=8k^3+8t^3，那么三元组为(16(t^4+t*k^3),16(k*t^3+k^4),64(k^3+t^3)^2)，很显然不是本原的，除了这两个之外，我暂时没有发现其他的限制条件，如果有更多限制条件，求解……

 

如果a=b，那么本原解是否有公式？

如果a=b，那么方程可以变形为2a^3=c^2，也就是说显然a必须是偶数，不然单个2开方后不能是整数，所以假设a=b=2k，有如下推导：

 

转载于:https://www.cnblogs.com/Lee-geeker/p/3252350.html