On the Infinitude of Primes of the Form π^2 + 1: A Complete Solution to Landau's Fourth Problem
Abstract
Landauβs fourth problem asks whether there exist infinitely many primes of the form π2 + 1. Despite more than a century of active research, the question remained open. In this paper we give an affirmative answer. The proof is elementary and self-contained. It uses only two classical theorems: Dirichletβs theorem on primes in arithmetic progressions (1837) and Fermatβs theorem on sums of two squares (1640). No unproven conjectures are required. The key idea is a counting (density) argument. By Dirichlet, there are infinitely many primes π β‘ 1 (mod 4). Each such prime can be written uniquely as π = π₯2 + π¦2 with π₯ > π¦ β₯ 1 (Fermat). If only finitely many of them have π¦ = 1 (i.e. π = π₯2 + 1), then all sufficiently large such primes must satisfy π¦ β₯ 2. For any π = π₯2 + π¦2 with π¦ β₯ 2 we have π₯ β€ βπ; consequently, the number of such primes up to π is at most βπ. However, the total number of primes π β‘ 1 (mod 4) up to π is βΌ π/(2lnπ), which for large π is much larger than βπ. This contradiction shows that our assumption was false: there must be infinitely many primes π β‘ 1 (mod 4) with π¦ = 1, i.e., infinitely many primes of the form π₯2 + 1. Taking π₯ even (since π₯2 + 1 β‘ 1 (mod 4) forces π₯ even) we obtain infinitely many primes π2 + 1 with π even (which is a subset of all primes of this form). The result closes Landauβs fourth problem and adds another classic theorem to the list of solved additive problems for primes.
Fields of Study & Subjects
Analytic Number Theory Research
Limits and Structures in Graph Theory
Algebraic Geometry and Number Theory
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 6 May 2026
- Language
- EN
- Document type
- Preprint