《数论概论》读书笔记 (第四章) 高次幂之和与费马大定理

这章讲的东西就是费马大定理。很少的内容。

在18和19世纪高斯和欧拉证明了指数为$3$的方程没有解，狄利克雷与勒让德证明了$5$次方程没有解。
$n>=3$时方程：$a^n+b^n=c^n$没有整数解的这个一般性结论被称为“费马大定理”。这个就是高次幂之和。

至今，证明了存在无穷多个素数$p$使得$a^p+b^p=c^p$没有解且$p$不整除$abc$。

习题解析：
$1.$ 为一些数学家写一两页传记…额….下一题…

$2.$ $(1)$关于方程$a^3+b^3=c^2$有解$(a,b,c)=(2,2,4)$
这样的解显然是无穷的。
比如有：

1 2 3
2 2 4
2 46 312
4 8 24
7 21 98
8 8 32
8 184 2496
9 18 81
10 65 525
11 37 228
14 70 588
16 32 192
18 18 108
18 414 8424
22 26 168
25 50 375
28 84 784
32 32 256
33 88 847
34 450 9548
36 72 648
37 407 8214
40 260 4200
44 148 1824
49 98 1029
50 50 500
56 65 671
56 280 4704
57 112 1261
57 456 9747
63 189 2646
64 128 1536
65 91 1014
65 104 1183
65 260 4225
70 105 1225
72 72 864
78 273 4563
78 354 6696
81 162 2187
84 105 1323
88 104 1344
98 98 1372
99 333 6156
100 200 3000

但是，这个解的通项公式是什么呢？根据题目提示，显然，$(xz,yz,z^2)$既不是$(a,b,c)$满足$a^3+b^3=c^2$的充分条件也不是必要条件。
对于一个数$c$，我们可以得到公式，$x=(1+c^3), y=c(1+c^3) ，z=(1+c^3)^2$就是一组解。
验证：$x^3+y^3=(1+c^3)^3+(c(1+c^3))^3=(1+c^3)^3(1+c^3)=(1+c^3)^4=((1+c^3)^2)^2.$。

证明：
假设我们在找关于$x^n+y^n = z^m$的解，当且仅当$gcd(n,m)=1$。

因为$gcd(n,m)=1$，所以$am-bn=1$或者$am=bn+1$。

假设$x=u^b , y=v^b, z=w^a,$那么$u^{bn}+v^{bn}=w^{am}=w^{bn+1}$。

让$v=cu$ . 那么$u^{bn}+v^{bn}=u^{bn}+(cu)^{bn}=u^{bn}+c^{bn}u^{bn}=u^{bn}(1+c^{bn})$。

假设$w=1+c^{bn}$, 我们得到，$w^{bn+1}=ww^{bn}=wu^{bn}$或者$u=w$。

所以，$x=(1+c^{bn})^b, y=cu=c(1+c^{bn})^b, z=(1+c^{bn})^a.$。

令$n=3,m=2$，我们得到$2a-3b=1$。所以可以得到$a=2,b=1$。

所以，$x=(1+c^3), y=c(1+c^3) ，z=(1+c^3)^2$就是一组解。但不是所有解。但根据这个公式可以找到无穷解。

$(2).$证明：如果有$(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$。所以，根据这个推论可以得到满足条件的该三元组也是无穷多的。

$(3).$ ……对这一问感觉很无语…..
1.对于$A=4r^4−4p^{3}r,B=8pr^3+p^4, C=20p^3r^3−p^6+8r^6$，满足
$A^3+B^3=C^2$
2.对于$x=(1+c^3), y=c(1+c^3) ，z=(1+c^3)^2$，满足$x^3+y^3=z^2$.
3….
4….

$(4).$如果$a=b$，那么方程可以变形为$2a^3=c^2$，也就是说显然$a$必须是偶数，否则开方后就不能是整数了，所以假设$a=b=2k$，有$c^2=2(2k)^3=16k^3$。
所以，$c=4k\sqrt{k}$.
要满足$c$为整数，那么要保证$k$为平方数。
所以，设$a=b=2k^2$,那么$c=\sqrt{2*(2k^2)^3}=4k^3$，所以，$(a,b,c)=(a,a,c)=(2k^2,2k^2,4k^3)$。

$(5).$
A050801

比如，
$279300^3 + 2234400^3=3343221000^2$。
比如，
$\eqalign{42794271007595289^2 &= 14385864402^3 + 122279847417^3\cr &= 55172161278^3 + 118485773289^3\cr &= 64117642953^3 + 116169722214^3\cr &= 96704977369^3 + 97504192058^3\cr}$
再比如，
$\eqalign{47155572445935012696000^2 &= 94405759361550^3 + 1305070263601650^3 \cr&= 374224408544280^3 + 1294899176535720^3 \cr&= 727959282778000^3 + 1224915311765600^3 \cr&= 857010857812200^3 + 1168192425418200^3 \cr&= 1009237516560000^3 + 1061381454915600^3\cr}$