Found problems: 876
1953 Miklós Schweitzer, 9
[b]9.[/b] Let $w=f(x)$ be regular in $ \left | z \right |\leq 1$. For $0\leq r \leq 1$, denote by c, the image by $f(z)$ of the circle $\left | z \right | = r$. Show that if the maximal length of the chords of $c_{1}$ is $1$, then for every $r$ such that $0\leq r \leq 1$, the maximal length of the chords of c, is not greater than $r$. [b](F. 1)[/b]
1990 Putnam, A3
Prove that any convex pentagon whose vertices (no three of which are collinear) have integer coordinates must have area greater than or equal to $ \dfrac {5}{2} $.
2008 IMC, 6
Let $ \mathcal{H}$ be an infinite-dimensional Hilbert space, let $ d>0$, and suppose that $ S$ is a set of points (not necessarily countable) in $ \mathcal{H}$ such that the distance between any two distinct points in $ S$ is equal to $ d$. Show that there is a point $ y\in\mathcal{H}$ such that
\[ \left\{\frac{\sqrt{2}}{d}(x\minus{}y): \ x\in S\right\}\]
is an orthonormal system of vectors in $ \mathcal{H}$.
2016 IMC, 4
Let $k$ be a positive integer. For each nonnegative integer $n$, let $f(n)$ be the number of solutions $(x_1,\ldots,x_k)\in\mathbb{Z}^k$ of the inequality $|x_1|+...+|x_k|\leq n$. Prove that for every $n\ge1$, we have $f(n-1)f(n+1)\leq f(n)^2$.
(Proposed by Esteban Arreaga, Renan Finder and José Madrid, IMPA, Rio de Janeiro)
2011 Putnam, A1
Define a [i]growing spiral[/i] in the plane to be a sequence of points with integer coordinates $P_0=(0,0),P_1,\dots,P_n$ such that $n\ge 2$ and:
• The directed line segments $P_0P_1,P_1P_2,\dots,P_{n-1}P_n$ are in successive coordinate directions east (for $P_0P_1$), north, west, south, east, etc.
• The lengths of these line segments are positive and strictly increasing.
\[\begin{picture}(200,180)
\put(20,100){\line(1,0){160}}
\put(100,10){\line(0,1){170}}
\put(0,97){West}
\put(180,97){East}
\put(90,0){South}
\put(90,180){North}
\put(100,100){\circle{1}}\put(100,100){\circle{2}}\put(100,100){\circle{3}}
\put(115,100){\circle{1}}\put(115,100){\circle{2}}\put(115,100){\circle{3}}
\put(115,130){\circle{1}}\put(115,130){\circle{2}}\put(115,130){\circle{3}}
\put(40,130){\circle{1}}\put(40,130){\circle{2}}\put(40,130){\circle{3}}
\put(40,20){\circle{1}}\put(40,20){\circle{2}}\put(40,20){\circle{3}}
\put(170,20){\circle{1}}\put(170,20){\circle{2}}\put(170,20){\circle{3}}
\multiput(100,99.5)(0,.5){3}{\line(1,0){15}}
\multiput(114.5,100)(.5,0){3}{\line(0,1){30}}
\multiput(40,129.5)(0,.5){3}{\line(1,0){75}}
\multiput(39.5,20)(.5,0){3}{\line(0,1){110}}
\multiput(40,19.5)(0,.5){3}{\line(1,0){130}}
\put(102,90){P0}
\put(117,90){P1}
\put(117,132){P2}
\put(28,132){P3}
\put(30,10){P4}
\put(172,10){P5}
\end{picture}\]
How many of the points $(x,y)$ with integer coordinates $0\le x\le 2011,0\le y\le 2011$ [i]cannot[/i] be the last point, $P_n,$ of any growing spiral?
2003 IMC, 5
a) Show that for each function $f:\mathbb{Q} \times \mathbb{Q} \rightarrow \mathbb{R}$, there exists a function $g:\mathbb{Q}\rightarrow \mathbb{R}$ with $f(x,y) \leq g(x)+g(y) $ for all $x,y\in \mathbb{Q}$.
b) Find a function $f:\mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R}$, for which there is no function $g:\mathbb{Q}\rightarrow \mathbb{R}$ such that $f(x,y) \leq g(x)+g(y) $ for all $x,y\in \mathbb{R}$.
2012 IMC, 5
Let $c \ge 1$ be a real number. Let $G$ be an Abelian group and let $A \subset G$ be a finite set satisfying $|A+A| \le c|A|$, where $X+Y:= \{x+y| x \in X, y \in Y\}$ and $|Z|$ denotes the cardinality of $Z$. Prove that
\[|\underbrace{A+A+\dots+A}_k| \le c^k |A|\]
for every positive integer $k$.
[i]Proposed by Przemyslaw Mazur, Jagiellonian University.[/i]
2008 Miklós Schweitzer, 2
Let $t\ge 3$ be an integer, and for $1\le i <j\le t$ let $A_{ij}=A_{ji}$ be an arbitrary subset of an $n$-element set $X$. Prove that there exist $1\le i < j\le t$ for which
$$\left| \left( X\,\backslash\, A_{ij}\right) \cup \bigcup_{k\neq i,j}\left( A_{ik}\cap A_{jk}\right) \right| \ge \frac{t-2}{2t-2}n$$
(translated by Miklós Maróti)
1984 Miklós Schweitzer, 6
[b]6.[/b] For which Lebesgue-measurable subsets $E$ of the real line does a positive constant $c$ exist for which
$\sup_{-\infty < t<\infty} \left | \int_{E} e^{itx} f(x) dx\right | \leq c \sup_{n=0,\pm 1,\dots } \left | \int_{E} e^{inx} f(x) dx\right |$
for all integrable functions $f$ on $E$? ([b]M.17[/b])
[G. Halász]
1958 Miklós Schweitzer, 3
[b]3.[/b] Let $n$ be a positive integer having at least one prime factor with expoente $\geq 2$. Show that $n$ has as many factorizations into an odd number of factors as into an even number of factors. (Factorizations into the same factors arranged in different order are considered different.)[b](N. 10)[/b]
2019 IMC, 9
Determine all positive integers $n$ for which there exist $n\times n$ real invertible matrices $A$ and $B$ that satisfy $AB-BA=B^2A$.
[i]Proposed by Karen Keryan, Yerevan State University & American University of Armenia, Yerevan[/i]
2022 Miklós Schweitzer, 3
Original in Hungarian; translated with Google translate; polished by myself.
Let $f: [0, \infty) \to [0, \infty)$ be a function that is linear between adjacent integers, and for $n = 0, 1, \dots$ satisfies
$$f(n) = \begin{cases} 0, & \textrm{if }2\mid n,\\4^l + 1, & \textrm{if }2 \nmid n, 4^{l - 1} \leq n < 4^l(l = 1, 2, \dots).\end{cases}$$
Let $f^1(x) = f(x)$, and $f^k(x) = f(f^{k - 1}(x))$ for all integers $k \geq 2$. Determine the values of $\liminf\nolimits_{k\to\infty}f^k(x)$ and $\limsup\nolimits_{k\to\infty}f^k(x)$ for almost all $x \in [0, \infty)$ under Lebesgue measure.
(Not sure whether the last sentence translates correctly; the original:
Határozzuk meg Lebesgue majdnem minden $x\in [0, \infty)$-re a $\liminf\nolimits_{k\to\infty}f^k(x)$ és $\limsup\nolimits_{k\to\infty}f^k(x)$ értékét.)
ICMC 2, 1
This questions comprises two independent parts.
(i) Let \(g:\mathbb{R}\to\mathbb{R}\) be continuous and such that \(g(0)=0\) and \(g(x)g(-x)>0\) for any \(x > 0\). Find all solutions \(f : \mathbb{R}\to\mathbb{R}\) to the functional equation
\[g(f(x+y))=g(f(x))+g(f(y)),\ x,y\in\mathbb{R}\]
(ii) Find all continuously differentiable functions \(\phi : [a, \infty) \to \mathbb{R}\), where \(a > 0\), that satisfies the equation
\[(\phi(x))^2=\int_a^x \left(\left|\phi(y)\right|\right)^2+\left(\left|\phi'(y)\right|\right)^2\mathrm{d}y -(x-a)^3,\ \forall x\geq a.\]
1998 Putnam, 2
Given a point $(a,b)$ with $0<b<a$, determine the minimum perimeter of a triangle with one vertex at $(a,b)$, one on the $x$-axis, and one on the line $y=x$. You may assume that a triangle of minimum perimeter exists.
2013 Putnam, 3
Suppose that the real numbers $a_0,a_1,\dots,a_n$ and $x,$ with $0<x<1,$ satisfy \[\frac{a_0}{1-x}+\frac{a_1}{1-x^2}+\cdots+\frac{a_n}{1-x^{n+1}}=0.\] Prove that there exists a real number $y$ with $0<y<1$ such that \[a_0+a_1y+\cdots+a_ny^n=0.\]
2019 Korea USCM, 5
A sequence $\{a_n\}_{n\geq 1}$ is defined by a recurrence relation
$$a_1 = 1,\quad a_{n+1} = \log \frac{e^{a_n}-1}{a_n}$$
And a sequence $\{b_n\}_{n\geq 1}$ is defined as $b_n = \prod\limits_{i=1}^n a_i$. Evaluate an infinite series $\sum\limits_{n=1}^\infty b_n$.
1976 Putnam, 6
As usual, let $\sigma (N)$ denote the sum of all the (positive integral) divisors of $N.$ (Included among these divisors are $1$ and $N$ itself.) For example, if $p$ is a prime, then $\sigma (p)=p+1.$ Motivated by the notion of a "perfect" number, a positive integer $N$ is called "quasiperfect" if $\sigma (N) =2N+1.$ Prove that every quasiperfect number is the square of an odd integer.
1966 Putnam, A6
Justify the statement that $$3=\sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{1+5\sqrt{1+\dots}}}}}.$$
2004 Miklós Schweitzer, 1
The Lindelöf number $L(X)$ of a topological space $X$ is the least infinite cardinal $\lambda$ with the property that every open covering of $X$ has a subcovering of cardinality at most $\lambda$. Prove that if evert non-countably infinite subset of a first countable space $X$ has a point of condensation, then $L(X)=\sup L(A)$, where $A$ runs over the separable closed subspaces of $X$.
(A point of condensation of a subset $H\subseteq X$ is a point $x\in X$ such that any neighbourhood of $x$ intersects $H$ in a non-countably infinite set.)
2000 Putnam, 1
Let $A$ be a positive real number. What are the possible values of $\displaystyle\sum_{j=0}^{\infty} x_j^2, $ given that $x_0, x_1, \cdots$ are positive numbers for which $\displaystyle\sum_{j=0}^{\infty} x_j = A$?
MIPT student olimpiad autumn 2024, 3
$\exists ? f: R\to R$ continuos function that:
$\forall x_0\in R \lim\limits_{x \to x_0} \frac{|f(x)-f(x_0)|}{|x-x_0|}=+\infty$
ICMC 3, 1
An [I]automorphism[/i] of a group \(\left(G,*\right)\) is a bijective function \(f:G\to G\) satisfying \(f(x*y)=f(x)*f(y)\) for all \(x,y\in G\).
Find a group \((G,*)\) with fewer than \((201.6)^2=40642.56\) unique elements and exactly \(2016^2\) unique automorphisms.
[i]Proposed by the ICMC Problem Committee[/i]
2005 IMC, 2
2) all elements in {0,1,2}; B[n] = number of rows with no 2 sequent 0's; A[n] with no 3 sequent elements the same; prove |A[n+1]|=3.|B[n]|
2018 IMC, 6
Let $k$ be a positive integer. Find the smallest positive integer $n$ for which there exists $k$ nonzero vectors $v_1,v_2,…,v_k$ in $\mathbb{R}^n$ such that for every pair $i,j$ of indices with $|i-j|>1$ the vectors $v_i$ and $v_j$ are orthogonal.
[i]Proposed by Alexey Balitskiy, Moscow Institute of Physics and Technology and M.I.T.[/i]
2003 Putnam, 5
A Dyck $n$-path is a lattice path of $n$ upsteps $(1, 1)$ and $n$ downsteps $(1, -1)$ that starts at the origin $O$ and never dips below the $x$-axis. A return is a maximal sequence of contiguous downsteps that terminates on the $x$-axis. For example, the Dyck $5$-path illustrated has two returns, of length $3$ and $1$ respectively. Show that there is a one-to-one correspondence between the Dyck $n$-paths with no return of even length and the Dyck $(n - 1)$ paths.
\[\begin{picture}(165,70)
\put(-5,0){O}
\put(0,10){\line(1,0){150}}
\put(0,10){\line(1,1){30}}
\put(30,40){\line(1,-1){15}}
\put(45,25){\line(1,1){30}}
\put(75,55){\line(1,-1){45}}
\put(120,10){\line(1,1){15}}
\put(135,25){\line(1,-1){15}}
\put(0,10){\circle{1}}\put(0,10){\circle{2}}\put(0,10){\circle{3}}\put(0,10){\circle{4}}
\put(15,25){\circle{1}}\put(15,25){\circle{2}}\put(15,25){\circle{3}}\put(15,25){\circle{4}}
\put(30,40){\circle{1}}\put(30,40){\circle{2}}\put(30,40){\circle{3}}\put(30,40){\circle{4}}
\put(45,25){\circle{1}}\put(45,25){\circle{2}}\put(45,25){\circle{3}}\put(45,25){\circle{4}}
\put(60,40){\circle{1}}\put(60,40){\circle{2}}\put(60,40){\circle{3}}\put(60,40){\circle{4}}
\put(75,55){\circle{1}}\put(75,55){\circle{2}}\put(75,55){\circle{3}}\put(75,55){\circle{4}}
\put(90,40){\circle{1}}\put(90,40){\circle{2}}\put(90,40){\circle{3}}\put(90,40){\circle{4}}
\put(105,25){\circle{1}}\put(105,25){\circle{2}}\put(105,25){\circle{3}}\put(105,25){\circle{4}}
\put(120,10){\circle{1}}\put(120,10){\circle{2}}\put(120,10){\circle{3}}\put(120,10){\circle{4}}
\put(135,25){\circle{1}}\put(135,25){\circle{2}}\put(135,25){\circle{3}}\put(135,25){\circle{4}}
\put(150,10){\circle{1}}\put(150,10){\circle{2}}\put(150,10){\circle{3}}\put(150,10){\circle{4}}
\end{picture}\]