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]

Show that \[ \prod_{1\leq x < y \leq \frac{p\minus{}1}{2}} (x^2\plus{}y^2) \equiv (\minus{}1)^{\lfloor\frac{p\plus{}1}{8}\rfloor} \;(\textbf{mod}\;p\ ) \] for every prime $ p\equiv 3 \;(\textbf{mod}\;4\ )$. [J. Suranyi]

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 $ 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 $ \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]

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]

[b]a)[/b] prove that the function $\zeta(s)=\sum_{n=1}^\infty\frac{1}{n^s}$ that is defined on the area $Re(s)>1$, is an analytic function. [b]b)[/b] prove that the function $\zeta(s)-\frac{1}{s-1}$ can be spanned to an analytic function over $\mathbb C$. [b]c)[/b] using the span of part [b]b[/b] show that $\zeta(1-n)=-\frac{B_n}{n}$ that $B_n$ is the $n$th bernoli number that is defined by generating function $\frac{t}{e^t-1}=\sum_{n=0}^{\infty}B_n\frac{t^n}{n!}$.

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$.

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

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]

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

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]

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.

The traffic rules in a regular triangle allow one to move only along segments parallel to one of the altitudes of the triangle. We define the distance between two points of the triangle to be the length of the shortest such path between them. Put $ \binom{n\plus{}1}{2}$ points into the triangle in such a way that the minimum distance between pairs of points is maximal. [i]L. Fejes-Toth[/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]

For which cardinalities $ \kappa$ do antimetric spaces of cardinality $ \kappa$ exist? $ (X,\varrho)$ is called an $ \textit{antimetric space}$ if $ X$ is a nonempty set, $ \varrho : X^2 \rightarrow [0,\infty)$ is a symmetric map, $ \varrho(x,y)\equal{}0$ holds iff $ x\equal{}y$, and for any three-element subset $ \{a_1,a_2,a_3 \}$ of $ X$ \[ \varrho(a_{1f},a_{2f})\plus{}\varrho(a_{2f},a_{3f}) < \varrho(a_{1f},a_{3f})\] holds for some permutation $ f$ of $ \{1,2,3 \}$. [i]V. Totik[/i]

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]

Let $ f$ be a complex-valued, completely multiplicative,arithmetical function. Assume that there exists an infinite increasing sequence $ N_k$ of natural numbers such that \[ f(n)\equal{}A_k \not\equal{} 0 \;\textrm{provided}\ \; N_k \leq n \leq N_k\plus{}4 \sqrt{N_k}\ .\] Prove that $ f$ is identically $ 1$. [i]I. Katai[/i]

Give an example of ten different noncoplanar points $ P_1,\ldots ,P_5,Q_1,\ldots ,Q_5$ in $ 3$-space such that connecting each $ P_i$ to each $ Q_j$ by a rigid rod results in a rigid system. [i]L. Lovasz[/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}$.

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$.

Let $\rho:\mathbb{R}^n\to \mathbb{R}$, $\rho(\mathbf{x})=e^{-||\mathbf{x}||^2}$, and let $K\subset \mathbb{R}^n$ be a convex body, i.e., a compact convex set with nonempty interior. Define the barycenter $\mathbf{s}_K$ of the body $K$ with respect to the weight function $\rho$ by the usual formula \[\mathbf{s}_K=\frac{\int_K\rho(\mathbf{x})\mathbf{x}d\mathbf{x}}{\int_K\rho(\mathbf{x})d\mathbf{x}}.\] Prove that the translates of the body $K$ have pairwise distinct barycenters with respect to $\rho$.

Let $ \mathcal{F}$ be a surface which is simply covered by two systems of geodesics such that any two lines belonging to different systems form angles of the same opening. Prove that $ \mathcal{F}$ can be developed (that is, isometrically mapped) into the plane.

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]

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]