LECTURE NOTES IN ANALYSIS (2011)
《LECTURE NOTES IN ANALYSIS (2011)》 · 第 232 页 · Section 5.3「Pythagorean Triangles」，Theorem 5.5
A Pythagorean triple is a triple of positive integers satisfying $x^2+y^2=z^2$.