今天继续看第二章， 叫做勾股数组。
看似很简单，因为勾股定理这个东西是初中甚至小学就知道的东西了。
但是，看完之后才发现，每一个伟大的数学家，确实是由他们伟大的地方。
勾股定理，也叫毕达哥拉斯定理。
也就是勾三股四玄五。
a^2 + b^2 = c^2;
而勾股数组就是满足上式的三元数组如（3，4，5）
书中讲到的。
产生直角的粗略方法是取一根绳子，将其分成12等份，系成一个圈再蹦成一个3-4-5三角的形状。
研究东西要抓住本质，是的，这里的本质是PPT，对，就是PPT， 此PPT非彼PPT，这里是本原勾股数组
古代的人确实是充满了智慧。
然后这里引用以为大神博客里面的内容了，
看过之后确实是又有了新的体会。
1 本章主要讨论的是勾股数组，也就是关于满足a^2+b^2=c^2的三元组（a,b,c）的问题。 2 其实，对于勾股数组的个数进行讨论并没有多大意义，因为已知a，b，c为勾股数组，那么显然有da，db，dc(d>0)也为勾股数组，因为(da)^2+(db)^2=d^2(a^+b^2)=d^2c^2=(dc)^2。 3 因此着重研究的是关于本原勾股数组的问题，本原勾股数组即为a，b，c为勾股数组且满足a，b，c的最大公约数为1。 4 对于本原勾股数组，显然a和b奇偶性不同只需要将a=2x+1,b=2y+1,c=2z代入a^2+b^2=c^2即可推出有公约数2。由于a和b奇偶性不同，那么显然c为奇数。 5 那么最关心的是如何求出所有的本原勾股数组。 6 如果将公式转化一下，得到a^2=c^2-b^2=(c+b)(c-b)，那么显然有，c+b和c-b没有公因子，用反证法证明： 7 如果d|(c+b)且d|(c-b)，那么显然有d|((c+b)+(c-b))和d|((c+b)-(c-b))即d|2b且d|2c，因为在定义本原勾股数组的时候已经有了b和c的最大公约数是1的约定(虽然定义是a，b，c最大公约数是1，但是如果gcd(b,c)=d>1，显然有d|c不满足定义)。所以d要么为1，要么为2。但是如果d=2时，那么显然a，b，c均为偶数，不满足定义，那么d只能为1，证明了c+b和c-b没有公因子。 8 因此，如果将a^2进行质因数分解，那么会有a=p1^t1*p2^t2*p3^t3...pn^tn，其中指数t1,t2,t3...tn为偶数（因为这样才能保证a^2开根号后为整数），又因为c+b和c-b没有公因数，所以c+b和c-b各取a分解后的其中某一些pk^tk，因此，c+b和c-b均为平方数。那么假设c+b=s^2,c-b=t^2，则有c=(s^2+t^2)/2,b=(s^2-t^2)/2，a=st，因此形如(st,(s^2-t^2)/2,(s^2+t^2)/2)的三元组为本原勾股数组。(其中s和t都是奇数，因为如果s和t中有且只有一个为奇数，那么显然(s^2+t^2)/2不会是整数，而如果两个数都是偶数，那么显然该三元组有公因子2，与本原勾股数组定义矛盾。)
接下来谈谈勾股定理的证明（书上第二章并没有对勾股定理的证明进行讨论）
在书《proofs without words》 中有如下几种证明方法证明勾股定理
直接上图：
1.这个是周髀算经里的证明方法
2.古印度数学家婆什迦罗也给出了一种证明方法
3.根据欧几里得的证明方法可得到如下证法
4.英国思维游戏之父也给出了一种证明方法
5.有趣的是，书里还收录了美国第20任总统加菲尔德的一种证明方法
虽然用图形有时候并不能一眼给出十分严谨的代数证明，但是，它具有很强的直观性。据说在Loomis的《Pythagoras Proposition》中，给出了367种勾股定理的证明方式，但是很可惜，我在网上貌似没有找到这本书，但是，在这里 给出了近100种证明方法。
http://www.cut-the-knot.org/pythagoras/index.shtml
在这里我突然想起来，
当自己迷茫的时候，
老师还是很有用的。
下学期果断天天去答疑。
希望老师能够给我很多的帮助。
希望数论的题目老师也能给我详细的解释。
最头疼的莫过于习题了。
看2.1
嗯，现在明白了，
虽然书上给出了反证法，但是还是无法领会。
现在知道了
1.自然数的平方（除了3的倍数外）除以3 都余 1；不信自己看看就知道了。
证明：
假设a,b都是3的倍数，则a，b不互质，所以，假设错误。
假设a,b都不能被3整除，则(a^2+b^2)/3 余数为2，但是不存在这样的c使得c^2除以3余2，
也就是说假设是错误的。
所以a或b为3的倍数，证明完毕。
1 (a)关于a或b必是3的倍数的证明。 2 照例用反证法。 3 假设a和b都不是3的倍数，那么由于a和b的奇偶性不同，因此我想的方法是分成4种情况讨论 4 首先由于a和b具有互换性，因此假定a为奇数，b为偶数。 5 情况1：a mod 3=1,b mod 3=1 6 那么a=6x+1,b=6y+4,c=6z+5，代入a^2+b^2=c^2后可得 7 36x^2+12x+1+36y^2+48y+16=36z^2+60z+25 8 整理后可得3(12x^2+4x+12y^2+16y-12z^2-20z)=8，3不是8的因子，所以显然找不到整数x，y使得该式成立。 9 情况2：a mod 3=1,b mod 3=2 10 那么有a=6x+1,b=6y+2,c=6y+5,代入后可得 11 36x^2+12x+1+26y^2+24y+4=26y^2+60z+25 12 整理后常数项20也不是3的因子，所以找不到整数x，y 13 同理，可证明情况3：a mod 3=2,b mod 3=1和情况4：a mod 3=2,b mod 3=2中找不到x，y成立，因此假设不成立，所以证明了a或者b必定是3的倍数。 14 15 另外，可以发现，只要a和b不是3的倍数，那么显然会存在c^2 mod 3=2，这是因为1^2 mod 3=2^2 mod 3=1，因此，不管a和b模3得到的数是1还是2，c^2模3后一定是2。那么，对于形如3k+2的数显然不是平方数。（因为x^2=(x mod 3)^2 (mod 3)）那么根据1^2 mod 3=2^2 mod 3=1，得到不存在平方数形如3k+2，因此可以得出如果a和b都不是3的倍数，那么c^2不是平方数，问题得证。 16 (b)关于a或b或c是5的倍数的猜测及证明 17 观察了很多组本原勾股数组，猜测得a或b或c是5的倍数。 18 用上一题的枚举加反证法，也可以证明出这个结论，但是上题有个不用枚举就能得出结果的方法，这题有么？ 19 用上一题的第二种方法，可以得出t^2 mod 5=1或4，用1或4组合相加，可以得出c^2 mod 5=2或4或0，就拿0来说，存在c^2 mod 5=0的平方数，所以上题的第二种方法在这里行不通。是否有更简便的方法？求指点。
2.2
这题是一眼看过去就能够证明出来的，哈哈。
若d|m和d|n，则d|(m-n)且d|(m+n)的证明。
很显然有m=ad,n=bd，则m-n=d(a-b)，m+n=d(a+b)，显然能够被d整除。
2.3
对了，打表测试果然是一个很好的办法，
分析数据。
这样看的话很容易可以观察出来的。确实是这样的。
怎么搞b为偶数的，这个我就不知道了。
1 关于哪些数可以出现在本原勾股数组中的问题。 2 打表大概的猜想是这样的，除了1以外的奇数都可以出现在本原勾股数组中，偶数除了形如4n+2以外也都能出现在本原勾股数组中，这是不完全归纳，因为不排除a很小，b、c很大的情况就不在我打表的范围之内，我设置a=200，b=c=5000的结果，观察前100个数是这样的。 3 先研究奇数情况，打表观察奇数在a，b，c三个位置出现的情况（在这里假定a<b）,可以惊奇的发现，位置a可以为100以内所有除了1以外的奇数，而且当a=2k+1时总能组成b和c相差1的本原勾股数组(a,b,c)。我们假设a=2k+1，那么会有b=2k(k+1),c=2k(k+1)+1。也就证明了除了1外的奇数都可以出现在本原勾股数组(a,b,c)中，而且，都可以出现在a中。 4 考虑偶数的情况，上面说了，据不完全归纳，4n+2以外的数都可以出现在本原勾股数组中，先看a形如4n的情况，通过打表可以看出貌似当a=4n的时候都有b和c相差2的情况。假设a=4k，则会出现b=4k^2-1,c=4k^2+1的情况。也就说明了4的倍数都会出现在本原勾股数组中。试着证明下形如4n+2的数不会出现在本原勾股数组中。由于给出了勾股数组的表示形式(st,(s^2-t^2)/2,(s^2+t^2)/2)，因此可以得出st为奇数，即4n+2=(s^2-t^2)/2，变形后可得(s+t)(s-t)=4(2n+1)，考虑如果s+t和s-t一奇一偶，那么显然s和t不是整数，那么由于有系数4，所以s+t和s-t只可能是两个偶数，也就是说s+t=2(2n+1),s-t=2，可以得出s=2n+2，与定义中s为奇数矛盾，因此4n+2不可能出现在本原勾股数组中。 5 综上所述，奇数和4的倍数可出现在本原勾股数组中，而形如4n+2的偶数不可能出现在本原勾股数组中。
1 习题2.4 2 关于相同c值的本原勾股数组。 3 通过打表是可以找出相同c值的两个本原勾股数组，也可以找出有相同c值的4个，但是找不到三个，是没有三个的还是存在但是c太大没有找到？在此求解。还有个问题，如何把具有相同c值的多个本原勾股数组的所有c值求到，打表后并没有发现什么明显的规律，但是显然需要满足存在多组奇数<p1,p2>满足p1^2+p2^2的值相同。但是具有这种特征的p1^2+p2^2的值是否有满足规律？求解。 4 5 习题2.5 6 关于三角数和本原勾股数组间的关系 7 b=4T1:(3,4,5) 8 b=4T2:(5,12,13) 9 b=4T3:(7,24,25) 10 b=4T4:(9,40,41) 11 估计可以看出规律：第一个数是奇数，第二个数是Tn，第三个数是(Tn)+1，回到习题2.3我们推出的结论:a=2k+1,b=2k(k+1),c=2k(k+1)+1，显然可以看出b是三角数的4倍，那么该规律成立。
2.6
通项公式：对应(a,b,c)
（4n^2-1,4n,4n^2+1）
2.7
关于2c-2a的规律问题
打表发现2c-2a为完全平方数
试着进行证明：2c-2a=((s^2+t^2)/2-st)*2=(s-t)^2。证毕。
2.8
亲自百度一下！！！
数学是没有国界的。!!
我不得不向伟大的数学家们致敬！！