Théorème de Meyer
Pour le théorème de Meyer en théorie de la complexité, voir P/poly.
Le théorème de Meyer est un résultat de théorie des nombres, qui établit que toute forme quadratique Q à au moins cinq variables sur le corps des rationnels représente zéro (de façon non triviale) dès que Q est non définie, c'est-à-dire que si l'équation Q(x) = 0 possède au moins une solution non nulle réelle alors elle en possède une rationnelle (donc aussi une entière, en évacuant les dénominateurs).
Ce théorème se déduit aujourd'hui du théorème de Hasse-Minkowski (démontré ultérieurement) et du lemme suivant :
Le théorème de Meyer est optimal quant au nombre de variables : il existe des formes quadratiques rationnelles non définies en quatre variables qui ne représentent pas zéro. Une famille d'exemples est donnée par
où p est un nombre premier congru à 3 modulo 4. On peut le démontrer par descente infinie, en utilisant que si une somme de deux carrés parfaits est divisible par un tel p alors chacun des deux carrés l'est.
Notes et références
modifier- (en) A. Meyer, « Mathematische Mittheilungen », Vierteljahrschrift der Naturforschenden Gesellschaft in Zürich, vol. 29, , p. 209-222 (lire en ligne)
- (en) John Milnor et Dale Husemöller (de), Symmetric Bilinear Forms, Springer, coll. « Ergebnisse der Mathematik und ihrer Grenzgebiete (en) » (no 73), (ISBN 3-540-06009-X), Zbl 0292.10016
- Jean-Pierre Serre, Cours d'arithmétique, [détail des éditions]
- (en) J. W. S. Cassels, Rational Quadratic Forms, London/New York/San Francisco, Academic Press, coll. « London Mathematical Society Monographs » (no 13), , 413 p. (ISBN 0-12-163260-1), Zbl 0395.10029
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Meyer's theorem » (voir la liste des auteurs).
