O que você procura?

tais que a2 + b2 = c2