Série harmonique

La série harmonique est la somme des inverses des entiers positifs : un plus un demi plus un tiers, et ainsi de suite, sans dernier terme. Ses préfixes finis, les nombres harmoniques H_n, croissent sans borne, mais seulement à peu près aussi vite que le logarithme naturel de n. Les étudiants rencontrent H_n en étudiant la divergence des séries ; les amateurs d'énigmes et de katas de programmation s'en servent comme suite de référence à croissance lente ; les ingénieurs l'emploient pour borner des boucles imbriquées qui font un peu de travail extra à chaque préfixe. Envoyez un entier positif n et cette capacité renvoie cette n-ième somme partielle afin que vous puissiez vérifier une feuille d'exercices, figer un cas de test ou inspecter la croissance logarithmique sans écrire la boucle.

Ce qu'est H_n et pourquoi la série infinie n'a pas de total final

Le n-ième nombre harmonique se définit comme H_n égal à la somme, de k égal un jusqu'à n, de un sur k. C'est le préfixe fini de la série harmonique classique un plus un demi plus un tiers et ainsi de suite, une série qui diverge alors même que ses termes tendent vers zéro. Pour n égal un la somme vaut exactement un.

Pour n égal deux elle vaut un et demi. Pour n égal quatre elle dépasse un peu deux, et vers n égal dix le total se situe près de deux point neuf deux neuf. Ces premières valeurs sont celles que les manuels utilisent pour montrer que des termes allant vers zéro ne suffisent pas à la convergence : chaque nouvel inverse est plus petit que le précédent, et pourtant le cumul grimpe encore sans limite finie.

Les mêmes sommes partielles apparaissent dans les tests de comparaison intégrale, pour borner des boucles imbriquées qui visitent des unités de travail un plus un demi plus un sur n, et dans les croquis du collectionneur de coupons dont l'espérance vaut n fois H_n. Qui étudie les harmoniques musicales entendra un mot cousin, mais ce calculateur est la somme discrète des inverses, non une table de fréquences d'une corde.

Comme la série infinie n'a pas de total fini, le logiciel ne renvoie jamais une valeur close pour la série entière : il renvoie toujours une somme partielle indexée par un entier positif n.

Cette capacité implémente cet objet par une boucle déterministe d'additions d'inverses, une borne dure sur n pour que le temps d'exécution en périphérie reste prévisible, et une réponse qui répète n, signale une somme arrondie de façon stable et reformule la formule afin que journaux et supports de cours affichent la requête sans la reconstruire depuis zéro.

Contrat d'entrée, ordre de sommation, arrondi et erreurs

Le gestionnaire vérifie que n est présent, fini, entier et dans cet intervalle avant toute sommation. En cas de succès le corps contient n, sum et formula. Si vous avez besoin d'une fraction exacte réduite, numérateur sur dénominateur, cette capacité n'est pas un système de calcul formel ; elle ne renvoie qu'une somme partielle en virgule flottante.

Associez-la à votre propre arithmétique rationnelle quand une preuve exige des fractions, et utilisez ce point d'accès quand vous voulez un H_n numérique rapide et auditable dans des feuilles, des katas ou une petite automatisation. Le champ formula reformule H_n en une chaîne lisible pour qu'une interface affiche la série à côté du nombre sans code de formatage supplémentaire.

Là où un outil de somme partielle harmonique gagne sa place

Les salles de classe amateurs et les tutorats utilisent un calculateur de série harmonique pour laisser les apprenants explorer les vitesses de croissance sans écrire leur première boucle d'itération sous la pression du temps. Les sites de katas de programmation et de préparation aux entretiens s'appuient sur H_n pour discuter l'intuition du grand O : la somme de un sur k est Theta de log n, ce qui explique pourquoi certains algorithmes imbriqués semblent presque linéaires tout en dépassant les facteurs constants.

Les concepteurs d'énigmes intègrent parfois des préfixes harmoniques quand ils veulent un tableau de scores à croissance lente, une courbe de rendements décroissants ou un nombre attendu d'essais de type coupon sans tirer une bibliothèque mathématique complète. Une validation échouée ne consomme pas de solde. Bornez n, gardez la requête petite, et vous obtenez un nombre reproductible à figer dans des tests, des carnets et des workers de périphérie.