Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

15 and 290 Theorems

Number Theory

The 15 theorem, also called the Conway-Schneeberger Fifteen Theorem, is a result in number theory proved by John H. Conway and W. A. Schneeberger in 1993. It states that a positive definite quadratic form arising from an integer matrix represents every positive integer, provided it represents every positive integer up to 15. Conway and Schneeberger did not publish their original proof because Manjul Bhargava later found a simpler one, published in 2000. Conway also conjectured an analogous statement for integral quadratic forms with the constant 15 replaced by 290; Bhargava and Jonathan Hanke produced a 2011 preprint proving this 290 conjecture, though it remains unpublished. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Statement
The 15 theorem states that if a positive definite quadratic form arising from an integer matrix represents all positive integers up to 15, then it represents all positive integers. 1
Proof Year
1993 1
Classification
Statement Form
Characterization Theorem 1
Connections

Has Statement Form

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

Sources
1. 15 and 290 theorems (Wikipedia)
  • Introduction
    states that if a positive definite quadratic form arising from an integer matrix represents all positive integers up to 15, then it represents all positive integers
  • Introduction [proof-year]
    proved by John H. Conway and W. A. Schneeberger in 1993
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.