Let and be two positive integers. Prove that there exists a constant such that every set of consecutive elements of the arithmetic progression contains at least one number which is not prime.
Problem 1429
Official solution
1. **Case 1: and are not coprime**
- If and are not coprime, then .
- Every term in the arithmetic progression can be written as .
- Since divides both and , it follows that divides for all .
- Therefore, each term is divisible by and is greater than (since and are positive integers and ).
- Hence, every term is not prime because it has a divisor .
- Thus, works in this case, as every single element in the progression is not prime.
2. **Case 2: and are coprime**
- If and are coprime, then .
- Consider any consecutive terms in the arithmetic progression: .
- These terms can be written as .
- Since is coprime with , the numbers are all distinct modulo .
- This means that among any consecutive terms, there is exactly one term that is congruent to .
- Specifically, there exists an integer such that , which implies for some integer .
- Since and are coprime, must be greater than (as is greater than ).
- Therefore, is not prime because it is divisible by and greater than .
- Thus, works in this case, as among any consecutive terms, there is at least one term that is not prime.
Conclusion:
In both cases, we have shown that there exists a constant such that every set of consecutive elements of the arithmetic progression contains at least one number which is not prime. Specifically, if and are not coprime, and if and are coprime.