Arithmétique : un classique [TS]
Olympiades mathématiques, énigmes et défis
-
Kikoo <3 Bieber
- Membre Transcendant
- Messages: 3814
- Enregistré le: 28 Avr 2012, 09:29
-
par Kikoo <3 Bieber » 23 Aoû 2012, 10:34
Salut,
Soit n premier.
Montrer que
^n\equiv a^n+b^n\,\mathrm{mod}\, n)
Bonne chance

-
Hannaut
- Membre Relatif
- Messages: 196
- Enregistré le: 06 Jan 2011, 03:06
-
par Hannaut » 31 Aoû 2012, 09:16
C'est du cours ça ?
-
acoustica
- Membre Irrationnel
- Messages: 1043
- Enregistré le: 08 Juil 2008, 10:00
-
par acoustica » 02 Sep 2012, 21:10
Kikoo <3 Bieber a écrit:Nan, c'est un exo

Binôme de Newtoooon =)
-
acoustica
- Membre Irrationnel
- Messages: 1043
- Enregistré le: 08 Juil 2008, 10:00
-
par acoustica » 03 Sep 2012, 21:06
Dommage que ça n'intéresse pas les TS, c'est un exercice plutôt sympa... et plus difficile qu'il n'y paraît.
Au début je croyais qu'il suffisait d'appliquer le binôme de Newton mais héhé, l'hypothèse "n premier" n'est pas là pour rien...
-
chan79
- Membre Légendaire
- Messages: 10330
- Enregistré le: 04 Mar 2007, 19:39
-
par chan79 » 04 Sep 2012, 09:05
acoustica a écrit:Dommage que ça n'intéresse pas les TS, c'est un exercice plutôt sympa... et plus difficile qu'il n'y paraît.
Au début je croyais qu'il suffisait d'appliquer le binôme de Newton mais héhé, l'hypothèse "n premier" n'est pas là pour rien...
Salut
prenons un coefficient
!})
Il est égal au produit de n par un entier car le n du développement de n! étant premier, il ne se simplifie pas. (sauf si p=0 ou n bien-sûr)
-
MMu
- Membre Relatif
- Messages: 401
- Enregistré le: 11 Déc 2011, 22:43
-
par MMu » 15 Sep 2012, 13:59
Kikoo <3 Bieber a écrit:Salut,
Soit n premier.
Montrer que
^n\equiv a^n+b^n\,\mathrm{mod}\, n)
Bonne chance

Une autre facon , avec le petit th de Fermat :
^n\equiv a+b\equiv a^n+b^n)
:zen:
-
Luc
- Membre Irrationnel
- Messages: 1806
- Enregistré le: 28 Jan 2006, 12:47
-
par Luc » 15 Sep 2012, 14:06
MMu a écrit:Une autre facon , avec le petit th de Fermat :
^n\equiv a+b\equiv a^n+b^n)
:zen:
Salut,
oui mais justement, comment tu démontres le petit th de Fermat? Grâce à cet exercice!
-
Doraki
- Habitué(e)
- Messages: 5021
- Enregistré le: 20 Aoû 2008, 11:07
-
par Doraki » 15 Sep 2012, 14:13
Heu le petit théorème de fermat je l'ai jamais vu démontré autrement qu'en disant que (Z/pZ)* est un groupe.
-
Luc
- Membre Irrationnel
- Messages: 1806
- Enregistré le: 28 Jan 2006, 12:47
-
par Luc » 15 Sep 2012, 14:20
Doraki a écrit:Heu le petit théorème de fermat je l'ai jamais vu démontré autrement qu'en disant que (Z/pZ)* est un groupe.
Moi je l'avais fait comme ça en terminale (en montrant que si p est premier p que divise le coefficient binomial)
-
nodjim
- Membre Complexe
- Messages: 3241
- Enregistré le: 24 Avr 2009, 16:35
-
par nodjim » 15 Sep 2012, 14:21
Je suis pas sûr que Monsieur Euler l'a démontré de cette façon....
-
Doraki
- Habitué(e)
- Messages: 5021
- Enregistré le: 20 Aoû 2008, 11:07
-
par Doraki » 15 Sep 2012, 14:24
Donc après tu faisais une récurrence sur x pour montrer que pour tout x dans {1..p-1}, x^p = x ?
-
Kikoo <3 Bieber
- Membre Transcendant
- Messages: 3814
- Enregistré le: 28 Avr 2012, 09:29
-
par Kikoo <3 Bieber » 15 Sep 2012, 14:26
Luc a écrit:Salut,
oui mais justement, comment tu démontres le petit th de Fermat? Grâce à cet exercice!
Tout à fait !
Doraki : Gnéé ? ^^ Nan je sais, je devrais voir ça cette année, mais mon prof de maths m'a dit qu'on ne ferait pas d'arithmétique (du moins pas modulaire quoi)...

Nodjim : Justement, y avait pas encore d'arithmétique modulaire du temps d'Euler. C'est Gauss qui l'a démontré comme dans l'exo.
-
MMu
- Membre Relatif
- Messages: 401
- Enregistré le: 11 Déc 2011, 22:43
-
par MMu » 15 Sep 2012, 14:29
Luc a écrit:Salut,
oui mais justement, comment tu démontres le petit th de Fermat? Grâce à cet exercice!
Tu t`egares ..... :zen:
-
Kikoo <3 Bieber
- Membre Transcendant
- Messages: 3814
- Enregistré le: 28 Avr 2012, 09:29
-
par Kikoo <3 Bieber » 15 Sep 2012, 14:30
MMu a écrit:Tu t`egares ..... :zen:
Et pourtant ! On est pas sensé utiliser ce théorème dans l'exo.
-
nodjim
- Membre Complexe
- Messages: 3241
- Enregistré le: 24 Avr 2009, 16:35
-
par nodjim » 15 Sep 2012, 14:33
Kikoo <3 Bieber a écrit:Tout à fait !
Nodjim : Justement, y avait pas encore d'arithmétique modulaire du temps d'Euler. C'est Gauss qui l'a démontré comme dans l'exo.
Ma remarque s'adressait à Doraki.
-
Luc
- Membre Irrationnel
- Messages: 1806
- Enregistré le: 28 Jan 2006, 12:47
-
par Luc » 15 Sep 2012, 14:35
Doraki a écrit:Donc après tu faisais une récurrence sur x pour montrer que pour tout x dans {1..p-1}, x^p = x ?
un truc comme ça oui!
-
Kikoo <3 Bieber
- Membre Transcendant
- Messages: 3814
- Enregistré le: 28 Avr 2012, 09:29
-
par Kikoo <3 Bieber » 15 Sep 2012, 14:35
Hmmm non, je retire : C'est Gauss qui l'a démontré grâce à l'arithmétique modulaire et Euler+Leibniz l'ont démontré grâce à du calcul littéral.
Ref : [url]http://fr.wikipedia.org/wiki/Petit_théorème_de_Fermat#D.C3.A9monstration_d.27Euler_et_de_Leibniz[/url]
-
Luc
- Membre Irrationnel
- Messages: 1806
- Enregistré le: 28 Jan 2006, 12:47
-
par Luc » 15 Sep 2012, 14:48
Il me semble que c'est Gauss qui a inventé les congruence dans son livre disquisitiones arithmeticae, écrit en 1798. Gauss avait alors ... 21 ans!
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 11 invités