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)

	標  題 (必選項): 內  容 (選填項):

	實用資訊