Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /45 of 270

Iranian Mathematical Olympiad

Algebra Difficulty 5.8 AIME, harder Prove it Iran

Let aa, bb, cc, dd be four non-zero complex numbers such that
2∣a−b∣≤∣b∣,2∣b−c∣≤∣c∣,2∣c−d∣≤∣d∣,2∣d−a∣≤∣a∣. 2|a - b| \le |b|, \quad 2|b - c| \le |c|, \quad 2|c - d| \le |d|, \quad 2|d - a| \le |a|.
Prove that
∣ba+cb+dc+ad∣>72. \left| \frac{b}{a} + \frac{c}{b} + \frac{d}{c} + \frac{a}{d} \right| > \frac{7}{2}.

Solution

∣ab−1∣≤12,∣bc−1∣≤12,∣cd−1∣≤12,∣da−1∣≤12. \left| \frac{a}{b} - 1 \right| \le \frac{1}{2}, \quad \left| \frac{b}{c} - 1 \right| \le \frac{1}{2}, \quad \left| \frac{c}{d} - 1 \right| \le \frac{1}{2}, \quad \left| \frac{d}{a} - 1 \right| \le \frac{1}{2}.
Putting (ab,bc,cd,da)=(x,y,z,t)(\frac{a}{b}, \frac{b}{c}, \frac{c}{d}, \frac{d}{a}) = (x, y, z, t) such that ∣x−1∣≤12|x-1| \le \frac{1}{2}, ∣y−1∣≤12|y-1| \le \frac{1}{2}, ∣z−1∣≤12|z-1| \le \frac{1}{2}, ∣t−1∣≤12|t-1| \le \frac{1}{2} we are going to prove that
∣1x+1y+1z+1t∣>72. \left| \frac{1}{x} + \frac{1}{y} + \frac{1}{z} + \frac{1}{t} \right| > \frac{7}{2}.
by letting x=u+ivx = u + iv, for some real numbers uu, vv such that u2+v2≤2u−34u^2 + v^2 \le 2u - \frac{3}{4}. It follows that u≥38u \ge \frac{3}{8}. Since
1x=u−ivu2+v2, \frac{1}{x} = \frac{u - iv}{u^2 + v^2},
We would obtain
∣1x+1y+1z+1t∣=∣∑u−ivu2+v2∣≥∣ℜ(∑u−ivu2+v2)∣=∣∑uu2+v2∣≥∑cycuu2+v2. \left| \frac{1}{x} + \frac{1}{y} + \frac{1}{z} + \frac{1}{t} \right| = \left| \sum \frac{u - iv}{u^2 + v^2} \right| \ge \left| \Re \left( \sum \frac{u - iv}{u^2 + v^2} \right) \right| \\ = \left| \sum \frac{u}{u^2 + v^2} \right| \ge \sum_{cyc} \frac{u}{u^2 + v^2}.

Since u≥12(u2+v2+34)u \ge \frac{1}{2}(u^2 + v^2 + \frac{3}{4}) we would obtain
∑cycuu2+v2≥12∑cycu2+v2+34u2+v2=2+38∑cyc1u2+v2=2+38∑cyc1∣x∣2. \sum_{cyc} \frac{u}{u^2 + v^2} \ge \frac{1}{2} \sum_{cyc} \frac{u^2 + v^2 + \frac{3}{4}}{u^2 + v^2} = 2 + \frac{3}{8} \sum_{cyc} \frac{1}{u^2 + v^2} = 2 + \frac{3}{8} \sum_{cyc} \frac{1}{|x|^2}.
Notice that xyzt=1xyzt = 1 thus, according to AM-GM inequality,
∑cyc1∣x∣2≥41∣x∣2∣y∣2∣z∣2∣t∣24=4. \sum_{cyc} \frac{1}{|x|^2} \ge 4 \sqrt[4]{\frac{1}{|x|^2 |y|^2 |z|^2 |t|^2}} = 4.
Hence,
∑cycuu2+v2≥2+4⋅38=72. \sum_{cyc} \frac{u}{u^2 + v^2} \ge 2 + 4 \cdot \frac{3}{8} = \frac{7}{2}.
Notice that this inequality has no equality case.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.