| Attributes | Values |
|---|
| rdfs:label
| - Meyer's theorem (en)
- Théorème de Meyer (fr)
|
| 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)
|
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| Link from a Wikipage to an external page
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| prop-fr:année
| |
| prop-fr:collection
| - London Mathematical Society Monographs (fr)
|
| prop-fr:isbn
| |
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lienAuteur
| - John Cassels (fr)
- John Milnor (fr)
|
| prop-fr:lieu
| - London/New York/San Francisco (fr)
|
| prop-fr:nom
| - Meyer (fr)
- Cassels (fr)
- Milnor (fr)
|
| prop-fr:pagesTotales
| |
| prop-fr:prénom
| - A. (fr)
- John (fr)
- J. W. S. (fr)
|
| prop-fr:titre
| - Mathematische Mittheilungen (fr)
- Rational Quadratic Forms (fr)
- Symmetric Bilinear Forms (fr)
|
| prop-fr:url
| |
| prop-fr:éditeur
| |
| prop-fr:p.
| |
| prop-fr:revue
| - Vierteljahrschrift der Naturforschenden Gesellschaft in Zürich (fr)
|
| prop-fr:vol
| |
| prop-fr:numéroDansCollection
| |
| foaf:isPrimaryTopicOf
| |
| has 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)
|
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)