Amis shtameurs, un problème pour vous.
dans Shtam
Soient $k,n$ des entiers naturels non nuls. $S_k(n)=\sum_{j=1}^n j^k$
La conjecture suivante est, semble-t-il, non démontrée:
Soient $k\geq 1$ et $n\geq 3$, $\dfrac{S_k(n+1)}{S_k(n)}$ est un entier si et seulement si $n=3$ et, $k=1$ ou $k=3$.
La conjecture suivante est, semble-t-il, non démontrée:
Soient $k\geq 1$ et $n\geq 3$, $\dfrac{S_k(n+1)}{S_k(n)}$ est un entier si et seulement si $n=3$ et, $k=1$ ou $k=3$.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Il y a une coquille dans l'énoncé, je crois:
Il faut rempacer $3$ par $2$ lorsqu'il est comparé à $n$.
Cordialement
Paul
@Tonm: FdP n'a pas encore lu mon premier message, sinon il aurait corrigé sa coquille.
Par ailleurs, si $n=2$, je ne vois pas des tas de $k$ "qui font un entier". J'en vois seulement deux, à savoir $1$ et $3$ comme prévu dans la conjecture.
Cordialement
Paul
Première remarque élémentaire:
Si $n \equiv 0 [4]$ ou $n\equiv 3 [4]$ Alors $S_k(n)$ est pair
Si $n \equiv 1 [4]$ ou $n \equiv 2[4]$ Alors $S_k(n)$ est impair
Ainsi $(n+1)^k$ et $S_k(n)$ sont de parité différente si $n\mod 0[4]$ ou $n\mod 1[4]$
Les $n$ qui vérifient la propriété sont donc de la forme $4m+2$ ou $4m+3$
Deuxième remarque élémentaire:
$n^k + (n-1)^k = 2n^k + O(n^{k-1} ) $, donc $ \exists N_k, \ \forall n > N_k$, $S_k(n) \geq (n+1)^k$
Pour chaque valeur de $k$, il n'existe donc au plus qu'un nombre fini de $n$ qui vérifient la propriété.
S_k(n) = \sum_{j=1}^{n-1} j^k
\]
Dans ce cas, on a bien $n = 3$ est solution (pour $k = 1$ et $k = 3$).
Démontrer (ou réfuter) la conjecture équivaut à chercher les $(k,n) \in \mathbb{N}_{\geqslant 1} \times \mathbb{N}_{\geqslant 3}$ tels que $S_k(n)$ divise $n^k$.
En utilisant un peu d'arithmétique, on obtient les résultats suivants :
Si $k = 1$, alors $S_1(n) = \frac{(n-1)\,n}{2}$ divise $n$,
donc $n = 3$ est l'unique solution.
Si $k = 2$, alors $S_2(n) = \frac{(n-1)\,n\,(2n-1)}{6}$ divise $n^2$,
donc montre qu'il n'y a aucune solution.
Si $k=3$, alors $S_k(n) = \frac{(n-1)^2\,n^2}{4}$ divise $n^3$,
donc $n = 3$ est l'unique solution.
Pour $k > 3$, on peut améliorer l'observation de Tryss en donnant une condition nécessaire plus précise (dépendant de $k$) sur les valeurs de $n$ solutions.
On sait, grâce à la formule de Faulhaber, que $S_k(n)$ est égal à un multiple de $(n-1)/P(k)$ où $P(k)$ est un nombre qui dépend de la suite des nombres de Bernouilli, que l'on peut calculer en appliquant le théorème de von Staudt-Clausen. En particulier, $P(k)$ divise le produit de tous les nombres premiers inférieurs ou égaux à $(k+1)$.
On en déduit :\[
\large S_k(n) \text{ divise } n^k \implies (n-1) \text{ divise } P(k)
\] et donc en particulier, $(n-1)$ divise les produit de tous les nombres premiers inférieurs ou égaux à $(k+1)$.
Si la conjecture est vraie, il est alors facile de la vérifier pour tout $k \leq \kappa$ avec $\kappa$ suffisamment petit, on calcule la valeur exacte de $P(k)$ et on teste toutes les valeurs de $n$ telles que $(n-1)$ divise $P(k)$.
Par contre, démontrer qu'il n'y a pas de solution pour tout $k$ arbitrairement grand est une autre paire de manches…
Pour ceux qui peuvent lire l'article d'où je tire ce problème ouvert:
https://maa.tandfonline.com/doi/full/10.1080/00029890.2019.1606577