Западно-Китайская олимпиада по математике 2015 года | Казахстанские олимпиады

Пусть a(0,1)a \in (0,1), f(z)=z2z+af(z)=z^2-z+a, zCz \in \mathbb{C} (C\mathbb{C} — множество комплексных чисел). Докажите, что для любого комплексного числа zz, где z1|z| \geq 1, существует комплексное число z0z_0 с условиями z0=1|z_0|=1 и f(z0)f(z)|f(z_0)| \leq |f(z)|.