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

IMC / 2000 / Problems / Day 1, P1

IMC 2000 · Day 1 · P1

easy

Is it true that if f:[0,1][0,1]f : [0,1] \to [0,1] is

a) monotone increasing

b) monotone decreasing

then there exists an x[0,1]x \in [0,1] for which f(x)=xf(x) = x?

Solution (official)

a) Yes.

Proof: Let A={x[0,1]:f(x)>x}A = \{ x \in [0,1] : f(x) > x \}. If f(0)=0f(0) = 0 we are done, if not then AA is non-empty (00 is in AA) bounded, so it has supremum, say aa. Let b=f(a)b = f(a).

I. case: a<ba < b. Then, using that ff is monotone and aa was the sup, we get b=f(a)f((a+b)/2)(a+b)/2b = f(a) \le f((a+b)/2) \le (a+b)/2, which contradicts a<ba < b.

II. case: a>ba > b. Then we get b=f(a)f((a+b)/2)>(a+b)/2b = f(a) \ge f((a+b)/2) > (a+b)/2 contradiction.

Therefore we must have a=ba = b.

b) No. Let, for example, f(x)=1x/2if x1/2f(x) = 1 - x/2 \quad \text{if } x \le 1/2 and f(x)=1/2x/2if x>1/2f(x) = 1/2 - x/2 \quad \text{if } x > 1/2 This is clearly a good counter-example.

How the field did

contestants scored
114
average (of 20)
16.14
solved (≥ 80%)
65.8%
near-0 (≤ 10%)
5.3%
discrimination
0.65

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 2025 · Day 2 · P6easyavg 7.5/10 · solved 66% · near-0 13% · disc 0.38
IMC 2016 · Day 1 · P1easyavg 7.5/10 · solved 63% · near-0 11% · disc 0.54
IMC 2004 · Day 1 · P2easyavg 8.0/10 · solved 69% · near-0 4% · disc 0.29
IMC 2023 · Day 1 · P1easyavg 7.7/10 · solved 72% · near-0 6% · disc 0.46