15- en 290-stelling: verschil tussen versies
k robot Erbij: fr:Théorème des 15 |
|||
| Regel 2: | Regel 2: | ||
De '''15-stelling''' van [[John Conway|John H. Conway]] en [[William A. Schneeberger]], bewezen in [[1993]], stelt dat als een geheeltallige [[kwadratische vorm|positief definiete kwadratische vorm]] (we nemen vanaf hier impliciet op deze pagina aan dat de kwadratische vormen positief definiet zijn) met geheeltallige matrix alle positieve gehele getallen tot en met [[15 (getal)|15]] representeert, dat het dan alle positieve gehele getallen representeert. Het bewijs was gecompliceerd en werd nooit gepubliceerd. [[Manjul Bhargava]] vond een veel eenvoudiger bewijs dat werd gepubliceerd in [[2000]]. |
De '''15-stelling''' van [[John Conway|John H. Conway]] en [[William A. Schneeberger]], bewezen in [[1993]], stelt dat als een geheeltallige [[kwadratische vorm|positief definiete kwadratische vorm]] (we nemen vanaf hier impliciet op deze pagina aan dat de kwadratische vormen positief definiet zijn) met geheeltallige matrix alle positieve gehele getallen tot en met [[15 (getal)|15]] representeert, dat het dan alle positieve gehele getallen representeert. Het bewijs was gecompliceerd en werd nooit gepubliceerd. [[Manjul Bhargava]] vond een veel eenvoudiger bewijs dat werd gepubliceerd in [[2000]]. |
||
De bovengrens van 15 is optimaal, omdat er kwadratische vormen |
De bovengrens van 15 is optimaal, omdat er kwadratische vormen, zoals |
||
:''w''<sup>2</sup> + 2''x''<sup>2</sup> +5''y''<sup>2</sup> +5''z''<sup>2</sup>, |
:''w''<sup>2</sup> + 2''x''<sup>2</sup> +5''y''<sup>2</sup> +5''z''<sup>2</sup>, |
||
die alle positieve gehele getallen ongelijk aan 15 representeren. |
zijn die alle positieve gehele getallen ongelijk aan 15 representeren. |
||
Een kwadratische vorm die alle positieve gehele getallen representeert wordt soms '''universeel''' genoemd. |
Een kwadratische vorm die alle positieve gehele getallen representeert, wordt soms '''universeel''' genoemd. Zo is |
||
:''w''<sup>2</sup>+''x''<sup>2</sup>+ ''y''<sup>2</sup>+''z''<sup>2</sup> |
:''w''<sup>2</sup>+''x''<sup>2</sup>+ ''y''<sup>2</sup>+''z''<sup>2</sup> |
||
universeel, omdat ieder positief geheel getal als som van vier kwadraten kan worden geschreven volgens de [[vier-kwadratenstelling van Lagrange]]. Deze [[stelling (wiskunde)|stelling]] wordt in het bewijs voor de 15-stelling gebruikt als hulpstelling. |
|||
De 15-stelling kan worden gepreciseerd door niet te eisen dat alle positieve gehele getallen tot en met 15 worden gerepresenteerd, maar alleen de getallen 1, 2, 3, 5, 6, 7, 10, 14 en 15. Voor elk van deze getallen bestaan er kwadratische vormen die alle positieve gehele getallen representeren met uitzondering van dat getal. |
De 15-stelling kan worden gepreciseerd door niet te eisen dat alle positieve gehele getallen tot en met 15 worden gerepresenteerd, maar alleen de getallen 1, 2, 3, 5, 6, 7, 10, 14 en 15. Voor elk van deze getallen bestaan er kwadratische vormen die alle positieve gehele getallen representeren met uitzondering van dat getal. |
||
Versie van 27 jan 2011 15:42
15-stelling
De 15-stelling van John H. Conway en William A. Schneeberger, bewezen in 1993, stelt dat als een geheeltallige positief definiete kwadratische vorm (we nemen vanaf hier impliciet op deze pagina aan dat de kwadratische vormen positief definiet zijn) met geheeltallige matrix alle positieve gehele getallen tot en met 15 representeert, dat het dan alle positieve gehele getallen representeert. Het bewijs was gecompliceerd en werd nooit gepubliceerd. Manjul Bhargava vond een veel eenvoudiger bewijs dat werd gepubliceerd in 2000.
De bovengrens van 15 is optimaal, omdat er kwadratische vormen, zoals
- w2 + 2x2 +5y2 +5z2,
zijn die alle positieve gehele getallen ongelijk aan 15 representeren.
Een kwadratische vorm die alle positieve gehele getallen representeert, wordt soms universeel genoemd. Zo is
- w2+x2+ y2+z2
universeel, omdat ieder positief geheel getal als som van vier kwadraten kan worden geschreven volgens de vier-kwadratenstelling van Lagrange. Deze stelling wordt in het bewijs voor de 15-stelling gebruikt als hulpstelling.
De 15-stelling kan worden gepreciseerd door niet te eisen dat alle positieve gehele getallen tot en met 15 worden gerepresenteerd, maar alleen de getallen 1, 2, 3, 5, 6, 7, 10, 14 en 15. Voor elk van deze getallen bestaan er kwadratische vormen die alle positieve gehele getallen representeren met uitzondering van dat getal.
De eis van een geheeltallige matrix kan afgezwakt worden tot de eis dat alle coëfficiënten geheeltallig zijn. Bijvoorbeeld x2 +xy +y2 heeft geheeltallige coëfficiënten, maar geen geheeltallige matrix.
290-stelling
In 2005 hebben Manjul Bhargava en Jonathan P. Hanke een bewijs aangekondigd dat een stelling als de 15-stelling ook geldt voor kwadratische coëfficiënten, hetgeen al als vermoeden door Conway en Schneeberger was geuit. Het getal 15 moet nu worden vervangen door 290, de zo verkregen stelling wordt de 290-stelling genoemd.
Ook hier kan de stelling worden gepreciseerd door te stellen dat als door een kwadratische vorm met geheeltallige coëfficiënten alleen de getallen
- 1, 2, 3, 5, 6, 7, 10, 13, 14, 15, 17, 19, 21, 22, 23, 26, 29, 30, 31, 34, 35, 37, 42, 58, 93, 110, 145, 203, 290 Sjabloon:OEIS
worden gerepresenteerd, dan worden alle positieve gehele getallen gerepresenteerd. En voor elk van deze 29 getallen is er een kwadratische vorm die alleen dat getal niet representeert.
| Bronnen, noten en/of referenties |