Calculateur de la fonction de Mertens

Le calculateur de la fonction de Mertens renvoie M(n), la somme cumulée de la fonction de Möbius de 1 jusqu’à un entier positif n. Il permet d’observer directement l’équilibre, sur un intervalle initial, entre les entiers sans facteur carré ayant un nombre pair ou impair de facteurs premiers distincts. Saisissez n pour obtenir l’entier exact grâce à un crible linéaire déterministe. Le calcul ne fait appel ni à un échantillonnage aléatoire, ni à un service externe, ni à une table enregistrée : une même entrée valide produit donc toujours la même réponse.

Ce que mesure la fonction de Mertens

La fonction de Mertens est définie par M(n) = μ(1) + μ(2) + ... + μ(n), où μ désigne la fonction de Möbius. Pour un entier positif k, μ(k) vaut zéro lorsqu’un carré premier divise k. Sinon, μ(k) vaut 1 lorsque k possède un nombre pair de facteurs premiers distincts et -1 lorsque ce nombre est impair.

La somme cumulée exprime ainsi un équilibre signé entre les entiers sans facteur carré, tandis que les entiers contenant des facteurs premiers répétés ne contribuent pas. Ce calculateur inclut les deux bornes : une entrée n demande tous les termes de Möbius depuis 1 jusqu’à n. En particulier, μ(1) vaut 1, donc M(1) vaut 1.

Le résultat peut être positif, nul ou négatif ; il faut le lire comme une valeur arithmétique exacte, et non comme une probabilité ou une approximation. Cette quantité cumulée intervient souvent en théorie analytique des nombres, car elle relie la structure multiplicative aux phénomènes de compensation dans les suites arithmétiques.

Comment le calculateur obtient un résultat exact

L’implémentation emploie un crible linéaire pour construire les valeurs de Möbius par ordre croissant. Lorsqu’un nombre premier est rencontré, le crible lui attribue la valeur de Möbius -1. Pour chaque nombre premier déjà découvert, il examine ensuite le produit avec l’entier courant.

Si ce premier divise déjà l’entier courant, le produit contient un facteur premier au carré, reçoit une valeur de Möbius nulle et le traitement de cet entier s’arrête. Dans le cas contraire, le produit reçoit l’opposé de la valeur de Möbius de l’entier courant. Chaque nombre composé est traité par son plus petit facteur premier, ce qui maintient le travail proportionnel à la borne choisie.

Toute nouvelle valeur est immédiatement ajoutée au total cumulé. Aucune formule en virgule flottante n’intervient et aucune valeur n’est estimée. L’algorithme est déterministe, s’exécute localement et renvoie un entier signé.

Avant d’allouer les tableaux du crible, la validation rejette les fractions, les nombres non finis et les valeurs hors de l’intervalle publié.

Choisir l’entrée et interpréter la réponse

La réponse reprend le n accepté et indique sa valeur de Mertens dans le champ mertens, afin que les enregistrements automatisés restent explicites. Une série d’appels avec des bornes croissantes permet, par exemple, de tracer les fluctuations de M(n), de comparer une table de référence à un calcul indépendant ou de vérifier un programme qui produit les valeurs de Möbius autrement. Ne considérez pas un seul résultat positif ou négatif comme la preuve d’une tendance durable.

La fonction oscille au fil des contributions, et son intérêt théorique porte sur son comportement sur des plages et sur ses bornes asymptotiques. Pour obtenir plusieurs valeurs, conservez chaque paire renvoyée ou calculez des points de contrôle croissants au lieu de déduire μ(n) de M(n) sans comparaison avec M(n - 1).