Mathexa Problem Bank

Problems

Selected olympiad-style problems for advanced mathematical reasoning.

Problem 1

Number Theory

Find all prime numbers pp and positive integers a,b,ca,b,c such that

2apb=(p+2)c+1.2^a p^b = (p+2)^c + 1.

Problem 2

Number Theory

Given an odd integer n3n\ge 3 and a regular nn-gon with vertex set VV, let P\mathcal{P} denote the set of all regular polygons with vertices in VV.

For example, if n=15n=15, then P\mathcal{P} includes:

• 1 regular 15-gon
• 3 regular pentagons
• 5 equilateral triangles

Two players, Alice and Bob, play the following game:

• Initially, all points in V are uncolored.
• Alice moves first.
• They take turns coloring an uncolored point:

  • Alice colors red.
  • Bob colors blue.
    • The game ends when all points are colored.

A polygon in P\mathcal{P} is called red-dominated if it has more red vertices than blue ones.

Find the largest integer kk such that, no matter how Bob plays, Alice can guarantee at least kk red-dominated polygons in P\mathcal{P}.

Problem 3

Number Theory

Let n be a positive integer, and let A ⊆ {1,2,…,n} such that for all a,b ∈ A, lcm(a,b) ≤ n. Prove that |A| ≤ 1.9√n + 5.

Problem 4

Number Theory

Let k, l, n be positive integers, and let a₁, a₂, …, aₖ ∈ {1,2,…,n} satisfy the following conditions: 1. n ≥ 3, l ≤ n − 2, and l − k ≤ (n − 3)/2. 2. For each t ∈ {1,2,…,l}, there exists a non-empty subset I ⊆ {1,2,…,k} such that ∑ aᵢ ≡ t (mod n), where the sum is taken over all i ∈ I. 3. For each t ∈ {l+1,l+2,…,n}, there does not exist a non-empty subset I ⊆ {1,2,…,k} such that ∑ aᵢ ≡ t (mod n), where the sum is taken over all i ∈ I. Prove that a₁ + a₂ + ⋯ + aₖ = l.

Problem 5

Number Theory

Prove that for any odd prime pp, the number of positive integers nn satisfying

pn!+1p \mid n! + 1

is at most

cp2/3,c p^{2/3},

where cc is a constant independent of pp.

Problem 6

Combinatorics

Let n1,n2,,n26n_1,n_2,\dots,n_{26} be pairwise distinct positive integers satisfying the following conditions:

• In the decimal representation of each nin_i, every digit belongs to the set {1,2}\{1,2\}.

• For any i,ji,j, njn_j cannot be obtained from nin_i by adding some digits on the right.

Find the least possible value of

i=126S(ni),\sum_{i=1}^{26} S(n_i),

where S(m)S(m) denotes the sum of all digits of mm in decimal representation.

Problem 7

Combinatorics

Let

N={0,1,2,}\mathbb{N}=\{0,1,2,\dots\}

be the set of all non-negative integers.

For each nNn\in\mathbb{N}, define the Catalan number

Cn=1n+1(2nn)=(2n)!n!(n+1)!.C_n=\frac{1}{n+1}\binom{2n}{n} =\frac{(2n)!}{n!(n+1)!}.

Prove that for any positive integer mm, we have

i,j,kNi+j+k=mCi+jCi+kCj+k=32m+3C2m+1.\sum_{\substack{i,j,k\in\mathbb{N} \\\\ i+j+k=m}} C_{i+j}C_{i+k}C_{j+k} = \frac{3}{2m+3}C_{2m+1}.

Problem 8

Combinatorics

Given a positive integer nn, find the smallest positive integer kk with the following property:

After coloring any kk unit squares black and the remaining squares white in a 2n×2n2n\times 2n grid, it is always possible to make all squares black using a finite number of the following two operations:

  1. Select a 2×22\times2 square that contains exactly 33 black squares and 11 white square, and change the color of the white square to black.

  2. Select a 2×22\times2 square that contains exactly 22 black squares and 22 white squares, and change the color of all squares within the square: black squares become white, and white squares become black.

Note: The same 2×22\times2 square can be operated on multiple times, and each square can change color multiple times.

Problem 9

Combinatorics

Every positive integer is colored either blue or red. Prove that there exists an infinite sequence {an}\{a_n\} of positive integers with

a1<a2<,a_1<a_2<\cdots,

such that the sequence

a1, a1+a22, a2, a2+a32, a3, a_1,\ \frac{a_1+a_2}{2},\ a_2,\ \frac{a_2+a_3}{2},\ a_3,\ \dots

consists entirely of positive integers of the same color.

Problem 10

Combinatorics

Let n2n\ge 2 be an integer. Two players, Alice and Bob, play the following game.

Initially, all (n2)\binom n2 edges of the complete graph KnK_n are uncolored.

They take turns coloring edges red, with Alice starting first.

In each move, a player selects one or two uncolored edges to color red, with the constraint that after each move, no three vertices can have all three edges between them colored red.

The game ends when no more edges can be colored.

Prove that there exists a real number ε>0\varepsilon>0 such that for any integer n2n\ge 2, no matter how Bob plays, Alice can ensure that at the end of the game, the number of red edges does not exceed

(14ε)n2+n.\left(\frac14-\varepsilon\right)n^2+n.