Let m be an odd integer with m≥3. Construct a positive integer x such that for some positive integers a and b, the sequence of consecutive integers a+1,a+2,…,a+b contains exactly 20232024 terms y satisfying y≡−1(modm) and y2≡1(modx), and exactly 2023 terms z satisfying z≡1(modm) and z2≡1(modx).
Let x=∏j=1npj, where p1,p2,... is a sequence of primes such that p1=2, and for any positive integer i≥2,
pi≡1(modm∗j=1∏i−1pj)
and where n satisfies
n>1+log2(20232024)
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.