Um ângulo agudo de um triângulo retângulo , reto em ,é igual a . Sabe-se que a hipotenusa desse triângulo e os prolongamentos de e são tangentes a uma circunferência de raio . Desse modo, o comprimento da hipotenusa é igual a: