Maths Olympiad Prep

Library / /1 of 23

Algebra Difficulty 4.3 AIME Prove it Ireland

Prove for all complex numbers zz that
z2+2z11, |z|^2 + 2|z - 1| \ge 1,
with equality iff z=1z = 1.

Solution

If z1|z| \ge 1, then
z2+2z11+2z11, |z|^2 + 2|z - 1| \ge 1 + 2|z - 1| \ge 1,
with equality iff z=1z = 1.

If z<1|z| < 1, then
z1z1=1z, |z - 1| \ge |z| - 1 = 1 - |z|,
and so
z2+2z11z2+2(1z)1=(z1)2>0. |z|^2 + 2|z - 1| - 1 \ge |z|^2 + 2(1 - |z|) - 1 = (|z| - 1)^2 > 0.

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.