Rotação de um triângulo retângulo / Soma da amplitude dos ângulos internos de um triângulo