Maths Olympiad Prep

Library / /96 of 97

Algebra Difficulty 9.1 IMO level Prove it China

Let nn be a given integer which is greater than 11. Find the greatest constant λ(n)\lambda(n) such that for any non-zero complex z1,z2,,znz_1, z_2, \dots, z_n, we have
k=1nzk2λ(n)min1kn{zk+1zk2}, \sum_{k=1}^{n} |z_k|^2 \geq \lambda(n) \min_{1 \leq k \leq n} \{|z_{k+1} - z_k|^2\},
where zn+1=z1z_{n+1} = z_1.

Solution

Let λ0(n)={n4,2n,n4cos2π2n,otherwise.\lambda_0(n) = \begin{cases} \frac{n}{4}, & 2 \mid n, \\ \frac{n}{4 \cos^2 \frac{\pi}{2n}}, & \text{otherwise.} \end{cases}. We prove λ0(n)\lambda_0(n) is the greatest constant.

If there exists kk (1kn1 \leq k \leq n) such that zk+1zk=0|z_{k+1} - z_k| = 0, the inequality holds obviously. So without loss of generality, we can assume
min1kn{zk+1zk2}=1.1 \min_{1 \leq k \leq n} \{|z_{k+1} - z_k|^2\} = 1. \qquad \textcircled{1}
Under this condition, it is sufficient to show that the minimum value of k=1nzk2\sum_{k=1}^{n} |z_k|^2 is λ0(n)\lambda_0(n).

When nn is even. Since
k=1nzk2=12k=1n(zk2+zk+12) 14k=1nzk+1zk2 n4min1kn{zk+1zk2}=n4, \begin{aligned} \sum_{k=1}^{n} |z_k|^2 &= \frac{1}{2} \sum_{k=1}^{n} (|z_k|^2 + |z_{k+1}|^2) \ &\geq \frac{1}{4} \sum_{k=1}^{n} |z_{k+1} - z_k|^2 \ &\geq \frac{n}{4} \min_{1 \leq k \leq n} \{|z_{k+1} - z_k|^2\} = \frac{n}{4}, \end{aligned}
and equality holds when (z1,z2,,zn)=(12,12,,12,12)(z_1, z_2, \dots, z_n) = (\frac{1}{2}, -\frac{1}{2}, \dots, \frac{1}{2}, -\frac{1}{2}), thus the minimum value of k=1nzk2\sum_{k=1}^{n} |z_k|^2 is n4=λ0(n)\frac{n}{4} = \lambda_0(n).

Next consider the condition when nn is odd. Let
θk=argzk+1zk[0,2π),k=1,2,,n. \theta_k = \arg \frac{z_{k+1}}{z_k} \in [0, 2\pi), \quad k = 1, 2, \dots, n.
For all kk, k=1,2,,nk = 1, 2, \dots, n. If θkπ2\theta_k \leq \frac{\pi}{2} or θk3π2\theta_k \geq \frac{3\pi}{2}, then by ①,
zk2+zk+12=zkzk+12+2zkzk+1cosθkzkzk+121. |z_k|^2 + |z_{k+1}|^2 = |z_k - z_{k+1}|^2 + 2|z_k||z_{k+1}| \cos \theta_k \geq |z_k - z_{k+1}|^2 \geq 1. \quad ②
If θk(π2,3π2)\theta_k \in (\frac{\pi}{2}, \frac{3\pi}{2}), then since cosθk<0\cos \theta_k < 0 and by ①,
1zkzk+12=zk2+zk+122zkzk+1cosθk(zk2+zk+12)(1+(2cosθk))=(zk2+zk+12)2sin2θk2. \begin{aligned} 1 &\leq |z_k - z_{k+1}|^2 \\ &= |z_k|^2 + |z_{k+1}|^2 - 2 |z_k||z_{k+1}| \cos \theta_k \\ &\leq (|z_k|^2 + |z_{k+1}|^2)(1 + (-2 \cos \theta_k)) \\ &= (|z_k|^2 + |z_{k+1}|^2) \cdot 2 \sin^2 \frac{\theta_k}{2}. \end{aligned}
Therefore
zk2+zk+1212sin2θk2. |z_k|^2 + |z_{k+1}|^2 \geq \frac{1}{2 \sin^2 \frac{\theta_k}{2}}. \quad ③

(1) If for all kk (1kn1 \leq k \leq n), θk(π2,3π2)\theta_k \in (\frac{\pi}{2}, \frac{3\pi}{2}), by ③
k=1nzk2=12k=1n(zk2+zk+12)14k=1n1sin2θk2. \sum_{k=1}^{n} |z_k|^2 = \frac{1}{2} \sum_{k=1}^{n} (|z_k|^2 + |z_{k+1}|^2) \geq \frac{1}{4} \sum_{k=1}^{n} \frac{1}{\sin^2 \frac{\theta_k}{2}}. \quad ④
Since k=1nzk+1zk=zn+1z1=1\prod_{k=1}^{n} \frac{z_{k+1}}{z_k} = \frac{z_{n+1}}{z_1} = 1, so
k=1nθk=arg(k=1nzk+1zk)+2mπ=2mπ, \sum_{k=1}^{n} \theta_k = \arg\left(\prod_{k=1}^{n} \frac{z_{k+1}}{z_k}\right) + 2m\pi = 2m\pi, \quad ⑤
where mm is a positive integer, and m<nm < n. Notice that nn is odd, so
0<sinmπnsin(n1)π2n=cosπ2n. 0 < \sin \frac{m\pi}{n} \leq \sin \frac{(n-1)\pi}{2n} = \cos \frac{\pi}{2n}. \quad ⑥
Let f(x)=1sin2xf(x) = \frac{1}{\sin^2 x}, x[π4,3π4]x \in [\frac{\pi}{4}, \frac{3\pi}{4}], it's easy to show that f(x)f(x) is a convex function. By ④ and Jensen's inequality, and combining ⑤ and ⑥, we have
k=1nzk214k=1n1sin2θk2n41sin2(1nk=1nθk2)=n41sin2mπnn41cos2π2n=λ0(n). \begin{aligned} \sum_{k=1}^{n} |z_k|^2 &\geq \frac{1}{4} \sum_{k=1}^{n} \frac{1}{\sin^2 \frac{\theta_k}{2}} \\ &\geq \frac{n}{4} \cdot \frac{1}{\sin^2 \left( \frac{1}{n} \sum_{k=1}^{n} \frac{\theta_k}{2} \right)} \\ &= \frac{n}{4} \cdot \frac{1}{\sin^2 \frac{m\pi}{n}} \geq \frac{n}{4} \cdot \frac{1}{\cos^2 \frac{\pi}{2n}} = \lambda_0(n). \end{aligned}

(2) If there exists jj (1jn1 \leq j \leq n), such that θj(π2,3π2]\theta_j \notin (\frac{\pi}{2}, \frac{3\pi}{2}], let
I={jθj(π2,3π2), j=1,2,,n}. I = \left\{ j \mid \theta_j \notin \left( \frac{\pi}{2}, \frac{3\pi}{2} \right),\ j = 1, 2, \dots, n \right\}.
By ②, for jIj \in I, we have zj2+zj+121|z_j|^2 + |z_{j+1}|^2 \geq 1; and by ③, for jIj \notin I, we have
zj2+zj+1212sin2θj212. |z_j|^2 + |z_{j+1}|^2 \geq \frac{1}{2 \sin^2 \frac{\theta_j}{2}} \geq \frac{1}{2}.
Therefore,
k=1nzk2=12(jI(zj2+zj+12)+jI(zj2+zj+12))12I+14(nI)=14(n+I)n+14. \begin{aligned} \sum_{k=1}^{n} |z_k|^2 &= \frac{1}{2} \left( \sum_{j \in I} (|z_j|^2 + |z_{j+1}|^2) + \sum_{j \notin I} (|z_j|^2 + |z_{j+1}|^2) \right) \\ &\geq \frac{1}{2} |I| + \frac{1}{4} (n - |I|) = \frac{1}{4} (n + |I|) \geq \frac{n+1}{4}. \end{aligned}

n+14n41cos2π2ncos2π2nnn+1\frac{n+1}{4} \geq \frac{n}{4} \cdot \frac{1}{\cos^2 \frac{\pi}{2n}} \Leftrightarrow \cos^2 \frac{\pi}{2n} \geq \frac{n}{n+1}
sin2π2n=1cos2π2n1nn+1=1n+1. \Leftrightarrow \sin^2 \frac{\pi}{2n} = 1 - \cos^2 \frac{\pi}{2n} \leq 1 - \frac{n}{n+1} = \frac{1}{n+1}.
The equality holds when n=3n = 3; when n5n \geq 5,
sin2π2n<(π2n)2<π22n1n+1<1n+1, \sin^2 \frac{\pi}{2n} < \left( \frac{\pi}{2n} \right)^2 < \frac{\pi^2}{2n} \cdot \frac{1}{n+1} < \frac{1}{n+1},
so the inequality also holds. So for odd integer n3n \geq 3, n+14n41cos2π2n\frac{n+1}{4} \geq \frac{n}{4} \cdot \frac{1}{\cos^2 \frac{\pi}{2n}}.

On the other hand, when zk=12cosπ2nei(n1)kπnz_k = \frac{1}{2\cos\frac{\pi}{2n}} \cdot e^{\frac{i(n-1)k\pi}{n}}, k=1,2,,nk = 1, 2, \dots, n, we have zkzk+1=1|z_k - z_{k+1}| = 1, k=1,2,,nk = 1, 2, \dots, n, and k=1nzk2\sum_{k=1}^n |z_k|^2 achieves its minimum value λ0(n)\lambda_0(n).

In a word, the greatest λ(n)\lambda(n) is
λ0(n)={n4,2n,n4cos2π2n,otherwise. \lambda_0(n) = \begin{cases} \frac{n}{4}, & 2 \mid n, \\ \frac{n}{4 \cos^2 \frac{\pi}{2n}}, & \text{otherwise.} \end{cases}

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.