Calculadora de la función de Mertens

La calculadora de la función de Mertens devuelve M(n), la suma acumulada de la función de Möbius desde 1 hasta un entero positivo n. Permite examinar directamente cómo se equilibran, dentro de un intervalo inicial, los enteros libres de cuadrados que tienen una cantidad par o impar de factores primos distintos. Introduzca n y obtendrá el entero exacto mediante una criba lineal determinista. El cálculo no utiliza muestreo aleatorio, servicios externos ni tablas almacenadas, por lo que una misma entrada válida siempre produce la misma respuesta.

Qué mide la función de Mertens

La función de Mertens se define como M(n) = μ(1) + μ(2) + ... + μ(n), donde μ es la función de Möbius. Para un entero positivo k, μ(k) vale cero cuando el cuadrado de algún primo divide k. En caso contrario, μ(k) vale 1 si k tiene un número par de factores primos distintos y -1 si tiene un número impar.

La suma acumulada registra así un balance con signo entre los enteros libres de cuadrados, mientras que los enteros con factores primos repetidos no aportan nada. Esta calculadora incluye ambos extremos: una entrada n solicita todos los valores de Möbius desde 1 hasta n. En particular, μ(1) vale 1, de modo que M(1) vale 1.

El resultado puede ser positivo, cero o negativo, y debe interpretarse como un valor aritmético exacto, no como una probabilidad ni una aproximación. Esta cantidad acumulada aparece con frecuencia en la teoría analítica de números porque relaciona la estructura multiplicativa con la cancelación en sucesiones aritméticas.

Cómo obtiene la calculadora un resultado exacto

La implementación utiliza una criba lineal para construir los valores de Möbius en orden creciente. Cuando la criba encuentra un primo, le asigna el valor de Möbius -1. Para cada primo descubierto anteriormente, considera después el producto con el entero actual.

Si ese primo ya divide el entero actual, el producto contiene un factor primo al cuadrado, recibe un valor de Möbius igual a cero y termina el procesamiento de ese entero. En caso contrario, el producto recibe el valor de Möbius opuesto al del entero actual. Cada compuesto se trata mediante su menor factor primo, lo que mantiene el trabajo proporcional al límite elegido.

A medida que se determina cada valor nuevo, se añade al total acumulado. No intervienen fórmulas de coma flotante ni se estima ningún valor. El algoritmo es determinista, se ejecuta localmente y devuelve un entero con signo.

La validación rechaza fracciones, números no finitos, valores inferiores a uno y valores superiores al límite publicado antes de reservar los arreglos de la criba.

Cómo elegir la entrada e interpretar la respuesta

La respuesta repite el n aceptado e incluye su valor de Mertens en el campo mertens, de modo que los registros automatizados se explican por sí mismos. Por ejemplo, una serie de solicitudes con límites crecientes sirve para representar las fluctuaciones de M(n), comparar una tabla académica con un cálculo independiente o verificar código que genere valores de Möbius por otro método. No interprete un único resultado positivo o negativo como prueba de una tendencia duradera.

La función oscila mientras se acumulan las contribuciones, y su interés teórico se centra en el comportamiento a lo largo de intervalos y en las cotas asintóticas. Si necesita varios valores, conserve cada par devuelto o calcule puntos de control ascendentes, en vez de suponer que M(n) revela μ(n) sin compararlo con M(n - 1).