Maths Olympiad Prep

For teachers / Printable sets /Stage 9 · Mixed

Stage 9 · Mixed

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. A Nordic square is an n×nn \times n board containing all the integers from 11 to n2n^2 so that each cell contains exactly one number. Two different cells are considered adjacent if they share a common side. Every cell that is adjacent only to cells containing larger numbers is called a valley. An uphill path is a sequence of one or more cells such that:

    (i) the first cell in the sequence is a valley,

    (ii) each subsequent cell in the sequence is adjacent to the previous cell, and

    (iii) the numbers written in the cells in the sequence are in increasing order.

    Find, as a function of nn, the smallest possible total number of uphill paths in a Nordic square.

    Author: Nikola Petrovi?

    International Mathematical Olympiad

    Combinatorics Solution and answer checking →

  2. 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 →

  3. Let ω\omega be the circumcircle of a triangle ABCA B C, and let ΩA\Omega_{A} be its excircle which is tangent to the segment BCB C. Let XX and YY be the intersection points of ω\omega and ΩA\Omega_{A}. Let PP and QQ be the projections of AA onto the tangent lines to ΩA\Omega_{A} at XX and YY, respectively. The tangent line at PP to the circumcircle of the triangle APXA P X intersects the tangent line at QQ to the circumcircle of the triangle AQYA Q Y at a point RR. Prove that AR⊥BCA R \perp B C.

    IMO Shortlist 2021

    Geometry Solution and answer checking →

  4. Let nn be a positive integer. Given a sequence ε1,…,εn−1\varepsilon_{1}, \ldots, \varepsilon_{n-1} with εi=0\varepsilon_{i}=0 or εi=1\varepsilon_{i}=1 for each i=1,…,n−1i=1, \ldots, n-1, the sequences a0,…,ana_{0}, \ldots, a_{n} and b0,…,bnb_{0}, \ldots, b_{n} are constructed by the following rules:
    a0=b0=1,a1=b1=7ai+1={2ai−1+3ai, if εi=0,3ai−1+ai, if εi=1, for each i=1,…,n−1,bi+1={2bi−1+3bi, if εn−i=0,3bi−1+bi, if εn−i=1, for each i=1,…,n−1 \begin{gathered} a_{0}=b_{0}=1, \quad a_{1}=b_{1}=7 \\ a_{i+1}=\left\{\begin{array}{ll} 2 a_{i-1}+3 a_{i}, & \text{ if } \varepsilon_{i}=0, \\ 3 a_{i-1}+a_{i}, & \text{ if } \varepsilon_{i}=1, \end{array}\right. \quad \text{ for each } i=1, \ldots, n-1, \\ b_{i+1}=\left\{\begin{array}{ll} 2 b_{i-1}+3 b_{i}, & \text{ if } \varepsilon_{n-i}=0, \\ 3 b_{i-1}+b_{i}, & \text{ if } \varepsilon_{n-i}=1, \end{array}\right. \text{ for each } i=1, \ldots, n-1 \end{gathered}
    Prove that an=bna_{n}=b_{n}.

    IMO Shortlist

    Algebra Solution and answer checking →

  5. Let nn and TT be positive integers. James has 4n4 n marbles with weights 1,2,…,4n1,2, \ldots, 4 n. He places them on a balance scale, so that both sides have equal weight. Andrew may move a marble from one side of the scale to the other, so that the absolute difference in weights of the two sides remains at most TT.
    Find, in terms of nn, the minimum positive integer TT such that Andrew may make a sequence of moves such that each marble ends up on the opposite side of the scale, regardless of how James initially placed the marbles.

    IMO Shortlist

    Combinatorics Solution and answer checking →

  6. 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 →

  7. Let A=(0,0,0)A = (0,0,0) be the origin in the three dimensional coordinate space. The weight of a point is the sum of the absolute values of its coordinates. A point is a primitive lattice point if all its coordinates are integers with their greatest common divisor equal to 1. A square ABCDABCD is called a unbalanced primitive integer square if it has integer side length and the points BB and DD are primitive lattice points with different weights.
    Show that there are infinitely many unbalanced primitive integer squares ABiCiDiAB_iC_iD_i such that the plane containing the squares are not parallel to each other.

    USA IMO

    Geometry Solution and answer checking →

  8. Find the maximum positive number MM such that for every n∈N∗n \in \mathbb{N}^*, there are positive numbers a1,a2,…,ana_1, a_2, \dots, a_n and b1,b2,…,bnb_1, b_2, \dots, b_n satisfying
    (a)∑k=1nbk=1, 2bk≥bk−1+bk+1, k=2,3,…,n−1, (a) \sum_{k=1}^{n} b_k = 1,\ 2b_k \ge b_{k-1} + b_{k+1},\ k = 2, 3, \dots, n-1,
    (b)ak2≤1+∑i=1kaibi, k=1,2,…,n, (b) a_k^2 \le 1 + \sum_{i=1}^{k} a_i b_i,\ k = 1, 2, \dots, n,
    (c)an=M. (c) a_n = M.

    China National Team Selection Test

    Algebra Solution and answer checking →

  9. A cake has the form of an n×nn \times n square composed of n2n^2 unit squares. Strawberries lie on some of the unit squares so that each row or column contains exactly one strawberry; call this arrangement A\mathcal{A}.
    Let B\mathcal{B} be another such arrangement. Suppose that every grid rectangle with one vertex at the top left corner of the cake contains no fewer strawberries of arrangement B\mathcal{B} than of arrangement A\mathcal{A}. Prove that arrangement B\mathcal{B} can be obtained from A\mathcal{A} by performing a number of switches, defined as follows:
    A switch consists in selecting a grid rectangle with only two strawberries, situated at its top right corner and bottom left corner, and moving these two strawberries to the other two corners of that rectangle.

    IMO Shortlist 2006

    Combinatorics Solution and answer checking →

  10. 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 →

Answer key — Stage 9 · Mixed

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

  1. 2n(n−1)+12n(n - 1) + 1 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.

Apache-2.0 · CC-BY-4.0