Maths Olympiad Prep

Library / /473 of 740

, 2024

Number theory Difficulty 5.1 AIME, harder Find the answer United States

Problem:

The largest known prime number as of October 2024 is 213627984112^{136279841}-1. It happens to be an example of a prime number of the form 2x212x^{2}-1. Estimate the number of positive integers x106x \leq 10^{6} such that 2x212x^{2}-1 is prime.

Submit a positive integer EE. If the correct answer is AA, you will receive 20.99max(0,1EAA)2.5\left\lfloor 20.99 \max \left(0,1-\frac{|E-A|}{A}\right)^{2.5}\right\rfloor points.

Proposed by: Pitchayut Saengrungkongka

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Solution:

If x106x \leq 10^{6}, then 2x21<210122x^{2}-1 < 2 \cdot 10^{12}. The density of prime numbers up to 210122 \cdot 10^{12} is roughly
1ln(21012)10.0366 \frac{1}{\ln \left(2 \cdot 10^{12}\right)-1} \approx 0.0366
However, 2x212x^{2}-1 can never be divisible by 22, 33, or 55. Only 122345=415\frac{1}{2} \cdot \frac{2}{3} \cdot \frac{4}{5} = \frac{4}{15} of numbers are not divisible by 22, 33, or 55, including all of the primes, so the density of primes among such numbers is a factor of 154\frac{15}{4} higher. Among the 10610^{6} possible values of xx, we get an estimate of
1540.0366106=137250 \frac{15}{4} \cdot 0.0366 \cdot 10^{6} = 137250

To refine this estimate further, observe that the values of 2x212x^{2}-1 are not uniformly distributed from 11 to 210122 \cdot 10^{12}. Their average is very close to 231012\frac{2}{3} \cdot 10^{12}, so as a crude estimate, we can take the density of prime numbers up to 431012\frac{4}{3} \cdot 10^{12} instead:
1ln(431012)10.03715 \frac{1}{\ln \left(\frac{4}{3} \cdot 10^{12}\right)-1} \approx 0.03715
This gives us an estimate of
1540.03715106139313 \frac{15}{4} \cdot 0.03715 \cdot 10^{6} \approx 139313

Using sage, one can easily obtain the exact answer by the following code.
```
cnt = 0
for x in range(1, 10^6+1):
if is_prime(2*x^2-1):
cnt += 1
print(cnt)
```

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.