Mathematics Atlas

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

Ramanujan-Nagell Theorem

Number Theory

The Ramanujan-Nagell Theorem states that the equation two to the power n minus seven equals x squared has exactly five solutions in positive whole numbers, with n equal to 3, 4, 5, 7 or 15. First conjectured by Srinivasa Ramanujan and proved by Trygve Nagell, it is a classical result in the theory of exponential Diophantine equations and an early example of such an equation whose complete, finite set of solutions could be established rigorously.

Facts
Classification
Statement Form
Classification Theorem 1
Proof Year
1948 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.

In Branch

Source Ramanujan-Nagell equation (Wikipedia)

Proved By

Sources
1. Ramanujan-Nagell equation (Wikipedia)
Equation and solution section
Quote, Equation and solution section
proved in 1948 by the Norwegian mathematician Trygve Nagell
View the Source
Ramanujan-Nagell equation (Wikipedia)
In Branch: Number Theory, Lead sentenceView 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.