olymmath

IMC 1996 Problem 6

    Upper content of a subset EE of the plane R2\mathbb{R}^{2} is defined as C(E)=inf⁡{∑i=1ndiam(Ei)}\mathcal{C}(E)=\inf\{\sum_{i=1}^{n} \text{diam}(E_{i})\} where inf⁡\inf is taken over all finite families of sets E1,…,EnE_{1},\dots,E_{n} n∈Nn\in \mathbb{N} , in R2\mathbb{R}^{2} such that E⊂⋃i=1nEiE\subset \bigcup_{i=1}^{n}E_{i} . Lower content of EE is defined as K(E)=sup⁡{length(L)∣L is a closed line segment onto which E can be contracted}\mathcal{K}(E)=\sup\{\text{length}(L) | L \text{ is a closed line segment onto which $E$ can be contracted}\} . Prove that i) C(L)=length(L)\mathcal{C}(L)=\text{length}(L) if LL is a closed line segment; ii) C(E)≥K(E)\mathcal{C}(E) \geq \mathcal{K}(E) ; iii) the equality in ii) is not always true even if EE is compact.

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator imc/1996/p6 · Tag Y9XT63S9QB · Edit this page on GitHub · Keys: j next, k previous