Olympiad problems

2006 Cezar Ivănescu, 2

Tags: eigenvalue , complex number , linear algebra , matrix , group theory

[b]a)[/b] Let $ a,b,c $ be three complex numbers. Prove that the element $ \begin{pmatrix} a & a-b & a-b \\ 0 & b & b-c \\ 0 & 0 & c \end{pmatrix} $ has finite order in the multiplicative group of $ 3\times 3 $ complex matrices if and only if $ a,b,c $ have finite orders in the multiplicative group of complex numbers. [b]b)[/b] Prove that a $ 3\times 3 $ real matrix $ M $ has positive determinant if there exists a real number $ \lambda\in\left( 0,\sqrt[3]{4} \right) $ such that $ A^3=\lambda A+I. $ [i]Cristinel Mortici[/i]

2012 District Olympiad, 4

Tags: complex number , algebra

For all odd natural numbers $ n, $ prove that $$ \left|\sum_{j=0}^{n-1} (a+ib)^j\right|\in\mathbb{Q} , $$ where $ a,b\in\mathbb{Q} $ are two numbers such that $ 1=a^2+b^2. $

2014 Bulgaria National Olympiad, 3

Tags: geometry , incenter , reflection , complex number , perpendicular bisector , mixtilinear , conic

Let $ABCD$ be a quadrilateral inscribed in a circle $k$. $AC$ and $BD$ meet at $E$. The rays $\overrightarrow{CB}, \overrightarrow{DA}$ meet at $F$. Prove that the line through the incenters of $\triangle ABE\,,\, \triangle ABF$ and the line through the incenters of $\triangle CDE\,,\, \triangle CDF$ meet at a point lying on the circle $k$. [i]Proposed by N. Beluhov[/i]

2012 Indonesia TST, 3

Tags: angle chasing , complex number , cyclic quadrilateral , geometry

The incircle of a triangle $ABC$ is tangent to the sides $AB,AC$ at $M,N$ respectively. Suppose $P$ is the intersection between $MN$ and the bisector of $\angle ABC$. Prove that $BP$ and $CP$ are perpendicular.

2015 AMC 12/AHSME, 24

Tags: probability , trigonometry , function , complex number

Rational numbers $a$ and $b$ are chosen at random among all rational numbers in the interval $[0,2)$ that can be written as fractions $\tfrac nd$ where $n$ and $d$ are integers with $1\leq d\leq 5$. What is the probability that \[(\cos(a\pi)+i\sin(b\pi))^4\] is a real number? $\textbf{(A) }\dfrac3{50}\qquad\textbf{(B) }\dfrac4{25}\qquad\textbf{(C) }\dfrac{41}{200}\qquad\textbf{(D) }\dfrac6{25}\qquad\textbf{(E) }\dfrac{13}{50}$

2005 Taiwan TST Round 1, 1

Tags: quadratic , algebra , polynomial , function , inequalities , complex number , triangle inequality

Let $f(x)=Ax^2+Bx+C$, $g(x)=ax^2+bx+c$ be two quadratic polynomial functions with real coefficients that satisfy the relation \[|f(x)| \ge |g(x)|\] for all real $x$. Prove that $|b^2-4ac| \le |B^2-4AC|.$ My solution was nearly complete...

2006 All-Russian Olympiad, 6

Tags: incenter , circumcircle , trapezoid , complex number , geometry

Let $K$ and $L$ be two points on the arcs $AB$ and $BC$ of the circumcircle of a triangle $ABC$, respectively, such that $KL\parallel AC$. Show that the incenters of triangles $ABK$ and $CBL$ are equidistant from the midpoint of the arc $ABC$ of the circumcircle of triangle $ABC$.

2007 Grigore Moisil Intercounty, 4

Tags: function , group theory , complex number

Consider the group $ \{f:\mathbb{C}\setminus\mathbb{Q}\longrightarrow\mathbb{C}\setminus\mathbb{Q} | f\text{ is bijective}\} $ under the composition of functions. Find the order of the smallest subgroup of it that: $ \text{(1)} $ contains the function $ z\mapsto \frac{z-1}{z+1} . $ $ \text{(2)} $ contains the function $ z\mapsto \frac{z-3}{z+1} . $ $ \text{(3)} $ contain both of the above functions.

1971 Spain Mathematical Olympiad, 5

Tags: complex number , limit , analysis

Prove that whatever the complex number $z$ is, it is true that $$(1 + z^{2^n})(1-z^{2^n})= 1- z^{2^{n+1}}.$$ Writing the equalities that result from giving $n$ the values $0, 1, 2, . . .$ and multiplying them, show that for $|z| < 1$ holds $$\frac{1}{1-z}= \lim_{k\to \infty}(1 + z)(1 + z^2)(1 + z^{2^2})...(1 + z^{2^k}).$$

2023 South East Mathematical Olympiad, 2

Tags: complex number , algebra

For a non-empty finite complex number set $A$, define the "[i]Tao root[/i]" of $A$ as $\left|\sum_{z\in A} z \right|$. Given the integer $n\ge 3$, let the set $$U_n = \{\cos\frac{2k \pi}{n}+ i\sin\frac{2k \pi}{n}|k=0,1,...,n-1\}.$$Let $a_n$ be the number of non-empty subsets in which the [i]Tao root [/i] of $U_n$ is $0$ , $b_n$ is the number of non-empty subsets of $U_n$ whose [i]Tao root[/i] is $1$. Compare the sizes of $na_n$ and $2b_n$.

2015 BMT Spring, 8

Tags: complex number , algebra

Let $\omega$ be a primitive $7$th root of unity. Find $$\prod_{k=0}^6\left(1+\omega^k-\omega^{2k}\right).$$ (A complex number is a primitive root of unity if and only if it can be written in the form $e^{2k\pi i/n}$, where $k$ is relatively prime to $n$.)

2015 QEDMO 14th, 6

Tags: complex , algebra , complex number

Let $n\ge 2$ be an integer. Let $z_1, z_2,..., z_n$ be complex numbers in such a way that for all integers $k$ with $1\le k\le n$: $$\Pi_{i = 1,i\ne k}^{n} (z_k- z_i) = \Pi_{i = 1,i\ne k}^{n} (z_k+ z_i).$$ Show that two of them are the same.

1998 National High School Mathematics League, 13

Tags: complex number

Complex number $z=1-\sin\theta+\text{i}\cos\theta\left(\frac{\pi}{2}<\theta<\pi\right)$, find the range value of $\arg{\overline{z}}$.

2012 India IMO Training Camp, 1

Tags: geometry , incenter , parallelogram , trigonometry , complex number

A quadrilateral $ABCD$ without parallel sides is circumscribed around a circle with centre $O$. Prove that $O$ is a point of intersection of middle lines of quadrilateral $ABCD$ (i.e. barycentre of points $A,\,B,\,C,\,D$) iff $OA\cdot OC=OB\cdot OD$.

2013 AMC 12/AHSME, 25

Tags: function , quadratic , complex number , absolute value

Let $f : \mathbb{C} \to \mathbb{C} $ be defined by $ f(z) = z^2 + iz + 1 $. How many complex numbers $z $ are there such that $ \text{Im}(z) > 0 $ and both the real and the imaginary parts of $f(z)$ are integers with absolute value at most $ 10 $? ${ \textbf{(A)} \ 399 \qquad \textbf{(B)} \ 401 \qquad \textbf{(C)} \ 413 \qquad \textbf{(D}} \ 431 \qquad \textbf{(E)} \ 441 $

2005 Dutch Mathematical Olympiad, 2

Tags: complex number

Let $P_1P_2P_3\dots P_{12}$ be a regular dodecagon. Show that \[\left|P_1P_2\right|^2 + \left|P_1P_4\right|^2 + \left|P_1P_6\right|^2 + \left|P_1P_8\right|^2 + \left|P_1P_{10}\right|^2 + \left|P_1P_{12}\right|^2\] is equal to \[\left|P_1P_3\right|^2 + \left|P_1P_5\right|^2 + \left|P_1P_7\right|^2 + \left|P_1P_9\right|^2 + \left|P_1P_{11}\right|^2.\]

2011 Brazil Team Selection Test, 3

Tags: geometric transformation , reflection , circumcircle , complex number , geometry

Let $ABC$ be an acute triangle with $\angle BAC=30^{\circ}$. The internal and external angle bisectors of $\angle ABC$ meet the line $AC$ at $B_1$ and $B_2$, respectively, and the internal and external angle bisectors of $\angle ACB$ meet the line $AB$ at $C_1$ and $C_2$, respectively. Suppose that the circles with diameters $B_1B_2$ and $C_1C_2$ meet inside the triangle $ABC$ at point $P$. Prove that $\angle BPC=90^{\circ}$ .

2007 Purple Comet Problems, 10

Tags: trigonometry , complex number

For a particular value of the angle $\theta$ we can take the product of the two complex numbers $(8+i)\sin\theta+(7+4i)\cos\theta$ and $(1+8i)\sin\theta+(4+7i)\cos\theta$ to get a complex number in the form $a+bi$ where $a$ and $b$ are real numbers. Find the largest value for $a+b$.

2011 ELMO Shortlist, 8

Tags: polynomial , induction , complex number , algebra

Let $n>1$ be an integer and $a,b,c$ be three complex numbers such that $a+b+c=0$ and $a^n+b^n+c^n=0$. Prove that two of $a,b,c$ have the same magnitude. [i]Evan O'Dorney.[/i]

2007 Nicolae Coculescu, 1

Tags: function , group theory , abstract algebra , complex number

Let be the set $ G=\{ (u,v)\in \mathbb{C}^2| u\neq 0 \} $ and a function $ \varphi :\mathbb{C}\setminus\{ 0\}\longrightarrow\mathbb{C}\setminus\{ 0\} $ having the property that the operation $ *:G^2\longrightarrow G $ defined as $$ (a,b)*(c,d)=(ac,bc+d\varphi (a)) $$ is associative. [b]a)[/b] Show that $ (G,*) $ is a group. [b]b)[/b] Describe $ \varphi , $ knowing that $(G,*) $ is a commutative group. [i]Marius Perianu[/i]

1993 China National Olympiad, 4

Tags: vector , complex number , combinatorics

We are given a set $S=\{z_1,z_2,\cdots ,z_{1993}\}$, where $z_1,z_2,\cdots ,z_{1993}$ are nonzero complex numbers (also viewed as nonzero vectors in the plane). Prove that we can divide $S$ into some groups such that the following conditions are satisfied: (1) Each element in $S$ belongs and only belongs to one group; (2) For any group $p$, if we use $T(p)$ to denote the sum of all memebers in $p$, then for any memeber $z_i (1\le i \le 1993)$ of $p$, the angle between $z_i$ and $T(p)$ does not exceed $90^{\circ}$; (3) For any two groups $p$ and $q$, the angle between $T(p)$ and $T(q)$ exceeds $90^{\circ}$ (use the notation introduced in (2)).

2004 District Olympiad, 4

Tags: complex number , algebra

If $x,y \in (0, \frac{\pi}{2})$ such as $ (cosx+isiny)^n=cos(nx)+isin(ny)$ for two consecutive positive integers, then the relation is true for all positive integers.

1989 IMO Longlists, 29

Tags: function , algebra , functional equation , complex number

Let $ g: \mathbb{C} \rightarrow \mathbb{C}$, $ \omega \in \mathbb{C}$, $ a \in \mathbb{C}$, $ \omega^3 \equal{} 1$, and $ \omega \ne 1$. Show that there is one and only one function $ f: \mathbb{C} \rightarrow \mathbb{C}$ such that \[ f(z) \plus{} f(\omega z \plus{} a) \equal{} g(z),z\in \mathbb{C} \]

2006 Flanders Math Olympiad, 1

Tags: trigonometry , polynomial , vieta , complex number , algebra

(a) Solve for $\theta\in\mathbb{R}$: $\cos(4\theta) = \cos(3\theta)$ (b) $\cos\left(\frac{2\pi}{7}\right)$, $\cos\left(\frac{4\pi}{7}\right)$ and $\cos\left(\frac{6\pi}{7}\right)$ are the roots of an equation of the form $ax^3+bx^2+cx+d = 0$ where $a, b, c, d$ are integers. Determine $a, b, c$ and $d$.

2017 AMC 12/AHSME, 17

Tags: complex number

There are 24 different complex numbers $z$ such that $z^{24} = 1$. For how many of these is $z^6$ a real number? $\textbf{(A) }1\qquad\textbf{(B) }3\qquad\textbf{(C) }6\qquad\textbf{(D) }12\qquad\textbf{(E) }24$