Relações Métricas no Triângulo Retângulo com CabriJava