Maths Olympiad Prep

Library / Romanian Mathematical Olympiad - District Round /3 of 34

Romanian Mathematical Olympiad - District Round

Algebra Difficulty 5.0 AIME Prove it Romania

Suppose aa and bb are complex numbers. Prove that ∣az+bzˉ∣≤1|az + b\bar{z}| \le 1 for all z∈Cz \in \mathbb{C} with ∣z∣=1|z| = 1 if and only if ∣a∣+∣b∣≤1|a| + |b| \le 1.
Liviu Vlaicu

Solution

Let ∣a∣+∣b∣≤1|a| + |b| \le 1 and let z∈Cz \in \mathbb{C} with ∣z∣=1|z| = 1. Then ∣az+bzˉ∣≤∣az∣+∣bzˉ∣=∣a∣+∣b∣≤1|az + b\bar{z}| \le |az| + |b\bar{z}| = |a| + |b| \le 1, as claimed.

Conversely, if a=0a = 0 or b=0b = 0 there is nothing to show. For a,b≠0a, b \neq 0, write ba=r(cos⁡α+isin⁡α)\frac{b}{a} = r(\cos\alpha + i\sin\alpha). Put z=cos⁡α2+isin⁡α2z = \cos\frac{\alpha}{2} + i\sin\frac{\alpha}{2} to get 1≥∣az+bzˉ∣=∣a∣∣zˉ∣∣z2+ba∣=∣a∣(1+r)(cos⁡α+isin⁡α)=∣a∣(1+r)=∣a∣(1+∣ba∣)=∣a∣+∣b∣1 \ge |az + b\bar{z}| = |a||\bar{z}|\left|z^2 + \frac{b}{a}\right| = |a|(1+r)(\cos\alpha + i\sin\alpha) = |a|(1+r) = |a|(1 + \left|\frac{b}{a}\right|) = |a| + |b|, which ends the proof.

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.