Olympiad problems

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]

2021 IMC, 7

Tags: complex analysis , polynomial , inequality

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

2006 Iran MO (3rd Round), 6

Tags: polynomial , function , complex analysis , domain , algebra

$P,Q,R$ are non-zero polynomials that for each $z\in\mathbb C$, $P(z)Q(\bar z)=R(z)$. a) If $P,Q,R\in\mathbb R[x]$, prove that $Q$ is constant polynomial. b) Is the above statement correct for $P,Q,R\in\mathbb C[x]$?

2014 Iran MO (3rd Round), 3

Tags: polynomial , complex analysis , algebra

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]

2021 Alibaba Global Math Competition, 5

Tags: calculus , complex analysis , ode , differential equation

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

1953 Miklós Schweitzer, 9

Tags: function , complex analysis

[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]

2011 VJIMC, Problem 3

Tags: complex analysis , algebra , rational function , function

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

2019 Miklós Schweitzer, 7

Tags: complex analysis , algebra

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

1973 Spain Mathematical Olympiad, 3

Tags: complex analysis , recurrence relation , recurrence , sequence , analysis

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

2002 SNSB Admission, 5

Tags: function , complex analysis

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

2017 IMC, 5

Tags: polynomial , complex analysis

Let $k$ and $n$ be positive integers with $n\geq k^2-3k+4$, and let $$f(z)=z^{n-1}+c_{n-2}z^{n-2}+\dots+c_0$$ be a polynomial with complex coefficients such that $$c_0c_{n-2}=c_1c_{n-3}=\dots=c_{n-2}c_0=0$$ Prove that $f(z)$ and $z^n-1$ have at most $n-k$ common roots.

MIPT student olimpiad spring 2022, 4

Tags: complex analysis

Let us consider sequences of complex numbers that are infinite in both directions $c=(c_k) , k\in Z$ with finite norm $||c||= (\sum_{k \in Z} |c_k|^2)^{1/2}$ Let $T_m-$ this is a shift operation sequences on m ($(T_mc)_k=c_{k-m}$) Prove that: $\lim_{n \to \infty} \frac{\sum_{i=0}^{n-1} T_ic}{n} =0$ (Adding and multiplying a sequence by a number defined component by component)

2003 SNSB Admission, 4

Tags: complex analysis

Consider $ \Lambda = \left\{ \lambda\in\text{Hol} \left[ \mathbb{C}\longrightarrow\mathbb{C} \right] |z\in\mathbb{C}\implies |\lambda (z)|\le e^{|\text{Im}(z)|} \right\} . $ Prove that $ g\in\Lambda $ implies $ g'\in\Lambda . $

1995 IMC, 9

Tags: algebra , polynomial , complex analysis

Let all roots of an $n$-th degree polynomial $P(z)$ with complex coefficients lie on the unit circle in the complex plane. Prove that all roots of the polynomial $$2zP'(z)-nP(z)$$ lie on the same circle.

2002 Miklós Schweitzer, 7

Tags: function , complex analysis

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 IMS, 12

Tags: complex analysis

Let $U$ be an open subset of the complex plane $\mathbb{C}$ including $\mathbb{D}=\{z \in \mathbb{C} : |z| \le 1\}$ and $f$ be analytic over $U$. Prove that if for every $z$ with a complex norm equal to $1$($|z|=1$) we have $0<Re(\bar{z}f(z))$, then $f$ has only one root in $\mathbb{D}$ and that's simple.

2012 Graduate School Of Mathematical Sciences, The Master Course, Kyoto University, 5

Tags: calculus , integration , limit , complex analysis , real analysis

Let $a,\ b>0$ be real numbers, $n\geq 2$ be integers. Evaluate $I_n=\int_{-\infty}^{\infty} \frac{exp(ia(x-ib))}{(x-ib)^n}dx.$

2025 VJIMC, 4

Tags: complex analysis , holomorphic , taylor series , root , function

Let $D = \{z\in \mathbb{C}: |z| < 1\}$ be the open unit disk in the complex plane and let $f : D \to D$ be a holomorphic function such that $\lim_{|z|\to 1}|f(z)| = 1$. Let the Taylor series of $f$ be $f(z) = \sum_{n=0}^{\infty} a_nz^n$. Prove that the number of zeroes of $f$ (counted with multiplicities) equals $\sum_{n=0}^{\infty} n|a_n|^2$.

2021 Alibaba Global Math Competition, 8

Tags: complex analysis , inequalities , function

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 IMS, 2

Tags: function , geometry , parallelogram , vector , complex number , complex analysis

Let $ f$ be an entire function on $ \mathbb C$ and $ \omega_1,\omega_2$ are complex numbers such that $ \frac {\omega_1}{\omega_2}\in{\mathbb C}\backslash{\mathbb Q}$. Prove that if for each $ z\in \mathbb C$, $ f(z) \equal{} f(z \plus{} \omega_1) \equal{} f(z \plus{} \omega_2)$ then $ f$ is constant.

1969 Miklós Schweitzer, 6

Tags: function , integration , complex analysis

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]

2003 SNSB Admission, 1

Tags: complex analysis , function , calculus , derivative , complex number , inequalities

Show that if a holomorphic function $ f:\mathbb{C}\longrightarrow\mathbb{C} $ has the property that the modulus of any of its derivatives (of any order) is everywhere dominated by $ 1, $ then $ |f(z)|\le e^{|\text{Im} (z)|} , $ for all complex numbers $ z. $

1962 Miklós Schweitzer, 8

Tags: function , complex analysis

Denote by $ M(r,f)$ the maximum modulus on the circle $ |z|\equal{}r$ of the transcendent entire function $ f(z)$, and by $ M_n(r,f)$ that of the $ nth$ partial sum of the power series of $ f(z)$. Prove that the existence of an entire function $ f_0(z)$ and a corresponding sequence of positive numbers $ r_1<r_2<...\rightarrow \plus{}\infty$ such that \[ \limsup_{n\rightarrow\infty} \frac{M_n(r_n,f_0)}{M(r_n,f_0)}\equal{}\plus{}\infty\] [P. Turan]

2018 Miklós Schweitzer, 9

Tags: calculus , derivative , complex analysis

Let $f:\mathbb{C} \to \mathbb{C}$ be an entire function, and suppose that the sequence $f^{(n)}$ of derivatives converges pointwise. Prove that $f^{(n)}(z)\to Ce^z$ pointwise for a suitable complex number $C$.

2010 Contests, A3

Tags: function , calculus , derivative , complex analysis , probability , vector

Suppose that the function $h:\mathbb{R}^2\to\mathbb{R}$ has continuous partial derivatives and satisfies the equation \[h(x,y)=a\frac{\partial h}{\partial x}(x,y)+b\frac{\partial h}{\partial y}(x,y)\] for some constants $a,b.$ Prove that if there is a constant $M$ such that $|h(x,y)|\le M$ for all $(x,y)$ in $\mathbb{R}^2,$ then $h$ is identically zero.