Maths Olympiad Prep

Library / /6 of 17

Number theory Difficulty 5.7 AIME, harder Prove it Argentina

Find all natural aa such that 4x2+a4x^2 + a is a prime for all x=0,1,,a1x = 0, 1, \dots, a-1.

Solution

Clearly aa must be a prime (set x=0x=0). More exactly aa is an odd prime because a=2a=2 is not a solution. Furthermore a+1a+1 must be a power of 2. Indeed suppose that a+1a+1 has an odd prime divisor pp. Note that pa+12p \le \frac{a+1}{2} as a+1a+1 is even. Set x=12(p1)x = \frac{1}{2}(p-1); it is clear that 0<x<a0 < x < a. We have

4x2+a=414(p1)2+a=p(p2)+(a+1). Since p divides a+1, it also divides 4x2+a. 4x^2 + a = 4 \cdot \frac{1}{4} (p-1)^2 + a = p(p-2) + (a+1). \text{ Since } p \text{ divides } a+1, \text{ it also divides } 4x^2 + a.
addition, p<a<4x2+ap < a < 4x^2 + a, hence 4x2+a4x^2 + a is composite.

The primes 3=2213 = 2^2 - 1 and 7=2317 = 2^3 - 1 satisfy the conditions. The values of 4x2+34x^2 + 3 for x=0,1,2x = 0, 1, 2 are the primes 3,7,193, 7, 19; the values of 4x2+74x^2 + 7 for x=0,1,2,3,4,5,6x = 0, 1, 2, 3, 4, 5, 6 are the primes 7,11,23,43,71,107,1517, 11, 23, 43, 71, 107, 151. We show that a=3a=3 and a=7a=7 are the only solutions by rejecting all a=2m1a = 2^m - 1 with m4m \ge 4. For numbers of this form consider a+9=(a+1)+8a+9 = (a+1)+8. This even number is not a power of 2 (powers of 2 greater than 8 cannot differ by 8). Let qa+92q \le \frac{a+9}{2} be an odd prime divisor of a+9a+9. Set x=12(q3)x = \frac{1}{2}(q-3):
note that x may be zero but is less than a. Now 4x2+a=414(q3)2+a=q(q6)+(a+9), so q \text{note that } x \text{ may be zero but is less than } a. \text{ Now } 4x^2 + a = 4 \cdot \frac{1}{4}(q-3)^2 + a = q(q-6) + (a+9), \text{ so } q
divides 4x2+a4x^2 + a. Also qa+92<aq \le \frac{a+9}{2} < a as a15a \ge 15, hence q<a4x2+aq < a \le 4x^2 + a. Then 4x2+a4x^2 + a is composite, which completes the proof. The answer is a=3a=3 and a=7a=7.

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 and solution reproduced as published; topic and difficulty added by this site.