Maths Olympiad Prep

Library / Argentina competition problems /7 of 20

Argentina competition problems

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,…,a−1x = 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 p≤a+12p \le \frac{a+1}{2} as a+1a+1 is even. Set x=12(p−1)x = \frac{1}{2}(p-1); it is clear that 0<x<a0 < x < a. We have

4x2+a=4⋅14(p−1)2+a=p(p−2)+(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=22−13 = 2^2 - 1 and 7=23−17 = 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=2m−1a = 2^m - 1 with m≥4m \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 q≤a+92q \le \frac{a+9}{2} be an odd prime divisor of a+9a+9. Set x=12(q−3)x = \frac{1}{2}(q-3):
note that x may be zero but is less than a. Now 4x2+a=4⋅14(q−3)2+a=q(q−6)+(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 q≤a+92<aq \le \frac{a+9}{2} < a as a≥15a \ge 15, hence q<a≤4x2+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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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