且构网

分享程序员开发的那些事...
且构网 - 分享程序员编程开发的那些事

猜想:一组勾股数a^2+b^2=c^2中,a,b之一必为4的倍数。

更新时间:2022-09-21 21:30:03

证明:

勾股数可以写成如下形式

a=m2-n2

b=2mn

c=m2+n2

而m,n按奇偶分又以下四种情况

m  n

奇  偶  ①

偶  奇  ②

偶  偶  ③

奇  奇  ④

上面①②③三种情况中,mn中存在至少一个偶数,这个偶数里的2和b=2mn原有的2相乘得4,所以①②③三种情况下b必然是4的倍数。

而情况④中,b不再是4的倍数,让我们来看看a的情况

设m=2k+1,n=2j+1

则a=m2-n2=(2k+1)2-(2j+1)2=4k2+4k+1-(4j2+4j+1)=4(k2+k-j2-j)

明显,这种情况下,是4的倍数的是a

 

综上所述,四种情况下,a,b之一必然是4的倍数,列表如下: 

m  n

奇  偶  ①  b是4的倍数

偶  奇  ②  b是4的倍数

偶  偶  ③  b是4的倍数

奇  奇  ④  a是4的倍数

证毕。










本文转自张昺华-sky博客园博客,原文链接:http://www.cnblogs.com/xiandedanteng/p/8149280.html,如需转载请自行联系原作者