Olympiad problems

2020 Macedonian Nationаl Olympiad, 1

Let $a, b$ be positive integers and $p, q$ be prime numbers for which $p \nmid q - 1$ and $q \mid a^p - b^p$. Prove that $q \mid a - b$.

1977 Germany Team Selection Test, 4

Tags: modular arithmetic , divisibility , digit , decimal representation , digit sum

When $4444^{4444}$ is written in decimal notation, the sum of its digits is $ A.$ Let $B$ be the sum of the digits of $A.$ Find the sum of the digits of $ B.$ ($A$ and $B$ are written in decimal notation.)

1990 IMO Shortlist, 7

Tags: algebra , polynomial , arithmetic sequence , number theory , functional equation , divisibility

Let $ f(0) \equal{} f(1) \equal{} 0$ and \[ f(n\plus{}2) \equal{} 4^{n\plus{}2} \cdot f(n\plus{}1) \minus{} 16^{n\plus{}1} \cdot f(n) \plus{} n \cdot 2^{n^2}, \quad n \equal{} 0, 1, 2, \ldots\] Show that the numbers $ f(1989), f(1990), f(1991)$ are divisible by $ 13.$

1998 Iran MO (3rd Round), 1

Tags: modular arithmetic , number theory , divisibility

Determine all positive integers $n$ for which there exists an integer $m$ such that ${2^{n}-1}$ is a divisor of ${m^{2}+9}$.

2011 IMO Shortlist, 1

Tags: algorithm , number theory , prime number , divisibility , number of divisors

For any integer $d > 0,$ let $f(d)$ be the smallest possible integer that has exactly $d$ positive divisors (so for example we have $f(1)=1, f(5)=16,$ and $f(6)=12$). Prove that for every integer $k \geq 0$ the number $f\left(2^k\right)$ divides $f\left(2^{k+1}\right).$ [i]Proposed by Suhaimi Ramly, Malaysia[/i]

2015 Lusophon Mathematical Olympiad, 6

Tags: number theory , divisibility , sequence

Let $(a_n)$ be defined by: $$ a_1 = 2, \qquad a_{n+1} = a_n^3 - a_n + 1 $$ Consider positive integers $n,p$, where $p$ is an odd prime. Prove that if $p | a_n$, then $p > n$.

1983 IMO Longlists, 9

Tags: algebra , sequence , divisibility , combinatorics , partial order

Consider the set of all strictly decreasing sequences of $n$ natural numbers having the property that in each sequence no term divides any other term of the sequence. Let $A = (a_j)$ and $B = (b_j)$ be any two such sequences. We say that $A$ precedes $B$ if for some $k$, $a_k < b_k$ and $a_i = b_i$ for $i < k$. Find the terms of the first sequence of the set under this ordering.

1969 IMO Shortlist, 13

Tags: modular arithmetic , number theory , divisibility , additive number theory

$(CZS 2)$ Let $p$ be a prime odd number. Is it possible to find $p-1$ natural numbers $n + 1, n + 2, . . . , n + p -1$ such that the sum of the squares of these numbers is divisible by the sum of these numbers?

2015 Bosnia And Herzegovina - Regional Olympiad, 1

Tags: number theory , divisibility

Find all positive integers $a$ and $b$ such that $ ab+1 \mid a^2-1$

2019 IFYM, Sozopol, 5

Tags: divisibility , greatest common divisor , modulo , number theory

Prove that there exist a natural number $a$, for which 999 divides $2^{5n}+a.5^n$ for $\forall$ odd $n\in \mathbb{N}$ and find the smallest such $a$.

2018 China Team Selection Test, 5

Tags: number theory , divisibility , binomial coefficient

Given a positive integer $k$, call $n$ [i]good[/i] if among $$\binom{n}{0},\binom{n}{1},\binom{n}{2},...,\binom{n}{n}$$ at least $0.99n$ of them are divisible by $k$. Show that exists some positive integer $N$ such that among $1,2,...,N$, there are at least $0.99N$ good numbers.

Kvant 2022, M2714

Tags: number theory , polynomial , divisibility

Let $f{}$ and $g{}$ be polynomials with integers coefficients. The leading coefficient of $g{}$ is equal to 1. It is known that for infinitely many natural numbers $n{}$ the number $f(n)$ is divisible by $g(n)$ . Prove that $f(n)$ is divisible by $g(n)$ for all positive integers $n{}$ such that $g(n)\neq 0$. [i]From the folklore[/i]

2015 Danube Mathematical Competition, 3

Tags: divisibility , rmn

Determine all positive integers $n$ such that all positive integers less than or equal to $n$ and relatively prime to $n$ are pairwise coprime.

1960 IMO, 1

Tags: algebra , number theory , divisibility , decimal representation

Determine all three-digit numbers $N$ having the property that $N$ is divisible by 11, and $\dfrac{N}{11}$ is equal to the sum of the squares of the digits of $N$.

2017 Taiwan TST Round 2, 3

Tags: number theory , function , divisibility

Denote by $\mathbb{N}$ the set of all positive integers. Find all functions $f:\mathbb{N}\rightarrow \mathbb{N}$ such that for all positive integers $m$ and $n$, the integer $f(m)+f(n)-mn$ is nonzero and divides $mf(m)+nf(n)$. [i]Proposed by Dorlir Ahmeti, Albania[/i]

2017 Balkan MO Shortlist, N4

Tags: number theory , divisibility

Find all pairs of positive integers $(x,y)$ , such that $x^2$ is divisible by $2xy^2 -y^3 +1$.

1969 IMO Shortlist, 49

Tags: number theory , divisibility , combinatorics , invariant

$(NET 4)$ A boy has a set of trains and pieces of railroad track. Each piece is a quarter of circle, and by concatenating these pieces, the boy obtained a closed railway. The railway does not intersect itself. In passing through this railway, the train sometimes goes in the clockwise direction, and sometimes in the opposite direction. Prove that the train passes an even number of times through the pieces in the clockwise direction and an even number of times in the counterclockwise direction. Also, prove that the number of pieces is divisible by $4.$

1983 IMO Shortlist, 5

Tags: algebra , sequence , divisibility , combinatorics , partial order

Consider the set of all strictly decreasing sequences of $n$ natural numbers having the property that in each sequence no term divides any other term of the sequence. Let $A = (a_j)$ and $B = (b_j)$ be any two such sequences. We say that $A$ precedes $B$ if for some $k$, $a_k < b_k$ and $a_i = b_i$ for $i < k$. Find the terms of the first sequence of the set under this ordering.

2004 German National Olympiad, 3

Tags: number theory , divisibility , digit , sum of digits

Prove that for every positive integer $n$ there is an $n$-digit number $z$ with none of its digits $0$ and such that $z$ is divisible by its sum of digits.

2020 IMO Shortlist, N1

Tags: number theory , sequence , divisibility

Given a positive integer $k$ show that there exists a prime $p$ such that one can choose distinct integers $a_1,a_2\cdots, a_{k+3} \in \{1, 2, \cdots ,p-1\}$ such that p divides $a_ia_{i+1}a_{i+2}a_{i+3}-i$ for all $i= 1, 2, \cdots, k$. [i]South Africa [/i]