基本概念
本文以《初等数论及其应用 (原书第6版)》13.1 毕达哥拉斯三元组 为基础。为叙述简便,把毕达哥拉斯三元组(Pythagorean Triples)称为勾股数。
另外,也可以参考《数学女孩2 费马大定理》第2章 勾股定理。
本原勾股数 ( x , y , z ) (x,y,z) (x,y,z)满足
x 2 + y 2 = z 2 x^2+y^2=z^2 x2+y2=z2
x , y , z ∈ Z + x,y,z \in Z^+ x,y,z∈Z+
G C D ( x , y , z ) = 1 GCD(x,y,z)=1 GCD(x,y,z)=1
( x , y , z ) (x,y,z) (x,y,z)可以用以下公式推导, ( m , n ) (m,n) (m,n)在OEIS上称为the generator pairs of primitive Pythagorean triples。
x = m 2 − n 2 x=m^2-n^2 x=m2−n2
y = 2 m