Consider an arc of a planar curve; let the radius of curvature at any point of the arc be a differentiable function of the arc length and its derivative be everywhere different from zero; moreover, let the total curvature be less than $ \frac{\pi}{2}$. Let $ P_1,P_2,P_3,P_4,P_5$ and $ P_6$ be any points on this arc, subject to the only condition that the radius of curvature at $ P_k$ is greater than at $ P_j$ if $ j<k$. Prove that the radius of the circle passing through the points $ P_1,P_3$ and $ P_5$ is less than the radius of the circle through $ P_2,P_4$ and $ P_6$

Show that the perimeter of an arbitrary planar section of a tetrahedron is less than the perimeter of one of the faces of the tetrahedron. [Gy. Hajos]

prove that $1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+...=\frac{\pi}{4}$

Assume that a face of a convex polyhedron $ P$ has a common edge with every other face. Show that there exists a simple closed polygon that consists of edges of $ P$ and passes through all vertices. [i]L .Lovasz[/i]

Show that the center of gravity of a convex region in the plane halves at least three chords of the region. [Gy. Hajos]

Let $ T$ be a surjective mapping of the hyperbolic plane onto itself which maps collinear points into collinear points. Prove that $ T$ must be an isometry. [i]M. Bognar[/i]

Consider the radii of normal curvature of a surface at one of its points $ P_0$ in two conjugate direction (with respect to the Dupin indicatrix). Show that their sum does not depend on the choice of the conjugate directions. (We exclude the choice of asymptotic directions in the case of a hyperbolic point.)

Let $ H$ be an arbitrary subgroup of the diffeomorphism group $ \mathsf{Diff}^\infty(M)$ of a differentiable manifold $ M$. We say that an $ \mathcal C^\infty$-vector field $ X$ is [i]weakly tangent[/i] to the group $ H$, if there exists a positive integer $ k$ and a $ \mathcal C^\infty$-differentiable map $ \varphi \mathrel{: } \mathord{]} \minus{} \varepsilon,\varepsilon\mathord{[}^k\times M\to M$ such that (i) for fixed $ t_1,\dots,t_k$ the map \[ \varphi_{t_1,\dots,t_k} : x\in M\mapsto \varphi(t_1,\dots,t_k,x)\] is a diffeomorphism of $ M$, and $ \varphi_{t_1,\dots,t_k}\in H$; (ii) $ \varphi_{t_1,\dots,t_k}\in H \equal{} \mathsf{Id}$ whenever $ t_j \equal{} 0$ for some $ 1\leq j\leq k$; (iii) for any $ \mathcal C^\infty$-function $ f: M\to \mathbb R$ \[ X f \equal{} \left.\frac {\partial^k(f\circ\varphi_{t_1,\dots,t_k})}{\partial t_1\dots\partial t_k}\right|_{(t_1,\dots,t_k) \equal{} (0,\dots,0)}.\] Prove, that the commutators of $ \mathcal C^\infty$-vector fields that are weakly tangent to $ H\subset \textsf{Diff}^\infty(M)$ are also weakly tangent to $ H$.

Let $ D$ be a convex subset of the $ n$-dimensional space, and suppose that $ D'$ is obtained from $ D$ by applying a positive central dilatation and then a translation. Suppose also that the sum of the volumes of $ D$ and $ D'$ is $ 1$, and $ D \cap D'\not\equal{} \emptyset .$ Determine the supremum of the volume of the convex hull of $ D \cup D'$ taken for all such pairs of sets $ D,D'$. [i]L. Fejes-Toth, E. Makai[/i]

[list] (a) Consider an ellipse in the plane. Prove that there exists a Riemannian metric which is defined on the whole plane, and with respect to which the ellipse is a geodesic. Prove that the Gaussian curvature of any such Riemannian metric takes a positive value. (b) Consider two nonintersecting, simple closed smooth curves in the plane. Prove that if there is a Riemmanian metric defined on the whole plane and the two curves are geodesics of that metric, then the Gaussian curvature of the metric vanishes somewhere. [/list] [i]Proposed by Tran Quoc Binh[/i]

Consider an arc of a planar curve such that the total curvature of the arc is less than $ \pi$. Suppose, further, that the curvature and its derivative with respect to the arc length exist at every point of the arc and the latter nowhere equals zero. Let the osculating circles belonging to the endpoints of the arc and one of these points be given. Determine the possible positions of the other endpoint.

Suppose that $ V$ is a locally compact topological space that admits no countable covering with compact sets. Let $ \textbf{C}$ denote the set of all compact subsets of the space $ V$ and $ \textbf{U}$ the set of open subsets that are not contained in any compact set. Let $ f$ be a function from $ \textbf{U}$ to $ \textbf{C}$ such that $ f(U)\subseteq U$ for all $ U \in \textbf{U}$. Prove that either (i) there exists a nonempty compact set $ C$ such that $ f(U)$ is not a proper subset of $ C$ whenever $ C \subseteq U \in \textbf{U}$, (ii) or for some compact set $ C$, the set \[ f^{-1}(C)= \bigcup \{U \in \textbf{U}\;: \ \;f(U)\subseteq C\ \}\] is an element of $ \textbf{U}$, that is, $ f^{-1}(C)$ is not contained in any compact set. [i]A. Mate[/i]

A subalgebra $\mathfrak{h}$ of a Lie algebra $\mathfrak g$ is said to have the $\gamma$ property with respect to a scalar product ${\langle \cdot,\cdot \rangle}$ given on ${\mathfrak g}$ if ${X \in \mathfrak{h}}$ implies ${\langle [X,Y],X\rangle =0}$ for all ${Y \in \mathfrak g}$. Prove that the maximum dimension of ${\gamma}$-property subalgebras of a given ${2}$ step nilpotent Lie algebra with respect to a scalar product is independent of the selection of the scalar product. [i]Proposed by Péter Nagy Tibor[/i]

Assume that $X$ is a seperable metric space. Prove that if $f: X\longrightarrow\mathbb R$ is a function that $\lim_{x\rightarrow a}f(x)$ exists for each $a\in\mathbb R$. Prove that set of points in which $f$ is not continuous is countable.

Let $ h$ be a triangle of perimeter $ 1$, and let $ H$ be a triangle of perimeter $ \lambda$ homothetic to $ h$. Let $ h_1,h_2,...$ be translates of $ h$ such that , for all $ i$, $ h_i$ is different from $ h_{i\plus{}2}$ and touches $ H$ and $ h_{i\plus{}1}$ (that is, intersects without overlapping). For which values of $ \lambda$ can these triangles be chosen so that the sequence $ h_1,h_2,...$ is periodic? If $ \lambda \geq 1$ is such a value, then determine the number of different triangles in a periodic chain $ h_1,h_2,...$ and also the number of times such a chain goes around the triangle $ H$. [i]L. Fejes-Toth[/i]

We are given an infinite sequence of $ 1$'s and $ 2$'s with the following properties: (1) The first element of the sequence is $ 1$. (2) There are no two consecutive $ 2$'s or three consecutive $ 1$'s. (3) If we replace consecutive $ 1$'s by a single $ 2$, leave the single $ 1$'s alone, and delete the original $ 2$'s, then we recover the original sequence. How many $ 2$'s are there among the first $ n$ elements of the sequence? [i]P. P. Palfy[/i]

Let $ C$ be a simple arc with monotone curvature such that $ C$ is congruent to its evolute. Show that under appropriate differentiability conditions, $ C$ is a part of a cycloid or a logarithmic spiral with polar equation $ r\equal{}ae^{\vartheta}$. [i]J. Szenthe[/i]

Let $d \ge 2$ be an integer. Prove that there exists a constant $C(d)$ such that the following holds: For any convex polytope $K\subset \mathbb{R}^d$, which is symmetric about the origin, and any $\varepsilon \in (0, 1)$, there exists a convex polytope $L \subset \mathbb{R}^d$ with at most $C(d) \varepsilon^{1-d}$ vertices such that \[(1-\varepsilon)K \subseteq L \subseteq K.\] Official definitions: For a real $\alpha,$ a set $T \in \mathbb{R}^d$ is a [i]convex polytope with at most $\alpha$ vertices[/i], if $T$ is a convex hull of a set $X \in \mathbb{R}^d$ of at most $\alpha$ points, i.e. $T = \{\sum\limits_{x\in X} t_x x | t_x \ge 0, \sum\limits_{x \in X} t_x = 1\}.$ Define $\alpha K = \{\alpha x | x \in K\}.$ A set $T \in \mathbb{R}^d$ is [i]symmetric about the origin[/i] if $(-1)T = T.$

Suppose that $X$ is a compact metric space and $T: X\rightarrow X$ is a continous function. Prove that $T$ has a returning point. It means there is a strictly increasing sequence $n_i$ such that $\lim_{k\rightarrow \infty} T^{n_k}(x_0)=x_0$ for some $x_0$.

Let $ \alpha$ be a projective plane and $ c$ a closed polygon on $ \alpha$. Prove that $ \alpha$ will be decomposed into two regions by $ c$ if and only if there exists a straight line $ g$ in $ \alpha$ which has an even number of points in common with $ c$.

Let $ \mathcal{F}$ be a family of subsets of a ground set $ X$ such that $ \cup_{F \in \mathcal{F}}F=X$, and (a) if $ A,B \in \mathcal{F}$, then $ A \cup B \subseteq C$ for some $ C \in \mathcal{F};$ (b) if $ A_n \in \mathcal{F} \;(n=0,1,...)\ , B \in \mathcal{F},$ and $ A_0 \subset A_1 \subset...,$ then, for some $ k \geq 0, \;A_n \cap B=A_k \cap B$ for all $ n \geq k$. Show that there exist pairwise disjoint sets ${ X_{\gamma} \;( \gamma \in \Gamma}\ )$, with $ X= \cup \{ X_{\gamma} : \;\gamma \in \Gamma \ \},$ such that every $ X_{\gamma}$ is contained in some member of $ \mathcal{F}$, and every element of $ \mathcal{F}$ is contained in the union of finitely many $ X_{\gamma}$'s. [i]A. Hajnal[/i]

The plane is divided into domains by $ n$ straight lines in general position, where $ n \geq 3$. Determine the maximum and minimum possible number of angular domains among them. (We say that $ n$ lines are in general position if no two are parallel and no three are concurrent.)

Let $ f$ and $ g$ be polynomials with rational coefficients, and let $ F$ and $ G$ denote the sets of values of $ f$ and $ g$ at rational numbers. Prove that $ F \equal{} G$ holds if and only if $ f(x) \equal{} g(ax \plus{} b)$ for some suitable rational numbers $ a\not \equal{} 0$ and $ b$. [i]E. Fried[/i]

Let $ V$ be a bounded, closed, convex set in $ \mathbb{R}^n$, and denote by $ r$ the radius of its circumscribed sphere (that is, the radius of the smallest sphere that contains $ V$). Show that $ r$ is the only real number with the following property: for any finite number of points in $ V$, there exists a point in $ V$ such that the arithmetic mean of its distances from the other points is equal to $ r$. [i]Gy. Szekeres[/i]

Prove that if a sequence of Mikusinski operators of the form $ \mu e^{\minus{}\lambda s}$ ( $ \lambda$ and $ \mu$ nonnegative real numbers, $ s$ the differentiation operator) is convergent in the sense of Mikusinski, then its limit is also of this form. [i]E. Geaztelyi[/i]