Maths Olympiad Prep

For teachers / Printable sets /Stage 9 · Number theory

Stage 9 · Number theory

10 problems · IMO P2/P5; hard shortlist · mathsolympiadprep.com

The answer key prints on its own page at the end.

  1. Let nn be a positive integer. Let s:N→{1,…,n}s: \mathbb{N} \to \{1, \dots, n\} be a function such that nn divides m−s(m)m - s(m) for all positive integers mm. Let a0,a1,a2,…a_0, a_1, a_2, \dots be a sequence such that a0=0a_0 = 0 and
    ak=ak−1+s(k) for all k≥1. a_k = a_{k-1} + s(k) \text{ for all } k \ge 1.
    Find all nn for which this sequence contains all the residues modulo (n+1)2(n+1)^2.

    India — Team Selection Test

    Number theory Solution and answer checking →

  2. Let nn be a positive integer. In this problem, we consider labellings of the squares of a chessboard of size n×nn \times n with the natural numbers from 11 to n2n^2 such that every number is used exactly once. Given such a labelling, we say a positive integer is a rook product if it is the product of the labels of nn squares which have the property that if you place a rook on each of them, no two rooks will attack each other.
    (Two rooks are attacking each other, if and only if they are in the same row or column.)

    a. Let n=8n = 8. Determine whether there exists a labelling of an 8×88 \times 8 chessboard such that the following condition is fulfilled: The difference of any two rook products is always divisible by 6565.

    b. Let n=10n = 10. Determine whether there exists a labelling of a 10×1010 \times 10 chessboard such that the following condition is fulfilled: The difference of any two rook products is always divisible by 101101.

    Baltic Way Shortlist 2023

    Number theory Solution and answer checking →

  3. Let a,ba, b be integers, and let P(x)=ax3+bxP(x) = a x^{3} + b x. For any positive integer nn we say that the pair (a,b)(a, b) is nn-good if n∣P(m)−P(k)n \mid P(m) - P(k) implies n∣m−kn \mid m - k for all integers m,km, k. We say that (a,b)(a, b) is very good if (a,b)(a, b) is nn-good for infinitely many positive integers nn.

    a. Find a pair (a,b)(a, b) which is 5151-good, but not very good.

    b. Show that all 20102010-good pairs are very good.

    (Turkey)

    IMO Shortlist

    Number theory Solution and answer checking →

  4. Let S⊂{1,…,n}S \subset \{1, \dots, n\} be a nonempty set, where nn is a positive integer. We denote by ss the greatest common divisor of the elements of the set SS. We assume that s≠1s \neq 1 and let dd be its smallest divisor greater than 11. Let T⊂{1,…,n}T \subset \{1, \dots, n\} be a set such that S⊂TS \subset T and ∣T∣≥1+⌊nd⌋|T| \geq 1 + \lfloor \frac{n}{d} \rfloor. Prove that the greatest common divisor of the elements in TT is 11.

    Let nn (n≥1n \geq 1) be a positive integer and U={1,…,n}U = \{1, \dots, n\}. Let SS be a nonempty subset of UU and let dd (d≠1d \neq 1) be the smallest common divisor of all elements of the set SS. Find the smallest positive integer kk such that for any subset TT of UU, consisting of kk elements, with S⊂TS \subset T, the greatest common divisor of all elements of TT is equal to 11.

    BMO Shortlist 2019

    Number theory Solution and answer checking →

  5. Let nn be a positive integer not divisible by the cube of a prime. Given an integer-coefficient polynomial f(x)f(x), define its signature modulo nn to be the (ordered) sequence f(1),…,f(n)f(1), \dots, f(n) modulo nn. Of the nnn^n such nn-term sequences of integers modulo nn, how many are the signature of some polynomial f(x)f(x)?

    United States — Team Selection Test

    Number theory Solution and answer checking →

  6. Does there exist an irrational number xx such that there are at most finitely many positive integers nn satisfying
    {kx}≥1n+1 \{kx\} \geq \frac{1}{n+1}
    for every k∈{1,…,n}k \in \{1, \dots, n\}?

    Note: Here, for a positive real number yy, {y}\{y\} denotes the fractional part of yy.

    China-TST-B

    Number theory Solution and answer checking →

  7. Find all positive integers mm such that there exists an infinite set AA of positive integers satisfying: for any mm distinct elements a1,a2,…,ama_1, a_2, \dots, a_m in AA, both a1+a2+⋯+ama_1+a_2+\dots+a_m and a1a2⋯ama_1a_2\cdots a_m are square-free.

    *Note: A positive integer nn is called square-free if it is not divisible by the square of any prime number.*

    International Mathematical Olympiad China National Team Selection Test 2025

    Number theory Solution and answer checking →

  8. a) Find all positive integers kk with the property T(20)T(20), where a positive integer kk has the property T(m)T(m) if for any positive integer aa, there exists a positive integer nn such that
    1k+2k+⋯+nk≡a(modm). 1^k + 2^k + \dots + n^k \equiv a \pmod{m}.

    b) Find the smallest positive integer kk with the property T(2015)T(20^{15}).

    IMO Team Selection Tests 2015

    Number theory Solution and answer checking →

  9. Given an integer n>1n > 1 and an integer aa that is coprime with nn. There is a country consisting of nn islands D1,D2,…,DnD_1, D_2, \dots, D_n. For any two different islands DiD_i and DjD_j, there is a one-way ferry from DiD_i to DjD_j if and only if ij≡ia(modn)ij \equiv ia \pmod{n}. A tourist hopes to visit as many islands as possible. He can first fly to any island he chooses to start the tour, and afterwards can only use the one-way ferry to tour freely between islands in this country. Find the maximum possible number of different islands that the tourist can visit.

    Chinese IMO National Team Selection Test 2023

    Number theory Solution and answer checking →

  10. Let nn be a positive integer. We say that a polynomial PP with integer coefficients is nn-good if there exists a polynomial QQ of degree 2 with integer coefficients such that Q(k)(P(k)+Q(k))Q(k)(P(k)+Q(k)) is never divisible by nn for any integer kk.
    Determine all integers nn such that every polynomial with integer coefficients is an nn-good polynomial.

    IMO Shortlist

    Number theory Solution and answer checking →

Answer key — Stage 9 · Number theory

Worked solutions for every problem are on the site, one page per problem.

  1. Prove it — see the worked solution open
  2. Prove it — see the worked solution open
  3. Prove it — see the worked solution open
  4. Prove it — see the worked solution open
  5. Prove it — see the worked solution open
  6. Prove it — see the worked solution open
  7. Prove it — see the worked solution open
  8. Prove it — see the worked solution open
  9. Prove it — see the worked solution open
  10. Prove it — see the worked solution open

Problems belong to the competitions that set them. Each question on this sheet names the competition it came from, and the licences the material is used under are listed below. Free to copy for classroom use.

CC-BY-4.0