Is the set of Pythagorean Triple's considered transitive? How would one prove its transitivity?
For the sake of formality, the set $S$ is defined as $S=\{(a,b)|\exists{c}\in{Z^+}\text{ such that }{c^2=a^2+b^2}\}$.
Any insight would be greatly appreciated! Thanks.
It is not. $(3,4)\in S$, $(4,3)\in S$ but $(3,3)\notin S$.