Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

Curated collections

Cuts of the archive where the statistics say something a plain difficulty sort cannot. Thresholds are named constants; difficulty and naturalness chips are explained on hover. Years without per-problem results (1994–1998, 2011, 2013) cannot enter these lists. Naturalness labels are provisional. How we compute stats → About

Statement ≤ 112 rendered glyphs (≈20th percentile of the corpus) and solved < 15%. One line to state, almost nobody solved it.

difficulty:13 of 13
IMC 2015 · Day 2 · P10killernatural 6/6stats
cohort scored318
average0.1 / 10
solved0%
near-098%
discrimination0.26
statement glyphs108
math share24%
slot residual-0.03
…year-adjusted+0.01
felled the strong84%
108-char statement, only 0% solved (avg 0.07/10)

Let nn be a positive integer, and let p(x)p(x) be a polynomial of degree nn with integer coefficients. Prove that max0x1p(x)>1en.\max_{0 \le x \le 1} \bigl| p(x) \bigr| > \frac{1}{e^n}.

authorGéza KósEötvös UniversityBudapestpolynomialsinequalities
IMC 2012 · Day 1 · P4killermixed 3/6stats
cohort scored313
average0.2 / 10
solved0%
near-095%
discrimination0.25
statement glyphs112
math share32%
slot residual-0.09
…year-adjusted-0.05
felled the strong72%
112-char statement, only 0% solved (avg 0.2/10)

Let f:RRf : \mathbb{R} \to \mathbb{R} be a continuously differentiable function that satisfies f(t)>f(f(t))f'(t) > f(f(t)) for all tRt \in \mathbb{R}. Prove that f(f(f(t)))0f(f(f(t))) \le 0 for all t0t \ge 0.

authorTomáš BártaCharles UniversityPraguereal analysis
IMC 2008 · Day 1 · P5killernatural 6/6stats
cohort scored255
average0.1 / 10
solved1%
near-098%
discrimination0.22
statement glyphs69
math share22%
slot residual-0.12
…year-adjusted-0.09
felled the strong86%
69-char statement, only 1% solved (avg 0.13/10)

Does there exist a finite group GG with a normal subgroup HH such that AutH>AutG|\operatorname{Aut} H| > |\operatorname{Aut} G|?

group theory
IMC 2018 · Day 2 · P10killernatural 5/6stats
cohort scored342
average0.3 / 10
solved1%
near-096%
discrimination0.37
statement glyphs68
math share79%
slot residual-0.01
…year-adjusted-0.01
felled the strong71%
68-char statement, only 1% solved (avg 0.25/10)

For R>1R > 1 let DR={(a,b)Z2:0<a2+b2<R}D_R = \{ (a, b) \in \mathbb{Z}^2 : 0 < a^2 + b^2 < R \}. Compute limR(a,b)DR(1)a+ba2+b2.\lim_{R \to \infty} \sum_{(a,b) \in D_R} \frac{(-1)^{a+b}}{a^2 + b^2}.

authorsRodrigo AngeloPrinceton UniversityMatheus SeccoPUCRio de Janeironumber theorysequences & series
IMC 2001 · Day 2 · P11killermixed 3/6stats
cohort scored182
average1.4 / 10
solved3%
near-063%
discrimination0.30
statement glyphs111
math share40%
slot residual-0.10
…year-adjusted+0.03
felled the strong39%
111-char statement, only 3% solved (avg 1.41/10)

Let R\mathbb{R} be the set of real numbers. Prove that there is no function f:RRf : \mathbb{R} \to \mathbb{R} with f(0)>0f(0) > 0, and such that f(x+y)f(x)+yf(f(x))for all x,yR.f(x + y) \ge f(x) + y f(f(x)) \quad \text{for all } x, y \in \mathbb{R}.

functional equationsreal analysis
IMC 2001 · Day 2 · P12killermixed 3/6stats
cohort scored182
average0.5 / 10
solved4%
near-094%
discrimination0.13
statement glyphs112
math share53%
slot residual-0.01
…year-adjusted+0.12
felled the strong83%
112-char statement, only 4% solved (avg 0.49/10)

For each positive integer nn, let fn(ϑ)=sinϑsin(2ϑ)sin(4ϑ)sin(2nϑ)f_n(\vartheta) = \sin\vartheta \cdot \sin(2\vartheta) \cdot \sin(4\vartheta) \cdots \sin(2^n \vartheta). For all real ϑ\vartheta and all nn, prove that fn(ϑ)23fn(π/3).|f_n(\vartheta)| \le \frac{2}{\sqrt{3}} |f_n(\pi/3)|.

inequalitiesreal analysis
IMC 2006 · Day 2 · P9very hardnatural 6/6stats
cohort scored237
average1.3 / 10
solved6%
near-068%
discrimination0.20
statement glyphs44
math share61%
slot residual-0.32
…year-adjusted-0.36
felled the strong54%
44-char statement, only 6% solved (avg 1.32/10)

Compare tan(sinx)\tan(\sin x) and sin(tanx)\sin(\tan x) for all x(0,π2)x \in \left( 0, \frac{\pi}{2} \right).

real analysisinequalities
IMC 2010 · Day 1 · P4very hardnatural 5/6stats
cohort scored322
average1.5 / 10
solved7%
near-074%
discrimination0.39
statement glyphs104
math share22%
slot residual-0.01
…year-adjusted+0.03
felled the strong42%
104-char statement, only 7% solved (avg 1.45/10)

Let a,ba, b be two integers and suppose that nn is a positive integer for which the set Z{axn+bynx,yZ}\mathbb{Z} \setminus \{ a x^n + b y^n \mid x, y \in \mathbb{Z} \} is finite. Prove that n=1n = 1.

number theory
IMC 2004 · Day 2 · P11very hardmixed 3/6stats
cohort scored176
average1.1 / 10
solved9%
near-084%
discrimination0.21
statement glyphs33
math share73%
slot residual-0.04
…year-adjusted-0.05
felled the strong56%
33-char statement, only 9% solved (avg 1.11/10)

Prove that 0101dxdyx1+lny11.\int_0^1 \int_0^1 \frac{dx\,dy}{x^{-1} + |\ln y| - 1} \le 1.

integrationinequalities
IMC 2000 · Day 2 · P11very hardmixed 3/6stats
cohort scored114
average2.6 / 10
solved9%
near-054%
discrimination0.53
statement glyphs98
math share36%
slot residual-0.03
…year-adjusted-0.08
felled the strong8%
98-char statement, only 9% solved (avg 2.6/10)

Let R+\mathbb{R}^+ be the set of positive real numbers. Find all functions f:R+R+f : \mathbb{R}^+ \to \mathbb{R}^+ such that for all x,yR+x, y \in \mathbb{R}^+ f(x)f(yf(x))=f(x+y).f(x) f(y f(x)) = f(x + y).

functional equations
IMC 2015 · Day 1 · P4very hardmixed 4/6stats
cohort scored318
average1.0 / 10
solved9%
near-088%
discrimination0.52
statement glyphs88
math share44%
slot residual+0.01
…year-adjusted+0.05
felled the strong41%
88-char statement, only 9% solved (avg 1.0/10)

Determine whether or not there exist 15 integers m1,,m15m_1, \dots, m_{15} such that k=115mkarctan(k)=arctan(16).(1)\tag{1} \sum_{k=1}^{15} m_k \cdot \arctan(k) = \arctan(16).

authorGerhard WoegingerEindhoven University of Technologynumber theorycomplex analysis
IMC 2006 · Day 1 · P5very hardmixed 3/6stats
cohort scored237
average1.4 / 10
solved11%
near-080%
discrimination0.31
statement glyphs101
math share52%
slot residual-0.01
…year-adjusted-0.05
felled the strong67%
101-char statement, only 11% solved (avg 1.39/10)

Let a,b,c,d,e>0a, b, c, d, e > 0 be real numbers such that a2+b2+c2=d2+e2a^2 + b^2 + c^2 = d^2 + e^2 and a4+b4+c4=d4+e4a^4 + b^4 + c^4 = d^4 + e^4. Compare the numbers a3+b3+c3a^3 + b^3 + c^3 and d3+e3d^3 + e^3.

inequalitiesreal analysis
IMC 2003 · Day 2 · P12very hardartificial 2/6stats
cohort scored185
average1.5 / 10
solved12%
near-084%
discrimination0.38
statement glyphs101
math share53%
slot residual+0.09
…year-adjusted-0.02
felled the strong56%
101-char statement, only 12% solved (avg 1.54/10)

Let (an)nN(a_n)_{n \in \mathbb{N}} be the sequence defined by a0=1,an+1=1n+1k=0naknk+2.a_0 = 1, \qquad a_{n+1} = \frac{1}{n+1} \sum_{k=0}^{n} \frac{a_k}{n - k + 2}. Find the limit limnk=0nak2k,\lim_{n \to \infty} \sum_{k=0}^{n} \frac{a_k}{2^k}, if it exists.

sequences & series