Olympiad problems

2022 Iran MO (3rd Round), 2

For two rational numbers $r,s$ we say:$$r\mid s$$whenever there exists $k\in\mathbb{Z}$ such that:$$s=kr$$ ${(a_n)}_{n\in\mathbb{N}}$ is an increasing sequence of pairwise coprime natural numbers and ${(b_n)}_{n\in\mathbb{N}}$ is a sequence of distinct natural numbers. Assume that for all $n\in\mathbb{N}$ we have: $$\sum_{i=1}^{n}\frac{1}{a_i}\mid\sum_{i=1}^{n}\frac{1}{b_i}$$ Prove that [b]for all[/b] $n\in\mathbb{N}$ we have: $a_n=b_n$.

PEN A Problems, 103

Tags: modular arithmetic , Divisibility , Digits , decimal representation , IMO , IMO 1975 , 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.)

2001 Saint Petersburg Mathematical Olympiad, 9.4

Tags: St. Petersburg MO , GCD , number theory , Divisibility , greatest common divisor

Let $a,b,c\in\mathbb{Z^{+}}$ such that $$(a^2-1, b^2-1, c^2-1)=1$$ Prove that $$(ab+c, bc+a, ca+b)=(a,b,c)$$ (As usual, $(x,y,z)$ means the greatest common divisor of numbers $x,y,z$) [I]Proposed by A. Golovanov[/i]

2014 APMO, 3

Tags: Divisibility , Quadratic Residues , Hensel , Surjective

Find all positive integers $n$ such that for any integer $k$ there exists an integer $a$ for which $a^3+a-k$ is divisible by $n$. [i]Warut Suksompong, Thailand[/i]

2015 Lusophon Mathematical Olympiad, 6

Tags: number theory , Sequences , Divisibility

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$.

2008 Germany Team Selection Test, 2

Tags: binomial coefficients , number theory , Divisibility , IMO Shortlist , Poland , Hi

For every integer $ k \geq 2,$ prove that $ 2^{3k}$ divides the number \[ \binom{2^{k \plus{} 1}}{2^{k}} \minus{} \binom{2^{k}}{2^{k \minus{} 1}} \] but $ 2^{3k \plus{} 1}$ does not. [i]Author: Waldemar Pompe, Poland[/i]

IMSC 2024, 1

Tags: number theory unsolved , number theory , number theory proposed , Divisibility

For a positive integer $n$ denote by $P_0(n)$ the product of all non-zero digits of $n$. Let $N_0$ be the set of all positive integers $n$ such that $P_0(n)|n$. Find the largest possible value of $\ell$ such that $N_0$ contains infinitely many strings of $\ell$ consecutive integers. [i]Proposed by Navid Safaei, Iran[/i]

1968 IMO Shortlist, 16

Tags: algebra , polynomial , calculus , number theory , Divisibility , IMO Shortlist

A polynomial $p(x) = a_0x^k + a_1x^{k-1} + \cdots + a_k$ with integer coefficients is said to be divisible by an integer $m$ if $p(x)$ is divisible by m for all integers $x$. Prove that if $p(x)$ is divisible by $m$, then $k!a_0$ is also divisible by $m$. Also prove that if $a_0, k,m$ are non-negative integers for which $k!a_0$ is divisible by $m$, there exists a polynomial $p(x) = a_0x^k+\cdots+ a_k$ divisible by $m.$

2007 IMO Shortlist, 5

Tags: function , modular arithmetic , number theory , Divisibility , IMO Shortlist

Find all surjective functions $ f: \mathbb{N} \to \mathbb{N}$ such that for every $ m,n \in \mathbb{N}$ and every prime $ p,$ the number $ f(m + n)$ is divisible by $ p$ if and only if $ f(m) + f(n)$ is divisible by $ p$. [i]Author: Mohsen Jamaali and Nima Ahmadi Pour Anari, Iran[/i]

2021 Turkey Team Selection Test, 1

Tags: legendre symbol , prime numbers , Divisibility , number theory

Let $n$ be a positive integer. Prove that \[\frac{20 \cdot 5^n-2}{3^n+47}\] is not an integer.

2016 Iran Team Selection Test, 1

Tags: IMO Shortlist , number theory , Divisibility , Hi

Let $m$ and $n$ be positive integers such that $m>n$. Define $x_k=\frac{m+k}{n+k}$ for $k=1,2,\ldots,n+1$. Prove that if all the numbers $x_1,x_2,\ldots,x_{n+1}$ are integers, then $x_1x_2\ldots x_{n+1}-1$ is divisible by an odd prime.

1984 IMO, 3

Tags: number theory , equation , Divisibility , power of 2 , IMO , IMO 1984 , Hi

Let $a,b,c,d$ be odd integers such that $0<a<b<c<d$ and $ad=bc$. Prove that if $a+d=2^k$ and $b+c=2^m$ for some integers $k$ and $m$, then $a=1$.

2004 Switzerland Team Selection Test, 8

Tags: modular arithmetic , number theory , Sequence , Divisibility , IMO Shortlist

Let $m$ be a fixed integer greater than $1$. The sequence $x_0$, $x_1$, $x_2$, $\ldots$ is defined as follows: \[x_i = \begin{cases}2^i&\text{if }0\leq i \leq m - 1;\\\sum_{j=1}^mx_{i-j}&\text{if }i\geq m.\end{cases}\] Find the greatest $k$ for which the sequence contains $k$ consecutive terms divisible by $m$ . [i]Proposed by Marcin Kuczma, Poland[/i]

2016 India IMO Training Camp, 2

Tags: IMO Shortlist , number theory , Divisibility , Hi

Let $m$ and $n$ be positive integers such that $m>n$. Define $x_k=\frac{m+k}{n+k}$ for $k=1,2,\ldots,n+1$. Prove that if all the numbers $x_1,x_2,\ldots,x_{n+1}$ are integers, then $x_1x_2\ldots x_{n+1}-1$ is divisible by an odd prime.

2006 IMO Shortlist, 7

Tags: modular arithmetic , number theory , Divisibility , exponential , IMO Shortlist

For all positive integers $n$, show that there exists a positive integer $m$ such that $n$ divides $2^{m} + m$. [i]Proposed by Juhan Aru, Estonia[/i]

2018 Bulgaria EGMO TST, 2

Tags: number theory , fermat's little theorem , Divisibility

Let $m,n \geq 2$ be integers with gcd$(m,n-1) = $gcd$(m,n) = 1$. Prove that among $a_1, a_2, \ldots, a_{m-1}$, where $a_1 = mn+1, a_{k+1} = na_k + 1$, there is at least one composite number.

2022 JBMO TST - Turkey, 1

Tags: number theory , Integers , Divisibility

For positive integers $a$ and $b$, if the expression $\frac{a^2+b^2}{(a-b)^2}$ is an integer, prove that the expression $\frac{a^3+b^3}{(a-b)^3}$ is an integer as well.

2018 Regional Olympiad of Mexico Southeast, 2

Tags: number theory , Divisibility

Let $n=\frac{2^{2018}-1}{3}$. Prove that $n$ divides $2^n-2$.

2010 Belarus Team Selection Test, 2.3

Tags: number theory , Divisibility

Prove that there are infinitely many positive integers $n$ such that $$3^{(n-2)^{n-1}-1} -1\vdots 17n^2$$ (I. Bliznets)

2010 IMO Shortlist, 4

Tags: modular arithmetic , Divisibility , number theory , IMO Shortlist

Let $a, b$ be integers, and let $P(x) = ax^3+bx.$ For any positive integer $n$ we say that the pair $(a,b)$ is $n$-good if $n | P(m)-P(k)$ implies $n | m - k$ for all integers $m, k.$ We say that $(a,b)$ is $very \ good$ if $(a,b)$ is $n$-good for infinitely many positive integers $n.$ [list][*][b](a)[/b] Find a pair $(a,b)$ which is 51-good, but not very good. [*][b](b)[/b] Show that all 2010-good pairs are very good.[/list] [i]Proposed by Okan Tekman, Turkey[/i]

2024 Francophone Mathematical Olympiad, 4

Tags: number theory , number theory proposed , Divisibility , Sequence

Find all integers $n \ge 2$ for which there exists $n$ integers $a_1,a_2,\dots,a_n \ge 2$ such that for all indices $i \ne j$, we have $a_i \mid a_j^2+1$.

2022 European Mathematical Cup, 1

Tags: number theory , modular arithmetic , Divisibility , Divisors

Determine all positive integers $n$ for which there exist positive divisors $a$, $b$, $c$ of $n$ such that $a>b>c$ and $a^2 - b^2$, $b^2 - c^2$, $a^2 - c^2$ are also divisors of $n$.

2017 Germany Team Selection Test, 3

Tags: number theory , IMO Shortlist , function , Divisibility , Hi

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]

2021 Pan-African, 4

Tags: PAMO , number theory , Divisibility

Find all integers $m$ and $n$ such that $\frac{m^2+n}{n^2-m}$ and $\frac{n^2+m}{m^2-n}$ are both integers.

2024 Singapore Senior Math Olympiad, Q4

Tags: number theory , Divisibility

Suppose $p$ is a prime number and $x, y, z$ are integers satisfying $0 < x < y < z <p$. If $x^3, y^3, z^3$ have equal remainders when divided by $p$, prove that $x ^ 2 + y ^ 2 + z ^ 2$ is divisible by $x + y + z$.