Cet article propose une façon de calculer la somme des entiers impairs inférieurs ou égaux jusque n. Cette formule se démarque d'une potentielle autre car elle permet que n soit pair, tout en gardant le bon résultat, et permet également : n ∈ ℤ. Notez que cet article est écrit par un jeune amateur des maths.
Article écrit le 31 octobre 2019 (modifié le 01 juillet 2023).
La formule :
Commençons par le constat que j'ai réalisé en faisant mes recherches. Prenons un nombre n, tel que n = 7, et écrivons la suite des nombres entiers impairs inférieurs ou égaux à n :
On remarque que le résultat de cette somme est égal au carré de la médiane de n notée m.
J'ai donc réalisé la conjecture suivante, où n ∈ ℕ et n impair.
Nous savons que la formule pour calculer la médiane mp d'un nombre positif est :
En outre, selon ma conjecture, on peut dire que :
Toutefois, on peut aller plus loin, et permettre : n ∈ ℤ. En effet, la médiane d'un nombre négatif, mz, est :
Donc, la médiane m d'un nombre n tel que n ∈ ℤ est :
En conclusion de la conjecture, on a une formule s :
Cependant, cette formule donnera forcément un nombre positif, même si n < 0, alors pour régler ce souci simplement, et sans modifier le bon résultat de la formule, on fait :
En d'autres termes, on a :
Et :
On pourrait tout à fait s'arrêter là, mais on peut aller plus loin. En effet, la formule ne fonctionne pas pour n pair. Par exemple, n = 8, le résultat devrait être égale à n = 7, car tous les nombres entiers impairs inférieurs ou égaux à n, 8, sont les mêmes que pour n = 7. Or, la médiane de 8 est 4,5 et 4,5² = 20,25 :
On pourrait très bien ignorer ce problème, mais il est possible de le contourner. En effet, on remarque que, dans le calcul de la médiane, quand n est pair, si on n'additionnait pas 1 à n alors le résultat serait bon. Pour faire en sorte que, si n est pair, alors on a 0, et que si n est impair, alors on a 1, il faut utiliser le reste de la division euclidienne de n par 2. Pour réaliser ce calcul dans une formule de ce type, on va utiliser l'arithmétique des congruences (mod).
En conclusion, la formule allant avec la conjecture est :
Dans le calcul du reste de la division euclidienne, nous n'avons pas besoin que n soit positif pour déterminer sa parité :
Démonstration
Soit s la somme des entiers impairs inférieurs ou égaux jusque n, tel que n ∈ ℤ et s ∈ ℤ. Il faut prouver que pour la médiane m de n :
Ou :
Donc, pour n > 0 :
Or, si n impair:
Par conséquent, on a, pour n impair, positif :
Il s'agit du même raisonnement pour la médiane d'un nombre n positif et pair. En effet, la médiane m devient :
Et s est :
Or, pour tout n positif et pair :
Ainsi :
Bien, la formule créée est correcte pour tout nombre n > 0 (on ne prendra jamais en compte n = 0 car le résultat sera bien entendu 0). Dorénavant, nous devons nous attaquer à s quand n négatif. Pour cela, on sait qu'il s'agit de l'opposé de la formule précédente :
Or, cette version de la formule n'est utilisée que lorsque n < 0, alors c'est équivalent à :
En outre, on a ce que l'on voulait au départ :
Il est également possible de retrouver n en sachant s :
Du haut de mes 16 ans, à l'heure où j'écris ces lignes, je ne me risquerai pas à dire qu'il s'agit là d'une démonstration mathématique infaillible et sûre. Cependant, il s'agit d'un raisonnement simple et, par la seule récurrence du phénomène, on peut supposer que cela est juste. Du moins, j'ose l'espérer.
Conclusion :
En bref, on peut établir clairement notre conjecture :
Soit n un nombre entier naturel, tel que n ∈ ℤ. La somme des entiers impairs inférieurs ou égaux à n jusque n est définie de la sorte :
Pour n > 0 :
Pour n < 0 :
, avec p :
dans une formule unifiée appelée s :
Autrement dit, la médiane au carré de la suite arithmétique des entiers impairs inférieurs ou égaux à n est le résultat de la somme de tous ces nombres.