Tentei procurar isso, mas não consegui encontrar nenhuma fórmula na distância das lentes gravitacionais. Eu sei que o nosso Sol é de cerca de 550 UA, embora outras distâncias funcionem também, pois não é um único foco devido ao campo gravitacional que diminui à distância do corpo em foco. Existe...