Salut,
Je cherche a savoir pour quelle valeur de k
(2k+1)! divise produit ((3i)^2 -1) i variant de 1 a k
Je donne un exemple pour eviter toute confusion vu que ce n`est pas ecrit en latex
Exemple k=3
(2*3+1)!=7!=5040
produit ((3i)^2 -1) i variant de 1 a 3 = 8*35*80=22040
Pour k=3
(2*3+1)! ne divise pas produit ((3i)^2 -1) i variant de 1 a 3
Merci pour tout eclairage.
Divisibilite
9 messages
- Page 1 sur 1
par Ben314 » 12 Déc 2013, 17:48
Salut,
^2-1\big)=\prod_{i=1}^{k}\frac{3i(3i-1)(3i+1)}{3i}=\frac{(3k+1)!}{3^k.k!}\)
donc
!\,|\,P_k\ \Leftrightarrow\ 3^k\,|\,\frac{(3k+1)!}{k!(2k+1)!}={3k+1 \choose k}=C_k\)
(coeff. binomial) Ce qui signifie que la valuation triadique )
(exposant de 3 dans la décomposition en nombres premiers de 
) doit être 
.
Or, pour tout p premier et tout entier n, il est façile de vérifier que=\sum_{i\geq 1}\lfloor\frac{n}{p^i}\rfloor)
donc
<br />=\sum_{i\geq 1}\Big(\lfloor\frac{3k+1}{3^i}\rfloor-\lfloor\frac{2k+1}{3^i}\rfloor-\lfloor\frac{k}{3^i}\rfloor\Big)<br />=\sum_{i\geq 1}\Big(\lfloor\frac{k}{3^{i-1}}\rfloor-\lfloor\frac{2k+1}{3^i}\rfloor-\lfloor\frac{k}{3^i}\rfloor\Big)<br />=k-\sum_{i\geq 1}\lfloor\frac{2k+1}{3^i}\rfloor)
donc...
Or, pour tout p premier et tout entier n, il est façile de vérifier que
donc...
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
par PapyRusse » 12 Déc 2013, 18:30
Merci pour la preuve.
Si j`ai bien compris aucune valeur de k ne permet la divisibilite.
Si j`ai bien compris aucune valeur de k ne permet la divisibilite.
par Ben314 » 12 Déc 2013, 19:23
Oui... sauf si je me suis gourré dans les calculs...PapyRusse a écrit:Merci pour la preuve.
Si j`ai bien compris aucune valeur de k ne permet la divisibilite.
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
par PapyRusse » 13 Déc 2013, 02:10
Ben314 a écrit:Oui... sauf si je me suis gourré dans les calculs...
Y a toujours un doute la?
par MMu » 13 Déc 2013, 05:51
PapyRusse a écrit:Y a toujours un doute la?
Il n'y a aucun doute. Trivial :
.. :lol3: ..:zen: .
par Ben314 » 13 Déc 2013, 08:09
Vu comme ça, il y a... moins de risque d'erreurs... :lol3:MMu a écrit:Il n'y a aucun doute. Trivial :n'est pas divisible par
(
) puisque
mais
ne l'est pas
.. :lol3: ..:zen: .
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
9 messages
- Page 1 sur 1
Qui est en ligne
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 40 invités
Tu pars déja ?
Fais toi aider gratuitement sur Maths-forum !
Créé un compte en 1 minute et pose ta question dans le forum ;-)
Identification
Pas encore inscrit ?
Ou identifiez-vous :