Enigmes

Forum dédié aux énigmes et à toutes formes de jeux de logique.

Déconnexion

Tu n'es pas identifié sur Prise2tete : s'identifier.

accueil Accueil forum Forum
[+]

 #1 - 06-06-2011 21:43:02

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

uPissance de 2 et carrés

Pour fêter mon 256 ième message, une petite énigme avec des puissances de 2.

Montrer que pour tout entier naturel [latex]n[/latex] on peut trouver un nombre [latex]a[/latex] tel que [latex] 7[/latex] divise [latex]2^n-a^2[/latex].
Les nombres à diviser étant éventuellement avec un signe (dans Z).

Bonnes recherches.

smile


Un mathématicien complet est topologiquement fermé!
  • |
  • Répondre

#0 Pub

 #2 - 06-06-2011 23:24:12

scarta
Elite de Prise2Tete
Enigmes résolues : 49
Messages : 1934

puussance de 2 et carrés

Quand tu dis: "les" nombres étant éventuellement avec un signe, je suppose qu'il s'agit de a uniquement et pas de n (en effet, si n est négatif, alors 2^n n'est pas entier et comme a est un nombre, alors 2^n-a^2 n'est pas entier). On va donc s’intéresser aux valeurs positives de n

On va distinguer plusieurs cas:
Cas 1: n pair
Le cas le plus facile, a=2^(n/2). Dans ce cas, 7 divise bien 0

Cas 2: n impair supérieur ou égal à 3
Dans ce cas, a = 2^((n-3)/2); du coup on a 2^n - 2^(n-3) = 2^(n-3).(2^3-1) = 7k

Cas 3: n=1
Dans ce cas, a=4; du coup on a 2-16 = -14 = -2*7

 #3 - 06-06-2011 23:47:58

Bamby2
Professionnel de Prise2Tete
Enigmes résolues : 0
Messages : 152

Puissance de 2 et carrs

regardons les differentes parité de n
n=2m
alors en prenant [latex]a=2^{m}[/latex]
[TeX]2^{2m}-(2^{m})^2 = 0[/TeX]
or 7 divise 0.
donc pour tout n pair on a une solution

pour n=2m+1 prenons [latex]a=2^{m-1}[/latex]
on obtient alors [latex]2^{2m-2}(2^3-1)[/latex]

pour n=1 on a une soluton evidente donc on a donc une solution pour tout n.

 #4 - 07-06-2011 00:25:52

Clydevil
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 914
Lieu: Seahaven island

Puissance de 2 eet carrés

On remarque que 2^n congrue à 2,4 ou 1 mod 7. (c'est trivialement cyclique, il suffit de calculer les premières valeur pour voir le cycle).

a     congrue à 0 1 2 3 4 5 6 mod 7
a^2 congrue à 0 1 4 2 2 4 1 mod 7.

Notre quantité est 2^n-a^2 la conclusion est triviale.

 #5 - 07-06-2011 07:23:37

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Puissance de 2 et carrrés

Bamby2 j'ai mis les précisions dans l'énoncé.


Un mathématicien complet est topologiquement fermé!

 #6 - 07-06-2011 09:02:36

halloduda
Professionnel de Prise2Tete
Enigmes résolues : 24
Messages : 495
Lieu: Ardèche

puissanve de 2 et carrés

[latex]2^n[/latex] modulo 7 ne prend que les valeurs 1, 2 ou 4.

pour 1, [latex]\alpha[/latex]=1 convient
pour 2, [latex]\alpha[/latex]=3
pour 4, [latex]\alpha[/latex]=2

pour n=1, le nombre à diviser est négatif (-9).

 #7 - 07-06-2011 13:53:29

MthS-MlndN
Hors d'u-Sage
Enigmes résolues : 49
Messages : 12,414E+3
Lieu: Rouen

puossance de 2 et carrés

Donc : pour un entier [latex]n[/latex] quelconque, existe-t'il un entier [latex]a[/latex] tel que [latex]2^n[/latex] et [latex]a^2[/latex] sont de même congruence modulo 7 ?

Les [latex]2^n[/latex] sont congrus a 1, 2 ou 4 modulo 7, pour la simple raison que [latex]2^3[/latex] est congru a 1 modulo 7 : par conséquent, tout cela est cyclique. Pour tout k positif ou nul :
[TeX]2^{3k} \equiv 1 [7]
2^{3k+1} \equiv 2 [7]
2^{3k+2} \equiv 4 [7][/TeX]
Il existe des valeurs de a telles que [latex]a^2[/latex] soit congru a 1, 2 ou 4 modulo 7.

[latex]a=1[/latex] donne [latex]2^{3k}-a^2[/latex] divisible par 7.
[latex]a=3[/latex] donne [latex]2^{3k+1}-a^2[/latex] divisible par 7.
[latex]a=2[/latex] donne [latex]2^{3k+2}-a^2[/latex] divisible par 7.

Mais ce ne sont que des exemples ; on peut probablement prouver qu'une infinité de valeurs de [latex]a[/latex] conviennent dans chaque cas, en prouvant qu'il y a une infinité de carrés congrus a 1, 2 ou 4 (respectivement) modulo 7.


Podcasts Modern Zeuhl : http://radio-r2r.fr/?p=298

 #8 - 07-06-2011 16:49:48

Milou_le_viking
Professionnel de Prise2Tete
Enigmes résolues : 30
Messages : 446

Puissance de 2 et carrs

C'est assez maigre parce que je le démontre pas.

(2^n) mod(7) = {1,2,4}
(a^2) mod(7) = {0,1,2,4}

a = {1,2,3} suffit pour répondre à l'énigme.

 #9 - 07-06-2011 18:48:48

Vasimolo
Le pâtissier
Enigmes résolues : 49
Messages : 5,373E+3

Puissance de 2 et arrés

C'est de la congruence modulo 7 smile
[TeX]2^n \in \{\bar{1};\bar{2};\bar{4}\}[/latex] et [latex]a^2 \in \{\bar{0};\bar{1};\bar{2};\bar{4}\}[/TeX]
Vasimolo

 #10 - 07-06-2011 21:30:40

Kikuchi
Passionné de Prise2Tete
Enigmes résolues : 46
Messages : 91

puissance de 2 et varrés

Est-ce qu'on a [latex]a\in \mathbb{R}[/latex] ?

J'en doute fortement mais je préfère demander, sait-on jamais. roll


There's no scientific consensus that life is important

 #11 - 07-06-2011 22:12:37

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

puissance de 2 et czrrés

[latex]a[/latex] est en entier.smile


Un mathématicien complet est topologiquement fermé!

 #12 - 07-06-2011 22:54:06

rivas
Elite de Prise2Tete
Enigmes résolues : 48
Messages : 1106
Lieu: Jacou

Puiissance de 2 et carrés

Les carrés dans Z/7Z sont 0, 1, 2 et 4.
Il se trouve que les puissances de 2 dans Z/7Z sont 1, 2 et 4.
Pour une puissance de 2, on peut toujours trouver un carré tel que la différence fasse 0 (dans Z/7Z). En revenant dans Z, cela donne notre réponse.

On peut même affiner un peu:
Si n=3k, 2^n vaut 1 dans Z/7Z, il suffit donc de prendre a=7l+1
Si n=3k+1, 2^n vaut 2 dans Z/7Z, il suffit donc de prendre a=7l+3
Si n=3k+2, 2^n vaut 4 dans Z/7Z, il suffit donc de prendre a=7l+2

Merci pour cette énigme.
PS: J'aime bien qu'on célèbre les puissances de 2 smile

 #13 - 08-06-2011 17:06:26

Alexein41
Professionnel de Prise2Tete
Enigmes résolues : 29
Messages : 119

pyissance de 2 et carrés

Si on veut reformuler la question, on aurait "Est-ce qu'il existe un entier [latex]a[/latex] tel que pour tout entier naturel [latex]n[/latex], [latex]7[/latex] divise [latex]2^n - a^2[/latex] ?"
[TeX]2^0 - a^2 \equiv 1 - a^2 [7][/TeX]
[TeX]2^1 - a^2 \equiv 2 - a^2 [7][/TeX]
[TeX]2^2 - a^2 \equiv 4 - a^2 [7][/TeX]
[TeX]2^3 - a^2 \equiv 1 - a^2 [7][/TeX]
...

On remarque que les congruences sont les mêmes si [latex]n[/latex] est de la forme [latex]3k[/latex] ; [latex]3k + 1[/latex] ou [latex]3k + 2[/latex].
[TeX]2^3^k - a^2 \equiv 1 - a^2 [7][/TeX]
Si [latex]a = 1[/latex], alors [latex]2^3^k - a^2[/latex] est divisible par [latex]7[/latex]
(car [latex]2^3^k - a^2[/latex] est ainsi congru à [latex]0[/latex] modulo [latex]7[/latex], d'où la divisibilité). Pour [latex]n = 3k[/latex], il existe bien un entier [latex]a[/latex] tel que [latex]2^n - a^2[/latex] soit divisible par [latex]7[/latex].

De même, [latex]2^3^(^k^+^1^) - a^2 \equiv 2 - a^2 [7][/latex]
En prenant [latex]a = 4[/latex], c'est congru à [latex]-14[/latex] modulo [latex]7[/latex], soit [latex]0[/latex], d'où la divisibilité.

De même, [latex]2^3^(^k^+^2^) - a^2 \equiv 4 - a^2 [7][/latex]
En prenant [latex]a = 2[/latex], c'est congru à [latex]0[/latex] modulo [latex]7[/latex], donc c'est divisible par [latex]7[/latex].

On a bien montré que pour tout entier naturel [latex]n[/latex], on peut trouver un nombre [latex]a[/latex]
([latex]1[/latex] ; [latex]4[/latex] ; ou [latex]2[/latex] suivant les valeurs de [latex]n[/latex]), tel que [latex]7[/latex] divise [latex]2^n - a^2[/latex].

Alexein41 .

 #14 - 09-06-2011 17:56:31

nodgim
Elite de Prise2Tete
Enigmes résolues : 0
Messages : 3801

puissance de 2 et carréd

2^(1+3k)-3²
2^(3k+3)-1²
2^(2+3k)-5²
pour k entier ou nul sont divisibles par 7.

 #15 - 09-06-2011 22:07:17

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

puissance de 2 et carréd

Bravo à tous et merci d'avoir participé. smile


Un mathématicien complet est topologiquement fermé!

 #16 - 10-06-2011 22:04:16

MthS-MlndN
Hors d'u-Sage
Enigmes résolues : 49
Messages : 12,414E+3
Lieu: Rouen

Puissance de 2 et carréss

Bon, maintenant, qui nous prouve que, pour toute valeur de n (on peut le ramener a trois cas, comme tout le monde l'a vu), il y a une infinité de valeurs de a qui respectent l'équivalence de l'énoncé ?


Podcasts Modern Zeuhl : http://radio-r2r.fr/?p=298

 #17 - 11-06-2011 00:27:05

shadock
Elite de Prise2Tete
Enigmes résolues : 39
Messages : 3334

puissance dz 2 et carrés

Tu permets mais j'attaque la deuxième ligne de l'énoncé lol


"L'expérience est une lanterne qui n'éclaire que celui qui la porte." L-F. Céline

 #18 - 11-06-2011 07:35:50

franck9525
Elite de Prise2Tete
Enigmes résolues : 48
Messages : 1935
Lieu: 86310

puisdance de 2 et carrés

MthS-MlndN a écrit:

Bon, maintenant, qui nous prouve que, pour toute valeur de n (on peut le ramener a trois cas, comme tout le monde l'a vu), il y a une infinité de valeurs de a qui respectent l'équivalence de l'énoncé ?

Rivas le fait très bien !


The proof of the pudding is in the eating.
 

Réponse rapide

Rédige ton message
| | | | Upload | Aide
:) :| :( :D :o ;) :/ :P :lol: :mad: :rolleyes: :cool:
Sécurité

Répondez à la devinette suivante : 

Le père de toto a trois fils : Riri, Fifi et ?

Mots clés des moteurs de recherche

Mot clé (occurences)
2 puissance 2009 (7) — Enigmes de math a t on 2 puissance n + 2 puissance n = 2puissance n+1 (4) — Puissances de 2 (4) — Puissance de deux (3) — Montrer que pour tout naturel n le nombre 5^2n - 14^n est divisible par 11 (2) — Enigme avec les puissances (2) — Montrer que 7 divise (2) — 2 a la puissance n - 3 a la puissance n (2) — 2 puissance n modulo (2) — 2puissancen+2puissancen+1+2puissancen+2) divible par 7 (2) — 2 puissance 2 puissance n (2) — Puissance de deux et modulo deux (2) — Jeu+de+devinette+puissance+de+deux (1) — Prouver 2 puissance n + 2 puissance n (1) — Puissance de 2 (1) — N au carre / 2 puissance n (1) — Devinette avec puissance (1) — Diviser 3 puissance n+2 par 3 puissance 2n (1) — Forum montrer que tout nombre entier naturel n est congru modulo 6 a 01234 et 5 (1) — Puissances de 2 modulo n (1) — 3 puissance(2*n)-2 puissance(n) (1) — Demontrer que pour tout entier naturel n>2 5 puissance n > 4puissance n +3puissance n (1) — E puissance de nombre eventuellement en (1) — Prouver 2 puissance n + 2 puissance n = 2 puissance n+1 (1) — 2 puissance n modulo n (1) — 2^(n+2) divise a^(2^n)-1 (1) — 4puissance n modulo 5 (1) — Demontrer que 2 puissance n+2 puissance 2 n+1 (1) — Enigme 2 puissance 29 (1) — 2 puissance n et 3 puissance n (1) — On a 5puissance 2 ega 4 puissance 7+3puissance2 (1) — Puissances de 3/2 modulo 1 (1) — Les carre modulo puissance n (1) — (n+1)/(2 puissance n) (1) — Montrer que pour tout n>4 : un > 2 puissance n (1) — Trouver une enigme de math a t on 2 puissance n + 2 puissance n=2 puissance n+1 (1) — 2 puissance 2009 modulo 5 (1) — 3 puissance 2011 divisibilite (1) — Valeur de 2 puissance 3 (1) — Modulo puissance de 2 (1) — Puissances de 2 modulo 7 (1) — La raison pour la puissance de 2 (1) — Puissance n ramener a un puissance 2 (1) — Carres modulo puissance 2 (1) — 2puissance 3k congru (1) — Algorithme puissances de 2 modulo 5 (1) — (7z+2) puissance 2 reponse (1) — 2 puissance n divise par 3 (1) — 2 puissance n (1) — 2 a la puissance (1) — Prouver 2 puissance n + 2 puissance n = (1) — 2 puissance n cercle (1) — Solution _3 a la puissance 4 (1) — Les valeur puissance de 2 (1) — Deux puissance n + deux puissance n (1) — Un entier n est pas une puissance de 2 (1) — Puissance de 2 pour 1 (1) — 2 puissance n n carre (1) — Liste des puissances de 2 (1) — Prouver que 2 exposant n+2 exposant n=2 exposant (n+1) (1) — Combien vaut 2 a la puissance 4 (1) — 2 puissance 3/4 (1) — Le nombre 3 puissance 2n - 2 puissance n (1) — Puissance de2 divisible par (1) — Demontrer que 2 puissance n + 2 puissance n = 2 puissance n+1 (1) — Enigme 3a/15+4++7(1)/7l/2m (1) — 2 * 2 exposant n+1 (1) — Puissance de 2 et divisibilite par 7 (1) — Carre de n divise puissance 2 (1) — Demontrer que 7 divise (1) — Puissance de 2 et carres (1) — Enigme avec puissance (1) — Puissance de 3 (1) — (3+puissance+n)-(2+puissance+n)?0+(modulo+n) (1) —

Pied de page des forums

P2T basé sur PunBB
Screenshots par Robothumb

© Copyright 2002–2005 Rickard Andersson

Prise2Tete Forum Statistiques Liste des membres Hall of Fame Contact
© Prise2tete - Site d'énigmes et de réflexion.
Un jeu où seules la réflexion, la logique et la déduction permettent de trouver la solution.

Flux RSS de Prise2Tete Forum Jeux & Prise2Tete Test & Prise2Tete Partenariat et Publicité sur Prise2Tete