Olympiad problems

1987 IMO Longlists, 12

Does there exist a second-degree polynomial $p(x, y)$ in two variables such that every non-negative integer $ n $ equals $p(k,m)$ for one and only one ordered pair $(k,m)$ of non-negative integers? [i]Proposed by Finland.[/i]

2017 Thailand TSTST, 2

Tags: bijection , function , algebra

Let $f, g$ be bijections on $\{1, 2, 3, \dots, 2016\}$. Determine the value of $$\sum_{i=1}^{2016}\sum_{j=1}^{2016}[f(i)-g(j)]^{2559}.$$

2019 Canada National Olympiad, 3

Tags: combinatorics , grid , tiling , checkerboard , induction , bijection

You have a $2m$ by $2n$ grid of squares coloured in the same way as a standard checkerboard. Find the total number of ways to place $mn$ counters on white squares so that each square contains at most one counter and no two counters are in diagonally adjacent white squares.

2002 IMO Shortlist, 3

Tags: combinatorics , counting , bijection

Let $n$ be a positive integer. A sequence of $n$ positive integers (not necessarily distinct) is called [b]full[/b] if it satisfies the following condition: for each positive integer $k\geq2$, if the number $k$ appears in the sequence then so does the number $k-1$, and moreover the first occurrence of $k-1$ comes before the last occurrence of $k$. For each $n$, how many full sequences are there ?

2020 Kosovo National Mathematical Olympiad, 4

Tags: bijection , angle bisector , geometry

Let $\triangle ABC$ be a triangle and $\omega$ its circumcircle. The exterior angle bisector of $\angle BAC$ intersects $\omega$ at point $D$. Let $X$ be the foot of the altitude from $C$ to $AD$ and let $F$ be the intersection of the internal angle bisector of $\angle BAC$ and $BC$. Show that $BX$ bisects segment $AF$.

2020 Bulgaria EGMO TST, 1

Tags: combinatorics , counting , recursion , bijection , geometry , rectangle

Let $n$ and $t$ be positive integers. What is the number of ways to place $t$ dominoes $(1\times 2$ or $2\times 1$ rectangles) in a $2\times n$ table so that there is no $2\times 2$ square formed by $2$ dominoes and each $2\times 3$ rectangle either does not have a horizontal domino in the middle and last cell in the first row or does not have a horizontal domino in the first and middle cell in the second row (or both)?