Se as medidas dos lados de um triângulo retângulo formam uma progressão aritmética, então a soma da progressão geométrica infinita, de primeiro termo igual a 1, e cuja razão é a tangente do menor ângulo desse triângulo retângulo, é: