Let $ \lambda_i \;(i=1,2,...)$ be a sequence of distinct positive numbers tending to infinity. Consider the set of all numbers representable in the form \[ \mu= \sum_{i=1}^{\infty}n_i\lambda_i ,\] where $ n_i \geq 0$ are integers and all but finitely many $ n_i$ are $ 0$. Let \[ L(x)= \sum _{\lambda_i \leq x} 1 \;\textrm{and}\ \;M(x)= \sum _{\mu \leq x} 1 \ .\] (In the latter sum, each $ \mu$ occurs as many times as its number of representations in the above form.) Prove that if \[ \lim_{x\rightarrow \infty} \frac{L(x+1)}{L(x)}=1,\] then \[ \lim_{x\rightarrow \infty} \frac{M(x+1)}{M(x)}=1.\] [i]G. Halasz[/i]

Let ${\mathcal A}$ be a ${C^{\ast}}$ algebra with a unit element and let ${\mathcal A_+}$ be the cone of the positive elements of ${\mathcal A}$ (this is the set of such self adjoint elements in ${\mathcal A}$ whose spectrum is in ${[0,\infty)}$. Consider the operation \[ \displaystyle x \circ y =\sqrt{x}y\sqrt{x},\ x,y \in \mathcal A_+\] Prove that if for all ${x,y \in \mathcal A_+}$ we have \[ \displaystyle (x\circ y)\circ y = x \circ (y \circ y), \] then ${\mathcal A}$ is commutative. [i]Proposed by Lajos Molnár[/i]

Let $ K$ be a convex cone in the $ n$-dimensional real vector space $ \mathbb{R}^n$, and consider the sets $ A\equal{}K \cup (\minus{}K)$ and $ B\equal{}(\mathbb{R}^n \setminus A) \cup \{ 0 \}$ ($ 0$ is the origin). Show that one can find two subspaces in $ \mathbb{R}^n$ such that together they span $ \mathbb{R}^n$, and one of them lies in $ A$ and the other lies in $ B$. [i]J. Szucs[/i]

Let $ p$ be a prime and let \[ l_k(x,y)\equal{}a_kx\plus{}b_ky \;(k\equal{}1,2,...,p^2)\ .\] be homogeneous linear polynomials with integral coefficients. Suppose that for every pair $ (\xi,\eta)$ of integers, not both divisible by $ p$, the values $ l_k(\xi,\eta), \;1\leq k\leq p^2 $, represent every residue class $ \textrm{mod} \;p$ exactly $ p$ times. Prove that the set of pairs $ \{(a_k,b_k): 1\leq k \leq p^2 \}$ is identical $ \textrm{mod} \;p$ with the set $ \{(m,n): 0\leq m,n \leq p\minus{}1 \}.$

Let $ \sigma(S_n,k)$ denote the sum of the $ k$th powers of the lengths of the sides of the convex $ n$-gon $ S_n$ inscribed in a unit circle. Show that for any natural number greater than $ 2$ there exists a real number $ k_0$ between $ 1$ and $ 2$ such that $ \sigma(S_n,k_0)$ attains its maximum for the regular $ n$-gon. [i]L. Fejes Toth[/i]

For every natural number $ r$, the set of $ r$-tuples of natural numbers is partitioned into finitely many classes. Show that if $ f(r)$ is a function such that $ f(r)\geq 1$ and $ \lim _{r\rightarrow \infty} f(r)\equal{}\plus{}\infty$, then there exists an infinite set of natural numbers that, for all $ r$, contains $ r$-triples from at most $ f(r)$ classes. Show that if $ f(r) \not \rightarrow \plus{}\infty$, then there is a family of partitions such that no such infinite set exists. [i]P. Erdos, A. Hajnal[/i]

Let $ M^n \subset \mathbb{R}^{n\plus{}1}$ be a complete, connected hypersurface embedded into the Euclidean space. Show that $ M^n$ as a Riemannian manifold decomposes to a nontrivial global metric direct product if and only if it is a real cylinder, that is, $ M^n$ can be decomposed to a direct product of the form $ M^n\equal{}M^k \times \mathbb{R}^{n\minus{}k} \;(k<n)$ as well, where $ M^k$ is a hypersurface in some $ (k\plus{}1)$-dimensional subspace $ E^{k\plus{}1} \subset \mathbb{R}^{n\plus{}1} , \mathbb{R}^{n\minus{}k}$ is the orthogonal complement of $ E^{k\plus{}1}$. [i]Z. Szabo[/i]

Is it true that on any surface homeomorphic to an open disc there exist two congruent curves homeomorphic to a circle?

Let $ \mathcal{H}$ be the class of all graphs with at most $ 2^{\aleph_0}$ vertices not containing a complete subgraph of size $ \aleph_1$. Show that there is no graph $ H \in \mathcal{H}$ such that every graph in $ \mathcal{H}$ is a subgraph of $ H$. [i]F. Galvin[/i]

Let $ P(z)$ be a polynomial of degree $ n$ with complex coefficients, \[ P(0)\equal{}1, \;\textrm{and}\ \;|P(z)|\leq M\ \;\textrm{for}\ \;|z| \leq 1\ .\] Prove that every root of $ P(z)$ in the closed unit disc has multiplicity at most $ c\sqrt{n}$, where $ c\equal{}c(M) >0$ is a constant depending only on $ M$. [i]G. Halasz[/i]

Let $ p$ be a prime, $ n$ a natural number, and $ S$ a set of cardinality $ p^n$ . Let $ \textbf{P}$ be a family of partitions of $ S$ into nonempty parts of sizes divisible by $ p$ such that the intersection of any two parts that occur in any of the partitions has at most one element. How large can $ |\textbf{P}|$ be?

Let $ \mathcal{T}_1$ and $ \mathcal{T}_2$ be second-countable topologies on the set $ E$. We would like to find a real function $ \sigma$ defined on $ E \times E$ such that \[ 0 \leq \sigma(x,y) <\plus{}\infty, \;\sigma(x,x)\equal{}0 \ ,\] \[ \sigma(x,z) \leq \sigma(x,y)\plus{}\sigma(y,z) \;(x,y,z \in E) \ ,\] and, for any $ p \in E$, the sets \[ V_1(p,\varepsilon)\equal{}\{ x : \;\sigma(x,p)< \varepsilon \ \} \;(\varepsilon >0) \] form a neighborhood base of $ p$ with respect to $ \mathcal{T}_1$, and the sets \[ V_2(p,\varepsilon)\equal{}\{ x : \;\sigma(p,x)< \varepsilon \ \} \;(\varepsilon >0) \] form a neighborhood base of $ p$ with respect to $ \mathcal{T}_2$. Prove that such a function $ \sigma$ exists if and only if, for any $ p \in E$ and $ \mathcal{T}_i$-open set $ G \ni p \;(i\equal{}1,2) $, there exist a $ \mathcal{T}_i$-open set $ G'$ and a $ \mathcal{T}_{3\minus{}i}$-closed set $ F$ with $ p \in G' \subset F \subset G.$ [i]A. Csaszar[/i]

Show that for any natural number $ n$ and any real number $ d > 3^n / (3^n\minus{}1)$, one can find a covering of the unit square with $ n$ homothetic triangles with area of the union less than $ d$.

Given four points $ A_1,A_2,A_3,A_4$ in the plane in such a way that $ A_4$ is the centroid of the $ \bigtriangleup A_1A_2A_3$, find a point $ A_5$ in the plane that maximizes the ratio \[ \frac{\min_{1 \leq i < j < k \leq 5}T(A_iA_jA_k)}{\max_{1 \leq i < j < k \leq 5}T(A_iA_jA_k)}.\] ($ T(ABC)$ denotes the area of the triangle $ \bigtriangleup ABC.$ ) [i]J. Suranyi[/i]

Let us divide by straight lines a quadrangle of unit area into $ n$ subpolygons and draw a circle into each subpolygon. Show that the sum of the perimeters of the circles is at most $ \pi \sqrt{n}$ (the lines are not allowed to cut the interior of a subpolygon). [i]G. and L. Fejes-Toth[/i]

What is the radius of the largest disc that can be covered by a finite number of closed discs of radius $ 1$ in such a way that each disc intersects at most three others? [i]L. Fejes-Toth[/i]

Let $ R$ be a bounded domain of area $ t$ in the plane, and let $ C$ be its center of gravity. Denoting by $ T_{AB}$ the circle drawn with the diameter $ AB$, let $ K$ be a circle that contains each of the circles $ T_{AB} \;(A,B \in R)$. Is it true in general that $ K$ contains the circle of area $ 2t$ centered at $ C$? [i]J. Szucs[/i]

Let $ F$ be a surface of nonzero curvature that can be represented around one of its points $ P$ by a power series and is symmetric around the normal planes parallel to the principal directions at $ P$. Show that the derivative with respect to the arc length of the curvature of an arbitrary normal section at $ P$ vanishes at $ P$. Is it possible to replace the above symmetry condition by a weaker one? [i]A. Moor[/i]

Let $ U\subset\mathbb R^n$ be an open set, and let $ L: U\times\mathbb R^n\to\mathbb R$ be a continuous, in its second variable first order positive homogeneous, positive over $ U\times (\mathbb R^n\setminus\{0\})$ and of $ C^2$-class Langrange function, such that for all $ p\in U$ the Gauss-curvature of the hyper surface \[ \{ v\in\mathbb R^n \mid L(p,v) \equal{} 1 \}\] is nowhere zero. Determine the extremals of $ L$ if it satisfies the following system \[ \sum_{k \equal{} 1}^n y^k\partial_k\partial_{n \plus{} i}L \equal{} \sum_{k \equal{} 1}^n y^k\partial_i\partial_{n \plus{} k} L \qquad (i\in\{1,\dots,n\})\] of partial differetial equations, where $ y^k(u,v) : \equal{} v^k$ for $ (u,v)\in U\times\mathbb R^k$, $ v \equal{} (v^1,\dots,v^k)$.

Consider the intersection of an ellipsoid with a plane $ \sigma$ passing through its center $ O$. On the line through the point $ O$ perpendicular to $ \sigma$, mark the two points at a distance from $ O$ equal to the area of the intersection. Determine the loci of the marked points as $ \sigma$ runs through all such planes. [i]L. Tamassy[/i]

Let $N$ be a normed linear space with a dense linear subspace $M$. Prove that if $L_1,\ldots,L_m$ are continuous linear functionals on $N$, then for all $x\in N$ there exists a sequence $(y_n)$ in $M$ converging to $x$ satisfying $L_j(y_n)=L_j(x)$ for all $j=1,\ldots,m$ and $n\in \mathbb{N}$.

Let us defined a pseudo-Riemannian metric on the set of points of the Euclidean space $ \mathbb{E}^3$ not lying on the $ z$-axis by the metric tensor \[ \left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & \minus{}\sqrt{x^2\plus{}y^2} \\ \end{array} \right),\] where $ (x,y,z)$ is a Cartesian coordinate system $ \mathbb{E}^3$. Show that the orthogonal projections of the geodesic curves of this Riemannian space onto the $ (x,y)$-plane are straight lines or conic sections with focus at the origin [i]P. Nagy[/i]

Assume that $ R$, a recursive, binary relation on $ \mathbb{N}$ (the set of natural numbers), orders $ \mathbb{N}$ into type $ \omega$. Show that if $ f(n)$ is the $ n$th element of this order, then $ f$ is not necessarily recursive. [i]L. Posa[/i]

Characterize those configurations of $ n$ coplanar straight lines for which the sum of angles between all pairs of lines is maximum. [i]L.Fejes-Toth, A. Heppes[/i]

Consider a Riemannian metric on the vector space ${\Bbb{R}^n}$ which satisfies the property that for each two points ${a,b}$ there is a single distance minimising geodesic segment ${g(a,b)}$. Suppose that for all ${a \in \Bbb{R}^n}$, the Riemannian distance with respect to ${a}, {\rho_a : \Bbb{R}^n \rightarrow \Bbb{R}}$ is convex and differentiable outside of ${a}$. Prove that if for a point ${x \neq a,b}$ we have \[ \displaystyle \partial_i \rho_a(x)=-\partial_i \rho_b(x),\ i=1,\cdots, n\] then ${x}$ is a point on ${g(a,b)}$ and conversely. [i]Proposed by Lajos Tamássy and Dávid Kertész[/i]