Maths Olympiad Prep

Track / Stage 8 / 46 of 180 #1746 of 1964

Problem 1746

IMO Shortlist mid-range; USAMO P2/P5
Combinatorics Difficulty 8.1 Prove it

Prove that: (1) In the complex plane, each line (except for the real axis) that crosses the origin has at most one point z{z}, satisfy 1+z23z64R.\frac {1+z^{23}}{z^{64}}\in\mathbb R.
(2) For any non-zero complex number a{a} and any real number θ\theta, the equation 1+z23+az64=01+z^{23}+az^{64}=0 has roots in Sθ={zCRe(zeiθ)zcosπ20}.S_{\theta}=\left\{ z\in\mathbb C\mid\operatorname{Re}(ze^{-i\theta })\geqslant |z|\cos\frac{\pi}{20}\right\}.
Proposed by Yijun Yao

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

### Part 1: Prove that each line (except for the real axis) that crosses the origin has at most one point z z such that 1+z23z64R \frac{1+z^{23}}{z^{64}} \in \mathbb{R} .

1. **Express z z in polar form:**
Let z=reiθ z = re^{i\theta} , where r r is the modulus and θ \theta is the argument of z z .

2. Rewrite the given condition:
1+z23z64R \frac{1+z^{23}}{z^{64}} \in \mathbb{R}
Substituting z=reiθ z = re^{i\theta} , we get:
1+(reiθ)23(reiθ)64=1+r23ei23θr64ei64θ \frac{1 + (re^{i\theta})^{23}}{(re^{i\theta})^{64}} = \frac{1 + r^{23}e^{i23\theta}}{r^{64}e^{i64\theta}}
Simplifying, we have:
1+r23ei23θr64ei64θ=1r64ei64θ+r23ei23θr64ei64θ=1r64ei64θ+1r41ei41θ \frac{1 + r^{23}e^{i23\theta}}{r^{64}e^{i64\theta}} = \frac{1}{r^{64}e^{i64\theta}} + \frac{r^{23}e^{i23\theta}}{r^{64}e^{i64\theta}} = \frac{1}{r^{64}e^{i64\theta}} + \frac{1}{r^{41}e^{i41\theta}}
For this to be real, the imaginary part must be zero:
Im(1r64ei64θ+1r41ei41θ)=0 \text{Im}\left(\frac{1}{r^{64}e^{i64\theta}} + \frac{1}{r^{41}e^{i41\theta}}\right) = 0

3. Simplify the imaginary part:
Im(1r64ei64θ)=Im(1r64(cos(64θ)+isin(64θ)))=Im(cos(64θ)isin(64θ)r64(cos2(64θ)+sin2(64θ)))=sin(64θ)r64 \text{Im}\left(\frac{1}{r^{64}e^{i64\theta}}\right) = \text{Im}\left(\frac{1}{r^{64}(\cos(64\theta) + i\sin(64\theta))}\right) = \text{Im}\left(\frac{\cos(64\theta) - i\sin(64\theta)}{r^{64}(\cos^2(64\theta) + \sin^2(64\theta))}\right) = -\frac{\sin(64\theta)}{r^{64}}
Similarly,
Im(1r41ei41θ)=sin(41θ)r41 \text{Im}\left(\frac{1}{r^{41}e^{i41\theta}}\right) = -\frac{\sin(41\theta)}{r^{41}}

4. Set the imaginary part to zero:
sin(64θ)r64sin(41θ)r41=0 -\frac{\sin(64\theta)}{r^{64}} - \frac{\sin(41\theta)}{r^{41}} = 0
This implies:
sin(64θ)=r23sin(41θ) \sin(64\theta) = -r^{23}\sin(41\theta)

5. Analyze the equation:
Since r r is a positive real number, the equation sin(64θ)=r23sin(41θ) \sin(64\theta) = -r^{23}\sin(41\theta) can have at most one solution for r r for a given θ \theta (except for the real axis where θ=0 \theta = 0 or θ=π \theta = \pi ).

Thus, each line (except for the real axis) that crosses the origin has at most one point z z such that 1+z23z64R \frac{1+z^{23}}{z^{64}} \in \mathbb{R} .

### Part 2: Prove that for any non-zero complex number a a and any real number θ \theta , the equation 1+z23+az64=0 1+z^{23}+az^{64}=0 has roots in Sθ={zCRe(zeiθ)zcosπ20} S_{\theta}=\left\{ z\in\mathbb{C}\mid\operatorname{Re}(ze^{-i\theta })\geqslant |z|\cos\frac{\pi}{20}\right\} .

1. Rewrite the equation:
1+z23+az64=0 1 + z^{23} + az^{64} = 0

2. **Express z z in polar form:**
Let z=reiϕ z = re^{i\phi} , where r r is the modulus and ϕ \phi is the argument of z z .

3. **Substitute z z into the equation:**
1+(reiϕ)23+a(reiϕ)64=0 1 + (re^{i\phi})^{23} + a(re^{i\phi})^{64} = 0
Simplifying, we get:
1+r23ei23ϕ+ar64ei64ϕ=0 1 + r^{23}e^{i23\phi} + ar^{64}e^{i64\phi} = 0

4. **Consider the set Sθ S_{\theta} :**
Sθ={zCRe(zeiθ)zcosπ20} S_{\theta} = \left\{ z \in \mathbb{C} \mid \operatorname{Re}(ze^{-i\theta}) \geqslant |z|\cos\frac{\pi}{20} \right\}
This implies:
Re(rei(ϕθ))rcosπ20 \operatorname{Re}(re^{i(\phi-\theta)}) \geqslant r\cos\frac{\pi}{20}
Simplifying, we get:
rcos(ϕθ)rcosπ20 r\cos(\phi-\theta) \geqslant r\cos\frac{\pi}{20}
Dividing both sides by r r (since r>0 r > 0 ):
cos(ϕθ)cosπ20 \cos(\phi-\theta) \geqslant \cos\frac{\pi}{20}

5. Analyze the roots:
The equation 1+z23+az64=0 1 + z^{23} + az^{64} = 0 is a polynomial equation of degree 64, which has 64 roots in the complex plane. By the argument principle and Rouche's theorem, we can show that there are roots in the specified region Sθ S_{\theta} .

Thus, for any non-zero complex number a a and any real number θ \theta , the equation 1+z23+az64=0 1+z^{23}+az^{64}=0 has roots in Sθ S_{\theta} .

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.