This website contains problems from math contests. Problems and corresponding tags were obtained from the Art of Problem Solving website.

Tags were heavily modified to better represent problems.

AND:
OR:
NO:

Found problems: 67

2008 Iran MO (3rd Round), 2

Let $ g,f: \mathbb C\longrightarrow\mathbb C$ be two continuous functions such that for each $ z\neq 0$, $ g(z)\equal{}f(\frac1z)$. Prove that there is a $ z\in\mathbb C$ such that $ f(\frac1z)\equal{}f(\minus{}\bar z)$

1976 Miklós Schweitzer, 7

Let $ f_1,f_2,\dots,f_n$ be regular functions on a domain of the complex plane, linearly independent over the complex field. Prove that the functions $ f_i\overline{f}_k, \;1 \leq i,k \leq n$, are also linearly independent. [i]L. Lempert[/i]

2003 Miklós Schweitzer, 3

Let $Z=\{ z_1,\ldots, z_{n-1}\}$, $n\ge 2$, be a set of different complex numbers such that $Z$ contains the conjugate of any its element. a) Show that there exists a constant $C$, depending on $Z$, such that for any $\varepsilon\in (0,1)$ there exists an algebraic integer $x_0$ of degree $n$, whose algebraic conjugates $x_1, x_2, \ldots, x_{n-1}$ satisfy $|x_1-z_1|\le \varepsilon, \ldots, |x_{n-1}-z_{n-1}|\le \varepsilon$ and $|x_0|\le \frac{C}{\varepsilon}$. b) Show that there exists a set $Z=\{ z_1, \ldots, z_{n-1}\}$ and a positive number $c_n$ such that for any algebraic integer $x_0$ of degree $n$, whose algebraic conjugates satisfy $|x_1-z_1|\le \varepsilon,\ldots, |x_{n-1}-z_{n-1}|\le \varepsilon$, it also holds that $|x_0|>\frac{c_n}{\varepsilon}$. (translated by L. Erdős)

2002 SNSB Admission, 5

Let $ f:\mathbb{D}\longrightarrow\mathbb{C} $ be a continuous function, where $ \mathbb{D} $ is the closed unit disk. Suppose that $ f $ is holomorphic on the open unit disk and that $ e^{i\theta } $ are roots, for any $ \theta\in\left[ 0,\pi /4 \right] . $ Show that $ f=0_{\mathbb{D}} . $

1991 Arnold's Trivium, 66

Solve the Dirichlet problem \[\Delta u=0\text{ for }x^2+y^2<1\] \[u=1\text{ for }x^2+y^2=1,\;y>0\] \[u=-1\text{ for }x^2+y^2=1,\;y<0\]

2021 Alibaba Global Math Competition, 5

For the complex-valued function $f(x)$ which is continuous and absolutely integrable on $\mathbb{R}$, define the function $(Sf)(x)$ on $\mathbb{R}$: $(Sf)(x)=\int_{-\infty}^{+\infty}e^{2\pi iux}f(u)du$. (a) Find the expression for $S(\frac{1}{1+x^2})$ and $S(\frac{1}{(1+x^2)^2})$. (b) For any integer $k$, let $f_k(x)=(1+x^2)^{-1-k}$. Assume $k\geq 1$, find constant $c_1$, $c_2$ such that the function $y=(Sf_k)(x)$ satisfies the ODE with second order: $xy''+c_1y'+c_2xy=0$.

2002 Miklós Schweitzer, 7

Let the complex function $F(z)$ be regular on the punctuated disk $\{ 0<|z| < R\}$. By a [i]level curve[/i] we mean a component of the level set of $\mathrm{Re}F(z)$, that is, a maximal connected set on which $\mathrm{Re}F(z)$ is constant. Denote by $A(r)$ the union of those level curves that are entirely contained in the punctuated disk $\{ 0<|z|<r\}$. Prove that if the number of components of $A(r)$ has an upper bound independent of $r$ then $F(z)$ can only have a pole type singularity at $0$.

2014 Contests, 3

Let $p,q\in \mathbb{R}[x]$ such that $p(z)q(\overline{z})$ is always a real number for every complex number $z$. Prove that $p(x)=kq(x)$ for some constant $k \in \mathbb{R}$ or $q(x)=0$. [i]Proposed by Mohammad Ahmadi[/i]

1979 Miklós Schweitzer, 9

Let us assume that the series of holomorphic functions $ \sum_{k=1}^{\infty}f_k(z)$ is absolutely convergent for all $ z \in \mathbb{C}$. Let $ H \subseteq \mathbb{C}$ be the set of those points where the above sum funcion is not regular. Prove that $ H$ is nowhere dense but not necessarily countable. [i]L. Kerchy[/i]

2021 IMC, 7

Let $D \subseteq \mathbb{C}$ be an open set containing the closed unit disk $\{z : |z| \leq 1\}$. Let $f : D \rightarrow \mathbb{C}$ be a holomorphic function, and let $p(z)$ be a monic polynomial. Prove that $$ |f(0)| \leq \max_{|z|=1} |f(z)p(z)| $$

2005 SNSB Admission, 3

Let $ f:\mathbb{C}\longrightarrow\mathbb{C} $ be an holomorphic function which has the property that there exist three positive real numbers $ a,b,c $ such that $ |f(z)|\geqslant a|z|^b , $ for any complex numbers $ z $ with $ |z|\geqslant c. $ Prove that $ f $ is polynomial with degree at least $ \lceil b\rceil . $

2024 China Team Selection Test, 23

$P(z)=a_nz^n+\dots+a_1z+z_0$, with $a_n\neq 0$ is a polynomial with complex coefficients, such that when $|z|=1$, $|P(z)|\leq 1$. Prove that for any $0\leq k\leq n-1$, $|a_k|\leq 1-|a_n|^2$. [i]Proposed by Yijun Yao[/i]

2005 Miklós Schweitzer, 9

prove that if $r_n$ is a rational function whose numerator and denominator have at most degrees $n$, then $$||r_n||_{1/2}+\left\|\frac{1}{r_n}\right\|_2\geq\frac{1}{2^{n-1}}$$ where $||\cdot||_a$ denotes the supremum over a circle of radius $a$ around the origin.

1973 Spain Mathematical Olympiad, 3

The sequence $(a_n)$ of complex numbers is considered in the complex plane, in which is: $$a_0 = 1, \,\,\, a_n = a_{n-1} +\frac{1}{n}(\cos 45^o + i \sin 45^o )^n.$$ Prove that the sequence of the real parts of the terms of $(a_n)$ is convergent and its limit is a number between $0.85$ and $1.15$.

2021 Alibaba Global Math Competition, 8

Let $f(z)$ be a holomorphic function in $\{\vert z\vert \le R\}$ ($0<R<\infty$). Define \[M(r,f)=\max_{\vert z\vert=r} \vert f(z)\vert, \quad A(r,f)=\max_{\vert z\vert=r} \text{Re}\{f(z)\}.\] Show that \[M(r,f) \le \frac{2r}{R-r}A(R,f)+\frac{R+r}{R-r} \vert f(0)\vert, \quad \forall 0 \le r<R.\]

2008 Iran MO (3rd Round), 3

For each $ c\in\mathbb C$, let $ f_c(z,0)\equal{}z$, and $ f_c(z,n)\equal{}f_c(z,n\minus{}1)^2\plus{}c$ for $ n\geq1$. a) Prove that if $ |c|\leq\frac14$ then there is a neighborhood $ U$ of origin such that for each $ z\in U$ the sequence $ f_c(z,n),n\in\mathbb N$ is bounded. b) Prove that if $ c>\frac14$ is a real number there is a neighborhood $ U$ of origin such that for each $ z\in U$ the sequence $ f_c(z,n),n\in\mathbb N$ is unbounded.

1985 Miklós Schweitzer, 9

Let $D=\{ z\in \mathbb C\colon |z|<1\}$ and $D=\{ w\in \mathbb C \colon |w|=1\}$. Prove that if for a function $f\colon D\times B\rightarrow\mathbb C$ the equality $$f\left( \frac{az+b}{\overline{b}z+\overline{a}}, \frac{aw+b}{\overline{b}w+\overline a} \right)=f(z,w)+f\left(\frac{b}{\overline a}, \frac{aw+b}{\overline b w+\overline a} \right)$$ holds for all $z\in D, w\in B$ and $a, b\in \mathbb C,|a|^2=|b|^2+1$, then there is a function $L\colon (0, \infty )\rightarrow \mathbb C$ satisfying $$L(pq)=L(p)+L(q)\,\,\,\text{for all}\,\,\, p,q > 0$$ such that $f$ can be represented as $$f(z,w)=L\left( \frac{1-|z|^2}{|w-z|^2}\right)\,\,\,\text{for all}\,\,\, z\in D, w\in B$$. [Gy. Maksa]

2009 Putnam, B4

Say that a polynomial with real coefficients in two variable, $ x,y,$ is [i]balanced[/i] if the average value of the polynomial on each circle centered at the origin is $ 0.$ The balanced polynomials of degree at most $ 2009$ form a vector space $ V$ over $ \mathbb{R}.$ Find the dimension of $ V.$

2019 Miklós Schweitzer, 7

Given a polynomial $P$, assume that $L = \{z \in \mathbb{C}: |P(z)| = 1\}$ is a Jordan curve. Show that the zeros of $P'$ are in the interior of $L$.

2011 VJIMC, Problem 3

Let $p$ and $q$ be complex polynomials with $\deg p>\deg q$ and let $f(z)=\frac{p(z)}{q(z)}$. Suppose that all roots of $p$ lie inside the unit circle $|z|=1$ and that all roots of $q$ lie outside the unit circle. Prove that $$\max_{|z|=1}|f'(z)|>\frac{\deg p-\deg q}2\max_{|z|=1}|f(z)|.$$

2016 Miklós Schweitzer, 6

Let $\Gamma(s)$ denote Euler's gamma function. Construct an even entire function $F(s)$ that does not vanish everywhere, for which the quotient $F(s)/\Gamma(s)$ is bounded on the right halfplane $\{\Re(s)>0\}$.

1995 Miklós Schweitzer, 1

Prove that a harmonic function that is not identically zero in the plane cannot vanish on a two-dimensional positive-measure set.

2021 Miklós Schweitzer, 7

If the binary representations of the positive integers $k$ and $n$ are $k = \sum_{i=0}^{\infty} k_i 2^i$ and $n = \sum_{i=0}^{\infty} n_i 2^i$, then the logical sum of these numbers is \[ k \oplus n =\sum_{i=0}^{\infty} |k_i-n_i|2^i. \] Let $N$ be an arbitrary positive integer and $(c_k)_{k \in \mathbb{N}}$ be a sequence of complex numbers such that for all $k \in \mathbb{N}$, $ |c_k| \le 1$. Prove that there exist positive constants $C$ and $\delta$ such that \[ \int_{[-\pi,\pi] \times [-\pi, \pi]} \sup_{n<N, n \in \mathbb{N}} \frac{1}{N} \Big| \sum_{k=1}^{n} c_k e^{i(kx+(k \oplus n) y)} \Big| \mathrm d(x,y) \le C \cdot N^{-\delta} \] holds.

2005 VJIMC, Problem 1

Let $S_0=\{z\in\mathbb C:|z|=1,z\ne-1\}$ and $f(z)=\frac{\operatorname{Im}z}{1+\operatorname{Re}z}$. Prove that $f$ is a bijection between $S_0$ and $\mathbb R$. Find $f^{-1}$.

1969 Miklós Schweitzer, 6

Let $ x_0$ be a fixed real number, and let $ f$ be a regular complex function in the half-plane $ \Re z>x_0$ for which there exists a nonnegative function $ F \in L_1(- \infty, +\infty)$ satisfying $ |f(\alpha+i\beta)| \leq F(\beta)$ whenever $ \alpha > x_0$ , $ -\infty <\beta < +\infty$. Prove that \[ \int_{\alpha-i \infty} ^{\alpha+i \infty} f(z)dz=0.\] [i]L. Czach[/i]