Pythagorean triple ($x^2+y^2=z^2$)

A Pythagorean triple consists of three positive integers satisfying $x^2+y^2=z^2$. It is primitive when their greatest common divisor is one. Reducing their square numbers modulo $3$ shows that at least one leg is divisible by $3$; reducing modulo $4$ shows that both legs cannot be odd.

A rooted ternary tree that generates every primitive Pythagorean triple from $(3,4,5)$ by three fixed linear transformations. Keeping a consistent leg convention gives each primitive triple once; multiplying its sides then supplies all nonprimitive triples.

A Pythagorean triple $(a,b,c)$ whose coordinates have greatest common divisor 1. Its two legs have opposite integer parity, and every Pythagorean triple is a unique positive integer multiple of a primitive Pythagorean triple up to the ordering of its legs.

The formulas $a=m^2-n^2$, $b=2mn$, $c=m^2+n^2$ give a Pythagorean triple for integers $m>n>0$, because $(m^2-n^2{)}^2+(2mn{)}^2=(m^2+n^2{)}^2$. They give a primitive Pythagorean triple exactly when $m,n$ are coprime and have opposite integer parity. Every primitive Pythagorean triple arises this way after possibly exchanging the legs; scaling gives the nonprimitive triples.

Every primitive Pythagorean triple, after exchanging its legs, has this form with $m>n>0$, $\gcd (m,n)=1$ and opposite parity. Its area is $mn(m-n)(m+n)$. The factors $m,n,m-n,m+n$ are pairwise coprime, because $m\pm n$ are odd. Conversely these conditions give a primitive triple. The parametrization follows by factoring the relatively prime integers $(c+b)/2$ and $(c-b)/2$ when $a$ is the even leg.