Como provar que é um triângulo retângulo?