Calculadora da função de Mertens

A calculadora da função de Mertens retorna M(n), a soma acumulada da função de Möbius de 1 até um inteiro positivo n. Ela permite observar diretamente como os inteiros livres de quadrados com quantidades pares e ímpares de fatores primos distintos se equilibram em um intervalo inicial. Informe n para receber o resultado inteiro exato, obtido por um crivo linear determinístico. O cálculo não usa amostragem aleatória, serviço externo nem tabela armazenada; portanto, a mesma entrada válida sempre gera a mesma resposta.

O que a função de Mertens mede

A função de Mertens é definida por M(n) = μ(1) + μ(2) + ... + μ(n), em que μ é a função de Möbius. Para um inteiro positivo k, μ(k) é zero quando o quadrado de algum primo divide k. Caso contrário, μ(k) é 1 quando k tem uma quantidade par de fatores primos distintos e -1 quando essa quantidade é ímpar.

Assim, a soma acumulada registra um saldo com sinal entre os inteiros livres de quadrados, enquanto números com fatores primos repetidos não contribuem. Esta calculadora inclui as duas extremidades: uma entrada n solicita todos os valores de Möbius desde 1 até n. Em particular, μ(1) é 1 e, portanto, M(1) é 1.

O resultado pode ser positivo, zero ou negativo e deve ser interpretado como um valor aritmético exato, não como probabilidade ou aproximação. Essa quantidade acumulada aparece com frequência na teoria analítica dos números porque relaciona a estrutura multiplicativa a questões de cancelamento em sequências aritméticas.

Como a calculadora chega ao resultado exato

A implementação usa um crivo linear para construir os valores de Möbius em ordem crescente. Quando o crivo encontra um primo, atribui a ele o valor de Möbius -1. Para cada primo descoberto anteriormente, considera então o produto com o inteiro atual.

Se esse primo já divide o inteiro atual, o produto contém um fator primo ao quadrado, recebe valor de Möbius zero e o processamento daquele inteiro termina. Caso contrário, o produto recebe o valor de Möbius com sinal invertido em relação ao inteiro atual. Cada composto é tratado por meio de seu menor fator primo, mantendo o trabalho proporcional ao limite escolhido.

Conforme cada valor é determinado, ele é adicionado ao total acumulado. Não são usadas fórmulas de ponto flutuante, e nenhum valor é estimado. O algoritmo é determinístico, roda localmente e retorna um inteiro com sinal.

A validação rejeita frações, números não finitos, valores menores que um e valores acima do limite publicado antes de alocar os vetores do crivo.

Como escolher a entrada e interpretar a resposta

A resposta repete o n aceito e apresenta seu valor de Mertens no campo mertens, deixando registros automatizados autoexplicativos. Por exemplo, uma sequência de chamadas com limites crescentes pode representar as oscilações de M(n), comparar uma tabela didática com um cálculo independente ou verificar um código que produza valores de Möbius por outro método. Não interprete um único resultado positivo ou negativo como evidência de uma tendência permanente.

A função oscila à medida que as contribuições se acumulam, e seu interesse teórico envolve o comportamento em intervalos e limites assintóticos. Se você precisar de vários valores, guarde cada par retornado ou calcule pontos de controle crescentes, em vez de presumir que M(n) revela μ(n) sem compará-lo com M(n - 1).