《数论概论》读书笔记第三章勾股数组与单位圆

本文链接：https://blog.csdn.net/liangzhaoyang1/article/details/71257731

本章讲的是勾股数组与单位圆的关系，讲关于勾股数的公式可以通过几何形式来推出。

$定理3.1:$

圆 $x^2+y^2=1$ 上的坐标是有理数的点都可以由公式： $(x,y)=(\frac{1-m^2}{1+m^2},\frac{2m}{1+m^2})$ 得到，其中 $m$ 取有理数值.（点 $(-1,0)$ 例外，这个当 $m\rightarrow \infty$ 时的极限值）。

习题解析：
$1.$
$(a)$ 如果 $u$ 和 $v$ 有公因数，假设 $d|u$ 且 $d|v$ ，那么显然会有 $d|a,d|b,d|c，$ 所以 $(a,b,c)$ 不是本原勾股数组。
$(b)$ 是否存在 $u$ 和 $v$ 没有公因数 $(u>0,v>0)$ ，但是该三元组 $(u^2-v^2,2uv,u^2+v^2)$ 不是本原的。如果要让 $d|a,d|b,d|c$ ，又要让 $d$ 不被 $u$ 或 $v$ 整除，那么只有让 $d=2$ ， $v$ 和 $u$ 是奇数，那么显然 $a$ 和 $c$ 是偶数， $2uv$ 也是偶数，例如 $(6,8,10),$ 此时 $u=3,v=1.$
$(c)$ 自己打表。
$(d)$ 打表可以发现，当 $u$ 和 $v$ 互质且 $u$ 和 $v$ 一奇一偶时， $(a,b,c)$ 是本原的。
$(e)$ 证明： $u=2k+1,v=2t$
$u^2+v^2=4k^2+4k+1+4t^2$
$2uv=2*2t(2k+1)$
$u^2-v^2=4k^2+4k+1-4t^2$
反证：
设 $(u^2-v^2,2uv,u^2-v^2)$ 不是本原的，即存在d
$d!=1且d不能整除u或v$
$d|(4k^2+4k+1+4t^2)..................1$
$d|2*2t(2k+1).........................2$
$d|(4k^2+4k+1-4t^2)...................3$
如果 $d来自2$ ，那么显然与 $1$ 式和 $3$ 式矛盾。
如果 $d$ 来自 $2t，$ 那么 $d$ 不整除 $u$ ，与 $1$ 式和 $3$ 式矛盾。
同理如果 $d$ 来自 $(2k+1)，$ 与 $1$ 式和 $3$ 式矛盾
所以当 $u$ 和 $v$ 一奇一偶且互质时， $(u^2-v^2,2uv,u^2-v^2)$ 才是本原的。

2.
(a) $(\frac{v^2-2uv-u^2}{u^2+v^2},\frac{u^2-2uv+v^2}{u^2+v^2})$
(b)如果用相同的方法求圆 $x^2+y^2=3$ 上所有坐标为有理数的点，那么会发现没有一个坐标为有理数值点能够作为基准点，也就是不能找到能起到像 $x^2+y^2=2$ 中的点 $(1,1)$ ， $x^2+y^2=1$ 中的点 $(-1,0)$ 这种作用的点。

3.答案： $(\frac{u^2+v^2}{u^2-v^2},\frac{2uv}{u^2-v^2})$ 。
用双曲线的方法也能推出勾股数组的通项公式，这是因为把公式变形为 $(\frac{c}{a})^2-(\frac{b}{a})^2=1，$ 就可以用双曲线求解了。得到这个答案后将分母约去，就可以求出 $a$ 了。