| Property |
Value |
| dbo:abstract
|
- 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 : Une forme quadratique rationnelle à au moins cinq variables représente zéro sur le corps ℚp des nombres p-adiques, pour tout p. 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 Q(x1, x2, x3, x4) = x12 + x22 – p(x32 + x42), 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. (fr)
- 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 : Une forme quadratique rationnelle à au moins cinq variables représente zéro sur le corps ℚp des nombres p-adiques, pour tout p. 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 Q(x1, x2, x3, x4) = x12 + x22 – p(x32 + x42), 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. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3000 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1884 (xsd:integer)
- 1973 (xsd:integer)
- 1978 (xsd:integer)
|
| prop-fr:collection
|
- London Mathematical Society Monographs (fr)
- London Mathematical Society Monographs (fr)
|
| prop-fr:isbn
|
- 0 (xsd:integer)
- 3 (xsd:integer)
|
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lienAuteur
|
- John Cassels (fr)
- John Milnor (fr)
- John Cassels (fr)
- John Milnor (fr)
|
| prop-fr:lieu
|
- London/New York/San Francisco (fr)
- London/New York/San Francisco (fr)
|
| prop-fr:nom
|
- Meyer (fr)
- Cassels (fr)
- Milnor (fr)
- Meyer (fr)
- Cassels (fr)
- Milnor (fr)
|
| prop-fr:numéroDansCollection
|
- 13 (xsd:integer)
- 73 (xsd:integer)
|
| prop-fr:p.
| |
| prop-fr:pagesTotales
| |
| prop-fr:prénom
|
- A. (fr)
- John (fr)
- J. W. S. (fr)
- A. (fr)
- John (fr)
- J. W. S. (fr)
|
| prop-fr:revue
|
- Vierteljahrschrift der Naturforschenden Gesellschaft in Zürich (fr)
- Vierteljahrschrift der Naturforschenden Gesellschaft in Zürich (fr)
|
| prop-fr:titre
|
- Mathematische Mittheilungen (fr)
- Rational Quadratic Forms (fr)
- Symmetric Bilinear Forms (fr)
- Mathematische Mittheilungen (fr)
- Rational Quadratic Forms (fr)
- Symmetric Bilinear Forms (fr)
|
| prop-fr:url
| |
| prop-fr:vol
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- 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 : Q(x1, x2, x3, x4) = x12 + x22 – p(x32 + x42), (fr)
- 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 : Q(x1, x2, x3, x4) = x12 + x22 – p(x32 + x42), (fr)
|
| rdfs:label
|
- Meyer's theorem (en)
- Théorème de Meyer (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
