Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
233 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

QDV 14; un peu de Sancery?

Envoyé par Norbert Verdier 
QDV 14; un peu de Sancery?
il y a six années
Bonjour à toutes et à tous;

Pour cette dernière "question du vendredi 2012", nous vous invitons à partager avec nous un peu plus Sancery! Liouville note dans un de ses 340 carnets détenus à Bibliothèque de l'Institut de France :

" Mercredi 31 mai 1876.

Mr Sancery, 3 rue de l'Odéon, vient me communiquer ce théorème : $p$ étant un nombre premier impair tel que $p-1= 2^wa^{\alpha}b^{\beta}c^{\gamma}...$, l'équation $\displaytime x^{2^wm}+y^{2^wm}=p^{\mu}$, $m$ et $\mu$ étant quelconques, est impossible.

Je n'en puis rien dire. Mr Sancery viendra peut-être me voir au Collège de France." [Fonds Liouville, Bibliothèque de l'Institut de France, MS 36 38 (8)].

Qu'est-ce que cela vous inspire? Qu'auriez-vous dit à la place de Liouville? Sancery était-il dans le vrai? A-t-il publié son résultat? Qui était ce Sancery? Laissez de multiples questions vous tarauder l'esprit! Bonnes fêtes avec ... un peu de Sancery. Norbert p/o Le Comité du Vendredi.
JLT
Re: QDV 14; un peu de Sancery?
il y a six années
avatar
Soit $p$ un nombre premier impair tel que $2^{w+1}$ ne divise pas $p-1$. Montrons qu'il n'existe pas d'entiers $x,y\ge 1$ et $\mu\ge 0$ tels que $x^{2^wm}+y^{2^wm}=p^\mu$.

Si $x$ et $y$ sont divisibles par $p$, on peut trouver une solution plus petite en remplaçant $x$, $y$ et $\mu$ par $x/p$, $y/p$ et $\mu-2^wm$. On peut donc supposer que $y$ n'est pas divisible par $p$. Dans $\Z/p^\mu\Z$, on a $u^{2^w}=-1$ où $u=\bar{x}^m\bar{y}^{-m}$. On en déduit facilement que $u$ est d'ordre $2^{w+1}$ dans le groupe multiplicatif $(\Z/p^\mu\Z)^*$. Or, ce groupe est cyclique (Edit : la cyclicité est inutile ici) d'ordre $p^{\mu-1}(p-1)$, donc $2^{w+1}$ divise $p^{\mu-1}(p-1)$. Comme $p$ est premier avec $2$, il s'ensuit que $2^{w+1}$ divise $p-1$, ce qui est contradictoire.
JLT
Re: QDV 14; un peu de Sancery?
il y a six années
avatar
Sinon, sur internet on trouve deux travaux de Sancery :

[archive.numdam.org]

[archive.numdam.org]
Re: QDV 14; un peu de Sancery?
il y a six années
Merci JLT pour cette démonstration. Mais ce ne pouvait être celle qu'a dû expertiser Liouville. Bonne soirée. Norbert.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 136 718, Messages: 1 322 060, Utilisateurs: 24 177.
Notre dernier utilisateur inscrit Chap1nico.


Ce forum
Discussions: 877, Messages: 11 298.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page