本章讨论的是勾股数组与单位圆的关系,其实在这之前我一直没有考虑过关于勾股数的公式可以通过几何形式来推出,甚至没有想过勾股数可以用某种公式来表示,这就是平常缺少探索精神的表现吧。
如何将勾股数组和单位圆扯上关系呢?将a^2+b^2=c^2变形,得到(a/c)^2+(b/c)^2=1,如果把a/c看成x,b/c看成y,那么显然有x^2+y^2=1,这不就是单位圆的方程么。
那么如何通过单位圆来求勾股数组呢?试想,如果在圆上可以取到一点他的横坐标和纵坐标都是有理数,那么就可以把a,b,c都求出来了。这时候,可以取圆上一点A(-1,0),将过这一点的直线和圆联立,如果得到另一个解是有理数,那么这个解就可以组成一个勾股数组。
如图,A为(-1,0),如果B(x,y)中x,y为有理数,那么B的坐标就能得出一个勾股数组。
那么对两个方程进行联立,设直线的斜率为m,则有如下推导过程:
其中将式子除以x+1是因为直线和圆的一个交点就是(-1,0)。
这种证明方法非常的巧妙~(ps:怎么会有种预感这种证明方法会放到今年的高考试卷中??假的吧……)