有关勾股三元数的额外题：

设a^2 + b^2 = c^2，(a,b,c)称为勾股三元数。
证明：

1】c必为4k+1形式的数，这里k是正整数；

2】如果c存在任何素因数，这些素因数也必定是4k+1的形式。

见：

https://en.wikipedia.org/wiki/Pythagorean_triple

• All prime factors of c are primes of the form 4n + 1.^[15] Therefore c is of the form 4n + 1.