Definition (Rational, primitive triangle). A triangle is rational if $a,b,c\in \mathbb{Q}$.

A triangle is primitive if $a,b,c\in \mathbb{Z}$ and are coprime.