Os pontos , e são os vértices de um triângulo retângulo com ângulo reto em . Então