有關勾股三元數的額外題：

設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.