2】的部分证明比较难，见下面连接：

送交者: gugeren 2020月10月29日15:54:29 于 [灵机一动] 发送悄悄话

回  答: [2]的证明有问题 由 zhf 于 2020-10-29 15:35:49

https://en.wikipedia.org/wiki/Proofs_of_Fermat%27s_theorem_on_sums_of_two_squares#Dedekind's_two_proofs_using_Gaussian_integers 因为两个4k+3形式的素数相乘，得出的是4k+1的奇数，所以不能得出c必定由4k+1形式得素因数组成，而需要根据c是a^2+b^2这个情况来证明。 这里讨论的，都是勾股三元数的最简形式【primitive】。

0%(0)

0%(0)

	标  题 (必选项): 内  容 (选填项):

	实用资讯