Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. There are at most nine positive integers nn such that n−2x2n-2x^2 is prime for every integer xx with 2x2<n2x^2<n: the eight known ones, 2,5,7,13,31,61,181,1992,5,7,13,31,61,181,199, and possibly one more. The answer to Problem 1140 is therefore no.

Source. M. Epure and A. Gica, Principal quadratic real fields in connection with some additive problems, Bull. Math. Soc. Sci. Math. Roumanie (N.S.) 53(101) (2010), no. 3, 251–259; the paper prints received 2009-07-04 and revised 2010-03-20, and the record gives no publication date finer than the year 2010, by which this page is named. The supporting result is R. A. Mollin and H. C. Williams, Period four and real quadratic fields of class number one, Proc. Japan Acad. Ser. A Math. Sci. 65 (1989), no. 4, 89–93, doi:10.3792/pjaa.65.89.

The argument. An even nn has n−0n-0 prime only for n=2n=2. If nn is odd and n−2x2n-2x^2 is prime for every xx with 2x2<n2x^2<n, then m=2nm=2n satisfies: m−a2m-a^2 is twice a prime for every even a≥0a\ge0 with a2≤ma^2\le m (the paper's own condition is 2x2≤n2x^2\le n, which differs from the site's strict inequality only at n=2n=2). For odd nn the residue of mm modulo 88 splits the problem.

  • n≡1(mod4)n\equiv1\pmod 4, so m≡2(mod8)m\equiv2\pmod 8. Theorem 4.1 of the paper shows that such an mm is x2+1x^2+1 with xx prime, that Z[m]\mathbb{Z}[\sqrt m] has class number two, and, through Byeon and Lee's determination of the odd xx with h(x2+1)=2h(x^2+1)=2 (earlier Mollin and Williams under the generalized Riemann hypothesis), that m∈{10,26,122,362}m\in\{10,26,122,362\}. Hence n∈{5,13,61,181}n\in\{5,13,61,181\}.
  • n≡3(mod4)n\equiv3\pmod 4, so m≡6(mod8)m\equiv6\pmod 8. Remark 2 of the paper (p. 258) sketches the same path: m=(4y)2−2m=(4y)^2-2 with Z[m]\mathbb{Z}[\sqrt m] principal, and the class-number-one result of Mollin and Williams for this family gives m∈{14,62,398}m\in\{14,62,398\} with at most one further exception, whose existence is not settled. Hence n∈{7,31,199}n\in\{7,31,199\} and at most one more.

The paper states the connection to this problem itself: after listing 5,7,13,31,61,181,1995,7,13,31,61,181,199 it concludes that "besides these numbers it could only exist one more number N with the afore-mentioned property" (Remark 2, p. 258). The n≡3(mod4)n\equiv3\pmod 4 case is a remark with a sketched argument, not a numbered theorem with a written proof; the finiteness conclusion is what the site accepts.

Acceptance. Refereed: Bull. Math. Soc. Sci. Math. Roumanie 53(101), no. 3 (2010). Reviewed: the site's curator, Thomas Bloom, labels the problem disproved and credits Theorem 4.1 of Epure and Gica for the residue class 1(mod4)1\pmod 4 and their remark with the Mollin–Williams result for the class 3(mod4)3\pmod 4 (problem page last edited 2026-01-26; the community database records the disproved status from 2026-01-24). A forum comment of 2026-01-24 brought the paper to the thread. No Lean formalization of the result is recorded, and this corpus has not independently verified the proof.

Depends on. No page of this wiki; the result rests on the two cited papers.