Olympiad problems

2024 Nepal TST, P1

Let $a, b$ be positive integers. Prove that if $a^b + b^a \equiv 3 \pmod{4}$, then either $a+1$ or $b+1$ can't be written as the sum of two integer squares. [i](Proposed by Orestis Lignos, Greece)[/i]

2015 Brazil Team Selection Test, 2

Tags: floor function , IMO Shortlist , number theory , Sequence , Parity , IMO Shortlist 2014 , Hi

Let $n > 1$ be a given integer. Prove that infinitely many terms of the sequence $(a_k )_{k\ge 1}$, defined by \[a_k=\left\lfloor\frac{n^k}{k}\right\rfloor,\] are odd. (For a real number $x$, $\lfloor x\rfloor$ denotes the largest integer not exceeding $x$.) [i]Proposed by Hong Kong[/i]

2013 China Second Round Olympiad, 1

Tags: modular arithmetic , number theory proposed , number theory , Parity

Let $n$ be a positive odd integer , $a_1,a_2,\cdots,a_n$ be any permutation of the positive integers $1,2,\cdots,n$ . Prove that :$(a_1-1)(a^2_2-2)(a^3_3-3)\cdots (a^n_n-n)$ is an even number.

2016 Middle European Mathematical Olympiad, 7

Tags: number theory , number theory proposed , Parity , Digits

A positive integer $n$ is [i]Mozart[/i] if the decimal representation of the sequence $1, 2, \ldots, n$ contains each digit an even number of times. Prove that: 1. All Mozart numbers are even. 2. There are infinitely many Mozart numbers.

2015 Belarus Team Selection Test, 3

Tags: floor function , IMO Shortlist , number theory , Sequence , Parity , IMO Shortlist 2014 , Hi

Let $n > 1$ be a given integer. Prove that infinitely many terms of the sequence $(a_k )_{k\ge 1}$, defined by \[a_k=\left\lfloor\frac{n^k}{k}\right\rfloor,\] are odd. (For a real number $x$, $\lfloor x\rfloor$ denotes the largest integer not exceeding $x$.) [i]Proposed by Hong Kong[/i]

2018 Caucasus Mathematical Olympiad, 1

Tags: combinatorics , Parity

A tetrahedron is given. Determine whether it is possible to put some 10 consecutive positive integers at 4 vertices and at 6 midpoints of the edges so that the number at the midpoint of each edge is equal to the arithmetic mean of two numbers at the endpoints of this edge.

2020 Abels Math Contest (Norwegian MO) Final, 2b

Tags: number theory , natural , Parity

Assume that $a$ and $b$ are natural numbers with $a \ge b$ so that $ \sqrt{a+\sqrt{a^2-b^2}}$ is a natural number. Show that $a$ and $b$ have the same parity.