This HTML5 document contains 57 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n17https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
n12https://archive.org/details/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Meyer's_theorem
rdf:type
yago:Message106598915 yago:WikicatQuadraticForms yago:Communication100033020 yago:Relation100031921 yago:Proposition106750804 yago:WikicatTheoremsInNumberTheory yago:Form106290637 yago:WikicatBilinearForms yago:Statement106722453 yago:Word106286395 yago:Part113809207 yago:Theorem106752293 yago:Abstraction100002137 yago:LanguageUnit106284225
rdfs:label
Théorème de Meyer Meyer's theorem
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), In number theory, Meyer's theorem on quadratic forms states that an indefinite quadratic form Q in five or more variables over the field of rational numbers nontrivially represents zero. In other words, if the equation Q(x) = 0 has a non-zero real solution, then it has a non-zero rational solution (the converse is obvious). By clearing the denominators, an integral solution x may also be found. Meyer's theorem is usually deduced from the Hasse–Minkowski theorem (which was proved later) and the following statement: Q(x1,x2,x3,x4) = x12 + x22 − p(x32 + x42),
dcterms:subject
dbc:Theorems_in_number_theory dbc:Quadratic_forms
dbo:wikiPageID
2115190
dbo:wikiPageRevisionID
1031855533
dbo:wikiPageWikiLink
dbr:P-adic_number dbr:Number_theory dbr:Graduate_Texts_in_Mathematics dbr:Real_number dbr:Lattice_(group) dbr:Modular_arithmetic dbr:Oppenheim_conjecture dbr:Hasse–Minkowski_theorem dbc:Theorems_in_number_theory dbr:Springer-Verlag dbr:Infinite_descent dbr:Ergebnisse_der_Mathematik_und_ihrer_Grenzgebiete dbr:Rational_number dbc:Quadratic_forms dbr:Prime_number dbr:Square_number dbr:Quadratic_form dbr:Academic_Press dbr:Indefinite_quadratic_form dbr:Field_(mathematics)
dbo:wikiPageExternalLink
n12:courseinarithmet00serr
owl:sameAs
wikidata:Q6826396 dbpedia-fr:Théorème_de_Meyer freebase:m.06n42b n17:4s5Yp yago-res:Meyer's_theorem
dbp:wikiPageUsesTemplate
dbt:Cite_book dbt:Short_description dbt:For dbt:Cite_journal
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. In number theory, Meyer's theorem on quadratic forms states that an indefinite quadratic form Q in five or more variables over the field of rational numbers nontrivially represents zero. In other words, if the equation Q(x) = 0 has a non-zero real solution, then it has a non-zero rational solution (the converse is obvious). By clearing the denominators, an integral solution x may also be found. Meyer's theorem is usually deduced from the Hasse–Minkowski theorem (which was proved later) and the following statement: A rational quadratic form in five or more variables represents zero over the field Qp of the p-adic numbers for all p. Meyer's theorem is best possible with respect to the number of variables: there are indefinite rational quadratic forms Q in four variables which do not represent zero. One family of examples is given by Q(x1,x2,x3,x4) = x12 + x22 − p(x32 + x42), where p is a prime number that is congruent to 3 modulo 4. This can be proved by the method of infinite descent using the fact that if the sum of two perfect squares is divisible by such a p then each summand is divisible by p.
prov:wasDerivedFrom
wikipedia-en:Meyer's_theorem?oldid=1031855533&ns=0
dbo:wikiPageLength
2870
foaf:isPrimaryTopicOf
wikipedia-en:Meyer's_theorem