Let a, b, c, d be four non-zero complex numbers such that 2∣a−b∣≤∣b∣,2∣b−c∣≤∣c∣,2∣c−d∣≤∣d∣,2∣d−a∣≤∣a∣. Prove that ab+bc+cd+da>27.
Solution
ba−1≤21,cb−1≤21,dc−1≤21,ad−1≤21. Putting (ba,cb,dc,ad)=(x,y,z,t) such that ∣x−1∣≤21, ∣y−1∣≤21, ∣z−1∣≤21, ∣t−1∣≤21 we are going to prove that x1+y1+z1+t1>27. by letting x=u+iv, for some real numbers u, v such that u2+v2≤2u−43. It follows that u≥83. Since x1=u2+v2u−iv, We would obtain x1+y1+z1+t1=∑u2+v2u−iv≥ℜ(∑u2+v2u−iv)=∑u2+v2u≥cyc∑u2+v2u.
Since u≥21(u2+v2+43) we would obtain cyc∑u2+v2u≥21cyc∑u2+v2u2+v2+43=2+83cyc∑u2+v21=2+83cyc∑∣x∣21. Notice that xyzt=1 thus, according to AM-GM inequality, cyc∑∣x∣21≥44∣x∣2∣y∣2∣z∣2∣t∣21=4. Hence, cyc∑u2+v2u≥2+4⋅83=27. Notice that this inequality has no equality case.
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.